Inventory rows Y6
The cards of the rows of the inventory whose ids start with Y6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Y6011SAEB9 Y6011SAEB9
| URI | m2://inv/Y6011SAEB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#X0VQ (statement). In F1CYVYK7YB/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.10
Analytic expression Y602H7JAX7
| URI | m2://inv/Y602H7JAX7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed-form expression#O6TV, Analytic expression (unknown)
History
- 2026-11-02: add by m2/dev
Successive parabolic interpolation Y60750YNKK
| URI | m2://inv/Y60750YNKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Successive parabolic interpolation, Successive parabolic interpolation (definition). Also Wikidata Q7632648
History
- 2026-11-02: add by m2/dev
Regular paired-event transition Y60E3DY994
| URI | m2://inv/Y60E3DY994 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15686#0IGR, Regular paired-event transition (definition). In 4HCK722M2G/e1, definition 5.7
History
- 2026-10-28: add by m2/v0.4.2
Fractional Fourier transform Y60HBD4ES0
| URI | m2://inv/Y60HBD4ES0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#Q5AP, Fractional Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
Theorem 3 of 1960 Y60J8RZKEN
| URI | m2://inv/Y60J8RZKEN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debreu's representation theorems#ARQG, Theorem 3 of 1960 (statement)
History
- 2026-11-02: add by m2/dev
log structure Y60MJRY12A
| URI | m2://inv/Y60MJRY12A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#J7EE, log structure (definition)
History
- 2026-11-02: add by m2/dev
Y60MKKREZH Y60MKKREZH
| URI | m2://inv/Y60MKKREZH |
|---|---|
| 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.06381#PJ4O (statement). In X9JKBDHACW/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Definition Y60SPME0VG
| URI | m2://inv/Y60SPME0VG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stability (probability)#U2L0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ergodic Ramsey theory Y60XNA9TTA
| URI | m2://inv/Y60XNA9TTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodic Ramsey theory, Ergodic Ramsey theory (definition). Also Wikidata Q5385813
History
- 2026-11-02: add by m2/dev
Cantor's theorem Y611WCZDED
| URI | m2://inv/Y611WCZDED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#7EL6, Cantor's theorem (statement)
History
- 2026-11-02: add by m2/dev
Geometry of wiggling equivalent frames Y61MGZF9D6
| URI | m2://inv/Y61MGZF9D6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#4OE3, Geometry of wiggling equivalent frames (statement). In XYCBKM4WKY/e1, lemma 68
History
- 2026-10-27: add by m2/v0.3.5
Wild problem Y61MWRSBYV
| URI | m2://inv/Y61MWRSBYV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wild problem, Wild problem (problem). Also Wikidata Q25103756
History
- 2026-11-02: add by m2/dev
Y61RZGV1KN Y61RZGV1KN
| URI | m2://inv/Y61RZGV1KN |
|---|---|
| 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.12908#7KU5 (statement). In TNC658NVMQ/e1, proposition 7.7
History
- 2026-10-28: add by m2/v0.4.2
Y61SWAGSZ6 Y61SWAGSZ6
| URI | m2://inv/Y61SWAGSZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38803#HI0W (statement). In DQ5R7R4DZK/e1, lemma C.4
History
- 2026-10-30: add by m2/v0.4.12
Theorem $3.39$ Y61YB843TZ
| URI | m2://inv/Y61YB843TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#EFHZ, Theorem $3.39$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
cohomology Y620Z382DB
| URI | m2://inv/Y620Z382DB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/4.4/cohomology, cohomology (concept). In VNMV985MXX, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Y6246ZRHJ3 Y6246ZRHJ3
| URI | m2://inv/Y6246ZRHJ3 |
|---|---|
| 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 2204.01073#TROH (statement). In W4TYN4PGE8/e1, lemma 2.24
History
- 2026-10-27: add by m2/v0.3.5
Irene Barnes Taeuber Y629ZG4B8Y
| URI | m2://inv/Y629ZG4B8Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#KN7Q, Irene Barnes Taeuber (unknown)
History
- 2026-11-02: add by m2/dev
Y62D3J5GMH Y62D3J5GMH
| URI | m2://inv/Y62D3J5GMH |
|---|---|
| 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.23804#SUCB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gauge function Y62GXHDX9M
| URI | m2://inv/Y62GXHDX9M |
|---|---|
| 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 2610.18797#T9VN, Gauge function (definition). In HVZW77G66Z/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Y62H8XHF6X Y62H8XHF6X
| URI | m2://inv/Y62H8XHF6X |
|---|---|
| Kind | example |
| 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.23871#VQRG (example)
History
- 2026-11-02: add by m2/v0.6.17
Y62PC1JVWH Y62PC1JVWH
| URI | m2://inv/Y62PC1JVWH |
|---|---|
| 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.21036#TGUF (statement). In G0M4N3E0CG/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
Y62Q2MGJ1N Y62Q2MGJ1N
| URI | m2://inv/Y62Q2MGJ1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#BA2Z (statement). In YYV9SHAPCZ/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Y62XYHA1YW Y62XYHA1YW
| URI | m2://inv/Y62XYHA1YW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28848#WXXI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem (Dobbertin 1986) Y635KJXNRR
| URI | m2://inv/Y635KJXNRR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#8TD2, Theorem (Dobbertin 1986) (statement)
History
- 2026-11-02: add by m2/dev
Texmaker Y6391YNWNW
| URI | m2://inv/Y6391YNWNW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#MQCU, Texmaker (unknown)
History
- 2026-11-02: add by m2/dev
Parameter counts for the ten geometric block families Y63E3FN801
| URI | m2://inv/Y63E3FN801 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25987#CGAD, Parameter counts for the ten geometric block families (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sinkhorn DRO Y63JJDDXD2
| URI | m2://inv/Y63JJDDXD2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31470#3TY1, Sinkhorn DRO (definition). In 4RS2WKVB7F/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Y63M8AAP9D Y63M8AAP9D
| URI | m2://inv/Y63M8AAP9D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#GQOW (definition). In G02N9D40B9/e1, definition 1.1.2
History
- 2026-10-29: add by m2/v0.4.10
Gregorio Ricci-Curbastro Y63RJW5CTK
| URI | m2://inv/Y63RJW5CTK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#E2UI, Gregorio Ricci-Curbastro (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W1ZA, Gregorio Ricci-Curbastro (topic)
History
- 2026-11-02: add by m2/dev
Definition Y63SW792K3
| URI | m2://inv/Y63SW792K3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing jump#V6TS, Definition (definition)
History
- 2026-11-02: add by m2/dev
square centimetre per second Y642J7SXKG
| URI | m2://inv/Y642J7SXKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q26162545, square centimetre per second (definition). Also ProofWiki Definition:Square_Centimetre_per_Second
History
- 2026-10-26: add by m2/dev
Y6437Q5AJM Y6437Q5AJM
| URI | m2://inv/Y6437Q5AJM |
|---|---|
| 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#6AWO (definition). In 9H45HQE7AZ/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Y64AQZGZRC Y64AQZGZRC
| URI | m2://inv/Y64AQZGZRC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-118 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Y64JF7NZ92 Y64JF7NZ92
| URI | m2://inv/Y64JF7NZ92 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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 2609.37524#QBQU (statement). In 4GTJAPF7Q3/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Theorem Y64MA7TVP9
| URI | m2://inv/Y64MA7TVP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metrizable topological vector space#1LBB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Y64PXBVCWX Y64PXBVCWX
| URI | m2://inv/Y64PXBVCWX |
|---|---|
| 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.18600#I4ID (statement). In 31D6TQVCNZ/e1, lemma 3.15
History
- 2026-10-28: add by m2/v0.4.2
Paul Jean Joseph Barbarin Y64PZJ7WE8
| URI | m2://inv/Y64PZJ7WE8 |
|---|---|
| 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#K84R, Paul Jean Joseph Barbarin (topic)
History
- 2026-11-02: add by m2/dev
Y64T0DBFZA Y64T0DBFZA
| URI | m2://inv/Y64T0DBFZA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16267#HHKL (definition). In 65GKPZ15VH/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Y64W6RBXZ3 Y64W6RBXZ3
| URI | m2://inv/Y64W6RBXZ3 |
|---|---|
| Kind | definition |
| 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.22657#BZD3 (definition)
History
- 2026-11-02: add by m2/v0.6.17
\textsf{idtoiso} Y64X17MA8C
| URI | m2://inv/Y64X17MA8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:idtoiso, \textsf{idtoiso} (statement). In N54F33XE07, lem, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Ivan Vinogradov Y64ZDRHW7Q
| URI | m2://inv/Y64ZDRHW7Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#U7TQ, Ivan Vinogradov (unknown)
History
- 2026-11-02: add by m2/dev
relativistic particle Y657HRKG4J
| URI | m2://inv/Y657HRKG4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2022629, relativistic particle (unknown). Also nLab relativistic particle
History
- 2026-10-26: add by m2/dev
Y657RSSPS6 Y657RSSPS6
| URI | m2://inv/Y657RSSPS6 |
|---|---|
| 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.08042#0YBC (statement). In SSEDAYK3CQ/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Y65B3DV9CX Y65B3DV9CX
| URI | m2://inv/Y65B3DV9CX |
|---|---|
| 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 2407.20385#SSGB (statement). In PZRSZ19KAH/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Exponential kissing number for $p>2$ Y65E96M7ZY
| URI | m2://inv/Y65E96M7ZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14380#YB5H, Exponential kissing number for $p>2$ (statement). In 2ZRQP063HP/e1, corollary 5.8
History
- 2026-10-28: add by m2/v0.4.2
Rogozin Y65F3QYEQD
| URI | m2://inv/Y65F3QYEQD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38220#TS0M, Rogozin (statement). In 1AC4S19925/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Y65KZ2NJW9 Y65KZ2NJW9
| URI | m2://inv/Y65KZ2NJW9 |
|---|---|
| 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.09897#JNW8 (statement). In NYA085FW0M/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Definition of falsifiability Y65N1KY6EA
| URI | m2://inv/Y65N1KY6EA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Falsifiability#EV5P, Definition of falsifiability (definition)
History
- 2026-11-02: add by m2/dev
Wijsman convergence Y663Q0FXDA
| URI | m2://inv/Y663Q0FXDA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7999797, Beer's theorem (statement). Also Wikidata Q7999797
- thousand_plus: thousand_plus Q7999797, Beer's theorem (statement). Also Wikidata Q7999797, Wikipedia Beer's theorem
- wikipedia: Wikipedia Wijsman convergence, Wijsman convergence (definition). Also Wikidata Q7999797
History
- 2026-10-26: add by m2/dev
Cremona transformation Y66G8G2HM3
| URI | m2://inv/Y66G8G2HM3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124684338, Cremona transformation (concept). Also EoM Cremona_transformation, MathWorld CremonaTransformation
History
- 2026-10-26: add by m2/dev
Y66GYS9RW8 Y66GYS9RW8
| URI | m2://inv/Y66GYS9RW8 |
|---|---|
| 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.15169#8BIQ (statement). In V7SN19J84T/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Y66KX5VY5Z Y66KX5VY5Z
| URI | m2://inv/Y66KX5VY5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.01860#H2QH (statement). In 8HYS0MFE25/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Y66NN6A0Q8 Y66NN6A0Q8
| URI | m2://inv/Y66NN6A0Q8 |
|---|---|
| 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 1909.03896#0MK4 (statement). In CX9RVPQVBM/e1, fact 1
History
- 2026-10-27: add by m2/v0.3.5
function, retraction Y66Q36J8Z2
| URI | m2://inv/Y66Q36J8Z2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.6/function-retraction, function, retraction (concept). In N54F33XE07, index, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
Photographic memory Y66QVM7QDG
| URI | m2://inv/Y66QVM7QDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#E75P, Photographic memory (unknown)
History
- 2026-11-02: add by m2/dev
Y66RENR6TW Y66RENR6TW
| URI | m2://inv/Y66RENR6TW |
|---|---|
| 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.27699#6D51 (statement)
History
- 2026-11-01: add by m2/v0.6.15
spin-statistics theorem Y66Y7D0ZDZ
| URI | m2://inv/Y66Y7D0ZDZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q523876, Spin–statistics theorem (statement). Also Wikidata Q523876
- thousand_plus: thousand_plus Q523876, Spin–statistics theorem (statement). Also Wikidata Q523876, Wikipedia Spin–statistics theorem
- wikidata: Wikidata Q523876, spin-statistics theorem (statement). Also nLab spin-statistics theorem
- wikipedia: Wikipedia Spin–statistics theorem, Spin–statistics theorem (statement). Also Wikidata Q523876
History
- 2026-10-26: add by m2/dev
Y670SWA9VC Y670SWA9VC
| URI | m2://inv/Y670SWA9VC |
|---|---|
| Kind | example |
| 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.26337#6DG9 (example)
History
- 2026-11-01: add by m2/v0.6.15
Sharpness of the weak fine index Y6717B9C3H
| URI | m2://inv/Y6717B9C3H |
|---|---|
| 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.00292#6TTK, Sharpness of the weak fine index (statement). In NX3EFW0D0X/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Mestre bound Y67548PQCY
| URI | m2://inv/Y67548PQCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mestre bound, Mestre bound (definition). Also Wikidata Q16908682
History
- 2026-11-02: add by m2/dev
subharmonic Y675F06RCG
| URI | m2://inv/Y675F06RCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#1BGD, subharmonic (definition)
History
- 2026-11-02: add by m2/dev
Y677CJNRGT Y677CJNRGT
| URI | m2://inv/Y677CJNRGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10372#DN3K (statement). In P77W283VXT/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.10
Y677TGY7C7 Y677TGY7C7
| URI | m2://inv/Y677TGY7C7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#K17J (statement). In A02X6MX28Y/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Y67PKZARK0 Y67PKZARK0
| URI | m2://inv/Y67PKZARK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00339#174E (statement). In ZRG6NY1ECH/e1, lemma 14
History
- 2026-10-30: add by m2/v0.4.12
Pierre-Louis Moreau de Maupertuis Y67ZT62EQM
| URI | m2://inv/Y67ZT62EQM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q164374, Pierre-Louis Moreau de Maupertuis (unknown). Also ProofWiki Mathematician:Pierre_Louis_Moreau_de_Maupertuis
History
- 2026-10-26: add by m2/dev
Definition Y684VFEY17
| URI | m2://inv/Y684VFEY17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial map#3IN9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Y688WSGBH4 Y688WSGBH4
| URI | m2://inv/Y688WSGBH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#QHK1 (statement). In VN084GGZGK/e1, proposition 5.23
History
- 2026-10-28: add by m2/v0.4.3
Sum of angles of a triangle Y68B8438SD
| URI | m2://inv/Y68B8438SD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum of angles of a triangle, Sum of angles of a triangle (definition). Also Wikidata Q7840113
History
- 2026-11-02: add by m2/dev
weighted graph Y68HZPP8XQ
| URI | m2://inv/Y68HZPP8XQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1723971, weighted graph (unknown). Also MathWorld WeightedGraph
History
- 2026-10-26: add by m2/dev
Y68K2PS8H2 Y68K2PS8H2
| URI | m2://inv/Y68K2PS8H2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27114#SWM0 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hironari Miyazawa Y68K37J8PK
| URI | m2://inv/Y68K37J8PK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q563068, Hironari Miyazawa (unknown). Also nLab Hironari Miyazawa
History
- 2026-10-26: add by m2/dev
Alternate proof of Bolzano--Weierstrass Y68KKA7X7G
| URI | m2://inv/Y68KKA7X7G |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-19, Alternate proof of Bolzano--Weierstrass (proof). In E59CDZA4DP, proof, section 10.3.3
History
- 2026-11-01: add by m2/v0.6.13
The axioms of Zermelo set theory Y68M5SZCSR
| URI | m2://inv/Y68M5SZCSR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo set theory#TPG7, The axioms of Zermelo set theory (statement)
History
- 2026-11-02: add by m2/dev
Definition (Harris recurrence) Y68MYC7HFK
| URI | m2://inv/Y68MYC7HFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain Monte Carlo#UDAC, Definition (Harris recurrence) (definition)
History
- 2026-11-02: add by m2/dev
Compound of eight octahedra with rotational freedom Y68PF9ECDE
| URI | m2://inv/Y68PF9ECDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#IIRY, Compound of eight octahedra with rotational freedom (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0FKA, Compound of eight octahedra with rotational freedom (definition)
History
- 2026-11-02: add by m2/dev
Examples Y68XP4N02G
| URI | m2://inv/Y68XP4N02G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded set (topological vector space)#6963, Examples (example)
History
- 2026-11-02: add by m2/dev
Current-feedback value bound for fixed $G$ Y693ASCN1C
| URI | m2://inv/Y693ASCN1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32083#89SL, Current-feedback value bound for fixed $G$ (statement). In 7H843YN8HK/e1, theorem A.11
History
- 2026-10-31: add by m2/v0.5.6
Y699Y6T06Y Y699Y6T06Y
| URI | m2://inv/Y699Y6T06Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-4.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Small-ball anticoncentration Y69AMX4P6H
| URI | m2://inv/Y69AMX4P6H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08708#T6HB, Small-ball anticoncentration (statement). In TMMJKY66KY/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Allison, David B. Y69C9SGJTC
| URI | m2://inv/Y69C9SGJTC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1936, Allison, David B. (topic)
History
- 2026-11-02: add by m2/dev
Riesz–Fischer theorem Y69W9YRPZS
| URI | m2://inv/Y69W9YRPZS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 4 |
| Outcome | open |
| Node | Riesz–Fischer theorem WVV4MFB2SE |
Mentions
- mathlib_1000: mathlib_1000 Q643513, Riesz–Fischer theorem (statement). Also Wikidata Q643513
- thousand_plus: thousand_plus Q643513, Riesz–Fischer theorem (statement). Also Wikidata Q643513, Wikipedia Riesz–Fischer theorem
- wikidata: Wikidata Q643513, Riesz–Fischer theorem (statement). Also EoM Riesz-Fischer_theorem, MathWorld Riesz-FischerTheorem
- wikipedia: Wikipedia Riesz–Fischer theorem, Riesz–Fischer theorem (statement). Also Wikidata Q643513
History
- 2026-10-26: add by m2/dev
Y69WYRW67D Y69WYRW67D
| URI | m2://inv/Y69WYRW67D |
|---|---|
| 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 2609.29759#TGXA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Y6A3KG0ZDP Y6A3KG0ZDP
| URI | m2://inv/Y6A3KG0ZDP |
|---|---|
| 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.29170#9YZ6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Proving the theorems Y6A5YT3R8Z
| URI | m2://inv/Y6A5YT3R8Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme value theorem#G3HI, Proving the theorems (statement)
History
- 2026-11-02: add by m2/dev
Eun Sug Park Y6AC1343XJ
| URI | m2://inv/Y6AC1343XJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#HOXX, Eun Sug Park (unknown)
History
- 2026-11-02: add by m2/dev
Y6AEQ3A9RV Y6AEQ3A9RV
| URI | m2://inv/Y6AEQ3A9RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/identity.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 11.4
History
- 2026-11-01: add by m2/v0.6.13
Y6AS9NG6G1 Y6AS9NG6G1
| URI | m2://inv/Y6AS9NG6G1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#H3MI (definition). In 1QSCT53ZED/e1, definition 2.24
History
- 2026-10-27: add by m2/v0.4.0
degrees of free points on twisted curves Y6ASTPX307
| URI | m2://inv/Y6ASTPX307 |
|---|---|
| Kind | problem |
| 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.09298#G8VL, degrees of free points on twisted curves (problem). In 1SPQ4J3AWY/e1, problem 9.4
History
- 2026-10-29: add by m2/v0.4.10
hyperplane bundle Y6AT7XCEGX
| URI | m2://inv/Y6AT7XCEGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#2O66, hyperplane bundle (definition)
History
- 2026-11-02: add by m2/dev
Sándor Csörgő Y6B10SQ29A
| URI | m2://inv/Y6B10SQ29A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sándor Csörgő, Sándor Csörgő (topic). Also Wikidata Q716065
History
- 2026-11-02: add by m2/dev
Y6B3ZCVV15 Y6B3ZCVV15
| URI | m2://inv/Y6B3ZCVV15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25880#YYTX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exact $W_1$ discrepancy Y6B4NFB4EK
| URI | m2://inv/Y6B4NFB4EK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.11814#RTDV, Exact $W_1$ discrepancy (statement). In MXG9FV78NP/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.3
Dihedral group Y6B780K5F6
| URI | m2://inv/Y6B780K5F6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#LPMI, Dihedral group (definition)
History
- 2026-11-02: add by m2/dev
Jinichi Nagumo Y6BB03JJKV
| URI | m2://inv/Y6BB03JJKV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jinichi Nagumo, Jinichi Nagumo (topic). Also Wikidata Q115218506
History
- 2026-11-02: add by m2/dev
Y6BBM2NF95 Y6BBM2NF95
| URI | m2://inv/Y6BBM2NF95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#2MCT (statement). In WAXS6FS388/e1, lemma 4.13
History
- 2026-10-30: add by m2/v0.4.12
Y6BC7KZWJT Y6BC7KZWJT
| URI | m2://inv/Y6BC7KZWJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#SXKM (statement). In 7PACGDW3N7/e1, proposition 11.1
History
- 2026-10-27: add by m2/v0.4.0
Diversity index Y6C07WVNK8
| URI | m2://inv/Y6C07WVNK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diversity index, Diversity index (definition). Also Wikidata Q1230601
History
- 2026-11-02: add by m2/dev
Y6C11TBGTD Y6C11TBGTD
| URI | m2://inv/Y6C11TBGTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#GSWB (statement). In M8F4PDHH3S/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Magidor Y6C2562807
| URI | m2://inv/Y6C2562807 |
|---|---|
| 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.25291#6SQJ, Magidor (statement)
History
- 2026-11-01: add by m2/v0.6.15
Petrovsky lacuna Y6C57MXTXE
| URI | m2://inv/Y6C57MXTXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petrovsky lacuna, Petrovsky lacuna (definition). Also Wikidata Q7179152
History
- 2026-11-02: add by m2/dev
Y6C8GE177Q Y6C8GE177Q
| URI | m2://inv/Y6C8GE177Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#RD7V (statement). In CY1FE8W1ZW/e1, lemma 0.94
History
- 2026-10-27: add by m2/v0.3.5
Y6CRN4PM1V Y6CRN4PM1V
| URI | m2://inv/Y6CRN4PM1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19535#IDBU (statement). In MJXSE9QR4X/e1, proposition 1.3
History
- 2026-10-28: add by m2/v0.4.2
Rebecca Goldin Y6CZE89BQP
| URI | m2://inv/Y6CZE89BQP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rebecca Goldin, Rebecca Goldin (topic). Also Wikidata Q25202742
History
- 2026-11-02: add by m2/dev
Y6D2WWT5GH Y6D2WWT5GH
| URI | m2://inv/Y6D2WWT5GH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#RLMW (statement). In 9ZSNSJRJ5N/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5
Definition Y6D5M17NZJ
| URI | m2://inv/Y6D5M17NZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein's constant#G5AN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Erdős primitive set conjecture Y6DBCA4NZT
| URI | m2://inv/Y6DBCA4NZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#HORS, Erdős primitive set conjecture (unknown)
History
- 2026-11-02: add by m2/dev
Y6DDJQGSF2 Y6DDJQGSF2
| URI | m2://inv/Y6DDJQGSF2 |
|---|---|
| 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.21043#S5O2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Y6DDSS4XMW Y6DDSS4XMW
| URI | m2://inv/Y6DDSS4XMW |
|---|---|
| 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.39992#P0L3 (statement). In WF64CGYVK1/e1, lemma S2
History
- 2026-10-30: add by m2/v0.4.12
Continuity of multiplication Y6DGC5NQWV
| URI | m2://inv/Y6DGC5NQWV |
|---|---|
| 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 2410.06788#IXY9, Continuity of multiplication (statement). In B2VE3JQZD3/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Y6DQCEZ0QR Y6DQCEZ0QR
| URI | m2://inv/Y6DQCEZ0QR |
|---|---|
| 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.12480#GNWB (statement). In 585QYGX4X6/e1, lemma 29
History
- 2026-10-28: add by m2/v0.4.2
perfect fluid Y6DWR77BYS
| URI | m2://inv/Y6DWR77BYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q613845, perfect fluid (definition). Also ProofWiki Definition:Fluid/Ideal
- wikipedia: Wikipedia Perfect fluid, Perfect fluid (definition). Also Wikidata Q613845
History
- 2026-10-26: add by m2/dev
Y6E4CS3ES5 Y6E4CS3ES5
| URI | m2://inv/Y6E4CS3ES5 |
|---|---|
| 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 0810.0962#0NZ1 (statement). In 80YMRN5KS9/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Serge Vaudenay Y6E524AZAD
| URI | m2://inv/Y6E524AZAD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OGMK, Serge Vaudenay (unknown)
History
- 2026-11-02: add by m2/dev
Strong Markov Property Y6E9H4ZPMK
| URI | m2://inv/Y6E9H4ZPMK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06321#WT05, Strong Markov Property (definition). In PGV1116XX4/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Tree spanner Y6EAPMHDRN
| URI | m2://inv/Y6EAPMHDRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree spanner, Tree spanner (definition). Also Wikidata Q7837638
History
- 2026-11-02: add by m2/dev
Y6EDRJ99WX Y6EDRJ99WX
| URI | m2://inv/Y6EDRJ99WX |
|---|---|
| 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 2609.21098#29NP (statement)
History
- 2026-11-02: add by m2/v0.6.18
analytic continuation Y6EJ6YD9CA
| URI | m2://inv/Y6EJ6YD9CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#CBWB, analytic continuation (definition)
History
- 2026-11-02: add by m2/dev
Secure file transfer program Y6EK00VHF8
| URI | m2://inv/Y6EK00VHF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure file transfer program, Secure file transfer program (definition). Also Wikidata Q7444872
History
- 2026-11-02: add by m2/dev
Y6EQ7ATH1A Y6EQ7ATH1A
| URI | m2://inv/Y6EQ7ATH1A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/complete-consistent-sets.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 9.10
History
- 2026-11-01: add by m2/v0.6.13
Properties Y6ERH4BW9Y
| URI | m2://inv/Y6ERH4BW9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace operator#BJVW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Differentiability of the optimal log-likelihood Y6ERKS5P17
| URI | m2://inv/Y6ERKS5P17 |
|---|---|
| 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.23903#O46X, Differentiability of the optimal log-likelihood (statement)
History
- 2026-11-02: add by m2/v0.6.17
Olivier Ramaré Y6F9EVWTN1
| URI | m2://inv/Y6F9EVWTN1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PZ9X, Olivier Ramaré (topic)
History
- 2026-11-02: add by m2/dev
Y6FDZSZ6A1 Y6FDZSZ6A1
| URI | m2://inv/Y6FDZSZ6A1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#Y8EX (statement). In 55QFMZQ5HM/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.6
Infinity sets Y6FJEAMCYN
| URI | m2://inv/Y6FJEAMCYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#9NOZ, Infinity sets (statement). In KM3Q791JY0/e1, proposition 3.15
History
- 2026-10-27: add by m2/v0.4.2
Mixed strategy Y6FM3JS86C
| URI | m2://inv/Y6FM3JS86C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#3XRL, Mixed strategy (definition)
History
- 2026-11-02: add by m2/dev
Y6FNH6XXVJ Y6FNH6XXVJ
| URI | m2://inv/Y6FNH6XXVJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.28141#4HG2 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Y6FPFN7J94 Y6FPFN7J94
| URI | m2://inv/Y6FPFN7J94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.13464#4AS7 (statement). In JPYGC2R3FC/e1, proposition 7.3
History
- 2026-10-27: add by m2/v0.3.6
Y6FPX1ZMHQ Y6FPX1ZMHQ
| URI | m2://inv/Y6FPX1ZMHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.13715#N0NX (statement). In FAVGZDVJS9/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Y6FZF8Y7B0 Y6FZF8Y7B0
| URI | m2://inv/Y6FZF8Y7B0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#89EW (statement). In HVGT9D84WV/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Y6FZPXBNAQ Y6FZPXBNAQ
| URI | m2://inv/Y6FZPXBNAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20783#DR6V (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pre-fixed dynamics Y6G2PZSNKZ
| URI | m2://inv/Y6G2PZSNKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#XFDO, Pre-fixed dynamics (statement). In XK6H7F2F13/e1, proposition 4.14
History
- 2026-10-30: add by m2/v0.4.12
Y6G6PWW0TZ Y6G6PWW0TZ
| URI | m2://inv/Y6G6PWW0TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22338#9XKU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Y6G7XPZGA1 Y6G7XPZGA1
| URI | m2://inv/Y6G7XPZGA1 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19954#8FQ8 (problem). In AXPPYWYJZ5/e1, problem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Tommaso Dorigo Y6GCN3YKN7
| URI | m2://inv/Y6GCN3YKN7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96691258, Tommaso Dorigo (unknown). Also nLab Tommaso Dorigo
History
- 2026-10-26: add by m2/dev
Y6GCV0C8NE Y6GCV0C8NE
| URI | m2://inv/Y6GCV0C8NE |
|---|---|
| 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.23526#PX1X (statement)
History
- 2026-11-02: add by m2/v0.6.17
Anatole Litvak Y6GCWE98Q0
| URI | m2://inv/Y6GCWE98Q0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#L6FP, Anatole Litvak (unknown)
History
- 2026-11-02: add by m2/dev
Y6GPGA9EW2 Y6GPGA9EW2
| URI | m2://inv/Y6GPGA9EW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29152#KXAJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Twyford, Hampshire Y6H15ZKXXH
| URI | m2://inv/Y6H15ZKXXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YFCF, Twyford, Hampshire (unknown)
History
- 2026-11-02: add by m2/dev
Termination degree zero Y6H4PHV3SB
| URI | m2://inv/Y6H4PHV3SB |
|---|---|
| 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#2C9R, Termination degree zero (statement). In 7GMD8J4200/e1, corollary 5
History
- 2026-10-27: add by m2/v0.4.2
Future of mathematics Y6H4SY60ZT
| URI | m2://inv/Y6H4SY60ZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Future of mathematics, Future of mathematics (definition). Also Wikidata Q5510835
History
- 2026-11-02: add by m2/dev
Y6HA488V4D Y6HA488V4D
| URI | m2://inv/Y6HA488V4D |
|---|---|
| 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.24297#6VJA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mordechai Finzi Y6HJAGTYDQ
| URI | m2://inv/Y6HJAGTYDQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#6JIV, Mordechai Finzi (topic)
History
- 2026-11-02: add by m2/dev
Elkies trinomial curves Y6HM9E7Z5F
| URI | m2://inv/Y6HM9E7Z5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#ES3H, Elkies trinomial curves (definition)
- wikipedia: Wikipedia List of curves#CH92, Elkies trinomial curves (definition)
History
- 2026-11-02: add by m2/dev
Y6HQ01K3HN Y6HQ01K3HN
| URI | m2://inv/Y6HQ01K3HN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-5 (exercise). In E9HS8K3A52, exercise, section 3.1.5
History
- 2026-11-01: add by m2/v0.6.13
Matrix gamma distribution Y6HTVQQNAT
| URI | m2://inv/Y6HTVQQNAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#R1OR, Matrix gamma distribution (definition)
History
- 2026-11-02: add by m2/dev
primitive, constant Y6JDMCG1N9
| URI | m2://inv/Y6JDMCG1N9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.1/primitive-constant, primitive, constant (concept). In N54F33XE07, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Open-label trial Y6JDY7EQCW
| URI | m2://inv/Y6JDY7EQCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#I3KV, Open-label trial (definition)
History
- 2026-11-02: add by m2/dev
Y6JX5BR8CN Y6JX5BR8CN
| URI | m2://inv/Y6JX5BR8CN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#IZZF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Forgetron Y6K1DT1DEP
| URI | m2://inv/Y6K1DT1DEP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel perceptron#K0CU, Forgetron (unknown)
History
- 2026-11-02: add by m2/dev
Asymptotic normality Y6K2QQQ2D3
| URI | m2://inv/Y6K2QQQ2D3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4SDX, Asymptotic normality (definition)
History
- 2026-11-02: add by m2/dev
Scott Y6K4B6GF6T
| URI | m2://inv/Y6K4B6GF6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Y50O, Scott (definition)
History
- 2026-11-02: add by m2/dev
Y6K94J9M1B Y6K94J9M1B
| URI | m2://inv/Y6K94J9M1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#WFXF (statement). In RBQ5FNCVNZ/e1, corollary 5.6
History
- 2026-10-30: add by m2/v0.4.12
Recency effect Y6K9Y00ATH
| URI | m2://inv/Y6K9Y00ATH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#CLEA, Recency effect (unknown)
History
- 2026-11-02: add by m2/dev
Y6KGPVP5M3 Y6KGPVP5M3
| URI | m2://inv/Y6KGPVP5M3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#7006 (statement). In S7PNTM0GZC/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Information frontier Y6KK9M3EVJ
| URI | m2://inv/Y6KK9M3EVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12211#4PB3, Information frontier (statement). In WBC7PQTVYC/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Y6KPTHRXDJ Y6KPTHRXDJ
| URI | m2://inv/Y6KPTHRXDJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-31 (exercise). In E59CDZA4DP, exercise, section 10.2.5
History
- 2026-11-01: add by m2/v0.6.13
mean value theorem Y6M31JE5FY
| URI | m2://inv/Y6M31JE5FY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.2.3/mean-value-theorem, mean value theorem (concept). In E59CDZA4DP, index, section 3.2.3
History
- 2026-11-01: add by m2/v0.6.13
Y6M9EHCPTV Y6M9EHCPTV
| URI | m2://inv/Y6M9EHCPTV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#2HFZ (statement). In YKD51BX3XB/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.4.2
Y6M9XMSWQY Y6M9XMSWQY
| URI | m2://inv/Y6M9XMSWQY |
|---|---|
| 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.21036#RF9L (statement). In G0M4N3E0CG/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
Y6MD7XA6VB Y6MD7XA6VB
| URI | m2://inv/Y6MD7XA6VB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15106#Y8WA (statement). In N3ZQJ2G8SS/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
Definition Y6MGV86J7S
| URI | m2://inv/Y6MGV86J7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous binomial distribution#WVW9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sylvestre François Lacroix Y6MGYQ2BY4
| URI | m2://inv/Y6MGYQ2BY4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvestre François Lacroix, Sylvestre François Lacroix (topic). Also Wikidata Q983382
History
- 2026-11-02: add by m2/dev
Cauchy horizon Y6MNR3FCJW
| URI | m2://inv/Y6MNR3FCJW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2470767, Cauchy horizon (concept). Also nLab Cauchy horizon
History
- 2026-10-26: add by m2/dev
PBW form at the special fiber Y6MR9K1GG4
| URI | m2://inv/Y6MR9K1GG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#P48X, PBW form at the special fiber (statement). In 1KRZ5ACTKE/e1, proposition 6.6
History
- 2026-10-29: add by m2/v0.4.12
Y6MRP7Y3MZ Y6MRP7Y3MZ
| URI | m2://inv/Y6MRP7Y3MZ |
|---|---|
| Kind | problem |
| 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.13585#RVW9 (problem). In VM1H86JNN7/e1, problem question
History
- 2026-10-28: add by m2/v0.4.2
Anupam Saikia Y6MX58FR2B
| URI | m2://inv/Y6MX58FR2B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ULGL, Anupam Saikia (topic)
History
- 2026-11-02: add by m2/dev
Y6MZGQ4NZ1 Y6MZGQ4NZ1
| URI | m2://inv/Y6MZGQ4NZ1 |
|---|---|
| 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 2409.20170#59VV (statement). In QXJP79APHN/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.5
Y6N1RG3GW1 Y6N1RG3GW1
| URI | m2://inv/Y6N1RG3GW1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33946#SZOZ (definition). In T61D8EZH24/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Garry Tee Y6N7MWCKFX
| URI | m2://inv/Y6N7MWCKFX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Garry Tee, Garry Tee (topic). Also Wikidata Q102188829
History
- 2026-11-02: add by m2/dev
Y6NMNRXPWH Y6NMNRXPWH
| URI | m2://inv/Y6NMNRXPWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#K266 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Y6NMPQX3YZ Y6NMPQX3YZ
| URI | m2://inv/Y6NMPQX3YZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.38735#XLT2 (statement). In XZ71J0DQSE/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
Y6NN4BGYH8 Y6NN4BGYH8
| URI | m2://inv/Y6NN4BGYH8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33383#K0VU (statement). In 8AHWRHTP5G/e1, lemma 12
History
- 2026-10-30: add by m2/v0.4.12
Y6P0ZJ9ESC Y6P0ZJ9ESC
| URI | m2://inv/Y6P0ZJ9ESC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#7D9F (definition)
History
- 2026-11-02: add by m2/v0.6.17
Optimal Control Structure Y6P27W9GF4
| URI | m2://inv/Y6P27W9GF4 |
|---|---|
| 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.02537#UOBJ, Optimal Control Structure (statement). In C9D410HMJ3/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
Shiu-Yuen Cheng Y6P4RQC6RN
| URI | m2://inv/Y6P4RQC6RN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0G6K, Shiu-Yuen Cheng (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#403T, Shiu-Yuen Cheng (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I2FN, Shiu-Yuen Cheng (unknown)
History
- 2026-11-02: add by m2/dev
Daniel Wise Y6P5FC9S78
| URI | m2://inv/Y6P5FC9S78 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WZ15, Daniel Wise (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#THMC, Daniel Wise (topic)
History
- 2026-11-02: add by m2/dev
Construction Y6PHM8V9YH
| URI | m2://inv/Y6PHM8V9YH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tesseract#KAZI, Construction (definition)
History
- 2026-11-02: add by m2/dev
Y6PKC69ZN3 Y6PKC69ZN3
| URI | m2://inv/Y6PKC69ZN3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16877#FYFH (statement). In YY4KFNMPC0/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Examples and counterexamples Y6PRKTT62R
| URI | m2://inv/Y6PRKTT62R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally compact group#51GE, Examples and counterexamples (example)
History
- 2026-11-02: add by m2/dev
E Y6PWCCHG5K
| URI | m2://inv/Y6PWCCHG5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E (complexity), E (definition). Also Wikidata Q1276623
History
- 2026-11-02: add by m2/dev
Y6PXE4X559 Y6PXE4X559
| URI | m2://inv/Y6PXE4X559 |
|---|---|
| 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.24541#WKNZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Predictive sociology Y6Q03MDWZZ
| URI | m2://inv/Y6Q03MDWZZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prediction#8XSR, Predictive sociology (unknown)
History
- 2026-11-02: add by m2/dev
$H^2$ estimate for $\dot\p$ Y6QC3TTFD4
| URI | m2://inv/Y6QC3TTFD4 |
|---|---|
| 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.08434#PXVV, $H^2$ estimate for $\dot\p$ (statement). In VN8087G2FC/e1, lemma 8.14
History
- 2026-10-29: add by m2/v0.4.10
Donald G. Saari Y6QKAQZ6VM
| URI | m2://inv/Y6QKAQZ6VM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald G. Saari, Donald G. Saari (topic). Also Wikidata Q560834
History
- 2026-11-02: add by m2/dev
Y6QPAP2EJQ Y6QPAP2EJQ
| URI | m2://inv/Y6QPAP2EJQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
Definition Y6QSTY42ZS
| URI | m2://inv/Y6QSTY42ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial autocorrelation function#8JOH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hilbert weak order Y6QW8N7B4C
| URI | m2://inv/Y6QW8N7B4C |
|---|---|
| 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.25026#FKK9, Hilbert weak order (statement)
History
- 2026-11-01: add by m2/v0.6.15
Scaling Identity for the $\kappa$-Exponential Function Y6QYJMCWKW
| URI | m2://inv/Y6QYJMCWKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06873#XRBO, Scaling Identity for the $\kappa$-Exponential Function (statement). In R8NHQ41GMX/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
List of important publications in mathematics Y6R4THQ8BN
| URI | m2://inv/Y6R4THQ8BN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#TBYW, List of important publications in mathematics (topic)
History
- 2026-11-02: add by m2/dev
Triangular tiling Y6RD1FT7DR
| URI | m2://inv/Y6RD1FT7DR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Euclidean uniform tilings#HRGD, Triangular tiling (object)
History
- 2026-11-02: add by m2/dev
Y6RJDYHRZ8 Y6RJDYHRZ8
| URI | m2://inv/Y6RJDYHRZ8 |
|---|---|
| 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 2210.02261#P2E3 (statement). In TT74R659T0/e1, corollary 0.24
History
- 2026-10-27: add by m2/v0.3.5
Y6RMWDK6PR Y6RMWDK6PR
| URI | m2://inv/Y6RMWDK6PR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06455#4LCF (statement). In N6GB5J5BAY/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.10
Huisken's monotonicity formula Y6S288V6DS
| URI | m2://inv/Y6S288V6DS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huisken's monotonicity formula, Huisken's monotonicity formula (statement). Also Wikidata Q25304377
History
- 2026-11-02: add by m2/dev
Examples Y6S2FPJG7H
| URI | m2://inv/Y6S2FPJG7H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis (linear algebra)#PZE3, Examples (example)
History
- 2026-11-02: add by m2/dev
ratio test Y6S6N11T8C
| URI | m2://inv/Y6S6N11T8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#SVM2, ratio test (definition)
History
- 2026-11-02: add by m2/dev
Y6SKPDTCNH Y6SKPDTCNH
| URI | m2://inv/Y6SKPDTCNH |
|---|---|
| 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 2403.01959#3WVP (definition). In 5YMNGJRC6Y/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Y6SNZ1QNHE Y6SNZ1QNHE
| URI | m2://inv/Y6SNZ1QNHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#definition-4 (definition). In RZP28ERRZV, definition, section 41.3
History
- 2026-11-01: add by m2/v0.6.13
Y6ST91A9JV Y6ST91A9JV
| URI | m2://inv/Y6ST91A9JV |
|---|---|
| Kind | definition |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Tadashi Nakayama Y6SVSRX4WC
| URI | m2://inv/Y6SVSRX4WC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tadashi Nakayama (mathematician), Tadashi Nakayama (topic). Also Wikidata Q324943
History
- 2026-11-02: add by m2/dev
Bienaymé's identity Y6SZ77RQP1
| URI | m2://inv/Y6SZ77RQP1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bienaymé's identity, Bienaymé's identity (statement). Also Wikidata Q1530383
History
- 2026-11-02: add by m2/dev
Resolved representative of the derived BV--BFV identity Y6SZEJCRTR
| URI | m2://inv/Y6SZEJCRTR |
|---|---|
| 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#1ZUG, Resolved representative of the derived BV--BFV identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chebyshev–Markov–Stieltjes inequalities Y6T5FCBQK5
| URI | m2://inv/Y6T5FCBQK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev–Markov–Stieltjes inequalities, Chebyshev–Markov–Stieltjes inequalities (definition). Also Wikidata Q5089020
History
- 2026-11-02: add by m2/dev
Y6T6NESYV1 Y6T6NESYV1
| URI | m2://inv/Y6T6NESYV1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-1 (proof). In N54F33XE07, proof, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Example Y6T7HK6SVF
| URI | m2://inv/Y6T7HK6SVF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operand#OVW4, Example (example)
History
- 2026-11-02: add by m2/dev
Examples Y6TD70GDGY
| URI | m2://inv/Y6TD70GDGY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to pity#DXJ1, Examples (example)
History
- 2026-11-02: add by m2/dev
Format-preserving encryption Y6TDQN0W0V
| URI | m2://inv/Y6TDQN0W0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Format-preserving encryption, Format-preserving encryption (definition). Also Wikidata Q5470010
History
- 2026-11-02: add by m2/dev
Y6TEPKKPA9 Y6TEPKKPA9
| URI | m2://inv/Y6TEPKKPA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#K417 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gaussian noise Y6TPM79238
| URI | m2://inv/Y6TPM79238 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian noise, Gaussian noise (definition). Also Wikidata Q2725903
History
- 2026-11-02: add by m2/dev
Reproducing Kernel Hilbert Space Y6TSTVDQGD
| URI | m2://inv/Y6TSTVDQGD |
|---|---|
| Kind | definition |
| 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.34474#HGJ3, Reproducing Kernel Hilbert Space (definition). In R8417G6ABM/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Y6TXD7A094 Y6TXD7A094
| URI | m2://inv/Y6TXD7A094 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#P6RX (example). In HCTYW6VH87/e1, example B.2
History
- 2026-10-27: add by m2/v0.3.5
Y6TYCK6Y85 Y6TYCK6Y85
| URI | m2://inv/Y6TYCK6Y85 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.00832#5NVK (statement). In KM0XEAXFMF/e1, proposition B.4
History
- 2026-10-27: add by m2/v0.3.5
Lemma 1 Y6TZVWW44H
| URI | m2://inv/Y6TZVWW44H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local criterion for flatness#UYDY, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
Theorem Y6V51QME1F
| URI | m2://inv/Y6V51QME1F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harris chain#TBRC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Josip Pečarić Y6V5D4Q3P4
| URI | m2://inv/Y6V5D4Q3P4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Josip Pečarić, Josip Pečarić (topic). Also Wikidata Q6290932
History
- 2026-11-02: add by m2/dev
Longest increasing subsequence problem Y6V8JHRP4S
| URI | m2://inv/Y6V8JHRP4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#JO0S, Longest increasing subsequence problem (definition)
History
- 2026-11-02: add by m2/dev
symmetric bilinear form Y6VB5BXD4P
| URI | m2://inv/Y6VB5BXD4P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Bilinear and quadratic forms > symmetric bilinear form, symmetric bilinear form (unknown). Also Mathlib LinearMap.BilinForm.IsSymm
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > symmetric bilinear forms, symmetric bilinear forms (unknown). Also Mathlib LinearMap.BilinForm.IsSymm
History
- 2026-10-26: add by m2/dev
colatitude Y6VHTRT0KC
| URI | m2://inv/Y6VHTRT0KC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q962585, colatitude (concept). Also MathWorld Colatitude
- wikipedia: Wikipedia Colatitude, Colatitude (definition). Also Wikidata Q962585
History
- 2026-10-26: add by m2/dev
Y6VK8GQSAQ Y6VK8GQSAQ
| URI | m2://inv/Y6VK8GQSAQ |
|---|---|
| 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 2504.14383#RLDF (statement). In QD0X3XJS6T/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Y6VQFTDTQM Y6VQFTDTQM
| URI | m2://inv/Y6VQFTDTQM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10937#KFD5 (definition). In 6VVK3YTABP/e1, definition 2.11
History
- 2026-10-28: add by m2/v0.4.3
Kähler–Einstein manifold Y6VY1XQ22M
| URI | m2://inv/Y6VY1XQ22M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kähler–Einstein metric 6ETEBA8827 |
Mentions
- wikidata: Wikidata Q6453393, Kähler–Einstein manifold (concept). Also EoM Kähler-Einstein_manifold, EoM Kähler-Einstein_metric, nLab Kähler-Einstein manifold
- wikipedia: Wikipedia Kähler–Einstein metric, Kähler–Einstein metric (definition). Also Wikidata Q6453393
History
- 2026-10-26: add by m2/dev
Y6W7KRD2HZ Y6W7KRD2HZ
| URI | m2://inv/Y6W7KRD2HZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2610.15385#VK4U (statement). In HBZXCMYPME/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
Kurt Vogel Y6W9ZH89JD
| URI | m2://inv/Y6W9ZH89JD |
|---|---|
| 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#3WJ3, Kurt Vogel (topic)
- wikipedia: Wikipedia List of German mathematicians#8LN0, Kurt Vogel (topic)
History
- 2026-11-02: add by m2/dev
Monge's theorem Y6WE3JJSY3
| URI | m2://inv/Y6WE3JJSY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QJE1, Monge's theorem (statement)
History
- 2026-11-02: add by m2/dev
Y6WGCYCFB1 Y6WGCYCFB1
| URI | m2://inv/Y6WGCYCFB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#NXRW (statement). In HVGT9D84WV/e1, corollary 1.27
History
- 2026-10-27: add by m2/v0.3.5
Definition Y6WP3AKKCC
| URI | m2://inv/Y6WP3AKKCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delta-ring#PZWL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bendixson–Dulac theorem Y6WSDYHPC2
| URI | m2://inv/Y6WSDYHPC2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NE1D, Bendixson–Dulac theorem (statement)
History
- 2026-11-02: add by m2/dev
Y6WTWZ95JP Y6WTWZ95JP
| URI | m2://inv/Y6WTWZ95JP |
|---|---|
| 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.24675#2965 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Y6WZCFPS96 Y6WZCFPS96
| URI | m2://inv/Y6WZCFPS96 |
|---|---|
| Kind | example |
| 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.28495#TQXT (example)
History
- 2026-11-01: add by m2/v0.6.15
Y6X09VKY9Y Y6X09VKY9Y
| URI | m2://inv/Y6X09VKY9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.00077#8THR (statement). In 25WX007DJ1/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Y6X23G42AC Y6X23G42AC
| URI | m2://inv/Y6X23G42AC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-2 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
cut, Dedekind Y6X42M8581
| URI | m2://inv/Y6X42M8581 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.3/cut-dedekind, cut, Dedekind (concept). In N54F33XE07, index, section B.2.3
History
- 2026-11-01: add by m2/v0.6.13
TI-35 Y6X634FW0R
| URI | m2://inv/Y6X634FW0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TI-35, TI-35 (definition). Also Wikidata Q7670309
History
- 2026-11-02: add by m2/dev
Y6XC7K3V1J Y6XC7K3V1J
| URI | m2://inv/Y6XC7K3V1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17240#MB0J (statement). In 59BZ4V9RQW/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
\textsf{Finite-variance continuous-time BMD principle Y6XH4Y5FSZ
| URI | m2://inv/Y6XH4Y5FSZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09404#WFOP, \textsf{Finite-variance continuous-time BMD principle (statement). In D7CZZ48FRN/e1, corollary 1.5
History
- 2026-10-29: add by m2/v0.4.10
Y6XNF5B8RV Y6XNF5B8RV
| URI | m2://inv/Y6XNF5B8RV |
|---|---|
| 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 2405.05684#9NGB (definition). In 1PR73ECTZB/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
Alice Guionnet Y6XPAM6G8R
| URI | m2://inv/Y6XPAM6G8R |
|---|---|
| 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#DKBA, Alice Guionnet (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XHXG, Alice Guionnet (topic)
History
- 2026-11-02: add by m2/dev
Monotonic map Y6XYRTFBYK
| URI | m2://inv/Y6XYRTFBYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotonic function#7GXO, Monotonic map (unknown)
History
- 2026-11-02: add by m2/dev
Reserved area Y6Y9XDPJTV
| URI | m2://inv/Y6Y9XDPJTV |
|---|---|
| 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.28791#7SNE, Reserved area (statement)
History
- 2026-11-01: add by m2/v0.6.15
Linearization of covers Y6YMZCZ5D3
| URI | m2://inv/Y6YMZCZ5D3 |
|---|---|
| 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 2609.32733#HQ4L, Linearization of covers (definition). In PCAS8S14J6/e1, definition B.5
History
- 2026-10-31: add by m2/v0.5.6
Y6YP145DYG Y6YP145DYG
| URI | m2://inv/Y6YP145DYG |
|---|---|
| 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.25896#TWYM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bernstein parametrization Y6YST7PYSD
| URI | m2://inv/Y6YST7PYSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21363#W8Z7, Bernstein parametrization (statement). In YPH7NS5AAQ/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
Y6YZ72F471 Y6YZ72F471
| URI | m2://inv/Y6YZ72F471 |
|---|---|
| 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.15472#51DG (statement). In 5Z3FH46YSY/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Construction Y6Z0EKN6V7
| URI | m2://inv/Y6Z0EKN6V7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantellated tesseract#4DHL, Construction (definition)
History
- 2026-11-02: add by m2/dev
Y6Z0SGH7VT Y6Z0SGH7VT
| URI | m2://inv/Y6Z0SGH7VT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#O0W5 (statement). In D6XA7JXZF3/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.5
Y6Z1NDD803 Y6Z1NDD803
| URI | m2://inv/Y6Z1NDD803 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#LA9Q (statement). In CY1FE8W1ZW/e1, corollary 0.5
History
- 2026-10-27: add by m2/v0.3.5
Y6Z5ATQQ5V Y6Z5ATQQ5V
| URI | m2://inv/Y6Z5ATQQ5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27635#PXSN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Laplacian and Laplacian bounds Y6Z6TW8RJT
| URI | m2://inv/Y6Z6TW8RJT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#E5B3, Laplacian and Laplacian bounds (definition). In 49V3ANDZTY/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Y6Z9ZN6ND6 Y6Z9ZN6ND6
| URI | m2://inv/Y6Z9ZN6ND6 |
|---|---|
| Kind | definition |
| 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.32033#9FTQ (definition). In 17W5G060QX/e1, definition 5.2
History
- 2026-10-31: add by m2/v0.5.6
Polynomial Diophantine equation Y6ZA5FX995
| URI | m2://inv/Y6ZA5FX995 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial Diophantine equation, Polynomial Diophantine equation (definition). Also Wikidata Q7226630
History
- 2026-11-02: add by m2/dev
Statement Y6ZF1TRV6V
| URI | m2://inv/Y6ZF1TRV6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rodrigues' rotation formula#1EZC, Statement (statement)
History
- 2026-11-02: add by m2/dev
Dan Romik Y6ZG4W2JMB
| URI | m2://inv/Y6ZG4W2JMB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dan Romik, Dan Romik (topic). Also Wikidata Q102302818
History
- 2026-11-02: add by m2/dev
Y6ZTBGE2JV Y6ZTBGE2JV
| URI | m2://inv/Y6ZTBGE2JV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#HWYN (statement)
History
- 2026-11-01: add by m2/v0.6.15
diagram Y6ZXR64NFF
| URI | m2://inv/Y6ZXR64NFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#4RV1, diagram (definition)
History
- 2026-11-02: add by m2/dev