Inventory rows ZQ
The cards of the rows of the inventory whose ids start with ZQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
augmented amicable pair ZQ02PZ8QXT
| URI | m2://inv/ZQ02PZ8QXT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11497847, augmented amicable pair (unknown). Also MathWorld AugmentedAmicablePair
History
- 2026-10-26: add by m2/dev
Intrinsic regularized presymplectic BV--BFV identity ZQ0A5TE5S8
| URI | m2://inv/ZQ0A5TE5S8 |
|---|---|
| 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#39LG, Intrinsic regularized presymplectic BV--BFV identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of matrices ZQ0A952FHK
| URI | m2://inv/ZQ0A952FHK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#U57C, List of matrices (topic)
- wikipedia: Wikipedia List of mathematical examples#3VEP, List of matrices (topic)
- wikipedia: Wikipedia Lists of mathematics topics#0JHR, List of matrices (topic)
History
- 2026-11-02: add by m2/dev
ZQ0T10MT0B ZQ0T10MT0B
| URI | m2://inv/ZQ0T10MT0B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2303.09207#AM4J (definition). In 9DQKY7KGE8/e1, definition B.15
History
- 2026-10-31: add by m2/v0.5.6
General definition ZQ13RX0B36
| URI | m2://inv/ZQ13RX0B36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean dimension#SFES, General definition (definition)
History
- 2026-11-02: add by m2/dev
Factorization ZQ18ESWCPS
| URI | m2://inv/ZQ18ESWCPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#H00E, Factorization (definition)
History
- 2026-11-02: add by m2/dev
ZQ1G3TZDVN ZQ1G3TZDVN
| URI | m2://inv/ZQ1G3TZDVN |
|---|---|
| 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.19861#G9BH (statement). In 5ZPQ60TM6J/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
IMSI-catcher ZQ1HRY8QX6
| URI | m2://inv/ZQ1HRY8QX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#WVKW, IMSI-catcher (definition)
History
- 2026-11-02: add by m2/dev
Geomagnetic secular variation ZQ1J5YJ0YC
| URI | m2://inv/ZQ1J5YJ0YC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geomagnetic secular variation, Geomagnetic secular variation (definition). Also Wikidata Q5535443
History
- 2026-11-02: add by m2/dev
ZQ1JRRB7XN ZQ1JRRB7XN
| URI | m2://inv/ZQ1JRRB7XN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#4KNX (definition). In X88HPQ0W8C/e1, definition 2.41
History
- 2026-10-27: add by m2/v0.3.5
ZQ1NYEFTGF ZQ1NYEFTGF
| URI | m2://inv/ZQ1NYEFTGF |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05459#T7AJ (problem). In VYW16D089Y/e1, problem 5.13
History
- 2026-10-29: add by m2/v0.4.10
Applications ZQ1Q4QE482
| URI | m2://inv/ZQ1Q4QE482 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor#OGE6, Applications (example)
History
- 2026-11-02: add by m2/dev
Application ZQ202FPW0A
| URI | m2://inv/ZQ202FPW0A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piezoelectricity#4RDI, Application (example)
History
- 2026-11-02: add by m2/dev
ZQ20B8CBH2 ZQ20B8CBH2
| URI | m2://inv/ZQ20B8CBH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#322V (statement). In H71AJ341B3/e1, corollary 4.9
History
- 2026-10-31: add by m2/v0.5.6
Caloric polynomial ZQ24BXAV1Y
| URI | m2://inv/ZQ24BXAV1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#7XKQ, Caloric polynomial (definition)
History
- 2026-11-02: add by m2/dev
ZQ29XZN6R1 ZQ29XZN6R1
| URI | m2://inv/ZQ29XZN6R1 |
|---|---|
| Kind | statement |
| 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 2610.17135#OMYX (statement). In XX1J2REXY2/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
ZQ2V62BE89 ZQ2V62BE89
| URI | m2://inv/ZQ2V62BE89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2202.10920#TB5V (statement). In 6TTFGK6ZV0/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Bruce Morton ZQ31VVYPGX
| URI | m2://inv/ZQ31VVYPGX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bruce Morton (mathematician), Bruce Morton (topic). Also Wikidata Q102246404
History
- 2026-11-02: add by m2/dev
ZQ33FBN5NX ZQ33FBN5NX
| URI | m2://inv/ZQ33FBN5NX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#4GLZ (definition). In 9H45HQE7AZ/e1, definition 3.32
History
- 2026-10-27: add by m2/v0.3.5
ZQ34465RFJ ZQ34465RFJ
| URI | m2://inv/ZQ34465RFJ |
|---|---|
| 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 2610.16178#U47G (statement). In 698X5RE1AB/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
HAMLS with good data ZQ357X5GNF
| URI | m2://inv/ZQ357X5GNF |
|---|---|
| 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.39200#SUKJ, HAMLS with good data (statement). In 974856VX59/e1, theorem 2.7
History
- 2026-10-30: add by m2/v0.4.12
James McKernan ZQ36HX08HK
| URI | m2://inv/ZQ36HX08HK |
|---|---|
| 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#SP1P, James McKernan (topic)
History
- 2026-11-02: add by m2/dev
ZQ38BY1SJ8 ZQ38BY1SJ8
| URI | m2://inv/ZQ38BY1SJ8 |
|---|---|
| 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.25301#3RO7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZQ3F0C4RAN ZQ3F0C4RAN
| URI | m2://inv/ZQ3F0C4RAN |
|---|---|
| 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.09596#PGUE (statement). In HXFA55BREZ/e1, lemma B.4
History
- 2026-10-29: add by m2/v0.4.10
Sherman–Morrison formula ZQ3K8B01CX
| URI | m2://inv/ZQ3K8B01CX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2278354, Sherman–Morrison formula (unknown). Also MathWorld Sherman-MorrisonFormula
- wikipedia: Wikipedia Sherman–Morrison formula, Sherman–Morrison formula (statement). Also Wikidata Q2278354
History
- 2026-10-26: add by m2/dev
ZQ3ZAY33XF ZQ3ZAY33XF
| URI | m2://inv/ZQ3ZAY33XF |
|---|---|
| Kind | definition |
| 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 2012.05048#7AFX (definition). In NY9HW1E6DY/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
ZQ41CV7JN3 ZQ41CV7JN3
| URI | m2://inv/ZQ41CV7JN3 |
|---|---|
| Kind | example |
| 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.12691#NQCR (example). In YVQKT91MYN/e1, example 3
History
- 2026-10-28: add by m2/v0.4.2
Brahmagupta ZQ4H9Y4ERT
| URI | m2://inv/ZQ4H9Y4ERT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#M752, Brahmagupta (topic)
History
- 2026-11-02: add by m2/dev
ZQ4R360E64 ZQ4R360E64
| URI | m2://inv/ZQ4R360E64 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_augmenting.ptx#prop_networkflow_update (statement). In QKM9DD2H56, proposition, section 13.3
History
- 2026-11-01: add by m2/v0.6.13
ZQ4SRZEV8J ZQ4SRZEV8J
| URI | m2://inv/ZQ4SRZEV8J |
|---|---|
| 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 2605.14425#DMDZ (statement). In 33KV0D25HW/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
ZQ51GP03AH ZQ51GP03AH
| URI | m2://inv/ZQ51GP03AH |
|---|---|
| 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.29605#5XC7 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Monotone class theorem ZQ55J2E5KC
| URI | m2://inv/ZQ55J2E5KC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LIFJ, Monotone class theorem (statement)
History
- 2026-11-02: add by m2/dev
Incomplete elliptic integral of the second kind ZQ5BAZGXQN
| URI | m2://inv/ZQ5BAZGXQN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic integral#8QJF, Incomplete elliptic integral of the second kind (unknown)
History
- 2026-11-02: add by m2/dev
Fast multipole method ZQ5BE963KT
| URI | m2://inv/ZQ5BE963KT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast multipole method, Fast multipole method (definition). Also Wikidata Q5437040
History
- 2026-11-02: add by m2/dev
Stolz–Cesàro theorem ZQ5GT35A8M
| URI | m2://inv/ZQ5GT35A8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#AG4F, Stolz–Cesàro theorem (statement)
History
- 2026-11-02: add by m2/dev
ZQ5JF1YYFP ZQ5JF1YYFP
| URI | m2://inv/ZQ5JF1YYFP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-4 (proof). In N54F33XE07, proof, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
ZQ5N7MW5QW ZQ5N7MW5QW
| URI | m2://inv/ZQ5N7MW5QW |
|---|---|
| Kind | statement |
| 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.28780#AVY7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Double rounding ZQ5SZE500G
| URI | m2://inv/ZQ5SZE500G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rounding#PNY5, Double rounding (unknown)
History
- 2026-11-02: add by m2/dev
OMEMO ZQ5VMCSFN3
| URI | m2://inv/ZQ5VMCSFN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OMEMO, OMEMO (definition). Also Wikidata Q22907457
History
- 2026-11-02: add by m2/dev
Volterra operator ZQ5X1CPZ6X
| URI | m2://inv/ZQ5X1CPZ6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volterra operator, Volterra operator (definition). Also Wikidata Q5313336
History
- 2026-11-02: add by m2/dev
ZQ62R4KR40 ZQ62R4KR40
| URI | m2://inv/ZQ62R4KR40 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#MCU2 (unknown). In R2XC1SC9NZ/e1, unknown 28
History
- 2026-10-27: add by m2/v0.3.5
E-proposition ZQ63TBQ3ED
| URI | m2://inv/ZQ63TBQ3ED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GMTP, E-proposition (definition)
History
- 2026-11-02: add by m2/dev
Examples ZQ655Y2QGN
| URI | m2://inv/ZQ655Y2QGN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quater-imaginary base#5TX0, Examples (example)
History
- 2026-11-02: add by m2/dev
Künneth theorem ZQ6A2649KJ
| URI | m2://inv/ZQ6A2649KJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5MO9, Künneth theorem (statement)
History
- 2026-11-02: add by m2/dev
ZQ6A6S53Y5 ZQ6A6S53Y5
| URI | m2://inv/ZQ6A6S53Y5 |
|---|---|
| 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 2610.12857#64L7 (statement). In XJWQ6Y83F8/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
ZQ6B4BV7JX ZQ6B4BV7JX
| URI | m2://inv/ZQ6B4BV7JX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23464#Z6GN (statement)
History
- 2026-11-02: add by m2/v0.6.17
McDiarmid's inequality ZQ6BCC9BSZ
| URI | m2://inv/ZQ6BCC9BSZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MUUC, McDiarmid's inequality (statement)
- wikipedia: Wikipedia List of inequalities#54PJ, McDiarmid's inequality (statement)
History
- 2026-11-02: add by m2/dev
ZQ6EJYNS6X ZQ6EJYNS6X
| URI | m2://inv/ZQ6EJYNS6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03373#YAV9 (statement). In ZA7DBT3NWR/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.12
ZQ6KCQN908 ZQ6KCQN908
| URI | m2://inv/ZQ6KCQN908 |
|---|---|
| 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.13076#L84Y (statement). In K7GJA4WGV7/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
ZQ6NK526JE ZQ6NK526JE
| URI | m2://inv/ZQ6NK526JE |
|---|---|
| Kind | statement |
| 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 2610.05602#419G (statement). In W88890HB4Z/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.10
Marianna Pensky ZQ6PN3JP7H
| URI | m2://inv/ZQ6PN3JP7H |
|---|---|
| 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#OXE3, Marianna Pensky (topic)
History
- 2026-11-02: add by m2/dev
ZQ6RA0J8F7 ZQ6RA0J8F7
| URI | m2://inv/ZQ6RA0J8F7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/construction-of-model.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 11.1
History
- 2026-11-01: add by m2/v0.6.13
Ultradistribution ZQ6RDSWQE7
| URI | m2://inv/ZQ6RDSWQE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultradistribution, Ultradistribution (definition). Also Wikidata Q131725517
History
- 2026-11-02: add by m2/dev
Definition ZQ6SP74PJE
| URI | m2://inv/ZQ6SP74PJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring of modular forms#4DQ2, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZQ77R1YF95 ZQ77R1YF95
| URI | m2://inv/ZQ77R1YF95 |
|---|---|
| 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.11056#ZLJI (statement). In 1NDB3SAG7K/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
ZQ7CAX7SB2 ZQ7CAX7SB2
| URI | m2://inv/ZQ7CAX7SB2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#ex:funext-from-nondep (exercise). In N54F33XE07, ex, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
Hemisphere model ZQ7EXDA5BQ
| URI | m2://inv/ZQ7EXDA5BQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic geometry#WLPE, Hemisphere model (unknown)
History
- 2026-11-02: add by m2/dev
ZQ7FWZ6G97 ZQ7FWZ6G97
| URI | m2://inv/ZQ7FWZ6G97 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#QS4A (definition). In M0SQY5EZN5/e1, definition 2.7.3
History
- 2026-10-27: add by m2/v0.3.5
ZQ7G1EPH5M ZQ7G1EPH5M
| URI | m2://inv/ZQ7G1EPH5M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-2 (example). In E9HS8K3A52, example, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
ZQ7GX0AEK8 ZQ7GX0AEK8
| URI | m2://inv/ZQ7GX0AEK8 |
|---|---|
| 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.40260#3WZB (statement). In 524FZAC6NB/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
Learning analytics ZQ7JZ73EFJ
| URI | m2://inv/ZQ7JZ73EFJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Learning analytics, Learning analytics (topic). Also Wikidata Q2845208
History
- 2026-11-02: add by m2/dev
ZQ7TM8PZCD ZQ7TM8PZCD
| URI | m2://inv/ZQ7TM8PZCD |
|---|---|
| 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 2211.13105#WQ3R (statement). In 5ACPY6CEDV/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Algebraically compact module ZQ80XASM2A
| URI | m2://inv/ZQ80XASM2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#UXC0, Algebraically compact module (definition)
History
- 2026-11-02: add by m2/dev
ZQ82BQ3DKH ZQ82BQ3DKH
| URI | m2://inv/ZQ82BQ3DKH |
|---|---|
| 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.32078#VU4X (statement). In 5PN85N6EJF/e1, theorem D.6
History
- 2026-10-31: add by m2/v0.5.6
ZQ89D1F9BS ZQ89D1F9BS
| URI | m2://inv/ZQ89D1F9BS |
|---|---|
| Kind | example |
| 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 2610.11336#0XJU (example). In X1R1GDAJ0Y/e1, example 1
History
- 2026-10-28: add by m2/v0.4.3
Remark ZQ8M7G7288
| URI | m2://inv/ZQ8M7G7288 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski plane#VF5W, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Small rhombidodecahedron ZQ8TZ7YKQV
| URI | m2://inv/ZQ8TZ7YKQV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Z8X7, Small rhombidodecahedron (object)
History
- 2026-11-02: add by m2/dev
ZQ8XF6AKP5 ZQ8XF6AKP5
| URI | m2://inv/ZQ8XF6AKP5 |
|---|---|
| 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#5DQ8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZQ8XXMGCJW ZQ8XXMGCJW
| URI | m2://inv/ZQ8XXMGCJW |
|---|---|
| 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.06544#G1CZ (statement). In VCRB27RMN6/e1, proposition 7.4
History
- 2026-10-29: add by m2/v0.4.10
ZQ90QTZ3VP ZQ90QTZ3VP
| URI | m2://inv/ZQ90QTZ3VP |
|---|---|
| Kind | statement |
| 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#F21G (statement). In 47WN78VDDF/e1, theorem 3.5
History
- 2026-10-30: add by m2/v0.4.12
Properties ZQ91BJ65QF
| URI | m2://inv/ZQ91BJ65QF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic secant distribution#JPT6, Properties (statement)
History
- 2026-11-02: add by m2/dev
geometric construction ZQ934E1Q22
| URI | m2://inv/ZQ934E1Q22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 51M15 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10265536, geometric construction (topic)
- wikipedia: Wikipedia Geometric drawing, Geometric drawing (definition). Also Wikidata Q10265536
History
- 2026-10-26: add by m2/dev
Examples ZQ94QPQS8Q
| URI | m2://inv/ZQ94QPQS8Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Element of a set#FHS7, Examples (example)
History
- 2026-11-02: add by m2/dev
Job shop scheduling ZQ98XF40KQ
| URI | m2://inv/ZQ98XF40KQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#S844, Job shop scheduling (definition)
History
- 2026-11-02: add by m2/dev
Geordie Williamson ZQ9E796X6Y
| URI | m2://inv/ZQ9E796X6Y |
|---|---|
| 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#1HYF, Geordie Williamson (unknown)
History
- 2026-11-02: add by m2/dev
COMP128 ZQ9FFCE1Z3
| URI | m2://inv/ZQ9FFCE1Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia COMP128, COMP128 (definition). Also Wikidata Q1024002
History
- 2026-11-02: add by m2/dev
centered octagonal number ZQ9FFV4RDP
| URI | m2://inv/ZQ9FFV4RDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1589528, centered octagonal number (object). Also OEIS A016754
- wikipedia: Wikipedia Centered octagonal number, Centered octagonal number (definition). Also Wikidata Q1589528
History
- 2026-10-26: add by m2/dev
Semigroup ZQ9FY6QNJX
| URI | m2://inv/ZQ9FY6QNJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#M3W3, Semigroup (definition)
- wikipedia: Wikipedia List of abstract algebra topics#MURV, Semigroup (definition)
History
- 2026-11-02: add by m2/dev
Thousand Islands (Indonesia) ZQ9VC7CB3N
| URI | m2://inv/ZQ9VC7CB3N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8SI0, Thousand Islands (Indonesia) (unknown)
History
- 2026-11-02: add by m2/dev
ZQ9VF2TW44 ZQ9VF2TW44
| URI | m2://inv/ZQ9VF2TW44 |
|---|---|
| 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.23872#5ZDH (statement)
History
- 2026-11-02: add by m2/v0.6.17
abampere ZQ9WZZ5ETH
| URI | m2://inv/ZQ9WZZ5ETH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q864818, abampere (definition). Also ProofWiki Definition:Abampere
History
- 2026-10-26: add by m2/dev
Definition ZQA7BZENRR
| URI | m2://inv/ZQA7BZENRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor K-theory#FZXL, Definition (definition)
History
- 2026-11-02: add by m2/dev
All non-Clifford regular flat semirings ZQA9DAGQAX
| URI | m2://inv/ZQA9DAGQAX |
|---|---|
| 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#GV1S, All non-Clifford regular flat semirings (statement). In DR7BK4CQ0V/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.3
ZQAF69FPKQ ZQAF69FPKQ
| URI | m2://inv/ZQAF69FPKQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-polyfit.ptx#ex-cubic-seq (exercise). In Y91XFCEVHQ, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
ZQAKTGRJA7 ZQAKTGRJA7
| URI | m2://inv/ZQAKTGRJA7 |
|---|---|
| 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.07164#9B14 (statement). In Q1XJ5VWE1N/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
ZQAPDGQDR9 ZQAPDGQDR9
| URI | m2://inv/ZQAPDGQDR9 |
|---|---|
| Kind | example |
| 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.03353#4IJ4 (example). In 8W61T5CSRB/e1, example 4.1
History
- 2026-10-29: add by m2/v0.4.12
ZQAV6R8FND ZQAV6R8FND
| URI | m2://inv/ZQAV6R8FND |
|---|---|
| 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 2501.00810#5601 (statement). In H0MY884WNF/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.6
ZQAVF9Q7F0 ZQAVF9Q7F0
| URI | m2://inv/ZQAVF9Q7F0 |
|---|---|
| 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 2606.00589#8V1P (statement). In C8JAGP8VCQ/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
ZQB2WC91MH ZQB2WC91MH
| URI | m2://inv/ZQB2WC91MH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#IYHT (statement). In 29D4TTE3J2/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.4.2
ZQBB0SDRT9 ZQBB0SDRT9
| URI | m2://inv/ZQBB0SDRT9 |
|---|---|
| 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.03437#IBIS (statement). In EDTV1EDV7M/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.12
ZQBC6YS4VG ZQBC6YS4VG
| URI | m2://inv/ZQBC6YS4VG |
|---|---|
| Kind | definition |
| 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#I58U (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples ZQBDAXTQ8T
| URI | m2://inv/ZQBDAXTQ8T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plateau–Rayleigh instability#HWR9, Examples (example)
History
- 2026-11-02: add by m2/dev
ZQBEXN5NXW ZQBEXN5NXW
| URI | m2://inv/ZQBEXN5NXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.05069#PAMF (statement). In SFQBJBTW8K/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
ZQBHZRZ813 ZQBHZRZ813
| URI | m2://inv/ZQBHZRZ813 |
|---|---|
| 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.09949#UYT2 (statement). In VGJVFCDV8A/e1, lemma 2.23
History
- 2026-10-29: add by m2/v0.4.10
Satisfaction relation ZQBRRJHNTC
| URI | m2://inv/ZQBRRJHNTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#MG1S, Satisfaction relation (definition)
History
- 2026-11-02: add by m2/dev
Existence of the very weak solution, case $V \in \mathbb{R}$ ZQBSPWXC8V
| URI | m2://inv/ZQBSPWXC8V |
|---|---|
| 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 2110.12380#I18C, Existence of the very weak solution, case $V \in \mathbb{R}$ (statement). In M6MQPEDQ8N/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.3.5
The participation asymmetry is derived ZQBV2NT9Z3
| URI | m2://inv/ZQBV2NT9Z3 |
|---|---|
| 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.00902#WKH5, The participation asymmetry is derived (statement). In 1BYMXTH5MW/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
ZQBZVERP6X ZQBZVERP6X
| URI | m2://inv/ZQBZVERP6X |
|---|---|
| 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.14652#WJQW (statement). In A50CHJ6Q4V/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
ZQC4YXEQSE ZQC4YXEQSE
| URI | m2://inv/ZQC4YXEQSE |
|---|---|
| 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.26154#CIOQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Feasibility rate condition ZQCJETKBMF
| URI | m2://inv/ZQCJETKBMF |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05864#23CW, Feasibility rate condition (unknown). In 31QPXWDZSH/e1, unknown A5
History
- 2026-10-29: add by m2/v0.4.10
ZQCN9QP92T ZQCN9QP92T
| URI | m2://inv/ZQCN9QP92T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
ZQCS2DSAGA ZQCS2DSAGA
| URI | m2://inv/ZQCS2DSAGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#ESFW (statement). In 48QX0QD0XR/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
ZQCW5XEWT2 ZQCW5XEWT2
| URI | m2://inv/ZQCW5XEWT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#DM0J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Symmetry in physics ZQD01ADAV9
| URI | m2://inv/ZQD01ADAV9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#I9J7, Symmetry in physics (unknown)
History
- 2026-11-02: add by m2/dev
ZQD25ZS1M8 ZQD25ZS1M8
| URI | m2://inv/ZQD25ZS1M8 |
|---|---|
| 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.37337#2J6D (statement). In 813JGZV08G/e1, lemma E.5
History
- 2026-10-30: add by m2/v0.4.12
Myers theorem ZQD26FFJH0
| URI | m2://inv/ZQD26FFJH0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#VF11, Myers theorem (statement)
History
- 2026-11-02: add by m2/dev
ZQD5M3002V ZQD5M3002V
| URI | m2://inv/ZQD5M3002V |
|---|---|
| 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 2602.07485#CFZI (statement). In 8KAC1E81JQ/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Augmentation Principle ZQDGB0NKFE
| URI | m2://inv/ZQDGB0NKFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-3.xml#principle-augmentation-principle, Augmentation Principle (statement). In 649HGZKE96, proposition, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
Banach's matchbox problem ZQDQGSEANE
| URI | m2://inv/ZQDQGSEANE |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach's matchbox problem, Banach's matchbox problem (problem). Also Wikidata Q4352773
History
- 2026-11-02: add by m2/dev
Andrew Houck ZQDV2V2A16
| URI | m2://inv/ZQDV2V2A16 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NP8M, Andrew Houck (unknown)
History
- 2026-11-02: add by m2/dev
Rosser: recursion, λ-calculus, and Turing-machine computation identity ZQDYBVJR04
| URI | m2://inv/ZQDYBVJR04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of the Church–Turing thesis#1AN6, Rosser: recursion, λ-calculus, and Turing-machine computation identity (statement)
History
- 2026-11-02: add by m2/dev
Global strong solution ZQE1AXPTBZ
| URI | m2://inv/ZQE1AXPTBZ |
|---|---|
| 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.22090#EB2G, Global strong solution (statement). In NKJWGF050C/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
Generalizations ZQE1FJ9340
| URI | m2://inv/ZQE1FJ9340 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's sum of powers conjecture#I11B, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Zeno's paradox ZQE9NEGPP8
| URI | m2://inv/ZQE9NEGPP8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1/2 + 1/4 + 1/8 + 1/16 + ⋯#X3D3, Zeno's paradox (statement)
History
- 2026-11-02: add by m2/dev
ZQE9QSF2D3 ZQE9QSF2D3
| URI | m2://inv/ZQE9QSF2D3 |
|---|---|
| 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.17476#3X7N (statement). In 6HXD74FA4S/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Michael O'Nan ZQEAPAPQXE
| URI | m2://inv/ZQEAPAPQXE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael O'Nan, Michael O'Nan (topic). Also Wikidata Q1525352
History
- 2026-11-02: add by m2/dev
Symmetry ZQEAYBZD0G
| URI | m2://inv/ZQEAYBZD0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional independence#IGDH, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Bias of the mollified density ZQECBBNS8D
| URI | m2://inv/ZQECBBNS8D |
|---|---|
| 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.05064#DAIY, Bias of the mollified density (statement). In 11SW7NAN7M/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
Flame fractal ZQECVV4EZV
| URI | m2://inv/ZQECVV4EZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#M0LV, Flame fractal (definition)
History
- 2026-11-02: add by m2/dev
ZQEF02EJGE ZQEF02EJGE
| URI | m2://inv/ZQEF02EJGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#MUPE (statement). In 8SVVEVGMNE/e1, corollary 5.11
History
- 2026-10-27: add by m2/v0.3.5
Spatial Analysis of Principal Components ZQEHBNGYHG
| URI | m2://inv/ZQEHBNGYHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial Analysis of Principal Components, Spatial Analysis of Principal Components (definition). Also Wikidata Q134700141
History
- 2026-11-02: add by m2/dev
ZQEQK2M2CB ZQEQK2M2CB
| URI | m2://inv/ZQEQK2M2CB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16386#POZI (statement). In RAF0BFY3Z3/e1, theorem 5.9
History
- 2026-10-28: add by m2/v0.4.2
Probabilistic relational model ZQEQPR96T5
| URI | m2://inv/ZQEQPR96T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OD50, Probabilistic relational model (definition)
History
- 2026-11-02: add by m2/dev
Definition ZQES33001A
| URI | m2://inv/ZQES33001A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#DZYQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Analyticity and Sobolev regularization ZQEVRYC4AM
| URI | m2://inv/ZQEVRYC4AM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#4AVN, Analyticity and Sobolev regularization (statement). In RHBS9QDHC3/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.2
ZQF1Q9NKCX ZQF1Q9NKCX
| URI | m2://inv/ZQF1Q9NKCX |
|---|---|
| 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.36313#RGNH (statement). In Z5SP3NW41S/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Wetzel's problem ZQF357QQ66
| URI | m2://inv/ZQF357QQ66 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wetzel's problem, Wetzel's problem (problem). Also Wikidata Q25303834
History
- 2026-11-02: add by m2/dev
Generalizations ZQF5ZJ6ZQW
| URI | m2://inv/ZQF5ZJ6ZQW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular language#GX6Z, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Hans Werner Ballmann ZQF9YM18K1
| URI | m2://inv/ZQF9YM18K1 |
|---|---|
| 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#36Q7, Hans Werner Ballmann (topic)
History
- 2026-11-02: add by m2/dev
A special case ZQFE4EG2E9
| URI | m2://inv/ZQFE4EG2E9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inclusion–exclusion principle#67WA, A special case (statement)
History
- 2026-11-02: add by m2/dev
ZQFHGBH6QQ ZQFHGBH6QQ
| URI | m2://inv/ZQFHGBH6QQ |
|---|---|
| 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 2610.10029#9YZ8 (definition). In K7EAM152B0/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
ZQFQPWNZW9 ZQFQPWNZW9
| URI | m2://inv/ZQFQPWNZW9 |
|---|---|
| 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.13699#8PR8 (statement). In ZSMAQ666K7/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Theodore W. Anderson ZQFRJN3HAF
| URI | m2://inv/ZQFRJN3HAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#YVON, Theodore W. Anderson (topic)
History
- 2026-11-02: add by m2/dev
turnstile ZQFW8Z3SSF
| URI | m2://inv/ZQFW8Z3SSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#J1P8, turnstile (definition)
History
- 2026-11-02: add by m2/dev
certified lower bounds ZQFWK53DN6
| URI | m2://inv/ZQFWK53DN6 |
|---|---|
| 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.14051#U7EW, certified lower bounds (statement). In ZQ78SP5JBS/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
ZQFY263FCQ ZQFY263FCQ
| URI | m2://inv/ZQFY263FCQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08202#GUM1 (definition). In N7XJ16700B/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
Maximal Azuma--Hoeffding inequality with predictable ranges ZQFYYC35QB
| URI | m2://inv/ZQFYYC35QB |
|---|---|
| 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#861A, Maximal Azuma--Hoeffding inequality with predictable ranges (statement). In B29M4E6KGC/e1, lemma E.2
History
- 2026-10-28: add by m2/v0.4.2
main bound ZQG7155ZYN
| URI | m2://inv/ZQG7155ZYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.27495#LY5I, main bound (statement). In 1TZVMC23J9/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
ZQG7K8C883 ZQG7K8C883
| URI | m2://inv/ZQG7K8C883 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.16241#2M3E (statement). In WNDHZVY4WK/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
ZQGH7Q62J0 ZQGH7Q62J0
| URI | m2://inv/ZQGH7Q62J0 |
|---|---|
| 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#IW7P (statement). In V6EPE8XHAD/e1, lemma A.8
History
- 2026-10-29: add by m2/v0.4.10
Congruence images and injectivity ZQGKT0EMP4
| URI | m2://inv/ZQGKT0EMP4 |
|---|---|
| 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 2609.28028#FDR7, Congruence images and injectivity (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Parisi functional on step coefficients ZQGMH0Z645
| URI | m2://inv/ZQGMH0Z645 |
|---|---|
| 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.06490#U048, The Parisi functional on step coefficients (statement). In NKXTXH59P1/e1, corollary A.6
History
- 2026-10-29: add by m2/v0.4.10
Statement ZQGQNBTJVY
| URI | m2://inv/ZQGQNBTJVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobson's conjecture#R8RD, Statement (statement)
History
- 2026-11-02: add by m2/dev
ZQGS4G3RFW ZQGS4G3RFW
| URI | m2://inv/ZQGS4G3RFW |
|---|---|
| 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.17325#9P6N (statement). In SE16BAED46/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Centrality ZQGXFYSB0J
| URI | m2://inv/ZQGXFYSB0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centrality, Centrality (definition). Also Wikidata Q5062194
History
- 2026-11-02: add by m2/dev
ZQGYZS98FV ZQGYZS98FV
| URI | m2://inv/ZQGYZS98FV |
|---|---|
| Kind | definition |
| 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.20775#8UBD (definition). In XG27B81T0G/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Example ZQH1NPW3H6
| URI | m2://inv/ZQH1NPW3H6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessian form of an elliptic curve#K42B, Example (example)
History
- 2026-11-02: add by m2/dev
Semi-elliptic operator ZQH6JDHG2R
| URI | m2://inv/ZQH6JDHG2R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-elliptic operator, Semi-elliptic operator (definition). Also Wikidata Q7449297
History
- 2026-11-02: add by m2/dev
Monica S. Lam ZQHFYA4FKK
| URI | m2://inv/ZQHFYA4FKK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#65FT, Monica S. Lam (unknown)
History
- 2026-11-02: add by m2/dev
Insensitivity to sample size ZQHM79XBP9
| URI | m2://inv/ZQHM79XBP9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#26NL, Insensitivity to sample size (unknown)
History
- 2026-11-02: add by m2/dev
The divisor correction is Steinberg-valued ZQJ99ZP6A4
| URI | m2://inv/ZQJ99ZP6A4 |
|---|---|
| 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#Y1B8, The divisor correction is Steinberg-valued (statement). In CSRZ9CWK69/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
ZQJA3VEFK8 ZQJA3VEFK8
| URI | m2://inv/ZQJA3VEFK8 |
|---|---|
| Kind | definition |
| 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.39293#OWBB (definition). In S26QVW5613/e1, definition 2.3.11
History
- 2026-10-30: add by m2/v0.4.12
Vapnik, Vladimir ZQJEAR4PFF
| URI | m2://inv/ZQJEAR4PFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#DQGT, Vapnik, Vladimir (unknown)
History
- 2026-11-02: add by m2/dev
ZQJHW02VV5 ZQJHW02VV5
| URI | m2://inv/ZQJHW02VV5 |
|---|---|
| Kind | definition |
| 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 0810.0962#AW86 (definition). In 80YMRN5KS9/e1, definition 15
History
- 2026-10-27: add by m2/v0.3.5
ZQJKPJETY0 ZQJKPJETY0
| URI | m2://inv/ZQJKPJETY0 |
|---|---|
| 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.29679#67RB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Witt's theorem for Hermitian forms ZQJQTD0TYN
| URI | m2://inv/ZQJQTD0TYN |
|---|---|
| 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.01731#M2XT, Witt's theorem for Hermitian forms (statement). In 3TJ2FWXQ0D/e1, fact 2.10
History
- 2026-10-29: add by m2/v0.4.12
ZQJR48FAJG ZQJR48FAJG
| URI | m2://inv/ZQJR48FAJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#A52R (statement). In QX77AN49J0/e1, proposition 5.12
History
- 2026-10-27: add by m2/v0.4.2
ZQJRX5S7KC ZQJRX5S7KC
| URI | m2://inv/ZQJRX5S7KC |
|---|---|
| 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.33794#XKNP (statement). In W0PQMW25VY/e1, corollary 3.5
History
- 2026-10-30: add by m2/v0.4.12
homomorphism ZQJSV3XDK3
| URI | m2://inv/ZQJSV3XDK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#F1VG, homomorphism (definition)
History
- 2026-11-02: add by m2/dev
ZQJWQ3BW21 ZQJWQ3BW21
| URI | m2://inv/ZQJWQ3BW21 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-2.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
ZQK2GGT859 ZQK2GGT859
| URI | m2://inv/ZQK2GGT859 |
|---|---|
| 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.37508#W36T (statement). In WCSDA99ZHA/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
ZQK5VA2QG1 ZQK5VA2QG1
| URI | m2://inv/ZQK5VA2QG1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.21365#TARB (definition). In FCMMB2EVAP/e1, definition 2.32
History
- 2026-10-27: add by m2/v0.4.2
Protected completion ZQKA164JQ8
| URI | m2://inv/ZQKA164JQ8 |
|---|---|
| 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.21388#K8JG, Protected completion (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZQKBRDJS5J ZQKBRDJS5J
| URI | m2://inv/ZQKBRDJS5J |
|---|---|
| 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 1904.09810#K807 (statement). In T1VFA7TXPA/e1, lemma 74
History
- 2026-10-27: add by m2/v0.3.5
ZQKD31QK8X ZQKD31QK8X
| URI | m2://inv/ZQKD31QK8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.29747#QKBS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Random-subspace containment ZQKH3765HH
| URI | m2://inv/ZQKH3765HH |
|---|---|
| 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 2609.40252#2TL0, Random-subspace containment (statement). In 7MVPNFPRKB/e1, lemma 11.6
History
- 2026-10-30: add by m2/v0.4.12
Examples ZQKJCSTTEN
| URI | m2://inv/ZQKJCSTTEN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Maclaurin formula#TJI1, Examples (example)
History
- 2026-11-02: add by m2/dev
Neil Peter Jampolis ZQKWWBE7QH
| URI | m2://inv/ZQKWWBE7QH |
|---|---|
| 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#FE5Y, Neil Peter Jampolis (unknown)
History
- 2026-11-02: add by m2/dev
Examples ZQKWXM5GKQ
| URI | m2://inv/ZQKWXM5GKQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R-algebroid#FYBP, Examples (example)
History
- 2026-11-02: add by m2/dev
ZQKYCYD2YP ZQKYCYD2YP
| URI | m2://inv/ZQKYCYD2YP |
|---|---|
| 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 2610.09515#LR7B (statement). In N51RDVGNXG/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Ruziewicz problem ZQMKDKAQET
| URI | m2://inv/ZQMKDKAQET |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruziewicz problem, Ruziewicz problem (problem). Also Wikidata Q3406236
History
- 2026-11-02: add by m2/dev
ZQMKMEXABW ZQMKMEXABW
| URI | m2://inv/ZQMKMEXABW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2301.04933#YN1L (definition). In Q70CTMCJTP/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.3.5
Kazuya Kato ZQMRWPJZS3
| URI | m2://inv/ZQMRWPJZS3 |
|---|---|
| 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 Q333000, Kazuya Kato (unknown). Also nLab Kazuya Kato
- wikipedia: Wikipedia Kazuya Kato, Kazuya Kato (topic). Also Wikidata Q333000
History
- 2026-10-26: add by m2/dev
Dyson conjecture ZQMXB11CRE
| URI | m2://inv/ZQMXB11CRE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyson conjecture#QS2X, Dyson conjecture (statement)
History
- 2026-11-02: add by m2/dev
Roger Dingledine ZQN0XADQBK
| URI | m2://inv/ZQN0XADQBK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roger Dingledine, Roger Dingledine (topic). Also Wikidata Q21727458
History
- 2026-11-02: add by m2/dev
Pinsker's inequality for the binary divergence ZQN1N00E7Q
| URI | m2://inv/ZQN1N00E7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-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.27766#4JUV, Pinsker's inequality for the binary divergence (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZQN7RQBPVD ZQN7RQBPVD
| URI | m2://inv/ZQN7RQBPVD |
|---|---|
| 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.22170#2UCY (statement). In 74MMMHHPW5/e1, corollary 5.8
History
- 2026-10-27: add by m2/v0.4.0
Aizik Volpert ZQN9NDH4A3
| URI | m2://inv/ZQN9NDH4A3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#9VC1, Aizik Volpert (topic)
History
- 2026-11-02: add by m2/dev
ZQN9PX3QYJ ZQN9PX3QYJ
| URI | m2://inv/ZQN9PX3QYJ |
|---|---|
| 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.25167#5P47 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZQNFGVJ40B ZQNFGVJ40B
| URI | m2://inv/ZQNFGVJ40B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16002#9ZF9 (statement). In MWXDTQ7XC4/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Wahl ZQNFTC1DJV
| URI | m2://inv/ZQNFTC1DJV |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-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.21093#8PCH, Wahl (conjecture). In TBFPBPQV3G/e1, conjecture
History
- 2026-10-27: add by m2/v0.4.2
$\mathbf m$-transform of $f$ ZQNGR1S7TE
| URI | m2://inv/ZQNGR1S7TE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#BPLB, $\mathbf m$-transform of $f$ (definition). In 94RBNQA07A/e1, definition 2.22
History
- 2026-10-27: add by m2/v0.3.5
Randomised decision rule ZQNM4527TY
| URI | m2://inv/ZQNM4527TY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomised decision rule, Randomised decision rule (definition). Also Wikidata Q56297053
History
- 2026-11-02: add by m2/dev
logarithmic distribution ZQNMHJ9H3D
| URI | m2://inv/ZQNMHJ9H3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1867999, logarithmic distribution (unknown). Also MathWorld Log-SeriesDistribution
- wikipedia: Wikipedia Logarithmic distribution, Logarithmic distribution (definition). Also Wikidata Q1867999
History
- 2026-10-26: add by m2/dev
ZQNR50GG36 ZQNR50GG36
| URI | m2://inv/ZQNR50GG36 |
|---|---|
| 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 2610.17371#M06X (definition). In FF92TNYHQR/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
ZQNV70ZP5Q ZQNV70ZP5Q
| URI | m2://inv/ZQNV70ZP5Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#09B3 (statement). In CGA36VE1C5/e1, fact 5.2.3
History
- 2026-10-27: add by m2/v0.3.6
Frank T. Cary ZQNY7B6R8M
| URI | m2://inv/ZQNY7B6R8M |
|---|---|
| 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#B9LB, Frank T. Cary (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations ZQP2G410JF
| URI | m2://inv/ZQP2G410JF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topology#NEC9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Algorithms ZQP8RG258V
| URI | m2://inv/ZQP8RG258V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite normal form#4G8E, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
open, problem ZQP9PE0BTS
| URI | m2://inv/ZQP9PE0BTS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/open-problem, open, problem (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Paul Gustav Heinrich Bachmann ZQPD4SAJ5Z
| URI | m2://inv/ZQPD4SAJ5Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#YEPD, Paul Gustav Heinrich Bachmann (topic)
History
- 2026-11-02: add by m2/dev
Generalised von Neumann theorem ZQPD4XVH6Q
| URI | m2://inv/ZQPD4XVH6Q |
|---|---|
| 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#WERV, Generalised von Neumann theorem (statement). In JBAQ7DTW7B/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.3.5
ZQPEDKC0TN ZQPEDKC0TN
| URI | m2://inv/ZQPEDKC0TN |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#JAVJ (proof). In MDZFW5GACV/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
colossally abundant number ZQPNHA9BQF
| URI | m2://inv/ZQPNHA9BQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3281381, colossally abundant number (object). Also OEIS A004490
- wikipedia: Wikipedia Colossally abundant number, Colossally abundant number (definition). Also Wikidata Q3281381
History
- 2026-10-26: add by m2/dev
ZQQ3WR3PTP ZQQ3WR3PTP
| URI | m2://inv/ZQQ3WR3PTP |
|---|---|
| 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.39531#3POE (statement). In SN9RSTHQ07/e1, theorem D.1
History
- 2026-10-30: add by m2/v0.4.12
Traveling salesman problem ZQQ65VYWEV
| URI | m2://inv/ZQQ65VYWEV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#9IAZ, Traveling salesman problem (problem)
- wikipedia: Wikipedia List of computability and complexity topics#LINE, Traveling salesman problem (problem)
History
- 2026-11-02: add by m2/dev
Holly Shulman ZQQFPM6GBS
| URI | m2://inv/ZQQFPM6GBS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holly Shulman, Holly Shulman (topic). Also Wikidata Q123690374
History
- 2026-11-02: add by m2/dev
ZQQKMV9EH1 ZQQKMV9EH1
| URI | m2://inv/ZQQKMV9EH1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise:finishfuncsupinf (exercise). In E59CDZA4DP, exercise, section 7.3.1
History
- 2026-11-01: add by m2/v0.6.13
ZQQXNA6JEF ZQQXNA6JEF
| URI | m2://inv/ZQQXNA6JEF |
|---|---|
| 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.26769#V4P7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Colossus computer ZQR50RAXSR
| URI | m2://inv/ZQR50RAXSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colossus computer, Colossus computer (definition). Also Wikidata Q770597
History
- 2026-11-02: add by m2/dev
Lemma 1 ZQR9W4T91K
| URI | m2://inv/ZQR9W4T91K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#Y0VC, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
Abel's irreducibility theorem ZQRBH9XFHN
| URI | m2://inv/ZQRBH9XFHN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#1H44, Abel's irreducibility theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition ZQRG9YEXZ1
| URI | m2://inv/ZQRG9YEXZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric median#2GNZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bounds for a capped KL projection ZQRN1PCQQE
| URI | m2://inv/ZQRN1PCQQE |
|---|---|
| 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.31607#EG03, Bounds for a capped KL projection (statement). In H9X9WZ17TT/e1, lemma 28
History
- 2026-10-31: add by m2/v0.5.6
ZQS5SN3SYE ZQS5SN3SYE
| URI | m2://inv/ZQS5SN3SYE |
|---|---|
| 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 2610.15242#0UMN (statement). In 5NPFKE984E/e1, corollary 2.1
History
- 2026-10-28: add by m2/v0.4.2
ZQS8BXNQ98 ZQS8BXNQ98
| URI | m2://inv/ZQS8BXNQ98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02935#XNMP (statement). In WE2KKAMEFW/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Bijection, injection and surjection ZQSAZKRR0J
| URI | m2://inv/ZQSAZKRR0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bijection, injection and surjection, Bijection, injection and surjection (definition). Also Wikidata Q4907197
History
- 2026-11-02: add by m2/dev
ZQSGG5R85Y ZQSGG5R85Y
| URI | m2://inv/ZQSGG5R85Y |
|---|---|
| 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.22344#6WB5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples ZQSJT94R7S
| URI | m2://inv/ZQSJT94R7S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular analysis#0CJD, Examples (example)
History
- 2026-11-02: add by m2/dev
ZQSNN1Z3ZN ZQSNN1Z3ZN
| URI | m2://inv/ZQSNN1Z3ZN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#0KIB (example). In RZWJ0AT8W5/e1, example 2.4
History
- 2026-10-31: add by m2/v0.5.6
ZQSPK4W0MM ZQSPK4W0MM
| URI | m2://inv/ZQSPK4W0MM |
|---|---|
| Kind | definition |
| 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 1810.06028#PULX (definition). In ZPFHH6YJG3/e1, definition 4.8
History
- 2026-10-27: add by m2/v0.3.5
ZQSQWPEXPB ZQSQWPEXPB
| URI | m2://inv/ZQSQWPEXPB |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#RQ36 (unknown). In QNBFHFZ3H0/e1, unknown 114
History
- 2026-10-28: add by m2/v0.4.2
ZQSRNNTNYR ZQSRNNTNYR
| URI | m2://inv/ZQSRNNTNYR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-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 2609.38068#MMQJ (definition). In 67GE5M1GGD/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
An algebra of propositions, the propositional calculus ZQSV3DMY9G
| URI | m2://inv/ZQSV3DMY9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#65PB, An algebra of propositions, the propositional calculus (statement)
History
- 2026-11-02: add by m2/dev
a finite toric subsystem ZQT14V7NQZ
| URI | m2://inv/ZQT14V7NQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.38030#IH81, a finite toric subsystem (statement). In XYYEJN00D8/e1, corollary 3.1
History
- 2026-10-30: add by m2/v0.4.12
ZQT97FDZVZ ZQT97FDZVZ
| URI | m2://inv/ZQT97FDZVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#37JF (statement). In BSWNH3NW1M/e1, corollary 9.3
History
- 2026-10-27: add by m2/v0.4.0
Something ZQTB5RH5NN
| URI | m2://inv/ZQTB5RH5NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Something (concept), Something (definition). Also Wikidata Q140673965
History
- 2026-11-02: add by m2/dev
Birectified 16-cell honeycomb ZQTDJXNV4R
| URI | m2://inv/ZQTDJXNV4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birectified 16-cell honeycomb, Birectified 16-cell honeycomb (definition). Also Wikidata Q17005104
History
- 2026-11-02: add by m2/dev
ZQTEW6HM3B ZQTEW6HM3B
| URI | m2://inv/ZQTEW6HM3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-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.38243#JOZN (statement). In R03K2N7FRF/e1, lemma B.5
History
- 2026-10-30: add by m2/v0.4.12
ZQTP7ZGNGV ZQTP7ZGNGV
| URI | m2://inv/ZQTP7ZGNGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.30482#06XC (statement). In KWB9M5YH9G/e1, proposition 2.9
History
- 2026-10-31: add by m2/v0.5.6
ZQTPBKY81F ZQTPBKY81F
| URI | m2://inv/ZQTPBKY81F |
|---|---|
| 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.04645#1AVN (statement). In YMZ6XP5542/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.12
General quotient rule ZQTQSVX7RX
| URI | m2://inv/ZQTQSVX7RX |
|---|---|
| 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 2610.20593#ZNZU, General quotient rule (statement). In 7GMD8J4200/e1, theorem 19
History
- 2026-10-27: add by m2/v0.4.2
Definition ZQTRBTA62F
| URI | m2://inv/ZQTRBTA62F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded lattice#5AOS, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZQVFBFZ9R6 ZQVFBFZ9R6
| URI | m2://inv/ZQVFBFZ9R6 |
|---|---|
| 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.33679#J2DO (statement). In 3N9E9T6AF5/e1, corollary 1.5
History
- 2026-10-30: add by m2/v0.4.12
Definition ZQVQ7X1Q3J
| URI | m2://inv/ZQVQ7X1Q3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Champernowne distribution#N1T3, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZQVQM7XR1Q ZQVQM7XR1Q
| URI | m2://inv/ZQVQM7XR1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#D9D2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rockafellar ZQVTDXRGE5
| URI | m2://inv/ZQVTDXRGE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 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.20542#VU1J, Rockafellar (statement). In 8PZXZ8Y9FK/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Extensions ZQVWSR84KH
| URI | m2://inv/ZQVWSR84KH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donaldson's theorem#E8NZ, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Truncated octahedral graph ZQVZQ5BYJ7
| URI | m2://inv/ZQVZQ5BYJ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated octahedron#ZY66, Truncated octahedral graph (unknown)
History
- 2026-11-02: add by m2/dev
range ZQW0C9N66K
| URI | m2://inv/ZQW0C9N66K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#JUXY, range (definition)
History
- 2026-11-02: add by m2/dev
Example ZQWC77922R
| URI | m2://inv/ZQWC77922R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Active placebo#3MC1, Example (example)
History
- 2026-11-02: add by m2/dev
Challenging ZQWTCABTH2
| URI | m2://inv/ZQWTCABTH2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-26, Challenging (exercise). In E59CDZA4DP, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
Étienne Bobillier ZQX10ZVQ4S
| URI | m2://inv/ZQX10ZVQ4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étienne Bobillier, Étienne Bobillier (topic). Also Wikidata Q2750550
History
- 2026-11-02: add by m2/dev
$p$-Caccioppoli inequalities and reverse H\"older inequalities ZQX1FKABE2
| URI | m2://inv/ZQX1FKABE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#UALO, $p$-Caccioppoli inequalities and reverse H\"older inequalities (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZQX6T61Y62 ZQX6T61Y62
| URI | m2://inv/ZQX6T61Y62 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/identity.tex#ex-1 (example). In PKGMM3P5QY, ex, section 13.5
History
- 2026-11-01: add by m2/v0.6.13
Helmholtz equation ZQXBEJE7XR
| URI | m2://inv/ZQXBEJE7XR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Helmholtz equation MNXKTXJ35G |
Mentions
- wikidata: Wikidata Q860615, Helmholtz equation (concept). Also EoM Helmholtz_equation, MathWorld HelmholtzDifferentialEquation
- wikipedia: Wikipedia Helmholtz equation, Helmholtz equation (definition). Also Wikidata Q860615
History
- 2026-10-26: add by m2/dev
Schur ZQXBG65J6N
| URI | m2://inv/ZQXBG65J6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#CU68, Schur (definition)
History
- 2026-11-02: add by m2/dev
Ordinal Nash characterization ZQXBJYVC1W
| URI | m2://inv/ZQXBJYVC1W |
|---|---|
| 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.05428#MLL5, Ordinal Nash characterization (statement). In 31MQPCA8SH/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Barbara Brooks Wallace ZQXQPADMMA
| URI | m2://inv/ZQXQPADMMA |
|---|---|
| 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#XD8C, Barbara Brooks Wallace (unknown)
History
- 2026-11-02: add by m2/dev
Zariski's lemma ZQXSPWMC5E
| URI | m2://inv/ZQXSPWMC5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#Z3W1, Zariski's lemma (statement)
History
- 2026-11-02: add by m2/dev
ZQXZBVSBW8 ZQXZBVSBW8
| URI | m2://inv/ZQXZBVSBW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.06719#EMKF (statement). In CBSA058Y53/e1, corollary 2.12
History
- 2026-10-29: add by m2/v0.4.10
Definitions ZQY1Z5E7WC
| URI | m2://inv/ZQY1Z5E7WC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lifting theory#PVP6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Definition ZQYEKMSHZ1
| URI | m2://inv/ZQYEKMSHZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean-periodic function#ZSEW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Tian Gang ZQYRXAP5F0
| URI | m2://inv/ZQYRXAP5F0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tian Gang, Tian Gang (topic). Also Wikidata Q942908
History
- 2026-11-02: add by m2/dev
Spectral mapping theorem ZQYT0XMSGK
| URI | m2://inv/ZQYT0XMSGK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan normal form#BR6T, Spectral mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
ZQYXECN23N ZQYXECN23N
| URI | m2://inv/ZQYXECN23N |
|---|---|
| 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.02141#7O47 (statement). In 5AB8YPS19N/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
Racine caractéristique ZQYXMAVHJG
| URI | m2://inv/ZQYXMAVHJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#8COS, Racine caractéristique (unknown)
History
- 2026-11-02: add by m2/dev
Nuclei and center ZQYZZ3RWV8
| URI | m2://inv/ZQYZZ3RWV8 |
|---|---|
| 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.12483#69WV, Nuclei and center (statement). In 159250CY6S/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Two-sided leaf obstruction ZQZ9SV7X25
| URI | m2://inv/ZQZ9SV7X25 |
|---|---|
| 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.02390#YX4R, Two-sided leaf obstruction (statement). In TD4KEERDGT/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
the mirrored ordinals ZQZDS95X2Q
| URI | m2://inv/ZQZDS95X2Q |
|---|---|
| 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.01753#TGTF, the mirrored ordinals (statement). In JY50YXMH5N/e1, corollary 21
History
- 2026-10-29: add by m2/v0.4.12
Identity and historicity ZQZQGQS15Y
| URI | m2://inv/ZQZQGQS15Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid#YOU0, Identity and historicity (statement)
History
- 2026-11-02: add by m2/dev