Inventory rows B9
The cards of the rows of the inventory whose ids start with B9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
B90F8GPP47 B90F8GPP47
| URI | m2://inv/B90F8GPP47 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11120#WLDO (definition). In KCY80F2YGP/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.3
B90H8192VM B90H8192VM
| URI | m2://inv/B90H8192VM |
|---|---|
| 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.40023#TNNR (statement). In JW9ARS9AQE/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Aliasing B90JGMMKD4
| URI | m2://inv/B90JGMMKD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aliasing (factorial experiments), Aliasing (definition). Also Wikidata Q129176229
History
- 2026-11-02: add by m2/dev
Folkman's theorem B90MCJ8KQH
| URI | m2://inv/B90MCJ8KQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Folkman's theorem, Folkman's theorem (statement). Also Wikidata Q3527077
History
- 2026-11-02: add by m2/dev
Examples B90PB1ED6Z
| URI | m2://inv/B90PB1ED6Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic#WSUD, Examples (example)
History
- 2026-11-02: add by m2/dev
B90R60PHTA B90R60PHTA
| URI | m2://inv/B90R60PHTA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25391#XG1M (definition)
History
- 2026-11-01: add by m2/v0.6.15
Kripke semantics B91DJKMQ4J
| URI | m2://inv/B91DJKMQ4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#6KI4, Kripke semantics (definition)
- wikipedia: Wikipedia List of mathematical logic topics#YI45, Kripke semantics (definition)
History
- 2026-11-02: add by m2/dev
B91GC3VFEJ B91GC3VFEJ
| URI | m2://inv/B91GC3VFEJ |
|---|---|
| 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.05703#5JNZ (statement). In 2YS79JFD85/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.10
Prandtl–Glauert transformation B91JEWCB90
| URI | m2://inv/B91JEWCB90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prandtl–Glauert transformation, Prandtl–Glauert transformation (definition). Also Wikidata Q828112
History
- 2026-11-02: add by m2/dev
Samuel Eilenberg B91QNRTNMJ
| URI | m2://inv/B91QNRTNMJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#D1QK, Samuel Eilenberg (topic)
History
- 2026-11-02: add by m2/dev
Examples B91SG46N9E
| URI | m2://inv/B91SG46N9E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous space#PJ6K, Examples (example)
History
- 2026-11-02: add by m2/dev
Uniform structure B91X6G85AX
| URI | m2://inv/B91X6G85AX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#6NRF, Uniform structure (definition)
History
- 2026-11-02: add by m2/dev
Bonnet theorem B920DQ3FNC
| URI | m2://inv/B920DQ3FNC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YXE0, Bonnet theorem (statement)
History
- 2026-11-02: add by m2/dev
B920T02QRW B920T02QRW
| URI | m2://inv/B920T02QRW |
|---|---|
| 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.20480#C5UR (statement). In BK4359JSC3/e1, theorem 7.7
History
- 2026-10-27: add by m2/v0.4.2
GAUSS (software) B927BD8B2M
| URI | m2://inv/B927BD8B2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5C6V, GAUSS (software) (definition)
History
- 2026-11-02: add by m2/dev
Wavelet B92CHZZGKS
| URI | m2://inv/B92CHZZGKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#VBVP, Wavelet (definition)
History
- 2026-11-02: add by m2/dev
B92R6NZFGN B92R6NZFGN
| URI | m2://inv/B92R6NZFGN |
|---|---|
| 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 2501.17009#2PV5 (statement). In PESAKD6SSW/e1, theorem 5.18
History
- 2026-10-27: add by m2/v0.3.6
Definitions B93338AZXW
| URI | m2://inv/B93338AZXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#A164, Definitions (definition)
History
- 2026-11-02: add by m2/dev
B933XZF1MP B933XZF1MP
| URI | m2://inv/B933XZF1MP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29925#896U (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eric Weinstein B939BWN1ZN
| URI | m2://inv/B939BWN1ZN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#BP3T, Eric Weinstein (unknown)
History
- 2026-11-02: add by m2/dev
B93AAXFP8W B93AAXFP8W
| URI | m2://inv/B93AAXFP8W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10338#L647 (definition). In WZ3GXRAB00/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
B93D13HWG9 B93D13HWG9
| URI | m2://inv/B93D13HWG9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12908#EYTH (definition). In TNC658NVMQ/e1, definition 8.1
History
- 2026-10-28: add by m2/v0.4.2
eccentricity B93E4W9MD9
| URI | m2://inv/B93E4W9MD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#7XBU, eccentricity (definition)
History
- 2026-11-02: add by m2/dev
Applications B93HYWF6CN
| URI | m2://inv/B93HYWF6CN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piecewise-deterministic Markov process#NCIK, Applications (example)
History
- 2026-11-02: add by m2/dev
B93T8487Q7 B93T8487Q7
| URI | m2://inv/B93T8487Q7 |
|---|---|
| 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 1304.4839#AWUK (statement). In YWS516YD1V/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Uniform density estimates on families of hypersurfaces B93V7F0N2A
| URI | m2://inv/B93V7F0N2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22513#FATN, Uniform density estimates on families of hypersurfaces (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples B93WA1TGF7
| URI | m2://inv/B93WA1TGF7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional integration#Q5OQ, Examples (example)
History
- 2026-11-02: add by m2/dev
B93WXHEPSE B93WXHEPSE
| URI | m2://inv/B93WXHEPSE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#1NKN (definition). In F0D8VSM4Z4/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Applications B93ZZDSEK8
| URI | m2://inv/B93ZZDSEK8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collocation method#8WBL, Applications (example)
History
- 2026-11-02: add by m2/dev
B945NXFKA7 B945NXFKA7
| URI | m2://inv/B945NXFKA7 |
|---|---|
| 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.07927#57PW (statement). In GKM19DHQTM/e1, corollary 7.5
History
- 2026-10-29: add by m2/v0.4.10
B94FKMMY5Y B94FKMMY5Y
| URI | m2://inv/B94FKMMY5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 2610.20956#JO5D (statement). In X9WFC1D9ZS/e1, lemma 19
History
- 2026-10-27: add by m2/v0.4.2
Differential exponent B94PE69VYQ
| URI | m2://inv/B94PE69VYQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Different ideal#BHK2, Differential exponent (unknown)
History
- 2026-11-02: add by m2/dev
B94WXETSVF B94WXETSVF
| URI | m2://inv/B94WXETSVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#V1DL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jason P. Miller B957XF9PY1
| URI | m2://inv/B957XF9PY1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9AF5, Jason P. Miller (unknown)
History
- 2026-11-02: add by m2/dev
B95AGWXEH4 B95AGWXEH4
| URI | m2://inv/B95AGWXEH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#F5RJ (statement). In 43TBS9P2PX/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Jacob Gordin B95ESZBWJ0
| URI | m2://inv/B95ESZBWJ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#YF11, Jacob Gordin (unknown)
History
- 2026-11-02: add by m2/dev
B95FM1YAZR B95FM1YAZR
| URI | m2://inv/B95FM1YAZR |
|---|---|
| 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.27414#5EH8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
B95GRZ1QZZ B95GRZ1QZZ
| URI | m2://inv/B95GRZ1QZZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/proof-examples.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 61.10
History
- 2026-11-01: add by m2/v0.6.13
Special cases B95N3F0G1V
| URI | m2://inv/B95N3F0G1V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz's lemma#Y1NY, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Claudio Procesi B95QM40D22
| URI | m2://inv/B95QM40D22 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#QIT8, Claudio Procesi (topic)
History
- 2026-11-02: add by m2/dev
Erdős–Gallai theorem B95TMJG8NE
| URI | m2://inv/B95TMJG8NE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#1CIW, Erdős–Gallai theorem (statement)
History
- 2026-11-02: add by m2/dev
Three sampling regimes B95WF48E6F
| URI | m2://inv/B95WF48E6F |
|---|---|
| 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.01391#KBCB, Three sampling regimes (statement). In MAZNVJX5YK/e1, corollary 15
History
- 2026-10-29: add by m2/v0.4.12
Computational complexity of N-body simulations B95Y80EP6B
| URI | m2://inv/B95Y80EP6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-body simulation#K9O9, Computational complexity of N-body simulations (unknown)
History
- 2026-11-02: add by m2/dev
B95YKQFZRD B95YKQFZRD
| URI | m2://inv/B95YKQFZRD |
|---|---|
| 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.17602#6GL9 (statement). In BH62508WHJ/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Hisham Sati B961BTPS2T
| URI | m2://inv/B961BTPS2T |
|---|---|
| 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 Q93386120, Hisham Sati (unknown). Also nLab Hisham Sati
History
- 2026-10-26: add by m2/dev
John of St. Thomas B9627C95Y5
| URI | m2://inv/B9627C95Y5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#SFEM, John of St. Thomas (unknown)
History
- 2026-11-02: add by m2/dev
Optimized marked order B9681183HM
| URI | m2://inv/B9681183HM |
|---|---|
| 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.18884#RRSJ, Optimized marked order (statement). In 8WM10QMA9E/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.2
B96HSJVG88 B96HSJVG88
| URI | m2://inv/B96HSJVG88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03373#FWRW (statement). In ZA7DBT3NWR/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
Finite difference method B96QTQAY9E
| URI | m2://inv/B96QTQAY9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite difference method, Finite difference method (definition). Also Wikidata Q1147751
History
- 2026-11-02: add by m2/dev
The β function lemma B96X42M79C
| URI | m2://inv/B96X42M79C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel's β function#FTPA, The β function lemma (statement)
History
- 2026-11-02: add by m2/dev
B97004Y1SY B97004Y1SY
| URI | m2://inv/B97004Y1SY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.07409#9AZZ (definition). In KWH4QJDPWC/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.4.0
Boolean algebra B977G6QNBB
| URI | m2://inv/B977G6QNBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#R70L, Boolean algebra (definition)
History
- 2026-11-02: add by m2/dev
B97GB4DZTV B97GB4DZTV
| URI | m2://inv/B97GB4DZTV |
|---|---|
| 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#IEH3 (statement). In XEQD21EBTT/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
B97NJV3YQB B97NJV3YQB
| URI | m2://inv/B97NJV3YQB |
|---|---|
| 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.24041#9EV1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
B97W8PE0T0 B97W8PE0T0
| URI | m2://inv/B97W8PE0T0 |
|---|---|
| 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.06108#M4GU (statement). In D3WKY1PW64/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
Reconstruction from a geometric representation B97X305N0H
| URI | m2://inv/B97X305N0H |
|---|---|
| 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.15466#3JLV, Reconstruction from a geometric representation (statement). In KJ7V6XG4M7/e1, theorem 7
History
- 2026-10-28: add by m2/v0.4.2
B97X75ZEB0 B97X75ZEB0
| URI | m2://inv/B97X75ZEB0 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#NU7O (proof). In P39MF3ZJC0/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
$\lambda$-regularity B9824DHAJ8
| URI | m2://inv/B9824DHAJ8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28181#4KQE, $\lambda$-regularity (definition)
History
- 2026-11-01: add by m2/v0.6.15
complete B984463MH2
| URI | m2://inv/B984463MH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#V3ER, complete (definition)
History
- 2026-11-02: add by m2/dev
B985EE8CMX B985EE8CMX
| URI | m2://inv/B985EE8CMX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#XYQR (example). In X88HPQ0W8C/e1, example 3.5
History
- 2026-10-27: add by m2/v0.3.5
B98CNE1315 B98CNE1315
| URI | m2://inv/B98CNE1315 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#2MHW (statement)
History
- 2026-11-02: add by m2/v0.6.17
B98E52FM21 B98E52FM21
| URI | m2://inv/B98E52FM21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#SOZS (statement). In 317GZJ38HS/e1, corollary 4.10
History
- 2026-10-29: add by m2/v0.4.12
Li Rui B98F3PCWM9
| URI | m2://inv/B98F3PCWM9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#1506, Li Rui (unknown)
History
- 2026-11-02: add by m2/dev
Darboux cyclide B991EW9HQ4
| URI | m2://inv/B991EW9HQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux cyclide, Darboux cyclide (definition). Also Wikidata Q131753668
History
- 2026-11-02: add by m2/dev
Examples B99AD2NP9P
| URI | m2://inv/B99AD2NP9P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperfunction#SLJ7, Examples (example)
History
- 2026-11-02: add by m2/dev
B99APRV017 B99APRV017
| URI | m2://inv/B99APRV017 |
|---|---|
| Kind | problem |
| 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.28898#G8QW (problem)
History
- 2026-11-01: add by m2/v0.6.15
Jacob Bernoulli B99F31A18M
| URI | m2://inv/B99F31A18M |
|---|---|
| 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 Q122392, Jacob Bernoulli (unknown). Also EoM Bernoulli,_Jakob
- wikipedia: Wikipedia Jacob Bernoulli, Jacob Bernoulli (topic). Also Wikidata Q122392
History
- 2026-10-26: add by m2/dev
Order unit B99KBGVP5Z
| URI | m2://inv/B99KBGVP5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order unit, Order unit (definition). Also Wikidata Q7100705
History
- 2026-11-02: add by m2/dev
Brahmagupta triangle B99X9ME2TS
| URI | m2://inv/B99X9ME2TS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brahmagupta triangle, Brahmagupta triangle (definition). Also Wikidata Q126811354
History
- 2026-11-02: add by m2/dev
B99Y2HHA71 B99Y2HHA71
| URI | m2://inv/B99Y2HHA71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#MQEP (statement). In M4ZVJWM8YA/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.4.2
B9A0G13Q62 B9A0G13Q62
| URI | m2://inv/B9A0G13Q62 |
|---|---|
| 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.10902#3PMX (statement). In 96T1K6C3NZ/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
Vladimir Mazya B9A185BQDG
| URI | m2://inv/B9A185BQDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CXZL, Vladimir Mazya (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MG1Y, Vladimir Mazya (unknown)
History
- 2026-11-02: add by m2/dev
B9A2K49MT5 B9A2K49MT5
| URI | m2://inv/B9A2K49MT5 |
|---|---|
| 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.37739#EIYI (statement). In F5XF5VXTXY/e1, lemma 6.9
History
- 2026-10-30: add by m2/v0.4.12
Examples B9AK0C4A0W
| URI | m2://inv/B9AK0C4A0W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closure with a twist#VCSZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Verma module B9AR9M9JYE
| URI | m2://inv/B9AR9M9JYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#T0FD, Verma module (definition)
History
- 2026-11-02: add by m2/dev
Infinite alleles model B9AWRV38B1
| URI | m2://inv/B9AWRV38B1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite alleles model, Infinite alleles model (definition). Also Wikidata Q17101617
History
- 2026-11-02: add by m2/dev
B9AZS9DZZT B9AZS9DZZT
| URI | m2://inv/B9AZS9DZZT |
|---|---|
| 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.01818#E7K8 (statement). In DA31J9XJ4J/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.12
B9B07361TR B9B07361TR
| URI | m2://inv/B9B07361TR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#Q6P4 (statement). In Z0SAF18JPP/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
Examples B9B96GVWS0
| URI | m2://inv/B9B96GVWS0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biased graph#XWY0, Examples (example)
History
- 2026-11-02: add by m2/dev
B9BFCAD2KQ B9BFCAD2KQ
| URI | m2://inv/B9BFCAD2KQ |
|---|---|
| Kind | definition |
| 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.37967#C00P (definition). In BR2E3CXQE0/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
confocal B9BQW5EYW3
| URI | m2://inv/B9BQW5EYW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#WZ1N, confocal (definition)
History
- 2026-11-02: add by m2/dev
Refined saturated optimization B9C1CANE9V
| URI | m2://inv/B9C1CANE9V |
|---|---|
| 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#8GTZ, Refined saturated optimization (statement). In N6GD8392QB/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
Table of powers B9C3PVEPVN
| URI | m2://inv/B9C3PVEPVN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentiation#05EH, Table of powers (unknown)
History
- 2026-11-02: add by m2/dev
Fat object B9C5973CEX
| URI | m2://inv/B9C5973CEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fat object (geometry), Fat object (definition). Also Wikidata Q17013274
History
- 2026-11-02: add by m2/dev
Case C B9CDHJT8RS
| URI | m2://inv/B9CDHJT8RS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27136#PYV2, Case C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Diagnostic transport B9CGS55GZ8
| URI | m2://inv/B9CGS55GZ8 |
|---|---|
| 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.10793#TKUC, Diagnostic transport (statement). In BSCKJRHJDT/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.3
Riemann–Hurwitz formula B9CJGMC4MX
| URI | m2://inv/B9CJGMC4MX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Roch theorem#2AI4, Riemann–Hurwitz formula (statement)
History
- 2026-11-02: add by m2/dev
B9CMQFQPWS B9CMQFQPWS
| URI | m2://inv/B9CMQFQPWS |
|---|---|
| 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.32233#1DG6 (statement). In V42PPD7SWH/e1, lemma 4.6
History
- 2026-10-31: add by m2/v0.5.6
B9CN07H5VE B9CN07H5VE
| URI | m2://inv/B9CN07H5VE |
|---|---|
| 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 2610.08935#M99X (definition). In G02N9D40B9/e1, definition 2.1.4
History
- 2026-10-29: add by m2/v0.4.10
Pasting Lemma for $\star$-relative trisections B9CQC7CC39
| URI | m2://inv/B9CQC7CC39 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1911.06467#3TR5, Pasting Lemma for $\star$-relative trisections (statement). In G35G1NJKBX/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
B9CY66XDM8 B9CY66XDM8
| URI | m2://inv/B9CY66XDM8 |
|---|---|
| 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.17677#IAG1 (statement). In 5E9G06XJKC/e1, lemma F.30
History
- 2026-10-28: add by m2/v0.4.2
B9D5HT1YMW B9D5HT1YMW
| URI | m2://inv/B9D5HT1YMW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
B9D6QNZ8NB B9D6QNZ8NB
| URI | m2://inv/B9D6QNZ8NB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29107#04XF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Countersignaling B9D78CX710
| URI | m2://inv/B9D78CX710 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countersignaling, Countersignaling (definition). Also Wikidata Q5177030
History
- 2026-11-02: add by m2/dev
B9D8G2XZNQ B9D8G2XZNQ
| URI | m2://inv/B9D8G2XZNQ |
|---|---|
| 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.30685#E3XP (statement). In WNNNWV7741/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Definition B9DEHAW2EN
| URI | m2://inv/B9DEHAW2EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foliation#FDLY, Definition (definition)
History
- 2026-11-02: add by m2/dev
B9DEZ9XCBM B9DEZ9XCBM
| URI | m2://inv/B9DEZ9XCBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.29712#3F2K (statement)
History
- 2026-11-01: add by m2/v0.6.15
Arie Bialostocki B9DHSYHBKG
| URI | m2://inv/B9DHSYHBKG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arie Bialostocki, Arie Bialostocki (topic). Also Wikidata Q102196016
History
- 2026-11-02: add by m2/dev
B9DNHS74E8 B9DNHS74E8
| URI | m2://inv/B9DNHS74E8 |
|---|---|
| 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.10233#KX2F (statement). In QR9WE79ERQ/e1, lemma C.4
History
- 2026-10-29: add by m2/v0.4.10
B9DS9YCGHK B9DS9YCGHK
| URI | m2://inv/B9DS9YCGHK |
|---|---|
| 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.33050#I8OS (statement). In VDSBMQ0G9W/e1, proposition 5.10
History
- 2026-10-30: add by m2/v0.4.12
B9DTZA79K6 B9DTZA79K6
| URI | m2://inv/B9DTZA79K6 |
|---|---|
| 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.20376#TV35 (definition). In DGTCGQX6YZ/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
Properties B9DWWY31FF
| URI | m2://inv/B9DWWY31FF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presheaf (category theory)#M37H, Properties (statement)
History
- 2026-11-02: add by m2/dev
Malfatti problem B9E1RE8NQH
| URI | m2://inv/B9E1RE8NQH |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3922308, Malfatti problem (problem). Also MathWorld MalfattisProblem
History
- 2026-10-26: add by m2/dev
Quotients and products don't necessarily cancel B9E7W05R03
| URI | m2://inv/B9E7W05R03 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#example-9, Quotients and products don't necessarily cancel (example). In RZP28ERRZV, example, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Configuration B9EDG48XNV
| URI | m2://inv/B9EDG48XNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Configuration (polytope), Configuration (definition). Also Wikidata Q49001005
History
- 2026-11-02: add by m2/dev
B9EDZ3C19B B9EDZ3C19B
| URI | m2://inv/B9EDZ3C19B |
|---|---|
| Kind | statement |
| 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.24593#Z5JE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extension B9EEZ945VB
| URI | m2://inv/B9EEZ945VB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential range#URDL, Extension (statement)
History
- 2026-11-02: add by m2/dev
Relation to the principle of non-contradiction B9EFC0JA55
| URI | m2://inv/B9EFC0JA55 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reductio ad absurdum#QXBD, Relation to the principle of non-contradiction (statement)
History
- 2026-11-02: add by m2/dev
Pseudogamma function B9EFDCF30F
| URI | m2://inv/B9EFDCF30F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudogamma function, Pseudogamma function (definition). Also Wikidata Q117336328
History
- 2026-11-02: add by m2/dev
Abraham Adelstein B9EG4NWR23
| URI | m2://inv/B9EG4NWR23 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AWW8, Abraham Adelstein (topic)
History
- 2026-11-02: add by m2/dev
heterogeneous equality B9EGNXPS4Z
| URI | m2://inv/B9EGNXPS4Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/heterogeneous-equality, heterogeneous equality (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Truncated mean B9EMNNTEN3
| URI | m2://inv/B9EMNNTEN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated mean, Truncated mean (definition). Also Wikidata Q32278
History
- 2026-11-02: add by m2/dev
B9EMXBJGZQ B9EMXBJGZQ
| URI | m2://inv/B9EMXBJGZQ |
|---|---|
| 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.16875#CTPT (statement). In KS30K5JXGB/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
B9F2YQ0KFW B9F2YQ0KFW
| URI | m2://inv/B9F2YQ0KFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#ZGJE (statement). In GM3S19KFDH/e1, corollary 3.10
History
- 2026-10-30: add by m2/v0.4.12
Example B9F9AVZB3V
| URI | m2://inv/B9F9AVZB3V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model checking#PAEF, Example (example)
History
- 2026-11-02: add by m2/dev
Applications B9FAH2P43X
| URI | m2://inv/B9FAH2P43X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet's test#KVQT, Applications (example)
History
- 2026-11-02: add by m2/dev
Politics and law B9FBB37ZDR
| URI | m2://inv/B9FBB37ZDR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigour#MPQC, Politics and law (statement)
History
- 2026-11-02: add by m2/dev
Mikhail Kopelman B9FD6KZZ89
| URI | m2://inv/B9FD6KZZ89 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#5WZ6, Mikhail Kopelman (unknown)
History
- 2026-11-02: add by m2/dev
B9FMPEM6CD B9FMPEM6CD
| URI | m2://inv/B9FMPEM6CD |
|---|---|
| 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 0809.4587#W82G (statement). In KQ8JPHDKKE/e1, proposition 9.8.7
History
- 2026-10-27: add by m2/v0.3.5
Kenny Washington B9FPE5155V
| URI | m2://inv/B9FPE5155V |
|---|---|
| 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#6NFD, Kenny Washington (unknown)
History
- 2026-11-02: add by m2/dev
B9FVB4QK0C B9FVB4QK0C
| URI | m2://inv/B9FVB4QK0C |
|---|---|
| Kind | definition |
| 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.06045#FYYD (definition). In SVKM0852RJ/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.10
Definition B9FW1XEXQ0
| URI | m2://inv/B9FW1XEXQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-covariance matrix#21J1, Definition (definition)
History
- 2026-11-02: add by m2/dev
B9FX8NAE4Q B9FX8NAE4Q
| URI | m2://inv/B9FX8NAE4Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09333#F61W (definition). In Z9HC1EDTQP/e1, definition 3.7
History
- 2026-10-29: add by m2/v0.4.10
B9FXBCM487 B9FXBCM487
| URI | m2://inv/B9FXBCM487 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21388#J1I4 (example). In 3X4E9KSVWV/e1, example 3.7
History
- 2026-10-27: add by m2/v0.4.2
Circolo Matematico di Palermo B9G18P4VHK
| URI | m2://inv/B9G18P4VHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#SQWY, Circolo Matematico di Palermo (definition)
History
- 2026-11-02: add by m2/dev
Regular cores with smooth local coefficients B9G20EA1X0
| URI | m2://inv/B9G20EA1X0 |
|---|---|
| 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.20042#DWA2, Regular cores with smooth local coefficients (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples B9G6EV6BQX
| URI | m2://inv/B9G6EV6BQX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohomological dimension#9MAV, Examples (example)
History
- 2026-11-02: add by m2/dev
B9G8S9TH86 B9G8S9TH86
| URI | m2://inv/B9G8S9TH86 |
|---|---|
| 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.30565#D0JW (statement). In TP0R6GK9AX/e1, proposition 2
History
- 2026-10-31: add by m2/v0.5.6
Definitions B9GQ15P077
| URI | m2://inv/B9GQ15P077 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class formation#EK9F, Definitions (definition)
History
- 2026-11-02: add by m2/dev
B9GS0XJ4Y4 B9GS0XJ4Y4
| URI | m2://inv/B9GS0XJ4Y4 |
|---|---|
| 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.26813#9BQX (statement)
History
- 2026-11-01: add by m2/v0.6.15
B9GTB66CWS B9GTB66CWS
| URI | m2://inv/B9GTB66CWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.34193#OTV1 (statement). In 9XMZTTSF5E/e1, theorem A.2
History
- 2026-10-30: add by m2/v0.4.12
The affine-state invariant B9GV7Q51T0
| URI | m2://inv/B9GV7Q51T0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#GWCE, The affine-state invariant (statement). In ZZER8ZBSCR/e1, lemma 6.7
History
- 2026-10-29: add by m2/v0.4.12
B9GVAYAYQJ B9GVAYAYQJ
| URI | m2://inv/B9GVAYAYQJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03138#LXTR (example). In P5SY7AVP5E/e1, example 4.2
History
- 2026-10-29: add by m2/v0.4.12
B9H1A8FPP0 B9H1A8FPP0
| URI | m2://inv/B9H1A8FPP0 |
|---|---|
| Kind | definition |
| 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 1712.02437#TVAY (definition). In GZDFK652T9/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
B9H4H8A982 B9H4H8A982
| URI | m2://inv/B9H4H8A982 |
|---|---|
| Kind | example |
| 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.13734#LZA4 (example). In XB23QP7GK9/e1, example 3.9
History
- 2026-10-28: add by m2/v0.4.2
B9H6B5Q8EA B9H6B5Q8EA
| URI | m2://inv/B9H6B5Q8EA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20242#7118 (statement). In TAX627CRH2/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.2
Properties B9H6EHREYF
| URI | m2://inv/B9H6EHREYF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norm (mathematics)#S9NG, Properties (statement)
History
- 2026-11-02: add by m2/dev
B9H6RFVEP6 B9H6RFVEP6
| URI | m2://inv/B9H6RFVEP6 |
|---|---|
| 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#319G (statement). In ZWS6Q4467X/e1, lemma D.6
History
- 2026-10-29: add by m2/v0.4.10
B9HBMN6DHS B9HBMN6DHS
| URI | m2://inv/B9HBMN6DHS |
|---|---|
| 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.08382#FCDP (statement). In GYMGDQS25R/e1, theorem 5.15
History
- 2026-10-29: add by m2/v0.4.10
Frobenius splitting B9HDZBM4R9
| URI | m2://inv/B9HDZBM4R9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius splitting, Frobenius splitting (definition). Also Wikidata Q5505103
History
- 2026-11-02: add by m2/dev
Contract curve B9HNBGR941
| URI | m2://inv/B9HNBGR941 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#BZK1, Contract curve (unknown)
History
- 2026-11-02: add by m2/dev
B9HT8BV60C B9HT8BV60C
| URI | m2://inv/B9HT8BV60C |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-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.07280#CXAF (problem). In 1FJKW4WGEN/e1, problem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Application B9HVB8QWNF
| URI | m2://inv/B9HVB8QWNF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Størmer number#PRQ6, Application (example)
History
- 2026-11-02: add by m2/dev
elongated pentagonal gyrocupolarotunda B9J2ND6S4N
| URI | m2://inv/B9J2ND6S4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2019077, elongated pentagonal gyrocupolarotunda (object). Also MathWorld ElongatedPentagonalGyrocupolarotunda
- wikipedia: Wikipedia Elongated pentagonal gyrocupolarotunda, Elongated pentagonal gyrocupolarotunda (definition). Also Wikidata Q2019077
History
- 2026-10-26: add by m2/dev
B9JBMVPE58 B9JBMVPE58
| URI | m2://inv/B9JBMVPE58 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-2 (proof). In E59CDZA4DP, proof, section 8.1.1
History
- 2026-11-01: add by m2/v0.6.13
B9JGGPP9NM B9JGGPP9NM
| URI | m2://inv/B9JGGPP9NM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25167#U1LI (example)
History
- 2026-11-01: add by m2/v0.6.15
B9JKCM67H7 B9JKCM67H7
| URI | m2://inv/B9JKCM67H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11800#CCZZ (statement). In 8TSZ2E32K3/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.3
Discrete exterior calculus B9JKYQG646
| URI | m2://inv/B9JKYQG646 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete exterior calculus, Discrete exterior calculus (definition). Also Wikidata Q5282048
History
- 2026-11-02: add by m2/dev
Pointwise approximation at each Chern--Simons bubble B9JQ7H3MN1
| URI | m2://inv/B9JQ7H3MN1 |
|---|---|
| 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.20042#4PTH, Pointwise approximation at each Chern--Simons bubble (statement)
History
- 2026-11-02: add by m2/v0.6.18
Graded smoothness dichotomy B9JVQWRGT0
| URI | m2://inv/B9JVQWRGT0 |
|---|---|
| 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#9H6K, Graded smoothness dichotomy (statement). In XDTM624YPE/e1, corollary 8.9
History
- 2026-10-27: add by m2/v0.4.2
Properties B9JVVT7S25
| URI | m2://inv/B9JVVT7S25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H topology#J9CX, Properties (statement)
History
- 2026-11-02: add by m2/dev
Wolfs B9JWW37T4M
| URI | m2://inv/B9JWW37T4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.26110#ER4R, Wolfs (statement)
History
- 2026-11-01: add by m2/v0.6.15
line of curvature B9K2CT9EQQ
| URI | m2://inv/B9K2CT9EQQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132444984, line of curvature (unknown). Also MathWorld LineofCurvature
History
- 2026-10-26: add by m2/dev
The Bell Curve B9K9166Q14
| URI | m2://inv/B9K9166Q14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Bell Curve, The Bell Curve (definition). Also Wikidata Q575800
History
- 2026-11-02: add by m2/dev
category, cocomplete B9KEXTPM5C
| URI | m2://inv/B9KEXTPM5C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.1/category-cocomplete, category, cocomplete (concept). In N54F33XE07, index, section C.1.1
History
- 2026-11-01: add by m2/v0.6.13
B9KFQ56TXP B9KFQ56TXP
| URI | m2://inv/B9KFQ56TXP |
|---|---|
| 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.11700#3MXI (statement). In RW9AZQ1YZ2/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.3
B9KH9NRH9E B9KH9NRH9E
| URI | m2://inv/B9KH9NRH9E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-2-7-3.xml#act-2-7-3 (exercise). In 907G4C4EJ1, activity, section 2.7.2
History
- 2026-11-01: add by m2/v0.6.13
B9KHGH6H1R B9KHGH6H1R
| URI | m2://inv/B9KHGH6H1R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38138#KZTV (definition). In G97FA99ZEF/e1, definition A.4
History
- 2026-10-30: add by m2/v0.4.12
B9KK17DF2H B9KK17DF2H
| URI | m2://inv/B9KK17DF2H |
|---|---|
| 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 2610.05193#8XGW (definition). In XDMM0KNNZ9/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.10
B9KRER8Q5X B9KRER8Q5X
| URI | m2://inv/B9KRER8Q5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.06621#MMJY (statement). In DB223AABTH/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Bimal Kumar Roy B9KRMYFV7M
| URI | m2://inv/B9KRMYFV7M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EUTK, Bimal Kumar Roy (unknown)
History
- 2026-11-02: add by m2/dev
B9KVAZTRAB B9KVAZTRAB
| URI | m2://inv/B9KVAZTRAB |
|---|---|
| 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.03050#ITJ6 (statement). In WXBRJN9PHQ/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.12
Local comparison at $D_4$ B9KVWT0YCP
| URI | m2://inv/B9KVWT0YCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.37615#EYY8, Local comparison at $D_4$ (statement). In T2B54J7121/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Emmanuel Carvallo B9KZBB003M
| URI | m2://inv/B9KZBB003M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emmanuel Carvallo, Emmanuel Carvallo (topic). Also Wikidata Q5373162
History
- 2026-11-02: add by m2/dev
B9M09R99WT B9M09R99WT
| URI | m2://inv/B9M09R99WT |
|---|---|
| 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.27689#OEN7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Limits of integration B9M36B7A22
| URI | m2://inv/B9M36B7A22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limits of integration, Limits of integration (definition). Also Wikidata Q6549573
History
- 2026-11-02: add by m2/dev
B9M3KTEPCA B9M3KTEPCA
| URI | m2://inv/B9M3KTEPCA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31858#93CE (definition). In QV16PHDXKJ/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Tape correction B9M5H8M1QF
| URI | m2://inv/B9M5H8M1QF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tape correction (surveying), Tape correction (definition). Also Wikidata Q7684499
History
- 2026-11-02: add by m2/dev
Piling-up lemma B9MA4E6MXX
| URI | m2://inv/B9MA4E6MXX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#HBPI, Piling-up lemma (statement)
History
- 2026-11-02: add by m2/dev
B9MCZGZNWG B9MCZGZNWG
| URI | m2://inv/B9MCZGZNWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.04325#S7X6 (statement). In 42XHT97E64/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
B9ME9A7EWS B9ME9A7EWS
| URI | m2://inv/B9ME9A7EWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#DR71 (statement). In WRE0P7V6Z3/e1, proposition 7.7
History
- 2026-10-30: add by m2/v0.4.12
Cynthia Vinzant B9MJCCA4FC
| URI | m2://inv/B9MJCCA4FC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cynthia Vinzant, Cynthia Vinzant (topic). Also Wikidata Q102379166
History
- 2026-11-02: add by m2/dev
Definitions B9MK7ZB4E2
| URI | m2://inv/B9MK7ZB4E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barrelled set#Z4Y8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Keith D. Cooper B9MPM0VNZE
| URI | m2://inv/B9MPM0VNZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PZUJ, Keith D. Cooper (unknown)
History
- 2026-11-02: add by m2/dev
Definition B9MWTPB9JD
| URI | m2://inv/B9MWTPB9JD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse gamma function#LL0K, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications B9N06Y3B99
| URI | m2://inv/B9N06Y3B99 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz rearrangement inequality#T4HS, Applications (example)
History
- 2026-11-02: add by m2/dev
Applications B9N8DA9NVC
| URI | m2://inv/B9N8DA9NVC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schuette–Nesbitt formula#FE5N, Applications (example)
History
- 2026-11-02: add by m2/dev
B9NECNQJKK B9NECNQJKK
| URI | m2://inv/B9NECNQJKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.20049#15KT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples B9NFEWYV5D
| URI | m2://inv/B9NFEWYV5D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antisymmetric tensor#NI0H, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties B9NHH6F8XV
| URI | m2://inv/B9NHH6F8XV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lipschitz continuity#ND11, Properties (statement)
History
- 2026-11-02: add by m2/dev
B9NPFDPGB2 B9NPFDPGB2
| URI | m2://inv/B9NPFDPGB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#ME4P (statement). In J99PFFJXPE/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.3.6
path B9NVK1ZPF0
| URI | m2://inv/B9NVK1ZPF0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/path, path (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
List of things named after Karl Weierstrass B9NWM4B4JE
| URI | m2://inv/B9NWM4B4JE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Karl Weierstrass, List of things named after Karl Weierstrass (topic). Also Wikidata Q6643302
History
- 2026-11-02: add by m2/dev
B9NYK5RQE8 B9NYK5RQE8
| URI | m2://inv/B9NYK5RQE8 |
|---|---|
| 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 2510.12502#X3RY (statement). In 3A4K47Y9F2/e1, theorem 4.20
History
- 2026-10-27: add by m2/v0.4.0
Robyn Dawes B9P2J1A3S2
| URI | m2://inv/B9P2J1A3S2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8YPZ, Robyn Dawes (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2HS4, Robyn Dawes (unknown)
History
- 2026-11-02: add by m2/dev
B9PNHDPS5Z B9PNHDPS5Z
| URI | m2://inv/B9PNHDPS5Z |
|---|---|
| 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.13916#QRGQ (statement). In JS2JSD0507/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
414 (number) B9PPQBCF6H
| URI | m2://inv/B9PPQBCF6H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#DCTE, 414 (number) (unknown)
History
- 2026-11-02: add by m2/dev
The spider and the fly problem B9PYTZPPD5
| URI | m2://inv/B9PYTZPPD5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60795722, The spider and the fly problem (problem). Also MathWorld SpiderandFlyProblem
- wikipedia: Wikipedia The spider and the fly problem, The spider and the fly problem (problem). Also Wikidata Q60795722
History
- 2026-10-26: add by m2/dev
B9Q22DJA3A B9Q22DJA3A
| URI | m2://inv/B9Q22DJA3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.00412#BBZW (statement). In APD8GE0E4F/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Sergey Fomin B9Q4Y56P42
| URI | m2://inv/B9Q4Y56P42 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UGR0, Sergey Fomin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NMG5, Sergey Fomin (topic)
History
- 2026-11-02: add by m2/dev
B9Q5783WS2 B9Q5783WS2
| URI | m2://inv/B9Q5783WS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.00617#M59D (statement). In K7505G10SS/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
B9QWW73QHP B9QWW73QHP
| URI | m2://inv/B9QWW73QHP |
|---|---|
| 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.34876#VMYE (statement). In XXQAW3ZBDF/e1, theorem 8.7
History
- 2026-10-30: add by m2/v0.4.12
Definition B9QX14X9AQ
| URI | m2://inv/B9QX14X9AQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum of a matrix#CG38, Definition (definition)
History
- 2026-11-02: add by m2/dev
B9QY0PJD44 B9QY0PJD44
| URI | m2://inv/B9QY0PJD44 |
|---|---|
| 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.32557#TXVB (statement). In 7MSKC957WD/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Split normal distribution B9QYH8BCVG
| URI | m2://inv/B9QYH8BCVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#I5WB, Split normal distribution (definition)
History
- 2026-11-02: add by m2/dev
Indifference price B9R9ZRW4JE
| URI | m2://inv/B9R9ZRW4JE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indifference price, Indifference price (definition). Also Wikidata Q17056200
History
- 2026-11-02: add by m2/dev
Yudell Luke B9RAEH0DSS
| URI | m2://inv/B9RAEH0DSS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#FN4L, Yudell Luke (topic)
History
- 2026-11-02: add by m2/dev
Sinkov statistic B9RFM5FZET
| URI | m2://inv/B9RFM5FZET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8H24, Sinkov statistic (definition)
History
- 2026-11-02: add by m2/dev
B9RGY4K2S3 B9RGY4K2S3
| URI | m2://inv/B9RGY4K2S3 |
|---|---|
| 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 2508.17181#NBCT (statement). In 2QR18WK8KH/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.6
Três de Maio B9RJ4M6ABP
| URI | m2://inv/B9RJ4M6ABP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#BN3Y, Três de Maio (unknown)
History
- 2026-11-02: add by m2/dev
Properties B9RMP834X2
| URI | m2://inv/B9RMP834X2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrally convex set#XQLG, Properties (statement)
History
- 2026-11-02: add by m2/dev
B9RNEW8HVB B9RNEW8HVB
| URI | m2://inv/B9RNEW8HVB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#XC1S (definition). In F5XF5VXTXY/e1, definition 2.11
History
- 2026-10-30: add by m2/v0.4.12
logical monism B9RQ5W4G99
| URI | m2://inv/B9RQ5W4G99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#20Y5, logical monism (definition)
History
- 2026-11-02: add by m2/dev
Clenshaw algorithm B9RT9NY04A
| URI | m2://inv/B9RT9NY04A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clenshaw algorithm, Clenshaw algorithm (definition). Also Wikidata Q1067155
History
- 2026-11-02: add by m2/dev
Definition (Harmonic function) B9S1CJ80WT
| URI | m2://inv/B9S1CJ80WT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain Monte Carlo#03JC, Definition (Harmonic function) (definition)
History
- 2026-11-02: add by m2/dev
Examples B9S8DAG80S
| URI | m2://inv/B9S8DAG80S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Univariate distribution#O2MP, Examples (example)
History
- 2026-11-02: add by m2/dev
Invariance B9SB3B79C3
| URI | m2://inv/B9SB3B79C3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13658#EU8Y, Invariance (statement). In R9BC934K3E/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
B9SGQF4YHQ B9SGQF4YHQ
| URI | m2://inv/B9SGQF4YHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12013#XS9N (statement). In 3V26T0265C/e1, theorem Theorem
History
- 2026-10-28: add by m2/v0.4.3
B9SWSCDPKW B9SWSCDPKW
| URI | m2://inv/B9SWSCDPKW |
|---|---|
| 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.03477#OIWH (statement). In GXN3D4G4HE/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.12
B9SZ0ZNKJD B9SZ0ZNKJD
| URI | m2://inv/B9SZ0ZNKJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#OAP7 (statement). In QG9ATXTKJ6/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
B9TBBEWDDX B9TBBEWDDX
| URI | m2://inv/B9TBBEWDDX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-23 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
B9TM9DXBR2 B9TM9DXBR2
| URI | m2://inv/B9TM9DXBR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25255#NJQU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Size bias for the binomial B9TZHVQ6HQ
| URI | m2://inv/B9TZHVQ6HQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26133#TCEO, Size bias for the binomial (statement)
History
- 2026-11-01: add by m2/v0.6.15
hexagonal pyramidal number B9V4VPH3JE
| URI | m2://inv/B9V4VPH3JE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1990975, hexagonal pyramidal number (object). Also OEIS A002412
History
- 2026-10-26: add by m2/dev
B9VED7AMVW B9VED7AMVW
| URI | m2://inv/B9VED7AMVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#XSAT (statement). In A1GWWGRXPA/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.4.2
quotient space B9VKV2WCS6
| URI | m2://inv/B9VKV2WCS6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > quotient space, quotient space (unknown). Also Mathlib Submodule.hasQuotient
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > quotient space, quotient space (unknown). Also Mathlib Submodule.hasQuotient
History
- 2026-10-26: add by m2/dev
Catuṣkoṭi B9VSFE47JH
| URI | m2://inv/B9VSFE47JH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catuṣkoṭi, Catuṣkoṭi (definition). Also Wikidata Q5054212
History
- 2026-11-02: add by m2/dev
B9VV7J9J19 B9VV7J9J19
| URI | m2://inv/B9VV7J9J19 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-116 (exercise). In E9HS8K3A52, exercise, section 5.10.4
History
- 2026-11-01: add by m2/v0.6.13
Variations B9VXKHDCBS
| URI | m2://inv/B9VXKHDCBS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted automaton#MY3V, Variations (statement)
History
- 2026-11-02: add by m2/dev
Arc Bound B9W6AVD9SX
| URI | m2://inv/B9W6AVD9SX |
|---|---|
| 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.12357#Z2CR, Arc Bound (statement). In 1F26AF81XP/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
B9WD3SE6PD B9WD3SE6PD
| URI | m2://inv/B9WD3SE6PD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.13734#XT4L (statement). In 7AXKHR4YB3/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.6
B9WH7YFHC4 B9WH7YFHC4
| URI | m2://inv/B9WH7YFHC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2609.20531#32MS (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties B9WK3HQQ0R
| URI | m2://inv/B9WK3HQQ0R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius strip#SAVU, Properties (statement)
History
- 2026-11-02: add by m2/dev
6₂ B9WNHYD2FR
| URI | m2://inv/B9WNHYD2FR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4642850, 6₂ (unknown). Also MathWorld MillerInstituteKnot
- wikipedia: Wikipedia 62 knot, 62 knot (definition). Also Wikidata Q4642850
History
- 2026-10-26: add by m2/dev
Matrix exponential B9WR07HRFG
| URI | m2://inv/B9WR07HRFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#CNRM, Matrix exponential (definition)
- wikipedia: Wikipedia List of exponential topics#5UTD, Matrix exponential (definition)
History
- 2026-11-02: add by m2/dev
Formulation of the conjecture B9WRBV3Y8B
| URI | m2://inv/B9WRBV3Y8B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian conjecture#A7QY, Formulation of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
1966 United Kingdom census B9WZH5H5QA
| URI | m2://inv/B9WZH5H5QA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1966 United Kingdom census, 1966 United Kingdom census (definition). Also Wikidata Q39046144
History
- 2026-11-02: add by m2/dev
B9X49MG83D B9X49MG83D
| URI | m2://inv/B9X49MG83D |
|---|---|
| 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.00312#4ZPJ (statement). In 41NFABHFXH/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
B9X5ACHPK1 B9X5ACHPK1
| URI | m2://inv/B9X5ACHPK1 |
|---|---|
| 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.28323#4TU2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
B9XA4K6QE2 B9XA4K6QE2
| URI | m2://inv/B9XA4K6QE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37580#BBG3 (statement). In WJQQBTDARA/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Luca Valerio B9XK27S6P2
| URI | m2://inv/B9XK27S6P2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luca Valerio, Luca Valerio (topic). Also Wikidata Q1094178
History
- 2026-11-02: add by m2/dev
Scheirer–Ray–Hare test B9XPV5BRRN
| URI | m2://inv/B9XPV5BRRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LDYC, Scheirer–Ray–Hare test (definition)
History
- 2026-11-02: add by m2/dev
B9XRPJ9RBF B9XRPJ9RBF
| URI | m2://inv/B9XRPJ9RBF |
|---|---|
| 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.21322#OYC4 (statement). In CNDA8DBEGD/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Representations B9XZJVT3P2
| URI | m2://inv/B9XZJVT3P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway group Co1#6Z5Y, Representations (definition)
History
- 2026-11-02: add by m2/dev
Generalizations of Pauli matrices B9Y0RD6F8V
| URI | m2://inv/B9Y0RD6F8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalizations of Pauli matrices, Generalizations of Pauli matrices (definition). Also Wikidata Q5532423
History
- 2026-11-02: add by m2/dev
Elongated triangular tiling B9Y8067J6A
| URI | m2://inv/B9Y8067J6A |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Euclidean uniform tilings#3P25, Elongated triangular tiling (object)
History
- 2026-11-02: add by m2/dev
B9Y8JJ4JBN B9Y8JJ4JBN
| URI | m2://inv/B9Y8JJ4JBN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#TJJ7 (definition). In G70Q2FB591/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Sudakov minoration under NA of magnitudes B9YEFGB545
| URI | m2://inv/B9YEFGB545 |
|---|---|
| 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.30525#NC38, Sudakov minoration under NA of magnitudes (statement). In CHEZQEACQG/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
B9YF5BCJWX B9YF5BCJWX
| URI | m2://inv/B9YF5BCJWX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
B9YJ46SX4C B9YJ46SX4C
| URI | m2://inv/B9YJ46SX4C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#P3VE (definition). In JXTG8KP95P/e1, definition 2.10
History
- 2026-10-30: add by m2/v0.4.12
Cathleen Synge Morawetz B9Z07FRZZP
| URI | m2://inv/B9Z07FRZZP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cathleen Synge Morawetz, Cathleen Synge Morawetz (topic). Also Wikidata Q450331
History
- 2026-11-02: add by m2/dev
Lemma B9Z45M95QT
| URI | m2://inv/B9Z45M95QT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorn's lemma#BT4Y, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Extension B9Z46ZRSFB
| URI | m2://inv/B9Z46ZRSFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clairaut's equation#UB5U, Extension (statement)
History
- 2026-11-02: add by m2/dev
B9Z7EDA2B6 B9Z7EDA2B6
| URI | m2://inv/B9Z7EDA2B6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-43 (exercise). In E59CDZA4DP, exercise, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
Lagrange property B9ZMD5E2BV
| URI | m2://inv/B9ZMD5E2BV |
|---|---|
| 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#2BBX, Lagrange property (definition)
History
- 2026-11-02: add by m2/dev
Properties B9ZR5MTGXC
| URI | m2://inv/B9ZR5MTGXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bol loop#Y7ZG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Staking (cryptocurrency) B9ZRHW5KN3
| URI | m2://inv/B9ZRHW5KN3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of stake#173V, Staking (cryptocurrency) (unknown)
History
- 2026-11-02: add by m2/dev
Erwin Kreyszig B9ZSFV7CVZ
| URI | m2://inv/B9ZSFV7CVZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erwin Kreyszig, Erwin Kreyszig (topic). Also Wikidata Q373081
History
- 2026-11-02: add by m2/dev
Anna Ushenina B9ZT5PA860
| URI | m2://inv/B9ZT5PA860 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#19D0, Anna Ushenina (unknown)
History
- 2026-11-02: add by m2/dev