Inventory rows J5
The cards of the rows of the inventory whose ids start with J5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Fishburn's Theorem J5091897G9
| URI | m2://inv/J5091897G9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_intervalorder.ptx#thm_fishburn, Fishburn's Theorem (statement). In QKM9DD2H56, theorem, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
sampling by all powers J50M70Q7AA
| URI | m2://inv/J50M70Q7AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#S7DC, sampling by all powers (statement)
History
- 2026-11-01: add by m2/v0.6.15
Grötzsch's theorem J50M82P7X1
| URI | m2://inv/J50M82P7X1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5612871, Grötzsch's theorem (statement). Also Wikidata Q5612871
- thousand_plus: thousand_plus Q5612871, Grötzsch's theorem (statement). Also Wikidata Q5612871, Wikipedia Grötzsch's theorem
- wikipedia: Wikipedia Grötzsch's theorem, Grötzsch's theorem (statement). Also Wikidata Q5612871
History
- 2026-10-26: add by m2/dev
$\mathrm{t}$-structure J50Q1T0Y3Z
| URI | m2://inv/J50Q1T0Y3Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#1M8W, $\mathrm{t}$-structure (definition). In G3D1YR20BJ/e1, definition A.26
History
- 2026-10-29: add by m2/v0.4.12
J50RMEJM2A J50RMEJM2A
| URI | m2://inv/J50RMEJM2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#A87B (statement)
History
- 2026-11-01: add by m2/v0.6.15
J50S4K625A J50S4K625A
| URI | m2://inv/J50S4K625A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#Z2A5 (statement). In DZ12XTTJSM/e1, proposition 4.13
History
- 2026-10-28: add by m2/v0.4.2
Moving-cluster method J50XDB3K5H
| URI | m2://inv/J50XDB3K5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving-cluster method, Moving-cluster method (definition). Also Wikidata Q3855650
History
- 2026-11-02: add by m2/dev
Levi J512FCBTXX
| URI | m2://inv/J512FCBTXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#S60M, Levi (definition)
History
- 2026-11-02: add by m2/dev
Hippocrates of Chios J519H554ES
| URI | m2://inv/J519H554ES |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q312629, Hippocrates of Chios (unknown). Also ProofWiki Mathematician:Hippocrates_of_Chios
- wikipedia: Wikipedia Hippocrates of Chios, Hippocrates of Chios (topic). Also Wikidata Q312629
History
- 2026-10-26: add by m2/dev
J51HSV088X J51HSV088X
| URI | m2://inv/J51HSV088X |
|---|---|
| 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.17871#XZ71 (statement). In H17E7PBG1M/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
J51KGPFH8B J51KGPFH8B
| URI | m2://inv/J51KGPFH8B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-61 (exercise). In E59CDZA4DP, exercise, section 2.5.4
History
- 2026-11-01: add by m2/v0.6.13
J51Y0BSJ5W J51Y0BSJ5W
| URI | m2://inv/J51Y0BSJ5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#N0PJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
J525FFB0RS J525FFB0RS
| URI | m2://inv/J525FFB0RS |
|---|---|
| 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 2609.23528#BJVE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Isometric projection J528AE092V
| URI | m2://inv/J528AE092V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#CM3O, Isometric projection (unknown)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#W9J0, Isometric projection (unknown)
History
- 2026-11-02: add by m2/dev
J52BMKHBFZ J52BMKHBFZ
| URI | m2://inv/J52BMKHBFZ |
|---|---|
| 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.00103#F44M (statement). In S7RDXJWP1A/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
The Net (substance) J52C6TV07V
| URI | m2://inv/J52C6TV07V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isaac Newton#R5ZK, The Net (substance) (unknown)
History
- 2026-11-02: add by m2/dev
J52CXZ0SP6 J52CXZ0SP6
| URI | m2://inv/J52CXZ0SP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#21W9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Chris Hall J52JVYBJJY
| URI | m2://inv/J52JVYBJJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chris Hall (cryptographer), Chris Hall (topic). Also Wikidata Q5106764
History
- 2026-11-02: add by m2/dev
Noether's theorem J52NQPWAZP
| URI | m2://inv/J52NQPWAZP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrangian mechanics#3Y1F, Noether's theorem (statement)
History
- 2026-11-02: add by m2/dev
Covariant derivative estimates J52P30VNWH
| URI | m2://inv/J52P30VNWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#KZYP, Covariant derivative estimates (statement). In RYWAX33Z51/e1, lemma 4.12
History
- 2026-10-31: add by m2/v0.5.6
J52Q3BBJRH J52Q3BBJRH
| URI | m2://inv/J52Q3BBJRH |
|---|---|
| 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.24584#6KPV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Trigonometry of a tetrahedron J52T6QS2HX
| URI | m2://inv/J52T6QS2HX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometry of a tetrahedron, Trigonometry of a tetrahedron (definition). Also Wikidata Q25109970
History
- 2026-11-02: add by m2/dev
J52ZENSFE4 J52ZENSFE4
| URI | m2://inv/J52ZENSFE4 |
|---|---|
| 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.19545#IIPR (statement). In MKNMVBEYK2/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
tungsten J534P5PQKF
| URI | m2://inv/J534P5PQKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q743, tungsten (definition). Also ProofWiki Definition:Tungsten
History
- 2026-10-26: add by m2/dev
Comp128v2 J53506PJMX
| URI | m2://inv/J53506PJMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia COMP128#6J7V, Comp128v2 (unknown)
History
- 2026-11-02: add by m2/dev
BCK algebra J53A2ZQ927
| URI | m2://inv/J53A2ZQ927 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCK algebra, BCK algebra (definition). Also Wikidata Q4835181
History
- 2026-11-02: add by m2/dev
Applications J53CGA7SYN
| URI | m2://inv/J53CGA7SYN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multitaper#ON19, Applications (example)
History
- 2026-11-02: add by m2/dev
Valérie Chavez-Demoulin J53E24ETE8
| URI | m2://inv/J53E24ETE8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valérie Chavez-Demoulin, Valérie Chavez-Demoulin (topic). Also Wikidata Q102270941
History
- 2026-11-02: add by m2/dev
Metric space aimed at its subspace J53J3P5HRP
| URI | m2://inv/J53J3P5HRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric space aimed at its subspace, Metric space aimed at its subspace (definition). Also Wikidata Q6824328
History
- 2026-11-02: add by m2/dev
equicharacteristic J53J81JR64
| URI | m2://inv/J53J81JR64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#36GI, equicharacteristic (definition)
History
- 2026-11-02: add by m2/dev
Jean-Pierre Sydler J53K776MAM
| URI | m2://inv/J53K776MAM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Pierre Sydler, Jean-Pierre Sydler (topic). Also Wikidata Q6169961
History
- 2026-11-02: add by m2/dev
Gérard Iooss J545N72AWG
| URI | m2://inv/J545N72AWG |
|---|---|
| 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#68WV, Gérard Iooss (topic)
History
- 2026-11-02: add by m2/dev
J546Q1MJW4 J546Q1MJW4
| URI | m2://inv/J546Q1MJW4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#3XB8 (statement). In DPJ15KW23C/e1, theorem D
History
- 2026-10-30: add by m2/v0.4.12
J5488TMGQM J5488TMGQM
| URI | m2://inv/J5488TMGQM |
|---|---|
| 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 2105.03715#4YZN (statement). In H3FWT3Z0J4/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
J548WWVFDH J548WWVFDH
| URI | m2://inv/J548WWVFDH |
|---|---|
| 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.11369#CJZX (statement). In MEKZJKQHXG/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
J54J8XC70G J54J8XC70G
| URI | m2://inv/J54J8XC70G |
|---|---|
| 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 1902.04230#X2NM (statement). In 22JZ68FGCW/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.3.5
Ludwig Burmester J54PPKSAGT
| URI | m2://inv/J54PPKSAGT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#7WX9, Ludwig Burmester (unknown)
History
- 2026-11-02: add by m2/dev
tensor product J54TSH3HJM
| URI | m2://inv/J54TSH3HJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#ZREO, tensor product (definition)
History
- 2026-11-02: add by m2/dev
J54Z7PMW6T J54Z7PMW6T
| URI | m2://inv/J54Z7PMW6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06764#6RXX (statement). In MSWV3MJ5CE/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.10
J55JST1NET J55JST1NET
| URI | m2://inv/J55JST1NET |
|---|---|
| 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 2511.07697#U18E (statement). In 57P5P33HS3/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
Luitzen Egbertus Jan Brouwer J55TBTJTD9
| URI | m2://inv/J55TBTJTD9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#2F7C, Luitzen Egbertus Jan Brouwer (topic)
History
- 2026-11-02: add by m2/dev
Mathematical principle J56CPB4Z1X
| URI | m2://inv/J56CPB4Z1X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heterodyne#PG26, Mathematical principle (statement)
History
- 2026-11-02: add by m2/dev
Definition J56VZNSJQ7
| URI | m2://inv/J56VZNSJQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equidistant set#FWRO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Aeroacoustics J56Y0E6AZ9
| URI | m2://inv/J56Y0E6AZ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aeroacoustics, Aeroacoustics (topic). Also Wikidata Q381331
History
- 2026-11-02: add by m2/dev
Examples J56ZMHVFZC
| URI | m2://inv/J56ZMHVFZC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Common graph#IZZV, Examples (example)
History
- 2026-11-02: add by m2/dev
fleflecnode J5744P4YKS
| URI | m2://inv/J5744P4YKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#NCXH, fleflecnode (definition)
History
- 2026-11-02: add by m2/dev
Statistical and Applied Mathematical Sciences Institute J575TET00B
| URI | m2://inv/J575TET00B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical and Applied Mathematical Sciences Institute, Statistical and Applied Mathematical Sciences Institute (definition). Also Wikidata Q15995498
History
- 2026-11-02: add by m2/dev
J577F2WBNJ J577F2WBNJ
| URI | m2://inv/J577F2WBNJ |
|---|---|
| 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.06310#NQEV (statement). In WR5S1V9V8J/e1, corollary 5.3
History
- 2026-10-29: add by m2/v0.4.10
J57A78MP7V J57A78MP7V
| URI | m2://inv/J57A78MP7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36725#6JHB (statement). In AR26SZ8JGN/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
J57DGEHQ3C J57DGEHQ3C
| URI | m2://inv/J57DGEHQ3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11902#02KR (statement). In K66QKM4N5E/e1, corollary 3.9
History
- 2026-10-28: add by m2/v0.4.3
Corollary J57DP927A6
| URI | m2://inv/J57DP927A6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex model#IEX8, Corollary (statement)
History
- 2026-11-02: add by m2/dev
J57JD3MFMR J57JD3MFMR
| URI | m2://inv/J57JD3MFMR |
|---|---|
| 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 2609.36377#ITB2 (statement). In M98F6VRPZ2/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
J57MJH2YD2 J57MJH2YD2
| URI | m2://inv/J57MJH2YD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#88DP (statement)
History
- 2026-11-02: add by m2/v0.6.17
BB84 J57XGXBRB9
| URI | m2://inv/J57XGXBRB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BB84, BB84 (definition). Also Wikidata Q2566969
History
- 2026-11-02: add by m2/dev
J57ZDFP7FE J57ZDFP7FE
| URI | m2://inv/J57ZDFP7FE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13475#RD0Z (definition). In P5SQ4CMX42/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.2
J580GPPCS3 J580GPPCS3
| URI | m2://inv/J580GPPCS3 |
|---|---|
| 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.13852#OHR4 (statement). In SXTGSAH3WF/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Ε-topology J5836V0B2D
| URI | m2://inv/J5836V0B2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topologies on spaces of linear maps#GT5M, Ε-topology (unknown)
History
- 2026-11-02: add by m2/dev
Exact spinorial encoding J5846N2R9K
| URI | m2://inv/J5846N2R9K |
|---|---|
| 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.20197#GN8L, Exact spinorial encoding (statement)
History
- 2026-11-02: add by m2/v0.6.18
Dixmier's lemma J58FDF83C3
| URI | m2://inv/J58FDF83C3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20230#S3C0, Dixmier's lemma (statement)
History
- 2026-11-02: add by m2/v0.6.18
J58K4ZMK56 J58K4ZMK56
| URI | m2://inv/J58K4ZMK56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#CC0U (statement). In 4SZNPS3Z00/e1, theorem 6.3
History
- 2026-10-27: add by m2/v0.3.6
Properties J58KHDCDZZ
| URI | m2://inv/J58KHDCDZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free category#C7NR, Properties (statement)
History
- 2026-11-02: add by m2/dev
L. Håkan Eliasson J58NNZBBDC
| URI | m2://inv/J58NNZBBDC |
|---|---|
| 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#IAPQ, L. Håkan Eliasson (topic)
History
- 2026-11-02: add by m2/dev
J58TRK97WP J58TRK97WP
| URI | m2://inv/J58TRK97WP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#8Y51 (statement). In ZJQB9W60T6/e1, theorem 7.16
History
- 2026-10-28: add by m2/v0.4.2
J58TV9SKAJ J58TV9SKAJ
| URI | m2://inv/J58TV9SKAJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#W71R (statement). In 2QP93JHYNB/e1, proposition 6.15
History
- 2026-10-27: add by m2/v0.4.2
J599BVME2F J599BVME2F
| URI | m2://inv/J599BVME2F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#lemma:crdf (statement). In VNMV985MXX, lemma, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
J59B9HSGAZ J59B9HSGAZ
| URI | m2://inv/J59B9HSGAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-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.31919#O8AI (statement). In RHN12PW9P9/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
Erd\H{o}s J59EMHJ3WV
| URI | m2://inv/J59EMHJ3WV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38772#1A22, Erd\H{o}s (statement). In 1C3R5NAQAP/e1, theorem 3.14
History
- 2026-10-30: add by m2/v0.4.12
J59JYBW0GG J59JYBW0GG
| URI | m2://inv/J59JYBW0GG |
|---|---|
| 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.08912#IGDS (statement). In DK5QY64NGH/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
Cornelis Willem Opzoomer J59WMFAH0B
| URI | m2://inv/J59WMFAH0B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cornelis Willem Opzoomer, Cornelis Willem Opzoomer (topic). Also Wikidata Q5171257
History
- 2026-11-02: add by m2/dev
satellite knot J5A1PRV0DB
| URI | m2://inv/J5A1PRV0DB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Satellite knot A1E8TDEVJ9 |
Mentions
- wikidata: Wikidata Q7426084, satellite knot (unknown). Also MathWorld SatelliteKnot
- wikipedia: Wikipedia Satellite knot, Satellite knot (definition). Also Wikidata Q7426084
History
- 2026-10-26: add by m2/dev
Reduction to dimension \(d=2\ J5A4FQ8RC9
| URI | m2://inv/J5A4FQ8RC9 |
|---|---|
| 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.07404#IVF8, Reduction to dimension \(d=2\ (statement). In VAJ9MBT3SJ/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
Cayley's formula J5A77QC37D
| URI | m2://inv/J5A77QC37D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#8WOM, Cayley's formula (statement)
- wikipedia: Wikipedia List of graph theory topics#QVIP, Cayley's formula (statement)
- wikipedia: Wikipedia List of things named after Arthur Cayley#AQ5T, Cayley's formula (statement)
History
- 2026-11-02: add by m2/dev
J5AB9R7JGC J5AB9R7JGC
| URI | m2://inv/J5AB9R7JGC |
|---|---|
| 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.29521#QXAD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Blackwell's informativeness theorem J5AC3Z3K4G
| URI | m2://inv/J5AC3Z3K4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blackwell's informativeness theorem, Blackwell's informativeness theorem (statement). Also Wikidata Q124639421
History
- 2026-11-02: add by m2/dev
Emily Riehl J5AHB09TP2
| URI | m2://inv/J5AHB09TP2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q51069534, Emily Riehl (unknown). Also nLab Emily Riehl
- wikipedia: Wikipedia Emily Riehl, Emily Riehl (topic). Also Wikidata Q51069534
History
- 2026-10-26: add by m2/dev
Properties J5AJE5XFG4
| URI | m2://inv/J5AJE5XFG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative multinomial distribution#4734, Properties (statement)
History
- 2026-11-02: add by m2/dev
Generalization J5AKH8243P
| URI | m2://inv/J5AKH8243P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential integral#K6VP, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Statement J5ASFYV71D
| URI | m2://inv/J5ASFYV71D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gautschi's inequality#BWNA, Statement (statement)
History
- 2026-11-02: add by m2/dev
Bernardino Baldi J5AXS3VJNV
| URI | m2://inv/J5AXS3VJNV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#R5B7, Bernardino Baldi (unknown)
History
- 2026-11-02: add by m2/dev
Fernando Quevedo J5AZ2YG55H
| URI | m2://inv/J5AZ2YG55H |
|---|---|
| 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 Q5444891, Fernando Quevedo (unknown). Also nLab Fernando Quevedo
History
- 2026-10-26: add by m2/dev
Algebraic number J5B7SBFMK2
| URI | m2://inv/J5B7SBFMK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#Q6A2, Algebraic number (definition)
History
- 2026-11-02: add by m2/dev
J5BB0TQKNE J5BB0TQKNE
| URI | m2://inv/J5BB0TQKNE |
|---|---|
| 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.13898#4Z7W (statement). In 44EVK9BPC9/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
J5BDKFXF67 J5BDKFXF67
| URI | m2://inv/J5BDKFXF67 |
|---|---|
| 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 2104.05191#ROIR (statement). In CCNH3FK8YZ/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
J5BFDB60PK J5BFDB60PK
| URI | m2://inv/J5BFDB60PK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#H3FQ (statement). In PG0B4PH9YH/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
Phase noise along a geodesic J5BGBR64EP
| URI | m2://inv/J5BGBR64EP |
|---|---|
| Kind | example |
| 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.00501#J26A, Phase noise along a geodesic (example). In FTPW1SZ8D3/e1, example 3.6
History
- 2026-10-30: add by m2/v0.4.12
Correlation immunity J5BHD1YBN1
| URI | m2://inv/J5BHD1YBN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation immunity, Correlation immunity (definition). Also Wikidata Q1135299
History
- 2026-11-02: add by m2/dev
J5BJH20HGQ J5BJH20HGQ
| URI | m2://inv/J5BJH20HGQ |
|---|---|
| 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.37337#E3T2 (example). In 813JGZV08G/e1, example 6.1
History
- 2026-10-30: add by m2/v0.4.12
Formal definition J5BKZZ4RBS
| URI | m2://inv/J5BKZZ4RBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spinor bundle#9UQ9, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Examples J5BMV32C3W
| URI | m2://inv/J5BMV32C3W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane curve#04XK, Examples (example)
History
- 2026-11-02: add by m2/dev
Qlucore J5BPPD01RY
| URI | m2://inv/J5BPPD01RY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#YZCD, Qlucore (unknown)
History
- 2026-11-02: add by m2/dev
J5BS2HPZJ1 J5BS2HPZJ1
| URI | m2://inv/J5BS2HPZJ1 |
|---|---|
| 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.33697#MHFM (statement). In Q6GGQ29TRC/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Maryam Mirzakhani J5BW6QQ0CT
| URI | m2://inv/J5BW6QQ0CT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#MB4I, Maryam Mirzakhani (topic)
History
- 2026-11-02: add by m2/dev
ideal J5BWE49529
| URI | m2://inv/J5BWE49529 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1656686, ideal (unknown). Also MathWorld PartialOrderIdeal
- wikipedia: Wikipedia Ideal (order theory), Ideal (definition). Also Wikidata Q1656686
History
- 2026-10-26: add by m2/dev
Canonical minimal closed representation; extension of future-behavior quotients J5CB845BRS
| URI | m2://inv/J5CB845BRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20207#11SP, Canonical minimal closed representation; extension of future-behavior quotients (statement)
History
- 2026-11-02: add by m2/v0.6.18
Liouville's theorem J5CH6N7B59
| URI | m2://inv/J5CH6N7B59 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/liouville-s-theorem, Liouville's theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
generalized cylinders J5CHA8N05W
| URI | m2://inv/J5CHA8N05W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder#JH4O, generalized cylinders (definition)
History
- 2026-11-02: add by m2/dev
Example J5CZCDXE57
| URI | m2://inv/J5CZCDXE57 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametric statistics#KFN8, Example (example)
History
- 2026-11-02: add by m2/dev
Examples J5D8YGAN5M
| URI | m2://inv/J5D8YGAN5M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galois representation#4VPD, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples J5DGM93G7P
| URI | m2://inv/J5DGM93G7P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero bias transform#9WTM, Examples (example)
History
- 2026-11-02: add by m2/dev
monster group J5DQZ9RF0X
| URI | m2://inv/J5DQZ9RF0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Monster group C9VY20TAPT |
Mentions
- wikidata: Wikidata Q392663, monster group (definition). Also MathWorld MonsterGroup, nLab Monster group, ProofWiki Definition:Monster_Group
- wikipedia: Wikipedia Monster group, Monster group (object). Also Wikidata Q392663
History
- 2026-10-26: add by m2/dev
Caspar Isenkrahe J5DVYH1BKZ
| URI | m2://inv/J5DVYH1BKZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caspar Isenkrahe, Caspar Isenkrahe (topic). Also Wikidata Q106628
History
- 2026-11-02: add by m2/dev
J5DZC9BWH7 J5DZC9BWH7
| URI | m2://inv/J5DZC9BWH7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/metatheory/second-order-arithmetic.tex#prop:sol-pa-definable (statement). In PKGMM3P5QY, prop, section 66.1
History
- 2026-11-01: add by m2/v0.6.13
Lock-free and wait-free algorithms J5E0T4M4TZ
| URI | m2://inv/J5E0T4M4TZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#UBY3, Lock-free and wait-free algorithms (unknown)
History
- 2026-11-02: add by m2/dev
J5E5H2S9P7 J5E5H2S9P7
| URI | m2://inv/J5E5H2S9P7 |
|---|---|
| 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 2609.33590#88QT (statement). In WRE0P7V6Z3/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
J5E7VBY5DN J5E7VBY5DN
| URI | m2://inv/J5E7VBY5DN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_intervalorder.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
integrable on $S$ J5EHPRJB76
| URI | m2://inv/J5EHPRJB76 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/5.5.2/integrable-on-s, integrable on $S$ (concept). In E59CDZA4DP, index, section 5.5.2
History
- 2026-11-01: add by m2/v0.6.13
radical of a Lie algebra J5F53K1RPK
| URI | m2://inv/J5F53K1RPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17046402, radical of a Lie algebra (unknown). Also MathWorld LieAlgebraRadical
- wikipedia: Wikipedia Radical of a Lie algebra, Radical of a Lie algebra (definition). Also Wikidata Q17046402
History
- 2026-10-26: add by m2/dev
Maximum principle J5F8EKSWCT
| URI | m2://inv/J5F8EKSWCT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite difference method#LK5E, Maximum principle (statement)
History
- 2026-11-02: add by m2/dev
Rank, all-ones word, self-orthogonality J5F8MA8ZWN
| URI | m2://inv/J5F8MA8ZWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#PL8C, Rank, all-ones word, self-orthogonality (statement). In 9NVKKW8HDH/e1, theorem 3.24
History
- 2026-10-28: add by m2/v0.4.2
J5F9EBMK9T J5F9EBMK9T
| URI | m2://inv/J5F9EBMK9T |
|---|---|
| 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.25843#3NWN (statement)
History
- 2026-11-01: add by m2/v0.6.15
J5FX87KHEG J5FX87KHEG
| URI | m2://inv/J5FX87KHEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#B0V3 (statement). In BSWNH3NW1M/e1, lemma 9.16
History
- 2026-10-27: add by m2/v0.4.0
Key whitening J5FYCXKY3T
| URI | m2://inv/J5FYCXKY3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key whitening, Key whitening (definition). Also Wikidata Q743153
History
- 2026-11-02: add by m2/dev
J5G1J64SDE J5G1J64SDE
| URI | m2://inv/J5G1J64SDE |
|---|---|
| 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 2609.35691#52OT (definition). In G7R61RPWE2/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
J5G5SSKHM3 J5G5SSKHM3
| URI | m2://inv/J5G5SSKHM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#QLLL (statement). In BWD76W20W8/e1, corollary 6.9
History
- 2026-10-29: add by m2/v0.4.12
J5G6V0NWM8 J5G6V0NWM8
| URI | m2://inv/J5G6V0NWM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#WWAF (statement). In M9VHCG48HB/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
J5GB5S833E J5GB5S833E
| URI | m2://inv/J5GB5S833E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/sylow.tex#example-1 (example). In RZP28ERRZV, example, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Definition J5GCT43AF2
| URI | m2://inv/J5GCT43AF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parry–Daniels map#CSHK, Definition (definition)
History
- 2026-11-02: add by m2/dev
J5GE6AXBGA J5GE6AXBGA
| URI | m2://inv/J5GE6AXBGA |
|---|---|
| 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 2610.15593#G8X3 (statement). In PREJREM4BB/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
J5GNMWQ69M J5GNMWQ69M
| URI | m2://inv/J5GNMWQ69M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#OHIW (statement). In 7V3HG30ZGW/e1, theorem 7.2
History
- 2026-10-27: add by m2/v0.4.0
Reduced transition J5GVTNNTVM
| URI | m2://inv/J5GVTNNTVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40214#PNVN, Reduced transition (statement). In XD603HRHKC/e1, corollary 3.8
History
- 2026-10-30: add by m2/v0.4.12
J5GVV4EVK1 J5GVV4EVK1
| URI | m2://inv/J5GVV4EVK1 |
|---|---|
| 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.23975#96TF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Algorithms J5HC4SB056
| URI | m2://inv/J5HC4SB056 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Component (graph theory)#RMTG, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
differential equation, autonomous J5HCDZ9B3B
| URI | m2://inv/J5HCDZ9B3B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.1.4/differential-equation-autonomous, differential equation, autonomous (concept). In 907G4C4EJ1, index, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
Definitions J5HDYJHTJN
| URI | m2://inv/J5HDYJHTJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonholonomic system#D3ZF, Definitions (definition)
History
- 2026-11-02: add by m2/dev
J5HJY9R0J5 J5HJY9R0J5
| URI | m2://inv/J5HJY9R0J5 |
|---|---|
| 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.20588#73IH (statement)
History
- 2026-11-02: add by m2/v0.6.18
J5HKRCNCQX J5HKRCNCQX
| URI | m2://inv/J5HKRCNCQX |
|---|---|
| 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#VXGR (statement). In HBZXCMYPME/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
J5HQ1TQG3V J5HQ1TQG3V
| URI | m2://inv/J5HQ1TQG3V |
|---|---|
| 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 2610.05232#DQ9Q (statement). In DA3VN96YX2/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Papyrus Berlin 6619 J5HRQ17TTE
| URI | m2://inv/J5HRQ17TTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3052639, Papyrus Berlin 6619 (unknown). Also ProofWiki Book:Papyrus/Berlin_Papyrus_6619
- wikipedia: Wikipedia Berlin Papyrus 6619, Berlin Papyrus 6619 (definition). Also Wikidata Q3052639
History
- 2026-10-26: add by m2/dev
J5HVK32QKC J5HVK32QKC
| URI | m2://inv/J5HVK32QKC |
|---|---|
| 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.27484#C8RY (statement)
History
- 2026-11-01: add by m2/v0.6.15
coherent ring J5HY0VMGG0
| URI | m2://inv/J5HY0VMGG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Coherent ring W453BM8T6P |
Mentions
- wikidata: Wikidata Q2851410, coherent ring (unknown). Also EoM Coherent_ring, nLab coherent ring
- wikipedia: Wikipedia Coherent ring, Coherent ring (definition). Also Wikidata Q2851410
History
- 2026-10-26: add by m2/dev
J5HZ5CYRBK J5HZ5CYRBK
| URI | m2://inv/J5HZ5CYRBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#S0R0 (statement). In 25B3WHEKH2/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
J5J5H8MSJT J5J5H8MSJT
| URI | m2://inv/J5J5H8MSJT |
|---|---|
| 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 2403.01959#AXK3 (statement). In 5YMNGJRC6Y/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.3.5
J5JAW9VEQH J5JAW9VEQH
| URI | m2://inv/J5JAW9VEQH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-259 (exercise). In VNMV985MXX, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
J5JBBYC9Q2 J5JBBYC9Q2
| URI | m2://inv/J5JBBYC9Q2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
Lahiri-Sorensen J5JFJHTHSK
| URI | m2://inv/J5JFJHTHSK |
|---|---|
| Kind | statement |
| 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 2610.13877#6M6L, Lahiri-Sorensen (statement). In NBMA6DBKJG/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
J5JG598HEH J5JG598HEH
| URI | m2://inv/J5JG598HEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12013#NSFX (statement). In 3V26T0265C/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.3
Equidistribution II J5JHE7M4K9
| URI | m2://inv/J5JHE7M4K9 |
|---|---|
| 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 2606.02312#MZAQ, Equidistribution II (statement). In 1SZV94R22Y/e1, lemma 6.8
History
- 2026-10-27: add by m2/v0.3.5
Least fixed point J5JNP1W50G
| URI | m2://inv/J5JNP1W50G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least fixed point, Least fixed point (definition). Also Wikidata Q6134913
History
- 2026-11-02: add by m2/dev
cipher J5JPNCAE3W
| URI | m2://inv/J5JPNCAE3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4681865, cipher (unknown). Also MathWorld Cipher
- wikipedia: Wikipedia Cipher, Cipher (definition). Also Wikidata Q4681865
History
- 2026-10-26: add by m2/dev
Aztec diamond theorem J5JQBPVVE0
| URI | m2://inv/J5JQBPVVE0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JC6P, Aztec diamond theorem (object)
History
- 2026-11-02: add by m2/dev
Mesa J5K5M81ATR
| URI | m2://inv/J5K5M81ATR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#WAQV, Mesa (unknown)
History
- 2026-11-02: add by m2/dev
J5K885Q4AB J5K885Q4AB
| URI | m2://inv/J5K885Q4AB |
|---|---|
| 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 2202.02831#U69X (statement). In YA5DBTQCB1/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
J5KHEFH7FB J5KHEFH7FB
| URI | m2://inv/J5KHEFH7FB |
|---|---|
| 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.35467#AJVV (statement). In FK89DQ9J4S/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
S. A. Amitsur J5KS3747R9
| URI | m2://inv/J5KS3747R9 |
|---|---|
| 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#PRDI, S. A. Amitsur (topic)
History
- 2026-11-02: add by m2/dev
J5KWASHVFA J5KWASHVFA
| URI | m2://inv/J5KWASHVFA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36204#ZV71 (statement). In ZEHQDJTEDG/e1, proposition 2.6
History
- 2026-10-30: add by m2/v0.4.12
A level-set bound J5M106FV53
| URI | m2://inv/J5M106FV53 |
|---|---|
| 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.26873#75FS, A level-set bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conjugacy class J5M1JAKD9Q
| URI | m2://inv/J5M1JAKD9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of finite-dimensional Nichols algebras#W19C, Conjugacy class (definition)
History
- 2026-11-02: add by m2/dev
Uniform branch decoupling J5M3J9H34E
| URI | m2://inv/J5M3J9H34E |
|---|---|
| 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.24962#Z63E, Uniform branch decoupling (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications J5M4CD17V4
| URI | m2://inv/J5M4CD17V4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme value theory#BKY9, Applications (example)
History
- 2026-11-02: add by m2/dev
Georgiy L. Stenchikov J5M9NFD60A
| URI | m2://inv/J5M9NFD60A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georgiy L. Stenchikov, Georgiy L. Stenchikov (topic). Also Wikidata Q120528929
History
- 2026-11-02: add by m2/dev
Alperin--Dade J5MA1SQQNQ
| URI | m2://inv/J5MA1SQQNQ |
|---|---|
| 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 2310.13621#RHSG, Alperin--Dade (statement). In DG0EZ1BPV5/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Additivity J5MAM1ME10
| URI | m2://inv/J5MAM1ME10 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#F74C, Additivity (statement)
History
- 2026-11-01: add by m2/v0.6.15
transition squares J5MC47Q7A8
| URI | m2://inv/J5MC47Q7A8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#N3W8, transition squares (statement). In JY50YXMH5N/e1, proposition 24
History
- 2026-10-29: add by m2/v0.4.12
J5MP9ETTK1 J5MP9ETTK1
| URI | m2://inv/J5MP9ETTK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09133#QGAD (statement). In E7BPGPP9Z5/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
J5MQQNME3N J5MQQNME3N
| URI | m2://inv/J5MQQNME3N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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.11301#746M (definition). In YH1W5A0JTS/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
J5MSAZ7W5D J5MSAZ7W5D
| URI | m2://inv/J5MSAZ7W5D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:tautologies (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
J5MXANRRT9 J5MXANRRT9
| URI | m2://inv/J5MXANRRT9 |
|---|---|
| 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.33162#F22Q (statement). In RPC7VG3KHQ/e1, theorem 8.2
History
- 2026-10-30: add by m2/v0.4.12
Examples J5MZBA7Z9F
| URI | m2://inv/J5MZBA7Z9F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah–Hirzebruch spectral sequence#YJNW, Examples (example)
History
- 2026-11-02: add by m2/dev
David Speyer J5N2W71N74
| URI | m2://inv/J5N2W71N74 |
|---|---|
| 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 Q56884384, David Speyer (unknown). Also nLab David Speyer
History
- 2026-10-26: add by m2/dev
Theorem J5N3ZAH0C4
| URI | m2://inv/J5N3ZAH0C4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young's inequality for products#VNTR, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Shelley Hurwitz J5N6PG4KN2
| URI | m2://inv/J5N6PG4KN2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shelley Hurwitz, Shelley Hurwitz (topic). Also Wikidata Q43146232
History
- 2026-11-02: add by m2/dev
Stahl J5NBYFE5XR
| URI | m2://inv/J5NBYFE5XR |
|---|---|
| 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 2407.05730#2P70, Stahl (statement). In VQ7STN4KDC/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
J5NFNS2W0R J5NFNS2W0R
| URI | m2://inv/J5NFNS2W0R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#CRNI (example). In Q5Z178SAHP/e1, example 5.13
History
- 2026-10-30: add by m2/v0.4.12
Kristian B. Dysthe J5NKM49XT7
| URI | m2://inv/J5NKM49XT7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kristian B. Dysthe, Kristian B. Dysthe (topic). Also Wikidata Q6437875
History
- 2026-11-02: add by m2/dev
J5NZDPD83M J5NZDPD83M
| URI | m2://inv/J5NZDPD83M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#HZ32 (definition). In B8MJT0GGW8/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.4.0
Representation-graded homotopy groups J5P2QX074C
| URI | m2://inv/J5P2QX074C |
|---|---|
| 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 2610.21675#4WQE, Representation-graded homotopy groups (definition). In TB1294GY5X/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.4.2
Marie Lhuissier J5P2WR6MMD
| URI | m2://inv/J5P2WR6MMD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie Lhuissier, Marie Lhuissier (topic). Also Wikidata Q117188292
History
- 2026-11-02: add by m2/dev
involution J5PCJXKZ3F
| URI | m2://inv/J5PCJXKZ3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#XGW9, involution (definition)
History
- 2026-11-02: add by m2/dev
J5PM1B3RYD J5PM1B3RYD
| URI | m2://inv/J5PM1B3RYD |
|---|---|
| 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.37026#CT8H (statement). In QGZPH9W8GY/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
660 (number) J5PXFTVBGH
| URI | m2://inv/J5PXFTVBGH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600 (number)#CTH6, 660 (number) (unknown)
History
- 2026-11-02: add by m2/dev
J5PYBWD26H J5PYBWD26H
| URI | m2://inv/J5PYBWD26H |
|---|---|
| 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 2609.26896#38B0 (definition)
History
- 2026-11-01: add by m2/v0.6.15
J5QHB9KK1V J5QHB9KK1V
| URI | m2://inv/J5QHB9KK1V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-2 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
Terminology J5QK212J97
| URI | m2://inv/J5QK212J97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic fraction#UTIZ, Terminology (definition)
History
- 2026-11-02: add by m2/dev
J5QKBPTNJS J5QKBPTNJS
| URI | m2://inv/J5QKBPTNJS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#YNFY (definition). In 7ZBQ8WGQVB/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Symmetry J5QNDAH2PW
| URI | m2://inv/J5QNDAH2PW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-8 triangular tiling#MTOL, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Otto M. Nikodym J5QQ8CR1Y5
| URI | m2://inv/J5QQ8CR1Y5 |
|---|---|
| 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#SGXY, Otto M. Nikodym (topic)
History
- 2026-11-02: add by m2/dev
Potts coupling independence J5R0CFFDQ4
| URI | m2://inv/J5R0CFFDQ4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12456#NW34, Potts coupling independence (definition). In 5XPM4E03W6/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Demailly J5R2ZDKN2Q
| URI | m2://inv/J5R2ZDKN2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#H5RS, Demailly (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bayes' theorem J5R3T620D9
| URI | m2://inv/J5R3T620D9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VMYP, Bayes' theorem (statement)
- wikipedia: Wikipedia List of probability topics#FOFL, Bayes' theorem (statement)
History
- 2026-11-02: add by m2/dev
Giovanni Carandino J5R4EHKBAE
| URI | m2://inv/J5R4EHKBAE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#S20K, Giovanni Carandino (topic)
History
- 2026-11-02: add by m2/dev
Quantitative compact containment J5RC729E09
| URI | m2://inv/J5RC729E09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05204#10K4, Quantitative compact containment (statement). In ET0TQ8YF7Z/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
Conway triangle notation J5RECQK54M
| URI | m2://inv/J5RECQK54M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2131768, Conway triangle notation (unknown). Also MathWorld ConwayTriangleNotation
- wikipedia: Wikipedia Conway triangle notation, Conway triangle notation (definition). Also Wikidata Q2131768
History
- 2026-10-26: add by m2/dev
Multivector J5RHB9NAD6
| URI | m2://inv/J5RHB9NAD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivector, Multivector (definition). Also Wikidata Q2377336
History
- 2026-11-02: add by m2/dev
J5RMPVH1CD J5RMPVH1CD
| URI | m2://inv/J5RMPVH1CD |
|---|---|
| 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.36237#FAXO (definition). In JNBMSFE14N/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
J5RSTESHVE J5RSTESHVE
| URI | m2://inv/J5RSTESHVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#M9A3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Maximal martingale Fuk--Nagaev inequality J5S1WK120J
| URI | m2://inv/J5S1WK120J |
|---|---|
| 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.40338#N4Z0, Maximal martingale Fuk--Nagaev inequality (statement). In K5H6GS0SGQ/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
P-adic Teichmüller theory J5SA40GVQ6
| URI | m2://inv/J5SA40GVQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic Teichmüller theory, P-adic Teichmüller theory (definition). Also Wikidata Q7116914
History
- 2026-11-02: add by m2/dev
J5SGHTDV3V J5SGHTDV3V
| URI | m2://inv/J5SGHTDV3V |
|---|---|
| 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 2111.08123#NJK2 (statement). In TAAB0QAKAG/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
J5SKNAF28B J5SKNAF28B
| URI | m2://inv/J5SKNAF28B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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 1503.05744#69CR (statement). In 5XKHZKEGAF/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.5
J5SM0PHW7C J5SM0PHW7C
| URI | m2://inv/J5SM0PHW7C |
|---|---|
| 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 2204.05019#RDXJ (statement). In NMGJEPYKJ7/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
J5SNST3PG4 J5SNST3PG4
| URI | m2://inv/J5SNST3PG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#CU35 (statement). In 4H727T2YAS/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.12
Definition J5TDDZZFVP
| URI | m2://inv/J5TDDZZFVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum q-Krawtchouk polynomials#M4ZS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hu Shihua J5THM9VE89
| URI | m2://inv/J5THM9VE89 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hu Shihua, Hu Shihua (topic). Also Wikidata Q8288375
History
- 2026-11-02: add by m2/dev
J5TMJZ6F70 J5TMJZ6F70
| URI | m2://inv/J5TMJZ6F70 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05715#ZN2U (definition). In FC0SB9JFWH/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.3.5
Mellen Woodman Haskell J5TVY5X9MQ
| URI | m2://inv/J5TVY5X9MQ |
|---|---|
| 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#ARUK, Mellen Woodman Haskell (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LU60, Mellen Woodman Haskell (topic)
History
- 2026-11-02: add by m2/dev
J5TZ52P29N J5TZ52P29N
| URI | m2://inv/J5TZ52P29N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15257#L91T (statement). In 2R95BYW2V7/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Bernard Dwork J5V14ES8AS
| URI | m2://inv/J5V14ES8AS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#J6O9, Bernard Dwork (topic)
History
- 2026-11-02: add by m2/dev
J5V1HSD9TA J5V1HSD9TA
| URI | m2://inv/J5V1HSD9TA |
|---|---|
| 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.10017#3BXU (statement). In CJRBKR4JKT/e1, corollary 7.5
History
- 2026-10-29: add by m2/v0.4.10
Split rank-two Mellin compatibility J5V1SA4E35
| URI | m2://inv/J5V1SA4E35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#O1GG, Split rank-two Mellin compatibility (statement). In HF7YNMW39N/e1, theorem 12.3
History
- 2026-10-27: add by m2/v0.4.0
binomial distribution J5V57CH8JG
| URI | m2://inv/J5V57CH8JG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Binomial distribution 0VRWZDWW6B |
Mentions
- wikidata: Wikidata Q185547, binomial distribution (concept). Also MathWorld BinomialDistribution
- wikipedia: Wikipedia Binomial distribution, Binomial distribution (definition). Also Wikidata Q185547
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
J5V7S2A0DN J5V7S2A0DN
| URI | m2://inv/J5V7S2A0DN |
|---|---|
| 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 2411.16465#XLBF (statement). In 900P3XBZ5P/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
Linear–quadratic–Gaussian control J5V7Y3YZYZ
| URI | m2://inv/J5V7Y3YZYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear–quadratic–Gaussian control, Linear–quadratic–Gaussian control (definition). Also Wikidata Q1798304
History
- 2026-11-02: add by m2/dev
Topological indistinguishability J5VT6CQDDQ
| URI | m2://inv/J5VT6CQDDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological indistinguishability, Topological indistinguishability (definition). Also Wikidata Q1902055
History
- 2026-11-02: add by m2/dev
Computation J5VVMJAJ2Z
| URI | m2://inv/J5VVMJAJ2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Persistent homology#CKK8, Computation (definition)
History
- 2026-11-02: add by m2/dev
J5VXV0BWYW J5VXV0BWYW
| URI | m2://inv/J5VXV0BWYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#XIGE (statement). In RZDNWV9E29/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.6
Theorem (Grätzer and Schmidt 1963) J5W2R92AVW
| URI | m2://inv/J5W2R92AVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#IZLZ, Theorem (Grätzer and Schmidt 1963) (statement)
History
- 2026-11-02: add by m2/dev
J5WN67Q7AB J5WN67Q7AB
| URI | m2://inv/J5WN67Q7AB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.02275#5DTH (statement). In 1QXCNGRWV1/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.5
Periodic graph J5WPTFC8PP
| URI | m2://inv/J5WPTFC8PP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic graph (crystallography), Periodic graph (definition). Also Wikidata Q7168637
History
- 2026-11-02: add by m2/dev
J5WSE80RMZ J5WSE80RMZ
| URI | m2://inv/J5WSE80RMZ |
|---|---|
| Kind | definition |
| 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.25472#TI8O (definition)
History
- 2026-11-01: add by m2/v0.6.15
Halpern–Läuchli theorem J5X10M34D2
| URI | m2://inv/J5X10M34D2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5643485, Halpern–Läuchli theorem (statement). Also Wikidata Q5643485
- thousand_plus: thousand_plus Q5643485, Halpern–Läuchli theorem (statement). Also Wikidata Q5643485, Wikipedia Halpern–Läuchli theorem
- wikipedia: Wikipedia Halpern–Läuchli theorem, Halpern–Läuchli theorem (statement). Also Wikidata Q5643485
History
- 2026-10-26: add by m2/dev
Terminal identification J5X167RZ5D
| URI | m2://inv/J5X167RZ5D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17400#OV2D, Terminal identification (statement). In 8VDXGR4SVD/e1, theorem 6.9
History
- 2026-10-28: add by m2/v0.4.2
J5X3SCFYNJ J5X3SCFYNJ
| URI | m2://inv/J5X3SCFYNJ |
|---|---|
| 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.31274#JKR6 (definition). In RK0ZMDJ23T/e1, definition 4.1.1
History
- 2026-10-31: add by m2/v0.5.6
J5X7TZ1985 J5X7TZ1985
| URI | m2://inv/J5X7TZ1985 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#AOJ1 (statement). In MBJA03ES8N/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
J5XAF8KYEA J5XAF8KYEA
| URI | m2://inv/J5XAF8KYEA |
|---|---|
| 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.36045#BYKK (statement). In F0E8YBV0Z0/e1, proposition 6.8
History
- 2026-10-30: add by m2/v0.4.12
J5XDHP5241 J5XDHP5241
| URI | m2://inv/J5XDHP5241 |
|---|---|
| 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.40054#3MKB (statement). In CA4C9PFM1E/e1, lemma 5.3.3
History
- 2026-10-30: add by m2/v0.4.12
Generalized Freudenthal theorem J5XK01Y0PX
| URI | m2://inv/J5XK01Y0PX |
|---|---|
| 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 2609.31269#GF1J, Generalized Freudenthal theorem (statement). In ZPT9XCCAPQ/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Gröbner basis J5XK1NJJ7C
| URI | m2://inv/J5XK1NJJ7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#4TRG, Gröbner basis (definition)
History
- 2026-11-02: add by m2/dev
Pseudo-arc J5XN265R1R
| URI | m2://inv/J5XN265R1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#IA5X, Pseudo-arc (definition)
History
- 2026-11-02: add by m2/dev
Selberg conjecture J5XPJX6BJ7
| URI | m2://inv/J5XPJX6BJ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic Fuchsian group#PWP3, Selberg conjecture (statement)
History
- 2026-11-02: add by m2/dev
J5XVK9NYWE J5XVK9NYWE
| URI | m2://inv/J5XVK9NYWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19449#KXH1 (statement). In 8ZKPJ3CBDF/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
MAD J5XYVVF0VP
| URI | m2://inv/J5XYVVF0VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#UA16, MAD (definition)
History
- 2026-11-02: add by m2/dev
Bernstein–Vazirani algorithm J5XZJ6NBRA
| URI | m2://inv/J5XZJ6NBRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#UJKR, Bernstein–Vazirani algorithm (definition)
History
- 2026-11-02: add by m2/dev
Applications J5Y1J2WEFC
| URI | m2://inv/J5Y1J2WEFC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H tree#J2LH, Applications (example)
History
- 2026-11-02: add by m2/dev
J5Y7KNX9SZ J5Y7KNX9SZ
| URI | m2://inv/J5Y7KNX9SZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 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 2609.37520#0CKX (definition). In BDN507RN7J/e1, definition 2.3.1
History
- 2026-10-30: add by m2/v0.4.12
J5Y9EF6A63 J5Y9EF6A63
| URI | m2://inv/J5Y9EF6A63 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#GOOG (example). In D6XA7JXZF3/e1, example 6.10
History
- 2026-10-27: add by m2/v0.3.5
Erdős–Pósa theorem and odd cycles J5YDJWABDJ
| URI | m2://inv/J5YDJWABDJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Italo Jose Dejter#GMTH, Erdős–Pósa theorem and odd cycles (statement)
History
- 2026-11-02: add by m2/dev
J5YF0N7SSV J5YF0N7SSV
| URI | m2://inv/J5YF0N7SSV |
|---|---|
| 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.36181#A3WC (statement). In 1KSE33PVS6/e1, proposition 77
History
- 2026-10-30: add by m2/v0.4.12
Kaprekar algorithm J5YNW07BDR
| URI | m2://inv/J5YNW07BDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18413622, Kaprekar algorithm (unknown). Also MathWorld KaprekarRoutine
- wikipedia: Wikipedia Kaprekar's routine, Kaprekar's routine (definition). Also Wikidata Q18413622
History
- 2026-10-26: add by m2/dev
Joseph Arkin J5YYH5BGHA
| URI | m2://inv/J5YYH5BGHA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#N2JQ, Joseph Arkin (topic)
History
- 2026-11-02: add by m2/dev
Eternal statement J5Z5QT390T
| URI | m2://inv/J5Z5QT390T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eternal statement, Eternal statement (definition). Also Wikidata Q5402734
History
- 2026-11-02: add by m2/dev
J5ZFG5W2CF J5ZFG5W2CF
| URI | m2://inv/J5ZFG5W2CF |
|---|---|
| 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.03568#LADB (statement). In TGNKGP0XNY/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
J5ZJ80K5WG J5ZJ80K5WG
| URI | m2://inv/J5ZJ80K5WG |
|---|---|
| Kind | definition |
| 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.36884#PJHG (definition). In Z7E16PFFCP/e1, definition 3.13
History
- 2026-10-30: add by m2/v0.4.12