Inventory rows 4X
The cards of the rows of the inventory whose ids start with 4X. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Finite-shape allocation 4X000SW8SE
| URI | m2://inv/4X000SW8SE |
|---|---|
| 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.11143#PSAS, Finite-shape allocation (statement). In 9CS15SV662/e1, proposition 12.2
History
- 2026-10-28: add by m2/v0.4.3
4X006N7NJJ 4X006N7NJJ
| URI | m2://inv/4X006N7NJJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/equinumerous-sets.tex#equinumerosityisequi (statement). In PKGMM3P5QY, prop, section 83.6
History
- 2026-11-01: add by m2/v0.6.13
Partial geometry 4X034SX7HJ
| URI | m2://inv/4X034SX7HJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial geometry, Partial geometry (definition). Also Wikidata Q7140368
History
- 2026-11-02: add by m2/dev
Examples 4X06MPJZ1G
| URI | m2://inv/4X06MPJZ1G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paracompact space#V3V1, Examples (example)
History
- 2026-11-02: add by m2/dev
Counterexample 4X082FBXP0
| URI | m2://inv/4X082FBXP0 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimax theorem#GFRD, Counterexample (counterexample)
History
- 2026-11-02: add by m2/dev
Heine's identity 4X0F2BDPHA
| URI | m2://inv/4X0F2BDPHA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heine's identity, Heine's identity (statement). Also Wikidata Q5699656
History
- 2026-11-02: add by m2/dev
Black Chamber 4X0N2TX5WF
| URI | m2://inv/4X0N2TX5WF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black Chamber, Black Chamber (definition). Also Wikidata Q423081
History
- 2026-11-02: add by m2/dev
Kernel 4X0P2TJTZ9
| URI | m2://inv/4X0P2TJTZ9 |
|---|---|
| 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#HT5U, Kernel (statement). In P3RTT99C41/e1, lemma A.5
History
- 2026-10-30: add by m2/v0.4.12
4X0Q7DX2K5 4X0Q7DX2K5
| URI | m2://inv/4X0Q7DX2K5 |
|---|---|
| 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.32207#7LMJ (statement). In R94G9XD5AC/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
4X0R46C91J 4X0R46C91J
| URI | m2://inv/4X0R46C91J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-36 (proof). In N54F33XE07, proof, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Grzegorz Rozenberg 4X0XWQAK15
| URI | m2://inv/4X0XWQAK15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FPLH, Grzegorz Rozenberg (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GEJH, Grzegorz Rozenberg (unknown)
History
- 2026-11-02: add by m2/dev
Planar process 4X10V3PRW1
| URI | m2://inv/4X10V3PRW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar process, Planar process (definition). Also Wikidata Q1520588
History
- 2026-11-02: add by m2/dev
4X11DH85FT 4X11DH85FT
| URI | m2://inv/4X11DH85FT |
|---|---|
| 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#Q8DI (statement). In M8TSJ24RC2/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
4X11TRA8WP 4X11TRA8WP
| URI | m2://inv/4X11TRA8WP |
|---|---|
| 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 2603.26376#AD66 (statement). In PJAT9YDX7Y/e1, proposition 4.13
History
- 2026-10-27: add by m2/v0.4.0
4X15NW5EA1 4X15NW5EA1
| URI | m2://inv/4X15NW5EA1 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Comparison test for improper integrals 4X1B635HE8
| URI | m2://inv/4X1B635HE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#prop-8, Comparison test for improper integrals (statement). In E59CDZA4DP, prop, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Stationarity, symmetry, and conditional expectations 4X1BZ8SGX9
| URI | m2://inv/4X1BZ8SGX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03683#3Y6J, Stationarity, symmetry, and conditional expectations (statement). In 14AMXF6X2V/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
4X1HW8WDJW 4X1HW8WDJW
| URI | m2://inv/4X1HW8WDJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20285#KOPW (statement). In RQA728RB77/e1, proposition 24
History
- 2026-10-27: add by m2/v0.4.2
Nielsen's spiral 4X1NJ56KFX
| URI | m2://inv/4X1NJ56KFX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121145668, Nielsen's spiral (unknown). Also MathWorld NielsensSpiral
History
- 2026-10-26: add by m2/dev
4X1PK1JW4J 4X1PK1JW4J
| URI | m2://inv/4X1PK1JW4J |
|---|---|
| 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.10474#0UV8 (statement). In MB29RAAQMG/e1, lemma 6.9
History
- 2026-10-29: add by m2/v0.4.10
Gary Baseman 4X1R3E2KB0
| URI | m2://inv/4X1R3E2KB0 |
|---|---|
| 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#76GS, Gary Baseman (unknown)
History
- 2026-11-02: add by m2/dev
Definition 4X22V3YAXS
| URI | m2://inv/4X22V3YAXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex cover in hypergraphs#3I45, Definition (definition)
History
- 2026-11-02: add by m2/dev
Yousef Alavi 4X2346FFYW
| URI | m2://inv/4X2346FFYW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IZTC, Yousef Alavi (topic)
History
- 2026-11-02: add by m2/dev
induced 4X24PT9QNR
| URI | m2://inv/4X24PT9QNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#BA8C, induced (definition)
History
- 2026-11-02: add by m2/dev
Polynomial and rational function modeling 4X286MNGFP
| URI | m2://inv/4X286MNGFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial and rational function modeling, Polynomial and rational function modeling (definition). Also Wikidata Q7226633
History
- 2026-11-02: add by m2/dev
Inverse conjectures 4X28S5CCVW
| URI | m2://inv/4X28S5CCVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gowers norm#XIA2, Inverse conjectures (statement)
History
- 2026-11-02: add by m2/dev
2 51 honeycomb 4X2FYCVR56
| URI | m2://inv/4X2FYCVR56 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2 51 honeycomb, 2 51 honeycomb (object). Also Wikidata Q4633289
History
- 2026-11-02: add by m2/dev
4X2TVZX8F6 4X2TVZX8F6
| URI | m2://inv/4X2TVZX8F6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16388#WD3X (statement). In Q62MDENP26/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Kernel density estimation 4X2VH00V0Y
| URI | m2://inv/4X2VH00V0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#38H4, Kernel density estimation (definition)
History
- 2026-11-02: add by m2/dev
Average crossing number 4X2WCX8RAA
| URI | m2://inv/4X2WCX8RAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#7444, Average crossing number (definition)
History
- 2026-11-02: add by m2/dev
4X2XWVCKW2 4X2XWVCKW2
| URI | m2://inv/4X2XWVCKW2 |
|---|---|
| Kind | statement |
| 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#8DNP (statement). In HX63A1PH1W/e1, theorem 8.40
History
- 2026-10-28: add by m2/v0.4.3
4X2Z9BJQX4 4X2Z9BJQX4
| URI | m2://inv/4X2Z9BJQX4 |
|---|---|
| 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#J76B (statement). In 68AE571S4P/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.10
Glossary of mathematical symbols 4X31N1PMEB
| URI | m2://inv/4X31N1PMEB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#5HB5, Glossary of mathematical symbols (topic)
History
- 2026-11-02: add by m2/dev
Second law in chemical thermodynamics 4X31R2E7SB
| URI | m2://inv/4X31R2E7SB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second law of thermodynamics#FV13, Second law in chemical thermodynamics (statement)
History
- 2026-11-02: add by m2/dev
Gauss's constant 4X34VBJYVN
| URI | m2://inv/4X34VBJYVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lemniscate constant V5A2S8QYQQ |
Mentions
- wikidata: Wikidata Q1248689, Gauss's constant (unknown). Also MathWorld GausssConstant
- wikipedia: Wikipedia Lemniscate constant, Lemniscate constant (definition). Also Wikidata Q1248689
History
- 2026-10-26: add by m2/dev
Arthur Korn 4X39RVH7WX
| URI | m2://inv/4X39RVH7WX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#23CJ, Arthur Korn (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JA5S, Arthur Korn (unknown)
History
- 2026-11-02: add by m2/dev
Definition 4X3AGDYAB0
| URI | m2://inv/4X3AGDYAB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal scheme#OHSP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications 4X3KAR8Y5Y
| URI | m2://inv/4X3KAR8Y5Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bohr–Van Leeuwen theorem#2AQK, Applications (example)
History
- 2026-11-02: add by m2/dev
4X3QTD0ATX 4X3QTD0ATX
| URI | m2://inv/4X3QTD0ATX |
|---|---|
| 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.21009#K9K3 (statement). In 23G8VNDWDM/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.4.2
Cokernel 4X3RC4270P
| URI | m2://inv/4X3RC4270P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#HSR8, Cokernel (definition)
History
- 2026-11-02: add by m2/dev
simple pole 4X3SDANT3D
| URI | m2://inv/4X3SDANT3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123485165, simple pole (definition). Also MathWorld SimplePole, ProofWiki Definition:Order_of_Pole/Simple_Pole
History
- 2026-10-26: add by m2/dev
DeMorgan's theorem 4X3X5BPA52
| URI | m2://inv/4X3X5BPA52 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.9.1/demorgan-s-theorem, DeMorgan's theorem (concept). In E59CDZA4DP, index, section 11.9.1
History
- 2026-11-01: add by m2/v0.6.13
4X42FXTWAH 4X42FXTWAH
| URI | m2://inv/4X42FXTWAH |
|---|---|
| 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.36237#377T (statement). In JNBMSFE14N/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Coercivity 4X42YJ9K4N
| URI | m2://inv/4X42YJ9K4N |
|---|---|
| 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#Q5QI, Coercivity (statement). In 4HJK1986EJ/e1, proposition B.3
History
- 2026-10-29: add by m2/v0.4.10
Example 4X4S2DEYP2
| URI | m2://inv/4X4S2DEYP2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Weil–Bott theorem#SQGX, Example (example)
History
- 2026-11-02: add by m2/dev
4X4WYXDG1H 4X4WYXDG1H
| URI | m2://inv/4X4WYXDG1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#KGI3 (statement). In VN084GGZGK/e1, proposition 2.27
History
- 2026-10-28: add by m2/v0.4.3
4X52VRG8S4 4X52VRG8S4
| URI | m2://inv/4X52VRG8S4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#Z8EC (statement). In CGA36VE1C5/e1, fact 5.3.1
History
- 2026-10-27: add by m2/v0.3.6
Doob's martingale inequality 4X5D87MM2C
| URI | m2://inv/4X5D87MM2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Y6S0, Doob's martingale inequality (statement)
- wikipedia: Wikipedia List of inequalities#I6KZ, Doob's martingale inequality (statement)
History
- 2026-11-02: add by m2/dev
4X5H284GHS 4X5H284GHS
| URI | m2://inv/4X5H284GHS |
|---|---|
| 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 2609.24795#X69N (definition)
History
- 2026-11-01: add by m2/v0.6.15
4X5JPHH23P 4X5JPHH23P
| URI | m2://inv/4X5JPHH23P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-1-8-tan-line-approx.xml#example-1 (example). In 907G4C4EJ1, example, section 1.8.3
History
- 2026-11-01: add by m2/v0.6.13
4X5M93BN1V 4X5M93BN1V
| URI | m2://inv/4X5M93BN1V |
|---|---|
| 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.09599#E3M5 (statement). In 4JYGH9XNA9/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
perspectrix 4X5P5PENBM
| URI | m2://inv/4X5P5PENBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#4R2T, perspectrix (definition)
History
- 2026-11-02: add by m2/dev
Fragility Index 4X5QY8M6RN
| URI | m2://inv/4X5QY8M6RN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fragility Index, Fragility Index (definition). Also Wikidata Q56298448
History
- 2026-11-02: add by m2/dev
Nonvanishing criterion 4X5RD1A48P
| URI | m2://inv/4X5RD1A48P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17441#1ZFV, Nonvanishing criterion (statement). In 9Q8S0NWHP2/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Cardinal spline 4X5YZS4FBE
| URI | m2://inv/4X5YZS4FBE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic Hermite spline#2N4Z, Cardinal spline (unknown)
History
- 2026-11-02: add by m2/dev
4X65QZAXJ6 4X65QZAXJ6
| URI | m2://inv/4X65QZAXJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#WRI1 (statement). In BF0RYHPMS1/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
4X665FPCJJ 4X665FPCJJ
| URI | m2://inv/4X665FPCJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#2PGZ (statement). In KEP21CZFV9/e1, proposition #1
History
- 2026-10-31: add by m2/v0.5.6
Causal loop diagram 4X6A93JM0Q
| URI | m2://inv/4X6A93JM0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal loop diagram, Causal loop diagram (definition). Also Wikidata Q2412982
History
- 2026-11-02: add by m2/dev
4X6D72RQH7 4X6D72RQH7
| URI | m2://inv/4X6D72RQH7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#prop:complexlimitswapintegral (statement). In E59CDZA4DP, prop, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
4X6KBWGSSX 4X6KBWGSSX
| URI | m2://inv/4X6KBWGSSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.14389#6LXZ (statement). In NAMCCRM50R/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.3.5
Christophe Ley 4X6PTTG0ZA
| URI | m2://inv/4X6PTTG0ZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christophe Ley, Christophe Ley (topic). Also Wikidata Q55231961
History
- 2026-11-02: add by m2/dev
4X6Q2MAMV1 4X6Q2MAMV1
| URI | m2://inv/4X6Q2MAMV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/shor.tex#definition-2 (definition). In RZP28ERRZV, definition, section 76.2
History
- 2026-11-01: add by m2/v0.6.13
Properties 4X6YDANGQ3
| URI | m2://inv/4X6YDANGQ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific law#8NKZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Sard's lemma 4X6Z7AFWGX
| URI | m2://inv/4X6Z7AFWGX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#CABV, Sard's lemma (statement)
History
- 2026-11-02: add by m2/dev
4X74V5ZZ39 4X74V5ZZ39
| URI | m2://inv/4X74V5ZZ39 |
|---|---|
| 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 2106.11898#C70N (statement). In KXXV5X8AG4/e1, proposition 1.3
History
- 2026-10-27: add by m2/v0.3.6
Fundamental theorem of (pseudo-)Riemannian geometry 4X75ARH4WW
| URI | m2://inv/4X75ARH4WW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi-Civita connection#LI4P, Fundamental theorem of (pseudo-)Riemannian geometry (statement)
History
- 2026-11-02: add by m2/dev
implication 4X77ET5QJA
| URI | m2://inv/4X77ET5QJA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.1/implication, implication (concept). In Y91XFCEVHQ, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
4X7BFFTM0C 4X7BFFTM0C
| URI | m2://inv/4X7BFFTM0C |
|---|---|
| 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.04330#O1KT (statement). In 17H0HEM54D/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
4X7RM55CXP 4X7RM55CXP
| URI | m2://inv/4X7RM55CXP |
|---|---|
| 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.25477#ORA7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4X7TKKJ1EQ 4X7TKKJ1EQ
| URI | m2://inv/4X7TKKJ1EQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:split-essentially-surjective (definition). In N54F33XE07, defn, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Alternative definition 4X7VDG96AW
| URI | m2://inv/4X7VDG96AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyck language#FM7O, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
4X7X3T7KM6 4X7X3T7KM6
| URI | m2://inv/4X7X3T7KM6 |
|---|---|
| Kind | definition |
| 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.04431#HW85 (definition). In 3PSAWXCCJ8/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.12
4X8B7SM056 4X8B7SM056
| URI | m2://inv/4X8B7SM056 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:strict-category (definition). In N54F33XE07, defn, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
4X8EZ4VE93 4X8EZ4VE93
| URI | m2://inv/4X8EZ4VE93 |
|---|---|
| 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 2508.03972#EU71 (statement). In 2JD3KNKJ1P/e1, lemma 5.13
History
- 2026-10-27: add by m2/v0.3.5
Examples 4X8HC6V3VB
| URI | m2://inv/4X8HC6V3VB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector-valued differential form#XZ79, Examples (example)
History
- 2026-11-02: add by m2/dev
4X8PQHSK63 4X8PQHSK63
| URI | m2://inv/4X8PQHSK63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.07644#LKTV (statement). In TFAN2DR6FD/e1, proposition 22
History
- 2026-10-27: add by m2/v0.3.5
Great Circle Mapper 4X8S8KEE21
| URI | m2://inv/4X8S8KEE21 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great circle#4LSG, Great Circle Mapper (unknown)
History
- 2026-11-02: add by m2/dev
4X8VG8V2RX 4X8VG8V2RX
| URI | m2://inv/4X8VG8V2RX |
|---|---|
| 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.17258#O51O (statement). In F4M67ZVBF2/e1, theorem 2.9
History
- 2026-10-28: add by m2/v0.4.2
4X8W7PNRTK 4X8W7PNRTK
| URI | m2://inv/4X8W7PNRTK |
|---|---|
| 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.04466#W66M (statement). In EHW82CK883/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
Generalizations 4X8X77KJHX
| URI | m2://inv/4X8X77KJHX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lamplighter group#KQ8S, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Examples 4X91Q1T0Z4
| URI | m2://inv/4X91Q1T0Z4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum mean square error estimator#TWXO, Examples (example)
History
- 2026-11-02: add by m2/dev
Heinrich Hertz 4X92ZS2WZG
| URI | m2://inv/4X92ZS2WZG |
|---|---|
| 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 Q41257, Heinrich Hertz (unknown). Also ProofWiki Mathematician:Heinrich_Rudolf_Hertz
History
- 2026-10-26: add by m2/dev
4X93DQ42M2 4X93DQ42M2
| URI | m2://inv/4X93DQ42M2 |
|---|---|
| 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.14204#CX5H (statement). In GZAY1Y12YD/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Nontrivial fixed-point potentials 4X97KMDZ38
| URI | m2://inv/4X97KMDZ38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24568#JADG, Nontrivial fixed-point potentials (statement)
History
- 2026-11-01: add by m2/v0.6.15
Andrzej Ehrenfeucht 4X99JFQHTQ
| URI | m2://inv/4X99JFQHTQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrzej Ehrenfeucht, Andrzej Ehrenfeucht (topic). Also Wikidata Q93055
History
- 2026-11-02: add by m2/dev
4X9EV8QJQC 4X9EV8QJQC
| URI | m2://inv/4X9EV8QJQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21670#JVGU (statement)
History
- 2026-11-02: add by m2/v0.6.18
4X9G14M91Z 4X9G14M91Z
| URI | m2://inv/4X9G14M91Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-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.10591#9UGI (statement). In FTEA0TM35J/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Homoclinic orbit 4X9GBF1JKS
| URI | m2://inv/4X9GBF1JKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homoclinic orbit, Homoclinic orbit (definition). Also Wikidata Q690494
History
- 2026-11-02: add by m2/dev
4X9P7156WV 4X9P7156WV
| URI | m2://inv/4X9P7156WV |
|---|---|
| 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.17411#6U6V (statement). In 73QW05MWQB/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
4X9X8MYN5C 4X9X8MYN5C
| URI | m2://inv/4X9X8MYN5C |
|---|---|
| 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.20466#QOED (statement). In M4ZVJWM8YA/e1, theorem 5.27
History
- 2026-10-27: add by m2/v0.4.2
$V \cong V^\vee$ for real inner forms 4X9ZZ0S5JE
| URI | m2://inv/4X9ZZ0S5JE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#thm:real_dual_isomorphic, $V \cong V^\vee$ for real inner forms (statement). In RZP28ERRZV, theorem, section 61.3
History
- 2026-11-01: add by m2/v0.6.13
Janis Oldham 4XA7SVTM09
| URI | m2://inv/4XA7SVTM09 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janis Oldham, Janis Oldham (topic). Also Wikidata Q16946546
History
- 2026-11-02: add by m2/dev
Twin Pinnacles 4XAETDWBXR
| URI | m2://inv/4XAETDWBXR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#UDM7, Twin Pinnacles (unknown)
History
- 2026-11-02: add by m2/dev
4XAM6E5MC3 4XAM6E5MC3
| URI | m2://inv/4XAM6E5MC3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#thm:object-classifier (statement). In N54F33XE07, thm, section 3.8
History
- 2026-11-01: add by m2/v0.6.13
4XB159WCQX 4XB159WCQX
| URI | m2://inv/4XB159WCQX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-14 (example). In E59CDZA4DP, example, section 10.4
History
- 2026-11-01: add by m2/v0.6.13
transposition 4XB46XJFE8
| URI | m2://inv/4XB46XJFE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2666112, transposition (unknown). Also MathWorld Transposition
- wikidata: Wikidata Q78082099, transposition (unknown). Also MathWorld Transposition
History
- 2026-10-26: add by m2/dev
Davar Khoshnevisan 4XB4H1GG36
| URI | m2://inv/4XB4H1GG36 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Davar Khoshnevisan, Davar Khoshnevisan (topic). Also Wikidata Q93433261
History
- 2026-11-02: add by m2/dev
Paul Steinhardt 4XBMGZPE94
| URI | m2://inv/4XBMGZPE94 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#WKI2, Paul Steinhardt (unknown)
History
- 2026-11-02: add by m2/dev
uniform convergence 4XBS8HN3ZY
| URI | m2://inv/4XBS8HN3ZY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.2.1/uniform-convergence, uniform convergence (concept). In E59CDZA4DP, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
Lowndean Professor of Astronomy and Geometry 4XBV1E4G4T
| URI | m2://inv/4XBV1E4G4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lowndean Professor of Astronomy and Geometry, Lowndean Professor of Astronomy and Geometry (definition). Also Wikidata Q6694113
History
- 2026-11-02: add by m2/dev
Informal fallacy 4XC4MWJW6D
| URI | m2://inv/4XC4MWJW6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Informal fallacy, Informal fallacy (definition). Also Wikidata Q3312438
History
- 2026-11-02: add by m2/dev
4XC7CKPWPV 4XC7CKPWPV
| URI | m2://inv/4XC7CKPWPV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#65QC (definition). In A93R925Z24/e1, definition 6.1
History
- 2026-10-30: add by m2/v0.4.12
4XC7RSJ95T 4XC7RSJ95T
| URI | m2://inv/4XC7RSJ95T |
|---|---|
| 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.20028#H190 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Two-point lower bound 4XCG9NA7CS
| URI | m2://inv/4XCG9NA7CS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33008#A1RB, Two-point lower bound (statement). In 4M662A3ZF1/e1, lemma A.2
History
- 2026-10-31: add by m2/v0.5.6
4XCKDYX877 4XCKDYX877
| URI | m2://inv/4XCKDYX877 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#NK7G (unknown). In QNBFHFZ3H0/e1, unknown 123
History
- 2026-10-28: add by m2/v0.4.2
4XCMGMZ0GT 4XCMGMZ0GT
| URI | m2://inv/4XCMGMZ0GT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.07485#0C5V (statement). In 8KAC1E81JQ/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
Thurston norm 4XCPFF78K3
| URI | m2://inv/4XCPFF78K3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.13347#8L3E, Thurston norm (definition). In Z6QS82DPHE/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
Cutoff frequency 4XD37N35CR
| URI | m2://inv/4XD37N35CR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cutoff frequency, Cutoff frequency (definition). Also Wikidata Q1455881
History
- 2026-11-02: add by m2/dev
Example 4XDNDVPHA5
| URI | m2://inv/4XDNDVPHA5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix factorization of a polynomial#ODBJ, Example (example)
History
- 2026-11-02: add by m2/dev
Definition 4XDYF9WTZA
| URI | m2://inv/4XDYF9WTZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-inverse-Wishart distribution#9AQF, Definition (definition)
History
- 2026-11-02: add by m2/dev
4XE0SD8CG2 4XE0SD8CG2
| URI | m2://inv/4XE0SD8CG2 |
|---|---|
| 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 2407.04161#JWHB (definition). In JBZJ7NPQ4G/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.4.0
(Nigeria #6) 4XE1ES736C
| URI | m2://inv/4XE1ES736C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#WSO8, (Nigeria #6) (unknown)
History
- 2026-11-02: add by m2/dev
Normal invariant 4XE86GA4E7
| URI | m2://inv/4XE86GA4E7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal invariant, Normal invariant (definition). Also Wikidata Q7051812
History
- 2026-11-02: add by m2/dev
Objective-gap and minimizer-retention certificate 4XEEZDY27R
| URI | m2://inv/4XEEZDY27R |
|---|---|
| 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.08821#UJFA, Objective-gap and minimizer-retention certificate (statement). In KP1THB2C09/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
4XEHEF65WS 4XEHEF65WS
| URI | m2://inv/4XEHEF65WS |
|---|---|
| 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.25062#3HL6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Meta-discussion 4XEPGB55GD
| URI | m2://inv/4XEPGB55GD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meta-discussion, Meta-discussion (definition). Also Wikidata Q6822249
History
- 2026-11-02: add by m2/dev
Electrostatic ion cyclotron wave 4XEWGTRH06
| URI | m2://inv/4XEWGTRH06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electrostatic ion cyclotron wave, Electrostatic ion cyclotron wave (definition). Also Wikidata Q5358567
History
- 2026-11-02: add by m2/dev
4XEYVQ74RG 4XEYVQ74RG
| URI | m2://inv/4XEYVQ74RG |
|---|---|
| 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 2212.01916#FGVK (statement). In XTGB5Z08YH/e1, theorem 3.18
History
- 2026-10-27: add by m2/v0.4.0
4XF1BAXK8Y 4XF1BAXK8Y
| URI | m2://inv/4XF1BAXK8Y |
|---|---|
| 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 2401.05118#2H33 (statement). In BT0T0QS2TN/e1, theorem 4.10
History
- 2026-10-27: add by m2/v0.4.0
4XF8JSHX2K 4XF8JSHX2K
| URI | m2://inv/4XF8JSHX2K |
|---|---|
| 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.24325#5V20 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4XFBT0KH5V 4XFBT0KH5V
| URI | m2://inv/4XFBT0KH5V |
|---|---|
| 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.30961#FJ0Z (statement). In FFG2DDWEVB/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Zu Chongzhi 4XFER5JRW3
| URI | m2://inv/4XFER5JRW3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#6BMP, Zu Chongzhi (topic)
History
- 2026-11-02: add by m2/dev
Properties 4XFG4A05XV
| URI | m2://inv/4XFG4A05XV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zig-zag product#AQ2V, Properties (statement)
History
- 2026-11-02: add by m2/dev
4XFMENA06R 4XFMENA06R
| URI | m2://inv/4XFMENA06R |
|---|---|
| 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.38138#ZP53 (statement). In G97FA99ZEF/e1, fact 3.4
History
- 2026-10-30: add by m2/v0.4.12
Vladimir Braginsky 4XFY0DSY4S
| URI | m2://inv/4XFY0DSY4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#CX9I, Vladimir Braginsky (unknown)
History
- 2026-11-02: add by m2/dev
Richardson Professor of Applied Mathematics 4XFYVFQCV7
| URI | m2://inv/4XFYVFQCV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richardson Professor of Applied Mathematics, Richardson Professor of Applied Mathematics (definition). Also Wikidata Q7330325
History
- 2026-11-02: add by m2/dev
4XG2WRHYTH 4XG2WRHYTH
| URI | m2://inv/4XG2WRHYTH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#5IGP (example). In XBHQRTBH62/e1, example 1.19
History
- 2026-10-31: add by m2/v0.5.6
Westphalia Cup 4XG4005QFQ
| URI | m2://inv/4XG4005QFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Borussia Dortmund records and statistics#KW6V, Westphalia Cup (unknown)
History
- 2026-11-02: add by m2/dev
Marcos Marito 4XGE11SEXD
| URI | m2://inv/4XGE11SEXD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#M20Q, Marcos Marito (unknown)
History
- 2026-11-02: add by m2/dev
$S_F^t (x_0)$ forms a path-connected continuum 4XGMHKEK5Q
| URI | m2://inv/4XGMHKEK5Q |
|---|---|
| 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 2203.10220#R99W, $S_F^t (x_0)$ forms a path-connected continuum (statement). In FX2SD1GFHT/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Example 4XGPV8N15F
| URI | m2://inv/4XGPV8N15F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic form#YFEE, Example (example)
History
- 2026-11-02: add by m2/dev
cut 4XGV8PFG27
| URI | m2://inv/4XGV8PFG27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#BEKS, cut (definition)
History
- 2026-11-02: add by m2/dev
algorithm 4XH2G5S6HM
| URI | m2://inv/4XH2G5S6HM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/algorithm, algorithm (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
No bounded-orbit wandering domains 4XH396ZF63
| URI | m2://inv/4XH396ZF63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30103#AXJ1, No bounded-orbit wandering domains (statement)
History
- 2026-11-01: add by m2/v0.6.15
4XH3HHMZZT 4XH3HHMZZT
| URI | m2://inv/4XH3HHMZZT |
|---|---|
| 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.03231#IHUU (statement). In 3Y76AQQGF0/e1, proposition 9.1
History
- 2026-10-29: add by m2/v0.4.12
Nordic Journal of Philosophical Logic 4XH4W2HH8N
| URI | m2://inv/4XH4W2HH8N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#0VEN, Nordic Journal of Philosophical Logic (unknown)
History
- 2026-11-02: add by m2/dev
adjunction 4XH6W924G7
| URI | m2://inv/4XH6W924G7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#PY8S, adjunction (definition)
History
- 2026-11-02: add by m2/dev
Arnold Scholz 4XH8EN5NY3
| URI | m2://inv/4XH8EN5NY3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold Scholz, Arnold Scholz (topic). Also Wikidata Q111265
History
- 2026-11-02: add by m2/dev
Circuit History State Subspace 4XHFBER96Z
| URI | m2://inv/4XHFBER96Z |
|---|---|
| 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.26769#O311, Circuit History State Subspace (definition)
History
- 2026-11-01: add by m2/v0.6.15
Initial Environment 4XHH73G6ZG
| URI | m2://inv/4XHH73G6ZG |
|---|---|
| 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 2610.21131#ORA4, Initial Environment (definition). In CPYWHRTPKC/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.4.2
Andrea Malchiodi 4XHJ0W3E6A
| URI | m2://inv/4XHJ0W3E6A |
|---|---|
| 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#3AXC, Andrea Malchiodi (topic)
History
- 2026-11-02: add by m2/dev
Public-key authentication 4XHV1G8K5Y
| URI | m2://inv/4XHV1G8K5Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key authentication#2CR8, Public-key authentication (unknown)
History
- 2026-11-02: add by m2/dev
Gradient descent with momentum 4XJ9TC8WZ1
| URI | m2://inv/4XJ9TC8WZ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient descent#1O8N, Gradient descent with momentum (unknown)
History
- 2026-11-02: add by m2/dev
4XJFE1A5WR 4XJFE1A5WR
| URI | m2://inv/4XJFE1A5WR |
|---|---|
| Kind | definition |
| 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.00909#CFND (definition). In Z4TD36VFPW/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.12
4XJFSH1KCP 4XJFSH1KCP
| URI | m2://inv/4XJFSH1KCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#C14E (statement). In H3FDP8S1Z7/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
4XJHVE42FR 4XJHVE42FR
| URI | m2://inv/4XJHVE42FR |
|---|---|
| Kind | problem |
| 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.11847#ZRSV (problem). In MP2YM69XW8/e1, problem 3
History
- 2026-10-28: add by m2/v0.4.3
Legendre 4XJRJYP153
| URI | m2://inv/4XJRJYP153 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#UMT2, Legendre (definition)
History
- 2026-11-02: add by m2/dev
Buck, Caitlin E. 4XK2N09MY4
| URI | m2://inv/4XK2N09MY4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BURI, Buck, Caitlin E. (topic)
History
- 2026-11-02: add by m2/dev
4XKBFB5TYZ 4XKBFB5TYZ
| URI | m2://inv/4XKBFB5TYZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#0OKQ (statement). In M98F6VRPZ2/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
4XKDR3P48J 4XKDR3P48J
| URI | m2://inv/4XKDR3P48J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#O0XE (statement). In GHKR740SG3/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
4XKX6XPGHE 4XKX6XPGHE
| URI | m2://inv/4XKX6XPGHE |
|---|---|
| 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.39408#91GP (statement). In T8E6F01RTM/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
4XKZZNEC97 4XKZZNEC97
| URI | m2://inv/4XKZZNEC97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#UORA (statement). In 99CQPHSSYF/e1, theorem \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
4XM1ZSAS1A 4XM1ZSAS1A
| URI | m2://inv/4XM1ZSAS1A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 61.3
History
- 2026-11-01: add by m2/v0.6.13
Containing-polygon inequality 4XM22FEX12
| URI | m2://inv/4XM22FEX12 |
|---|---|
| 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.13962#O6U9, Containing-polygon inequality (statement). In 7NP5QKECVA/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
4XMFF2Y3JY 4XMFF2Y3JY
| URI | m2://inv/4XMFF2Y3JY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-13 (exercise). In P1C114YBXG, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
S-duality 4XMHETNVY8
| URI | m2://inv/4XMHETNVY8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21263958, S-duality (unknown). Also nLab S-duality
History
- 2026-10-26: add by m2/dev
4XMT3GG4Y0 4XMT3GG4Y0
| URI | m2://inv/4XMT3GG4Y0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04628#B0E2 (statement). In MREZZ9NCY8/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
4XMYMBBAPK 4XMYMBBAPK
| URI | m2://inv/4XMYMBBAPK |
|---|---|
| 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.20961#ZW8C (statement)
History
- 2026-11-02: add by m2/v0.6.18
Basic properties 4XN1MARZZD
| URI | m2://inv/4XN1MARZZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viscosity solution#NTAK, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
4XNA7KCFY1 4XNA7KCFY1
| URI | m2://inv/4XNA7KCFY1 |
|---|---|
| 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 2212.00617#X2UU (statement). In K7505G10SS/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.3.5
Applications 4XNAWG9XWN
| URI | m2://inv/4XNAWG9XWN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutual information#L59R, Applications (example)
History
- 2026-11-02: add by m2/dev
4XNHAMHRE0 4XNHAMHRE0
| URI | m2://inv/4XNHAMHRE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12731#YOTW (statement). In 2NCV1M6WYS/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Struve function 4XNWRZ0QCN
| URI | m2://inv/4XNWRZ0QCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Struve function K290RBT8GB |
Mentions
- wikidata: Wikidata Q2607374, Struve function (unknown). Also EoM Struve_function, MathWorld StruveFunction
- wikipedia: Wikipedia Struve function, Struve function (definition). Also Wikidata Q2607374
History
- 2026-10-26: add by m2/dev
Barriers for the magnetization 4XNYFCAST6
| URI | m2://inv/4XNYFCAST6 |
|---|---|
| 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.18350#TB90, Barriers for the magnetization (statement). In A20E8FZS21/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Differential geometry of curves 4XP6PNK5R9
| URI | m2://inv/4XP6PNK5R9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#M0CD, Differential geometry of curves (topic)
History
- 2026-11-02: add by m2/dev
4XPA3FCXC2 4XPA3FCXC2
| URI | m2://inv/4XPA3FCXC2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 27.7
History
- 2026-11-01: add by m2/v0.6.13
parametric maximal estimate 4XPCJ5TAA5
| URI | m2://inv/4XPCJ5TAA5 |
|---|---|
| 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 2608.24606#VGCI, parametric maximal estimate (statement). In VFV3FFB7Q7/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Jan Stussy 4XPJSN961T
| URI | m2://inv/4XPJSN961T |
|---|---|
| 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#DDU0, Jan Stussy (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm 4XPQXS4GPY
| URI | m2://inv/4XPQXS4GPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-square cipher#VGGF, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
4XPRW4K7PY 4XPRW4K7PY
| URI | m2://inv/4XPRW4K7PY |
|---|---|
| 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.22777#EUAL (statement)
- arxiv: arXiv 2609.22784#ZS2G (statement)
History
- 2026-11-02: add by m2/v0.6.17
Simple set 4XPS3HX9B4
| URI | m2://inv/4XPS3HX9B4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple set, Simple set (definition). Also Wikidata Q4200303
History
- 2026-11-02: add by m2/dev
Inquiry 4XPW3444NH
| URI | m2://inv/4XPW3444NH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inquiry, Inquiry (definition). Also Wikidata Q21004260
History
- 2026-11-02: add by m2/dev
4XPX6F28J5 4XPX6F28J5
| URI | m2://inv/4XPX6F28J5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34213#CRUU (statement). In KGP6NAY0NS/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
Steiner's theorem on area bisectors 4XQ2C5PYSF
| URI | m2://inv/4XQ2C5PYSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexell's theorem#N4MN, Steiner's theorem on area bisectors (statement)
History
- 2026-11-02: add by m2/dev
Logarithm 4XQGTE0N5T
| URI | m2://inv/4XQGTE0N5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#G5ZE, Logarithm (definition)
History
- 2026-11-02: add by m2/dev
universe 4XQJY15SGR
| URI | m2://inv/4XQJY15SGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#LTXZ, universe (definition)
History
- 2026-11-02: add by m2/dev
4XQMM7K5KN 4XQMM7K5KN
| URI | m2://inv/4XQMM7K5KN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-33 (proof). In VNMV985MXX, proof, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Properties 4XQMXR9WZR
| URI | m2://inv/4XQMXR9WZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-algebraically closed field#4E6Q, Properties (statement)
History
- 2026-11-02: add by m2/dev
Directed coordinate models 4XQXGPA63R
| URI | m2://inv/4XQXGPA63R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#K2TI, Directed coordinate models (definition)
History
- 2026-11-01: add by m2/v0.6.15
application to the calculation of multiple integrals 4XQZD95BZP
| URI | m2://inv/4XQZD95BZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Numerical integration > application to the calculation of multiple integrals, application to the calculation of multiple integrals (unknown)
History
- 2026-10-26: add by m2/dev
4XR91G7WE9 4XR91G7WE9
| URI | m2://inv/4XR91G7WE9 |
|---|---|
| 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 2306.01410#HAG5 (statement). In BE0P5W2W3T/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.4.0
4XRA74SJFB 4XRA74SJFB
| URI | m2://inv/4XRA74SJFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#X7ER (statement). In 11JNM66Z09/e1, proposition 12.5
History
- 2026-10-28: add by m2/v0.4.2
Dodecagon 4XRERW3YFD
| URI | m2://inv/4XRERW3YFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#1EZU, Dodecagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#48D0, Dodecagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#CCKD, Dodecagon (definition)
History
- 2026-11-02: add by m2/dev
4XRFEMCFZ5 4XRFEMCFZ5
| URI | m2://inv/4XRFEMCFZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#UBT2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Torsion-free sheaf 4XRJJFGZDA
| URI | m2://inv/4XRJJFGZDA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsion-free module#DT9B, Torsion-free sheaf (unknown)
History
- 2026-11-02: add by m2/dev
TorChat 4XRK9VEMFW
| URI | m2://inv/4XRK9VEMFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TorChat, TorChat (definition). Also Wikidata Q71475
History
- 2026-11-02: add by m2/dev
4XRM6YMMQ0 4XRM6YMMQ0
| URI | m2://inv/4XRM6YMMQ0 |
|---|---|
| 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.02489#OD1X (statement). In ZCJDWDR16Z/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.12
Alastair Neil Craw 4XRMPTB20Q
| URI | m2://inv/4XRMPTB20Q |
|---|---|
| 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 Q102256672, Alastair Neil Craw (unknown). Also nLab Alastair Craw
History
- 2026-10-26: add by m2/dev
Retained axioms and state order 4XRVNTCS2N
| URI | m2://inv/4XRVNTCS2N |
|---|---|
| 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.08821#SI40, Retained axioms and state order (statement). In KP1THB2C09/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
4XRY0AV7PQ 4XRY0AV7PQ
| URI | m2://inv/4XRY0AV7PQ |
|---|---|
| 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.21367#PPTB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Isaac Newton 4XS1AMFNN1
| URI | m2://inv/4XS1AMFNN1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#RMCB, Isaac Newton (topic)
History
- 2026-11-02: add by m2/dev
Local multi-layer SSM smoothness 4XS6Y309QA
| URI | m2://inv/4XS6Y309QA |
|---|---|
| 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.02659#JSDY, Local multi-layer SSM smoothness (statement). In EV933413SJ/e1, lemma C.4
History
- 2026-10-29: add by m2/v0.4.12
Signal-to-noise statistic 4XSA26ZHJZ
| URI | m2://inv/4XSA26ZHJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UOR1, Signal-to-noise statistic (definition)
History
- 2026-11-02: add by m2/dev
4XSEQQNEGT 4XSEQQNEGT
| URI | m2://inv/4XSEQQNEGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04645#K5LZ (statement). In YMZ6XP5542/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.12
Streett automata 4XSGG3NK3G
| URI | m2://inv/4XSGG3NK3G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ω-automaton#YJCL, Streett automata (unknown)
History
- 2026-11-02: add by m2/dev
coprimary 4XSMF1PAF0
| URI | m2://inv/4XSMF1PAF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#9HI6, coprimary (definition)
History
- 2026-11-02: add by m2/dev
Forward normalized Green function 4XSTJ34X3V
| URI | m2://inv/4XSTJ34X3V |
|---|---|
| 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.29147#PCSL, Forward normalized Green function (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statistical hydrology 4XT7HGSMXA
| URI | m2://inv/4XT7HGSMXA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrology#3CVV, Statistical hydrology (unknown)
History
- 2026-11-02: add by m2/dev
4XTFX87HS2 4XTFX87HS2
| URI | m2://inv/4XTFX87HS2 |
|---|---|
| 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.26017#H65G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Aleksandr Lyapunov 4XTNQE51K2
| URI | m2://inv/4XTNQE51K2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#I1IX, Aleksandr Lyapunov (topic)
History
- 2026-11-02: add by m2/dev
work 4XTTEBYH2K
| URI | m2://inv/4XTTEBYH2K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/6.4.2/work, work (concept). In 907G4C4EJ1, index, section 6.4.2
History
- 2026-11-01: add by m2/v0.6.13
Peter Winkler 4XTXMSGQ47
| URI | m2://inv/4XTXMSGQ47 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FBAZ, Peter Winkler (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NKU2, Peter Winkler (topic)
History
- 2026-11-02: add by m2/dev
Chinese remainder theorem 4XV0X1NFQZ
| URI | m2://inv/4XV0X1NFQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#2C1R, Chinese remainder theorem (statement)
History
- 2026-11-02: add by m2/dev
Federal Statistical Office of Germany 4XV1JN6BEP
| URI | m2://inv/4XV1JN6BEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Federal Statistical Office of Germany, Federal Statistical Office of Germany (definition). Also Wikidata Q764739
History
- 2026-11-02: add by m2/dev
4XV8PVFX6D 4XV8PVFX6D
| URI | m2://inv/4XV8PVFX6D |
|---|---|
| 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.39347#ZWWT (statement). In KBBA2FKDBH/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
4XVMN9KTNG 4XVMN9KTNG
| URI | m2://inv/4XVMN9KTNG |
|---|---|
| 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.18744#65CU (statement). In AE07JDH5D3/e1, corollary 5.9
History
- 2026-10-28: add by m2/v0.4.2
flag case: regularity is visible on edges 4XVQR8PK2G
| URI | m2://inv/4XVQR8PK2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#WMP8, flag case: regularity is visible on edges (statement). In PCAS8S14J6/e1, corollary 6.5
History
- 2026-10-31: add by m2/v0.5.6
Fermat primality test 4XVRAWSQHF
| URI | m2://inv/4XVRAWSQHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#DY79, Fermat primality test (definition)
History
- 2026-11-02: add by m2/dev
Lisa Mirel 4XVSB6FYTY
| URI | m2://inv/4XVSB6FYTY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#9671, Lisa Mirel (topic)
History
- 2026-11-02: add by m2/dev
Reflection principle 4XVST71W57
| URI | m2://inv/4XVST71W57 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cumulative hierarchy#046J, Reflection principle (statement)
History
- 2026-11-02: add by m2/dev
4XW0EDE8Q6 4XW0EDE8Q6
| URI | m2://inv/4XW0EDE8Q6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#0I2A (statement). In D0F1GK5AHW/e1, lemma 3.14
History
- 2026-10-29: add by m2/v0.4.10
4XW1T27MTK 4XW1T27MTK
| URI | m2://inv/4XW1T27MTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#1FKR (statement). In G1RP4JY5PE/e1, proposition 7.5.1
History
- 2026-10-31: add by m2/v0.5.6
E equational theorem prover 4XW3BR0WKE
| URI | m2://inv/4XW3BR0WKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#T5ME, E equational theorem prover (unknown)
History
- 2026-11-02: add by m2/dev
Properties 4XW3REH1FY
| URI | m2://inv/4XW3REH1FY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automorphic factor#K2WH, Properties (statement)
History
- 2026-11-02: add by m2/dev
J. N. Srivastava 4XW4GBYB42
| URI | m2://inv/4XW4GBYB42 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F6WO, J. N. Srivastava (topic)
History
- 2026-11-02: add by m2/dev
4XW6VEW399 4XW6VEW399
| URI | m2://inv/4XW6VEW399 |
|---|---|
| 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#O237 (statement). In PBYNV2WF2H/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.3
control theory 4XW7VGREVY
| URI | m2://inv/4XW7VGREVY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6501221, control theory (topic). Also MathWorld ControlTheory
- wikipedia: Wikipedia Control theory, Control theory (topic). Also Wikidata Q6501221
History
- 2026-10-26: add by m2/dev
4XWAZ7CJFA 4XWAZ7CJFA
| URI | m2://inv/4XWAZ7CJFA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2404.08319#JPTE (statement). In MA1CZ2GTAF/e1, theorem B
History
- 2026-10-27: add by m2/v0.4.0
4XWME2D664 4XWME2D664
| URI | m2://inv/4XWME2D664 |
|---|---|
| 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.39293#8RA2 (statement). In S26QVW5613/e1, proposition 3.5.1
History
- 2026-10-30: add by m2/v0.4.12
wedge 4XWPFEYY05
| URI | m2://inv/4XWPFEYY05 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2755127, wedge (object). Also MathWorld Wedge
- wikipedia: Wikipedia Wedge (geometry), Wedge (object). Also Wikidata Q2755127
History
- 2026-10-26: add by m2/dev
4XWVH6DNYJ 4XWVH6DNYJ
| URI | m2://inv/4XWVH6DNYJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#5Z2W (definition). In WJD9YPGGYH/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Invariant projection in a cyclic model 4XX1971CDY
| URI | m2://inv/4XX1971CDY |
|---|---|
| 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.26576#NCDT, Invariant projection in a cyclic model (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weighted correlation network analysis 4XX8JTVT40
| URI | m2://inv/4XX8JTVT40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted correlation network analysis, Weighted correlation network analysis (definition). Also Wikidata Q17162627
History
- 2026-11-02: add by m2/dev
Anatoly Mikhailovich Stepin 4XXGC06ZHA
| URI | m2://inv/4XXGC06ZHA |
|---|---|
| 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#6TC6, Anatoly Mikhailovich Stepin (topic)
History
- 2026-11-02: add by m2/dev
Lloyd Dines 4XXXPX6037
| URI | m2://inv/4XXXPX6037 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lloyd Dines, Lloyd Dines (topic). Also Wikidata Q21078462
History
- 2026-11-02: add by m2/dev
4XXZJRRAPW 4XXZJRRAPW
| URI | m2://inv/4XXZJRRAPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#PZS1 (statement). In 1QPAA94Q76/e1, lemma 20
History
- 2026-10-28: add by m2/v0.4.2
4XY08PFSW8 4XY08PFSW8
| URI | m2://inv/4XY08PFSW8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#example-12 (example). In E59CDZA4DP, example, section 8.5.1
History
- 2026-11-01: add by m2/v0.6.13
Examples 4XY0TC2JG6
| URI | m2://inv/4XY0TC2JG6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular algebra#YZDF, Examples (example)
History
- 2026-11-02: add by m2/dev
Algorithms 4XY14WDDZK
| URI | m2://inv/4XY14WDDZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line graph#QEFT, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
circuit 4XY18RX2S5
| URI | m2://inv/4XY18RX2S5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#JTXX, circuit (definition)
History
- 2026-11-02: add by m2/dev
4XY2HN126M 4XY2HN126M
| URI | m2://inv/4XY2HN126M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#C0TC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Reeb graph 4XY3B3BT74
| URI | m2://inv/4XY3B3BT74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reeb graph, Reeb graph (definition). Also Wikidata Q2136464
History
- 2026-11-02: add by m2/dev
Spectral Weyl matrix 4XY3SDQNZR
| URI | m2://inv/4XY3SDQNZR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#8HY9, Spectral Weyl matrix (definition)
History
- 2026-11-01: add by m2/v0.6.15
4XYP78GH4R 4XYP78GH4R
| URI | m2://inv/4XYP78GH4R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#7R7T (definition). In H52QQS8WZA/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.3.5
4XYTZYX4RQ 4XYTZYX4RQ
| URI | m2://inv/4XYTZYX4RQ |
|---|---|
| Kind | statement |
| 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.25539#E17S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Closed graph theorem for set-valued functions 4XYW19M640
| URI | m2://inv/4XYW19M640 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem#DOKP, Closed graph theorem for set-valued functions (statement)
History
- 2026-11-02: add by m2/dev
4XZ214256Z 4XZ214256Z
| URI | m2://inv/4XZ214256Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#36GZ (statement). In 9704QPRPR6/e1, corollary 5.3
History
- 2026-10-30: add by m2/v0.4.12
fiber bundle 4XZ354EH2T
| URI | m2://inv/4XZ354EH2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fiber bundle CX4M8K61AB |
Mentions
- wikidata: Wikidata Q1154996, fiber bundle (definition). Also MathWorld FiberBundle, nLab fiber bundle, ProofWiki Definition:Fiber_Bundle
- wikipedia: Wikipedia Fiber bundle, Fiber bundle (definition). Also Wikidata Q1154996
History
- 2026-10-26: add by m2/dev
computation rule, propositional 4XZ6JP3W3K
| URI | m2://inv/4XZ6JP3W3K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/computation-rule-propositional, computation rule, propositional (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
4XZFBWE1T9 4XZFBWE1T9
| URI | m2://inv/4XZFBWE1T9 |
|---|---|
| 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.39169#MSXR (statement). In ANHWXYPQFX/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
fiber square 4XZTRJKB45
| URI | m2://inv/4XZTRJKB45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#4FX8, fiber square (definition)
History
- 2026-11-02: add by m2/dev
Identical Interest Games 4XZVGE6MZK
| URI | m2://inv/4XZVGE6MZK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38051#3JJE, Identical Interest Games (example). In 81CGKD8RTP/e1, example 3
History
- 2026-10-30: add by m2/v0.4.12