Inventory rows 9Z
The cards of the rows of the inventory whose ids start with 9Z. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
9Z0183DSK1 9Z0183DSK1
| URI | m2://inv/9Z0183DSK1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#lem-6 (statement). In N54F33XE07, lem, section C.3
History
- 2026-11-01: add by m2/v0.6.13
9Z03WTQBQG 9Z03WTQBQG
| URI | m2://inv/9Z03WTQBQG |
|---|---|
| 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.28518#HZBP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Intercity Bus Atlas 9Z06C8V2XN
| URI | m2://inv/9Z06C8V2XN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bureau of Transportation Statistics#E1S6, Intercity Bus Atlas (unknown)
History
- 2026-11-02: add by m2/dev
Examples 9Z083JR0PH
| URI | m2://inv/9Z083JR0PH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemicontinuity#EFF6, Examples (example)
History
- 2026-11-02: add by m2/dev
9Z0ETW0ZHE 9Z0ETW0ZHE
| URI | m2://inv/9Z0ETW0ZHE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-22 (proof). In E59CDZA4DP, proof, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
9Z0GJE1KA3 9Z0GJE1KA3
| URI | m2://inv/9Z0GJE1KA3 |
|---|---|
| Kind | definition |
| 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.33771#Y94D (definition). In ZXQA7QH0H0/e1, definition 4.14
History
- 2026-10-30: add by m2/v0.4.12
Compound of twenty triangular prisms 9Z0PY0618Z
| URI | m2://inv/9Z0PY0618Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of twenty triangular prisms, Compound of twenty triangular prisms (definition). Also Wikidata Q5156907
History
- 2026-11-02: add by m2/dev
Applications 9Z10D4Z254
| URI | m2://inv/9Z10D4Z254 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chirplet transform#FHAZ, Applications (example)
History
- 2026-11-02: add by m2/dev
Local Langlands conjectures for GL1 9Z15JDQCFX
| URI | m2://inv/9Z15JDQCFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local Langlands conjectures#7EVX, Local Langlands conjectures for GL1 (statement)
History
- 2026-11-02: add by m2/dev
Well-posedness and moment bounds 9Z16CXK3QS
| URI | m2://inv/9Z16CXK3QS |
|---|---|
| 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.30746#LIWM, Well-posedness and moment bounds (statement). In WQEK6H3DZJ/e1, lemma A.1
History
- 2026-10-31: add by m2/v0.5.6
Lagrangian foliation 9Z16FM0ST7
| URI | m2://inv/9Z16FM0ST7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#NP0W, Lagrangian foliation (definition)
History
- 2026-11-02: add by m2/dev
9Z18BN8224 9Z18BN8224
| URI | m2://inv/9Z18BN8224 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/invertibility.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 61.9
History
- 2026-11-01: add by m2/v0.6.13
Opportunistic encryption 9Z19YJBGGE
| URI | m2://inv/9Z19YJBGGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opportunistic encryption, Opportunistic encryption (definition). Also Wikidata Q7098581
History
- 2026-11-02: add by m2/dev
Brian Conrad 9Z1BVPS3X4
| URI | m2://inv/9Z1BVPS3X4 |
|---|---|
| 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 Q912029, Brian Conrad (unknown). Also nLab Brian Conrad
- wikipedia: Wikipedia Brian Conrad, Brian Conrad (topic). Also Wikidata Q912029
History
- 2026-10-26: add by m2/dev
9Z1ECPWSHW 9Z1ECPWSHW
| URI | m2://inv/9Z1ECPWSHW |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#EL8U (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Diophantine quintuple 9Z1FRQ19TP
| URI | m2://inv/9Z1FRQ19TP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diophantine quintuple, Diophantine quintuple (definition). Also Wikidata Q17119394
History
- 2026-11-02: add by m2/dev
All-degree inverse 9Z1Q2HERJ8
| URI | m2://inv/9Z1Q2HERJ8 |
|---|---|
| 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.10821#C5ZV, All-degree inverse (statement). In RWNP4FEE65/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.3
Statement 9Z1QZDM4RC
| URI | m2://inv/9Z1QZDM4RC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small object argument#TVT6, Statement (statement)
History
- 2026-11-02: add by m2/dev
Amice 9Z22DXN1J1
| URI | m2://inv/9Z22DXN1J1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#J87Y, Amice (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bers compactification 9Z25EP8FBZ
| URI | m2://inv/9Z25EP8FBZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teichmüller space#DAOY, Bers compactification (unknown)
History
- 2026-11-02: add by m2/dev
\textbf{Stability of the Sturmian maximizing measure 9Z2FWF113B
| URI | m2://inv/9Z2FWF113B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03619#YKER, \textbf{Stability of the Sturmian maximizing measure (statement). In 7SRERSS1PF/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.12
Wilkie Model 9Z2G7NWKJ7
| URI | m2://inv/9Z2G7NWKJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#Z0HH, Wilkie Model (definition)
History
- 2026-11-02: add by m2/dev
9Z2MNNQEC2 9Z2MNNQEC2
| URI | m2://inv/9Z2MNNQEC2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-1.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Convexity at fixed magnetization 9Z2YEPDHGF
| URI | m2://inv/9Z2YEPDHGF |
|---|---|
| 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#JKVB, Convexity at fixed magnetization (statement). In A20E8FZS21/e1, proposition 6.10
History
- 2026-10-28: add by m2/v0.4.2
9Z32CRK8FA 9Z32CRK8FA
| URI | m2://inv/9Z32CRK8FA |
|---|---|
| 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 1509.00950#HVQ5 (statement). In MDZFW5GACV/e1, lemma 8.7
History
- 2026-10-27: add by m2/v0.3.5
Taylor series 9Z32G3YAB6
| URI | m2://inv/9Z32G3YAB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#ADCC, Taylor series (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#UV77, Taylor series (definition)
History
- 2026-11-02: add by m2/dev
Rule of twelfths 9Z34JHJDQE
| URI | m2://inv/9Z34JHJDQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rule of twelfths, Rule of twelfths (definition). Also Wikidata Q1241829
History
- 2026-11-02: add by m2/dev
9Z37QB1Y40 9Z37QB1Y40
| URI | m2://inv/9Z37QB1Y40 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#example-6 (example). In RZP28ERRZV, example, section 100.1
History
- 2026-11-01: add by m2/v0.6.13
9Z3DKC5E73 9Z3DKC5E73
| URI | m2://inv/9Z3DKC5E73 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#1ANI (definition). In X765ZXXVC3/e1, definition 4.7
History
- 2026-10-29: add by m2/v0.4.12
Lot quality assurance sampling 9Z3MYSVB3Q
| URI | m2://inv/9Z3MYSVB3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lot quality assurance sampling, Lot quality assurance sampling (definition). Also Wikidata Q17133861
History
- 2026-11-02: add by m2/dev
Immediate mode (computer graphics) 9Z3NBRQ3DT
| URI | m2://inv/9Z3NBRQ3DT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#BR0B, Immediate mode (computer graphics) (unknown)
History
- 2026-11-02: add by m2/dev
9Z3PT1TK4D 9Z3PT1TK4D
| URI | m2://inv/9Z3PT1TK4D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-104 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
9Z3WB77EN9 9Z3WB77EN9
| URI | m2://inv/9Z3WB77EN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#O4H2 (statement). In Q74G3BVZAQ/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Super Pi Day 9Z3YSJ4E56
| URI | m2://inv/9Z3YSJ4E56 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pi Day#CJCP, Super Pi Day (unknown)
History
- 2026-11-02: add by m2/dev
Al-Isfizari 9Z40KDJZHC
| URI | m2://inv/9Z40KDJZHC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#ADUG, Al-Isfizari (topic)
History
- 2026-11-02: add by m2/dev
type, unit 9Z43ZKW5CW
| URI | m2://inv/9Z43ZKW5CW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.2/type-unit, type, unit (concept). In N54F33XE07, index, section 8.2
History
- 2026-11-01: add by m2/v0.6.13
9Z4532HRQG 9Z4532HRQG
| URI | m2://inv/9Z4532HRQG |
|---|---|
| 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 0905.2248#1QNO (statement). In 7EWB9ZRD9Z/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Quasi-fibration 9Z469FGCR2
| URI | m2://inv/9Z469FGCR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-fibration, Quasi-fibration (definition). Also Wikidata Q16930859
History
- 2026-11-02: add by m2/dev
Definition 9Z47QQRT63
| URI | m2://inv/9Z47QQRT63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric derivative#2OXR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fundamental normality test 9Z48Y8NKA8
| URI | m2://inv/9Z48Y8NKA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental normality test, Fundamental normality test (definition). Also Wikidata Q5508964
History
- 2026-11-02: add by m2/dev
9Z4BQS4CC8 9Z4BQS4CC8
| URI | m2://inv/9Z4BQS4CC8 |
|---|---|
| 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.19921#0WLS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example 9Z4PDK2H0F
| URI | m2://inv/9Z4PDK2H0F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heawood conjecture#F9EK, Example (example)
History
- 2026-11-02: add by m2/dev
9Z4PV5Z6SX 9Z4PV5Z6SX
| URI | m2://inv/9Z4PV5Z6SX |
|---|---|
| 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.30067#HYZ8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lady tasting tea 9Z4WVPVYNY
| URI | m2://inv/9Z4WVPVYNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lady tasting tea, Lady tasting tea (definition). Also Wikidata Q6470720
History
- 2026-11-02: add by m2/dev
Example 9Z4X12SXWX
| URI | m2://inv/9Z4X12SXWX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural logarithm of 2#5FGV, Example (example)
History
- 2026-11-02: add by m2/dev
Estelle Russek-Cohen 9Z59MSB8PF
| URI | m2://inv/9Z59MSB8PF |
|---|---|
| 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#FTDY, Estelle Russek-Cohen (unknown)
History
- 2026-11-02: add by m2/dev
History of cryptocurrency 9Z5AGMVW4B
| URI | m2://inv/9Z5AGMVW4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptocurrency#UW4H, History of cryptocurrency (unknown)
History
- 2026-11-02: add by m2/dev
Vadim Schechtman 9Z5B496G0D
| URI | m2://inv/9Z5B496G0D |
|---|---|
| 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 Q15455168, Vadim Schechtman (unknown). Also nLab Vadim Schechtman
- wikipedia: Wikipedia Vadim Schechtman, Vadim Schechtman (topic). Also Wikidata Q15455168
History
- 2026-10-26: add by m2/dev
9Z5BGV20GS 9Z5BGV20GS
| URI | m2://inv/9Z5BGV20GS |
|---|---|
| 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.34675#8NAY (statement). In C93BAXKJVD/e1, lemma 3.12
History
- 2026-10-30: add by m2/v0.4.12
Bias (statistics) 9Z5C4TNQP8
| URI | m2://inv/9Z5C4TNQP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KNTI, Bias (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Stock token 9Z5EQGKYWT
| URI | m2://inv/9Z5EQGKYWT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blockchain#SKOE, Stock token (unknown)
History
- 2026-11-02: add by m2/dev
9Z5F2CZZMZ 9Z5F2CZZMZ
| URI | m2://inv/9Z5F2CZZMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0905.1489#B9K3 (statement). In MZ18CTV65N/e1, fact 2
History
- 2026-10-27: add by m2/v0.3.5
9Z5JG6CE9M 9Z5JG6CE9M
| URI | m2://inv/9Z5JG6CE9M |
|---|---|
| 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.04069#QZ53 (statement). In ZA7WXGZYWC/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.12
octahedron 9Z5MG8KGVT
| URI | m2://inv/9Z5MG8KGVT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188884, octahedron (unknown). Also MathWorld Octahedron, nLab octahedron
- wikipedia: Wikipedia Octahedron, Octahedron (object). Also Wikidata Q188884
History
- 2026-10-26: add by m2/dev
Hans Petersson 9Z5RKZKVNT
| URI | m2://inv/9Z5RKZKVNT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Petersson, Hans Petersson (topic). Also Wikidata Q106622
History
- 2026-11-02: add by m2/dev
9Z5VV1B2C2 9Z5VV1B2C2
| URI | m2://inv/9Z5VV1B2C2 |
|---|---|
| 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 2609.33531#TFZQ (statement). In HNMJEAR2ER/e1, corollary 4.11
History
- 2026-10-30: add by m2/v0.4.12
9Z60BP98A9 9Z60BP98A9
| URI | m2://inv/9Z60BP98A9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.38596#7BIZ (statement). In ZYGQAV8FD3/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Transition-rate matrix 9Z62NZNRN9
| URI | m2://inv/9Z62NZNRN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transition-rate matrix, Transition-rate matrix (definition). Also Wikidata Q7834432
History
- 2026-11-02: add by m2/dev
Goldschmidt, Christina 9Z6B6RA3V6
| URI | m2://inv/9Z6B6RA3V6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#KESA, Goldschmidt, Christina (unknown)
History
- 2026-11-02: add by m2/dev
9Z6DQNMH88 9Z6DQNMH88
| URI | m2://inv/9Z6DQNMH88 |
|---|---|
| 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 2609.20798#7D15 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Complexity 9Z6GKYRWG0
| URI | m2://inv/9Z6GKYRWG0 |
|---|---|
| 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.32446#CDEV, Complexity (statement). In W1KVJEGJ1W/e1, corollary 5.1
History
- 2026-10-31: add by m2/v0.5.6
9Z6KQTSXS4 9Z6KQTSXS4
| URI | m2://inv/9Z6KQTSXS4 |
|---|---|
| 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#5JYA (definition). In HX63A1PH1W/e1, definition 5.23
History
- 2026-10-28: add by m2/v0.4.3
Faces of $P_n$ 9Z6NX5ZSA2
| URI | m2://inv/9Z6NX5ZSA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#10UH, Faces of $P_n$ (statement). In TX0H26X4VX/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
9Z6RTG27GT 9Z6RTG27GT
| URI | m2://inv/9Z6RTG27GT |
|---|---|
| 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.38975#IUFB (statement). In D2247CRPPE/e1, lemma 15
History
- 2026-10-30: add by m2/v0.4.12
Definition 9Z6WJKHQCX
| URI | m2://inv/9Z6WJKHQCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalizations of Pauli matrices#IHK7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Why the reciprocity conjecture is equivalent to modularity 9Z76ERHZ6S
| URI | m2://inv/9Z76ERHZ6S |
|---|---|
| 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.26196#ABC8, Why the reciprocity conjecture is equivalent to modularity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Smoothness dichotomy 9Z7AT5C24V
| URI | m2://inv/9Z7AT5C24V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#DZ1X, Smoothness dichotomy (statement). In XDTM624YPE/e1, corollary 1.6
History
- 2026-10-27: add by m2/v0.4.2
9Z7C5PP3KY 9Z7C5PP3KY
| URI | m2://inv/9Z7C5PP3KY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.03612#Z7Q4 (statement). In REDG6QVHM3/e1, theorem 7.6
History
- 2026-10-29: add by m2/v0.4.12
Waldhausen conjecture on Heegaard splittings 9Z7CZTBHGM
| URI | m2://inv/9Z7CZTBHGM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#BF0D, Waldhausen conjecture on Heegaard splittings (statement)
History
- 2026-11-02: add by m2/dev
Gram block 9Z7JHY11YE
| URI | m2://inv/9Z7JHY11YE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06548#16RX, Gram block (definition). In SCC2N3WNYE/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.3.5
Analogical fallacy 9Z7R87SG71
| URI | m2://inv/9Z7R87SG71 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from analogy#A190, Analogical fallacy (unknown)
History
- 2026-11-02: add by m2/dev
9Z7SMB5YBP 9Z7SMB5YBP
| URI | m2://inv/9Z7SMB5YBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.08074#H3X6 (statement). In ZRPYF750AV/e1, lemma 7.11
History
- 2026-10-29: add by m2/v0.4.10
9Z7TANP2EK 9Z7TANP2EK
| URI | m2://inv/9Z7TANP2EK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-21 (proof). In E59CDZA4DP, proof, section 5.5.3
History
- 2026-11-01: add by m2/v0.6.13
Constructive function theory 9Z8657G5G1
| URI | m2://inv/9Z8657G5G1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructive function theory, Constructive function theory (topic). Also Wikidata Q5164492
History
- 2026-11-02: add by m2/dev
smooth fiber bundle 9Z867YEJ5N
| URI | m2://inv/9Z867YEJ5N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4139327, smooth fiber bundle (definition). Also ProofWiki Definition:Smooth_Fiber_Bundle
History
- 2026-10-26: add by m2/dev
Horner's method 9Z894BAB04
| URI | m2://inv/9Z894BAB04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Horner's method FYBQ3Z52Z7 |
Mentions
- wikidata: Wikidata Q944658, Horner's method (definition). Also MathWorld HornersMethod, MathWorld HornersRule, ProofWiki Definition:Horner's_Rule
- wikipedia: Wikipedia Horner's method, Horner's method (definition). Also Wikidata Q944658
History
- 2026-10-26: add by m2/dev
9Z89K5YXEM 9Z89K5YXEM
| URI | m2://inv/9Z89K5YXEM |
|---|---|
| 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.29605#E1AL (statement)
History
- 2026-11-01: add by m2/v0.6.15
9Z8CV8EVE1 9Z8CV8EVE1
| URI | m2://inv/9Z8CV8EVE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39517#8DF2 (statement). In TWP8T68ABF/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
9Z8E4HEQ13 9Z8E4HEQ13
| URI | m2://inv/9Z8E4HEQ13 |
|---|---|
| Kind | problem |
| 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#ZYA6 (problem). In BF0RYHPMS1/e1, problem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Covariance Evolution 9Z8EZWCX7K
| URI | m2://inv/9Z8EZWCX7K |
|---|---|
| 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.30105#XIGX, Covariance Evolution (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 9Z8QC6A0JH
| URI | m2://inv/9Z8QC6A0JH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital signature#JPFH, Applications (example)
History
- 2026-11-02: add by m2/dev
9Z8RYBS8E8 9Z8RYBS8E8
| URI | m2://inv/9Z8RYBS8E8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-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.14045#1S49 (definition). In KZ71GXT2B0/e1, definition 2.19
History
- 2026-10-28: add by m2/v0.4.2
9Z8T9FVTZM 9Z8T9FVTZM
| URI | m2://inv/9Z8T9FVTZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18346#QDP0 (statement). In QVPNGHTMEX/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Formal definition 9Z90XYJ4NG
| URI | m2://inv/9Z90XYJ4NG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unrestricted grammar#DA6T, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Boundary-orthogonal sheeting 9Z96WB7N64
| URI | m2://inv/9Z96WB7N64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#4VWM, Boundary-orthogonal sheeting (statement). In HXFA55BREZ/e1, theorem 1.15
History
- 2026-10-29: add by m2/v0.4.10
9Z9G6D8V33 9Z9G6D8V33
| URI | m2://inv/9Z9G6D8V33 |
|---|---|
| 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.20391#WDJ7 (statement). In CTAS41TRM2/e1, theorem 7.7
History
- 2026-10-27: add by m2/v0.4.2
9Z9KMWAAAK 9Z9KMWAAAK
| URI | m2://inv/9Z9KMWAAAK |
|---|---|
| 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.14236#RCRL (statement). In XEQD21EBTT/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Attentional bias 9Z9NSXNRWW
| URI | m2://inv/9Z9NSXNRWW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#L6UK, Attentional bias (unknown)
History
- 2026-11-02: add by m2/dev
Maximilian Kreuzer 9Z9TYT04TK
| URI | m2://inv/9Z9TYT04TK |
|---|---|
| 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 Q1914002, Maximilian Kreuzer (unknown). Also nLab Maximilian Kreuzer
History
- 2026-10-26: add by m2/dev
9Z9XKKM20V 9Z9XKKM20V
| URI | m2://inv/9Z9XKKM20V |
|---|---|
| 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 2610.15517#03WX (statement). In C87H6KZSBM/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
9Z9ZH7A7R8 9Z9ZH7A7R8
| URI | m2://inv/9Z9ZH7A7R8 |
|---|---|
| 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.11047#LIE4 (statement). In MNQAZ70XTH/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.3
Under every tilt 9ZA1X0M3BX
| URI | m2://inv/9ZA1X0M3BX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#SX83, Under every tilt (statement). In NKXTXH59P1/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.10
William P. Byers 9ZA2VNHTZH
| URI | m2://inv/9ZA2VNHTZH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William P. Byers, William P. Byers (topic). Also Wikidata Q8016443
History
- 2026-11-02: add by m2/dev
Basic geometry of curvature 9ZA57B2KAJ
| URI | m2://inv/9ZA57B2KAJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Membrane curvature#56FE, Basic geometry of curvature (unknown)
History
- 2026-11-02: add by m2/dev
Stack-sortable permutation 9ZAAQM4F95
| URI | m2://inv/9ZAAQM4F95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stack-sortable permutation, Stack-sortable permutation (definition). Also Wikidata Q17103625
History
- 2026-11-02: add by m2/dev
Valerie King 9ZACEPT2MX
| URI | m2://inv/9ZACEPT2MX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9074, Valerie King (unknown)
History
- 2026-11-02: add by m2/dev
9ZADGTHNC3 9ZADGTHNC3
| URI | m2://inv/9ZADGTHNC3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#proof-7 (proof). In Y91XFCEVHQ, proof, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Properties 9ZAJMY5B45
| URI | m2://inv/9ZAJMY5B45 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit (mathematics)#VMFQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
The first five-generator failure 9ZAJXWFZCX
| URI | m2://inv/9ZAJXWFZCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27965#XEOZ, The first five-generator failure (statement)
History
- 2026-11-01: add by m2/v0.6.15
9ZAMS4WKQN 9ZAMS4WKQN
| URI | m2://inv/9ZAMS4WKQN |
|---|---|
| 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.01968#YMBC (statement). In 9QE553Z0J5/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
cut rule 9ZARXY2G5C
| URI | m2://inv/9ZARXY2G5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18400501, cut rule (unknown). Also nLab cut rule
- wikipedia: Wikipedia Cut rule, Cut rule (definition). Also Wikidata Q18400501
History
- 2026-10-26: add by m2/dev
Trim and fill 9ZAW7TECJA
| URI | m2://inv/9ZAW7TECJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Publication bias#ZMLI, Trim and fill (unknown)
History
- 2026-11-02: add by m2/dev
Sjernarøyane 9ZAYA1PR11
| URI | m2://inv/9ZAYA1PR11 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#44K5, Sjernarøyane (unknown)
History
- 2026-11-02: add by m2/dev
Marc Zamansky 9ZB5RCA201
| URI | m2://inv/9ZB5RCA201 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marc Zamansky, Marc Zamansky (topic). Also Wikidata Q3288501
History
- 2026-11-02: add by m2/dev
Merging height-dominated parts 9ZB5X4ZQGY
| URI | m2://inv/9ZB5X4ZQGY |
|---|---|
| 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.31811#4A4Y, Merging height-dominated parts (statement). In A8ZBZW9RNA/e1, lemma 5.9
History
- 2026-10-31: add by m2/v0.5.6
9ZB9KF92G5 9ZB9KF92G5
| URI | m2://inv/9ZB9KF92G5 |
|---|---|
| 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 2503.01567#KQAJ (statement). In GB0V23Q6C5/e1, lemma A.8
History
- 2026-10-27: add by m2/v0.3.5
The Unreasonable Effectiveness of Mathematics in the Natural Sciences 9ZBA9QMHBP
| URI | m2://inv/9ZBA9QMHBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Unreasonable Effectiveness of Mathematics in the Natural Sciences, The Unreasonable Effectiveness of Mathematics in the Natural Sciences (definition). Also Wikidata Q3349460
History
- 2026-11-02: add by m2/dev
9ZBAYSRHNC 9ZBAYSRHNC
| URI | m2://inv/9ZBAYSRHNC |
|---|---|
| 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.05354#K8RM (statement). In TZ5BMDXRQZ/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Generalizations 9ZBJAMKTD4
| URI | m2://inv/9ZBJAMKTD4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix multiplication#FJSN, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Gale evenness condition 9ZBKWDXBMH
| URI | m2://inv/9ZBKWDXBMH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic polytope#J24H, Gale evenness condition (unknown)
History
- 2026-11-02: add by m2/dev
9ZBTDM0BG5 9ZBTDM0BG5
| URI | m2://inv/9ZBTDM0BG5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-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.06739#X1S8 (example). In HA9B7PD0YV/e1, example 7
History
- 2026-10-29: add by m2/v0.4.10
9ZBXE7Z9CS 9ZBXE7Z9CS
| URI | m2://inv/9ZBXE7Z9CS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.21391#AEY0 (definition). In J9C7YMKJ33/e1, definition 4.23
History
- 2026-10-27: add by m2/v0.3.5
9ZBYPACPFR 9ZBYPACPFR
| URI | m2://inv/9ZBYPACPFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06764#ETT0 (statement). In MSWV3MJ5CE/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
9ZC2S8ESZ6 9ZC2S8ESZ6
| URI | m2://inv/9ZC2S8ESZ6 |
|---|---|
| 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.38844#6CMW (statement). In PX8D91DQCX/e1, corollary 2.6
History
- 2026-10-30: add by m2/v0.4.12
Richard Kadison 9ZC3NJM426
| URI | m2://inv/9ZC3NJM426 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Kadison, Richard Kadison (topic). Also Wikidata Q2149922
History
- 2026-11-02: add by m2/dev
9ZC57TFGRB 9ZC57TFGRB
| URI | m2://inv/9ZC57TFGRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20568#37Z4 (statement). In BCD0ATARNZ/e1, theorem 3.13
History
- 2026-10-27: add by m2/v0.4.2
9ZCFQ76G5C 9ZCFQ76G5C
| URI | m2://inv/9ZCFQ76G5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23804#UVQZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
cactus fractal 9ZCGSM9CBC
| URI | m2://inv/9ZCGSM9CBC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q27990968, cactus fractal (concept). Also MathWorld CactusFractal
History
- 2026-10-26: add by m2/dev
9ZCHDRNEYY 9ZCHDRNEYY
| URI | m2://inv/9ZCHDRNEYY |
|---|---|
| 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.19283#I04O (statement). In 28BAGZRCKG/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
Basic properties 9ZCKHNMH1G
| URI | m2://inv/9ZCKHNMH1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braid group#MY82, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Kummer sum 9ZCM01E6NN
| URI | m2://inv/9ZCM01E6NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer sum, Kummer sum (definition). Also Wikidata Q6443983
History
- 2026-11-02: add by m2/dev
Differential invariant 9ZCRFFRVCE
| URI | m2://inv/9ZCRFFRVCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential invariant, Differential invariant (definition). Also Wikidata Q5275353
History
- 2026-11-02: add by m2/dev
Five-term exact sequence 9ZCSCDHVPE
| URI | m2://inv/9ZCSCDHVPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five-term exact sequence, Five-term exact sequence (definition). Also Wikidata Q5455808
History
- 2026-11-02: add by m2/dev
9ZD0Y91QXV 9ZD0Y91QXV
| URI | m2://inv/9ZD0Y91QXV |
|---|---|
| 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.33124#YB5B (statement). In P27HYGQDAN/e1, lemma 29
History
- 2026-10-30: add by m2/v0.4.12
Generalized singular value decomposition 9ZD55X3D78
| URI | m2://inv/9ZD55X3D78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized singular value decomposition, Generalized singular value decomposition (definition). Also Wikidata Q5532513
History
- 2026-11-02: add by m2/dev
Theorem 9ZD6RWE72V
| URI | m2://inv/9ZD6RWE72V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability#P8E5, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Jean-Pierre Tignol 9ZDBVSBJR1
| URI | m2://inv/9ZDBVSBJR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Pierre Tignol, Jean-Pierre Tignol (topic). Also Wikidata Q30584983
History
- 2026-11-02: add by m2/dev
9ZDHAF9DD8 9ZDHAF9DD8
| URI | m2://inv/9ZDHAF9DD8 |
|---|---|
| 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#A3M4 (statement). In JW8HH6EPG2/e1, lemma 3.49
History
- 2026-10-29: add by m2/v0.4.10
9ZDQX24AK8 9ZDQX24AK8
| URI | m2://inv/9ZDQX24AK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.13533#BCPB (statement). In DK9GQ8G0T4/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
Properties 9ZDVBQ6ZVB
| URI | m2://inv/9ZDVBQ6ZVB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex set#3XQ5, Properties (statement)
History
- 2026-11-02: add by m2/dev
9ZDW8NPNYN 9ZDW8NPNYN
| URI | m2://inv/9ZDW8NPNYN |
|---|---|
| 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.29227#TCP4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ihara zeta function 9ZDZK8Z040
| URI | m2://inv/9ZDZK8Z040 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ihara zeta function, Ihara zeta function (definition). Also Wikidata Q5994637
History
- 2026-11-02: add by m2/dev
Tightened conditional energy decay 9ZE1SS1XAK
| URI | m2://inv/9ZE1SS1XAK |
|---|---|
| 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.09356#03VD, Tightened conditional energy decay (statement). In 3VVGPXWH6R/e1, proposition C.27
History
- 2026-10-29: add by m2/v0.4.10
9ZE4ZNHFSP 9ZE4ZNHFSP
| URI | m2://inv/9ZE4ZNHFSP |
|---|---|
| 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#7IFU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Heinrich Liebmann 9ZE66VWFE2
| URI | m2://inv/9ZE66VWFE2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich Liebmann, Heinrich Liebmann (topic). Also Wikidata Q104487
History
- 2026-11-02: add by m2/dev
Gosper curve 9ZECTH41HN
| URI | m2://inv/9ZECTH41HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#0FM6, Gosper curve (definition)
History
- 2026-11-02: add by m2/dev
9ZEP85SKX7 9ZEP85SKX7
| URI | m2://inv/9ZEP85SKX7 |
|---|---|
| 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 2106.09601#J1H0 (definition). In P26ZRC1QRZ/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
9ZF2H2NRYA 9ZF2H2NRYA
| URI | m2://inv/9ZF2H2NRYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.25468#VCQ6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9ZF3KVK4Z2 9ZF3KVK4Z2
| URI | m2://inv/9ZF3KVK4Z2 |
|---|---|
| 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.13618#R3YF (statement). In XDQAEGH345/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Population subspace learning on a loss plateau 9ZF62HQW19
| URI | m2://inv/9ZF62HQW19 |
|---|---|
| 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#XV58, Population subspace learning on a loss plateau (statement). In T8E6F01RTM/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
9ZFAMH881K 9ZFAMH881K
| URI | m2://inv/9ZFAMH881K |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#proof-10 (proof). In Y91XFCEVHQ, proof, section 4.2.5
History
- 2026-11-01: add by m2/v0.6.13
hyperbolic function 9ZFDE2PMDB
| URI | m2://inv/9ZFDE2PMDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#C1TO, hyperbolic function (definition)
History
- 2026-11-02: add by m2/dev
Alice M. Dimick 9ZFNKM8G6N
| URI | m2://inv/9ZFNKM8G6N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alice M. Dimick, Alice M. Dimick (topic). Also Wikidata Q102191489
History
- 2026-11-02: add by m2/dev
Weierstraß 9ZFR3ZV1QD
| URI | m2://inv/9ZFR3ZV1QD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16583#0CTY, Weierstraß (statement). In 4RPXT0YCS5/e1, theorem 2.11
History
- 2026-10-28: add by m2/v0.4.2
Aubin–Lions lemma 9ZFTYY7YXN
| URI | m2://inv/9ZFTYY7YXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aubin–Lions lemma, Aubin–Lions lemma (statement). Also Wikidata Q4819058
History
- 2026-11-02: add by m2/dev
9ZG1KZX4FA 9ZG1KZX4FA
| URI | m2://inv/9ZG1KZX4FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#WH73 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Second order condition 9ZG96KC9AH
| URI | m2://inv/9ZG96KC9AH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#LG3Q, Second order condition (definition)
History
- 2026-11-02: add by m2/dev
9ZGCHY79QV 9ZGCHY79QV
| URI | m2://inv/9ZGCHY79QV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#prop:rep-mult (statement). In PKGMM3P5QY, prop, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
Properties 9ZGCPWA43V
| URI | m2://inv/9ZGCPWA43V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atiyah algebroid#JIM2, Properties (statement)
History
- 2026-11-02: add by m2/dev
Probability density function 9ZGDD9GBKB
| URI | m2://inv/9ZGDD9GBKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#8RA6, Probability density function (definition)
History
- 2026-11-02: add by m2/dev
Katona, Gyula Y. 9ZGDEDV6KM
| URI | m2://inv/9ZGDEDV6KM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#39ZE, Katona, Gyula Y. (topic)
History
- 2026-11-02: add by m2/dev
9ZGJYPR5VW 9ZGJYPR5VW
| URI | m2://inv/9ZGJYPR5VW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08251#0WGW (statement). In YRJKC9DJEA/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.10
9ZGS3D6ZDX 9ZGS3D6ZDX
| URI | m2://inv/9ZGS3D6ZDX |
|---|---|
| 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.21047#A9OJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Inscribed square in a triangle 9ZGVTX8N6G
| URI | m2://inv/9ZGVTX8N6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inscribed square in a triangle, Inscribed square in a triangle (definition). Also Wikidata Q133090553
History
- 2026-11-02: add by m2/dev
Examples 9ZH1SCHEQC
| URI | m2://inv/9ZH1SCHEQC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime ideal#S7GB, Examples (example)
History
- 2026-11-02: add by m2/dev
Zero-dimensional 9ZH35D5W8W
| URI | m2://inv/9ZH35D5W8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#DBGO, Zero-dimensional (definition)
History
- 2026-11-02: add by m2/dev
Graham Everest 9ZH3TVK6RV
| URI | m2://inv/9ZH3TVK6RV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graham Everest, Graham Everest (topic). Also Wikidata Q14461072
History
- 2026-11-02: add by m2/dev
9ZH6J2XJQ3 9ZH6J2XJQ3
| URI | m2://inv/9ZH6J2XJQ3 |
|---|---|
| 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.35927#XGZE (statement). In 7S0DWBCNS8/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
9ZH9F1DJZS 9ZH9F1DJZS
| URI | m2://inv/9ZH9F1DJZS |
|---|---|
| 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.01225#OUPG (statement). In MFR807V4YG/e1, proposition A.2
History
- 2026-10-29: add by m2/v0.4.12
9ZHGF99GZM 9ZHGF99GZM
| URI | m2://inv/9ZHGF99GZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#ex:CartesianProduct (example). In P1C114YBXG, example, section 1
History
- 2026-11-01: add by m2/v0.6.13
Peter J. Webster 9ZHH3PBJ1N
| URI | m2://inv/9ZHH3PBJ1N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter J. Webster, Peter J. Webster (topic). Also Wikidata Q20638493
History
- 2026-11-02: add by m2/dev
9ZHQ7MSSZ8 9ZHQ7MSSZ8
| URI | m2://inv/9ZHQ7MSSZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#QAIX (statement). In ET8GYMMDQM/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
9ZHW8SGSQY 9ZHW8SGSQY
| URI | m2://inv/9ZHW8SGSQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#D5DO (statement)
History
- 2026-11-02: add by m2/v0.6.17
elasticity theory 9ZJ16729TM
| URI | m2://inv/9ZJ16729TM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1913277, elasticity theory (topic). Also EoM Elasticity,_mathematical_theory_of
History
- 2026-10-26: add by m2/dev
9ZJ1DAXMT1 9ZJ1DAXMT1
| URI | m2://inv/9ZJ1DAXMT1 |
|---|---|
| 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 2601.01000#V2Q7 (statement). In RYFV9HGWWZ/e1, theorem 26
History
- 2026-10-27: add by m2/v0.3.5
Flux through the boundary 9ZJ2J151FS
| URI | m2://inv/9ZJ2J151FS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#AC9I, Flux through the boundary (statement). In RYWAX33Z51/e1, lemma 9.3
History
- 2026-10-31: add by m2/v0.5.6
9ZJ4GYTEKX 9ZJ4GYTEKX
| URI | m2://inv/9ZJ4GYTEKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#8VLZ (statement). In HXFA55BREZ/e1, proposition 5.7
History
- 2026-10-29: add by m2/v0.4.10
affine variety 9ZJ5BX3QHJ
| URI | m2://inv/9ZJ5BX3QHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Affine variety JERVQT4C12 |
Mentions
- wikidata: Wikidata Q3554813, affine variety (unknown). Also EoM Affine_variety, MathWorld AffineVariety, nLab affine variety
- wikipedia: Wikipedia Affine variety, Affine variety (definition). Also Wikidata Q3554813
History
- 2026-10-26: add by m2/dev
9ZJ81VZ5PM 9ZJ81VZ5PM
| URI | m2://inv/9ZJ81VZ5PM |
|---|---|
| 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.06488#PCVZ (statement). In XG3BJ2QXXP/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
9ZJ94E3MHE 9ZJ94E3MHE
| URI | m2://inv/9ZJ94E3MHE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08028#TGLH (definition). In Z19XDA8QY9/e1, definition 24
History
- 2026-10-29: add by m2/v0.4.10
Annie Marie Garraway 9ZJKG2H0VT
| URI | m2://inv/9ZJKG2H0VT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annie Marie Garraway, Annie Marie Garraway (topic). Also Wikidata Q12887405
History
- 2026-11-02: add by m2/dev
Franz Kahn 9ZJMSHR699
| URI | m2://inv/9ZJMSHR699 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#55TC, Franz Kahn (unknown)
History
- 2026-11-02: add by m2/dev
9ZJNJWA3C5 9ZJNJWA3C5
| URI | m2://inv/9ZJNJWA3C5 |
|---|---|
| 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.26713#F38V (statement)
History
- 2026-11-01: add by m2/v0.6.15
9ZJPKCS40A 9ZJPKCS40A
| URI | m2://inv/9ZJPKCS40A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#45RF (statement)
History
- 2026-11-01: add by m2/v0.6.15
9ZJT7RF5MY 9ZJT7RF5MY
| URI | m2://inv/9ZJT7RF5MY |
|---|---|
| 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.05892#2768 (statement). In PXWRTA62JK/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
Steep functions 9ZK4E3T2TS
| URI | m2://inv/9ZK4E3T2TS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#UJEL, Steep functions (definition). In KM3Q791JY0/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.4.2
Brahmagupta theorem 9ZK601PAYD
| URI | m2://inv/9ZK601PAYD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OT67, Brahmagupta theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition 9ZK7YVRX8B
| URI | m2://inv/9ZK7YVRX8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debye model#KLV0, Definition (definition)
History
- 2026-11-02: add by m2/dev
onto 9ZKBWHRWXB
| URI | m2://inv/9ZKBWHRWXB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.6.2/onto, onto (concept). In 907G4C4EJ1, index, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
Leonid Polterovich 9ZKDHZT67G
| URI | m2://inv/9ZKDHZT67G |
|---|---|
| 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#EZ13, Leonid Polterovich (topic)
History
- 2026-11-02: add by m2/dev
9ZKEB3J05J 9ZKEB3J05J
| URI | m2://inv/9ZKEB3J05J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#AF9B (statement). In FCMMB2EVAP/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.4.2
9ZKKVMV629 9ZKKVMV629
| URI | m2://inv/9ZKKVMV629 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0811.0544#EX07 (statement). In RKPZ3SC956/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
9ZKPYW3RZW 9ZKPYW3RZW
| URI | m2://inv/9ZKPYW3RZW |
|---|---|
| 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 2608.23797#MM5B (statement). In PZCA01JXVR/e1, proposition 9.1
History
- 2026-10-27: add by m2/v0.3.5
9ZKTDNTE3P 9ZKTDNTE3P
| URI | m2://inv/9ZKTDNTE3P |
|---|---|
| Kind | statement |
| 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#TO3O (statement). In WJD9YPGGYH/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.3.5
Arend Heyting 9ZMBVW6GN1
| URI | m2://inv/9ZMBVW6GN1 |
|---|---|
| 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#XMRQ, Arend Heyting (topic)
History
- 2026-11-02: add by m2/dev
9ZMKY8Z78R 9ZMKY8Z78R
| URI | m2://inv/9ZMKY8Z78R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#ques-6 (exercise). In RZP28ERRZV, ques, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
9ZN1P1CFCP 9ZN1P1CFCP
| URI | m2://inv/9ZN1P1CFCP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/henkin-expansions.tex#lem:henkin (statement). In PKGMM3P5QY, lem, section 11.3
History
- 2026-11-01: add by m2/v0.6.13
9ZN4W7CCRB 9ZN4W7CCRB
| URI | m2://inv/9ZN4W7CCRB |
|---|---|
| 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.19945#Y2T8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
9ZN5VG051H 9ZN5VG051H
| URI | m2://inv/9ZN5VG051H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#TUA7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hadamard space 9ZNH89M3EJ
| URI | m2://inv/9ZNH89M3EJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05388#52CE, Hadamard space (definition). In 4HJK1986EJ/e1, definition B.2
History
- 2026-10-29: add by m2/v0.4.10
Solomon Lefschetz 9ZNKNN2W81
| URI | m2://inv/9ZNKNN2W81 |
|---|---|
| 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#5NTT, Solomon Lefschetz (topic)
History
- 2026-11-02: add by m2/dev
Multivariate testing in marketing 9ZNPZ6D3K5
| URI | m2://inv/9ZNPZ6D3K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate testing in marketing, Multivariate testing in marketing (definition). Also Wikidata Q18378126
History
- 2026-11-02: add by m2/dev
Late time energy decay asymptotics 9ZNWZGP1WJ
| URI | m2://inv/9ZNWZGP1WJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.28861#1LDM, Late time energy decay asymptotics (statement). In A3VQ2TNRKK/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.0
Positive Integrating Factors 9ZNXZZG8PK
| URI | m2://inv/9ZNXZZG8PK |
|---|---|
| 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.30105#07JA, Positive Integrating Factors (statement)
History
- 2026-11-01: add by m2/v0.6.15
Al-Nijat 9ZNYXA10JT
| URI | m2://inv/9ZNYXA10JT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Nijat, Al-Nijat (definition). Also Wikidata Q10859385
History
- 2026-11-02: add by m2/dev
9ZNZ4RCXFJ 9ZNZ4RCXFJ
| URI | m2://inv/9ZNZ4RCXFJ |
|---|---|
| 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 1009.2047#NG5G (statement). In F3MWRNBNED/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.3.5
9ZP311VN48 9ZP311VN48
| URI | m2://inv/9ZP311VN48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#DSA7 (statement). In 77TK7M3B9Y/e1, theorem 9
History
- 2026-10-28: add by m2/v0.4.2
9ZP46QX87A 9ZP46QX87A
| URI | m2://inv/9ZP46QX87A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.13260#MWLY (statement). In ZBQX9341RV/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
9ZP76F6MY3 9ZP76F6MY3
| URI | m2://inv/9ZP76F6MY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2511.15212#D5N3 (statement). In W99XBH6X5N/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.4.0
Paul Monsky 9ZP9V5TFMG
| URI | m2://inv/9ZP9V5TFMG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Monsky, Paul Monsky (topic). Also Wikidata Q264008
History
- 2026-11-02: add by m2/dev
Independent family 9ZPCBQH030
| URI | m2://inv/9ZPCBQH030 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28160#WBG0, Independent family (definition)
History
- 2026-11-01: add by m2/v0.6.15
butterfly curve 9ZPD1N2MAJ
| URI | m2://inv/9ZPD1N2MAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2465157, butterfly curve (unknown). Also MathWorld ButterflyCurve
- wikidata: Wikidata Q2533777, butterfly curve (unknown). Also MathWorld ButterflyCurve
- wikipedia: Wikipedia Butterfly curve (transcendental), Butterfly curve (definition). Also Wikidata Q2533777
- wikipedia: Wikipedia Butterfly curve (algebraic), Butterfly curve (definition). Also Wikidata Q2465157
History
- 2026-10-26: add by m2/dev
q-analog 9ZPQX70JB1
| URI | m2://inv/9ZPQX70JB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | q-analog GFSDMJHHVA |
Mentions
- wikidata: Wikidata Q3491352, q-analog (unknown). Also MathWorld q-Analog
- wikipedia: Wikipedia Q-analog, Q-analog (definition). Also Wikidata Q3491352
History
- 2026-10-26: add by m2/dev
A sufficient geometric condition 9ZPR1EBKHE
| URI | m2://inv/9ZPR1EBKHE |
|---|---|
| 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.33469#ZZ1A, A sufficient geometric condition (statement). In TC5QA4AB4Z/e1, theorem 3.31
History
- 2026-10-30: add by m2/v0.4.12
Tung Hua Lin 9ZPY9WBH9X
| URI | m2://inv/9ZPY9WBH9X |
|---|---|
| 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#NJCD, Tung Hua Lin (unknown)
History
- 2026-11-02: add by m2/dev
9ZQ544TM4Y 9ZQ544TM4Y
| URI | m2://inv/9ZQ544TM4Y |
|---|---|
| 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.10968#K91R (statement). In KJRV9ZW833/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.3
9ZQ5HF9ZZS 9ZQ5HF9ZZS
| URI | m2://inv/9ZQ5HF9ZZS |
|---|---|
| Kind | definition |
| 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.37124#MGUB (definition). In 2QF1YG9DD0/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
9ZQA2PK2CV 9ZQA2PK2CV
| URI | m2://inv/9ZQA2PK2CV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.15043#2ZTC (example). In QDE21RT0T2/e1, example A.7
History
- 2026-10-27: add by m2/v0.3.5
Definition 9ZQB6MRYSK
| URI | m2://inv/9ZQB6MRYSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decisional Diffie–Hellman assumption#GV06, Definition (definition)
History
- 2026-11-02: add by m2/dev
Calculating demand forecast accuracy 9ZQP60TTRY
| URI | m2://inv/9ZQP60TTRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BBXO, Calculating demand forecast accuracy (definition)
History
- 2026-11-02: add by m2/dev
9ZQT7RRRWY 9ZQT7RRRWY
| URI | m2://inv/9ZQT7RRRWY |
|---|---|
| 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 2609.28357#FZ1P (statement)
History
- 2026-11-01: add by m2/v0.6.15
9ZR0AW4RM5 9ZR0AW4RM5
| URI | m2://inv/9ZR0AW4RM5 |
|---|---|
| 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#RMZF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Goldfeld–Quandt test 9ZR4J2RCWX
| URI | m2://inv/9ZR4J2RCWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J8K6, Goldfeld–Quandt test (definition)
History
- 2026-11-02: add by m2/dev
David Hilbert 9ZR4Y7KR1N
| URI | m2://inv/9ZR4Y7KR1N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#Q1AH, David Hilbert (topic)
History
- 2026-11-02: add by m2/dev
9ZR6K4FVP7 9ZR6K4FVP7
| URI | m2://inv/9ZR6K4FVP7 |
|---|---|
| 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.26922#9DDM (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Game of Logic 9ZRQCJJM6R
| URI | m2://inv/9ZRQCJJM6R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q108897614, The Game of Logic (unknown). Also MathWorld GameofLogic
History
- 2026-10-26: add by m2/dev
9ZRVC2PT5R 9ZRVC2PT5R
| URI | m2://inv/9ZRVC2PT5R |
|---|---|
| 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 2412.20238#C72H (statement). In V8CA0STSPB/e1, theorem 23
History
- 2026-10-27: add by m2/v0.3.5
Invertibility via mixed sampling or subcritical reinforcement 9ZRY3T052Q
| URI | m2://inv/9ZRY3T052Q |
|---|---|
| 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.13884#JR3O, Invertibility via mixed sampling or subcritical reinforcement (statement). In N2NQ3QJYTW/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Cicero 9ZS0BHM1XG
| URI | m2://inv/9ZS0BHM1XG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#KUT6, Cicero (unknown)
History
- 2026-11-02: add by m2/dev
Novikov conjecture 9ZS3K4H134
| URI | m2://inv/9ZS3K4H134 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#DL0G, Novikov conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Cheryl's Birthday 9ZS5S2QQ6G
| URI | m2://inv/9ZS5S2QQ6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheryl's Birthday, Cheryl's Birthday (definition). Also Wikidata Q19822720
History
- 2026-11-02: add by m2/dev
planar lamina 9ZSDN781SS
| URI | m2://inv/9ZSDN781SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17097792, planar lamina (unknown). Also MathWorld Lamina
- wikipedia: Wikipedia Planar lamina, Planar lamina (definition). Also Wikidata Q17097792
History
- 2026-10-26: add by m2/dev
Veinticuatro de Mayo 9ZSF37WD7C
| URI | m2://inv/9ZSF37WD7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#5WV3, Veinticuatro de Mayo (unknown)
History
- 2026-11-02: add by m2/dev
V. Kumar Murty 9ZSGV3MENG
| URI | m2://inv/9ZSGV3MENG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia V. Kumar Murty, V. Kumar Murty (topic). Also Wikidata Q2804852
History
- 2026-11-02: add by m2/dev
9ZSMG6EQTS 9ZSMG6EQTS
| URI | m2://inv/9ZSMG6EQTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02686#22K2 (statement). In 5QWPNXQ32J/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Algorithm 9ZSSBZDVGR
| URI | m2://inv/9ZSSBZDVGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-angle regression#EQXS, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
discrete topology 9ZSZ8BBJHQ
| URI | m2://inv/9ZSZ8BBJHQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91267214, discrete topology (unknown). Also MathWorld DiscreteTopology
History
- 2026-10-26: add by m2/dev
9ZT386PZKE 9ZT386PZKE
| URI | m2://inv/9ZT386PZKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#YK36 (statement). In X38P26DK6S/e1, proposition 3.20
History
- 2026-10-27: add by m2/v0.4.0
9ZTCCGSPE1 9ZTCCGSPE1
| URI | m2://inv/9ZTCCGSPE1 |
|---|---|
| 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.30600#QQ76 (statement). In BKGWH9ZN4J/e1, lemma 5.4
History
- 2026-10-31: add by m2/v0.5.6
Definition and properties 9ZTNNT2VSE
| URI | m2://inv/9ZTNNT2VSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical axis#5NO6, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
9ZTPSDNZ2P 9ZTPSDNZ2P
| URI | m2://inv/9ZTPSDNZ2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#W63Z (statement)
History
- 2026-11-02: add by m2/v0.6.18
Recurrence period density entropy 9ZTSE4C5H1
| URI | m2://inv/9ZTSE4C5H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WO91, Recurrence period density entropy (definition)
History
- 2026-11-02: add by m2/dev
Invariance of domain 9ZTSS7T02E
| URI | m2://inv/9ZTSS7T02E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5XZ4, Invariance of domain (definition)
History
- 2026-11-02: add by m2/dev
Ofer Zeitouni 9ZTSW2Q1GN
| URI | m2://inv/9ZTSW2Q1GN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ofer Zeitouni, Ofer Zeitouni (topic). Also Wikidata Q6567589
History
- 2026-11-02: add by m2/dev
Applications 9ZTWFN3VCJ
| URI | m2://inv/9ZTWFN3VCJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic number#TRA7, Applications (example)
History
- 2026-11-02: add by m2/dev
Milstein method 9ZV3YJ98DJ
| URI | m2://inv/9ZV3YJ98DJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milstein method, Milstein method (definition). Also Wikidata Q1396217
History
- 2026-11-02: add by m2/dev
9ZV8ZGV331 9ZV8ZGV331
| URI | m2://inv/9ZV8ZGV331 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#JMOG (definition). In TB1294GY5X/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.4.2
Sample GGDPC path through a boundary saddle 9ZVBCYPH0S
| URI | m2://inv/9ZVBCYPH0S |
|---|---|
| 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.01050#SEFT, Sample GGDPC path through a boundary saddle (statement). In 48NN33SAH7/e1, lemma G.2
History
- 2026-10-29: add by m2/v0.4.12
Head-tail containment 9ZVCSV60TX
| URI | m2://inv/9ZVCSV60TX |
|---|---|
| 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.20701#X29W, Head-tail containment (statement)
History
- 2026-11-02: add by m2/v0.6.18
minuend 9ZVDS5SXMT
| URI | m2://inv/9ZVDS5SXMT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11936853, minuend (unknown). Also MathWorld Minuend
History
- 2026-10-26: add by m2/dev
9ZVH6MK91N 9ZVH6MK91N
| URI | m2://inv/9ZVH6MK91N |
|---|---|
| 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.07190#H0LC (statement). In ZWS6Q4467X/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
The characteristic-five example from the first level 9ZVK910DRM
| URI | m2://inv/9ZVK910DRM |
|---|---|
| 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.05652#629O, The characteristic-five example from the first level (statement). In 8BNPFYQDQX/e1, corollary 16.4
History
- 2026-10-29: add by m2/v0.4.10
François Diederich 9ZVPB4944A
| URI | m2://inv/9ZVPB4944A |
|---|---|
| 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#LUQC, François Diederich (unknown)
History
- 2026-11-02: add by m2/dev
9ZVQ4TG0NK 9ZVQ4TG0NK
| URI | m2://inv/9ZVQ4TG0NK |
|---|---|
| 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 2410.22607#MZFF (statement). In 6GT33A43SY/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
9ZVTKW22NA 9ZVTKW22NA
| URI | m2://inv/9ZVTKW22NA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10937#EHAW (statement). In 6VVK3YTABP/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.3
9ZVZZP35EX 9ZVZZP35EX
| URI | m2://inv/9ZVZZP35EX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21033#OIWK (statement). In A8C1M9BSWH/e1, lemma H.4
History
- 2026-10-27: add by m2/v0.4.2
Positive-excess relation bound 9ZW0A0TQT1
| URI | m2://inv/9ZW0A0TQT1 |
|---|---|
| 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.14509#OXJF, Positive-excess relation bound (statement). In N6GD8392QB/e1, corollary 6.11
History
- 2026-10-28: add by m2/v0.4.2
9ZW147NECN 9ZW147NECN
| URI | m2://inv/9ZW147NECN |
|---|---|
| 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.17547#YWGZ (statement). In XJ59TDP4HA/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Jason Gross 9ZW2DS9PPC
| URI | m2://inv/9ZW2DS9PPC |
|---|---|
| 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 Q30512510, Jason Gross (unknown). Also nLab Jason Gross
History
- 2026-10-26: add by m2/dev
Examples 9ZW3BK3B5F
| URI | m2://inv/9ZW3BK3B5F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aspherical space#VO3L, Examples (example)
History
- 2026-11-02: add by m2/dev
9ZW40H7YYR 9ZW40H7YYR
| URI | m2://inv/9ZW40H7YYR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25524#DUT9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Rayleigh quotient 9ZWBE4PJDJ
| URI | m2://inv/9ZWBE4PJDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh quotient, Rayleigh quotient (definition). Also Wikidata Q1665115
History
- 2026-11-02: add by m2/dev
Formal definition 9ZWDHP2JW1
| URI | m2://inv/9ZWDHP2JW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hom functor#VXJA, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem 9ZWPYEZ25A
| URI | m2://inv/9ZWPYEZ25A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph flattenability#NIDZ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
9ZWQAK3MX3 9ZWQAK3MX3
| URI | m2://inv/9ZWQAK3MX3 |
|---|---|
| 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 1103.1038#M2HN (statement). In T9VMNNPS0H/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.6
9ZWXTSJHWW 9ZWXTSJHWW
| URI | m2://inv/9ZWXTSJHWW |
|---|---|
| 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.07546#T8FH (statement). In H9YE46CGFN/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
De Rham–Weil theorem 9ZX64K9YWA
| URI | m2://inv/9ZX64K9YWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Rham–Weil theorem, De Rham–Weil theorem (statement). Also Wikidata Q5244715
History
- 2026-11-02: add by m2/dev
Applications 9ZXA0ZMZ7N
| URI | m2://inv/9ZXA0ZMZ7N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial#HATU, Applications (example)
History
- 2026-11-02: add by m2/dev
Introduction to the mathematics of general relativity 9ZXBAZQK84
| URI | m2://inv/9ZXBAZQK84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Introduction to the mathematics of general relativity, Introduction to the mathematics of general relativity (definition). Also Wikidata Q6058963
History
- 2026-11-02: add by m2/dev
Random recursive tree 9ZXDM50TNM
| URI | m2://inv/9ZXDM50TNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random recursive tree, Random recursive tree (definition). Also Wikidata Q85795848
History
- 2026-11-02: add by m2/dev
Generalizations 9ZXDQZMDH0
| URI | m2://inv/9ZXDQZMDH0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof that e is irrational#M5ZR, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Ursula van Rienen 9ZXFJ8VAHM
| URI | m2://inv/9ZXFJ8VAHM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursula van Rienen, Ursula van Rienen (topic). Also Wikidata Q21264826
History
- 2026-11-02: add by m2/dev
Definition 9ZXHPG0C1R
| URI | m2://inv/9ZXHPG0C1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cox process#TXHX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Imre Bárány 9ZXKBTMB4N
| URI | m2://inv/9ZXKBTMB4N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XRYZ, Imre Bárány (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IOLT, Imre Bárány (unknown)
History
- 2026-11-02: add by m2/dev
fibration 9ZXSF9SS08
| URI | m2://inv/9ZXSF9SS08 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.7/fibration, fibration (concept). In N54F33XE07, index, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
Partial fixed-point logic 9ZYKSZRQQP
| URI | m2://inv/9ZYKSZRQQP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point logic#JEVP, Partial fixed-point logic (unknown)
History
- 2026-11-02: add by m2/dev
A four-agent verification chain 9ZYRDBR72S
| URI | m2://inv/9ZYRDBR72S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.31535#BQ7O, A four-agent verification chain (example). In BAWCMJQGVA/e1, example 2.8
History
- 2026-10-31: add by m2/v0.5.6
first Celmins–Swart snark 9ZYS6A5WA9
| URI | m2://inv/9ZYS6A5WA9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3401797, first Celmins–Swart snark (unknown). Also House of Graphs 968
History
- 2026-10-26: add by m2/dev
9ZYX0ZPZ50 9ZYX0ZPZ50
| URI | m2://inv/9ZYX0ZPZ50 |
|---|---|
| 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 2504.00267#V9HR (statement). In 38XJWDZ2PH/e1, theorem 3.19
History
- 2026-10-27: add by m2/v0.3.5
Alexander-Briggs notation 9ZYYPPMVN2
| URI | m2://inv/9ZYYPPMVN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knot theory#6AXA, Alexander-Briggs notation (unknown)
History
- 2026-11-02: add by m2/dev
EM algorithm and GMM model 9ZZ6A4XTX2
| URI | m2://inv/9ZZ6A4XTX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EM algorithm and GMM model, EM algorithm and GMM model (definition). Also Wikidata Q97474330
History
- 2026-11-02: add by m2/dev
9ZZ6DY6P64 9ZZ6DY6P64
| URI | m2://inv/9ZZ6DY6P64 |
|---|---|
| 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 2609.37634#HBQD (statement). In NTWNXKDBKK/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Gopakumar–Vafa duality 9ZZ8KQ63B5
| URI | m2://inv/9ZZ8KQ63B5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q133784295, Gopakumar–Vafa duality (unknown). Also nLab Gopakumar-Vafa+duality
History
- 2026-10-26: add by m2/dev
9ZZCS6AWA7 9ZZCS6AWA7
| URI | m2://inv/9ZZCS6AWA7 |
|---|---|
| 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.08873#RIPR (statement). In 7WMNVJBAVR/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
9ZZDB1HAKR 9ZZDB1HAKR
| URI | m2://inv/9ZZDB1HAKR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22551#DUCR (definition)
History
- 2026-11-02: add by m2/v0.6.17
9ZZGTFC84M 9ZZGTFC84M
| URI | m2://inv/9ZZGTFC84M |
|---|---|
| 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.22263#6BJT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Günter Lumer 9ZZHXESEDV
| URI | m2://inv/9ZZHXESEDV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#CD1S, Günter Lumer (topic)
History
- 2026-11-02: add by m2/dev
9ZZWSQX0ZG 9ZZWSQX0ZG
| URI | m2://inv/9ZZWSQX0ZG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/multiplication.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 71.11
History
- 2026-11-01: add by m2/v0.6.13
9ZZY19K7B3 9ZZY19K7B3
| URI | m2://inv/9ZZY19K7B3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#8O08 (statement)
History
- 2026-11-02: add by m2/v0.6.18