Inventory rows 5K
The cards of the rows of the inventory whose ids start with 5K. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
5K00GBJA32 5K00GBJA32
| URI | m2://inv/5K00GBJA32 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#3HWZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
5K00GGSWPP 5K00GGSWPP
| URI | m2://inv/5K00GGSWPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19533#N1DL (statement). In RG4Z9C6ANS/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
5K01X6WBE1 5K01X6WBE1
| URI | m2://inv/5K01X6WBE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#ODAH (statement). In QX77AN49J0/e1, corollary 8.3
History
- 2026-10-27: add by m2/v0.4.2
5K04PBAPFZ 5K04PBAPFZ
| URI | m2://inv/5K04PBAPFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36613#OLAT (statement). In GX0K0ZM700/e1, lemma 2.18
History
- 2026-10-30: add by m2/v0.4.12
5K07CY9QSA 5K07CY9QSA
| URI | m2://inv/5K07CY9QSA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 9.9
History
- 2026-11-01: add by m2/v0.6.13
Bahadur representation 5K08CFX2T2
| URI | m2://inv/5K08CFX2T2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33868#98AQ, Bahadur representation (statement). In 7TQ3XH3X79/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Binary Golay code 5K08SNYSFZ
| URI | m2://inv/5K08SNYSFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#O1IM, Binary Golay code (definition)
History
- 2026-11-02: add by m2/dev
5K09EX2BJD 5K09EX2BJD
| URI | m2://inv/5K09EX2BJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02663#MD0G (statement). In PGAZ70WGMG/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.12
Laurent Siebenmann 5K0C04D7ZK
| URI | m2://inv/5K0C04D7ZK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZTEB, Laurent Siebenmann (topic)
History
- 2026-11-02: add by m2/dev
Example 2 5K0DQNKMEV
| URI | m2://inv/5K0DQNKMEV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affirming the consequent#14DA, Example 2 (example)
History
- 2026-11-02: add by m2/dev
Donegall Lectureship at Trinity College Dublin 5K0GPE9FFS
| URI | m2://inv/5K0GPE9FFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donegall Lectureship at Trinity College Dublin, Donegall Lectureship at Trinity College Dublin (definition). Also Wikidata Q65082248
History
- 2026-11-02: add by m2/dev
Sharp threshold 5K0P3KH5PZ
| URI | m2://inv/5K0P3KH5PZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22345#TI6M, Sharp threshold (statement)
History
- 2026-11-02: add by m2/v0.6.17
Generalizations 5K0Y2FBRNS
| URI | m2://inv/5K0Y2FBRNS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable manifold#NAF7, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
5K0YGMS08D 5K0YGMS08D
| URI | m2://inv/5K0YGMS08D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#RA04 (statement). In ESDKTYDHC8/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
Vector calculus identities 5K10GQX1FF
| URI | m2://inv/5K10GQX1FF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#2SF5, Vector calculus identities (definition)
History
- 2026-11-02: add by m2/dev
Dimension 5K1427QSNZ
| URI | m2://inv/5K1427QSNZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09206#2MND, Dimension (statement). In T7R1Q29DQK/e1, proposition 12
History
- 2026-10-29: add by m2/v0.4.10
Boundary particle method 5K15A8YH4A
| URI | m2://inv/5K15A8YH4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundary particle method, Boundary particle method (definition). Also Wikidata Q4949970
History
- 2026-11-02: add by m2/dev
Lovász "sandwich theorem" 5K18D5WZE6
| URI | m2://inv/5K18D5WZE6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lovász number#KT2F, Lovász "sandwich theorem" (statement)
History
- 2026-11-02: add by m2/dev
5K19BDWX8F 5K19BDWX8F
| URI | m2://inv/5K19BDWX8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24007#99O6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
5K1B9RNWDB 5K1B9RNWDB
| URI | m2://inv/5K1B9RNWDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#S2G2 (statement). In PZCA01JXVR/e1, proposition 6.8
History
- 2026-10-27: add by m2/v0.3.5
Stirling formula 5K1MM3NCCJ
| URI | m2://inv/5K1MM3NCCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-gamma function#1WM5, Stirling formula (statement)
History
- 2026-11-02: add by m2/dev
Carnot cycle 5K1VHXN8AZ
| URI | m2://inv/5K1VHXN8AZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carnot cycle, Carnot cycle (definition). Also Wikidata Q188910
History
- 2026-11-02: add by m2/dev
Isobaric process 5K272Y0CM1
| URI | m2://inv/5K272Y0CM1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isobaric process, Isobaric process (object). Also Wikidata Q137649
History
- 2026-11-02: add by m2/dev
5K2RQRA9F5 5K2RQRA9F5
| URI | m2://inv/5K2RQRA9F5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25823#CHIZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
5K2YJ3VXAH 5K2YJ3VXAH
| URI | m2://inv/5K2YJ3VXAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21501#5WGG (statement). In 1H64QT301C/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.2
Removing exact overlap 5K35R2E6PP
| URI | m2://inv/5K35R2E6PP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33021#BDRW, Removing exact overlap (statement). In GG96DW33Q9/e1, corollary D.2
History
- 2026-10-31: add by m2/v0.5.6
5K37682QYA 5K37682QYA
| URI | m2://inv/5K37682QYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#0LT2 (statement). In BSWNH3NW1M/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.4.0
Fred van der Blij 5K3A20F7VK
| URI | m2://inv/5K3A20F7VK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fred van der Blij, Fred van der Blij (topic). Also Wikidata Q1962971
History
- 2026-11-02: add by m2/dev
Almost-Boundedness 5K3FZM6QR7
| URI | m2://inv/5K3FZM6QR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#AALM, Almost-Boundedness (statement). In 8XVS0QJ2AH/e1, theorem 5
History
- 2026-10-31: add by m2/v0.5.6
5K3JFNM3N1 5K3JFNM3N1
| URI | m2://inv/5K3JFNM3N1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07608#NELC (statement). In X8FQD4TEVG/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.10
Degree regularity 5K3N4PPH44
| URI | m2://inv/5K3N4PPH44 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13429#T6NN, Degree regularity (statement). In B2VB5T5WQD/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
total change theorem 5K4507PKTT
| URI | m2://inv/5K4507PKTT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.4.4/total-change-theorem, total change theorem (concept). In 907G4C4EJ1, index, section 4.4.4
History
- 2026-11-01: add by m2/v0.6.13
Uniform 2 k1 polytope 5K4KRP3YD3
| URI | m2://inv/5K4KRP3YD3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 2 k1 polytope, Uniform 2 k1 polytope (object). Also Wikidata Q7884998
History
- 2026-11-02: add by m2/dev
5K4M3Z1SBH 5K4M3Z1SBH
| URI | m2://inv/5K4M3Z1SBH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08599#GNTK (example). In DST9FWMHT6/e1, example 3.8
History
- 2026-10-29: add by m2/v0.4.10
Tweebuffelsmeteenskootmorsdoodgeskietfontein 5K50MSW4D0
| URI | m2://inv/5K50MSW4D0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WC2M, Tweebuffelsmeteenskootmorsdoodgeskietfontein (unknown)
History
- 2026-11-02: add by m2/dev
Applications 5K515VJQV0
| URI | m2://inv/5K515VJQV0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open mapping theorem (complex analysis)#NUUT, Applications (example)
History
- 2026-11-02: add by m2/dev
5K57AAHSWZ 5K57AAHSWZ
| URI | m2://inv/5K57AAHSWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29188#AA02 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement 5K5AQB4AX8
| URI | m2://inv/5K5AQB4AX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein-Rosenberg theorem#NYEK, Statement (statement)
History
- 2026-11-02: add by m2/dev
Price equation examples 5K5N1Q3G4D
| URI | m2://inv/5K5N1Q3G4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Price equation examples, Price equation examples (definition). Also Wikidata Q24963609
History
- 2026-11-02: add by m2/dev
5K5N45N4FA 5K5N45N4FA
| URI | m2://inv/5K5N45N4FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03746#477Q (statement). In 4E1D0NS89S/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
Chevy Chase Section Three, Maryland 5K5TSWA8TZ
| URI | m2://inv/5K5TSWA8TZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Q1G4, Chevy Chase Section Three, Maryland (unknown)
History
- 2026-11-02: add by m2/dev
Exact scaling and orthogonality 5K5XY0WXZA
| URI | m2://inv/5K5XY0WXZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#8THU, Exact scaling and orthogonality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Injective test lemma 5K5YVGFJ3Y
| URI | m2://inv/5K5YVGFJ3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#MA38, Injective test lemma (definition)
History
- 2026-11-02: add by m2/dev
Causal Markov condition 5K5ZFDWKBD
| URI | m2://inv/5K5ZFDWKBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal Markov condition, Causal Markov condition (definition). Also Wikidata Q5054561
History
- 2026-11-02: add by m2/dev
chrominance 5K66SXX4CA
| URI | m2://inv/5K66SXX4CA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/3.3.2/chrominance, chrominance (concept). In 649HGZKE96, index, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
The frieze relation holds at every solution of the Bethe equations 5K6D9KMNMY
| URI | m2://inv/5K6D9KMNMY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#8298, The frieze relation holds at every solution of the Bethe equations (statement). In 11JNM66Z09/e1, theorem 6.8
History
- 2026-10-28: add by m2/v0.4.2
Concomitant (statistics) 5K6H68YAEF
| URI | m2://inv/5K6H68YAEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J4TA, Concomitant (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Generalizations 5K6QPS89QJ
| URI | m2://inv/5K6QPS89QJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gossard perspector#S7XV, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
5K6TWBWBYR 5K6TWBWBYR
| URI | m2://inv/5K6TWBWBYR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11031#8TF1 (definition). In 9DMJXFRQN9/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.3
Banach bundle 5K6WV7T1XC
| URI | m2://inv/5K6WV7T1XC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Banach bundle F4RH4MZQDG |
Mentions
- wikidata: Wikidata Q4853761, Banach bundle (unknown). Also nLab Banach bundle
- wikipedia: Wikipedia Banach bundle, Banach bundle (definition). Also Wikidata Q4853761
History
- 2026-10-26: add by m2/dev
Theorem 5K6Y2C4DXS
| URI | m2://inv/5K6Y2C4DXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geroch's splitting theorem#I8BD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
5K79DS3MHW 5K79DS3MHW
| URI | m2://inv/5K79DS3MHW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-starsbars.ptx#example-2 (example). In Y91XFCEVHQ, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Peter Guttorp 5K7M9VC3MG
| URI | m2://inv/5K7M9VC3MG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ZU9H, Peter Guttorp (topic)
History
- 2026-11-02: add by m2/dev
dimension at a regular point 5K85DKC8JW
| URI | m2://inv/5K85DKC8JW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/6.5/dimension-at-a-regular-point, dimension at a regular point (concept). In VNMV985MXX, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Nikolay Sukhomlin 5K8JDRFSS5
| URI | m2://inv/5K8JDRFSS5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolay Sukhomlin, Nikolay Sukhomlin (topic). Also Wikidata Q7036340
History
- 2026-11-02: add by m2/dev
Otto Stern 5K8JK2FH8S
| URI | m2://inv/5K8JK2FH8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DVZI, Otto Stern (unknown)
History
- 2026-11-02: add by m2/dev
Symmetry 5K8KH9QEZR
| URI | m2://inv/5K8KH9QEZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Rodrigues formula#7YEU, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
\textsf{Uniform integral approximation 5K8SK9Q5R5
| URI | m2://inv/5K8SK9Q5R5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09404#H337, \textsf{Uniform integral approximation (statement). In D7CZZ48FRN/e1, proposition 1.7
History
- 2026-10-29: add by m2/v0.4.10
5K8W4A3K0C 5K8W4A3K0C
| URI | m2://inv/5K8W4A3K0C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26581#LTSR (definition)
History
- 2026-11-01: add by m2/v0.6.15
5K8WPQT3W2 5K8WPQT3W2
| URI | m2://inv/5K8WPQT3W2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example-12 (example). In E59CDZA4DP, example, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
5K90WC7SY8 5K90WC7SY8
| URI | m2://inv/5K90WC7SY8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25915#HO7R (definition)
History
- 2026-11-01: add by m2/v0.6.15
Theodor Spieker 5K96VEZZDE
| URI | m2://inv/5K96VEZZDE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theodor Spieker, Theodor Spieker (topic). Also Wikidata Q7781625
History
- 2026-11-02: add by m2/dev
Contraction-optimality of small $c$ 5K9P21M69N
| URI | m2://inv/5K9P21M69N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00295#XAT2, Contraction-optimality of small $c$ (statement). In 7HXP270BD0/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Hermann Minkowski 5K9VSDH6VP
| URI | m2://inv/5K9VSDH6VP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#PU3Z, Hermann Minkowski (topic)
History
- 2026-11-02: add by m2/dev
Well-formed formulas (wffs) 5K9WYPXDNF
| URI | m2://inv/5K9WYPXDNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#9LZG, Well-formed formulas (wffs) (statement)
History
- 2026-11-02: add by m2/dev
5KA403WCNR 5KA403WCNR
| URI | m2://inv/5KA403WCNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#ML8M (statement). In 4SPYEGKZ8J/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Christopher Morcom 5KA4TAAE42
| URI | m2://inv/5KA4TAAE42 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christopher Morcom, Christopher Morcom (topic). Also Wikidata Q21693479
History
- 2026-11-02: add by m2/dev
Sannohe 5KA6Z6E0RQ
| URI | m2://inv/5KA6Z6E0RQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#NW5B, Sannohe (unknown)
History
- 2026-11-02: add by m2/dev
Inductive logical form 5KA844FHPZ
| URI | m2://inv/5KA844FHPZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical form#OT5D, Inductive logical form (unknown)
History
- 2026-11-02: add by m2/dev
Generation of primes 5KAF6SDH3A
| URI | m2://inv/5KAF6SDH3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generation of primes, Generation of primes (definition). Also Wikidata Q4116925
History
- 2026-11-02: add by m2/dev
5KAFV8ZA3J 5KAFV8ZA3J
| URI | m2://inv/5KAFV8ZA3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#XCQ9 (statement). In 6B2PCEGCYZ/e1, proposition 2.7
History
- 2026-10-31: add by m2/v0.5.6
Indian Statistical Institute 5KAVZ2P4NQ
| URI | m2://inv/5KAVZ2P4NQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indian Statistical Institute, Indian Statistical Institute (definition). Also Wikidata Q3105568
History
- 2026-11-02: add by m2/dev
Example 5KAYJXJ6Z5
| URI | m2://inv/5KAYJXJ6Z5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's existence theorem#NAI6, Example (example)
History
- 2026-11-02: add by m2/dev
5KB0TE94R3 5KB0TE94R3
| URI | m2://inv/5KB0TE94R3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31102#UGAX (statement). In 7CADATJMAA/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
truncation, $n$-truncation 5KB4D5KSNZ
| URI | m2://inv/5KB4D5KSNZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.9/truncation-n-truncation, truncation, $n$-truncation (concept). In N54F33XE07, index, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
Cauchy filter 5KBGCHKGD3
| URI | m2://inv/5KBGCHKGD3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Uniform notions > Cauchy filter, Cauchy filter (unknown). Also Mathlib Cauchy
History
- 2026-10-26: add by m2/dev
5KBH9BET17 5KBH9BET17
| URI | m2://inv/5KBH9BET17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#H1G5 (statement). In EAABRG99V8/e1, proposition 3.11
History
- 2026-10-27: add by m2/v0.4.0
Hans-Peter Kriegel 5KBPHKZ63P
| URI | m2://inv/5KBPHKZ63P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CFXZ, Hans-Peter Kriegel (unknown)
History
- 2026-11-02: add by m2/dev
Examples 5KBR43CQ0V
| URI | m2://inv/5KBR43CQ0V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient space (topology)#VL1X, Examples (example)
History
- 2026-11-02: add by m2/dev
5KBT01H0YJ 5KBT01H0YJ
| URI | m2://inv/5KBT01H0YJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23941#PJWV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Markov network 5KBT50BSQB
| URI | m2://inv/5KBT50BSQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T3N5, Markov network (definition)
History
- 2026-11-02: add by m2/dev
Galileo's law of odd numbers 5KBWQJT9EP
| URI | m2://inv/5KBWQJT9EP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference of two squares#ZWG6, Galileo's law of odd numbers (statement)
History
- 2026-11-02: add by m2/dev
5KBZMQ2ZPY 5KBZMQ2ZPY
| URI | m2://inv/5KBZMQ2ZPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#TAK8 (statement). In ZRJ2DZT6P1/e1, proposition 5.11
History
- 2026-10-28: add by m2/v0.4.2
5KC4VHWBC3 5KC4VHWBC3
| URI | m2://inv/5KC4VHWBC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.13122#QUNI (statement). In PX2GWH86PN/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
Laure Saint-Raymond 5KC8FH24SS
| URI | m2://inv/5KC8FH24SS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3856, Laure Saint-Raymond (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AGYQ, Laure Saint-Raymond (topic)
History
- 2026-11-02: add by m2/dev
Ietje Paalman-de Miranda 5KCANH38R6
| URI | m2://inv/5KCANH38R6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ietje Paalman-de Miranda, Ietje Paalman-de Miranda (topic). Also Wikidata Q12887128
History
- 2026-11-02: add by m2/dev
Fractional exchange matrix 5KCC1GDK4R
| URI | m2://inv/5KCC1GDK4R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24569#YUQ0, Fractional exchange matrix (definition)
History
- 2026-11-01: add by m2/v0.6.15
Quaternion group 5KCC898HRM
| URI | m2://inv/5KCC898HRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of small groups#8OFN, Quaternion group (definition)
History
- 2026-11-02: add by m2/dev
Embodiment bias 5KCCH7JZWR
| URI | m2://inv/5KCCH7JZWR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#PN0Q, Embodiment bias (unknown)
History
- 2026-11-02: add by m2/dev
National Institute of Statistics and Applied Economics 5KCPE0CYD9
| URI | m2://inv/5KCPE0CYD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Institute of Statistics and Applied Economics, National Institute of Statistics and Applied Economics (definition). Also Wikidata Q2737222
History
- 2026-11-02: add by m2/dev
5KCS9VHTBJ 5KCS9VHTBJ
| URI | m2://inv/5KCS9VHTBJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.02207#AD78 (statement). In 1T3ZYPQZF0/e1, theorem 4.17
History
- 2026-10-27: add by m2/v0.3.6
Jordan–Pólya number 5KCSNWXNS8
| URI | m2://inv/5KCSNWXNS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#91F8, Jordan–Pólya number (definition)
History
- 2026-11-02: add by m2/dev
5KD07TVXCN 5KD07TVXCN
| URI | m2://inv/5KD07TVXCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#9O9P (statement). In X923ZEY423/e1, corollary 1.6.2
History
- 2026-10-27: add by m2/v0.3.5
5KD23APHC1 5KD23APHC1
| URI | m2://inv/5KD23APHC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17137#22F3 (statement). In GKHSE92M91/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
George Springer 5KD4HY87ZE
| URI | m2://inv/5KD4HY87ZE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Springer (mathematician), George Springer (topic). Also Wikidata Q1508274
History
- 2026-11-02: add by m2/dev
John Walsh 5KD67MEBV3
| URI | m2://inv/5KD67MEBV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4EML, John Walsh (unknown)
History
- 2026-11-02: add by m2/dev
5KD6WM8MVV 5KD6WM8MVV
| URI | m2://inv/5KD6WM8MVV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proving-things-quant.tex#ex-1 (example). In PKGMM3P5QY, ex, section 15.6
History
- 2026-11-01: add by m2/v0.6.13
Small rhombihexacron 5KDBXZDF0V
| URI | m2://inv/5KDBXZDF0V |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#RHG4, Small rhombihexacron (object)
History
- 2026-11-02: add by m2/dev
Crossed square antiprism 5KDEN37DTX
| URI | m2://inv/5KDEN37DTX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square antiprism#CAH1, Crossed square antiprism (unknown)
History
- 2026-11-02: add by m2/dev
§-Calculus 5KDEQQQDT4
| URI | m2://inv/5KDEQQQDT4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive grammar#8N4H, §-Calculus (unknown)
History
- 2026-11-02: add by m2/dev
5KDJNNFS3T 5KDJNNFS3T
| URI | m2://inv/5KDJNNFS3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#XGBK (statement). In GM3S19KFDH/e1, proposition 3.18
History
- 2026-10-30: add by m2/v0.4.12
Extensional type theory 5KDNPHB6EY
| URI | m2://inv/5KDNPHB6EY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intuitionistic type theory#86KF, Extensional type theory (unknown)
History
- 2026-11-02: add by m2/dev
List of Turkish mathematicians 5KDP2TYZ1Q
| URI | m2://inv/5KDP2TYZ1Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#1PGF, List of Turkish mathematicians (unknown)
History
- 2026-11-02: add by m2/dev
5KE7QX211D 5KE7QX211D
| URI | m2://inv/5KE7QX211D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#TTWA (definition). In KJC9FRS3C2/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
5KEAGG14EA 5KEAGG14EA
| URI | m2://inv/5KEAGG14EA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-34 (exercise). In E9HS8K3A52, exercise, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
5KEBHJ6W5N 5KEBHJ6W5N
| URI | m2://inv/5KEBHJ6W5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37562#8YNI (statement). In PYY8DFK2JS/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
5KEDZ1TEME 5KEDZ1TEME
| URI | m2://inv/5KEDZ1TEME |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08426#ZPNN (definition). In YG2DPMNZ1N/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Micromort 5KEHH60Z38
| URI | m2://inv/5KEHH60Z38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Micromort, Micromort (definition). Also Wikidata Q1390401
History
- 2026-11-02: add by m2/dev
5KESNQB3HG 5KESNQB3HG
| URI | m2://inv/5KESNQB3HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.05069#3KM4 (statement). In SFQBJBTW8K/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Zero bias transform 5KEWN22890
| URI | m2://inv/5KEWN22890 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero bias transform, Zero bias transform (definition). Also Wikidata Q28406587
History
- 2026-11-02: add by m2/dev
5KEZ5K44HW 5KEZ5K44HW
| URI | m2://inv/5KEZ5K44HW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13580#8KI9 (statement). In KEQ57N9N7Z/e1, lemma 3.12
History
- 2026-10-28: add by m2/v0.4.2
Properties 5KF7Q8HDJJ
| URI | m2://inv/5KF7Q8HDJJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjoint union (topology)#I34L, Properties (statement)
History
- 2026-11-02: add by m2/dev
5KF8AT9VHZ 5KF8AT9VHZ
| URI | m2://inv/5KF8AT9VHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00135#V6GE (statement). In PXWXV92SJY/e1, theorem 4.11
History
- 2026-10-30: add by m2/v0.4.12
5KFC6X6F2H 5KFC6X6F2H
| URI | m2://inv/5KFC6X6F2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#JNJO (statement). In 44DQ7W1NW9/e1, lemma 2.11
History
- 2026-10-29: add by m2/v0.4.12
Dottie number 5KFE6FZ5YV
| URI | m2://inv/5KFE6FZ5YV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of limits#GL8U, Dottie number (object)
History
- 2026-11-02: add by m2/dev
5KFH7WDHW6 5KFH7WDHW6
| URI | m2://inv/5KFH7WDHW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16002#5FEC (statement). In MWXDTQ7XC4/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
5KFJYQ8DRH 5KFJYQ8DRH
| URI | m2://inv/5KFJYQ8DRH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#2U2X (definition)
History
- 2026-11-01: add by m2/v0.6.15
5KFKD6GJTA 5KFKD6GJTA
| URI | m2://inv/5KFKD6GJTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24623#GOU1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 5KFQK3GXJ1
| URI | m2://inv/5KFQK3GXJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-difference polynomial#O3DN, Definition (definition)
History
- 2026-11-02: add by m2/dev
5KFW1PCFSQ 5KFW1PCFSQ
| URI | m2://inv/5KFW1PCFSQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:smoothdivision (exercise). In VNMV985MXX, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Categorical probability 5KG52CR24J
| URI | m2://inv/5KG52CR24J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Categorical probability, Categorical probability (definition). Also Wikidata Q128792414
History
- 2026-11-02: add by m2/dev
inductive step 5KG72DRBN3
| URI | m2://inv/5KG72DRBN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#PAKM, inductive step (definition)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of algebra 5KGEV6N76S
| URI | m2://inv/5KGEV6N76S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rouché's theorem#3N9R, Fundamental theorem of algebra (statement)
History
- 2026-11-02: add by m2/dev
Standard model 5KGJHE89G5
| URI | m2://inv/5KGJHE89G5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard model (set theory), Standard model (definition). Also Wikidata Q117715071
History
- 2026-11-02: add by m2/dev
5KGKZXYDDF 5KGKZXYDDF
| URI | m2://inv/5KGKZXYDDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#T5A5 (statement). In JQH3FHYPW3/e1, proposition 2.12
History
- 2026-10-28: add by m2/v0.4.2
5KGMK46PJW 5KGMK46PJW
| URI | m2://inv/5KGMK46PJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.12181#PLWZ (statement). In FSD8NE3XSR/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
5KGRQS9T6A 5KGRQS9T6A
| URI | m2://inv/5KGRQS9T6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01924#8BYQ (statement). In CB89152EQW/e1, theorem 0.4
History
- 2026-10-29: add by m2/v0.4.12
vertices 5KGTE42HAZ
| URI | m2://inv/5KGTE42HAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#VFG1, vertices (definition)
History
- 2026-11-02: add by m2/dev
bornological space 5KGTNZ5SB5
| URI | m2://inv/5KGTNZ5SB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bornological space 4R6SQD60FN |
Mentions
- wikidata: Wikidata Q894008, bornological space (unknown). Also nLab bornological space
- wikipedia: Wikipedia Bornological space, Bornological space (definition). Also Wikidata Q894008
History
- 2026-10-26: add by m2/dev
Schauder estimate 5KGZK2E3B5
| URI | m2://inv/5KGZK2E3B5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01883#4G41, Schauder estimate (statement). In CYV4P9TDV0/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
5KH3F9RW41 5KH3F9RW41
| URI | m2://inv/5KH3F9RW41 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#T4ZP (problem). In 2VHV0RNTNV/e1, problem 10.2
History
- 2026-10-29: add by m2/v0.4.12
5KHFTA2D5Q 5KHFTA2D5Q
| URI | m2://inv/5KHFTA2D5Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01441#DRDJ (statement). In V678XY1P9A/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.12
Multi-channel spectral reduction 5KHHHA3RTF
| URI | m2://inv/5KHHHA3RTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33021#940A, Multi-channel spectral reduction (statement). In GG96DW33Q9/e1, proposition C.2
History
- 2026-10-31: add by m2/v0.5.6
Kirriereoch Hill 5KHNF7600T
| URI | m2://inv/5KHNF7600T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OINX, Kirriereoch Hill (unknown)
History
- 2026-11-02: add by m2/dev
5KHSK7F5R5 5KHSK7F5R5
| URI | m2://inv/5KHSK7F5R5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29274#SXRA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formula 5KJ5883KSN
| URI | m2://inv/5KJ5883KSN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dice-Sørensen coefficient#YMIF, Formula (statement)
History
- 2026-11-02: add by m2/dev
5KJ87DPX49 5KJ87DPX49
| URI | m2://inv/5KJ87DPX49 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#DLTW (statement). In 4H727T2YAS/e1, proposition 9.15
History
- 2026-10-29: add by m2/v0.4.12
5KJD4K8006 5KJD4K8006
| URI | m2://inv/5KJD4K8006 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#XVV2 (statement). In 3THDT8WNF7/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
5KJDH90DR7 5KJDH90DR7
| URI | m2://inv/5KJDH90DR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15257#SCDQ (statement). In 2R95BYW2V7/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
5KJVM0MZBW 5KJVM0MZBW
| URI | m2://inv/5KJVM0MZBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01329#AYWK (statement). In 7XEVYJKJ5C/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
5KJW4YTJBZ 5KJW4YTJBZ
| URI | m2://inv/5KJW4YTJBZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 53.6
History
- 2026-11-01: add by m2/v0.6.13
symplectic integrator 5KJY2T8ZFN
| URI | m2://inv/5KJY2T8ZFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Symplectic integrator B4C25SXFRE |
Mentions
- wikidata: Wikidata Q7661847, symplectic integrator (unknown). Also nLab symplectic integrator
- wikipedia: Wikipedia Symplectic integrator, Symplectic integrator (definition). Also Wikidata Q7661847
History
- 2026-10-26: add by m2/dev
Finite-dimensional characterization 5KJYDG94KS
| URI | m2://inv/5KJYDG94KS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.05499#LH1C, Finite-dimensional characterization (statement). In WRMNCC8VBC/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.6
James Lighthill 5KJYGXF5F1
| URI | m2://inv/5KJYGXF5F1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Lighthill, James Lighthill (topic). Also Wikidata Q944275
History
- 2026-11-02: add by m2/dev
Desmond Higham 5KK3K8QYGW
| URI | m2://inv/5KK3K8QYGW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Desmond Higham, Desmond Higham (topic). Also Wikidata Q5264739
History
- 2026-11-02: add by m2/dev
Theorem 5KK4CKFFHX
| URI | m2://inv/5KK4CKFFHX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riordan array#GSLN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions 5KKAV6JKNJ
| URI | m2://inv/5KKAV6JKNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergeometric distribution#QU0F, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Finite-dimensional amplitude--phase equidistribution 5KKX5QSVJB
| URI | m2://inv/5KKX5QSVJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27962#6K2Y, Finite-dimensional amplitude--phase equidistribution (statement)
History
- 2026-11-01: add by m2/v0.6.15
5KKZKP4NVC 5KKZKP4NVC
| URI | m2://inv/5KKZKP4NVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#0YSA (statement). In XEQD21EBTT/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
lightlike four-vector 5KM2426JJB
| URI | m2://inv/5KM2426JJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122208650, lightlike four-vector (unknown). Also MathWorld Lightlike
History
- 2026-10-26: add by m2/dev
5KM3ZRAHZW 5KM3ZRAHZW
| URI | m2://inv/5KM3ZRAHZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33651#QFLS (statement). In 69DBD2HKGK/e1, proposition 7.6
History
- 2026-10-30: add by m2/v0.4.12
5KM4X00Q9J 5KM4X00Q9J
| URI | m2://inv/5KM4X00Q9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#IO7W (statement). In F1CYVYK7YB/e1, theorem 6.4
History
- 2026-10-29: add by m2/v0.4.10
History of topos theory 5KMHANG0TA
| URI | m2://inv/5KMHANG0TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#MXNO, History of topos theory (definition)
History
- 2026-11-02: add by m2/dev
Turing test 5KMJKN18JX
| URI | m2://inv/5KMJKN18JX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#TPUX, Turing test (unknown)
History
- 2026-11-02: add by m2/dev
5KMQ1BFS8F 5KMQ1BFS8F
| URI | m2://inv/5KMQ1BFS8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#3LR4 (statement). In F7TDYCHCSE/e1, proposition 7.7
History
- 2026-10-27: add by m2/v0.3.5
5KMTFXJ8XX 5KMTFXJ8XX
| URI | m2://inv/5KMTFXJ8XX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#3UI7 (statement). In PHXJ87HKYB/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Definitions 5KMYCNY5ZE
| URI | m2://inv/5KMYCNY5ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential poset#JM31, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Complex geodesic 5KN51FB3BK
| URI | m2://inv/5KN51FB3BK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex geodesic, Complex geodesic (definition). Also Wikidata Q5156578
History
- 2026-11-02: add by m2/dev
Theorem 5KN8BWHB2C
| URI | m2://inv/5KN8BWHB2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch sphere#1DBH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
the reduced complex 5KNE9A4M66
| URI | m2://inv/5KNE9A4M66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22355#Q80V, the reduced complex (statement)
History
- 2026-11-02: add by m2/v0.6.17
$\PLS$-reduction 5KNNJP9XFV
| URI | m2://inv/5KNNJP9XFV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.16898#BDD5, $\PLS$-reduction (definition). In FXBFTRHBAH/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
5KNQ6KFP46 5KNQ6KFP46
| URI | m2://inv/5KNQ6KFP46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.01868#MDPT (statement). In MQ8S73F6X7/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.6
The general finite-dimensional variational inequality 5KNT1Q2GBV
| URI | m2://inv/5KNT1Q2GBV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variational inequality#MM52, The general finite-dimensional variational inequality (statement)
History
- 2026-11-02: add by m2/dev
5KNVNBPNRM 5KNVNBPNRM
| URI | m2://inv/5KNVNBPNRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#QILM (statement). In SD28S3K7BT/e1, proposition 13
History
- 2026-10-29: add by m2/v0.4.12
Erdős-Moser equation 5KNVZB8RM2
| URI | m2://inv/5KNVZB8RM2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1349616, Erdős-Moser equation (concept). Also MathWorld Erdos-MoserEquation
- wikipedia: Wikipedia Erdős–Moser equation, Erdős–Moser equation (conjecture). Also Wikidata Q1349616
History
- 2026-10-26: add by m2/dev
Fast approximate anti-aliasing 5KNYCZHSF9
| URI | m2://inv/5KNYCZHSF9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#QJ28, Fast approximate anti-aliasing (unknown)
History
- 2026-11-02: add by m2/dev
5KP2763FBN 5KP2763FBN
| URI | m2://inv/5KP2763FBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#definition-6 (definition). In RZP28ERRZV, definition, section 25.3
History
- 2026-11-01: add by m2/v0.6.13
5KP5HP6NHM 5KP5HP6NHM
| URI | m2://inv/5KP5HP6NHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.08858#2PTQ (statement). In E6795TKR6R/e1, corollary 6
History
- 2026-10-27: add by m2/v0.3.5
Ramp decomposition of monotone piecewise-linear deformations 5KP61QZXHR
| URI | m2://inv/5KP61QZXHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00039#JF4M, Ramp decomposition of monotone piecewise-linear deformations (statement). In 2YQ3WX6VSW/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Applications 5KP6HRJ85Y
| URI | m2://inv/5KP6HRJ85Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape-memory alloy#JQUW, Applications (example)
History
- 2026-11-02: add by m2/dev
Franco Brezzi 5KP8FE52YS
| URI | m2://inv/5KP8FE52YS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#378N, Franco Brezzi (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A5NO, Franco Brezzi (topic)
History
- 2026-11-02: add by m2/dev
5KPBQNNH0B 5KPBQNNH0B
| URI | m2://inv/5KPBQNNH0B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.06927#J8L7 (definition). In YM4CSJJDJZ/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.6
O'Brien–Fleming boundary 5KPH1SM8QA
| URI | m2://inv/5KPH1SM8QA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A9AD, O'Brien–Fleming boundary (definition)
History
- 2026-11-02: add by m2/dev
Definition 5KPHNKMKM2
| URI | m2://inv/5KPHNKMKM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux cyclide#9B9E, Definition (definition)
History
- 2026-11-02: add by m2/dev
5KPSZCC8XQ 5KPSZCC8XQ
| URI | m2://inv/5KPSZCC8XQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#27DL (definition). In 3A4K47Y9F2/e1, definition 2.43
History
- 2026-10-27: add by m2/v0.4.0
5KPTQFDYSK 5KPTQFDYSK
| URI | m2://inv/5KPTQFDYSK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#OQUF (statement)
History
- 2026-11-01: add by m2/v0.6.15
convergence in probability 5KPV69KQFA
| URI | m2://inv/5KPV69KQFA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Convergence in probability 0EFDDXTVD6 |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > convergence in probability, convergence in probability (unknown). Also Mathlib MeasureTheory.TendstoInMeasure
- mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > convergence in probability, convergence in probability (unknown). Also Mathlib MeasureTheory.TendstoInMeasure
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Example 5KQ3538WHN
| URI | m2://inv/5KQ3538WHN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data envelopment analysis#U2SH, Example (example)
History
- 2026-11-02: add by m2/dev
Applications 5KQ3HX230A
| URI | m2://inv/5KQ3HX230A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative test#PASA, Applications (example)
History
- 2026-11-02: add by m2/dev
5KQ4R1A8PN 5KQ4R1A8PN
| URI | m2://inv/5KQ4R1A8PN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34193#Z67O (definition). In 9XMZTTSF5E/e1, definition B.7
History
- 2026-10-30: add by m2/v0.4.12
Generalization 5KQ51C8841
| URI | m2://inv/5KQ51C8841 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picard–Fuchs equation#05IT, Generalization (statement)
History
- 2026-11-02: add by m2/dev
5KQ8FVPJKD 5KQ8FVPJKD
| URI | m2://inv/5KQ8FVPJKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#defn:nalg (definition). In N54F33XE07, defn, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
Bias accumulation at a reference law 5KQ9CFGQ8W
| URI | m2://inv/5KQ9CFGQ8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#9F8A, Bias accumulation at a reference law (statement). In HTWSDDAWGS/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Fixed-chain value bound 5KQKCY2SZF
| URI | m2://inv/5KQKCY2SZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#OJZQ, Fixed-chain value bound (statement). In KFEASG3ZHS/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
5KQMMXDSEB 5KQMMXDSEB
| URI | m2://inv/5KQMMXDSEB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#5CW7 (example). In Y1DR0DPWD0/e1, example 3.14
History
- 2026-10-29: add by m2/v0.4.12
5KQX4HJT5N 5KQX4HJT5N
| URI | m2://inv/5KQX4HJT5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31983#WK62 (statement). In K06R03KX8Y/e1, theorem 4
History
- 2026-10-31: add by m2/v0.5.6
AbsoluteTelnet 5KR0C6S9C0
| URI | m2://inv/5KR0C6S9C0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AbsoluteTelnet, AbsoluteTelnet (definition). Also Wikidata Q4669754
History
- 2026-11-02: add by m2/dev
Uniform limit theorem in complex analysis 5KR0F2WWB7
| URI | m2://inv/5KR0F2WWB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform limit theorem#3KGZ, Uniform limit theorem in complex analysis (statement)
History
- 2026-11-02: add by m2/dev
Indian Mathematical Society 5KR6SBGGGW
| URI | m2://inv/5KR6SBGGGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#KZQK, Indian Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 5KR6XTA24S
| URI | m2://inv/5KR6XTA24S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy product#UL8B, Definitions (definition)
History
- 2026-11-02: add by m2/dev
PBKDF2 5KR7QYZHYH
| URI | m2://inv/5KR7QYZHYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PBKDF2, PBKDF2 (definition). Also Wikidata Q3952834
History
- 2026-11-02: add by m2/dev
Properties 5KRP47VK5S
| URI | m2://inv/5KRP47VK5S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally connected space#GMS9, Properties (statement)
History
- 2026-11-02: add by m2/dev
5KRR0X67BM 5KRR0X67BM
| URI | m2://inv/5KRR0X67BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29152#4JQY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Distance oracle 5KRT53CDQQ
| URI | m2://inv/5KRT53CDQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance oracle, Distance oracle (definition). Also Wikidata Q25303795
History
- 2026-11-02: add by m2/dev
Anna Erschler 5KRTZ50D8Q
| URI | m2://inv/5KRTZ50D8Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Erschler, Anna Erschler (topic). Also Wikidata Q21007429
History
- 2026-11-02: add by m2/dev
5KS17V98CM 5KS17V98CM
| URI | m2://inv/5KS17V98CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.04161#ISF2 (statement). In JBZJ7NPQ4G/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.4.0
Zellner, Arnold 5KS4C1WP9J
| URI | m2://inv/5KS4C1WP9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#707A, Zellner, Arnold (unknown)
History
- 2026-11-02: add by m2/dev
5KSB4SJBTZ 5KSB4SJBTZ
| URI | m2://inv/5KSB4SJBTZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-62 (exercise). In E9HS8K3A52, exercise, section 10.6.1
History
- 2026-11-01: add by m2/v0.6.13
Regular inverse 5KSCACMV1Y
| URI | m2://inv/5KSCACMV1Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized inverse#20LH, Regular inverse (unknown)
History
- 2026-11-02: add by m2/dev
Computed affine case: $\SL(2,13)\le\GL(6,3)$ 5KSNCH8CR5
| URI | m2://inv/5KSNCH8CR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#U8ZG, Computed affine case: $\SL(2,13)\le\GL(6,3)$ (statement). In 9NVKKW8HDH/e1, proposition 2.107
History
- 2026-10-28: add by m2/v0.4.2
5KSYB70N8G 5KSYB70N8G
| URI | m2://inv/5KSYB70N8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19132#UJQ4 (statement). In 3CQJND929F/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
Algorithm 5KT14XFR1G
| URI | m2://inv/5KT14XFR1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balloon hashing#1ZLW, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
5KT7JGS36G 5KT7JGS36G
| URI | m2://inv/5KT7JGS36G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#Y4ZV (definition). In 29D4TTE3J2/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.2
The Birthday Problem 5KTBH6CHJC
| URI | m2://inv/5KTBH6CHJC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 93, The Birthday Problem (statement). Also Mathlib Theorems100.birthday, Mathlib Theorems100.birthday_measure
History
- 2026-10-26: add by m2/dev
5KTD2XY62S 5KTD2XY62S
| URI | m2://inv/5KTD2XY62S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31489#06B5 (statement). In ZKBG58PN1J/e1, lemma 5.5
History
- 2026-10-31: add by m2/v0.5.6
5KTJFG882J 5KTJFG882J
| URI | m2://inv/5KTJFG882J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15700#EGG4 (statement). In S95MSZ7MDR/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
projection of the quadratic part of the energies 5KTPPHZM23
| URI | m2://inv/5KTPPHZM23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#ZSRB, projection of the quadratic part of the energies (statement). In 94RBNQA07A/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
5KTQ6ZRYHT 5KTQ6ZRYHT
| URI | m2://inv/5KTQ6ZRYHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39845#P3BT (statement). In RK8DFVGQP1/e1, theorem 13
History
- 2026-10-30: add by m2/v0.4.12
Example 5KTSB6NM2P
| URI | m2://inv/5KTSB6NM2P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lumpability#88YP, Example (example)
History
- 2026-11-02: add by m2/dev
Richard E. Quandt 5KTT3SDEJ8
| URI | m2://inv/5KTT3SDEJ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#VKOQ, Richard E. Quandt (unknown)
History
- 2026-11-02: add by m2/dev
vertical line test 5KTTJCHFFK
| URI | m2://inv/5KTTJCHFFK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7212729, vertical line test (concept). Also MathWorld VerticalLineTest
- wikipedia: Wikipedia Vertical line test, Vertical line test (definition). Also Wikidata Q7212729
History
- 2026-10-26: add by m2/dev
Another putative proof of \cref{thm:ordsucc} 5KTXA6SB0S
| URI | m2://inv/5KTXA6SB0S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-33, Another putative proof of \cref{thm:ordsucc} (proof). In N54F33XE07, proof, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Variable assignment 5KV1GHPA4T
| URI | m2://inv/5KV1GHPA4T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-order logic#HTTK, Variable assignment (unknown)
History
- 2026-11-02: add by m2/dev
Douglas Ravenel 5KV41PGMZW
| URI | m2://inv/5KV41PGMZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BBKF, Douglas Ravenel (topic)
History
- 2026-11-02: add by m2/dev
Theorem 5KV5RQD6JT
| URI | m2://inv/5KV5RQD6JT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bondareva–Shapley theorem#UEB1, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Arbitrarily many points on one invariant surface 5KV75W1RF7
| URI | m2://inv/5KV75W1RF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24930#6379, Arbitrarily many points on one invariant surface (statement)
History
- 2026-11-01: add by m2/v0.6.15
James Henry Weaver 5KVB7EAV86
| URI | m2://inv/5KVB7EAV86 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MJG6, James Henry Weaver (topic)
History
- 2026-11-02: add by m2/dev
Examples 5KVD2JNY4R
| URI | m2://inv/5KVD2JNY4R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runge–Kutta methods#ESKM, Examples (example)
History
- 2026-11-02: add by m2/dev
Zygmunt Zalcwasser 5KVN1HQK4T
| URI | m2://inv/5KVN1HQK4T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zygmunt Zalcwasser, Zygmunt Zalcwasser (topic). Also Wikidata Q8075822
History
- 2026-11-02: add by m2/dev
Generalizations 5KVNJGS3AR
| URI | m2://inv/5KVNJGS3AR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein inequalities (probability theory)#MOW9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
5KVNMV4KZS 5KVNMV4KZS
| URI | m2://inv/5KVNMV4KZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#A50T (statement). In 48QX0QD0XR/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.3
critical point 5KVPKN0XHT
| URI | m2://inv/5KVPKN0XHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#SJZV, critical point (definition)
History
- 2026-11-02: add by m2/dev
Lindelöf hypothesis 5KVX376ZV0
| URI | m2://inv/5KVX376ZV0 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lindelöf hypothesis PV82BVXE1A |
Mentions
- wikidata: Wikidata Q911528, Lindelöf hypothesis (conjecture). Also ProofWiki Lindelöf_Hypothesis
- wikipedia: Wikipedia Lindelöf hypothesis, Lindelöf hypothesis (conjecture). Also Wikidata Q911528
History
- 2026-10-26: add by m2/dev
Statement 5KVZDJ0N28
| URI | m2://inv/5KVZDJ0N28 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lamé's theorem#OPKV, Statement (statement)
History
- 2026-11-02: add by m2/dev
5KW79NN9EC 5KW79NN9EC
| URI | m2://inv/5KW79NN9EC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#C4EX (statement). In M4ZVJWM8YA/e1, lemma 5.18
History
- 2026-10-27: add by m2/v0.4.2
uniformly convex space 5KW7DPC3WZ
| URI | m2://inv/5KW7DPC3WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Uniformly convex space BEAMC5011M |
Mentions
- wikidata: Wikidata Q847535, uniformly convex space (unknown). Also MathWorld UniformlyConvex
- wikipedia: Wikipedia Uniformly convex space, Uniformly convex space (definition). Also Wikidata Q847535
History
- 2026-10-26: add by m2/dev
Henryk Skolimowski 5KWCE2PZ5A
| URI | m2://inv/5KWCE2PZ5A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henryk Skolimowski, Henryk Skolimowski (topic). Also Wikidata Q3493601
History
- 2026-11-02: add by m2/dev
Rice distribution 5KWN6G0956
| URI | m2://inv/5KWN6G0956 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2671311, Rice distribution (unknown). Also MathWorld RiceDistribution
- wikipedia: Wikipedia Rice distribution, Rice distribution (definition). Also Wikidata Q2671311
History
- 2026-10-26: add by m2/dev
winding number 5KWNA1YNVQ
| URI | m2://inv/5KWNA1YNVQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120755990, winding number (unknown). Also MathWorld ContourWindingNumber
History
- 2026-10-26: add by m2/dev
Effective finite determination 5KWP3F54XP
| URI | m2://inv/5KWP3F54XP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#CKGH, Effective finite determination (statement). In 8BNPFYQDQX/e1, corollary 6.4
History
- 2026-10-29: add by m2/v0.4.10
monochromatic 5KWPCBWTQF
| URI | m2://inv/5KWPCBWTQF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.4.2/monochromatic, monochromatic (concept). In Y91XFCEVHQ, index, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
Reference class problem 5KWTZC3D0J
| URI | m2://inv/5KWTZC3D0J |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#U4BP, Reference class problem (problem)
History
- 2026-11-02: add by m2/dev
5KWW7RHH4C 5KWW7RHH4C
| URI | m2://inv/5KWW7RHH4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02642#9BED (statement). In VMWV58VWKN/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
Construction 5KX09F4RTJ
| URI | m2://inv/5KX09F4RTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleptography#UOQQ, Construction (definition)
History
- 2026-11-02: add by m2/dev
Statistical genetics 5KX30KK0YE
| URI | m2://inv/5KX30KK0YE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical genetics, Statistical genetics (definition). Also Wikidata Q15709513
History
- 2026-11-02: add by m2/dev
Fredholm Alternative for Compact Selfadjoint Linear Relations 5KX4TDCW38
| URI | m2://inv/5KX4TDCW38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13385#I6U9, Fredholm Alternative for Compact Selfadjoint Linear Relations (statement). In J99CBQ3QYD/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
5KX5FAYKDH 5KX5FAYKDH
| URI | m2://inv/5KX5FAYKDH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#CTPA (statement). In KBH265QSBT/e1, lemma 8.6
History
- 2026-10-29: add by m2/v0.4.10
Representations 5KX9VJEYD2
| URI | m2://inv/5KX9VJEYD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prony's method#G6IW, Representations (definition)
History
- 2026-11-02: add by m2/dev
5KXA00AAF2 5KXA00AAF2
| URI | m2://inv/5KXA00AAF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13392#TMM5 (statement). In 2FVND41HVS/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Pignistic probability 5KXJ0HECJR
| URI | m2://inv/5KXJ0HECJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MYRM, Pignistic probability (definition)
History
- 2026-11-02: add by m2/dev
Examples 5KXJY188GZ
| URI | m2://inv/5KXJY188GZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calabi–Yau manifold#RQLR, Examples (example)
History
- 2026-11-02: add by m2/dev
Carlisle Adams 5KXRCYZ5S3
| URI | m2://inv/5KXRCYZ5S3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlisle Adams, Carlisle Adams (topic). Also Wikidata Q2939134
History
- 2026-11-02: add by m2/dev
second fundamental form 5KXWD8WPB5
| URI | m2://inv/5KXWD8WPB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Second fundamental form 9KHQR16P1B |
Mentions
- wikidata: Wikidata Q233220, second fundamental form (unknown). Also EoM Second_fundamental_form, MathWorld SecondFundamentalForm
- wikipedia: Wikipedia Second fundamental form, Second fundamental form (definition). Also Wikidata Q233220
History
- 2026-10-26: add by m2/dev
Integral Gr\"onwall inequality 5KYERFEPVF
| URI | m2://inv/5KYERFEPVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27414#Q8OE, Integral Gr\"onwall inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
5KYK0G357A 5KYK0G357A
| URI | m2://inv/5KYK0G357A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.12181#G9U6 (statement). In FSD8NE3XSR/e1, corollary 4.10
History
- 2026-10-27: add by m2/v0.4.0
5KYKRRC9ED 5KYKRRC9ED
| URI | m2://inv/5KYKRRC9ED |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Sergey Brin 5KYQ56HZ7F
| URI | m2://inv/5KYQ56HZ7F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DHIJ, Sergey Brin (unknown)
History
- 2026-11-02: add by m2/dev
Common-circle reduction 5KYXYWXAQW
| URI | m2://inv/5KYXYWXAQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15125#0YB3, Common-circle reduction (statement). In V5GT8NJKCM/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Properties 5KZ1H33MTE
| URI | m2://inv/5KZ1H33MTE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quillen adjunction#0EIL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Armenian Mathematical Union 5KZ7H6J2ST
| URI | m2://inv/5KZ7H6J2ST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Armenian Mathematical Union, Armenian Mathematical Union (definition). Also Wikidata Q108936692
History
- 2026-11-02: add by m2/dev
E (mathematical constant) 5KZDYZW2X5
| URI | m2://inv/5KZDYZW2X5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#8BNT, E (mathematical constant) (definition)
- wikipedia: Wikipedia List of exponential topics#48G7, E (mathematical constant) (definition)
History
- 2026-11-02: add by m2/dev
5KZEV8KVQ6 5KZEV8KVQ6
| URI | m2://inv/5KZEV8KVQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38772#YV6T (statement). In 1C3R5NAQAP/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
5KZQ96N3EB 5KZQ96N3EB
| URI | m2://inv/5KZQ96N3EB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#A89O (statement). In 60CK7P5F36/e1, corollary 5.10
History
- 2026-10-27: add by m2/v0.3.5
5KZSA7YRRA 5KZSA7YRRA
| URI | m2://inv/5KZSA7YRRA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:prop-endocontr (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13