Inventory rows G6
The cards of the rows of the inventory whose ids start with G6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Expansion of the free energy G6077Z3DKB
| URI | m2://inv/G6077Z3DKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#YGTA, Expansion of the free energy (statement)
History
- 2026-11-01: add by m2/v0.6.15
G608P3R8SN G608P3R8SN
| URI | m2://inv/G608P3R8SN |
|---|---|
| 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.03555#FEU4 (statement). In 9JZJTRRVR1/e1, lemma 9.3
History
- 2026-10-29: add by m2/v0.4.12
Variational principle for the principal eigenvalue G609RBN2PT
| URI | m2://inv/G609RBN2PT |
|---|---|
| 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.32561#1KRA, Variational principle for the principal eigenvalue (statement). In NBT0ZCHBB6/e1, theorem 7
History
- 2026-10-31: add by m2/v0.5.6
Almost complex manifold G60BB3G1YP
| URI | m2://inv/G60BB3G1YP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2995691, Newlander–Nirenberg theorem (statement). Also Wikidata Q2995691
- thousand_plus: thousand_plus Q2995691, Newlander–Niremberg theorem (statement). Also Wikidata Q2995691, Wikipedia Newlander–Niremberg theorem
- wikipedia: Wikipedia Almost complex manifold, Almost complex manifold (definition). Also Wikidata Q2995691
History
- 2026-10-26: add by m2/dev
Hemi-dodecahedron G60EZQHDMW
| URI | m2://inv/G60EZQHDMW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemi-dodecahedron, Hemi-dodecahedron (object). Also Wikidata Q3893210
History
- 2026-11-02: add by m2/dev
G60KKS6098 G60KKS6098
| URI | m2://inv/G60KKS6098 |
|---|---|
| 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 2010.14428#L7WY (statement). In VTTVY2ZRAN/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
G60KQPW93S G60KQPW93S
| URI | m2://inv/G60KQPW93S |
|---|---|
| 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 2610.08193#DPB1 (statement). In 8XAKGH8S2D/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.10
model-theoretic validity G60M12JAWS
| URI | m2://inv/G60M12JAWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TU2R, model-theoretic validity (definition)
History
- 2026-11-02: add by m2/dev
Gwyneth Stallard G60PTT539N
| URI | m2://inv/G60PTT539N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gwyneth Stallard, Gwyneth Stallard (topic). Also Wikidata Q47932119
History
- 2026-11-02: add by m2/dev
Feynman parametrization G60W5AEVM9
| URI | m2://inv/G60W5AEVM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feynman parametrization, Feynman parametrization (definition). Also Wikidata Q946666
History
- 2026-11-02: add by m2/dev
inch G610AT6ZJS
| URI | m2://inv/G610AT6ZJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q218593, inch (definition). Also ProofWiki Definition:Imperial/Length/Inch
History
- 2026-10-26: add by m2/dev
AFP-$k$-condition relative to $L$ G611JVF0A4
| URI | m2://inv/G611JVF0A4 |
|---|---|
| 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 2601.22681#82YY, AFP-$k$-condition relative to $L$ (definition). In 68VEQQX68G/e1, definition 3.12
History
- 2026-10-27: add by m2/v0.4.0
trigyrate rhombicosidodecahedron G613HKCHZP
| URI | m2://inv/G613HKCHZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2030406, trigyrate rhombicosidodecahedron (unknown). Also MathWorld TrigyrateRhombicosidodecahedron
- wikipedia: Wikipedia Trigyrate rhombicosidodecahedron, Trigyrate rhombicosidodecahedron (definition). Also Wikidata Q2030406
History
- 2026-10-26: add by m2/dev
G614RSR3A1 G614RSR3A1
| URI | m2://inv/G614RSR3A1 |
|---|---|
| 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.16060#P35S (statement). In X0BTF9HPGM/e1, fact 2.2
History
- 2026-10-28: add by m2/v0.4.2
Tietze's graph G61RS518T8
| URI | m2://inv/G61RS518T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115539, Tietze's graph (unknown). Also House of Graphs 1368, MathWorld TietzesGraph
- wikipedia: Wikipedia Tietze's graph, Tietze's graph (definition). Also Wikidata Q3115539
History
- 2026-10-26: add by m2/dev
Sandra Stinnett G61V8T5XAQ
| URI | m2://inv/G61V8T5XAQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sandra Stinnett, Sandra Stinnett (topic). Also Wikidata Q61262526
History
- 2026-11-02: add by m2/dev
G61XDYV83X G61XDYV83X
| URI | m2://inv/G61XDYV83X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#GPZG (statement). In PA6JQDSKQT/e1, proposition 5.8
History
- 2026-10-28: add by m2/v0.4.2
G62K802J9A G62K802J9A
| URI | m2://inv/G62K802J9A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14160#L1RG (definition). In Y4TP36M0C7/e1, definition 23
History
- 2026-10-28: add by m2/v0.4.2
One-attempt exploration G62KH9SY5V
| URI | m2://inv/G62KH9SY5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#OPG5, One-attempt exploration (statement)
History
- 2026-11-02: add by m2/v0.6.17
Anne Bosworth Focke G6315XD2GE
| URI | m2://inv/G6315XD2GE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anne Bosworth Focke, Anne Bosworth Focke (topic). Also Wikidata Q9616386
History
- 2026-11-02: add by m2/dev
G631X969KJ G631X969KJ
| URI | m2://inv/G631X969KJ |
|---|---|
| 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 1008.2055#UA6O (statement). In 76JR4WFT4B/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
referential opacity G632ZQ9MQ6
| URI | m2://inv/G632ZQ9MQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#7UIB, referential opacity (definition)
History
- 2026-11-02: add by m2/dev
differential G6344EZ0NF
| URI | m2://inv/G6344EZ0NF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#OF4Z, differential (definition)
History
- 2026-11-02: add by m2/dev
G63DX5MD2C G63DX5MD2C
| URI | m2://inv/G63DX5MD2C |
|---|---|
| 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.16989#MGXK (statement). In 4769XNDWYS/e1, proposition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Proposition 3.1 in ; Lemma 3.2 G63E3MAEYC
| URI | m2://inv/G63E3MAEYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.24892#A6UG, Proposition 3.1 in ; Lemma 3.2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DFA G63EHPFMW1
| URI | m2://inv/G63EHPFMW1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Formal languages > DFA, DFA (unknown). Also Mathlib DFA
History
- 2026-10-26: add by m2/dev
overfull conjecture G63EK9Y5VW
| URI | m2://inv/G63EK9Y5VW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#JVW0, overfull conjecture (definition)
History
- 2026-11-02: add by m2/dev
Random walk hypothesis G63HRCEKXV
| URI | m2://inv/G63HRCEKXV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JC9K, Random walk hypothesis (statement)
History
- 2026-11-02: add by m2/dev
G63JP1MHA5 G63JP1MHA5
| URI | m2://inv/G63JP1MHA5 |
|---|---|
| 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.03126#O980 (definition). In ZJ6VQCRDVR/e1, definition 6
History
- 2026-10-29: add by m2/v0.4.12
Kamasi Washington G63PQW9KM4
| URI | m2://inv/G63PQW9KM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#JMXL, Kamasi Washington (unknown)
History
- 2026-11-02: add by m2/dev
Dov Gabbay G63VYD0DC9
| URI | m2://inv/G63VYD0DC9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P7PV, Dov Gabbay (topic)
History
- 2026-11-02: add by m2/dev
List of Hungarian mathematicians G63W40BPQM
| URI | m2://inv/G63W40BPQM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians, List of Hungarian mathematicians (topic). Also Wikidata Q1162431
History
- 2026-11-02: add by m2/dev
G642B16F2S G642B16F2S
| URI | m2://inv/G642B16F2S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#0EAS (definition). In 8SVVEVGMNE/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
Hurwitz class number G644F1Z2DK
| URI | m2://inv/G644F1Z2DK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz class number, Hurwitz class number (definition). Also Wikidata Q5948822
History
- 2026-11-02: add by m2/dev
G644T7PWAM G644T7PWAM
| URI | m2://inv/G644T7PWAM |
|---|---|
| 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 2610.21981#PZGQ (example). In H3M2QSKN43/e1, example 1.5
History
- 2026-10-27: add by m2/v0.4.2
G6493JJMA3 G6493JJMA3
| URI | m2://inv/G6493JJMA3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#OPT2 (example). In 6KR7Z5ETRY/e1, example A.1
History
- 2026-10-27: add by m2/v0.3.5
The Routh criterion G649D94KYD
| URI | m2://inv/G649D94KYD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivation of the Routh array#4LA5, The Routh criterion (statement)
History
- 2026-11-02: add by m2/dev
G64GCKAFCV G64GCKAFCV
| URI | m2://inv/G64GCKAFCV |
|---|---|
| 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 2609.35213#LDW7 (statement). In T5KCTZ3H08/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Mathematical Constants 1 G64N3FEPS2
| URI | m2://inv/G64N3FEPS2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steven R. Finch#RM9Q, Mathematical Constants 1 (unknown)
History
- 2026-11-02: add by m2/dev
Examples of the stag hunt G64NKD9B0B
| URI | m2://inv/G64NKD9B0B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stag hunt#ZBEV, Examples of the stag hunt (example)
History
- 2026-11-02: add by m2/dev
Opinion polling for the 2017 South Korean presidential election G650HTVYB7
| URI | m2://inv/G650HTVYB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion polling for the 2017 South Korean presidential election, Opinion polling for the 2017 South Korean presidential election (definition). Also Wikidata Q140611314
History
- 2026-11-02: add by m2/dev
Martin J. Klein G65A6Y7PCZ
| URI | m2://inv/G65A6Y7PCZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8EIZ, Martin J. Klein (unknown)
History
- 2026-11-02: add by m2/dev
G660170X9N G660170X9N
| URI | m2://inv/G660170X9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.10881#EGDB (statement). In DC01XRB5YE/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.3
Sample-continuous process G664CQDV4X
| URI | m2://inv/G664CQDV4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#4S9L, Sample-continuous process (definition)
- wikipedia: Wikipedia List of statistics articles#4BNF, Sample-continuous process (definition)
History
- 2026-11-02: add by m2/dev
G666QWN1TV G666QWN1TV
| URI | m2://inv/G666QWN1TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24131#ELNT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Old Fourth Ward G668JC2DZ4
| URI | m2://inv/G668JC2DZ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#RTRJ, Old Fourth Ward (unknown)
History
- 2026-11-02: add by m2/dev
Cohen's cryptosystem G66GVJJG0Z
| URI | m2://inv/G66GVJJG0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen's cryptosystem, Cohen's cryptosystem (definition). Also Wikidata Q5141312
History
- 2026-11-02: add by m2/dev
Wick rotation and the Feynman–Kac formula G66NBF1G2X
| URI | m2://inv/G66NBF1G2X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path-integral formulation#TY75, Wick rotation and the Feynman–Kac formula (statement)
History
- 2026-11-02: add by m2/dev
G66P84QGDA G66P84QGDA
| URI | m2://inv/G66P84QGDA |
|---|---|
| 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 2609.20679#X59D (statement)
History
- 2026-11-02: add by m2/v0.6.18
Independent trajectories under mixed noise G66QCK10J4
| URI | m2://inv/G66QCK10J4 |
|---|---|
| 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.12641#9TTA, Independent trajectories under mixed noise (statement). In X5BYGZZHPF/e1, lemma G.9
History
- 2026-10-28: add by m2/v0.4.2
G66W91HK08 G66W91HK08
| URI | m2://inv/G66W91HK08 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-73 (exercise). In E9HS8K3A52, exercise, section 6.5.4
History
- 2026-11-01: add by m2/v0.6.13
G670SFKQSR G670SFKQSR
| URI | m2://inv/G670SFKQSR |
|---|---|
| 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 2405.10580#B5EJ (statement). In FXEJE0PWEP/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Properties G672VT18SV
| URI | m2://inv/G672VT18SV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information theory#TL2I, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition G6773C7VAN
| URI | m2://inv/G6773C7VAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central series#U88B, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples G67A0E6BPF
| URI | m2://inv/G67A0E6BPF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residually finite group#8DDS, Examples (example)
History
- 2026-11-02: add by m2/dev
Shellable but not vertex decomposable G67CRM719S
| URI | m2://inv/G67CRM719S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09926#FZ3P, Shellable but not vertex decomposable (example). In ZZY5S3FHMJ/e1, example 3.3
History
- 2026-10-29: add by m2/v0.4.10
Vladimir E. Zakharov G67JCK495K
| URI | m2://inv/G67JCK495K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#1N12, Vladimir E. Zakharov (unknown)
History
- 2026-11-02: add by m2/dev
G67N7V76R8 G67N7V76R8
| URI | m2://inv/G67N7V76R8 |
|---|---|
| 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.05193#SSE9 (statement). In XDMM0KNNZ9/e1, proposition 65
History
- 2026-10-29: add by m2/v0.4.10
G67QCWMA37 G67QCWMA37
| URI | m2://inv/G67QCWMA37 |
|---|---|
| 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 2601.22681#0M4E (statement). In 68VEQQX68G/e1, lemma 2.13
History
- 2026-10-27: add by m2/v0.4.0
STAT Oracle G67QP7B3BH
| URI | m2://inv/G67QP7B3BH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15723#8DJV, STAT Oracle (definition). In A3KXZ2GBHN/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
G67QPPA1C4 G67QPPA1C4
| URI | m2://inv/G67QPPA1C4 |
|---|---|
| Kind | example |
| 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.15720#U14O (example). In VNN52G3BRE/e1, example 1.1
History
- 2026-10-28: add by m2/v0.4.2
G67WRZGE56 G67WRZGE56
| URI | m2://inv/G67WRZGE56 |
|---|---|
| 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 2205.15365#R8LA (statement). In R2XC1SC9NZ/e1, theorem 9
History
- 2026-10-27: add by m2/v0.3.5
One-odd theorem G67ZCY75Z4
| URI | m2://inv/G67ZCY75Z4 |
|---|---|
| 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.01240#RU4O, One-odd theorem (statement). In XD5HCP8DHF/e1, theorem 22
History
- 2026-10-29: add by m2/v0.4.12
Degree-constrained spanning tree G6800T7SH5
| URI | m2://inv/G6800T7SH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#NPG5, Degree-constrained spanning tree (definition)
History
- 2026-11-02: add by m2/dev
Marginal distribution G68402RGE6
| URI | m2://inv/G68402RGE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PAE5, Marginal distribution (definition)
History
- 2026-11-02: add by m2/dev
G686SX8C1N G686SX8C1N
| URI | m2://inv/G686SX8C1N |
|---|---|
| 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.09594#R0EL (statement). In TVE5WK2MH8/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Depth of compensation G68B603XXM
| URI | m2://inv/G68B603XXM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isostasy#I52Q, Depth of compensation (unknown)
History
- 2026-11-02: add by m2/dev
G68JK246D6 G68JK246D6
| URI | m2://inv/G68JK246D6 |
|---|---|
| Kind | problem |
| 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.08091#FBDR (problem). In MS13WE3CSD/e1, problem 1.1
History
- 2026-10-29: add by m2/v0.4.10
sign relation G68REH05PJ
| URI | m2://inv/G68REH05PJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7512593, sign relation (unknown). Also nLab sign relation
History
- 2026-10-26: add by m2/dev
D. G. Champernowne G68TZW5NFQ
| URI | m2://inv/G68TZW5NFQ |
|---|---|
| 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 Q3011054, D. G. Champernowne (unknown). Also ProofWiki Mathematician:David_Gawen_Champernowne
- wikipedia: Wikipedia D. G. Champernowne, D. G. Champernowne (topic). Also Wikidata Q3011054
History
- 2026-10-26: add by m2/dev
G68Y1HKZXQ G68Y1HKZXQ
| URI | m2://inv/G68Y1HKZXQ |
|---|---|
| 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.04323#36PS (statement). In 3Z0D2NCJ0B/e1, lemma 31
History
- 2026-10-29: add by m2/v0.4.12
Friedlander-Iwaniec, 1985 G68ZKG13P1
| URI | m2://inv/G68ZKG13P1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35950#YAUK, Friedlander-Iwaniec, 1985 (statement). In BZN1G5W5FX/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
Properties G695EDJXWY
| URI | m2://inv/G695EDJXWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metzler matrix#29VR, Properties (statement)
History
- 2026-11-02: add by m2/dev
Stratified Morse theory G697D154PA
| URI | m2://inv/G697D154PA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stratified Morse theory, Stratified Morse theory (definition). Also Wikidata Q7622188
History
- 2026-11-02: add by m2/dev
G69K7Y8AWN G69K7Y8AWN
| URI | m2://inv/G69K7Y8AWN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21532#UWGD (example)
History
- 2026-11-02: add by m2/v0.6.18
G69QQJS3T4 G69QQJS3T4
| URI | m2://inv/G69QQJS3T4 |
|---|---|
| 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.17817#EL0Y (statement). In M8TSJ24RC2/e1, theorem 3.20
History
- 2026-10-28: add by m2/v0.4.2
Category of quasi-coherent sheaves G69TWXP0FC
| URI | m2://inv/G69TWXP0FC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent sheaf#WRHQ, Category of quasi-coherent sheaves (unknown)
History
- 2026-11-02: add by m2/dev
G6A7Y6CEP8 G6A7Y6CEP8
| URI | m2://inv/G6A7Y6CEP8 |
|---|---|
| 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 2410.02139#I8RE (statement). In TJ1NTK3KJW/e1, corollary 20
History
- 2026-10-27: add by m2/v0.3.5
20,000 G6AMVP6Y3M
| URI | m2://inv/G6AMVP6Y3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 20,000, 20,000 (definition). Also Wikidata Q3241915
History
- 2026-11-02: add by m2/dev
G6ARF2BA53 G6ARF2BA53
| URI | m2://inv/G6ARF2BA53 |
|---|---|
| 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 2305.10921#X5X7 (statement). In PD5PJ0EYG6/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
G6AS2TEW1M G6AS2TEW1M
| URI | m2://inv/G6AS2TEW1M |
|---|---|
| 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.15805#VWRS (statement). In 2XVWG0Z18V/e1, theorem 7.3
History
- 2026-10-28: add by m2/v0.4.2
Thomas Klose G6AWZJZ89Z
| URI | m2://inv/G6AWZJZ89Z |
|---|---|
| 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 Q88223074, Thomas Klose (unknown). Also nLab Thomas Klose
History
- 2026-10-26: add by m2/dev
The theorem G6B3ZD0C16
| URI | m2://inv/G6B3ZD0C16 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birnbaum's theorem#1IWZ, The theorem (statement)
History
- 2026-11-02: add by m2/dev
Conventions G6B8FRZ8AA
| URI | m2://inv/G6B8FRZ8AA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (variational analysis)#9F7K, Conventions (definition)
History
- 2026-11-02: add by m2/dev
Evolution of reason G6BA9EQFD1
| URI | m2://inv/G6BA9EQFD1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reason#2Y4O, Evolution of reason (unknown)
History
- 2026-11-02: add by m2/dev
\textbf{Mixing time of Euler-type ULMC under log-concavity G6BCE5W6R6
| URI | m2://inv/G6BCE5W6R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.20713#0SQU, \textbf{Mixing time of Euler-type ULMC under log-concavity (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jet recurrences G6BTCKCC8A
| URI | m2://inv/G6BTCKCC8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#WICZ, Jet recurrences (statement). In JY6RYSNXMJ/e1, lemma 18
History
- 2026-10-29: add by m2/v0.4.10
Infinite divisibility G6BVN8KT0M
| URI | m2://inv/G6BVN8KT0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#6UT2, Infinite divisibility (definition)
- wikipedia: Wikipedia List of probability topics#5YU8, Infinite divisibility (definition)
History
- 2026-11-02: add by m2/dev
G6C253MXVN G6C253MXVN
| URI | m2://inv/G6C253MXVN |
|---|---|
| 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 2610.15424#QZTC (statement). In C4081PN64B/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Hain and Morgan G6C4H3DT5S
| URI | m2://inv/G6C4H3DT5S |
|---|---|
| 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 0909.0714#W54M, Hain and Morgan (statement). In XNNM92X6A8/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
François-Joseph Servois G6CEE9AVQG
| URI | m2://inv/G6CEE9AVQG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia François-Joseph Servois, François-Joseph Servois (topic). Also Wikidata Q3083474
History
- 2026-11-02: add by m2/dev
Theorem 3 G6CG4RDYDZ
| URI | m2://inv/G6CG4RDYDZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BRS-inequality#2T5B, Theorem 3 (statement)
History
- 2026-11-02: add by m2/dev
Moments in terms of cumulants G6CRKTSG9K
| URI | m2://inv/G6CRKTSG9K |
|---|---|
| Kind | example |
| 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#U8GI, Moments in terms of cumulants (example). In 7V3HG30ZGW/e1, example 3.20
History
- 2026-10-27: add by m2/v0.4.0
Example G6CT6GA72C
| URI | m2://inv/G6CT6GA72C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Place-permutation action#57X5, Example (example)
History
- 2026-11-02: add by m2/dev
Sete Cidades (disambiguation) G6CZE11ZTF
| URI | m2://inv/G6CZE11ZTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#BXFH, Sete Cidades (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
G6CZJNKH0G G6CZJNKH0G
| URI | m2://inv/G6CZJNKH0G |
|---|---|
| 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.25038#8SAK (statement)
History
- 2026-11-01: add by m2/v0.6.15
G6CZXQ1WDR G6CZXQ1WDR
| URI | m2://inv/G6CZXQ1WDR |
|---|---|
| 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 2403.08723#04WW (statement). In HGE2NCQW29/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.3.5
Complements G6D6BX1BC1
| URI | m2://inv/G6D6BX1BC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#OM18, Complements (definition)
History
- 2026-11-02: add by m2/dev
Constant flux-to-mass ratio G6DA1NPBG5
| URI | m2://inv/G6DA1NPBG5 |
|---|---|
| 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.13248#YWE9, Constant flux-to-mass ratio (statement). In MGMC5SREP3/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
G6DG4YYCD6 G6DG4YYCD6
| URI | m2://inv/G6DG4YYCD6 |
|---|---|
| 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.10325#VNV8 (statement). In 66CDJ94PGW/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
G6DX2X31YX G6DX2X31YX
| URI | m2://inv/G6DX2X31YX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.28861#H8MQ (statement). In A3VQ2TNRKK/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.0
G6DZKKRVNF G6DZKKRVNF
| URI | m2://inv/G6DZKKRVNF |
|---|---|
| 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.10406#R8TF (statement). In VQA35Q7C00/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.10
G6E3YHD3HC G6E3YHD3HC
| URI | m2://inv/G6E3YHD3HC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10860#M9JI (statement). In PBYNV2WF2H/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.3
Definition G6E69NFJ7J
| URI | m2://inv/G6E69NFJ7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spinh structure#9NLU, Definition (definition)
History
- 2026-11-02: add by m2/dev
colimit, of types G6E9FYQV38
| URI | m2://inv/G6E9FYQV38 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.8/colimit-of-types, colimit, of types (concept). In N54F33XE07, index, section 5.8
History
- 2026-11-01: add by m2/v0.6.13
G6E9SPV6K7 G6E9SPV6K7
| URI | m2://inv/G6E9SPV6K7 |
|---|---|
| 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#W4SU (statement). In 8ZKPJ3CBDF/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
G6E9XCX88T G6E9XCX88T
| URI | m2://inv/G6E9XCX88T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15444#AIOV (example). In M2X9TEYRPC/e1, example 4.5
History
- 2026-10-28: add by m2/v0.4.2
Formal definitions G6EMQQSSB1
| URI | m2://inv/G6EMQQSSB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular decomposition#GVZZ, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Efficient generative modeling of multi-index pushforwards G6EMS45WM3
| URI | m2://inv/G6EMS45WM3 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10875#AK0C, Efficient generative modeling of multi-index pushforwards (problem). In N91F15MHW1/e1, problem 3
History
- 2026-10-28: add by m2/v0.4.3
\coqident{Partiality}{PartialElements}{isdefined}, \coqident{Partiality}{PartialElements}{value G6EYPAJH4A
| URI | m2://inv/G6EYPAJH4A |
|---|---|
| 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 1904.09810#6LLA, \coqident{Partiality}{PartialElements}{isdefined}, \coqident{Partiality}{PartialElements}{value (definition). In T1VFA7TXPA/e1, definition 21
History
- 2026-10-27: add by m2/v0.3.5
G6EZXHMKHK G6EZXHMKHK
| URI | m2://inv/G6EZXHMKHK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04694#ZCXW (definition). In W9A0Z2NBMA/e1, definition 7
History
- 2026-10-29: add by m2/v0.4.12
asymmetric relation G6FGYDHWE6
| URI | m2://inv/G6FGYDHWE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2298831, asymmetric relation (unknown). Also nLab asymmetric relation
- wikipedia: Wikipedia Asymmetric relation, Asymmetric relation (definition). Also Wikidata Q2298831
History
- 2026-10-26: add by m2/dev
symmetric matrix G6FVWE1ZR7
| URI | m2://inv/G6FVWE1ZR7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.2.7/symmetric-matrix, symmetric matrix (concept). In E9HS8K3A52, index, section 2.2.7
History
- 2026-11-01: add by m2/v0.6.13
G6FWAD7V77 G6FWAD7V77
| URI | m2://inv/G6FWAD7V77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09354#EPJT (statement). In 5VAJC29KA2/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
G6GTSR9SPV G6GTSR9SPV
| URI | m2://inv/G6GTSR9SPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15771#9L1B (statement). In F2243YZX7A/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
David Heath G6H98D598D
| URI | m2://inv/G6H98D598D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Heath (probabilist), David Heath (topic). Also Wikidata Q21823339
History
- 2026-11-02: add by m2/dev
Washakie Ten, Wyoming G6HM8V9X6W
| URI | m2://inv/G6HM8V9X6W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MO96, Washakie Ten, Wyoming (unknown)
History
- 2026-11-02: add by m2/dev
Cubic threefold G6J0XBKJXT
| URI | m2://inv/G6J0XBKJXT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06669#73EL, Cubic threefold (example). In YXD3950ZXR/e1, example 5.2
History
- 2026-10-29: add by m2/v0.4.10
Welch's method G6J1BY5YEV
| URI | m2://inv/G6J1BY5YEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VEKC, Welch's method (definition)
History
- 2026-11-02: add by m2/dev
ASReml G6J2GKJDN1
| URI | m2://inv/G6J2GKJDN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#C4JV, ASReml (definition)
History
- 2026-11-02: add by m2/dev
G6J68H88ES G6J68H88ES
| URI | m2://inv/G6J68H88ES |
|---|---|
| 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.39465#KJM4 (definition). In 17F6FDEA3W/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
icosidodecahedron G6J9GWG9MV
| URI | m2://inv/G6J9GWG9MV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q522554, icosidodecahedron (object). Also MathWorld Icosidodecahedron
- wikipedia: Wikipedia Icosidodecahedron, Icosidodecahedron (definition). Also Wikidata Q522554
History
- 2026-10-26: add by m2/dev
Exact geodesic prediction mixing G6JAFV481Z
| URI | m2://inv/G6JAFV481Z |
|---|---|
| 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.05388#M9RW, Exact geodesic prediction mixing (statement). In 4HJK1986EJ/e1, proposition E.1
History
- 2026-10-29: add by m2/v0.4.10
Runtime independence G6JNDR0TTY
| URI | m2://inv/G6JNDR0TTY |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15824#E6J3, Runtime independence (unknown). In GDZXR87FJV/e1, unknown 6
History
- 2026-10-28: add by m2/v0.4.2
Algorithms for solving the eikonal equation G6JQ564KJD
| URI | m2://inv/G6JQ564KJD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eikonal equation#P5QO, Algorithms for solving the eikonal equation (unknown)
History
- 2026-11-02: add by m2/dev
G6JVJR2SSC G6JVJR2SSC
| URI | m2://inv/G6JVJR2SSC |
|---|---|
| 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 2308.09645#GZG0 (statement). In HVDSC1GQRD/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Three prisoners problem G6JZRZB7EC
| URI | m2://inv/G6JZRZB7EC |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three prisoners problem, Three prisoners problem (problem). Also Wikidata Q1497866
History
- 2026-11-02: add by m2/dev
Definition G6K3JD0XAC
| URI | m2://inv/G6K3JD0XAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential time hypothesis#GOG1, Definition (definition)
History
- 2026-11-02: add by m2/dev
G6K798DFDE G6K798DFDE
| URI | m2://inv/G6K798DFDE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-5.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
Joan Ferrini-Mundy G6KCPZMJ9D
| URI | m2://inv/G6KCPZMJ9D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joan Ferrini-Mundy, Joan Ferrini-Mundy (topic). Also Wikidata Q29452972
History
- 2026-11-02: add by m2/dev
G6KCZFDJSS G6KCZFDJSS
| URI | m2://inv/G6KCZFDJSS |
|---|---|
| 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.10469#6OTA (definition). In Q39BEKW6D9/e1, definition 4.4
History
- 2026-10-29: add by m2/v0.4.10
G6KK4QHHAR G6KK4QHHAR
| URI | m2://inv/G6KK4QHHAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#VH5T (statement)
History
- 2026-11-01: add by m2/v0.6.15
log-likelihood G6KK6XBX2Z
| URI | m2://inv/G6KK6XBX2Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121118317, log-likelihood (unknown). Also MathWorld Log-LikelihoodFunction
History
- 2026-10-26: add by m2/dev
Example G6KXFW503B
| URI | m2://inv/G6KXFW503B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word problem (mathematics education)#B8PJ, Example (example)
History
- 2026-11-02: add by m2/dev
Georg Scheffers G6MB84Q9FV
| URI | m2://inv/G6MB84Q9FV |
|---|---|
| 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#HOI9, Georg Scheffers (topic)
- wikipedia: Wikipedia List of German mathematicians#GAX1, Georg Scheffers (topic)
History
- 2026-11-02: add by m2/dev
G6MGP8G9HY G6MGP8G9HY
| URI | m2://inv/G6MGP8G9HY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/midsequent.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 57.3
History
- 2026-11-01: add by m2/v0.6.13
Fundamental lemma (Langlands program) G6MT1BVP2R
| URI | m2://inv/G6MT1BVP2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#7T99, Fundamental lemma (Langlands program) (statement)
History
- 2026-11-02: add by m2/dev
G6MXK092Q9 G6MXK092Q9
| URI | m2://inv/G6MXK092Q9 |
|---|---|
| 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.13670#862H (statement). In 4PGTZ19B26/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
G6MXM63VE7 G6MXM63VE7
| URI | m2://inv/G6MXM63VE7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.02158#2AEL (statement). In PCV12VAD47/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.12
John Riordan G6N0F77NXB
| URI | m2://inv/G6N0F77NXB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PILW, John Riordan (topic)
History
- 2026-11-02: add by m2/dev
Newman–Janis algorithm G6N930F4RC
| URI | m2://inv/G6N930F4RC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newman–Janis algorithm, Newman–Janis algorithm (definition). Also Wikidata Q96395498
History
- 2026-11-02: add by m2/dev
G6NCMFK5F0 G6NCMFK5F0
| URI | m2://inv/G6NCMFK5F0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-57 (exercise). In VNMV985MXX, exercise, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Pentagonal orthobirotunda G6NDP0WCXM
| URI | m2://inv/G6NDP0WCXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#KGA1, Pentagonal orthobirotunda (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#2SQK, Pentagonal orthobirotunda (definition)
History
- 2026-11-02: add by m2/dev
Trace scaling G6NHV3X3AH
| URI | m2://inv/G6NHV3X3AH |
|---|---|
| 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.17608#N18W, Trace scaling (statement). In VAGWC38NSF/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Kan extension G6NKJ0B2X3
| URI | m2://inv/G6NKJ0B2X3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#U3LI, Kan extension (definition)
History
- 2026-11-02: add by m2/dev
G6NM6BE6SE G6NM6BE6SE
| URI | m2://inv/G6NM6BE6SE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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 2401.07983#46QW (definition). In 4WJ9HYVSZY/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.6
Gegenbauer polynomials G6NRXVKRTC
| URI | m2://inv/G6NRXVKRTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#M7WX, Gegenbauer polynomials (definition)
History
- 2026-11-02: add by m2/dev
universal algebra G6NVAYV9AD
| URI | m2://inv/G6NVAYV9AD |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 08 |
| Sources | 2 |
| Outcome | open |
| Node | Universal algebra W82R6N0GM9 |
Mentions
- wikidata: Wikidata Q1636734, universal algebra (topic). Also EoM Universal_algebra, MathWorld UniversalAlgebra
- wikipedia: Wikipedia Universal algebra, Universal algebra (topic). Also Wikidata Q1636734
History
- 2026-10-26: add by m2/dev
Statistical physics G6NX17MBR3
| URI | m2://inv/G6NX17MBR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#ZU34, Statistical physics (definition)
History
- 2026-11-02: add by m2/dev
G6P2VSFX1X G6P2VSFX1X
| URI | m2://inv/G6P2VSFX1X |
|---|---|
| Kind | example |
| 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#BJVD (example). In Z7E16PFFCP/e1, example 4.23
History
- 2026-10-30: add by m2/v0.4.12
Log-linear model G6P6HTSGY9
| URI | m2://inv/G6P6HTSGY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-linear model, Log-linear model (definition). Also Wikidata Q6666755
History
- 2026-11-02: add by m2/dev
G6PC61C8JE G6PC61C8JE
| URI | m2://inv/G6PC61C8JE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21255#YD2K (statement). In FB4DAYJJ5F/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.2
G6PRYF1WPX G6PRYF1WPX
| URI | m2://inv/G6PRYF1WPX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/introduction/definitions.tex#defn-5 (definition). In PKGMM3P5QY, defn, section 28.7
History
- 2026-11-01: add by m2/v0.6.13
Theorem G6PS4RC5S3
| URI | m2://inv/G6PS4RC5S3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burst error-correcting code#I4GU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Lightface G6Q0772RDZ
| URI | m2://inv/G6Q0772RDZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointclass#AI4G, Lightface (unknown)
History
- 2026-11-02: add by m2/dev
closure G6Q2M5JD24
| URI | m2://inv/G6Q2M5JD24 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > closure, closure (unknown). Also Mathlib closure
History
- 2026-10-26: add by m2/dev
T-matrix method G6QAVDH2WY
| URI | m2://inv/G6QAVDH2WY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T-matrix method, T-matrix method (definition). Also Wikidata Q4291851
History
- 2026-11-02: add by m2/dev
G6QBHYZTWC G6QBHYZTWC
| URI | m2://inv/G6QBHYZTWC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32358#XMZH (example). In WYVVH1QVSP/e1, example 2
History
- 2026-10-31: add by m2/v0.5.6
G6QGA64X4K G6QGA64X4K
| URI | m2://inv/G6QGA64X4K |
|---|---|
| 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 1905.00573#EALZ (statement). In 74RNQVBM2G/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
ring G6QH5EW4Z5
| URI | m2://inv/G6QH5EW4Z5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Ring 0B1261B5ED |
Mentions
- mathlib_overview: mathlib_overview General algebra > Rings > ring, ring (unknown). Also Mathlib Ring
- mathlib_undergrad: mathlib_undergrad Ring Theory > Fundamentals > ring, ring (unknown). Also Mathlib Ring
- wikidata: Wikidata Q161172, ring (definition). Also EoM Ring, LMFDB knowl ring, Mathlib Ring, MathWorld Ring, nLab ring, ProofWiki Definition:Ring_with_Unity
- wikidata: Wikidata Q5051859, category of rings (unknown). Also nLab Ring
- wikipedia: Wikipedia Category of rings, Category of rings (definition). Also Wikidata Q5051859
- wikipedia: Wikipedia Ring (mathematics), Ring (definition). Also Wikidata Q161172
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Definition G6QJ6QG745
| URI | m2://inv/G6QJ6QG745 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous geometry#QQUJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Euclidean relation G6QMSME04B
| URI | m2://inv/G6QMSME04B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Euclid#U7XR, Euclidean relation (definition)
History
- 2026-11-02: add by m2/dev
Danny Dolev G6QRYTRR82
| URI | m2://inv/G6QRYTRR82 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XSKX, Danny Dolev (unknown)
History
- 2026-11-02: add by m2/dev
Latitude determination G6QVX0N8VA
| URI | m2://inv/G6QVX0N8VA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Latitude#50ZY, Latitude determination (unknown)
History
- 2026-11-02: add by m2/dev
Constant acceleration G6R1MT9KV8
| URI | m2://inv/G6R1MT9KV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acceleration#BA4C, Constant acceleration (unknown)
History
- 2026-11-02: add by m2/dev
G6R5JXH5ZT G6R5JXH5ZT
| URI | m2://inv/G6R5JXH5ZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23287#NYJQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
G6RBEFZEQP G6RBEFZEQP
| URI | m2://inv/G6RBEFZEQP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/wellorderingproblem.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 71.7
History
- 2026-11-01: add by m2/v0.6.13
Ruth Ann Killion G6RFEDXART
| URI | m2://inv/G6RFEDXART |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Ann Killion, Ruth Ann Killion (topic). Also Wikidata Q107488387
History
- 2026-11-02: add by m2/dev
Law G6RFR7C2K0
| URI | m2://inv/G6RFR7C2K0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős number#9RM6, Law (statement)
History
- 2026-11-02: add by m2/dev
G6RMBN1PGG G6RMBN1PGG
| URI | m2://inv/G6RMBN1PGG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#prob:divides (exercise). In P1C114YBXG, problem, section H
History
- 2026-11-01: add by m2/v0.6.13
Timothy P. Johnson G6RPQRMX05
| URI | m2://inv/G6RPQRMX05 |
|---|---|
| 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#QIZ9, Timothy P. Johnson (unknown)
History
- 2026-11-02: add by m2/dev
Examples G6RPVM2BZS
| URI | m2://inv/G6RPVM2BZS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synthetic measure#K46X, Examples (example)
History
- 2026-11-02: add by m2/dev
Circumference G6RTZJ1PSJ
| URI | m2://inv/G6RTZJ1PSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#PJJG, Circumference (definition)
History
- 2026-11-02: add by m2/dev
Homology manifold G6RY2NG1JA
| URI | m2://inv/G6RY2NG1JA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homology manifold, Homology manifold (definition). Also Wikidata Q5891460
History
- 2026-11-02: add by m2/dev
2000 Panamanian census G6RYFD1QZ7
| URI | m2://inv/G6RYFD1QZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2000 Panamanian census, 2000 Panamanian census (definition). Also Wikidata Q4597754
History
- 2026-11-02: add by m2/dev
Tor Phone G6RZQHSBGA
| URI | m2://inv/G6RZQHSBGA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Tor Project#JLFU, Tor Phone (unknown)
History
- 2026-11-02: add by m2/dev
evil number G6S00R5C4G
| URI | m2://inv/G6S00R5C4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303608, evil number (unknown). Also MathWorld EvilNumber, OEIS A001969
- wikipedia: Wikipedia Evil number, Evil number (definition). Also Wikidata Q25303608
History
- 2026-10-26: add by m2/dev
Non-uniform coarse threshold theorem G6S0VXGX76
| URI | m2://inv/G6S0VXGX76 |
|---|---|
| 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.07379#0ZTP, Non-uniform coarse threshold theorem (statement). In N0EVQ46HBR/e1, theorem A.2
History
- 2026-10-29: add by m2/v0.4.10
Donald Solitar G6SBQA2FJA
| URI | m2://inv/G6SBQA2FJA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald Solitar, Donald Solitar (topic). Also Wikidata Q17711302
History
- 2026-11-02: add by m2/dev
Dual system G6SD833DAZ
| URI | m2://inv/G6SD833DAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual system, Dual system (definition). Also Wikidata Q96376663
History
- 2026-11-02: add by m2/dev
G6SMS1NAWG G6SMS1NAWG
| URI | m2://inv/G6SMS1NAWG |
|---|---|
| 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.18016#0WTK (statement). In V5PVKDKGGG/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.2
Wilhelm von Freeden G6SP1BYY8R
| URI | m2://inv/G6SP1BYY8R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#3VW3, Wilhelm von Freeden (topic)
History
- 2026-11-02: add by m2/dev
Fan-lag certificates G6SQHXX8EG
| URI | m2://inv/G6SQHXX8EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#EAF0, Fan-lag certificates (statement). In 65TJENWK7X/e1, theorem 27
History
- 2026-10-29: add by m2/v0.4.10
G6SX5FDX5F G6SX5FDX5F
| URI | m2://inv/G6SX5FDX5F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-6-1-area.xml#example-1 (example). In 907G4C4EJ1, example, section 6.1.2
History
- 2026-11-01: add by m2/v0.6.13
Selective recruitment G6SZJPA5FN
| URI | m2://inv/G6SZJPA5FN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D61U, Selective recruitment (definition)
History
- 2026-11-02: add by m2/dev
Characterizations G6SZPBN55N
| URI | m2://inv/G6SZPBN55N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Right triangle#JQ5N, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Notation G6T0NJK28E
| URI | m2://inv/G6T0NJK28E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seismic wave#8RQ1, Notation (definition)
History
- 2026-11-02: add by m2/dev
G6T93SSBSB G6T93SSBSB
| URI | m2://inv/G6T93SSBSB |
|---|---|
| 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.26600#FVC5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
compact G6TKZBYDMM
| URI | m2://inv/G6TKZBYDMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#MDAO, compact (definition)
History
- 2026-11-02: add by m2/dev
Blaschke selection theorem G6TRSYVH67
| URI | m2://inv/G6TRSYVH67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0ID4, Blaschke selection theorem (statement)
History
- 2026-11-02: add by m2/dev
Karl Kunisch G6TT5AXDJ9
| URI | m2://inv/G6TT5AXDJ9 |
|---|---|
| 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#8PW7, Karl Kunisch (topic)
History
- 2026-11-02: add by m2/dev
Henry Clarke G6TVAE0MVW
| URI | m2://inv/G6TVAE0MVW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Clarke (mathematician), Henry Clarke (topic). Also Wikidata Q18528462
History
- 2026-11-02: add by m2/dev
Bill Parry G6TWRJAHGZ
| URI | m2://inv/G6TWRJAHGZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bill Parry (mathematician), Bill Parry (topic). Also Wikidata Q3893458
History
- 2026-11-02: add by m2/dev
unary G6V3HMYV2C
| URI | m2://inv/G6V3HMYV2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#X235, unary (definition)
History
- 2026-11-02: add by m2/dev
G6V5PS3PRA G6V5PS3PRA
| URI | m2://inv/G6V5PS3PRA |
|---|---|
| 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 2405.13323#H7DK (statement). In 5KN5GD38KG/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.3.5
Definition G6V7ZY94MZ
| URI | m2://inv/G6V7ZY94MZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy group#UX8I, Definition (definition)
History
- 2026-11-02: add by m2/dev
G6VD0W3DSK G6VD0W3DSK
| URI | m2://inv/G6VD0W3DSK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33015#DXAG (example). In W6Y6NPK648/e1, example 3.8
History
- 2026-10-27: add by m2/v0.3.5
Ludwig Staiger G6VK2GG9WR
| URI | m2://inv/G6VK2GG9WR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Staiger, Ludwig Staiger (topic). Also Wikidata Q21062845
History
- 2026-11-02: add by m2/dev
G6VVER4CD5 G6VVER4CD5
| URI | m2://inv/G6VVER4CD5 |
|---|---|
| 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.01467#5YY0 (statement). In 10GZB25WAC/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
recurrence equation, nonlinear G6W0HMMR24
| URI | m2://inv/G6W0HMMR24 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.7/recurrence-equation-nonlinear, recurrence equation, nonlinear (concept). In QKM9DD2H56, index, section 9.7
History
- 2026-11-01: add by m2/v0.6.13
G6WMRTR67W G6WMRTR67W
| URI | m2://inv/G6WMRTR67W |
|---|---|
| Kind | conjecture |
| 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 2507.13548#Q1LM (conjecture). In 4NVVK50D1P/e1, conjecture 5.6
History
- 2026-10-27: add by m2/v0.3.5
Multigrid method G6WNH4CJ1R
| URI | m2://inv/G6WNH4CJ1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multigrid method, Multigrid method (definition). Also Wikidata Q1413101
History
- 2026-11-02: add by m2/dev
Observational study G6WR1PCK7Q
| URI | m2://inv/G6WR1PCK7Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JV8J, Observational study (topic)
History
- 2026-11-02: add by m2/dev
G6X3GJQD44 G6X3GJQD44
| URI | m2://inv/G6X3GJQD44 |
|---|---|
| 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.02790#1U45 (statement). In NB7HZ8W2K2/e1, proposition 15
History
- 2026-10-29: add by m2/v0.4.12
G6X6DS5EM4 G6X6DS5EM4
| URI | m2://inv/G6X6DS5EM4 |
|---|---|
| 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.03081#EG7W (statement). In TX0H26X4VX/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.12
Definition G6X9WA1MGV
| URI | m2://inv/G6X9WA1MGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdirect product#9HPT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dissection into orthoschemes G6XP86CEZD
| URI | m2://inv/G6XP86CEZD |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dissection into orthoschemes, Dissection into orthoschemes (conjecture). Also Wikidata Q49000483
History
- 2026-11-02: add by m2/dev
G6Y2Q2A093 G6Y2Q2A093
| URI | m2://inv/G6Y2Q2A093 |
|---|---|
| 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.20110#NU1L (statement). In 1SAMKN4477/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.2
sum of normally distributed random variables G6Y44DFXQS
| URI | m2://inv/G6Y44DFXQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Sum of independent normal random variables 0NXGPJWNFN |
Mentions
- wikidata: Wikidata Q7636889, sum of normally distributed random variables (unknown). Also MathWorld NormalSumDistribution
- wikipedia: Wikipedia Sum of normally distributed random variables, Sum of normally distributed random variables (definition). Also Wikidata Q7636889
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Almost-sure convergence to Nash equilibrium G6Y81SCAGP
| URI | m2://inv/G6Y81SCAGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05428#2DHX, Almost-sure convergence to Nash equilibrium (statement). In 31MQPCA8SH/e1, theorem E.2
History
- 2026-10-29: add by m2/v0.4.10
Nonzero drift goes to infinity G6YA1N6A6S
| URI | m2://inv/G6YA1N6A6S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#XYHX, Nonzero drift goes to infinity (statement). In YCRZC9SDCE/e1, lemma 13.3
History
- 2026-10-28: add by m2/v0.4.2
G6YA8H478J G6YA8H478J
| URI | m2://inv/G6YA8H478J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-27 (proof). In N54F33XE07, proof, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
sextic G6YB144SXF
| URI | m2://inv/G6YB144SXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#LT9G, sextic (definition)
History
- 2026-11-02: add by m2/dev
Delta-compactness theorem G6YGYRC3D2
| URI | m2://inv/G6YGYRC3D2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delta-convergence#2VXN, Delta-compactness theorem (statement)
History
- 2026-11-02: add by m2/dev
conservative functor G6YT93FGKR
| URI | m2://inv/G6YT93FGKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#LU1G, conservative functor (definition)
History
- 2026-11-02: add by m2/dev
G6YVGQ6FEJ G6YVGQ6FEJ
| URI | m2://inv/G6YVGQ6FEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.19866#8IQ5 (statement). In 9F94CEQ1ZM/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Computed-polynomial specialization G6Z0JP2BN5
| URI | m2://inv/G6Z0JP2BN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06081#R2XN, Computed-polynomial specialization (statement). In 7Z3KQRFEVG/e1, corollary B.5
History
- 2026-10-29: add by m2/v0.4.10
Lower Bound G6Z531X6BQ
| URI | m2://inv/G6Z531X6BQ |
|---|---|
| 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#QISC, Lower Bound (statement). In WRE0P7V6Z3/e1, lemma 15.4
History
- 2026-10-30: add by m2/v0.4.12
G6ZAK7DEV3 G6ZAK7DEV3
| URI | m2://inv/G6ZAK7DEV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.08081#7Y4F (statement). In FJ8XVQ6F0T/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.4.0
G6ZQ9X3BF5 G6ZQ9X3BF5
| URI | m2://inv/G6ZQ9X3BF5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-37 (exercise). In E9HS8K3A52, exercise, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
Cecilia Elspeth Giles G6ZXVKGY3E
| URI | m2://inv/G6ZXVKGY3E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#U04W, Cecilia Elspeth Giles (unknown)
History
- 2026-11-02: add by m2/dev
G6ZZATJBPG G6ZZATJBPG
| URI | m2://inv/G6ZZATJBPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.24542#0ZXA (statement)
History
- 2026-11-01: add by m2/v0.6.15