Inventory rows XS
The cards of the rows of the inventory whose ids start with XS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
XS054R0KJF XS054R0KJF
| URI | m2://inv/XS054R0KJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#BAWE (statement). In 6HP7BR9WZM/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Produce the formula's truth table XS05EYZRB0
| URI | m2://inv/XS05EYZRB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#CN38, Produce the formula's truth table (statement)
History
- 2026-11-02: add by m2/dev
Aitchison, John XS06CVYX1Q
| URI | m2://inv/XS06CVYX1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#NS07, Aitchison, John (topic)
History
- 2026-11-02: add by m2/dev
XS06R6B4KE XS06R6B4KE
| URI | m2://inv/XS06R6B4KE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-prop.ptx#example-6 (example). In Y91XFCEVHQ, example, section 4.1.3
History
- 2026-11-01: add by m2/v0.6.13
XS0C54TB0J XS0C54TB0J
| URI | m2://inv/XS0C54TB0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#JDRF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kepler conjecture XS0JZ9EMPN
| URI | m2://inv/XS0JZ9EMPN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kepler conjecture#TAE0, Kepler conjecture (statement)
History
- 2026-11-02: add by m2/dev
Pebble game XS0S8NWBXF
| URI | m2://inv/XS0S8NWBXF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#VOIG, Pebble game (unknown)
History
- 2026-11-02: add by m2/dev
Group law XS0TPYQDK4
| URI | m2://inv/XS0TPYQDK4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubling-oriented Doche–Icart–Kohel curve#JDYK, Group law (statement)
History
- 2026-11-02: add by m2/dev
Examples XS0XFP0XW5
| URI | m2://inv/XS0XFP0XW5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double counting (proof technique)#QBCG, Examples (example)
History
- 2026-11-02: add by m2/dev
XS0XXPVQ3A XS0XXPVQ3A
| URI | m2://inv/XS0XXPVQ3A |
|---|---|
| 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.27628#EZDM (statement)
History
- 2026-11-01: add by m2/v0.6.15
M. C. Escher XS0YP3DM80
| URI | m2://inv/XS0YP3DM80 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. C. Escher, M. C. Escher (topic). Also Wikidata Q1470
History
- 2026-11-02: add by m2/dev
XS0ZNT495D XS0ZNT495D
| URI | m2://inv/XS0ZNT495D |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36186#BUWB (problem). In 30PQN6JP7W/e1, problem 32
History
- 2026-10-27: add by m2/v0.3.5
XS0ZPKF8WE XS0ZPKF8WE
| URI | m2://inv/XS0ZPKF8WE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22514#4Z7H (statement)
History
- 2026-11-02: add by m2/v0.6.17
Unique minimum cyclic-variety generators XS111R3YGA
| URI | m2://inv/XS111R3YGA |
|---|---|
| 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#OEP9, Unique minimum cyclic-variety generators (statement). In DR7BK4CQ0V/e1, theorem 5.29
History
- 2026-10-28: add by m2/v0.4.3
XS11681VFT XS11681VFT
| URI | m2://inv/XS11681VFT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01912#5Q1L (example). In CTE1C9KYPY/e1, example 3.6
History
- 2026-10-29: add by m2/v0.4.12
binomial type XS14VW3JJP
| URI | m2://inv/XS14VW3JJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4914496, binomial type (unknown). Also MathWorld Binomial-TypeSequence
- wikipedia: Wikipedia Binomial type, Binomial type (definition). Also Wikidata Q4914496
History
- 2026-10-26: add by m2/dev
Jeff Blue XS1A47MN4B
| URI | m2://inv/XS1A47MN4B |
|---|---|
| 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#PN0Y, Jeff Blue (unknown)
History
- 2026-11-02: add by m2/dev
XS1C71W23E XS1C71W23E
| URI | m2://inv/XS1C71W23E |
|---|---|
| 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.21954#P7B4 (statement). In F2XATDBRK4/e1, lemma 13
History
- 2026-10-27: add by m2/v0.4.2
Implementations XS1ESPZZ69
| URI | m2://inv/XS1ESPZZ69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poly1305#KUMY, Implementations (definition)
History
- 2026-11-02: add by m2/dev
521 (number) XS1FXHH812
| URI | m2://inv/XS1FXHH812 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#GQ4Y, 521 (number) (unknown)
History
- 2026-11-02: add by m2/dev
XS1KGWRKP9 XS1KGWRKP9
| URI | m2://inv/XS1KGWRKP9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03746#22MX (statement). In 4E1D0NS89S/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
XS1PYSGM33 XS1PYSGM33
| URI | m2://inv/XS1PYSGM33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-1.xml#definition-2 (definition). In 649HGZKE96, definition, section 3.1.4
History
- 2026-11-01: add by m2/v0.6.13
Magnetic charges of Maxwell theory XS1REF7ZGS
| URI | m2://inv/XS1REF7ZGS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-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.03865#793D, Magnetic charges of Maxwell theory (example). In G3D1YR20BJ/e1, example 2.8
History
- 2026-10-29: add by m2/v0.4.12
XS1ZMFH2FG XS1ZMFH2FG
| URI | m2://inv/XS1ZMFH2FG |
|---|---|
| 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.14837#TZEH (statement). In J4P6HXMJCH/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Use XS27P6Q7C0
| URI | m2://inv/XS27P6Q7C0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crypto-shredding#NV2P, Use (example)
History
- 2026-11-02: add by m2/dev
Cartesian coordinate system XS2BK7W3GJ
| URI | m2://inv/XS2BK7W3GJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#GDV0, Cartesian coordinate system (definition)
History
- 2026-11-02: add by m2/dev
XS2CFZ8X4A XS2CFZ8X4A
| URI | m2://inv/XS2CFZ8X4A |
|---|---|
| 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.26600#LLMD (definition)
History
- 2026-11-01: add by m2/v0.6.15
Properties XS2DFA9K0E
| URI | m2://inv/XS2DFA9K0E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle graph#QXED, Properties (statement)
History
- 2026-11-02: add by m2/dev
XS2E2N524D XS2E2N524D
| URI | m2://inv/XS2E2N524D |
|---|---|
| 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.07299#QD3E (statement). In M70KP0BZ99/e1, proposition 4.12
History
- 2026-10-29: add by m2/v0.4.10
cubohemioctahedron XS35GPZFZX
| URI | m2://inv/XS35GPZFZX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3006726, cubohemioctahedron (object). Also MathWorld Hexahemioctacron
- wikipedia: Wikipedia Cubohemioctahedron, Cubohemioctahedron (object). Also Wikidata Q3006726
History
- 2026-10-26: add by m2/dev
Peter Eccles XS3A10ADB3
| URI | m2://inv/XS3A10ADB3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Eccles (mathematician), Peter Eccles (topic). Also Wikidata Q50783020
History
- 2026-11-02: add by m2/dev
XS3P5ZFMKE XS3P5ZFMKE
| URI | m2://inv/XS3P5ZFMKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#Z3CZ (statement). In D50WST4CG3/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
strongly connected XS3S9H0P5A
| URI | m2://inv/XS3S9H0P5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#2Z1U, strongly connected (definition)
History
- 2026-11-02: add by m2/dev
XS3ZC4FY63 XS3ZC4FY63
| URI | m2://inv/XS3ZC4FY63 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.12181#A8Z4 (definition). In FSD8NE3XSR/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
Room square XS472H02TH
| URI | m2://inv/XS472H02TH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7366296, Room square (concept). Also MathWorld RoomSquare
- wikipedia: Wikipedia Room square, Room square (definition). Also Wikidata Q7366296
History
- 2026-10-26: add by m2/dev
Bernstein inequalities (probability theory) XS479FTZ7T
| URI | m2://inv/XS479FTZ7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#U6VE, Bernstein inequalities (probability theory) (definition)
- wikipedia: Wikipedia List of statistics articles#GVFO, Bernstein inequalities (probability theory) (definition)
- wikipedia: Wikipedia List of probability topics#JFQC, Bernstein inequalities (probability theory) (definition)
- wikipedia: Wikipedia List of inequalities#QY9X, Bernstein inequalities (probability theory) (definition)
History
- 2026-11-02: add by m2/dev
XS48Y74W5A XS48Y74W5A
| URI | m2://inv/XS48Y74W5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2610.20932#NL66 (statement). In FV78KV64B9/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.2
XS4BGHMWVB XS4BGHMWVB
| URI | m2://inv/XS4BGHMWVB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:groupoid-dagger-cat (example). In N54F33XE07, eg, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Monoidal relations XS4YZ73G26
| URI | m2://inv/XS4YZ73G26 |
|---|---|
| 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 2609.27799#HK5M, Monoidal relations (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gerchberg–Saxton algorithm XS4ZRXHH3X
| URI | m2://inv/XS4ZRXHH3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#E93E, Gerchberg–Saxton algorithm (definition)
History
- 2026-11-02: add by m2/dev
Golden integer XS50XK2A14
| URI | m2://inv/XS50XK2A14 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden field#QBZ1, Golden integer (unknown)
History
- 2026-11-02: add by m2/dev
Anand Pillay XS5693G27P
| URI | m2://inv/XS5693G27P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anand Pillay, Anand Pillay (topic). Also Wikidata Q485695
History
- 2026-11-02: add by m2/dev
Entropy Hessian--gap domination XS5787PTV6
| URI | m2://inv/XS5787PTV6 |
|---|---|
| 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.32558#2K1K, Entropy Hessian--gap domination (statement). In SGQS629QNK/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
XS5J92TA2S XS5J92TA2S
| URI | m2://inv/XS5J92TA2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33531#NJ85 (statement). In HNMJEAR2ER/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
XS5KAQNESR XS5KAQNESR
| URI | m2://inv/XS5KAQNESR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2503.22636#O3WH (definition). In 2X2A6MT0QD/e1, definition 3.12
History
- 2026-10-27: add by m2/v0.3.5
Nondegenerate case XS5NJZT2AY
| URI | m2://inv/XS5NJZT2AY |
|---|---|
| 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 2609.20643#LMUE, Nondegenerate case (statement)
History
- 2026-11-02: add by m2/v0.6.18
valuation XS5RFZGQES
| URI | m2://inv/XS5RFZGQES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5S1O, valuation (definition)
History
- 2026-11-02: add by m2/dev
XS5VE24NGB XS5VE24NGB
| URI | m2://inv/XS5VE24NGB |
|---|---|
| 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.07927#0TGX (statement). In GKM19DHQTM/e1, lemma 6.34
History
- 2026-10-29: add by m2/v0.4.10
XS65SR1G9C XS65SR1G9C
| URI | m2://inv/XS65SR1G9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#EGH3 (statement). In KZ71GXT2B0/e1, corollary 4.8
History
- 2026-10-28: add by m2/v0.4.2
XS6649GHKG XS6649GHKG
| URI | m2://inv/XS6649GHKG |
|---|---|
| Kind | problem |
| 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 2609.25718#73QE (problem)
History
- 2026-11-01: add by m2/v0.6.15
Barbara Fantechi XS6A6S1S5C
| URI | m2://inv/XS6A6S1S5C |
|---|---|
| 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#KHCE, Barbara Fantechi (topic)
History
- 2026-11-02: add by m2/dev
Transcendental argument for the existence of God XS6C756754
| URI | m2://inv/XS6C756754 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcendental argument for the existence of God, Transcendental argument for the existence of God (definition). Also Wikidata Q17035059
History
- 2026-11-02: add by m2/dev
XS6CX9JFKN XS6CX9JFKN
| URI | m2://inv/XS6CX9JFKN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 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 2103.14389#PQ90 (statement). In NAMCCRM50R/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.5
Geometric limits over the Banach site XS6DBV0RJ5
| URI | m2://inv/XS6DBV0RJ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2609.28220#FY5P, Geometric limits over the Banach site (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alternating Labels Are Hard for Thresholds XS6H70AQET
| URI | m2://inv/XS6H70AQET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03769#YANS, Alternating Labels Are Hard for Thresholds (statement). In 35DNCV14M4/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.12
XS6VND09H1 XS6VND09H1
| URI | m2://inv/XS6VND09H1 |
|---|---|
| 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.32174#3PAY (statement). In GHKR740SG3/e1, lemma 19.3
History
- 2026-10-31: add by m2/v0.5.6
Arthur Harold Stone XS6WFJ17XG
| URI | m2://inv/XS6WFJ17XG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HR4W, Arthur Harold Stone (unknown)
History
- 2026-11-02: add by m2/dev
XS71SS3Y0D XS71SS3Y0D
| URI | m2://inv/XS71SS3Y0D |
|---|---|
| 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.33643#ZJ7B (statement). In G8Y8XD02EC/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Statement XS745GRH1W
| URI | m2://inv/XS745GRH1W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral theory of compact operators#WDXC, Statement (statement)
History
- 2026-11-02: add by m2/dev
Cartesian product of several sets XS76K8GJDW
| URI | m2://inv/XS76K8GJDW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian product#L855, Cartesian product of several sets (unknown)
History
- 2026-11-02: add by m2/dev
XS78AN0M3K XS78AN0M3K
| URI | m2://inv/XS78AN0M3K |
|---|---|
| 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.38975#O5T8 (definition). In D2247CRPPE/e1, definition 12
History
- 2026-10-30: add by m2/v0.4.12
XS7A00GBBJ XS7A00GBBJ
| URI | m2://inv/XS7A00GBBJ |
|---|---|
| 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.06785#HHMR (statement). In PG6AEWX25E/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Computation XS7AB49RXN
| URI | m2://inv/XS7AB49RXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aliasing (factorial experiments)#IFJB, Computation (definition)
History
- 2026-11-02: add by m2/dev
Language and axioms XS7CAW69YG
| URI | m2://inv/XS7CAW69YG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive recursive arithmetic#HOY9, Language and axioms (statement)
History
- 2026-11-02: add by m2/dev
XS7E6QQM6Y XS7E6QQM6Y
| URI | m2://inv/XS7E6QQM6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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 2409.03461#HFFU (statement). In XJVZSGCX5V/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
XS7JCBG7HY XS7JCBG7HY
| URI | m2://inv/XS7JCBG7HY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#0B23 (example). In TQ9CKHBTWN/e1, example 5.1
History
- 2026-10-29: add by m2/v0.4.12
Generalizations XS81WX0CA5
| URI | m2://inv/XS81WX0CA5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarization identity#90N2, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Richard Teng XS826ZMZH4
| URI | m2://inv/XS826ZMZH4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Teng, Richard Teng (topic). Also Wikidata Q116858313
History
- 2026-11-02: add by m2/dev
Notation XS85BKAWAA
| URI | m2://inv/XS85BKAWAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor#NG4D, Notation (definition)
History
- 2026-11-02: add by m2/dev
XS89EQXYEB XS89EQXYEB
| URI | m2://inv/XS89EQXYEB |
|---|---|
| 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 2610.06541#I4XG (statement). In R604B78EVK/e1, corollary 6.9
History
- 2026-10-29: add by m2/v0.4.10
Theorem XS8BKB8QFT
| URI | m2://inv/XS8BKB8QFT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haag–Łopuszański–Sohnius theorem#C0DC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Law of sines for the tetrahedron XS8EBSYFP6
| URI | m2://inv/XS8EBSYFP6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometry of a tetrahedron#ORMG, Law of sines for the tetrahedron (statement)
History
- 2026-11-02: add by m2/dev
XS8GXN8622 XS8GXN8622
| URI | m2://inv/XS8GXN8622 |
|---|---|
| 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.21274#KDR1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sobolev exclusion of light segments - higher dimensions XS8NFC2BSV
| URI | m2://inv/XS8NFC2BSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#6U8Q, Sobolev exclusion of light segments - higher dimensions (statement). In 9JHMTYGWFQ/e1, theorem 7.2
History
- 2026-10-27: add by m2/v0.3.6
XS8YSNSJM8 XS8YSNSJM8
| URI | m2://inv/XS8YSNSJM8 |
|---|---|
| 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#DH83 (statement)
History
- 2026-11-02: add by m2/v0.6.18
XS93VER1PK XS93VER1PK
| URI | m2://inv/XS93VER1PK |
|---|---|
| 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.17258#D50F (statement). In F4M67ZVBF2/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
XS93X1S0FA XS93X1S0FA
| URI | m2://inv/XS93X1S0FA |
|---|---|
| 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.26357#PGKT (statement)
History
- 2026-11-01: add by m2/v0.6.15
XS98X47PM6 XS98X47PM6
| URI | m2://inv/XS98X47PM6 |
|---|---|
| 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.38188#8VO6 (statement). In 7615KVXDB5/e1, lemma 2.21
History
- 2026-10-30: add by m2/v0.4.12
XS98YJX18Q XS98YJX18Q
| URI | m2://inv/XS98YJX18Q |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 60-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.16267#YY0F (conjecture). In 65GKPZ15VH/e1, conjecture 3.30
History
- 2026-10-28: add by m2/v0.4.2
Minor arcs XS9B5CSW26
| URI | m2://inv/XS9B5CSW26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#OEGS, Minor arcs (statement). In JBAQ7DTW7B/e1, lemma D.4
History
- 2026-10-27: add by m2/v0.3.5
North America XS9NPVTJR5
| URI | m2://inv/XS9NPVTJR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia North America, North America (definition). Also Wikidata Q49
History
- 2026-11-02: add by m2/dev
xiangqi XS9V7KMNHX
| URI | m2://inv/XS9V7KMNHX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q191448, xiangqi (unknown). Also MathWorld Xiangqi
History
- 2026-10-26: add by m2/dev
Quadrant count ratio XS9WQVHDDA
| URI | m2://inv/XS9WQVHDDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrant count ratio, Quadrant count ratio (definition). Also Wikidata Q7268326
History
- 2026-11-02: add by m2/dev
Applications XS9XXK3VXK
| URI | m2://inv/XS9XXK3VXK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morera's theorem#MH0P, Applications (example)
History
- 2026-11-02: add by m2/dev
One-step inequality XSA1AJ88GR
| URI | m2://inv/XSA1AJ88GR |
|---|---|
| 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.13773#SWVG, One-step inequality (statement). In E75XQY0QFM/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Generalized Bunyakovsky conjecture XSA3948XKB
| URI | m2://inv/XSA3948XKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bunyakovsky conjecture#JKII, Generalized Bunyakovsky conjecture (statement)
History
- 2026-11-02: add by m2/dev
Properties XSA7HPREPC
| URI | m2://inv/XSA7HPREPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eells–Kuiper manifold#ZE52, Properties (statement)
History
- 2026-11-02: add by m2/dev
XSAECRGKCE XSAECRGKCE
| URI | m2://inv/XSAECRGKCE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-47 (exercise). In E9HS8K3A52, exercise, section 2.4.3
History
- 2026-11-01: add by m2/v0.6.13
Examples XSAFEX87GR
| URI | m2://inv/XSAFEX87GR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite regress#YUAV, Examples (example)
History
- 2026-11-02: add by m2/dev
XSAJQVEJ46 XSAJQVEJ46
| URI | m2://inv/XSAJQVEJ46 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 2405.14678#VRJ5 (example). In 9ZSNSJRJ5N/e1, example 28
History
- 2026-10-27: add by m2/v0.4.2
XSAYRFDJXK XSAYRFDJXK
| URI | m2://inv/XSAYRFDJXK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example:diffformscircleint (example). In VNMV985MXX, example, section C
History
- 2026-11-01: add by m2/v0.6.13
XSB4283SZ8 XSB4283SZ8
| URI | m2://inv/XSB4283SZ8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-5 (example). In RZP28ERRZV, example, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
XSB956W3SE XSB956W3SE
| URI | m2://inv/XSB956W3SE |
|---|---|
| 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.38993#MLUL (statement). In AFKQK866Y1/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
XSBE35X63P XSBE35X63P
| URI | m2://inv/XSBE35X63P |
|---|---|
| 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 2404.18690#LC4L (statement). In MDCJJJRQ2X/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
XSBRM2BTG2 XSBRM2BTG2
| URI | m2://inv/XSBRM2BTG2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-17 (proof). In E59CDZA4DP, proof, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Johannes Von Gumpach XSBWT0PJKZ
| URI | m2://inv/XSBWT0PJKZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes Von Gumpach, Johannes Von Gumpach (topic). Also Wikidata Q16988157
History
- 2026-11-02: add by m2/dev
XSBZX79EJG XSBZX79EJG
| URI | m2://inv/XSBZX79EJG |
|---|---|
| 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.04317#WSJ3 (statement). In CF1X73QQ11/e1, corollary 3.5
History
- 2026-10-29: add by m2/v0.4.12
XSC07KB6FS XSC07KB6FS
| URI | m2://inv/XSC07KB6FS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#WYT2 (example). In D6XA7JXZF3/e1, example 3.15
History
- 2026-10-27: add by m2/v0.3.5
XSC085F8YW XSC085F8YW
| URI | m2://inv/XSC085F8YW |
|---|---|
| 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.39505#F9BN (statement). In WAXS6FS388/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
XSC14FS314 XSC14FS314
| URI | m2://inv/XSC14FS314 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#X6ZK (example)
History
- 2026-11-02: add by m2/v0.6.17
constructive quantum field theory XSCGCTHXBW
| URI | m2://inv/XSCGCTHXBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5164498, constructive quantum field theory (unknown). Also nLab constructive quantum field theory
- wikipedia: Wikipedia Constructive quantum field theory, Constructive quantum field theory (definition). Also Wikidata Q5164498
History
- 2026-10-26: add by m2/dev
Recursively enumerable set XSCK7WGHPR
| URI | m2://inv/XSCK7WGHPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#BU2D, Recursively enumerable set (definition)
- wikipedia: Wikipedia List of types of sets#PBR5, Recursively enumerable set (definition)
History
- 2026-11-02: add by m2/dev
crossing number XSCS1S8FRG
| URI | m2://inv/XSCS1S8FRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#437G, crossing number (definition)
History
- 2026-11-02: add by m2/dev
XSCTD8ZEFD XSCTD8ZEFD
| URI | m2://inv/XSCTD8ZEFD |
|---|---|
| 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 0807.1652#MNQM (statement). In 6RC18PTSTT/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Block criterion for mixed shear stability XSCVDFG6WG
| URI | m2://inv/XSCVDFG6WG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38871#RATR, Block criterion for mixed shear stability (statement). In X705R2Q780/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Absolute convergence XSCVEFWQ8E
| URI | m2://inv/XSCVEFWQ8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13658#9HPL, Absolute convergence (statement). In R9BC934K3E/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
XSCY9RQE47 XSCY9RQE47
| URI | m2://inv/XSCY9RQE47 |
|---|---|
| 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 2109.11684#KUBE (statement). In CHE1JCV3EK/e1, theorem C.1
History
- 2026-10-27: add by m2/v0.3.5
XSDB628QCT XSDB628QCT
| URI | m2://inv/XSDB628QCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#8UU7 (statement). In V42PPD7SWH/e1, proposition 4.13
History
- 2026-10-31: add by m2/v0.5.6
Biometrika XSDDEWB7HD
| URI | m2://inv/XSDDEWB7HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#5X5Z, Biometrika (definition)
- wikipedia: Wikipedia List of statistics journals#O7CY, Biometrika (definition)
History
- 2026-11-02: add by m2/dev
Example XSDDKKT1R4
| URI | m2://inv/XSDDKKT1R4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended Euclidean algorithm#CG9T, Example (example)
History
- 2026-11-02: add by m2/dev
Axioms and postulates XSDFHDK54Z
| URI | m2://inv/XSDFHDK54Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiomatic system#UDYO, Axioms and postulates (statement)
History
- 2026-11-02: add by m2/dev
!!^{derivability} XSDRQGZ37B
| URI | m2://inv/XSDRQGZ37B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#defn-1, !!^{derivability} (definition). In PKGMM3P5QY, defn, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
XSDS65B39X XSDS65B39X
| URI | m2://inv/XSDS65B39X |
|---|---|
| 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.27800#M7FY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Daubechies wavelet XSDV1GJPH7
| URI | m2://inv/XSDV1GJPH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daubechies wavelet, Daubechies wavelet (definition). Also Wikidata Q1172774
History
- 2026-11-02: add by m2/dev
Nine lemma XSDWNKQ2DD
| URI | m2://inv/XSDWNKQ2DD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#8AZ8, Nine lemma (statement)
- wikipedia: Wikipedia List of lemmas#CJNF, Nine lemma (statement)
History
- 2026-11-02: add by m2/dev
Bose gas XSDY329HVJ
| URI | m2://inv/XSDY329HVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bose gas, Bose gas (definition). Also Wikidata Q1143503
History
- 2026-11-02: add by m2/dev
Eli Shamir XSEH8FZA87
| URI | m2://inv/XSEH8FZA87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9Z5L, Eli Shamir (unknown)
History
- 2026-11-02: add by m2/dev
Examples XSEHXJEJCC
| URI | m2://inv/XSEHXJEJCC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pupil function#VV94, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem (Rees) XSEMT864HC
| URI | m2://inv/XSEMT864HC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Depth (ring theory)#VQX6, Theorem (Rees) (statement)
History
- 2026-11-02: add by m2/dev
Ellina Grigorieva XSEN26BAVT
| URI | m2://inv/XSEN26BAVT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellina Grigorieva, Ellina Grigorieva (topic). Also Wikidata Q58641618
History
- 2026-11-02: add by m2/dev
Puthumana Somayaji XSF3NZRN4K
| URI | m2://inv/XSF3NZRN4K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#ARXJ, Puthumana Somayaji (unknown)
History
- 2026-11-02: add by m2/dev
Covariance matrix XSF90HMG3N
| URI | m2://inv/XSF90HMG3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N2WF, Covariance matrix (definition)
History
- 2026-11-02: add by m2/dev
XSF9201C75 XSF9201C75
| URI | m2://inv/XSF9201C75 |
|---|---|
| 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 2609.26496#X84E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jacobian XSF9KM8A72
| URI | m2://inv/XSF9KM8A72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian, Jacobian (definition). Also Wikidata Q10538915
History
- 2026-11-02: add by m2/dev
complete binary tree XSFD50CPM0
| URI | m2://inv/XSFD50CPM0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29791664, complete binary tree (unknown). Also MathWorld CompleteBinaryTree
History
- 2026-10-26: add by m2/dev
Exact recursion XSFEQNR4RP
| URI | m2://inv/XSFEQNR4RP |
|---|---|
| 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.38220#MP55, Exact recursion (statement). In 1AC4S19925/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
XSFKY6Y7VX XSFKY6Y7VX
| URI | m2://inv/XSFKY6Y7VX |
|---|---|
| Kind | example |
| 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#2LS3 (example). In 46370P3Y9S/e1, example 3.4
History
- 2026-10-27: add by m2/v0.4.2
P-core XSFNHFDSN9
| URI | m2://inv/XSFNHFDSN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#UGWV, P-core (definition)
History
- 2026-11-02: add by m2/dev
Exact Rank Lifting XSFTE2V52P
| URI | m2://inv/XSFTE2V52P |
|---|---|
| Kind | problem |
| 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.39855#IMRA, Exact Rank Lifting (problem). In E1KFX0NW51/e1, problem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Polar Bear Math XSFVE7Z09Z
| URI | m2://inv/XSFVE7Z09Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Animal Math#5LMR, Polar Bear Math (unknown)
History
- 2026-11-02: add by m2/dev
XSFW3Q7D6E XSFW3Q7D6E
| URI | m2://inv/XSFW3Q7D6E |
|---|---|
| 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.26307#2ADQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition XSG4FK9QZE
| URI | m2://inv/XSG4FK9QZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Softmax function#NH6V, Definition (definition)
History
- 2026-11-02: add by m2/dev
XSG787E99P XSG787E99P
| URI | m2://inv/XSG787E99P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#X3PW (statement). In B9EX6K51RD/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.2
XSG9KRN0JK XSG9KRN0JK
| URI | m2://inv/XSG9KRN0JK |
|---|---|
| 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 2504.04729#FI0Y (statement). In DCDJ82120R/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
Examples XSGD257GR6
| URI | m2://inv/XSGD257GR6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone algebra#8Z0P, Examples (example)
History
- 2026-11-02: add by m2/dev
XSGF0KVEWB XSGF0KVEWB
| URI | m2://inv/XSGF0KVEWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#SBQ2 (statement). In XTGB5Z08YH/e1, corollary 3.17
History
- 2026-10-27: add by m2/v0.4.0
XSGKKGW37Q XSGKKGW37Q
| URI | m2://inv/XSGKKGW37Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#QHV9 (definition). In Q5Z178SAHP/e1, definition 5.4
History
- 2026-10-30: add by m2/v0.4.12
XSGWCFDAX9 XSGWCFDAX9
| URI | m2://inv/XSGWCFDAX9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 101.6
History
- 2026-11-01: add by m2/v0.6.13
XSGXE2NXJ3 XSGXE2NXJ3
| URI | m2://inv/XSGXE2NXJ3 |
|---|---|
| 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#R9UU (statement). In 59BZ4V9RQW/e1, corollary 2.7
History
- 2026-10-28: add by m2/v0.4.2
Unimodality XSGZSARBFN
| URI | m2://inv/XSGZSARBFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q9VV, Unimodality (definition)
History
- 2026-11-02: add by m2/dev
Notation XSH0TC3VZ8
| URI | m2://inv/XSH0TC3VZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division (mathematics)#P17H, Notation (definition)
History
- 2026-11-02: add by m2/dev
Finite integration technique XSH212ASCY
| URI | m2://inv/XSH212ASCY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational electromagnetics#G79D, Finite integration technique (unknown)
History
- 2026-11-02: add by m2/dev
linear transformation XSHFVPEEWA
| URI | m2://inv/XSHFVPEEWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#UAEM, linear transformation (definition)
History
- 2026-11-02: add by m2/dev
XSHY3X2RBP XSHY3X2RBP
| URI | m2://inv/XSHY3X2RBP |
|---|---|
| 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.16225#V0E5 (statement). In H3DJV9YQW1/e1, proposition 2.13
History
- 2026-10-28: add by m2/v0.4.2
Gysin sequence XSHYF235QH
| URI | m2://inv/XSHYF235QH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#H071, Gysin sequence (definition)
History
- 2026-11-02: add by m2/dev
XSJ1HRA4ZM XSJ1HRA4ZM
| URI | m2://inv/XSJ1HRA4ZM |
|---|---|
| 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.03337#ET7V (statement). In VH7EZDGTNA/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Dirac's theorem on chordal graphs XSJ928FWT3
| URI | m2://inv/XSJ928FWT3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chordal graph#IFAA, Dirac's theorem on chordal graphs (unknown)
History
- 2026-11-02: add by m2/dev
Example: An EGF formula for the higher-order derivatives of the geometric series XSJ9MP491C
| URI | m2://inv/XSJ9MP491C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function transformation#S8VV, Example: An EGF formula for the higher-order derivatives of the geometric series (example)
History
- 2026-11-02: add by m2/dev
XSJDRSW41H XSJDRSW41H
| URI | m2://inv/XSJDRSW41H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05486#59V8 (definition). In 5Z46AK2XTC/e1, definition C.1
History
- 2026-10-29: add by m2/v0.4.10
XSJHMJR6Y7 XSJHMJR6Y7
| URI | m2://inv/XSJHMJR6Y7 |
|---|---|
| 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#B07I (statement). In AQWX60Z563/e1, corollary A.7
History
- 2026-10-28: add by m2/v0.4.2
Tudor Ratiu XSK0DCNH4V
| URI | m2://inv/XSK0DCNH4V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tudor Ratiu, Tudor Ratiu (topic). Also Wikidata Q14915850
History
- 2026-11-02: add by m2/dev
Tetradic number XSKMM5F68F
| URI | m2://inv/XSKMM5F68F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60750752, Tetradic number (unknown). Also MathWorld TetradicNumber
- wikipedia: Wikipedia Tetradic number, Tetradic number (definition). Also Wikidata Q60750752
History
- 2026-10-26: add by m2/dev
membership XSKNMJ42FD
| URI | m2://inv/XSKNMJ42FD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#9VK8, membership (definition)
History
- 2026-11-02: add by m2/dev
XSKQ8YNFH3 XSKQ8YNFH3
| URI | m2://inv/XSKQ8YNFH3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#Z2KI (example). In 78X5SKJX8J/e1, example 7.2
History
- 2026-10-27: add by m2/v0.3.5
Seiffert's spiral XSM024DXJZ
| URI | m2://inv/XSM024DXJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#VM35, Seiffert's spiral (definition)
- wikipedia: Wikipedia List of curves#IH1Y, Seiffert's spiral (definition)
History
- 2026-11-02: add by m2/dev
Theorem XSM2VY32PQ
| URI | m2://inv/XSM2VY32PQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surjection of Fréchet spaces#ORPE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem XSM8TB0EK6
| URI | m2://inv/XSM8TB0EK6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz representation theorem#AOV0, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Wilf's conjecture XSMAN0NCR6
| URI | m2://inv/XSMAN0NCR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coin problem#ZSTU, Wilf's conjecture (statement)
History
- 2026-11-02: add by m2/dev
XSMFJZR6S6 XSMFJZR6S6
| URI | m2://inv/XSMFJZR6S6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33541#LNQ4 (statement). In N3P196CEAJ/e1, proposition 3.10
History
- 2026-10-30: add by m2/v0.4.12
XSMK3GBY4Y XSMK3GBY4Y
| URI | m2://inv/XSMK3GBY4Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.06310#KBD6 (definition). In 9YR0E0T9XA/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.3.5
XSMRMDJWKD XSMRMDJWKD
| URI | m2://inv/XSMRMDJWKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#7VD5 (statement). In 8H0KHK7AMN/e1, proposition 4.16
History
- 2026-10-30: add by m2/v0.4.12
XSMSERB0PK XSMSERB0PK
| URI | m2://inv/XSMSERB0PK |
|---|---|
| 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.18219#YN4R (statement). In X1AGBB90EH/e1, lemma 7.13
History
- 2026-10-28: add by m2/v0.4.2
Hasse–Minkowski theorem XSMZYEFJZA
| URI | m2://inv/XSMZYEFJZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Hasse–Minkowski theorem R8HCWA981S |
Mentions
- mathlib_1000: mathlib_1000 Q1938251, Hasse–Minkowski theorem (statement). Also Wikidata Q1938251
- thousand_plus: thousand_plus Q1938251, Hasse–Minkowski theorem (statement). Also Wikidata Q1938251, Wikipedia Hasse–Minkowski theorem
- wikidata: Wikidata Q1938251, Hasse–Minkowski theorem (statement). Also MathWorld Hasse-MinkowskiTheorem
- wikipedia: Wikipedia Hasse–Minkowski theorem, Hasse–Minkowski theorem (statement). Also Wikidata Q1938251
History
- 2026-10-26: add by m2/dev
Q-exponential distribution XSN0EHSXH1
| URI | m2://inv/XSN0EHSXH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HOC9, Q-exponential distribution (definition)
- wikipedia: Wikipedia List of q-analogs#M2D7, q-exponential distribution (definition)
History
- 2026-11-02: add by m2/dev
Definitions XSN64566V5
| URI | m2://inv/XSN64566V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monte Carlo method#04JG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Examples XSN76XCJ8Q
| URI | m2://inv/XSN76XCJ8Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of a subgroup#IOOT, Examples (example)
History
- 2026-11-02: add by m2/dev
Local eigenvalue asymptotics near \(K\ XSNAJH90K8
| URI | m2://inv/XSNAJH90K8 |
|---|---|
| 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#8II8, Local eigenvalue asymptotics near \(K\ (statement). In Y28XB7TPPZ/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
XSND05QA2J XSND05QA2J
| URI | m2://inv/XSND05QA2J |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13931#0XTS (conjecture). In EXA79VR78Q/e1, conjecture 2.16
History
- 2026-10-28: add by m2/v0.4.2
XSP04M19ZS XSP04M19ZS
| URI | m2://inv/XSP04M19ZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.03619#0XZ5 (statement). In 7SRERSS1PF/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
!!^{derivability} XSP0V3V9RM
| URI | m2://inv/XSP0V3V9RM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/rules-and-proofs.tex#defn-3, !!^{derivability} (definition). In PKGMM3P5QY, defn, section 8.13
History
- 2026-11-01: add by m2/v0.6.13
Lagrange's theorem XSP94DG29C
| URI | m2://inv/XSP94DG29C |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6403282, Lagrange's theorem (number theory) (statement). Also Wikidata Q6403282
- thousand_plus: thousand_plus Q6403282, Lagrange's theorem (statement). Also Wikidata Q6403282, Wikipedia Lagrange's theorem (number theory)
- wikipedia: Wikipedia Lagrange's theorem (number theory), Lagrange's theorem (statement). Also Wikidata Q6403282
History
- 2026-10-26: add by m2/dev
Generalizations XSPAA8TM0G
| URI | m2://inv/XSPAA8TM0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind-infinite set#X8MI, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Properties XSPBAKZNB3
| URI | m2://inv/XSPBAKZNB3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vitali set#TSCU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Local Well-Posedness in the RJ perturbative regime XSPG0QFQH0
| URI | m2://inv/XSPG0QFQH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.19483#MZER, Local Well-Posedness in the RJ perturbative regime (statement). In M2PEDAF7AX/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Closed timelike curve XSPQCY21N2
| URI | m2://inv/XSPQCY21N2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#M11E, Closed timelike curve (definition)
- wikipedia: Wikipedia List of mathematical topics in relativity#E9JH, Closed timelike curve (definition)
History
- 2026-11-02: add by m2/dev
XSQ9GQVGZP XSQ9GQVGZP
| URI | m2://inv/XSQ9GQVGZP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-22 (proof). In N54F33XE07, proof, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
XSQF57JQ1Z XSQF57JQ1Z
| URI | m2://inv/XSQF57JQ1Z |
|---|---|
| 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 2405.09294#RBT0 (statement). In 2WZQC0TKVK/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
XSQG9C4XJ5 XSQG9C4XJ5
| URI | m2://inv/XSQG9C4XJ5 |
|---|---|
| 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.17408#JZ9E (statement). In QR8H4M1X4N/e1, proposition 8.2
History
- 2026-10-28: add by m2/v0.4.2
Splitter XSQJRFTQQG
| URI | m2://inv/XSQJRFTQQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7578732, Splitter (unknown). Also MathWorld Splitter
- wikipedia: Wikipedia Splitter (geometry), Splitter (definition). Also Wikidata Q7578732
History
- 2026-10-26: add by m2/dev
XSQVG3D1MT XSQVG3D1MT
| URI | m2://inv/XSQVG3D1MT |
|---|---|
| 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.38138#YIRL (statement). In G97FA99ZEF/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
XSQXVE8XXK XSQXVE8XXK
| URI | m2://inv/XSQXVE8XXK |
|---|---|
| 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.00339#QPM8 (statement). In ZRG6NY1ECH/e1, theorem 10
History
- 2026-10-30: add by m2/v0.4.12
Anomaly detection XSRBVJ8JRM
| URI | m2://inv/XSRBVJ8JRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3G0Z, Anomaly detection (definition)
History
- 2026-11-02: add by m2/dev
Mellin Transform of a Function XSRHB6P8FV
| URI | m2://inv/XSRHB6P8FV |
|---|---|
| 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 2609.22759#V1UD, Mellin Transform of a Function (definition)
History
- 2026-11-02: add by m2/v0.6.17
Frank J. Tipler XSRQDXV3GJ
| URI | m2://inv/XSRQDXV3GJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#DENA, Frank J. Tipler (unknown)
History
- 2026-11-02: add by m2/dev
Theorem XSS4VZTNGM
| URI | m2://inv/XSS4VZTNGM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Priestley space#XN08, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Piece-wise polynomial approximation of Gaussians XSSR4ERYA8
| URI | m2://inv/XSSR4ERYA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21033#DVV0, Piece-wise polynomial approximation of Gaussians (statement). In A8C1M9BSWH/e1, lemma F.5
History
- 2026-10-27: add by m2/v0.4.2
Statement of the conjecture XSSTTTEWV1
| URI | m2://inv/XSSTTTEWV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bass conjecture#AHZ6, Statement of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
XSSXN5NM1B XSSXN5NM1B
| URI | m2://inv/XSSXN5NM1B |
|---|---|
| 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.25084#GB5I (statement)
History
- 2026-11-01: add by m2/v0.6.15
XST02BKWXA XST02BKWXA
| URI | m2://inv/XST02BKWXA |
|---|---|
| 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.20008#51QT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Accelerated failure time model XST062TPGX
| URI | m2://inv/XST062TPGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#S7IJ, Accelerated failure time model (definition)
History
- 2026-11-02: add by m2/dev
Integer-root term XST217NR17
| URI | m2://inv/XST217NR17 |
|---|---|
| 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.13365#SAJQ, Integer-root term (statement). In YMBTSX10FF/e1, theorem A.2
History
- 2026-10-28: add by m2/v0.4.2
First passage percolation XST2G85KRY
| URI | m2://inv/XST2G85KRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First passage percolation, First passage percolation (definition). Also Wikidata Q3375164
History
- 2026-11-02: add by m2/dev
XST4132QFN XST4132QFN
| URI | m2://inv/XST4132QFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#00LG (statement). In F5STMSPR6X/e1, theorem 2.9
History
- 2026-10-29: add by m2/v0.4.12
Example XSTSGZK178
| URI | m2://inv/XSTSGZK178 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene's algorithm#LDH9, Example (example)
History
- 2026-11-02: add by m2/dev
Little's law XSV46N2M6C
| URI | m2://inv/XSV46N2M6C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NDWT, Little's law (statement)
History
- 2026-11-02: add by m2/dev
Bruce Kleiner XSV891B0Z5
| URI | m2://inv/XSV891B0Z5 |
|---|---|
| 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#N9UE, Bruce Kleiner (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QJZF, Bruce Kleiner (topic)
History
- 2026-11-02: add by m2/dev
factorial XSVD16QA23
| URI | m2://inv/XSVD16QA23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#6IZL, factorial (definition)
History
- 2026-11-02: add by m2/dev
XSVDCKS5Z6 XSVDCKS5Z6
| URI | m2://inv/XSVDCKS5Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.38742#8TS3 (statement). In TSXBJB0EXK/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
Properties XSVH6RD006
| URI | m2://inv/XSVH6RD006 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphenomegacorona#IGPQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Robert Blumenthal XSVH7NB1ZB
| URI | m2://inv/XSVH7NB1ZB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#CXO1, Robert Blumenthal (topic)
History
- 2026-11-02: add by m2/dev
Seymour Geisser XSVJJT1997
| URI | m2://inv/XSVJJT1997 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#V9TJ, Seymour Geisser (unknown)
History
- 2026-11-02: add by m2/dev
XSW1BQWFD3 XSW1BQWFD3
| URI | m2://inv/XSW1BQWFD3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#LXRR (definition). In M98F6VRPZ2/e1, definition 1.6
History
- 2026-10-30: add by m2/v0.4.12
pushout XSW1EVQCGZ
| URI | m2://inv/XSW1EVQCGZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.8/pushout, pushout (concept). In N54F33XE07, index, section 5.8
History
- 2026-11-01: add by m2/v0.6.13
Hasse invariant of an algebra XSW1Z0AKAR
| URI | m2://inv/XSW1Z0AKAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse invariant of an algebra, Hasse invariant of an algebra (definition). Also Wikidata Q17097965
History
- 2026-11-02: add by m2/dev
XSW2YDRD25 XSW2YDRD25
| URI | m2://inv/XSW2YDRD25 |
|---|---|
| Kind | statement |
| 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 2610.08655#8D0G (statement). In ZT7H1ZDN96/e1, proposition 9.4
History
- 2026-10-29: add by m2/v0.4.10
Bahadur, Raghu Raj XSWASJS2SW
| URI | m2://inv/XSWASJS2SW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#KNV8, Bahadur, Raghu Raj (unknown)
History
- 2026-11-02: add by m2/dev
AEL-robust relative subspace design XSWVYG554M
| URI | m2://inv/XSWVYG554M |
|---|---|
| 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.40252#TXRT, AEL-robust relative subspace design (definition). In 7MVPNFPRKB/e1, definition 11.3
History
- 2026-10-30: add by m2/v0.4.12
Basic properties XSWXC9RV9Q
| URI | m2://inv/XSWXC9RV9Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tautness (topology)#D1TV, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Poisson's equation XSWYEAN27M
| URI | m2://inv/XSWYEAN27M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#V0PB, Poisson's equation (definition)
History
- 2026-11-02: add by m2/dev
XSX3MZMBCT XSX3MZMBCT
| URI | m2://inv/XSX3MZMBCT |
|---|---|
| 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 2609.21191#GFN6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jean-Pierre Kahane XSXDJC775M
| URI | m2://inv/XSXDJC775M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1KN5, Jean-Pierre Kahane (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HH7I, Jean-Pierre Kahane (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JQKW, Jean-Pierre Kahane (topic)
History
- 2026-11-02: add by m2/dev
Joanne Wendelberger XSXNBYJ5W5
| URI | m2://inv/XSXNBYJ5W5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#80RM, Joanne Wendelberger (topic)
History
- 2026-11-02: add by m2/dev
harmonograph XSXT90HH49
| URI | m2://inv/XSXT90HH49 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q240559, harmonograph (unknown). Also MathWorld Harmonograph
History
- 2026-10-26: add by m2/dev
Identity and indiscernibility XSXVPHF4S3
| URI | m2://inv/XSXVPHF4S3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity of indiscernibles#YZIR, Identity and indiscernibility (statement)
History
- 2026-11-02: add by m2/dev
XSY58BB36A XSY58BB36A
| URI | m2://inv/XSY58BB36A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/complement-ce.tex#cor:comp-k (statement). In PKGMM3P5QY, cor, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Raymond Flood XSY5FFCG93
| URI | m2://inv/XSY5FFCG93 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raymond Flood (mathematician), Raymond Flood (topic). Also Wikidata Q18921729
History
- 2026-11-02: add by m2/dev
XSY9PQ7VW0 XSY9PQ7VW0
| URI | m2://inv/XSY9PQ7VW0 |
|---|---|
| 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.31910#S1QX (statement). In E4EK1XXPY4/e1, proposition 5.8
History
- 2026-10-31: add by m2/v0.5.6
Localization formula for equivariant cohomology XSYBB3FY71
| URI | m2://inv/XSYBB3FY71 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Localization formula for equivariant cohomology, Localization formula for equivariant cohomology (statement). Also Wikidata Q19597765
History
- 2026-11-02: add by m2/dev
XSYBZZ67AZ XSYBZZ67AZ
| URI | m2://inv/XSYBZZ67AZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#7MFN (statement). In H52QQS8WZA/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Frobenius solution to the hypergeometric equation XSYJ5CMEZH
| URI | m2://inv/XSYJ5CMEZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius solution to the hypergeometric equation, Frobenius solution to the hypergeometric equation (definition). Also Wikidata Q1640931
History
- 2026-11-02: add by m2/dev
XSYKTTXRPD XSYKTTXRPD
| URI | m2://inv/XSYKTTXRPD |
|---|---|
| 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 2506.09840#UHPD (statement). In Y7TWHSF2HC/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.3.5
XSYPRP42BJ XSYPRP42BJ
| URI | m2://inv/XSYPRP42BJ |
|---|---|
| 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 2011.07352#4JKE (statement). In 3VPC1GGZ3E/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
XSYQ26F31B XSYQ26F31B
| URI | m2://inv/XSYQ26F31B |
|---|---|
| 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 2510.12502#KPOB (statement). In 3A4K47Y9F2/e1, theorem 3.29
History
- 2026-10-27: add by m2/v0.4.0
Disintegration XSYWVBGMZX
| URI | m2://inv/XSYWVBGMZX |
|---|---|
| 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.17129#DQUE, Disintegration (statement). In TCZWAMNYCV/e1, theorem 2.10
History
- 2026-10-28: add by m2/v0.4.2
Anna Wienhard XSYZHXW5N7
| URI | m2://inv/XSYZHXW5N7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Wienhard, Anna Wienhard (topic). Also Wikidata Q19538798
History
- 2026-11-02: add by m2/dev
Chrysoula Tsogka XSZ5H7SJR8
| URI | m2://inv/XSZ5H7SJR8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chrysoula Tsogka, Chrysoula Tsogka (topic). Also Wikidata Q21257425
History
- 2026-11-02: add by m2/dev
Morphological analysis XSZ987515R
| URI | m2://inv/XSZ987515R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphological analysis (problem-solving), Morphological analysis (definition). Also Wikidata Q1898737
History
- 2026-11-02: add by m2/dev
Volovikov XSZB5RZP0B
| URI | m2://inv/XSZB5RZP0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2503.19729#8DWC, Volovikov (statement). In 40YZ43TS8K/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
Theorem XSZGPCVD7J
| URI | m2://inv/XSZGPCVD7J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual abelian variety#0IAH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
XSZJ0ZGMVG XSZJ0ZGMVG
| URI | m2://inv/XSZJ0ZGMVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02893#XYBC (statement). In DQ9TAGM5XP/e1, proposition P3
History
- 2026-10-29: add by m2/v0.4.12
XSZJ2DM0F3 XSZJ2DM0F3
| URI | m2://inv/XSZJ2DM0F3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#MNMR (definition). In F8RC6AENB0/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
First-order rank convergence does not determine the error exponent XSZKQK2729
| URI | m2://inv/XSZKQK2729 |
|---|---|
| Kind | example |
| 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.29688#FD00, First-order rank convergence does not determine the error exponent (example)
History
- 2026-11-01: add by m2/v0.6.15
XSZNK8DSYS XSZNK8DSYS
| URI | m2://inv/XSZNK8DSYS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-conc.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Powerset XSZY9HDWR5
| URI | m2://inv/XSZY9HDWR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#W8PW, Powerset (definition)
History
- 2026-11-02: add by m2/dev