Inventory rows 1E
The cards of the rows of the inventory whose ids start with 1E. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Joanne Larson 1E02QRRAEG
| URI | m2://inv/1E02QRRAEG |
|---|---|
| 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#8U29, Joanne Larson (unknown)
History
- 2026-11-02: add by m2/dev
Dénes Kőnig 1E06D7QKPT
| URI | m2://inv/1E06D7QKPT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#KBYD, Dénes Kőnig (topic)
History
- 2026-11-02: add by m2/dev
Paul G. Comba 1E07SQKXGT
| URI | m2://inv/1E07SQKXGT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#4IJI, Paul G. Comba (unknown)
History
- 2026-11-02: add by m2/dev
Michael Fourman 1E0EBDA3YB
| URI | m2://inv/1E0EBDA3YB |
|---|---|
| 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 Q6830387, Michael Fourman (unknown). Also nLab Michael Fourman
- wikipedia: Wikipedia Michael Fourman, Michael Fourman (topic). Also Wikidata Q6830387
History
- 2026-10-26: add by m2/dev
Znám's problem 1E0EJC9E0H
| URI | m2://inv/1E0EJC9E0H |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q649322, Znám's problem (problem). Also MathWorld ZnamsProblem
- wikipedia: Wikipedia Znám's problem, Znám's problem (problem). Also Wikidata Q649322
History
- 2026-10-26: add by m2/dev
1E0P85PY7C 1E0P85PY7C
| URI | m2://inv/1E0P85PY7C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#proof-7 (proof). In RZP28ERRZV, proof, section 12.4
History
- 2026-11-01: add by m2/v0.6.13
Shnirelman's Inequality in $\nu=2$ 1E0ZPKNM90
| URI | m2://inv/1E0ZPKNM90 |
|---|---|
| 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.31294#E7HJ, Shnirelman's Inequality in $\nu=2$ (statement). In 6GK9EJMWY4/e1, theorem 1.5
History
- 2026-10-31: add by m2/v0.5.6
François Ledrappier 1E11MGRK2C
| URI | m2://inv/1E11MGRK2C |
|---|---|
| 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#W6U1, François Ledrappier (topic)
History
- 2026-11-02: add by m2/dev
1E1269JYA0 1E1269JYA0
| URI | m2://inv/1E1269JYA0 |
|---|---|
| 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.23093#17UU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition 1E12BC5RRQ
| URI | m2://inv/1E12BC5RRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov–Zurbenko filter#00I2, Definition (definition)
History
- 2026-11-02: add by m2/dev
M\"{o}bius Inversion Formula 1E18QJFPFK
| URI | m2://inv/1E18QJFPFK |
|---|---|
| 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#IH4O, M\"{o}bius Inversion Formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
1E1DKSF9FW 1E1DKSF9FW
| URI | m2://inv/1E1DKSF9FW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#LHLI (example)
History
- 2026-11-02: add by m2/v0.6.18
Rubik's cube notation 1E1NVS054W
| URI | m2://inv/1E1NVS054W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rubik's Cube#J28P, Rubik's cube notation (unknown)
History
- 2026-11-02: add by m2/dev
1E1QHYM8MW 1E1QHYM8MW
| URI | m2://inv/1E1QHYM8MW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-91 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
1E22MRY49P 1E22MRY49P
| URI | m2://inv/1E22MRY49P |
|---|---|
| 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.39330#88E3 (statement). In 7ZTJ23YG7A/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Hausdorff distance 1E29XA06PB
| URI | m2://inv/1E29XA06PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#OE4C, Hausdorff distance (definition)
- wikipedia: Wikipedia List of things named after Felix Hausdorff#C5B5, Hausdorff distance (definition)
History
- 2026-11-02: add by m2/dev
Sheppard, William Fleetwood 1E2AA0BAHB
| URI | m2://inv/1E2AA0BAHB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#LXAO, Sheppard, William Fleetwood (topic)
History
- 2026-11-02: add by m2/dev
1E2AQYMM7A 1E2AQYMM7A
| URI | m2://inv/1E2AQYMM7A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-arithgeom.ptx#example-1 (example). In Y91XFCEVHQ, example, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
1E2FBZWSHK 1E2FBZWSHK
| URI | m2://inv/1E2FBZWSHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0903.0651#GTIT (statement). In 6R0KH80PTK/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Half-range Fourier series 1E2MWPX3J6
| URI | m2://inv/1E2MWPX3J6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#MMB3, Half-range Fourier series (definition)
History
- 2026-11-02: add by m2/dev
1E2NB8H6ZH 1E2NB8H6ZH
| URI | m2://inv/1E2NB8H6ZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21765#546B (statement)
History
- 2026-11-02: add by m2/v0.6.18
Parametric surface 1E2QZT5FH0
| URI | m2://inv/1E2QZT5FH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical computational geometry topics#XD7R, Parametric surface (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#GOVI, Parametric surface (definition)
History
- 2026-11-02: add by m2/dev
1E31Z3SARS 1E31Z3SARS
| URI | m2://inv/1E31Z3SARS |
|---|---|
| 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#TMY2 (statement). In X0BTF9HPGM/e1, lemma D.1
History
- 2026-10-28: add by m2/v0.4.2
Stanisław Szarek 1E32WQK8DF
| URI | m2://inv/1E32WQK8DF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanisław Szarek, Stanisław Szarek (topic). Also Wikidata Q1441278
History
- 2026-11-02: add by m2/dev
1E349KDEJM 1E349KDEJM
| URI | m2://inv/1E349KDEJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#W2JT (statement). In 68AE571S4P/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
1E3YDX645V 1E3YDX645V
| URI | m2://inv/1E3YDX645V |
|---|---|
| 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.07828#QZIG (statement). In TWGMVT1N1G/e1, corollary 8.5
History
- 2026-10-29: add by m2/v0.4.10
1E3ZJ5PHY6 1E3ZJ5PHY6
| URI | m2://inv/1E3ZJ5PHY6 |
|---|---|
| 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.00113#ITX3 (statement). In R9PP1Y2EP4/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Connection with Fermat's Last Theorem 1E42HKJ92Y
| URI | m2://inv/1E42HKJ92Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wieferich prime#N1YE, Connection with Fermat's Last Theorem (statement)
History
- 2026-11-02: add by m2/dev
bishop's graph 1E4QS23854
| URI | m2://inv/1E4QS23854 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29554807, bishop's graph (unknown). Also MathWorld BishopGraph
- wikipedia: Wikipedia Bishop's graph, Bishop's graph (definition). Also Wikidata Q29554807
History
- 2026-10-26: add by m2/dev
1E4YK850KA 1E4YK850KA
| URI | m2://inv/1E4YK850KA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.01694#279Q (definition). In EBMHYN0XK9/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Applications 1E500TB0T1
| URI | m2://inv/1E500TB0T1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma function#EHQI, Applications (example)
History
- 2026-11-02: add by m2/dev
Main Theorem 1E590B8AEW
| URI | m2://inv/1E590B8AEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#JQN0, Main Theorem (statement). In GG14QF0JKJ/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Dupin's theorem 1E5BNPHPKT
| URI | m2://inv/1E5BNPHPKT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q84845514, Dupin's theorem (statement). Also MathWorld DupinsTheorem
History
- 2026-10-26: add by m2/dev
1E5F0YPQ77 1E5F0YPQ77
| URI | m2://inv/1E5F0YPQ77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2009.11127#IY68 (statement). In QEFS0Y021A/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.3.5
Catalan solid 1E5M62E230
| URI | m2://inv/1E5M62E230 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q258921, Catalan solid (unknown). Also MathWorld CatalanSolid
- wikipedia: Wikipedia Catalan solid, Catalan solid (definition). Also Wikidata Q258921
History
- 2026-10-26: add by m2/dev
1E5S25DDC5 1E5S25DDC5
| URI | m2://inv/1E5S25DDC5 |
|---|---|
| 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.19088#JI7R (statement). In 90QTB4CC31/e1, proposition 3.35
History
- 2026-10-28: add by m2/v0.4.2
Even-power design theorem 1E5W33F86F
| URI | m2://inv/1E5W33F86F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04136#7HQJ, Even-power design theorem (statement). In TBYTWR87F3/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
Applications 1E64B9VMKF
| URI | m2://inv/1E64B9VMKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitting subgroup#IYBQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Tetrahedral-octahedral honeycomb 1E65F2CHKF
| URI | m2://inv/1E65F2CHKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedral-octahedral honeycomb, Tetrahedral-octahedral honeycomb (definition). Also Wikidata Q7706516
History
- 2026-11-02: add by m2/dev
Frank Wilczek 1E68XFFJY5
| URI | m2://inv/1E68XFFJY5 |
|---|---|
| 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 Q107450, Frank Wilczek (unknown). Also nLab Frank Wilczek
History
- 2026-10-26: add by m2/dev
Qualification problem 1E6A6MHRSC
| URI | m2://inv/1E6A6MHRSC |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qualification problem, Qualification problem (problem). Also Wikidata Q7268636
History
- 2026-11-02: add by m2/dev
Aderemi Kuku 1E6B5YTV9F
| URI | m2://inv/1E6B5YTV9F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aderemi Kuku, Aderemi Kuku (topic). Also Wikidata Q12887060
History
- 2026-11-02: add by m2/dev
Block encoding 1E6QHZ8H6Y
| URI | m2://inv/1E6QHZ8H6Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#JJWF, Block encoding (definition). In WF64CGYVK1/e1, definition S23
History
- 2026-10-30: add by m2/v0.4.12
sum rule in integration 1E6WAHV6RN
| URI | m2://inv/1E6WAHV6RN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#PLEE, sum rule in integration (definition)
History
- 2026-11-02: add by m2/dev
Zhuang Zhou 1E72SX6NGE
| URI | m2://inv/1E72SX6NGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhuang Zhou, Zhuang Zhou (topic). Also Wikidata Q47739
History
- 2026-11-02: add by m2/dev
Immigration and crime in Canada 1E73M4RX12
| URI | m2://inv/1E73M4RX12 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immigration and crime#12NU, Immigration and crime in Canada (unknown)
History
- 2026-11-02: add by m2/dev
Kuramoto model 1E7AAY79GE
| URI | m2://inv/1E7AAY79GE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuramoto model, Kuramoto model (definition). Also Wikidata Q604374
History
- 2026-11-02: add by m2/dev
1E7M33NVV8 1E7M33NVV8
| URI | m2://inv/1E7M33NVV8 |
|---|---|
| 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-stochastic-probability (exercise). In 649HGZKE96, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
unbounded interval 1E7WKPK66G
| URI | m2://inv/1E7WKPK66G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/7.4/unbounded-interval, unbounded interval (concept). In E59CDZA4DP, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
image 1E89QW6JTS
| URI | m2://inv/1E89QW6JTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#NN3S, image (definition)
History
- 2026-11-02: add by m2/dev
1E8T69TF29 1E8T69TF29
| URI | m2://inv/1E8T69TF29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#SEWL (statement). In C8JAGP8VCQ/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
Meijer transform 1E8V0MSDDQ
| URI | m2://inv/1E8V0MSDDQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meijer G-function#ORYF, Meijer transform (unknown)
History
- 2026-11-02: add by m2/dev
Multidimensional analysis 1E8YJ2D4E1
| URI | m2://inv/1E8YJ2D4E1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GEMW, Multidimensional analysis (definition)
History
- 2026-11-02: add by m2/dev
1E9240RNP1 1E9240RNP1
| URI | m2://inv/1E9240RNP1 |
|---|---|
| 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.27646#D9MW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ron Shamir 1E941TF3QE
| URI | m2://inv/1E941TF3QE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FSQ1, Ron Shamir (unknown)
History
- 2026-11-02: add by m2/dev
Grothendieck–Katz conjecture 1E95WTS97W
| URI | m2://inv/1E95WTS97W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#FMT9, Grothendieck–Katz conjecture (definition)
History
- 2026-11-02: add by m2/dev
Symmetry 1E960JYF3M
| URI | m2://inv/1E960JYF3M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-6 pentagonal tiling#9F7W, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Probabilistic causation 1E9889P9VG
| URI | m2://inv/1E9889P9VG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YNOC, Probabilistic causation (definition)
History
- 2026-11-02: add by m2/dev
Schwartz–Zippel theorem 1E9HDXQ68H
| URI | m2://inv/1E9HDXQ68H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#83TT, Schwartz–Zippel theorem (statement)
History
- 2026-11-02: add by m2/dev
1E9KME0H5S 1E9KME0H5S
| URI | m2://inv/1E9KME0H5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25896#VJPQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
1E9PTGXPAY 1E9PTGXPAY
| URI | m2://inv/1E9PTGXPAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.32300#5XUH (statement). In VNE8N0D2FB/e1, proposition 5.10
History
- 2026-10-31: add by m2/v0.5.6
Element-based formula 1E9YVF75XC
| URI | m2://inv/1E9YVF75XC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Seidel method#7SZU, Element-based formula (statement)
History
- 2026-11-02: add by m2/dev
1E9Z6TS99B 1E9Z6TS99B
| URI | m2://inv/1E9Z6TS99B |
|---|---|
| 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#VK9Y (statement). In ZJQB9W60T6/e1, theorem 4.10
History
- 2026-10-28: add by m2/v0.4.2
$P_{\cI}$-orthogonal lattices 1EA40WK7FG
| URI | m2://inv/1EA40WK7FG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#X2OT, $P_{\cI}$-orthogonal lattices (definition). In 6G1KBA0SXV/e1, definition 4.13
History
- 2026-10-31: add by m2/v0.5.6
1EA49PXBQV 1EA49PXBQV
| URI | m2://inv/1EA49PXBQV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-47 (exercise). In E9HS8K3A52, exercise, section 10.4.4
History
- 2026-11-01: add by m2/v0.6.13
Applications 1EA5RQT1YW
| URI | m2://inv/1EA5RQT1YW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlocal operator#1CJJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Blockchain mining 1EA9TEXAQW
| URI | m2://inv/1EA9TEXAQW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptocurrency#VHAL, Blockchain mining (unknown)
History
- 2026-11-02: add by m2/dev
A. Ross Eckler 1EAAKEVF6B
| URI | m2://inv/1EAAKEVF6B |
|---|---|
| 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#ZSNN, A. Ross Eckler (unknown)
History
- 2026-11-02: add by m2/dev
Path lifting property 1EAKWENF24
| URI | m2://inv/1EAKWENF24 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:path-lifting, Path lifting property (statement). In N54F33XE07, lem, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Q-Krawtchouk polynomials 1EAR8HFV6Y
| URI | m2://inv/1EAR8HFV6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-Krawtchouk polynomials, Q-Krawtchouk polynomials (definition). Also Wikidata Q7265271
History
- 2026-11-02: add by m2/dev
1EAZBZ73V0 1EAZBZ73V0
| URI | m2://inv/1EAZBZ73V0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27751#UI2V (statement)
History
- 2026-11-01: add by m2/v0.6.15
1EB02X63RS 1EB02X63RS
| URI | m2://inv/1EB02X63RS |
|---|---|
| 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.07122#ATBC (statement). In W0ZHX9DHPV/e1, proposition 16
History
- 2026-10-29: add by m2/v0.4.10
1EBDNDVB83 1EBDNDVB83
| URI | m2://inv/1EBDNDVB83 |
|---|---|
| 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.03288#FBZV (statement). In ZHP1MFSACN/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Second Main Theorem 1EBMPPT608
| URI | m2://inv/1EBMPPT608 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14502#455M, Second Main Theorem (statement). In 6BVBMTYXNZ/e1, theorem 2.7
History
- 2026-10-28: add by m2/v0.4.2
1EBPSKAM3G 1EBPSKAM3G
| URI | m2://inv/1EBPSKAM3G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#NX3O (definition). In M4JGP708F4/e1, definition 3.9
History
- 2026-10-29: add by m2/v0.4.12
1EBS7269E0 1EBS7269E0
| URI | m2://inv/1EBS7269E0 |
|---|---|
| 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.21632#SZLN (statement). In Q4RZTN2EX6/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.4.2
1EBTP3ZFE6 1EBTP3ZFE6
| URI | m2://inv/1EBTP3ZFE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#P4IH (statement). In RZWJ0AT8W5/e1, corollary 3.13
History
- 2026-10-31: add by m2/v0.5.6
1EC6N3YQWQ 1EC6N3YQWQ
| URI | m2://inv/1EC6N3YQWQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#problem-3 (exercise). In P1C114YBXG, problem, section A
History
- 2026-11-01: add by m2/v0.6.13
Examples 1EC74JKCDA
| URI | m2://inv/1EC74JKCDA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann algebra#URBX, Examples (example)
History
- 2026-11-02: add by m2/dev
Jesús María Sanz-Serna 1EC7PS71MK
| URI | m2://inv/1EC7PS71MK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jesús María Sanz-Serna, Jesús María Sanz-Serna (topic). Also Wikidata Q5930408
History
- 2026-11-02: add by m2/dev
1ECDXPQ9RH 1ECDXPQ9RH
| URI | m2://inv/1ECDXPQ9RH |
|---|---|
| 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 2306.00212#L49P (statement). In C9GG9C1X65/e1, lemma 25
History
- 2026-10-27: add by m2/v0.3.5
Dihectogon 1ECENSEYZD
| URI | m2://inv/1ECENSEYZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#83NZ, Dihectogon (unknown)
History
- 2026-11-02: add by m2/dev
\lean{dichotomy 1ECG0X6DSZ
| URI | m2://inv/1ECG0X6DSZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23143#FFTG, \lean{dichotomy (statement)
History
- 2026-11-02: add by m2/v0.6.17
1ECQQXBXCA 1ECQQXBXCA
| URI | m2://inv/1ECQQXBXCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#IEHE (statement). In 29D4TTE3J2/e1, lemma 9.1
History
- 2026-10-27: add by m2/v0.4.2
\bf{Global existence 1ECR3S13W3
| URI | m2://inv/1ECR3S13W3 |
|---|---|
| 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.16700#0XHK, \bf{Global existence (statement). In 3JPKD7NBEN/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
complex number, formal definition of 1ECTMQ3RJV
| URI | m2://inv/1ECTMQ3RJV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.18/complex-number-formal-definition-of, complex number, formal definition of (concept). In QKM9DD2H56, index, section B.18
History
- 2026-11-01: add by m2/v0.6.13
1ECY2WHA53 1ECY2WHA53
| URI | m2://inv/1ECY2WHA53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.00412#GC2G (statement). In APD8GE0E4F/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
Lifelong Learning Institute 1ED5RSGAPF
| URI | m2://inv/1ED5RSGAPF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#OX9Y, Lifelong Learning Institute (unknown)
History
- 2026-11-02: add by m2/dev
Definitions 1ED65Y4R9P
| URI | m2://inv/1ED65Y4R9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamic equilibrium#HA4N, Definitions (definition)
History
- 2026-11-02: add by m2/dev
1ED7FTJA24 1ED7FTJA24
| URI | m2://inv/1ED7FTJA24 |
|---|---|
| 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.07451#PUC2 (statement). In P7KT88N75Q/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Raghunatha Shiromani 1EDAEFK36B
| URI | m2://inv/1EDAEFK36B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raghunatha Shiromani, Raghunatha Shiromani (topic). Also Wikidata Q4387084
History
- 2026-11-02: add by m2/dev
The Bernoulli product law 1EDAHKEBQ0
| URI | m2://inv/1EDAHKEBQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#2T1J, The Bernoulli product law (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ground-state energy benchmark 1EDAW5936D
| URI | m2://inv/1EDAW5936D |
|---|---|
| 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.02166#SAPA, Ground-state energy benchmark (statement). In R6RF3P6D5A/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.12
krypton 1EDB31BFGY
| URI | m2://inv/1EDB31BFGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q888, krypton (definition). Also ProofWiki Definition:Krypton
History
- 2026-10-26: add by m2/dev
Cyclic support, non-divisible case 1EDFY1BNAA
| URI | m2://inv/1EDFY1BNAA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20087#59QU, Cyclic support, non-divisible case (definition). In ZRE2WQR5XA/e1, definition IV.2
History
- 2026-10-27: add by m2/v0.4.2
principle of inclusion/exclusion 1EDPPTQ9F3
| URI | m2://inv/1EDPPTQ9F3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.1.2/principle-of-inclusion-exclusion, principle of inclusion/exclusion (concept). In Y91XFCEVHQ, index, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
Specificity (tests) 1EE0MXZBH1
| URI | m2://inv/1EE0MXZBH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#P1YN, Specificity (tests) (definition)
History
- 2026-11-02: add by m2/dev
$n$-type 1EECN16BNT
| URI | m2://inv/1EECN16BNT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.1/n-type, $n$-type (concept). In N54F33XE07, index, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
Applications 1EEJE3XJYS
| URI | m2://inv/1EEJE3XJYS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random effects model#53MY, Applications (example)
History
- 2026-11-02: add by m2/dev
1EEQ4QEQCK 1EEQ4QEQCK
| URI | m2://inv/1EEQ4QEQCK |
|---|---|
| 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.10243#X8XJ (statement). In 6N7EAD1PYD/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
1EEQFNZ5H3 1EEQFNZ5H3
| URI | m2://inv/1EEQFNZ5H3 |
|---|---|
| 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.26270#J5JB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithm 1EETAJHXCW
| URI | m2://inv/1EETAJHXCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sliced inverse regression#2GJM, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
1EEVSP5AFY 1EEVSP5AFY
| URI | m2://inv/1EEVSP5AFY |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2307.16868#DKT6 (problem). In H1BA0DYXA1/e1, problem
History
- 2026-10-27: add by m2/v0.3.5
1EF0TH0EHV 1EF0TH0EHV
| URI | m2://inv/1EF0TH0EHV |
|---|---|
| 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.01656#UJGK (statement). In AHGQZ89DY0/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
symmetric matrix 1EF1CTST0J
| URI | m2://inv/1EF1CTST0J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/7.1.2/symmetric-matrix, symmetric matrix (concept). In 649HGZKE96, index, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
1EFEC9SAH3 1EFEC9SAH3
| URI | m2://inv/1EFEC9SAH3 |
|---|---|
| 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.04876#O8A8 (statement). In 2TNAKVC0YP/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
1EFESTCZHX 1EFESTCZHX
| URI | m2://inv/1EFESTCZHX |
|---|---|
| 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.07905#4M1F (statement). In 88GEN3Z5VG/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
1EFWA8HDEE 1EFWA8HDEE
| URI | m2://inv/1EFWA8HDEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08655#EB20 (statement). In ZT7H1ZDN96/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.10
Ryll-Nardzewski fixed-point theorem 1EFZ1YB1E0
| URI | m2://inv/1EFZ1YB1E0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#H439, Ryll-Nardzewski fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
Factorization on the defect subspace 1EGANQE99C
| URI | m2://inv/1EGANQE99C |
|---|---|
| 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.27181#WM7S, Factorization on the defect subspace (statement)
History
- 2026-11-01: add by m2/v0.6.15
quaternion-Kähler manifold 1EGB1H0RYW
| URI | m2://inv/1EGB1H0RYW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Quaternion-Kähler manifold NAJBH8GJMM |
Mentions
- wikidata: Wikidata Q7269561, quaternion-Kähler manifold (concept). Also nLab quaternion-Kähler manifold
- wikipedia: Wikipedia Quaternion-Kähler manifold, Quaternion-Kähler manifold (definition). Also Wikidata Q7269561
History
- 2026-10-26: add by m2/dev
Applications 1EGKV048FQ
| URI | m2://inv/1EGKV048FQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hungarian algorithm#QU40, Applications (example)
History
- 2026-11-02: add by m2/dev
Iterates and hitting time 1EGQAE36AP
| URI | m2://inv/1EGQAE36AP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03811#THHX, Iterates and hitting time (statement). In DHQWFJW02X/e1, proposition A.2
History
- 2026-10-29: add by m2/v0.4.12
1EGSP6STET 1EGSP6STET
| URI | m2://inv/1EGSP6STET |
|---|---|
| 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.18152#KRQ0 (statement). In AAVGAGCWTE/e1, corollary 2.6
History
- 2026-10-28: add by m2/v0.4.2
shape 1EGV2WEXQC
| URI | m2://inv/1EGV2WEXQC |
|---|---|
| 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.07508#3EN9, shape (statement). In TPA3E67MKK/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Framingtopes: First Definition 1EHD5T7BCB
| URI | m2://inv/1EHD5T7BCB |
|---|---|
| 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 2609.20656#EDQE, Framingtopes: First Definition (definition)
History
- 2026-11-02: add by m2/v0.6.18
1EHJAKD7YP 1EHJAKD7YP
| URI | m2://inv/1EHJAKD7YP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.02111#0GJC (statement). In NC5ZRF6F8N/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Charles Henry Rowe 1EHNQKVDM9
| URI | m2://inv/1EHNQKVDM9 |
|---|---|
| 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#P19N, Charles Henry Rowe (topic)
History
- 2026-11-02: add by m2/dev
1EHPP5951C 1EHPP5951C
| URI | m2://inv/1EHPP5951C |
|---|---|
| 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 2011.06637#EK5W (statement). In KFCJ5CFP3G/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
1EJ1SSVNZK 1EJ1SSVNZK
| URI | m2://inv/1EJ1SSVNZK |
|---|---|
| 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.04993#89PU (statement). In JQBWZPXKAV/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
Carpet plot 1EJ2S6VWPG
| URI | m2://inv/1EJ2S6VWPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0LJ2, Carpet plot (definition)
History
- 2026-11-02: add by m2/dev
Statements 1EJ3RHP53E
| URI | m2://inv/1EJ3RHP53E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Engel's theorem#TTG9, Statements (statement)
History
- 2026-11-02: add by m2/dev
Expected Queries and Query Tails 1EJDFHB5ZN
| URI | m2://inv/1EJDFHB5ZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#B7U3, Expected Queries and Query Tails (statement). In ZZER8ZBSCR/e1, proposition 5.11
History
- 2026-10-29: add by m2/v0.4.12
Definition 1EJQJVNE1S
| URI | m2://inv/1EJQJVNE1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein ideal#8T9A, Definition (definition)
History
- 2026-11-02: add by m2/dev
1EJSDCNF82 1EJSDCNF82
| URI | m2://inv/1EJSDCNF82 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#9ZGJ (problem). In 29D4TTE3J2/e1, problem 2.3
History
- 2026-10-27: add by m2/v0.4.2
filtered category 1EJYWWXX00
| URI | m2://inv/1EJYWWXX00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Filtered category 975PMY4FG8 |
Mentions
- wikidata: Wikidata Q5449247, filtered category (unknown). Also nLab filtered category
- wikipedia: Wikipedia Filtered category, Filtered category (definition). Also Wikidata Q5449247
History
- 2026-10-26: add by m2/dev
1EK01EST0C 1EK01EST0C
| URI | m2://inv/1EK01EST0C |
|---|---|
| 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#6ATQ (definition). In Z7E16PFFCP/e1, definition 4.10
History
- 2026-10-30: add by m2/v0.4.12
parallelizable manifold 1EK2JBXX0Z
| URI | m2://inv/1EK2JBXX0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Parallelizable manifold 7WX14GWD4M |
Mentions
- wikidata: Wikidata Q1014612, parallelizable manifold (unknown). Also EoM Parallelizable_manifold, MathWorld Parallelizable, nLab framed manifold
- wikipedia: Wikipedia Parallelizable manifold, Parallelizable manifold (definition). Also Wikidata Q1014612
History
- 2026-10-26: add by m2/dev
1EK3D89MC6 1EK3D89MC6
| URI | m2://inv/1EK3D89MC6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-13 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
1EK648H4CM 1EK648H4CM
| URI | m2://inv/1EK648H4CM |
|---|---|
| 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.00584#6WI4 (statement). In 3CRSR95BNA/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Examples 1EKCWW6JBM
| URI | m2://inv/1EKCWW6JBM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functor category#B9L0, Examples (example)
History
- 2026-11-02: add by m2/dev
Hadwiger's principal theorem 1EKP2NAFDX
| URI | m2://inv/1EKP2NAFDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eutactic star#G6ND, Hadwiger's principal theorem (statement)
History
- 2026-11-02: add by m2/dev
1EKPQEHYS2 1EKPQEHYS2
| URI | m2://inv/1EKPQEHYS2 |
|---|---|
| Kind | problem |
| 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.01267#JDTS (problem). In GWWHP6R0BZ/e1, problem 5.3
History
- 2026-10-29: add by m2/v0.4.12
type, dependent pair 1EKRNH6GJM
| URI | m2://inv/1EKRNH6GJM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.7/type-dependent-pair, type, dependent pair (concept). In N54F33XE07, index, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
1EM4J4MWQ6 1EM4J4MWQ6
| URI | m2://inv/1EM4J4MWQ6 |
|---|---|
| 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.21258#CDIO (statement). In PN98BKSKZP/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Choice of a bounded scale 1EM79VFQPH
| URI | m2://inv/1EM79VFQPH |
|---|---|
| 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.23558#7E9Y, Choice of a bounded scale (statement)
History
- 2026-11-02: add by m2/v0.6.17
1EM9DT7GZD 1EM9DT7GZD
| URI | m2://inv/1EM9DT7GZD |
|---|---|
| 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.22291#MCM2 (statement). In TMBJ7NVPC7/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.0
1EMERXQ70N 1EMERXQ70N
| URI | m2://inv/1EMERXQ70N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/partial-iso.tex#defn-4 (definition). In PKGMM3P5QY, defn, section 46.5
History
- 2026-11-01: add by m2/v0.6.13
achromatic 1EMKNYTQRE
| URI | m2://inv/1EMKNYTQRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#U0QW, achromatic (definition)
History
- 2026-11-02: add by m2/dev
1EMTDNGZV7 1EMTDNGZV7
| URI | m2://inv/1EMTDNGZV7 |
|---|---|
| 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.02379#2MRK (statement). In W9E40AZJ03/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
1EMZ7VHA0J 1EMZ7VHA0J
| URI | m2://inv/1EMZ7VHA0J |
|---|---|
| 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 2303.14022#8Y55 (statement). In NSYR6W27FP/e1, proposition 2.12
History
- 2026-10-27: add by m2/v0.3.5
CECPQ1 1EN2QMWF4G
| URI | m2://inv/1EN2QMWF4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CECPQ1, CECPQ1 (definition). Also Wikidata Q28134921
History
- 2026-11-02: add by m2/dev
1EN3VVYBAM 1EN3VVYBAM
| URI | m2://inv/1EN3VVYBAM |
|---|---|
| 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#AJMF (statement)
History
- 2026-11-02: add by m2/v0.6.17
AGT correspondence 1ENGA74V5D
| URI | m2://inv/1ENGA74V5D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17338668, AGT correspondence (unknown). Also nLab AGT correspondence
History
- 2026-10-26: add by m2/dev
Thomas–Yau conjecture 1ENHR03J6Z
| URI | m2://inv/1ENHR03J6Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas–Yau conjecture, Thomas–Yau conjecture (statement). Also Wikidata Q111264533
History
- 2026-11-02: add by m2/dev
The gap conjecture 1ENWA7AGVK
| URI | m2://inv/1ENWA7AGVK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gromov's theorem on groups of polynomial growth#5HRT, The gap conjecture (statement)
History
- 2026-11-02: add by m2/dev
percolation threshold 1EP3JDKEDZ
| URI | m2://inv/1EP3JDKEDZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Percolation threshold MP8VSZK19A |
Mentions
- wikidata: Wikidata Q7167170, percolation threshold (concept). Also MathWorld PercolationThreshold
- wikipedia: Wikipedia Percolation threshold, Percolation threshold (definition). Also Wikidata Q7167170
History
- 2026-10-26: add by m2/dev
Characterization 1EP4VKBV4W
| URI | m2://inv/1EP4VKBV4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine monoid#BLSY, Characterization (statement)
History
- 2026-11-02: add by m2/dev
1EPBS7N2FK 1EPBS7N2FK
| URI | m2://inv/1EPBS7N2FK |
|---|---|
| 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.07021#CNL3 (statement). In H4CM84JVPC/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
1EPC6ZDERK 1EPC6ZDERK
| URI | m2://inv/1EPC6ZDERK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#H1B2 (statement). In J99PFFJXPE/e1, theorem 4.13
History
- 2026-10-27: add by m2/v0.3.6
Formulas 1EPCFCS3XW
| URI | m2://inv/1EPCFCS3XW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twelvefold way#79FC, Formulas (statement)
History
- 2026-11-02: add by m2/dev
1EPG8VR7HD 1EPG8VR7HD
| URI | m2://inv/1EPG8VR7HD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2302.06336#MV5B (statement). In CCRSWBXWXW/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
truth conditions 1EPKNV7SKW
| URI | m2://inv/1EPKNV7SKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1PVT, truth conditions (definition)
History
- 2026-11-02: add by m2/dev
Definition 1EPQSBPX3Y
| URI | m2://inv/1EPQSBPX3Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proth prime#5SUO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Example 1EPVGZ7NMW
| URI | m2://inv/1EPVGZ7NMW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect graph theorem#KL9J, Example (example)
History
- 2026-11-02: add by m2/dev
1EPVPRNQY4 1EPVPRNQY4
| URI | m2://inv/1EPVPRNQY4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-4.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Timeline of algebra 1EPXDC7HMR
| URI | m2://inv/1EPXDC7HMR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timeline of algebra, Timeline of algebra (topic). Also Wikidata Q2966926
History
- 2026-11-02: add by m2/dev
Statement of the theorem 1EQ0BW24RP
| URI | m2://inv/1EQ0BW24RP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov extension theorem#GIIT, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
1EQ3H7P7PK 1EQ3H7P7PK
| URI | m2://inv/1EQ3H7P7PK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28289#4D9C (statement)
History
- 2026-11-01: add by m2/v0.6.15
1EQ50SZQHA 1EQ50SZQHA
| URI | m2://inv/1EQ50SZQHA |
|---|---|
| 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#ZNR4 (statement). In HBZXCMYPME/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
Examples 1EQ6FA0ATM
| URI | m2://inv/1EQ6FA0ATM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subharmonic function#B5E8, Examples (example)
History
- 2026-11-02: add by m2/dev
Kirby–Paris theorem 1EQBGVC75H
| URI | m2://inv/1EQBGVC75H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4RV9, Kirby–Paris theorem (statement)
History
- 2026-11-02: add by m2/dev
Baby boomers 1EQJZJSGFX
| URI | m2://inv/1EQJZJSGFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baby boomers, Baby boomers (definition). Also Wikidata Q797819
History
- 2026-11-02: add by m2/dev
1EQSCEM26B 1EQSCEM26B
| URI | m2://inv/1EQSCEM26B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 1010.3284#NJW1 (statement). In 7D3VBRZGMY/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
lollipop graph 1EQWZ0PW8D
| URI | m2://inv/1EQWZ0PW8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25099517, lollipop graph (unknown). Also MathWorld LollipopGraph
- wikipedia: Wikipedia Lollipop graph, Lollipop graph (definition). Also Wikidata Q25099517
History
- 2026-10-26: add by m2/dev
stream 1EQYW1N7S4
| URI | m2://inv/1EQYW1N7S4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > List-like structures > stream, stream (unknown). Also Mathlib Stream'
History
- 2026-10-26: add by m2/dev
1EQZNMCGEZ 1EQZNMCGEZ
| URI | m2://inv/1EQZNMCGEZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15037#HPIP (definition). In 9XCA9T80GJ/e1, definition 2.2.1
History
- 2026-10-28: add by m2/v0.4.2
type, circle 1ER7V9XWF3
| URI | m2://inv/1ER7V9XWF3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.5/type-circle, type, circle (concept). In N54F33XE07, index, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Formal moduli 1ER8TF4S74
| URI | m2://inv/1ER8TF4S74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal moduli, Formal moduli (definition). Also Wikidata Q5469965
History
- 2026-11-02: add by m2/dev
Strict 2-functor 1ERFZGZZ03
| URI | m2://inv/1ERFZGZZ03 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.10930#YEUG, Strict 2-functor (definition). In HX63A1PH1W/e1, definition 8.3
History
- 2026-10-28: add by m2/v0.4.3
Example 1ERG70W5AF
| URI | m2://inv/1ERG70W5AF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yates analysis#YUJ3, Example (example)
History
- 2026-11-02: add by m2/dev
1ERKMWYF1S 1ERKMWYF1S
| URI | m2://inv/1ERKMWYF1S |
|---|---|
| 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.20421#3ERM (statement). In Q4R7J8JE3F/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
Claim 2 1ERN0SVYD2
| URI | m2://inv/1ERN0SVYD2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof that pi is irrational#79KF, Claim 2 (statement)
History
- 2026-11-02: add by m2/dev
Construction 1ERSG22BS1
| URI | m2://inv/1ERSG22BS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested interval topology#21NT, Construction (definition)
History
- 2026-11-02: add by m2/dev
1ERVXARJE0 1ERVXARJE0
| URI | m2://inv/1ERVXARJE0 |
|---|---|
| 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.07890#RJ83 (statement). In 6F3GSDT2V1/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
1ES17K0EEH 1ES17K0EEH
| URI | m2://inv/1ES17K0EEH |
|---|---|
| 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.01324#BG8B (statement). In XKXG49TNXH/e1, corollary 1.4
History
- 2026-10-27: add by m2/v0.3.6
logical matrix 1ESRM39502
| URI | m2://inv/1ESRM39502 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Boolean matrix AS4WVMYEDZ |
Mentions
- wikidata: Wikidata Q1994977, logical matrix (unknown). Also MathWorld 01-Matrix
- wikipedia: Wikipedia Logical matrix, Logical matrix (definition). Also Wikidata Q1994977
History
- 2026-10-26: add by m2/dev
Kaiser window 1ET0QP3Z73
| URI | m2://inv/1ET0QP3Z73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaiser window, Kaiser window (definition). Also Wikidata Q3775923
History
- 2026-11-02: add by m2/dev
Herbrand interpretation 1ET0RXBPTC
| URI | m2://inv/1ET0RXBPTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#1LRO, Herbrand interpretation (definition)
History
- 2026-11-02: add by m2/dev
1ET5E06WJD 1ET5E06WJD
| URI | m2://inv/1ET5E06WJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25897#B6LE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 1ETDB5M9JW
| URI | m2://inv/1ETDB5M9JW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull ring#UTUT, Examples (example)
History
- 2026-11-02: add by m2/dev
1ETSQKE9B5 1ETSQKE9B5
| URI | m2://inv/1ETSQKE9B5 |
|---|---|
| Kind | definition |
| 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#Y64J (definition). In V5PVKDKGGG/e1, definition 1.4
History
- 2026-10-28: add by m2/v0.4.2
Jaynes, Edwin Thompson 1ETT46AAES
| URI | m2://inv/1ETT46AAES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1CU0, Jaynes, Edwin Thompson (unknown)
History
- 2026-11-02: add by m2/dev
Functional FGR 1ETW9WNH4D
| URI | m2://inv/1ETW9WNH4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#D0UF, Functional FGR (statement). In JBAQ7DTW7B/e1, lemma 15.2
History
- 2026-10-27: add by m2/v0.3.5
connected sum 1EV1N0NGEP
| URI | m2://inv/1EV1N0NGEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Connected sum Y0K0K5NGWW |
Mentions
- wikidata: Wikidata Q1890389, connected sum (unknown). Also nLab connected sum
- wikipedia: Wikipedia Connected sum, Connected sum (definition). Also Wikidata Q1890389
History
- 2026-10-26: add by m2/dev
1EV7XCK3C9 1EV7XCK3C9
| URI | m2://inv/1EV7XCK3C9 |
|---|---|
| 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 0809.1307#H7OH (statement). In TP09MNWY6B/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.3.5
Formal definition 1EVD6PSME7
| URI | m2://inv/1EVD6PSME7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hitchin functional#E7XP, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Interior constant of $H_4$ 1EVPXCRSAY
| URI | m2://inv/1EVPXCRSAY |
|---|---|
| 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.37479#97SO, Interior constant of $H_4$ (statement). In P3RTT99C41/e1, lemma C.11
History
- 2026-10-30: add by m2/v0.4.12
Extensions 1EVTA9634B
| URI | m2://inv/1EVTA9634B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prolog#87OB, Extensions (statement)
History
- 2026-11-02: add by m2/dev
algebraic manifold 1EW1FDRMZ7
| URI | m2://inv/1EW1FDRMZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4724008, algebraic manifold (unknown). Also MathWorld AlgebraicManifold
- wikipedia: Wikipedia Algebraic manifold, Algebraic manifold (definition). Also Wikidata Q4724008
History
- 2026-10-26: add by m2/dev
1EW38E2TXX 1EW38E2TXX
| URI | m2://inv/1EW38E2TXX |
|---|---|
| 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.25656#AMVQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
locally of finite presentation 1EW4QR524R
| URI | m2://inv/1EW4QR524R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#N5F4, locally of finite presentation (definition)
History
- 2026-11-02: add by m2/dev
Ordinal coarse equilibrium at rate $O(1/T)$ 1EW62VNA7F
| URI | m2://inv/1EW62VNA7F |
|---|---|
| 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#DFH1, Ordinal coarse equilibrium at rate $O(1/T)$ (statement). In 31MQPCA8SH/e1, corollary C.1
History
- 2026-10-29: add by m2/v0.4.10
Example 1EWDVGXVVP
| URI | m2://inv/1EWDVGXVVP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic normal form#CO5R, Example (example)
History
- 2026-11-02: add by m2/dev
1EWGJMDY4E 1EWGJMDY4E
| URI | m2://inv/1EWGJMDY4E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-1.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
1EWHJJ64AB 1EWHJJ64AB
| URI | m2://inv/1EWHJJ64AB |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#3IKE (unknown). In QX77AN49J0/e1, unknown
History
- 2026-10-27: add by m2/v0.4.2
CrypTool 1EWKB809C5
| URI | m2://inv/1EWKB809C5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CrypTool, CrypTool (definition). Also Wikidata Q1142244
History
- 2026-11-02: add by m2/dev
1EWVDE7WBM 1EWVDE7WBM
| URI | m2://inv/1EWVDE7WBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#defn-6 (definition). In E59CDZA4DP, defn, section 11.2.1
History
- 2026-11-01: add by m2/v0.6.13
Definitions 1EWWKYQ74R
| URI | m2://inv/1EWWKYQ74R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic feasible solution#V7CM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Fisher information matrix 1EWX06PZ5Y
| URI | m2://inv/1EWX06PZ5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#LAMM, Fisher information matrix (definition)
History
- 2026-11-02: add by m2/dev
1EWYF8JZ1D 1EWYF8JZ1D
| URI | m2://inv/1EWYF8JZ1D |
|---|---|
| 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.21533#JDXM (statement). In N3Z6JFEPCF/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.4.2
1EX5JP793R 1EX5JP793R
| URI | m2://inv/1EX5JP793R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25004#UDAM (statement)
History
- 2026-11-01: add by m2/v0.6.15
1EX8JTR45F 1EX8JTR45F
| URI | m2://inv/1EX8JTR45F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#example-7 (example). In RZP28ERRZV, example, section 21.4
History
- 2026-11-01: add by m2/v0.6.13
Shift theorem 1EX8MBFPKY
| URI | m2://inv/1EX8MBFPKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#W9CU, Shift theorem (statement)
History
- 2026-11-02: add by m2/dev
Herfindahl index 1EXA89HXR1
| URI | m2://inv/1EXA89HXR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UI0P, Herfindahl index (definition)
History
- 2026-11-02: add by m2/dev
1EXFSY3YP4 1EXFSY3YP4
| URI | m2://inv/1EXFSY3YP4 |
|---|---|
| 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.21645#7A0W (statement)
History
- 2026-11-02: add by m2/v0.6.18
Political argument 1EXJYA3JQN
| URI | m2://inv/1EXJYA3JQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Political argument, Political argument (definition). Also Wikidata Q7210255
History
- 2026-11-02: add by m2/dev
1EXKKAVFAQ 1EXKKAVFAQ
| URI | m2://inv/1EXKKAVFAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#ZSNI (statement). In JW8HH6EPG2/e1, lemma 3.54
History
- 2026-10-29: add by m2/v0.4.10
Related results 1EXPXYY6G2
| URI | m2://inv/1EXPXYY6G2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's theorem on affineness#3HGU, Related results (statement)
History
- 2026-11-02: add by m2/dev
1EXVG6KKB3 1EXVG6KKB3
| URI | m2://inv/1EXVG6KKB3 |
|---|---|
| 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 2503.08018#35O0 (statement). In TN93YFN45W/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.0
An ineffective even theta characteristic in every genus 1EXX4EZTSP
| URI | m2://inv/1EXX4EZTSP |
|---|---|
| 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 2610.00490#C8RS, An ineffective even theta characteristic in every genus (statement). In PZJDV6SJ9E/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Arc 1EXZE966HW
| URI | m2://inv/1EXZE966HW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arc (projective geometry), Arc (definition). Also Wikidata Q4785004
History
- 2026-11-02: add by m2/dev
Eells–Kuiper manifold 1EY256BBE4
| URI | m2://inv/1EY256BBE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#DFF5, Eells–Kuiper manifold (definition)
History
- 2026-11-02: add by m2/dev
stopping time 1EY6DYA18G
| URI | m2://inv/1EY6DYA18G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Stopping time WND87FBAKC |
Mentions
- wikidata: Wikidata Q1288707, stopping time (unknown). Also EoM Stopping_time
- wikipedia: Wikipedia Stopping time, Stopping time (definition). Also Wikidata Q1288707
History
- 2026-10-26: add by m2/dev
Algebraic properties 1EY8DT4K8C
| URI | m2://inv/1EY8DT4K8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walther graph#IWX4, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
1EYA5E8SAM 1EYA5E8SAM
| URI | m2://inv/1EYA5E8SAM |
|---|---|
| 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.14803#QD5T (statement). In VAEVDTBD3B/e1, corollary 3.6
History
- 2026-10-28: add by m2/v0.4.2
1EYCKP84YS 1EYCKP84YS
| URI | m2://inv/1EYCKP84YS |
|---|---|
| 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.28937#7XID (statement)
History
- 2026-11-01: add by m2/v0.6.15
1EYD8ZK0AW 1EYD8ZK0AW
| URI | m2://inv/1EYD8ZK0AW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21191#KUZ8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
1EYK38HPPC 1EYK38HPPC
| URI | m2://inv/1EYK38HPPC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#popcornfunction:example (example). In E59CDZA4DP, example, section 2.2.3
History
- 2026-11-01: add by m2/v0.6.13
1EYME5Y3T9 1EYME5Y3T9
| URI | m2://inv/1EYME5Y3T9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#U6UV (statement). In X47RYAZF8P/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
1EYNY7GHSN 1EYNY7GHSN
| URI | m2://inv/1EYNY7GHSN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16241#7QM0 (definition). In WNDHZVY4WK/e1, definition A.10
History
- 2026-10-28: add by m2/v0.4.2
Banach contraction principle 1EYSCB8DMH
| URI | m2://inv/1EYSCB8DMH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10546#HTS6, Banach contraction principle (statement). In K5R5RRPMQ5/e1, corollary 3.1
History
- 2026-10-29: add by m2/v0.4.10
1EYSNK3VW2 1EYSNK3VW2
| URI | m2://inv/1EYSNK3VW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.25106#D7GM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Markov Chains and Mixing Times 1EYT6GTWM3
| URI | m2://inv/1EYT6GTWM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov Chains and Mixing Times, Markov Chains and Mixing Times (definition). Also Wikidata Q96392081
History
- 2026-11-02: add by m2/dev
Statement of the theorem 1EYTADDHEH
| URI | m2://inv/1EYTADDHEH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann's theorem#LZXA, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Group law 1EYXDZ59RS
| URI | m2://inv/1EYXDZ59RS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessian form of an elliptic curve#4GIX, Group law (statement)
History
- 2026-11-02: add by m2/dev
1EYZ5G8WXK 1EYZ5G8WXK
| URI | m2://inv/1EYZ5G8WXK |
|---|---|
| Kind | statement |
| 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#SQG8 (statement). In BDN507RN7J/e1, proposition 4.1.8
History
- 2026-10-30: add by m2/v0.4.12
1EYZB2R63Z 1EYZB2R63Z
| URI | m2://inv/1EYZB2R63Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#thm:inner_product_tri_ineq (statement). In RZP28ERRZV, theorem, section 60.2
History
- 2026-11-01: add by m2/v0.6.13
Definition 1EZ70X2W53
| URI | m2://inv/1EZ70X2W53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newtonian fluid#YC4T, Definition (definition)
History
- 2026-11-02: add by m2/dev
Paper bag problem 1EZFNATF8S
| URI | m2://inv/1EZFNATF8S |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7132682, Paper bag problem (problem). Also MathWorld PaperBag
- wikipedia: Wikipedia Paper bag problem, Paper bag problem (problem). Also Wikidata Q7132682
History
- 2026-10-26: add by m2/dev
1EZFW5XSTV 1EZFW5XSTV
| URI | m2://inv/1EZFW5XSTV |
|---|---|
| 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.40207#6CCQ (statement). In JXTG8KP95P/e1, lemma 5.13
History
- 2026-10-30: add by m2/v0.4.12
1EZJGCNQVS 1EZJGCNQVS
| URI | m2://inv/1EZJGCNQVS |
|---|---|
| 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 2406.19866#618J (definition). In 9F94CEQ1ZM/e1, definition 2.29
History
- 2026-10-27: add by m2/v0.3.5
Extensions 1EZP6V90NQ
| URI | m2://inv/1EZP6V90NQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting lemma (functions)#HNNT, Extensions (statement)
History
- 2026-11-02: add by m2/dev
1EZSYJGQ73 1EZSYJGQ73
| URI | m2://inv/1EZSYJGQ73 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-23 (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13