Inventory rows SX
The cards of the rows of the inventory whose ids start with SX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
SX00MY13DA SX00MY13DA
| URI | m2://inv/SX00MY13DA |
|---|---|
| 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.10372#4SGV (statement). In P77W283VXT/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.10
Joyce Snell SX01E7VP6K
| URI | m2://inv/SX01E7VP6K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joyce Snell, Joyce Snell (topic). Also Wikidata Q67421081
History
- 2026-11-02: add by m2/dev
SX029F0NC0 SX029F0NC0
| URI | m2://inv/SX029F0NC0 |
|---|---|
| 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 math/9602216#UZCU (statement). In SD43497T8C/e1, lemma 1.20
History
- 2026-10-27: add by m2/v0.3.5
SX02DQC80X SX02DQC80X
| URI | m2://inv/SX02DQC80X |
|---|---|
| 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 0910.5574#GI2B (statement). In 2TJRBRKYAY/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.3.5
Montague grammar SX04V8BTKP
| URI | m2://inv/SX04V8BTKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montague grammar, Montague grammar (definition). Also Wikidata Q3272938
History
- 2026-11-02: add by m2/dev
SX05BDN3XZ SX05BDN3XZ
| URI | m2://inv/SX05BDN3XZ |
|---|---|
| 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 2610.19658#4GRD (statement). In G00EYA9DXG/e1, theorem 9.2
History
- 2026-10-28: add by m2/v0.4.2
The double characteristic value at \(K\ SX0C1YS70A
| URI | m2://inv/SX0C1YS70A |
|---|---|
| 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.19426#TN9C, The double characteristic value at \(K\ (statement). In Y28XB7TPPZ/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
SX0E4TZFWS SX0E4TZFWS
| URI | m2://inv/SX0E4TZFWS |
|---|---|
| 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#68YJ (statement). In KBH265QSBT/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
SX0FARGRZX SX0FARGRZX
| URI | m2://inv/SX0FARGRZX |
|---|---|
| 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.25985#Z39A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem proving SX0QQ15499
| URI | m2://inv/SX0QQ15499 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy type theory#0BUQ, Theorem proving (statement)
History
- 2026-11-02: add by m2/dev
SX0SJ1YP7G SX0SJ1YP7G
| URI | m2://inv/SX0SJ1YP7G |
|---|---|
| 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.11276#FX9W (statement). In KMTQRFFYZY/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.3
SX0YCRJWRG SX0YCRJWRG
| URI | m2://inv/SX0YCRJWRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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 2310.06695#HLLI (statement). In D6F8XGF5SS/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.6
Applications SX0ZXXND2X
| URI | m2://inv/SX0ZXXND2X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picture superiority effect#URNQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Canopy clustering algorithm SX1B7V36QZ
| URI | m2://inv/SX1B7V36QZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canopy clustering algorithm, Canopy clustering algorithm (definition). Also Wikidata Q5033439
History
- 2026-11-02: add by m2/dev
MBTC SX1C8YWYV6
| URI | m2://inv/SX1C8YWYV6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitcoin#X79L, MBTC (unknown)
History
- 2026-11-02: add by m2/dev
SX1EEXCXFM SX1EEXCXFM
| URI | m2://inv/SX1EEXCXFM |
|---|---|
| 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 2609.20675#P1P9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Stopped reference observation filtration SX1GHBCN03
| URI | m2://inv/SX1GHBCN03 |
|---|---|
| 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.09278#S58E, Stopped reference observation filtration (statement). In XREKHJHAT7/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
Mark Naimark SX1K44A198
| URI | m2://inv/SX1K44A198 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#KA3I, Mark Naimark (unknown)
History
- 2026-11-02: add by m2/dev
Example SX1QTQRPQN
| URI | m2://inv/SX1QTQRPQN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karatsuba algorithm#TJCS, Example (example)
History
- 2026-11-02: add by m2/dev
rational SX1W1TM3BM
| URI | m2://inv/SX1W1TM3BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#IDM6, rational (definition)
History
- 2026-11-02: add by m2/dev
Lemma SX2HE96SJC
| URI | m2://inv/SX2HE96SJC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total variation#2YRJ, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Triple Islands SX2PP0G8V9
| URI | m2://inv/SX2PP0G8V9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ESN2, Triple Islands (unknown)
History
- 2026-11-02: add by m2/dev
minor premise SX2X9QCMJN
| URI | m2://inv/SX2X9QCMJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#E2LE, minor premise (definition)
History
- 2026-11-02: add by m2/dev
SX31MWSFF4 SX31MWSFF4
| URI | m2://inv/SX31MWSFF4 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
SX323R9DZC SX323R9DZC
| URI | m2://inv/SX323R9DZC |
|---|---|
| Kind | definition |
| 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.11386#MOM4 (definition). In RH7T1S3MAD/e1, definition
History
- 2026-10-28: add by m2/v0.4.3
elementary SX327M22KS
| URI | m2://inv/SX327M22KS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#M6PM, elementary (definition)
History
- 2026-11-02: add by m2/dev
Descent Lemma SX3BVR3WK7
| URI | m2://inv/SX3BVR3WK7 |
|---|---|
| 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.32832#EZIO, Descent Lemma (statement). In VS7P86QHFR/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
Terminology SX3CQ631G1
| URI | m2://inv/SX3CQ631G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conglomerate (mathematics)#5RB2, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Definition SX3F3EWV67
| URI | m2://inv/SX3F3EWV67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associativity isomorphism#UU0Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
Horn angle SX3JQD3DPW
| URI | m2://inv/SX3JQD3DPW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5903975, Horn angle (concept). Also MathWorld HornAngle
- wikipedia: Wikipedia Horn angle, Horn angle (definition). Also Wikidata Q5903975
History
- 2026-10-26: add by m2/dev
Manvel-type formula SX3NNXNRRS
| URI | m2://inv/SX3NNXNRRS |
|---|---|
| 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.36389#VOET, Manvel-type formula (statement). In N1S169J2MV/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
Uncertainty principle SX3PNB46P3
| URI | m2://inv/SX3PNB46P3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform#KGX1, Uncertainty principle (statement)
History
- 2026-11-02: add by m2/dev
SX3W9WV15Y SX3W9WV15Y
| URI | m2://inv/SX3W9WV15Y |
|---|---|
| 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#ST7B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction SX40PBVMVE
| URI | m2://inv/SX40PBVMVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of five cuboctahedra#VTIN, Construction (definition)
History
- 2026-11-02: add by m2/dev
488 (number) SX44VZDX3H
| URI | m2://inv/SX44VZDX3H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#M9FQ, 488 (number) (unknown)
History
- 2026-11-02: add by m2/dev
mode SX46BTKYP0
| URI | m2://inv/SX46BTKYP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#L8SP, mode (definition)
History
- 2026-11-02: add by m2/dev
SX482RHNK5 SX482RHNK5
| URI | m2://inv/SX482RHNK5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 60-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.28742#Z6QZ (example)
History
- 2026-11-01: add by m2/v0.6.15
Riemannian metric tensor SX4H8Q71QJ
| URI | m2://inv/SX4H8Q71QJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#1E1K, Riemannian metric tensor (definition)
History
- 2026-11-02: add by m2/dev
Generalization SX4HWD05CM
| URI | m2://inv/SX4HWD05CM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carpenter's rule problem#IZMQ, Generalization (statement)
History
- 2026-11-02: add by m2/dev
SX4K34T565 SX4K34T565
| URI | m2://inv/SX4K34T565 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2501.03704#L0EN (statement). In Q3PY5AGD6N/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.5
SX4M9BQX0B SX4M9BQX0B
| URI | m2://inv/SX4M9BQX0B |
|---|---|
| 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.23147#F2UK (statement)
History
- 2026-11-02: add by m2/v0.6.17
National Health Interview Survey SX4N1RRVWM
| URI | m2://inv/SX4N1RRVWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Health Interview Survey, National Health Interview Survey (definition). Also Wikidata Q6973004
History
- 2026-11-02: add by m2/dev
Pavel Tichý SX4SZRTQEG
| URI | m2://inv/SX4SZRTQEG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pavel Tichý, Pavel Tichý (topic). Also Wikidata Q7155778
History
- 2026-11-02: add by m2/dev
SX51B95VTC SX51B95VTC
| URI | m2://inv/SX51B95VTC |
|---|---|
| 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 1808.00180#95EJ (statement). In XDYCG8DVHE/e1, corollary 4.1
History
- 2026-10-27: add by m2/v0.3.5
SX5396JPZH SX5396JPZH
| URI | m2://inv/SX5396JPZH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-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.30262#648H (definition). In FWA5QW6FCF/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Dale Husemöller SX57PDYSGE
| URI | m2://inv/SX57PDYSGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1157845, Dale Husemöller (unknown). Also nLab Dale Husemöller
History
- 2026-10-26: add by m2/dev
SX58R5R42F SX58R5R42F
| URI | m2://inv/SX58R5R42F |
|---|---|
| Kind | definition |
| 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.40138#ASE0 (definition). In R60HR493TS/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
SX5CAZYT0G SX5CAZYT0G
| URI | m2://inv/SX5CAZYT0G |
|---|---|
| Kind | example |
| 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.26776#36TJ (example)
History
- 2026-11-01: add by m2/v0.6.15
Giuseppe Battaglini SX5CN321G6
| URI | m2://inv/SX5CN321G6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#PDWR, Giuseppe Battaglini (topic)
History
- 2026-11-02: add by m2/dev
SX5JHM09VX SX5JHM09VX
| URI | m2://inv/SX5JHM09VX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-40 (exercise). In E9HS8K3A52, exercise, section 7.3.4
History
- 2026-11-01: add by m2/v0.6.13
SX5QY1B75A SX5QY1B75A
| URI | m2://inv/SX5QY1B75A |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-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.33856#J3BC (problem). In 47WN78VDDF/e1, problem 5.2
History
- 2026-10-30: add by m2/v0.4.12
Definition SX5XRA30VH
| URI | m2://inv/SX5XRA30VH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cut (graph theory)#HYZ1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Universal property of the quotient operator system SX60MV9CAE
| URI | m2://inv/SX60MV9CAE |
|---|---|
| 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 2510.02019#OTFA, Universal property of the quotient operator system (statement). In PD607VXPY3/e1, proposition 10
History
- 2026-10-27: add by m2/v0.3.5
Differential form SX64DA1RSF
| URI | m2://inv/SX64DA1RSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#TCRO, Differential form (definition)
History
- 2026-11-02: add by m2/dev
SX650E0EPP SX650E0EPP
| URI | m2://inv/SX650E0EPP |
|---|---|
| Kind | definition |
| 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 2609.27078#UOHK (definition)
History
- 2026-11-01: add by m2/v0.6.15
Havelock's law SX6AVJFE8N
| URI | m2://inv/SX6AVJFE8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Henry Havelock#NEQZ, Havelock's law (statement)
History
- 2026-11-02: add by m2/dev
arrow SX6HFZ1ZES
| URI | m2://inv/SX6HFZ1ZES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#ZZW8, arrow (definition)
History
- 2026-11-02: add by m2/dev
Larry Pressler SX6JHTQSP0
| URI | m2://inv/SX6JHTQSP0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#I0XJ, Larry Pressler (unknown)
History
- 2026-11-02: add by m2/dev
SX6NEK25R6 SX6NEK25R6
| URI | m2://inv/SX6NEK25R6 |
|---|---|
| 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.03477#ZT0D (statement). In GXN3D4G4HE/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.12
Results SX6NVHNGVN
| URI | m2://inv/SX6NVHNGVN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2023 Pakistani census#L20W, Results (statement)
History
- 2026-11-02: add by m2/dev
Examples SX6PS0MNB7
| URI | m2://inv/SX6PS0MNB7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Böttcher's equation#BPLM, Examples (example)
History
- 2026-11-02: add by m2/dev
Hasse–Weil zeta function SX6Y0ZCHX3
| URI | m2://inv/SX6Y0ZCHX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#UT60, Hasse–Weil zeta function (definition)
History
- 2026-11-02: add by m2/dev
SX77A9QRFS SX77A9QRFS
| URI | m2://inv/SX77A9QRFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.31352#NU3S (statement). In SQZGKRDVBX/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
signature SX7A4KYHZG
| URI | m2://inv/SX7A4KYHZG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Signature of a quadratic form 07EZA80NEH |
Mentions
- wikidata: Wikidata Q1142562, signature (concept). Also MathWorld MatrixSignature
- wikipedia: Wikipedia Metric signature, Metric signature (definition). Also Wikidata Q1142562
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
SX7HF03FPH SX7HF03FPH
| URI | m2://inv/SX7HF03FPH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-binom.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
SX7KQZSZJA SX7KQZSZJA
| URI | m2://inv/SX7KQZSZJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2501.17850#7024 (statement). In WS5KWBEG5Q/e1, lemma 7
History
- 2026-10-27: add by m2/v0.4.0
Iain Gordon SX7QZPD4KH
| URI | m2://inv/SX7QZPD4KH |
|---|---|
| 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#V75R, Iain Gordon (topic)
History
- 2026-11-02: add by m2/dev
SX7TH62SX7 SX7TH62SX7
| URI | m2://inv/SX7TH62SX7 |
|---|---|
| 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.03062#B4OO (statement). In 5H7985A5SD/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
Earth's nutation SX7WGN2W48
| URI | m2://inv/SX7WGN2W48 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nutation#GP0O, Earth's nutation (unknown)
History
- 2026-11-02: add by m2/dev
Elementary automorphisms SX7XZBRG1R
| URI | m2://inv/SX7XZBRG1R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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.21662#BUQ6, Elementary automorphisms (statement). In 25B3WHEKH2/e1, theorem 6.6
History
- 2026-10-27: add by m2/v0.4.2
Proving inequality only SX7YW9TAAF
| URI | m2://inv/SX7YW9TAAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaplygin's Theorem and Method for Solving ODE#X7U2, Proving inequality only (statement)
History
- 2026-11-02: add by m2/dev
root test SX85AYT8K5
| URI | m2://inv/SX85AYT8K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Root test 05H4DDDYBZ |
Mentions
- wikidata: Wikidata Q846705, root test (unknown). Also MathWorld RootTest
- wikipedia: Wikipedia Root test, Root test (definition). Also Wikidata Q846705
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties SX864GXWXG
| URI | m2://inv/SX864GXWXG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real element#1XBI, Properties (statement)
History
- 2026-11-02: add by m2/dev
SX87112Q2Q SX87112Q2Q
| URI | m2://inv/SX87112Q2Q |
|---|---|
| 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.32383#2AP4 (statement). In 94GZYA55Q5/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
Indiscrete topology SX8EZD48YS
| URI | m2://inv/SX8EZD48YS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#SG7B, Indiscrete topology (definition)
History
- 2026-11-02: add by m2/dev
Decomposition with balanced enclosing boxes SX8H1HNKT9
| URI | m2://inv/SX8H1HNKT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-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 2610.14160#IQQ9, Decomposition with balanced enclosing boxes (statement). In Y4TP36M0C7/e1, theorem 22
History
- 2026-10-28: add by m2/v0.4.2
SX8N9FRAXM SX8N9FRAXM
| URI | m2://inv/SX8N9FRAXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-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.04694#FXB0 (statement). In W9A0Z2NBMA/e1, lemma 30
History
- 2026-10-29: add by m2/v0.4.12
SX8NX5SK13 SX8NX5SK13
| URI | m2://inv/SX8NX5SK13 |
|---|---|
| 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.26500#7FTK (statement)
History
- 2026-11-01: add by m2/v0.6.15
SX8R0NAW2Z SX8R0NAW2Z
| URI | m2://inv/SX8R0NAW2Z |
|---|---|
| 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.06707#3DDW (statement). In 9TR5E527P5/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
SX8VG7KCYD SX8VG7KCYD
| URI | m2://inv/SX8VG7KCYD |
|---|---|
| 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 2609.29531#4FRI (statement)
History
- 2026-11-01: add by m2/v0.6.15
SX8YAZ5YPT SX8YAZ5YPT
| URI | m2://inv/SX8YAZ5YPT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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 2610.07718#HG9B (example). In CEKW9CNVVW/e1, example 6.5
History
- 2026-10-29: add by m2/v0.4.10
Eric Friedlander SX92HN7XDZ
| URI | m2://inv/SX92HN7XDZ |
|---|---|
| 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#ADPR, Eric Friedlander (unknown)
History
- 2026-11-02: add by m2/dev
canonical model SX94XSNYZY
| URI | m2://inv/SX94XSNYZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#58QX, canonical model (definition)
History
- 2026-11-02: add by m2/dev
List of Roman Catholic United States Supreme Court justices SX9BAGZV1K
| URI | m2://inv/SX9BAGZV1K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of the Supreme Court of the United States#UX3W, List of Roman Catholic United States Supreme Court justices (unknown)
History
- 2026-11-02: add by m2/dev
Minimal factor coverages of Thue--Morse words SX9JDWZW6F
| URI | m2://inv/SX9JDWZW6F |
|---|---|
| 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.10950#QOUB, Minimal factor coverages of Thue--Morse words (statement). In P392PEVRAY/e1, theorem 6.7
History
- 2026-10-28: add by m2/v0.4.3
SX9S2N7J28 SX9S2N7J28
| URI | m2://inv/SX9S2N7J28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-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 2503.19528#FR77 (statement). In EM5955MDHN/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
SX9TBMBX4Z SX9TBMBX4Z
| URI | m2://inv/SX9TBMBX4Z |
|---|---|
| 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 2609.20140#YTXG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Dmitri Anosov SX9XSQVEJD
| URI | m2://inv/SX9XSQVEJD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#1QLI, Dmitri Anosov (topic)
History
- 2026-11-02: add by m2/dev
Grote Professor of the Philosophy of Mind and Logic SXA01T86M1
| URI | m2://inv/SXA01T86M1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grote Professor of the Philosophy of Mind and Logic, Grote Professor of the Philosophy of Mind and Logic (definition). Also Wikidata Q5610677
History
- 2026-11-02: add by m2/dev
Example SXA2EHSVF1
| URI | m2://inv/SXA2EHSVF1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composition of relations#V8D8, Example (example)
History
- 2026-11-02: add by m2/dev
Special cases SXA68JN9RF
| URI | m2://inv/SXA68JN9RF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonal trapezohedron#0BSD, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Examples SXA69F2932
| URI | m2://inv/SXA69F2932 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Null vector#P0XJ, Examples (example)
History
- 2026-11-02: add by m2/dev
SXA6HFYWGA SXA6HFYWGA
| URI | m2://inv/SXA6HFYWGA |
|---|---|
| Kind | definition |
| 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.20558#8PCT (definition). In 46370P3Y9S/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.4.2
SXAAQGDRF3 SXAAQGDRF3
| URI | m2://inv/SXAAQGDRF3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.20672#JUAM (statement). In ZD0RCDSQ61/e1, proposition 3
History
- 2026-10-27: add by m2/v0.4.2
Applications SXAEVQR0WP
| URI | m2://inv/SXAEVQR0WP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survival analysis#WANW, Applications (example)
History
- 2026-11-02: add by m2/dev
Cabal SXAHJ4F2VB
| URI | m2://inv/SXAHJ4F2VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cabal (set theory), Cabal (definition). Also Wikidata Q5015190
History
- 2026-11-02: add by m2/dev
SXANEKYTKT SXANEKYTKT
| URI | m2://inv/SXANEKYTKT |
|---|---|
| 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 2603.21971#ZRSD (statement). In R6KSZ9H8CY/e1, proposition 1.3
History
- 2026-10-27: add by m2/v0.3.5
SXARNM6CQY SXARNM6CQY
| URI | m2://inv/SXARNM6CQY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InfiniteSets.tex#thm:naturalNumbersInfinite (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
Pythagorean symbol SXAV6B0W9W
| URI | m2://inv/SXAV6B0W9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Pythagoras#Q6US, Pythagorean symbol (definition)
History
- 2026-11-02: add by m2/dev
Methods SXAVVC7THK
| URI | m2://inv/SXAVVC7THK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DONE#FXSP, Methods (definition)
History
- 2026-11-02: add by m2/dev
Thomas Geisser SXB0MF1S7S
| URI | m2://inv/SXB0MF1S7S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Geisser, Thomas Geisser (topic). Also Wikidata Q102266945
History
- 2026-11-02: add by m2/dev
Anderson, Oskar SXB276017N
| URI | m2://inv/SXB276017N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#PQ9B, Anderson, Oskar (topic)
History
- 2026-11-02: add by m2/dev
Cheng-Xu, Theorem 1.4 SXB2J88K6W
| URI | m2://inv/SXB2J88K6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.21934#PI1F, Cheng-Xu, Theorem 1.4 (statement). In YKD51BX3XB/e1, theorem 6.6
History
- 2026-10-27: add by m2/v0.4.2
Alfred Klose SXB8JAKX0Z
| URI | m2://inv/SXB8JAKX0Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Klose, Alfred Klose (topic). Also Wikidata Q2645286
History
- 2026-11-02: add by m2/dev
Generalizations SXB8QTMP34
| URI | m2://inv/SXB8QTMP34 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré inequality#6GOC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
SXBBSBVBWP SXBBSBVBWP
| URI | m2://inv/SXBBSBVBWP |
|---|---|
| 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.14249#5G7Y (statement). In B6P8PG8R8T/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Corestriction SXBKAGK496
| URI | m2://inv/SXBKAGK496 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Corestriction, Corestriction (definition). Also Wikidata Q104881170
History
- 2026-11-02: add by m2/dev
Strong blocking set SXBP6WKNHX
| URI | m2://inv/SXBP6WKNHX |
|---|---|
| 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 2609.32834#O51N, Strong blocking set (definition). In N4M6B8EMCW/e1, definition 4.11
History
- 2026-10-31: add by m2/v0.5.6
Adjoint centre action SXBQH8XQG5
| URI | m2://inv/SXBQH8XQG5 |
|---|---|
| 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 2610.10745#OEUC, Adjoint centre action (definition). In 5MJ4NJ5ZCV/e1, definition 2.23
History
- 2026-10-28: add by m2/v0.4.3
Riemann Hypothesis SXBXF44TW0
| URI | m2://inv/SXBXF44TW0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's eighth problem#IVF1, Riemann Hypothesis (statement)
History
- 2026-11-02: add by m2/dev
SXBZH95KJD SXBZH95KJD
| URI | m2://inv/SXBZH95KJD |
|---|---|
| Kind | definition |
| 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 2610.11902#E2PX (definition). In K66QKM4N5E/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
Application SXC4Q5JVPK
| URI | m2://inv/SXC4Q5JVPK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plancherel measure#V0KH, Application (example)
History
- 2026-11-02: add by m2/dev
Saunders Mac Lane SXC6T9KBKV
| URI | m2://inv/SXC6T9KBKV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q441223, Saunders Mac Lane (unknown). Also nLab Saunders Mac Lane
- wikipedia: Wikipedia Saunders Mac Lane, Saunders Mac Lane (topic). Also Wikidata Q441223
History
- 2026-10-26: add by m2/dev
Greatest private experiment and posterior simplex SXC8YBFPVX
| URI | m2://inv/SXC8YBFPVX |
|---|---|
| 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.38228#R4EC, Greatest private experiment and posterior simplex (statement). In 9YAE8FNQST/e1, proposition 28.25
History
- 2026-10-30: add by m2/v0.4.12
SXCCWF2QSP SXCCWF2QSP
| URI | m2://inv/SXCCWF2QSP |
|---|---|
| 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 2406.01499#UUNP (statement). In B32K3KBEKC/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
SXCD008N4Y SXCD008N4Y
| URI | m2://inv/SXCD008N4Y |
|---|---|
| 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 2508.19709#ZLTZ (statement). In 57PQWSSZMY/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Examples SXCSEE79NK
| URI | m2://inv/SXCSEE79NK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wald's equation#ACZ0, Examples (example)
History
- 2026-11-02: add by m2/dev
Regular point SXCT7R5QXW
| URI | m2://inv/SXCT7R5QXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#5MJA, Regular point (definition)
History
- 2026-11-02: add by m2/dev
SXCTQKV6V8 SXCTQKV6V8
| URI | m2://inv/SXCTQKV6V8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-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.17139#4VHX (statement). In AQWX60Z563/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.2
inviscid SXCVJZ6B02
| URI | m2://inv/SXCVJZ6B02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#9GDT, inviscid (definition)
History
- 2026-11-02: add by m2/dev
Alon-Tarsi conjecture SXD2MHYJ35
| URI | m2://inv/SXD2MHYJ35 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122897563, Alon-Tarsi conjecture (conjecture). Also MathWorld Alon-TarsiConjecture
History
- 2026-10-26: add by m2/dev
Burnside form SXD2P0VTNB
| URI | m2://inv/SXD2P0VTNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2609.40290#Z6XP, Burnside form (statement). In 4K1CNBYJHF/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
SXD4WRT75V SXD4WRT75V
| URI | m2://inv/SXD4WRT75V |
|---|---|
| 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 1809.06512#4AHG (statement). In RY2X22P6XW/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
Formal definitions SXD8DAC6PZ
| URI | m2://inv/SXD8DAC6PZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotangent space#MAY5, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Jonathan Lazare Alperin SXD8X5ZNEY
| URI | m2://inv/SXD8X5ZNEY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonathan Lazare Alperin, Jonathan Lazare Alperin (topic). Also Wikidata Q1192895
History
- 2026-11-02: add by m2/dev
Observational lexical equivalence SXDAASWCKK
| URI | m2://inv/SXDAASWCKK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.20207#YAU7, Observational lexical equivalence (definition)
History
- 2026-11-02: add by m2/v0.6.18
Julian Schwinger SXDAVWDYNP
| URI | m2://inv/SXDAVWDYNP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#7CHU, Julian Schwinger (topic)
History
- 2026-11-02: add by m2/dev
SXDBK3AMV2 SXDBK3AMV2
| URI | m2://inv/SXDBK3AMV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2610.00869#YD4Y (statement). In 63JMKC4GZE/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
SXDBP05XA3 SXDBP05XA3
| URI | m2://inv/SXDBP05XA3 |
|---|---|
| Kind | statement |
| 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 2609.26896#YGEY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition SXDVDN3SP0
| URI | m2://inv/SXDVDN3SP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coarse structure#D1GU, Definition (definition)
History
- 2026-11-02: add by m2/dev
SXDXRVF3K5 SXDXRVF3K5
| URI | m2://inv/SXDXRVF3K5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-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.21860#8MVC (statement)
History
- 2026-11-02: add by m2/v0.6.18
SXDXWWWV56 SXDXWWWV56
| URI | m2://inv/SXDXWWWV56 |
|---|---|
| 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.08226#O1R2 (statement). In V6EPE8XHAD/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.10
N-body units SXE0KHYPFB
| URI | m2://inv/SXE0KHYPFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-body units, N-body units (definition). Also Wikidata Q6951462
History
- 2026-11-02: add by m2/dev
Definition SXE519CB2X
| URI | m2://inv/SXE519CB2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moreau envelope#TNQ5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples SXE6NJ3WDN
| URI | m2://inv/SXE6NJ3WDN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zonogon#DSY0, Examples (example)
History
- 2026-11-02: add by m2/dev
Telser, Lester G. SXEG0NJG5G
| URI | m2://inv/SXEG0NJG5G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#GZGX, Telser, Lester G. (unknown)
History
- 2026-11-02: add by m2/dev
SXEGKHTT7F SXEGKHTT7F
| URI | m2://inv/SXEGKHTT7F |
|---|---|
| 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 2502.16151#6JH0 (statement). In CFCTBV1Z93/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
SXEM3AGRT2 SXEM3AGRT2
| URI | m2://inv/SXEM3AGRT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2609.38212#AOOT (statement). In 5821K2RD8J/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
SXEQEWY0VH SXEQEWY0VH
| URI | m2://inv/SXEQEWY0VH |
|---|---|
| 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.14988#X71F (statement). In B29M4E6KGC/e1, proposition D.1
History
- 2026-10-28: add by m2/v0.4.2
Aggregate out-of-subspace error SXEX2X2ANX
| URI | m2://inv/SXEX2X2ANX |
|---|---|
| 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.20550#PLB8, Aggregate out-of-subspace error (statement)
History
- 2026-11-02: add by m2/v0.6.18
SXEXF1R78G SXEXF1R78G
| URI | m2://inv/SXEXF1R78G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.12576#DCWC (statement). In BVAWVRS3R9/e1, theorem 2.21
History
- 2026-10-28: add by m2/v0.4.2
SXEXY6FM9G SXEXY6FM9G
| URI | m2://inv/SXEXY6FM9G |
|---|---|
| Kind | example |
| 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 2610.07293#6T23 (example). In V1GVYM0WQG/e1, example 4.6
History
- 2026-10-29: add by m2/v0.4.10
Poisson manifold SXF4HETQ9Z
| URI | m2://inv/SXF4HETQ9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#LPY8, Poisson manifold (definition)
History
- 2026-11-02: add by m2/dev
SXF4K6MCYF SXF4K6MCYF
| URI | m2://inv/SXF4K6MCYF |
|---|---|
| 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.12329#F0GQ (statement). In ZJQB9W60T6/e1, lemma 5.17
History
- 2026-10-28: add by m2/v0.4.2
Examples SXF6138PSE
| URI | m2://inv/SXF6138PSE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deductive closure#LC3Y, Examples (example)
History
- 2026-11-02: add by m2/dev
SXF614DDD5 SXF614DDD5
| URI | m2://inv/SXF614DDD5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise:restrictioncontinuous (exercise). In E59CDZA4DP, exercise, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
SXFBQPF25R SXFBQPF25R
| URI | m2://inv/SXFBQPF25R |
|---|---|
| Kind | definition |
| 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.08323#F9LU (definition). In FR51ART4NF/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Cowbellpedia SXFDCEXVPW
| URI | m2://inv/SXFDCEXVPW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#XI40, Cowbellpedia (unknown)
History
- 2026-11-02: add by m2/dev
Tverberg partition SXFE36FERV
| URI | m2://inv/SXFE36FERV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#PK1C, Tverberg partition (statement)
History
- 2026-11-02: add by m2/dev
Master Gamma-limit on a finite resolved cut complex SXFQW7ZH43
| URI | m2://inv/SXFQW7ZH43 |
|---|---|
| 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 2609.20215#SDOD, Master Gamma-limit on a finite resolved cut complex (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties SXFRX25CK0
| URI | m2://inv/SXFRX25CK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line (geometry)#CI0T, Properties (statement)
History
- 2026-11-02: add by m2/dev
porism SXFX4JFZT9
| URI | m2://inv/SXFX4JFZT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7230113, porism (unknown). Also MathWorld Porism
- wikipedia: Wikipedia Porism, Porism (definition). Also Wikidata Q7230113
History
- 2026-10-26: add by m2/dev
Conventions SXG3NH58Y1
| URI | m2://inv/SXG3NH58Y1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynkin diagram#7SDS, Conventions (definition)
History
- 2026-11-02: add by m2/dev
SXG8KVDWZG SXG8KVDWZG
| URI | m2://inv/SXG8KVDWZG |
|---|---|
| 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 2404.05965#UYF9 (statement). In GD1GED3FZ3/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Fuzzy number SXG8MP052Z
| URI | m2://inv/SXG8MP052Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#DHQY, Fuzzy number (unknown)
History
- 2026-11-02: add by m2/dev
Reliability polynomial SXG8WSW5NC
| URI | m2://inv/SXG8WSW5NC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte polynomial#YIQ2, Reliability polynomial (unknown)
History
- 2026-11-02: add by m2/dev
radial right inverse SXGCT92N8W
| URI | m2://inv/SXGCT92N8W |
|---|---|
| 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 2610.08016#RWTZ, radial right inverse (statement). In YR3CSTYEJW/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
SXGQMYEH3Y SXGQMYEH3Y
| URI | m2://inv/SXGQMYEH3Y |
|---|---|
| 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.22825#QMII (statement)
History
- 2026-11-02: add by m2/v0.6.17
SXGSFYTNWQ SXGSFYTNWQ
| URI | m2://inv/SXGSFYTNWQ |
|---|---|
| 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.39700#GAYM (statement). In E7W2HDNEKJ/e1, corollary 9.11
History
- 2026-10-30: add by m2/v0.4.12
David Eisenbud SXGT0GERHE
| URI | m2://inv/SXGT0GERHE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GTIN, David Eisenbud (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OUE6, David Eisenbud (topic)
History
- 2026-11-02: add by m2/dev
Michael Lin SXGV8HKGT7
| URI | m2://inv/SXGV8HKGT7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#HRQF, Michael Lin (topic)
History
- 2026-11-02: add by m2/dev
Heinz Hopf SXGXCKDRQ6
| URI | m2://inv/SXGXCKDRQ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78448, Heinz Hopf (unknown). Also nLab Heinz Hopf, ProofWiki Mathematician:Heinz_Hopf
- wikipedia: Wikipedia Heinz Hopf, Heinz Hopf (topic). Also Wikidata Q78448
History
- 2026-10-26: add by m2/dev
Five Ways, Birmingham SXGYX3EKBE
| URI | m2://inv/SXGYX3EKBE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EKBR, Five Ways, Birmingham (unknown)
History
- 2026-11-02: add by m2/dev
K-distribution SXH3P43HTD
| URI | m2://inv/SXH3P43HTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-distribution, K-distribution (definition). Also Wikidata Q6322815
History
- 2026-11-02: add by m2/dev
SXH5WMA1VF SXH5WMA1VF
| URI | m2://inv/SXH5WMA1VF |
|---|---|
| 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.10927#DA1L (statement). In DHEJP3YATV/e1, lemma 35
History
- 2026-10-28: add by m2/v0.4.3
Definition SXH7GRFY65
| URI | m2://inv/SXH7GRFY65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slope field#ZMC6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kuhn's theorem SXHC5SS92Y
| URI | m2://inv/SXHC5SS92Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7043732, Kuhn's theorem (statement). Also Wikidata Q7043732
- thousand_plus: thousand_plus Q7043732, Kuhn's theorem (statement). Also Wikidata Q7043732, Wikipedia Kuhn's theorem
- wikipedia: Wikipedia Kuhn's theorem, Kuhn's theorem (statement). Also Wikidata Q7043732
History
- 2026-10-26: add by m2/dev
SXHKAXQHCH SXHKAXQHCH
| URI | m2://inv/SXHKAXQHCH |
|---|---|
| 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 2610.06488#V2DF (statement). In XG3BJ2QXXP/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.10
Coarea reduction SXHM3ZVFTS
| URI | m2://inv/SXHM3ZVFTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.00137#MRZT, Coarea reduction (statement). In NKW6YQ04QW/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Myhill–Nerode theorem SXHMX8D2ZV
| URI | m2://inv/SXHMX8D2ZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree automaton#90Y3, Myhill–Nerode theorem (statement)
History
- 2026-11-02: add by m2/dev
normal SXHN9HPXTP
| URI | m2://inv/SXHN9HPXTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#B93M, normal (definition)
History
- 2026-11-02: add by m2/dev
Recurrent word SXHQ87JT2W
| URI | m2://inv/SXHQ87JT2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrent word, Recurrent word (definition). Also Wikidata Q7303270
History
- 2026-11-02: add by m2/dev
Theorem 2 SXJ51Y3VNT
| URI | m2://inv/SXJ51Y3VNT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MMH-Badger MAC#VGWN, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
Exponential integrability SXJ8HJSXT9
| URI | m2://inv/SXJ8HJSXT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.21972#WRE3, Exponential integrability (statement)
History
- 2026-11-02: add by m2/v0.6.17
SXK3CYZF6P SXK3CYZF6P
| URI | m2://inv/SXK3CYZF6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.24078#WOIY (statement)
History
- 2026-11-02: add by m2/v0.6.17
SXK8E565Q0 SXK8E565Q0
| URI | m2://inv/SXK8E565Q0 |
|---|---|
| Kind | statement |
| 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 2609.31604#C0XV (statement). In GSN5YTQS2K/e1, corollary 3.25
History
- 2026-10-31: add by m2/v0.5.6
Warsaw circle SXKBS19HVG
| URI | m2://inv/SXKBS19HVG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape theory (mathematics)#M1GM, Warsaw circle (unknown)
History
- 2026-11-02: add by m2/dev
Weight of the symplectic form SXKEGW9Q3F
| URI | m2://inv/SXKEGW9Q3F |
|---|---|
| Kind | statement |
| 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.03520#37JH, Weight of the symplectic form (statement). In CSRZ9CWK69/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Applications SXKFAFR58H
| URI | m2://inv/SXKFAFR58H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer's theorem on induced characters#C0L0, Applications (example)
History
- 2026-11-02: add by m2/dev
Theorem SXKGX0S142
| URI | m2://inv/SXKGX0S142 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hirsch conjecture#E8S3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Edge bound SXKMJEZRK4
| URI | m2://inv/SXKMJEZRK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.20606#MN99, Edge bound (statement)
History
- 2026-11-02: add by m2/v0.6.18
SXKYH3AH5P SXKYH3AH5P
| URI | m2://inv/SXKYH3AH5P |
|---|---|
| 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.17240#19YU (statement). In 59BZ4V9RQW/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.2
Discrete Morse Function SXKYXFAQ0P
| URI | m2://inv/SXKYXFAQ0P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2610.01937#IAJF, Discrete Morse Function (definition). In BAEDMM7YM5/e1, definition 13
History
- 2026-10-29: add by m2/v0.4.12
List of things named after Élie Cartan SXM05Y62EN
| URI | m2://inv/SXM05Y62EN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan, List of things named after Élie Cartan (topic). Also Wikidata Q16966643
History
- 2026-11-02: add by m2/dev
An example SXMC2B06SK
| URI | m2://inv/SXMC2B06SK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace transform applied to differential equations#E24R, An example (example)
History
- 2026-11-02: add by m2/dev
Leslie Comrie SXMR6GV5HM
| URI | m2://inv/SXMR6GV5HM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q328362, Leslie Comrie (unknown). Also ProofWiki Mathematician:Leslie_John_Comrie
History
- 2026-10-26: add by m2/dev
Capillary $\a$-entropy functional SXMTGSTH0D
| URI | m2://inv/SXMTGSTH0D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2506.09840#MXQ3, Capillary $\a$-entropy functional (definition). In Y7TWHSF2HC/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.3.5
SXMTQRACF8 SXMTQRACF8
| URI | m2://inv/SXMTQRACF8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-30 (exercise). In E59CDZA4DP, exercise, section 11.2.4
History
- 2026-11-01: add by m2/v0.6.13
SXMTVD70A7 SXMTVD70A7
| URI | m2://inv/SXMTVD70A7 |
|---|---|
| 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 2112.05010#XTF4 (statement). In 4SZNPS3Z00/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.6
Monotonicity of $\alpha$ and $\xi$ SXMXAPAZ29
| URI | m2://inv/SXMXAPAZ29 |
|---|---|
| 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.20609#5O2G, Monotonicity of $\alpha$ and $\xi$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
SXN5BWKJYR SXN5BWKJYR
| URI | m2://inv/SXN5BWKJYR |
|---|---|
| Kind | conjecture |
| 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#XSR1 (conjecture). In 6B2PCEGCYZ/e1, conjecture 5.5
History
- 2026-10-31: add by m2/v0.5.6
Vissarion Alekseyev SXNEB2YXSJ
| URI | m2://inv/SXNEB2YXSJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vissarion Alekseyev, Vissarion Alekseyev (topic). Also Wikidata Q3389073
History
- 2026-11-02: add by m2/dev
S. R. S. Varadhan SXNSNK20XF
| URI | m2://inv/SXNSNK20XF |
|---|---|
| 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#1B2O, S. R. S. Varadhan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QHFM, S. R. S. Varadhan (topic)
History
- 2026-11-02: add by m2/dev
R. H. Bing SXNT842364
| URI | m2://inv/SXNT842364 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#76VU, R. H. Bing (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#27OX, R. H. Bing (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K92Y, R. H. Bing (topic)
History
- 2026-11-02: add by m2/dev
SXP2YPD77Z SXP2YPD77Z
| URI | m2://inv/SXP2YPD77Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.27730#ECWV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Geometric process SXP4BMM7WC
| URI | m2://inv/SXP4BMM7WC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric process, Geometric process (definition). Also Wikidata Q30680963
History
- 2026-11-02: add by m2/dev
Commentarii Academiae scientiarum imperialis Petropolitanae SXP9A76NB8
| URI | m2://inv/SXP9A76NB8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q51457692, Commentarii Academiae scientiarum imperialis Petropolitanae (unknown). Also ProofWiki Book:Journal/Commentarii_Academiae_scientiarum_imperialis_Petropolitanae
History
- 2026-10-26: add by m2/dev
SXP9B922Q6 SXP9B922Q6
| URI | m2://inv/SXP9B922Q6 |
|---|---|
| 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.11047#Y3M8 (statement). In MNQAZ70XTH/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.3
SXPERSH4X9 SXPERSH4X9
| URI | m2://inv/SXPERSH4X9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.39246#RIWP (statement). In FVK0J9CFEF/e1, theorem 4.13
History
- 2026-10-30: add by m2/v0.4.12
SXPJTNTGBC SXPJTNTGBC
| URI | m2://inv/SXPJTNTGBC |
|---|---|
| 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.21533#RZ99 (statement). In N3Z6JFEPCF/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
SXPKYEF3F6 SXPKYEF3F6
| URI | m2://inv/SXPKYEF3F6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/basic.tex#proof-10 (proof). In PKGMM3P5QY, proof, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
SXPQ81D3F0 SXPQ81D3F0
| URI | m2://inv/SXPQ81D3F0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 1001.1196#3DME (statement). In BCB418GV9C/e1, corollary 2.1
History
- 2026-10-27: add by m2/v0.3.5
SXPQJ7RMJP SXPQJ7RMJP
| URI | m2://inv/SXPQJ7RMJP |
|---|---|
| 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 2610.18101#AJ3T (statement). In XXN6KKXPYF/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
SXPQZ89KGZ SXPQZ89KGZ
| URI | m2://inv/SXPQZ89KGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.27366#VHHL (statement)
History
- 2026-11-01: add by m2/v0.6.15
SXPW8EYANQ SXPW8EYANQ
| URI | m2://inv/SXPW8EYANQ |
|---|---|
| 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.16886#FHFX (statement). In Y8QQAH7VCF/e1, corollary 3.7
History
- 2026-10-28: add by m2/v0.4.2
Sigurdur Helgason SXQ0ZGJ4VJ
| URI | m2://inv/SXQ0ZGJ4VJ |
|---|---|
| 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#E7SZ, Sigurdur Helgason (topic)
History
- 2026-11-02: add by m2/dev
Chakrabarti, M. C. SXQ2FWPTX3
| URI | m2://inv/SXQ2FWPTX3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Q41X, Chakrabarti, M. C. (unknown)
History
- 2026-11-02: add by m2/dev
SXQ4K2P24X SXQ4K2P24X
| URI | m2://inv/SXQ4K2P24X |
|---|---|
| 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.01015#4UT2 (statement). In PSH07NKZ62/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.12
Construction SXQ5SZF47T
| URI | m2://inv/SXQ5SZF47T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane table#3U5S, Construction (definition)
History
- 2026-11-02: add by m2/dev
SXQEMVN7C5 SXQEMVN7C5
| URI | m2://inv/SXQEMVN7C5 |
|---|---|
| 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 2609.26996#DH4M (statement). In FP7Z8PJ4AW/e1, lemma D.2
History
- 2026-10-27: add by m2/v0.3.5
A log-concave reference and two Gaussian summands SXQFFV82YA
| URI | m2://inv/SXQFFV82YA |
|---|---|
| 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.38228#R4ZJ, A log-concave reference and two Gaussian summands (statement). In 9YAE8FNQST/e1, theorem 16.20
History
- 2026-10-30: add by m2/v0.4.12
SXQGMRE69W SXQGMRE69W
| URI | m2://inv/SXQGMRE69W |
|---|---|
| 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 2610.04466#UF49 (statement). In EHW82CK883/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.12
SXQMGSE5TX SXQMGSE5TX
| URI | m2://inv/SXQMGSE5TX |
|---|---|
| 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.20242#IWLS (statement). In TAX627CRH2/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.2
Braided vector space SXQP46MT1R
| URI | m2://inv/SXQP46MT1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braided vector space, Braided vector space (definition). Also Wikidata Q4955657
History
- 2026-11-02: add by m2/dev
latitude SXQVRRKCG9
| URI | m2://inv/SXQVRRKCG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q34027, latitude (definition). Also MathWorld Latitude, ProofWiki Definition:Latitude
- wikipedia: Wikipedia Latitude, Latitude (definition). Also Wikidata Q34027
History
- 2026-10-26: add by m2/dev
SXQX0VBYJG SXQX0VBYJG
| URI | m2://inv/SXQX0VBYJG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 60-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.28742#X7K8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Special pleading SXR2J4WTZ2
| URI | m2://inv/SXR2J4WTZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#LJKK, Special pleading (definition)
History
- 2026-11-02: add by m2/dev
B-tree SXR4C2A061
| URI | m2://inv/SXR4C2A061 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q677051, B-tree (unknown). Also MathWorld B-Tree
History
- 2026-10-26: add by m2/dev
triangle centroid SXR54HT2ZB
| URI | m2://inv/SXR54HT2ZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11872258, triangle centroid (unknown). Also MathWorld TriangleCentroid
History
- 2026-10-26: add by m2/dev
Havercosine SXR7J4HCF2
| URI | m2://inv/SXR7J4HCF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#S39X, Havercosine (definition)
History
- 2026-11-02: add by m2/dev
Möbius energy SXRB87R903
| URI | m2://inv/SXRB87R903 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius energy, Möbius energy (definition). Also Wikidata Q17098990
History
- 2026-11-02: add by m2/dev
SXRBJ9P2ME SXRBJ9P2ME
| URI | m2://inv/SXRBJ9P2ME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2610.21080#K6XN (statement). In DGE917KQSQ/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.4.2
Definition SXRCMJV2TA
| URI | m2://inv/SXRCMJV2TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive conditional duration#G8PV, Definition (definition)
History
- 2026-11-02: add by m2/dev
SXRD3N1YZR SXRD3N1YZR
| URI | m2://inv/SXRD3N1YZR |
|---|---|
| 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.15360#3I57 (statement). In DJCXDQQK7Y/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Sector decomposition SXRG1PKKC5
| URI | m2://inv/SXRG1PKKC5 |
|---|---|
| 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.26114#J5ZA, Sector decomposition (statement)
History
- 2026-11-01: add by m2/v0.6.15
Choice model simulation SXRRM5T36N
| URI | m2://inv/SXRRM5T36N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Choice model simulation, Choice model simulation (definition). Also Wikidata Q5104034
History
- 2026-11-02: add by m2/dev
Finite natural inverse monoids SXRS9P05YW
| URI | m2://inv/SXRS9P05YW |
|---|---|
| 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.12014#CDZL, Finite natural inverse monoids (statement). In DR7BK4CQ0V/e1, corollary 6.2
History
- 2026-10-28: add by m2/v0.4.3
linkage SXS3Q2ZCPH
| URI | m2://inv/SXS3Q2ZCPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#VCXN, linkage (definition)
History
- 2026-11-02: add by m2/dev
Proof of Schr\"oder-Bernstein SXS7XX1KJ4
| URI | m2://inv/SXS7XX1KJ4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/infinite/card-sb.tex#proof-3, Proof of Schr\"oder-Bernstein (proof). In PKGMM3P5QY, proof, section 79.5
History
- 2026-11-01: add by m2/v0.6.13
Botvinnik--Piazza--Rosenberg SXS867F46M
| URI | m2://inv/SXS867F46M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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 2005.03073#CHC4, Botvinnik--Piazza--Rosenberg (statement). In P2ETMXKVDS/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.3.5
Random self-reducibility SXSCZRGBJ9
| URI | m2://inv/SXSCZRGBJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random self-reducibility, Random self-reducibility (definition). Also Wikidata Q7291990
History
- 2026-11-02: add by m2/dev
Choosing an optimality criterion and robustness SXSJX5TFBH
| URI | m2://inv/SXSJX5TFBH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal experimental design#KVTP, Choosing an optimality criterion and robustness (statement)
History
- 2026-11-02: add by m2/dev
SXSQT4GD7H SXSQT4GD7H
| URI | m2://inv/SXSQT4GD7H |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28893#UXE1 (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Using the Chinese remainder theorem SXT0WSW5K4
| URI | m2://inv/SXT0WSW5K4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Profinite integer#1VZD, Using the Chinese remainder theorem (statement)
History
- 2026-11-02: add by m2/dev
SXT6GWNRDV SXT6GWNRDV
| URI | m2://inv/SXT6GWNRDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.32138#38Q3 (statement). In ZG0GNHTCWB/e1, theorem 6.8
History
- 2026-10-31: add by m2/v0.5.6
SXTCCJA89Q SXTCCJA89Q
| URI | m2://inv/SXTCCJA89Q |
|---|---|
| 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 2610.04527#GRD2 (statement). In Z9ZXAC6TZQ/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Rijndael MixColumns SXTDPPJ6MQ
| URI | m2://inv/SXTDPPJ6MQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rijndael MixColumns, Rijndael MixColumns (definition). Also Wikidata Q2152944
History
- 2026-11-02: add by m2/dev
SXTF02ERVZ SXTF02ERVZ
| URI | m2://inv/SXTF02ERVZ |
|---|---|
| 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 2610.02852#8OU9 (statement). In HX6FXCYGKA/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
concurrent SXTGHK25ZD
| URI | m2://inv/SXTGHK25ZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#GFH9, concurrent (definition)
History
- 2026-11-02: add by m2/dev
residue SXTJC64A2N
| URI | m2://inv/SXTJC64A2N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Residue 0PHN07KVQT |
Mentions
- wikidata: Wikidata Q753375, residue (concept). Also MathWorld ComplexResidue, nLab residue, ProofWiki Definition:Residue_(Complex_Analysis)
- wikipedia: Wikipedia Residue (complex analysis), Residue (definition). Also Wikidata Q753375
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
SXTJV91EEX SXTJV91EEX
| URI | m2://inv/SXTJV91EEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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 2610.06455#YK8A (statement). In N6GB5J5BAY/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Jean-Pierre Demailly SXTMZ5GA7A
| URI | m2://inv/SXTMZ5GA7A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1336954, Jean-Pierre Demailly (unknown). Also nLab Jean-Pierre Demailly
- wikipedia: Wikipedia Jean-Pierre Demailly, Jean-Pierre Demailly (topic). Also Wikidata Q1336954
History
- 2026-10-26: add by m2/dev
projection SXTQH6SGDY
| URI | m2://inv/SXTQH6SGDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#FOEU, projection (definition)
History
- 2026-11-02: add by m2/dev
SXTS4GDTA2 SXTS4GDTA2
| URI | m2://inv/SXTS4GDTA2 |
|---|---|
| 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.18226#1V0Y (statement). In B3EHT1FRM5/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Rape in Yemen SXVEJY5EXN
| URI | m2://inv/SXVEJY5EXN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#X0P4, Rape in Yemen (unknown)
History
- 2026-11-02: add by m2/dev
Definition SXVH7CS099
| URI | m2://inv/SXVH7CS099 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claw finding problem#FMBD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Three utilities problem SXVNBFPDH2
| URI | m2://inv/SXVNBFPDH2 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of impossible puzzles#Q7RL, Three utilities problem (problem)
History
- 2026-11-02: add by m2/dev
Applications SXVVRKNRJJ
| URI | m2://inv/SXVVRKNRJJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electric-field integral equation#NXUJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Aerodynamics SXVZD3MQA9
| URI | m2://inv/SXVZD3MQA9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aerodynamics, Aerodynamics (topic). Also Wikidata Q8424
History
- 2026-11-02: add by m2/dev
SXW38TN0AB SXW38TN0AB
| URI | m2://inv/SXW38TN0AB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.18620#MH4E (statement). In 6WJ0R9YEBR/e1, proposition 3.20
History
- 2026-10-28: add by m2/v0.4.2
SXW3C27H3N SXW3C27H3N
| URI | m2://inv/SXW3C27H3N |
|---|---|
| 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.38250#T02H (statement). In 5KDV984W48/e1, corollary 6
History
- 2026-10-30: add by m2/v0.4.12
Levi-Civita regularization SXW5KX4GYS
| URI | m2://inv/SXW5KX4GYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi-Civita regularization, Levi-Civita regularization (definition). Also Wikidata Q141244842
History
- 2026-11-02: add by m2/dev
SXWPJ16NZV SXWPJ16NZV
| URI | m2://inv/SXWPJ16NZV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.38556#WZQS (definition). In GC2H0HS7ZM/e1, definition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Selenne Bañuelos SXWRMXSAKN
| URI | m2://inv/SXWRMXSAKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selenne Bañuelos, Selenne Bañuelos (topic). Also Wikidata Q102491453
History
- 2026-11-02: add by m2/dev
Underdamped annealing with UBU SXWVV9MA8S
| URI | m2://inv/SXWVV9MA8S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 65-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.28611#1QM2, Underdamped annealing with UBU (statement)
History
- 2026-11-01: add by m2/v0.6.15
SXWW0SJHXH SXWW0SJHXH
| URI | m2://inv/SXWW0SJHXH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-3 (example). In E9HS8K3A52, example, section 10.1.3
History
- 2026-11-01: add by m2/v0.6.13
ratio test for series SXX0P5RZBX
| URI | m2://inv/SXX0P5RZBX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/9.1.2/ratio-test-for-series, ratio test for series (concept). In E9HS8K3A52, index, section 9.1.2
History
- 2026-11-01: add by m2/v0.6.13
SXX0Z938AB SXX0Z938AB
| URI | m2://inv/SXX0Z938AB |
|---|---|
| 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.10875#42QA (statement). In N91F15MHW1/e1, proposition 8
History
- 2026-10-28: add by m2/v0.4.3
Gauss–Markov theorem SXX41J2XKN
| URI | m2://inv/SXX41J2XKN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q428134, Gauss–Markov theorem (statement). Also Wikidata Q428134
- thousand_plus: thousand_plus Q428134, Gauss–Markov theorem (statement). Also Wikidata Q428134, Wikipedia Gauss–Markov theorem
- wikipedia: Wikipedia Gauss–Markov theorem, Gauss–Markov theorem (statement). Also Wikidata Q428134
History
- 2026-10-26: add by m2/dev
SXX98NHD2K SXX98NHD2K
| URI | m2://inv/SXX98NHD2K |
|---|---|
| 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 2409.03423#TTHA (statement). In 8C5YCMN81V/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
CCA-1 SXXANHFG2X
| URI | m2://inv/SXXANHFG2X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chosen-ciphertext attack#HJH7, CCA-1 (unknown)
History
- 2026-11-02: add by m2/dev
Examples SXXCSXWEGH
| URI | m2://inv/SXXCSXWEGH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surreal number#QEJI, Examples (example)
History
- 2026-11-02: add by m2/dev
SXXDR37QN4 SXXDR37QN4
| URI | m2://inv/SXXDR37QN4 |
|---|---|
| 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 2512.19872#82PD (statement). In DG9TF5X0EG/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.0
List of things named after Peter Gustav Lejeune Dirichlet SXXM4M6287
| URI | m2://inv/SXXM4M6287 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#STFA, List of things named after Peter Gustav Lejeune Dirichlet (topic)
History
- 2026-11-02: add by m2/dev
Sandrine Dudoit SXXRCM2YDN
| URI | m2://inv/SXXRCM2YDN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sandrine Dudoit, Sandrine Dudoit (topic). Also Wikidata Q64148504
History
- 2026-11-02: add by m2/dev
Theorems SXXW68RW88
| URI | m2://inv/SXXW68RW88 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kripke–Platek set theory#9RGD, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Example: the ideal gas law SXY1C7HMRB
| URI | m2://inv/SXY1C7HMRB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variable (mathematics)#XS02, Example: the ideal gas law (example)
History
- 2026-11-02: add by m2/dev
Variant SXYPHGH1TH
| URI | m2://inv/SXYPHGH1TH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.02079#I48O, Variant (statement). In CNS2J2E4T2/e1, theorem 12
History
- 2026-10-29: add by m2/v0.4.12
Vector flow SXZ00DXN3E
| URI | m2://inv/SXZ00DXN3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector flow, Vector flow (definition). Also Wikidata Q7917826
History
- 2026-11-02: add by m2/dev
SXZ2KH1ETJ SXZ2KH1ETJ
| URI | m2://inv/SXZ2KH1ETJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-18 (exercise). In E59CDZA4DP, exercise, section 3.2.6
History
- 2026-11-01: add by m2/v0.6.13
SXZCNBK5E7 SXZCNBK5E7
| URI | m2://inv/SXZCNBK5E7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_intro_sudoku.ptx#example-1 (example). In QKM9DD2H56, example, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
SXZE0YMZZY SXZE0YMZZY
| URI | m2://inv/SXZE0YMZZY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.12513#1ANB (definition). In VM9V8SXEA2/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
SXZEX4NB1C SXZEX4NB1C
| URI | m2://inv/SXZEX4NB1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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 2410.16036#JKSS (statement). In S1T3VFXE05/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.6
General linear model SXZP6NYFHB
| URI | m2://inv/SXZP6NYFHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General linear model, General linear model (definition). Also Wikidata Q1826488
History
- 2026-11-02: add by m2/dev
Outlier SXZQ54SWA9
| URI | m2://inv/SXZQ54SWA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#26M6, Outlier (definition)
History
- 2026-11-02: add by m2/dev
SXZW1Q5PMK SXZW1Q5PMK
| URI | m2://inv/SXZW1Q5PMK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#proof-2 (proof). In RZP28ERRZV, proof, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
Localization of the displacement SXZZB1DZ9G
| URI | m2://inv/SXZZB1DZ9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2610.12203#1HTY, Localization of the displacement (statement). In F4YTAZSCS2/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2