Inventory rows CB
The cards of the rows of the inventory whose ids start with CB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
\bf Finite Maturity CB03N8S78X
| URI | m2://inv/CB03N8S78X |
|---|---|
| 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 2312.14445#DIRI, \bf Finite Maturity (statement). In V56MKF0KW2/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Properties CB0D9A13GE
| URI | m2://inv/CB0D9A13GE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection type discipline#M3QM, Properties (statement)
History
- 2026-11-02: add by m2/dev
De Bruijn and Erd\H{o}s CB0RXX74KM
| URI | m2://inv/CB0RXX74KM |
|---|---|
| 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.05067#9IDI, De Bruijn and Erd\H{o}s (statement). In 34BXY2SJ1X/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
break-even CB0TZ48KKP
| URI | m2://inv/CB0TZ48KKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q626990, break-even (definition). Also ProofWiki Definition:Break-Even_Point
History
- 2026-10-26: add by m2/dev
Intersection CB0XPS8XRW
| URI | m2://inv/CB0XPS8XRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection, Intersection (definition). Also Wikidata Q17141489
History
- 2026-11-02: add by m2/dev
Dragon curve CB13Q9PCMY
| URI | m2://inv/CB13Q9PCMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3P2O, Dragon curve (definition)
- wikipedia: Wikipedia List of curves#XGFQ, Dragon curve (definition)
History
- 2026-11-02: add by m2/dev
Building formulas from terms CB17CSWV2B
| URI | m2://inv/CB17CSWV2B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Term (logic)#IE5Y, Building formulas from terms (statement)
History
- 2026-11-02: add by m2/dev
CB1BKJS0Z5 CB1BKJS0Z5
| URI | m2://inv/CB1BKJS0Z5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#thm:logical form for cases (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
CB1FC08XCF CB1FC08XCF
| URI | m2://inv/CB1FC08XCF |
|---|---|
| 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.21472#UBNM (statement)
History
- 2026-11-02: add by m2/v0.6.18
Corrado De Concini CB1JFR3AH0
| URI | m2://inv/CB1JFR3AH0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#9MFU, Corrado De Concini (topic)
History
- 2026-11-02: add by m2/dev
absolute coequalizer CB1RXGEXMP
| URI | m2://inv/CB1RXGEXMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141189906, absolute coequalizer (unknown). Also nLab absolute coequalizer
History
- 2026-10-26: add by m2/dev
square antiprism CB1Y44GMZX
| URI | m2://inv/CB1Y44GMZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1154761, square antiprism (unknown). Also MathWorld SquareAntiprism
- wikipedia: Wikipedia Square antiprism, Square antiprism (definition). Also Wikidata Q1154761
History
- 2026-10-26: add by m2/dev
CB210C8K7V CB210C8K7V
| URI | m2://inv/CB210C8K7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.13464#7FA0 (statement). In JPYGC2R3FC/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.6
Opticks, or a Treatise of the Reflections, Refractions, Inflections and Colours of Light CB28RGD31H
| URI | m2://inv/CB28RGD31H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q74263, Opticks, or a Treatise of the Reflections, Refractions, Inflections and Colours of Light (unknown). Also ProofWiki Book:Isaac_Newton/Opticks
History
- 2026-10-26: add by m2/dev
Deductive systems for first-order logic CB29J5VQ1P
| URI | m2://inv/CB29J5VQ1P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-order logic#3RQF, Deductive systems for first-order logic (unknown)
History
- 2026-11-02: add by m2/dev
Relationship with the axiom of choice CB2BJN4ANQ
| URI | m2://inv/CB2BJN4ANQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kőnig's lemma#128Q, Relationship with the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Patrick O'Neil CB2KT1FBK0
| URI | m2://inv/CB2KT1FBK0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4OA1, Patrick O'Neil (unknown)
History
- 2026-11-02: add by m2/dev
CB2RMPZRK4 CB2RMPZRK4
| URI | m2://inv/CB2RMPZRK4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08885#MTGA (definition). In B4RHB3CF12/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Belt transect CB2V927KYC
| URI | m2://inv/CB2V927KYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NYB1, Belt transect (definition)
History
- 2026-11-02: add by m2/dev
CB2XG6Z13F CB2XG6Z13F
| URI | m2://inv/CB2XG6Z13F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04895#BNO4 (statement). In A7M06ZVYA8/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
Residual Convergence Rate CB311BTRNH
| URI | m2://inv/CB311BTRNH |
|---|---|
| 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.10927#B25E, Residual Convergence Rate (statement). In DHEJP3YATV/e1, corollary 32
History
- 2026-10-28: add by m2/v0.4.3
Properties CB377D8YDD
| URI | m2://inv/CB377D8YDD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplacian matrix#FXQE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Inner accuracy, infeasibility, and proximal accuracy CB37S7NCNM
| URI | m2://inv/CB37S7NCNM |
|---|---|
| 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.34099#3ASV, Inner accuracy, infeasibility, and proximal accuracy (statement). In 4X2SAM9HR2/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Karma Dajani CB3B79DS3W
| URI | m2://inv/CB3B79DS3W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HXI0, Karma Dajani (topic)
History
- 2026-11-02: add by m2/dev
CB3E51S9JX CB3E51S9JX
| URI | m2://inv/CB3E51S9JX |
|---|---|
| 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 2601.15403#DJSG (statement). In BSWNH3NW1M/e1, proposition 10.7
History
- 2026-10-27: add by m2/v0.4.0
Quadratic programming CB3GCDJFAT
| URI | m2://inv/CB3GCDJFAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#1OR2, Quadratic programming (definition)
History
- 2026-11-02: add by m2/dev
Boundedness of dual SDE coefficients CB3HBCBMZV
| URI | m2://inv/CB3HBCBMZV |
|---|---|
| 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.30590#2YEO, Boundedness of dual SDE coefficients (statement). In WYE2JVEZBT/e1, lemma 3.8
History
- 2026-10-31: add by m2/v0.5.6
CB3N5TTT39 CB3N5TTT39
| URI | m2://inv/CB3N5TTT39 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#LN4O (statement)
History
- 2026-11-01: add by m2/v0.6.15
CB3P6QNW6B CB3P6QNW6B
| URI | m2://inv/CB3P6QNW6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.1307#97RC (statement). In TP09MNWY6B/e1, corollary 2.11
History
- 2026-10-27: add by m2/v0.3.5
CB3WKR9C7G CB3WKR9C7G
| URI | m2://inv/CB3WKR9C7G |
|---|---|
| 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.16258#CY89 (statement). In AZ6QMVKFHD/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Cartier identities and logarithmic criterion CB3X0Y40ZN
| URI | m2://inv/CB3X0Y40ZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#QB39, Cartier identities and logarithmic criterion (statement)
History
- 2026-11-02: add by m2/v0.6.18
Uniform asymptotic normality CB464V0YAT
| URI | m2://inv/CB464V0YAT |
|---|---|
| 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.38267#MQ74, Uniform asymptotic normality (statement). In 518V871EKW/e1, corollary 3.10
History
- 2026-10-30: add by m2/v0.4.12
N-body choreography CB47VGX6F8
| URI | m2://inv/CB47VGX6F8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-body choreography, N-body choreography (definition). Also Wikidata Q17104465
History
- 2026-11-02: add by m2/dev
Einhaus CB4D01EJEX
| URI | m2://inv/CB4D01EJEX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ZC2N, Einhaus (unknown)
History
- 2026-11-02: add by m2/dev
Kurt Johansson CB4G46MS0N
| URI | m2://inv/CB4G46MS0N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7XYN, Kurt Johansson (topic)
History
- 2026-11-02: add by m2/dev
Socle interpolation CB4JRNNBQR
| URI | m2://inv/CB4JRNNBQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#SD3E, Socle interpolation (statement). In Z7M2JSF6HA/e1, proposition 8.6
History
- 2026-10-31: add by m2/v0.5.6
CB4X8XC4CQ CB4X8XC4CQ
| URI | m2://inv/CB4X8XC4CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.13855#0AUY (statement). In GJKRVZ5YN5/e1, corollary 9
History
- 2026-10-27: add by m2/v0.3.5
Alexandrov angle CB507C7G1S
| URI | m2://inv/CB507C7G1S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#JKJU, Alexandrov angle (definition). In YXZX6Z8S6A/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
topological insulator CB5176SH2P
| URI | m2://inv/CB5176SH2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1488689, topological insulator (unknown). Also nLab topological insulator
- wikipedia: Wikipedia Topological insulator, Topological insulator (definition). Also Wikidata Q1488689
History
- 2026-10-26: add by m2/dev
CB51E134K4 CB51E134K4
| URI | m2://inv/CB51E134K4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#Q030 (statement). In RPC7VG3KHQ/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
CB58JAQ7QQ CB58JAQ7QQ
| URI | m2://inv/CB58JAQ7QQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#IPMR (statement). In X765ZXXVC3/e1, lemma 6.15
History
- 2026-10-29: add by m2/v0.4.12
CB5CB4PBZP CB5CB4PBZP
| URI | m2://inv/CB5CB4PBZP |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21191#SJ0L (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
fibrant replacement CB5CCKVKR1
| URI | m2://inv/CB5CCKVKR1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/fibrant-replacement, fibrant replacement (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Modified lognormal power-law distribution CB5H4GAHSJ
| URI | m2://inv/CB5H4GAHSJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modified lognormal power-law distribution, Modified lognormal power-law distribution (statement). Also Wikidata Q25304250
History
- 2026-11-02: add by m2/dev
CB5XFWQ7CE CB5XFWQ7CE
| URI | m2://inv/CB5XFWQ7CE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22306#HGYN (statement)
History
- 2026-11-02: add by m2/v0.6.17
CB5ZY350NZ CB5ZY350NZ
| URI | m2://inv/CB5ZY350NZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2008.10035#V31G (statement). In 29EH04FH4B/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Higher order derivative test CB6H9MY0C5
| URI | m2://inv/CB6H9MY0C5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative test#Y7BL, Higher order derivative test (unknown)
History
- 2026-11-02: add by m2/dev
Up-and-down design CB6JYKSMSN
| URI | m2://inv/CB6JYKSMSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Up-and-down design, Up-and-down design (definition). Also Wikidata Q65091333
History
- 2026-11-02: add by m2/dev
CB6P1MGE2J CB6P1MGE2J
| URI | m2://inv/CB6P1MGE2J |
|---|---|
| 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.06480#YUK2 (statement). In 2Y47E704Z9/e1, corollary 6.11
History
- 2026-10-29: add by m2/v0.4.10
CB6XK96K7Q CB6XK96K7Q
| URI | m2://inv/CB6XK96K7Q |
|---|---|
| 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.21600#QKDX (statement). In EGAXXGHQNK/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.2
CB728S8ZQ6 CB728S8ZQ6
| URI | m2://inv/CB728S8ZQ6 |
|---|---|
| Kind | definition |
| 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.13213#5K10 (definition). In V97F4YZ8B0/e1, definition 9.4
History
- 2026-10-28: add by m2/v0.4.2
Momentum CB733BQDSC
| URI | m2://inv/CB733BQDSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#HQOY, Momentum (definition)
History
- 2026-11-02: add by m2/dev
Witten zeta function CB73HGPS4B
| URI | m2://inv/CB73HGPS4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witten zeta function, Witten zeta function (definition). Also Wikidata Q8028564
History
- 2026-11-02: add by m2/dev
CB76120QQZ CB76120QQZ
| URI | m2://inv/CB76120QQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21047#JABM (statement)
History
- 2026-11-02: add by m2/v0.6.18
Joseph Bernstein CB78ESW683
| URI | m2://inv/CB78ESW683 |
|---|---|
| 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 Q370530, Joseph Bernstein (unknown). Also nLab Joseph Bernstein
- wikipedia: Wikipedia Joseph Bernstein, Joseph Bernstein (topic). Also Wikidata Q370530
History
- 2026-10-26: add by m2/dev
Definition and properties CB7AAF6QAB
| URI | m2://inv/CB7AAF6QAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solid angle#HAV2, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Polygon decomposition CB7BH5BGVZ
| URI | m2://inv/CB7BH5BGVZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#Z6BJ, Polygon decomposition (unknown)
History
- 2026-11-02: add by m2/dev
Law of the handicap of a head start CB7FGRX48R
| URI | m2://inv/CB7FGRX48R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of the handicap of a head start, Law of the handicap of a head start (statement). Also Wikidata Q3893451
History
- 2026-11-02: add by m2/dev
jitter CB7FXYHJVV
| URI | m2://inv/CB7FXYHJVV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1052698, jitter (unknown). Also MathWorld Jitter
History
- 2026-10-26: add by m2/dev
CB7H0SZZRP CB7H0SZZRP
| URI | m2://inv/CB7H0SZZRP |
|---|---|
| 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.15013#COUP (statement). In JB837X6D1Q/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Theory of Stochastic Processes CB7H17BPVJ
| URI | m2://inv/CB7H17BPVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#OI9F, Theory of Stochastic Processes (unknown)
History
- 2026-11-02: add by m2/dev
Common graph CB7RX64R5C
| URI | m2://inv/CB7RX64R5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Common graph, Common graph (definition). Also Wikidata Q112132167
History
- 2026-11-02: add by m2/dev
Space partitioning CB85V36PZD
| URI | m2://inv/CB85V36PZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#CG3W, Space partitioning (definition)
History
- 2026-11-02: add by m2/dev
CB85YCATVT CB85YCATVT
| URI | m2://inv/CB85YCATVT |
|---|---|
| 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.20422#B4V8 (statement). In HCH89W5Y2C/e1, fact
History
- 2026-10-27: add by m2/v0.4.2
CB886BCGWD CB886BCGWD
| URI | m2://inv/CB886BCGWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07546#29BN (statement). In H9YE46CGFN/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
CB8BJ26BY7 CB8BJ26BY7
| URI | m2://inv/CB8BJ26BY7 |
|---|---|
| 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.26357#2A6S (statement)
History
- 2026-11-01: add by m2/v0.6.15
General Definition CB8BR6D9BJ
| URI | m2://inv/CB8BR6D9BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional expectation#BSHE, General Definition (definition)
History
- 2026-11-02: add by m2/dev
Chester Snow CB8MW4FVVC
| URI | m2://inv/CB8MW4FVVC |
|---|---|
| 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#JHCU, Chester Snow (unknown)
History
- 2026-11-02: add by m2/dev
braiding CB9DEN6ZF4
| URI | m2://inv/CB9DEN6ZF4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43066161, braiding (unknown). Also nLab braiding
History
- 2026-10-26: add by m2/dev
List of things named after Richard Dedekind CB9MWAWRZ4
| URI | m2://inv/CB9MWAWRZ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind, List of things named after Richard Dedekind (topic). Also Wikidata Q6643304
History
- 2026-11-02: add by m2/dev
CB9PVW42ZS CB9PVW42ZS
| URI | m2://inv/CB9PVW42ZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30015#C0OE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coherent functor CB9R80YC1R
| URI | m2://inv/CB9R80YC1R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#3P0B, Coherent functor (definition). In HX63A1PH1W/e1, definition 6.43
History
- 2026-10-28: add by m2/v0.4.3
CB9SD9Z7WG CB9SD9Z7WG
| URI | m2://inv/CB9SD9Z7WG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/S5-decidable.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 51.6
History
- 2026-11-01: add by m2/v0.6.13
Cardan grille CB9VY4MMKB
| URI | m2://inv/CB9VY4MMKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardan grille, Cardan grille (definition). Also Wikidata Q225643
History
- 2026-11-02: add by m2/dev
CB9WV6VGK4 CB9WV6VGK4
| URI | m2://inv/CB9WV6VGK4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#0ZWL (example). In BDN507RN7J/e1, example 3.3.1
History
- 2026-10-30: add by m2/v0.4.12
Principle of maximum entropy CBA4HNC457
| URI | m2://inv/CBA4HNC457 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9K9O, Principle of maximum entropy (statement)
- wikipedia: Wikipedia List of probability topics#V19T, Principle of maximum entropy (statement)
History
- 2026-11-02: add by m2/dev
Generalizations CBAHWF9PCG
| URI | m2://inv/CBAHWF9PCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebra (structure)#H9QK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
CBAJ8RTY0W CBAJ8RTY0W
| URI | m2://inv/CBAJ8RTY0W |
|---|---|
| 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.30999#TVAJ (statement). In J1BWCKW2QK/e1, theorem 4.7
History
- 2026-10-31: add by m2/v0.5.6
Second derivative along a curve CBAM37R582
| URI | m2://inv/CBAM37R582 |
|---|---|
| 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.17004#VBE1, Second derivative along a curve (statement). In XNJGNMS6H0/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Principle CBAMT11SDA
| URI | m2://inv/CBAMT11SDA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KK thesis#I0Z8, Principle (statement)
History
- 2026-11-02: add by m2/dev
Gauss's Easter algorithm CBAS6K2B3W
| URI | m2://inv/CBAS6K2B3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#CQ3F, Gauss's Easter algorithm (unknown)
History
- 2026-11-02: add by m2/dev
CBATG8EKQ8 CBATG8EKQ8
| URI | m2://inv/CBATG8EKQ8 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#D9J2 (problem). In DG9TF5X0EG/e1, problem 1
History
- 2026-10-27: add by m2/v0.4.0
Generalization CBAWCZKVCW
| URI | m2://inv/CBAWCZKVCW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of coincidence#TQZN, Generalization (statement)
History
- 2026-11-02: add by m2/dev
CBB37KQJCA CBB37KQJCA
| URI | m2://inv/CBB37KQJCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#FNV6 (statement). In X47RYAZF8P/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
CBB439VKK3 CBB439VKK3
| URI | m2://inv/CBB439VKK3 |
|---|---|
| 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.19088#Q0E8 (definition). In 90QTB4CC31/e1, definition 3.8
History
- 2026-10-28: add by m2/v0.4.2
Bend minimization CBBD9GT9MH
| URI | m2://inv/CBBD9GT9MH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bend minimization, Bend minimization (definition). Also Wikidata Q18205503
History
- 2026-11-02: add by m2/dev
Alexander Gelfond CBBN2M9WH9
| URI | m2://inv/CBBN2M9WH9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#HZ9G, Alexander Gelfond (topic)
History
- 2026-11-02: add by m2/dev
AI poisoning CBBNZJ4HAM
| URI | m2://inv/CBBNZJ4HAM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adversarial machine learning#RWNG, AI poisoning (unknown)
History
- 2026-11-02: add by m2/dev
SIAM Fellow CBBWJR7BHJ
| URI | m2://inv/CBBWJR7BHJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Society for Industrial and Applied Mathematics#QVJX, SIAM Fellow (unknown)
History
- 2026-11-02: add by m2/dev
Statement of the theorem CBBX3KNN81
| URI | m2://inv/CBBX3KNN81 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holmström's theorem#R905, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
CBBXT90CMQ CBBXT90CMQ
| URI | m2://inv/CBBXT90CMQ |
|---|---|
| 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 2610.21675#QSFE (statement). In TB1294GY5X/e1, proposition 3.19
History
- 2026-10-27: add by m2/v0.4.2
CBBY2MXSHT CBBY2MXSHT
| URI | m2://inv/CBBY2MXSHT |
|---|---|
| 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 2411.05198#PXWW (statement). In NJWY6HPFHG/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
reflection principle CBBYHP9NPW
| URI | m2://inv/CBBYHP9NPW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7307249, reflection principle (unknown). Also nLab reflection principle
- wikipedia: Wikipedia Reflection principle, Reflection principle (statement). Also Wikidata Q7307249
History
- 2026-10-26: add by m2/dev
approximation property CBC58MJK9J
| URI | m2://inv/CBC58MJK9J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#3SX4, approximation property (definition)
History
- 2026-11-02: add by m2/dev
CBC5JA1NMH CBC5JA1NMH
| URI | m2://inv/CBC5JA1NMH |
|---|---|
| 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#5G22 (statement). In GM3S19KFDH/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Sharp Shnirelman's Inequality CBCH8MCS1X
| URI | m2://inv/CBCH8MCS1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31294#Z13G, Sharp Shnirelman's Inequality (statement). In 6GK9EJMWY4/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
Definitions CBCN7R1QWR
| URI | m2://inv/CBCN7R1QWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nash equilibrium#5LIO, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Phase-space formulation CBCR667227
| URI | m2://inv/CBCR667227 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase-space formulation, Phase-space formulation (definition). Also Wikidata Q7180966
History
- 2026-11-02: add by m2/dev
Fractional augmentation CBCR6D6VGC
| URI | m2://inv/CBCR6D6VGC |
|---|---|
| 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.24569#PKZC, Fractional augmentation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Functional S\'ark\"ozy CBD1CD4X2M
| URI | m2://inv/CBD1CD4X2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#I0A2, Functional S\'ark\"ozy (statement). In JBAQ7DTW7B/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
CBD1G2294A CBD1G2294A
| URI | m2://inv/CBD1G2294A |
|---|---|
| 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.16962#C159 (definition). In KJC9FRS3C2/e1, definition 9.1
History
- 2026-10-28: add by m2/v0.4.2
Metabiaugmented truncated dodecahedron CBD50HDH5R
| URI | m2://inv/CBD50HDH5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#V8G3, Metabiaugmented truncated dodecahedron (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#V0E7, Metabiaugmented truncated dodecahedron (definition)
History
- 2026-11-02: add by m2/dev
decreasing function CBD94QJ2A0
| URI | m2://inv/CBD94QJ2A0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3075231, decreasing function (unknown). Also MathWorld NonincreasingFunction
History
- 2026-10-26: add by m2/dev
Deviation CBDH11DYFS
| URI | m2://inv/CBDH11DYFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deviation (statistics), Deviation (definition). Also Wikidata Q849149
History
- 2026-11-02: add by m2/dev
Heavy-set alignment CBDKX3SC2F
| URI | m2://inv/CBDKX3SC2F |
|---|---|
| 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.37208#56ZS, Heavy-set alignment (statement). In 7MCBCP4T0B/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
Logarithmic integral function CBDKY3Y1XQ
| URI | m2://inv/CBDKY3Y1XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#E1LP, Logarithmic integral function (definition)
History
- 2026-11-02: add by m2/dev
Cyclotomic character CBDM6Z8ZR4
| URI | m2://inv/CBDM6Z8ZR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic character, Cyclotomic character (definition). Also Wikidata Q5199067
History
- 2026-11-02: add by m2/dev
N of 1 trial CBDR614E9P
| URI | m2://inv/CBDR614E9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9KVK, N of 1 trial (definition)
History
- 2026-11-02: add by m2/dev
Klaus Wilhelm Roggenkamp CBE1M43D2W
| URI | m2://inv/CBE1M43D2W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#85G5, Klaus Wilhelm Roggenkamp (topic)
History
- 2026-11-02: add by m2/dev
CBE2QAVH1W CBE2QAVH1W
| URI | m2://inv/CBE2QAVH1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35442#2Q90 (statement). In C6R0DAA279/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Rodrigues' formula CBE6E0F5HS
| URI | m2://inv/CBE6E0F5HS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rodrigues' formula, Rodrigues' formula (statement). Also Wikidata Q4491933
History
- 2026-11-02: add by m2/dev
Martyn Amos CBE7MZYNMQ
| URI | m2://inv/CBE7MZYNMQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IPHN, Martyn Amos (unknown)
History
- 2026-11-02: add by m2/dev
Pythagorean prime CBEC3NQCC7
| URI | m2://inv/CBEC3NQCC7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2654085, Pythagorean prime (object). Also OEIS A002144
- wikipedia: Wikipedia Pythagorean prime, Pythagorean prime (object). Also Wikidata Q2654085
History
- 2026-10-26: add by m2/dev
CBEDR45Q6J CBEDR45Q6J
| URI | m2://inv/CBEDR45Q6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22058#YKTO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Mark Kac CBEQNPNZNM
| URI | m2://inv/CBEQNPNZNM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#3YBN, Mark Kac (topic)
History
- 2026-11-02: add by m2/dev
Theorem CBETTXDDN3
| URI | m2://inv/CBETTXDDN3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatou's lemma#DFJG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
CBEVEF28N4 CBEVEF28N4
| URI | m2://inv/CBEVEF28N4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20385#TJZE (example). In 54HS9AHWPE/e1, example 1.6
History
- 2026-10-27: add by m2/v0.4.2
CBEY859BYM CBEY859BYM
| URI | m2://inv/CBEY859BYM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-261 (exercise). In VNMV985MXX, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
CBF558VWES CBF558VWES
| URI | m2://inv/CBF558VWES |
|---|---|
| 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.01796#8U09 (statement). In JC3PAB5DRC/e1, lemma 18
History
- 2026-10-29: add by m2/v0.4.12
Cercignani conjecture CBF6AMESQD
| URI | m2://inv/CBF6AMESQD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cercignani conjecture, Cercignani conjecture (statement). Also Wikidata Q56319970
History
- 2026-11-02: add by m2/dev
Nonlinear autoregressive exogenous model CBF7ECVXFY
| URI | m2://inv/CBF7ECVXFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear autoregressive exogenous model, Nonlinear autoregressive exogenous model (definition). Also Wikidata Q7049462
History
- 2026-11-02: add by m2/dev
Local internal block frame CBFBWN108M
| URI | m2://inv/CBFBWN108M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#0NBP, Local internal block frame (definition). In N06J7GC05Q/e1, definition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Cecil J. Nesbitt CBFPXQVHTT
| URI | m2://inv/CBFPXQVHTT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#FGC7, Cecil J. Nesbitt (topic)
History
- 2026-11-02: add by m2/dev
Superelement CBFQQ203HH
| URI | m2://inv/CBFQQ203HH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superelement, Superelement (definition). Also Wikidata Q7643266
History
- 2026-11-02: add by m2/dev
Statement CBFRVSRXYC
| URI | m2://inv/CBFRVSRXYC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tits alternative#PJTE, Statement (statement)
History
- 2026-11-02: add by m2/dev
Lattice model CBFSGT7BGH
| URI | m2://inv/CBFSGT7BGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice model (physics), Lattice model (definition). Also Wikidata Q4394145
History
- 2026-11-02: add by m2/dev
Nadel vanishing theorem CBG3HJZWNY
| URI | m2://inv/CBG3HJZWNY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nadel vanishing theorem, Nadel vanishing theorem (statement). Also Wikidata Q127790922
History
- 2026-11-02: add by m2/dev
Long Tail CBG6RYZ6HZ
| URI | m2://inv/CBG6RYZ6HZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3JFT, Long Tail (definition)
History
- 2026-11-02: add by m2/dev
Five Forks, Ritchie County, West Virginia CBGA45V921
| URI | m2://inv/CBGA45V921 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OY84, Five Forks, Ritchie County, West Virginia (unknown)
History
- 2026-11-02: add by m2/dev
Harris, Ted CBGGT8PJQ1
| URI | m2://inv/CBGGT8PJQ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#AXIR, Harris, Ted (topic)
History
- 2026-11-02: add by m2/dev
Terminology CBGHE8YRKB
| URI | m2://inv/CBGHE8YRKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph embedding#4KIV, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Quadratic eigenvalue problem CBGJKC2DZ7
| URI | m2://inv/CBGJKC2DZ7 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic eigenvalue problem, Quadratic eigenvalue problem (problem). Also Wikidata Q7268359
History
- 2026-11-02: add by m2/dev
CBGJZSTNMZ CBGJZSTNMZ
| URI | m2://inv/CBGJZSTNMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#9BCI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Numerical methods for partial differential equations CBGP4RBC5T
| URI | m2://inv/CBGP4RBC5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical methods for partial differential equations, Numerical methods for partial differential equations (definition). Also Wikidata Q7069659
History
- 2026-11-02: add by m2/dev
alternating series CBGSA1A957
| URI | m2://inv/CBGSA1A957 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Numerical series > alternating series, alternating series (unknown). Also Mathlib Antitone.tendsto_alternating_series_of_tendsto_zero
History
- 2026-10-26: add by m2/dev
CBH13FYFGQ CBH13FYFGQ
| URI | m2://inv/CBH13FYFGQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#TRX0 (statement). In HH35K7S17H/e1, corollary 4.22
History
- 2026-10-29: add by m2/v0.4.10
Chain rule CBH369R9G7
| URI | m2://inv/CBH369R9G7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/multivar.tex#sproblem-1, Chain rule (exercise). In RZP28ERRZV, sproblem, section 45.5
History
- 2026-11-01: add by m2/v0.6.13
Greendlinger's lemma CBH5EW0ABX
| URI | m2://inv/CBH5EW0ABX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small cancellation theory#LVZQ, Greendlinger's lemma (statement)
History
- 2026-11-02: add by m2/dev
Hannah Bast CBH8FY5DF1
| URI | m2://inv/CBH8FY5DF1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4M02, Hannah Bast (unknown)
History
- 2026-11-02: add by m2/dev
CBHA0XS7A5 CBHA0XS7A5
| URI | m2://inv/CBHA0XS7A5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#SJ7E (statement). In 9B0X8YPF3P/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.2
CBHBCEHJN9 CBHBCEHJN9
| URI | m2://inv/CBHBCEHJN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.12513#X2WA (statement). In VM9V8SXEA2/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
Algebra bundle CBHBDSC8V5
| URI | m2://inv/CBHBDSC8V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra bundle, Algebra bundle (definition). Also Wikidata Q4723973
History
- 2026-11-02: add by m2/dev
CBHG5M72FY CBHG5M72FY
| URI | m2://inv/CBHG5M72FY |
|---|---|
| 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 2601.18223#RM16 (statement). In ZRXE7EJA93/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.3.5
CBHJMPS4DR CBHJMPS4DR
| URI | m2://inv/CBHJMPS4DR |
|---|---|
| Kind | definition |
| 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.35323#1PIC (definition). In 5CKPXBWSCX/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
CBHMDBDZAM CBHMDBDZAM
| URI | m2://inv/CBHMDBDZAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22011#034X (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples CBHND20PGJ
| URI | m2://inv/CBHND20PGJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur-convex function#ERB6, Examples (example)
History
- 2026-11-02: add by m2/dev
Logic of graphs CBHNP7EFDC
| URI | m2://inv/CBHNP7EFDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#SEWJ, Logic of graphs (definition)
History
- 2026-11-02: add by m2/dev
Matias D. Cattaneo CBHRCHA61X
| URI | m2://inv/CBHRCHA61X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matias D. Cattaneo, Matias D. Cattaneo (topic). Also Wikidata Q102402469
History
- 2026-11-02: add by m2/dev
Toric stack CBHWZW3BWS
| URI | m2://inv/CBHWZW3BWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toric stack, Toric stack (definition). Also Wikidata Q25098755
History
- 2026-11-02: add by m2/dev
tetrahedron CBHXZADP8M
| URI | m2://inv/CBHXZADP8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#F5N4, tetrahedron (definition)
History
- 2026-11-02: add by m2/dev
Scagnostics CBHYAC9NES
| URI | m2://inv/CBHYAC9NES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scagnostics, Scagnostics (definition). Also Wikidata Q2228719
History
- 2026-11-02: add by m2/dev
CBJ6CCTGWG CBJ6CCTGWG
| URI | m2://inv/CBJ6CCTGWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25269#YQM7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Journal of Econometrics CBJ82SSV7Q
| URI | m2://inv/CBJ82SSV7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#EZKP, Journal of Econometrics (definition)
History
- 2026-11-02: add by m2/dev
Applications CBJ9KQ8YBD
| URI | m2://inv/CBJ9KQ8YBD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal conduction#XE8M, Applications (example)
History
- 2026-11-02: add by m2/dev
CBJ9VTMTNG CBJ9VTMTNG
| URI | m2://inv/CBJ9VTMTNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#theorem-8 (statement). In E9HS8K3A52, theorem, section 6.3.1
History
- 2026-11-01: add by m2/v0.6.13
CBJA3CMSZV CBJA3CMSZV
| URI | m2://inv/CBJA3CMSZV |
|---|---|
| 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 2211.13105#ORZC (statement). In 5ACPY6CEDV/e1, theorem 5.6
History
- 2026-10-27: add by m2/v0.3.5
One dip per line CBJEXZGHHV
| URI | m2://inv/CBJEXZGHHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#9XP4, One dip per line (statement). In 65TJENWK7X/e1, corollary 24
History
- 2026-10-29: add by m2/v0.4.10
Order embedding CBJKJBPHME
| URI | m2://inv/CBJKJBPHME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#IT76, Order embedding (definition)
History
- 2026-11-02: add by m2/dev
Deviatoric stress CBJPCBKXT6
| URI | m2://inv/CBJPCBKXT6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy stress tensor#EMBU, Deviatoric stress (unknown)
History
- 2026-11-02: add by m2/dev
Cartan–Weyl theory CBJS8V7Y5Y
| URI | m2://inv/CBJS8V7Y5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#6LZE, Cartan–Weyl theory (definition)
History
- 2026-11-02: add by m2/dev
Alternative definitions CBK2VYK8DP
| URI | m2://inv/CBK2VYK8DP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rise time#9FGD, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
Examples CBK35QNVWK
| URI | m2://inv/CBK35QNVWK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brocard's conjecture#XO5Q, Examples (example)
History
- 2026-11-02: add by m2/dev
$H^1$ estimate for $\P$ CBK6060TK9
| URI | m2://inv/CBK6060TK9 |
|---|---|
| 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.08434#ANCH, $H^1$ estimate for $\P$ (statement). In VN8087G2FC/e1, lemma 8.3
History
- 2026-10-29: add by m2/v0.4.10
980 (number) CBK7HG8G0W
| URI | m2://inv/CBK7HG8G0W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 900 (number)#7SGY, 980 (number) (unknown)
History
- 2026-11-02: add by m2/dev
CBKBWGZ98A CBKBWGZ98A
| URI | m2://inv/CBKBWGZ98A |
|---|---|
| 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.39700#K6U3 (statement). In E7W2HDNEKJ/e1, theorem 5.6
History
- 2026-10-30: add by m2/v0.4.12
CBKEE3WQ4H CBKEE3WQ4H
| URI | m2://inv/CBKEE3WQ4H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35442#USBI (definition). In C6R0DAA279/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
Derived unique key per transaction CBKFRSAVP1
| URI | m2://inv/CBKFRSAVP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived unique key per transaction, Derived unique key per transaction (definition). Also Wikidata Q5262632
History
- 2026-11-02: add by m2/dev
Data in Use CBKH6C6W9K
| URI | m2://inv/CBKH6C6W9K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital data#U55A, Data in Use (unknown)
History
- 2026-11-02: add by m2/dev
CBKKSTTTZ8 CBKKSTTTZ8
| URI | m2://inv/CBKKSTTTZ8 |
|---|---|
| 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.21715#FKG9 (statement). In QW0SV5D6MQ/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
CBKM51SHGJ CBKM51SHGJ
| URI | m2://inv/CBKM51SHGJ |
|---|---|
| Kind | example |
| 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 1903.07030#ZCB3 (example). In 9H45HQE7AZ/e1, example 8.7
History
- 2026-10-27: add by m2/v0.3.5
CBKX6NNFV7 CBKX6NNFV7
| URI | m2://inv/CBKX6NNFV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.10697#RNZP (statement). In WN2Z20ZV49/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.6
Properties CBM0S0S0EJ
| URI | m2://inv/CBM0S0S0EJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite von Neumann algebra#3MNT, Properties (statement)
History
- 2026-11-02: add by m2/dev
CBM6TGSJ20 CBM6TGSJ20
| URI | m2://inv/CBM6TGSJ20 |
|---|---|
| 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.18277#Z7PY (statement). In YFRNY7S92A/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Flag slope CBMBG8YF5A
| URI | m2://inv/CBMBG8YF5A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#OZN4, Flag slope (definition). In 7MVPNFPRKB/e1, definition 8.4
History
- 2026-10-30: add by m2/v0.4.12
CBMDSFVDC9 CBMDSFVDC9
| URI | m2://inv/CBMDSFVDC9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 17.7
History
- 2026-11-01: add by m2/v0.6.13
Failure of blow-up invariance CBMQ061X6C
| URI | m2://inv/CBMQ061X6C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#5DY9, Failure of blow-up invariance (example). In 1QPAA94Q76/e1, example 5
History
- 2026-10-28: add by m2/v0.4.2
CBMXH926VA CBMXH926VA
| URI | m2://inv/CBMXH926VA |
|---|---|
| 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 2503.22636#T6EP (statement). In 2X2A6MT0QD/e1, corollary 5.20
History
- 2026-10-27: add by m2/v0.3.5
Simpson's rule CBN0SM1Q58
| URI | m2://inv/CBN0SM1Q58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#U5XF, Simpson's rule (definition)
- wikipedia: Wikipedia List of calculus topics#TBYQ, Simpson's rule (definition)
History
- 2026-11-02: add by m2/dev
Low regularity Randers metrics CBN6DN700F
| URI | m2://inv/CBN6DN700F |
|---|---|
| Kind | example |
| 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 2610.11911#433V, Low regularity Randers metrics (example). In 5BYE5NYB89/e1, example 2.5
History
- 2026-10-28: add by m2/v0.4.3
Yvette Kosmann-Schwarzbach CBNEVDWAQE
| URI | m2://inv/CBNEVDWAQE |
|---|---|
| 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 Q6506935, Yvette Kosmann-Schwarzbach (unknown). Also nLab Yvette Kosmann-Schwarzbach
- wikipedia: Wikipedia Yvette Kosmann-Schwarzbach, Yvette Kosmann-Schwarzbach (topic). Also Wikidata Q6506935
History
- 2026-10-26: add by m2/dev
Correlation and dependence CBNNMASKVD
| URI | m2://inv/CBNNMASKVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6XOU, Correlation and dependence (definition)
History
- 2026-11-02: add by m2/dev
optimality of $A(\theta)$ CBNQJQ6190
| URI | m2://inv/CBNQJQ6190 |
|---|---|
| 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 2210.06147#HTB2, optimality of $A(\theta)$ (statement). In 94RBNQA07A/e1, proposition 5.29
History
- 2026-10-27: add by m2/v0.3.5
Fold CBNT457RVE
| URI | m2://inv/CBNT457RVE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#G84R, Fold (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations CBNYNZRWE1
| URI | m2://inv/CBNYNZRWE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric median#5WT9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Wrapped Lévy distribution CBP12JT97D
| URI | m2://inv/CBP12JT97D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2PON, Wrapped Lévy distribution (definition)
History
- 2026-11-02: add by m2/dev
CBP44JW1Q9 CBP44JW1Q9
| URI | m2://inv/CBP44JW1Q9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-16 (proof). In N54F33XE07, proof, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Examples CBP8DSXTW7
| URI | m2://inv/CBP8DSXTW7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral risk measure#NQIS, Examples (example)
History
- 2026-11-02: add by m2/dev
CBP91EXHCK CBP91EXHCK
| URI | m2://inv/CBP91EXHCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17669#AP2I (statement). In RAWXJ72WWA/e1, theorem Theorem
History
- 2026-10-28: add by m2/v0.4.2
Definitions CBPF4B4S9V
| URI | m2://inv/CBPF4B4S9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conical surface#IM85, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Definition CBPFQ5WH3X
| URI | m2://inv/CBPFQ5WH3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic exponential function#PDIE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Transitivity CBPT37E1EG
| URI | m2://inv/CBPT37E1EG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#prop:transitivity, Transitivity (statement). In PKGMM3P5QY, prop, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Hermitian connection CBQ3BG5TTC
| URI | m2://inv/CBQ3BG5TTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#O7VZ, Hermitian connection (definition)
History
- 2026-11-02: add by m2/dev
Definition CBQ58TCX6Y
| URI | m2://inv/CBQ58TCX6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root datum#YW25, Definition (definition)
History
- 2026-11-02: add by m2/dev
CBQ639D8NC CBQ639D8NC
| URI | m2://inv/CBQ639D8NC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39990#NEME (statement). In SH78APY2T8/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
CBQ6DPR7AC CBQ6DPR7AC
| URI | m2://inv/CBQ6DPR7AC |
|---|---|
| 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 1002.0879#GBQ9 (statement). In M0SQY5EZN5/e1, theorem 1.5.5
History
- 2026-10-27: add by m2/v0.3.5
Non-Borel set CBQ6HAP3VM
| URI | m2://inv/CBQ6HAP3VM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel set#HYYO, Non-Borel set (unknown)
History
- 2026-11-02: add by m2/dev
Feynman diagram CBQ8NBTR6Q
| URI | m2://inv/CBQ8NBTR6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#L9XM, Feynman diagram (definition)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#AKCA, Feynman diagram (definition)
History
- 2026-11-02: add by m2/dev
Alternate hypothesis CBQATQH60F
| URI | m2://inv/CBQATQH60F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical hypothesis test#1MRS, Alternate hypothesis (unknown)
History
- 2026-11-02: add by m2/dev
CBQBJAVZY1 CBQBJAVZY1
| URI | m2://inv/CBQBJAVZY1 |
|---|---|
| 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.17691#R73Y (statement). In AT8VD3XB8M/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
CBQCX0TMKQ CBQCX0TMKQ
| URI | m2://inv/CBQCX0TMKQ |
|---|---|
| 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.18632#UI07 (statement). In PTM5MVD4M0/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Matilde Sanchez-Kam CBQG8MFT3W
| URI | m2://inv/CBQG8MFT3W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matilde Sanchez-Kam, Matilde Sanchez-Kam (topic). Also Wikidata Q107488308
History
- 2026-11-02: add by m2/dev
CBQH84JXPT CBQH84JXPT
| URI | m2://inv/CBQH84JXPT |
|---|---|
| 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 2006.12475#SPTI (statement). In 8YWBGQQGA3/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Endomoon CBQN0NS5SS
| URI | m2://inv/CBQN0NS5SS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shell theorem#9UG4, Endomoon (unknown)
History
- 2026-11-02: add by m2/dev
CBQV4C6B08 CBQV4C6B08
| URI | m2://inv/CBQV4C6B08 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia New digraph reconstruction conjecture#86S4 (problem)
History
- 2026-11-02: add by m2/dev
Clean containers CBQVBM505N
| URI | m2://inv/CBQVBM505N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09162#AQO5, Clean containers (definition). In TAPS8P2VYS/e1, definition 1.20
History
- 2026-10-29: add by m2/v0.4.10
CBQWGMPBPR CBQWGMPBPR
| URI | m2://inv/CBQWGMPBPR |
|---|---|
| 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.15176#O56V (statement). In RKV0144CGA/e1, proposition 10.1
History
- 2026-10-28: add by m2/v0.4.2
Asymmetry CBR1FD64K9
| URI | m2://inv/CBR1FD64K9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/special-properties.tex#defn-7, Asymmetry (definition). In PKGMM3P5QY, defn, section 82.1
History
- 2026-11-01: add by m2/v0.6.13
Lambert's law CBR1ZGZTRJ
| URI | m2://inv/CBR1ZGZTRJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karel Lambert#6NG8, Lambert's law (statement)
History
- 2026-11-02: add by m2/dev
Grigori Perelman CBR3DYPTXF
| URI | m2://inv/CBR3DYPTXF |
|---|---|
| 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 Q117346, Grigori Perelman (unknown). Also nLab Grigori Perelman
- wikipedia: Wikipedia Grigori Perelman, Grigori Perelman (topic). Also Wikidata Q117346
History
- 2026-10-26: add by m2/dev
CBR5GA05A3 CBR5GA05A3
| URI | m2://inv/CBR5GA05A3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#D2T9 (statement). In 13GSWBXPCM/e1, theorem 4.10
History
- 2026-10-27: add by m2/v0.3.5
joint distribution CBR6GRRM8R
| URI | m2://inv/CBR6GRRM8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#UUYJ, joint distribution (definition)
History
- 2026-11-02: add by m2/dev
Applications CBR6X6HD0N
| URI | m2://inv/CBR6X6HD0N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection (mathematics)#JCVE, Applications (example)
History
- 2026-11-02: add by m2/dev
Klein bottle CBREDWVKC6
| URI | m2://inv/CBREDWVKC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#59IU, Klein bottle (definition)
- wikipedia: Wikipedia List of things named after Felix Klein#RQ9T, Klein bottle (definition)
- wikipedia: Wikipedia List of topologies#B5IX, Klein bottle (definition)
- wikipedia: Wikipedia List of surfaces#SEOO, Klein bottle (definition)
History
- 2026-11-02: add by m2/dev
$f$-diagonal tensor CBRF0TRFY6
| URI | m2://inv/CBRF0TRFY6 |
|---|---|
| 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 2505.04063#6FGW, $f$-diagonal tensor (definition). In TFH7T63DX9/e1, definition A.8
History
- 2026-10-27: add by m2/v0.3.5
Shape-memory alloy CBRFNRR48N
| URI | m2://inv/CBRFNRR48N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape-memory alloy, Shape-memory alloy (definition). Also Wikidata Q898455
History
- 2026-11-02: add by m2/dev
CBRJPBPVR9 CBRJPBPVR9
| URI | m2://inv/CBRJPBPVR9 |
|---|---|
| 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.23332#FH96 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Minor thirds tuning CBRVWCTQ7J
| URI | m2://inv/CBRVWCTQ7J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular tuning#EGXU, Minor thirds tuning (unknown)
History
- 2026-11-02: add by m2/dev
Properties CBRYSHVVT3
| URI | m2://inv/CBRYSHVVT3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observability Gramian#5JQV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition CBS1CBYK4E
| URI | m2://inv/CBS1CBYK4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epigraph (mathematics)#YXYL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition CBSBBWWXJJ
| URI | m2://inv/CBSBBWWXJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medoid#KUZ3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Aleksei Kapler CBSDVZG42Y
| URI | m2://inv/CBSDVZG42Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#CNZI, Aleksei Kapler (unknown)
History
- 2026-11-02: add by m2/dev
Uniqueness of the normalized $k$-optimal weight CBSFCPZKZW
| URI | m2://inv/CBSFCPZKZW |
|---|---|
| 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.21454#KQI2, Uniqueness of the normalized $k$-optimal weight (statement). In ZP2RJFZ3V2/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.4.2
Special case of the Ax-Katz Theorem CBSHTJEW98
| URI | m2://inv/CBSHTJEW98 |
|---|---|
| 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.01273#E7TN, Special case of the Ax-Katz Theorem (statement). In RAT41DDR51/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
Min-plus matrix multiplication CBSRGNXB1M
| URI | m2://inv/CBSRGNXB1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Min-plus matrix multiplication, Min-plus matrix multiplication (definition). Also Wikidata Q1936134
History
- 2026-11-02: add by m2/dev
group, permutation CBST96S3TD
| URI | m2://inv/CBST96S3TD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/15.2/group-permutation, group, permutation (concept). In QKM9DD2H56, index, section 15.2
History
- 2026-11-01: add by m2/v0.6.13
localization CBSWVC3M0H
| URI | m2://inv/CBSWVC3M0H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Rings > localization, localization (unknown). Also Mathlib Localization
History
- 2026-10-26: add by m2/dev
Cantor function CBSXS7SJZF
| URI | m2://inv/CBSXS7SJZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#W6GB, Cantor function (definition)
History
- 2026-11-02: add by m2/dev
CBT0919XBG CBT0919XBG
| URI | m2://inv/CBT0919XBG |
|---|---|
| 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.05506#KL6L (statement). In FT53PMB1TE/e1, lemma 3.3.1
History
- 2026-10-29: add by m2/v0.4.10
Intersection of the empty set CBT1T0NAHT
| URI | m2://inv/CBT1T0NAHT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection (set theory)#5MMX, Intersection of the empty set (unknown)
History
- 2026-11-02: add by m2/dev
reciprocal polynomial CBT2PMWH6F
| URI | m2://inv/CBT2PMWH6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1422356, reciprocal polynomial (unknown). Also MathWorld ReciprocalPolynomial
- wikipedia: Wikipedia Reciprocal polynomial, Reciprocal polynomial (definition). Also Wikidata Q1422356
History
- 2026-10-26: add by m2/dev
adjunction CBT4N89HK7
| URI | m2://inv/CBT4N89HK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#O0YX, adjunction (definition)
History
- 2026-11-02: add by m2/dev
Idiot code CBT57ZJT5D
| URI | m2://inv/CBT57ZJT5D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Code (cryptography)#T1DH, Idiot code (unknown)
History
- 2026-11-02: add by m2/dev
Remark CBT6GD3R6A
| URI | m2://inv/CBT6GD3R6A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of schemes#0PV0, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Carl Størmer CBTM06VRB9
| URI | m2://inv/CBTM06VRB9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#5OLT, Carl Størmer (topic)
History
- 2026-11-02: add by m2/dev
CBTRTSPG9K CBTRTSPG9K
| URI | m2://inv/CBTRTSPG9K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#0SOV (statement). In Q6HRJP4AWA/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
CBTZJ29BBF CBTZJ29BBF
| URI | m2://inv/CBTZJ29BBF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19194#280C (definition). In P9D8W64P7X/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
paradox of denotation CBV4C5ZBC3
| URI | m2://inv/CBV4C5ZBC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#LVFD, paradox of denotation (definition)
History
- 2026-11-02: add by m2/dev
CBVJJM1F8T CBVJJM1F8T
| URI | m2://inv/CBVJJM1F8T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-8 (exercise). In E59CDZA4DP, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
CBVN1GJVHW CBVN1GJVHW
| URI | m2://inv/CBVN1GJVHW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/nonstandard-arithmetic.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 46.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem CBVY2V0QTX
| URI | m2://inv/CBVY2V0QTX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent group#QKDM, Theorem (statement)
History
- 2026-11-02: add by m2/dev
CBW3YVFJ4H CBW3YVFJ4H
| URI | m2://inv/CBW3YVFJ4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#WVC4 (statement). In 1A01NFHBGA/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
George Tauchen CBW7MDZ9W6
| URI | m2://inv/CBW7MDZ9W6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#O8NZ, George Tauchen (unknown)
History
- 2026-11-02: add by m2/dev
CBWH1MTD1S CBWH1MTD1S
| URI | m2://inv/CBWH1MTD1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0008020#DOC2 (statement). In 8K466RA3HH/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
CBWHR4DAV3 CBWHR4DAV3
| URI | m2://inv/CBWHR4DAV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-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.21860#Z3LH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Regression fallacy CBWSQST2ZD
| URI | m2://inv/CBWSQST2ZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression fallacy, Regression fallacy (definition). Also Wikidata Q2916974
History
- 2026-11-02: add by m2/dev
particle physics phenomenology CBWZ92RJAT
| URI | m2://inv/CBWZ92RJAT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2993342, particle physics phenomenology (unknown). Also nLab phenomenology
History
- 2026-10-26: add by m2/dev
convex cone CBX3Q362C7
| URI | m2://inv/CBX3Q362C7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Convex cone 6VE4KA12VD |
Mentions
- mathlib_overview: mathlib_overview Geometry > Convex geometry > convex cone, convex cone (unknown). Also Mathlib ConvexCone
- wikidata: Wikidata Q2256541, convex cone (unknown). Also Mathlib ConvexCone, MathWorld ConvexCone, nLab convex cone
- wikipedia: Wikipedia Convex cone, Convex cone (definition). Also Wikidata Q2256541
History
- 2026-10-26: add by m2/dev
Pentagonal bipyramid CBX7GJAQKP
| URI | m2://inv/CBX7GJAQKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#IBUZ, Pentagonal bipyramid (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#X2L3, Pentagonal bipyramid (definition)
History
- 2026-11-02: add by m2/dev
Dan Halperin CBX8JDK2Y2
| URI | m2://inv/CBX8JDK2Y2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4JLN, Dan Halperin (unknown)
History
- 2026-11-02: add by m2/dev
CBXB85ES1B CBXB85ES1B
| URI | m2://inv/CBXB85ES1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#SJPX (statement). In DG9TF5X0EG/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.0
CBXE0C0BJR CBXE0C0BJR
| URI | m2://inv/CBXE0C0BJR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04694#GK6Q (statement). In W9A0Z2NBMA/e1, theorem 37
History
- 2026-10-29: add by m2/v0.4.12
Exportation CBXG6RQAGM
| URI | m2://inv/CBXG6RQAGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exportation (logic), Exportation (definition). Also Wikidata Q5421567
History
- 2026-11-02: add by m2/dev
Lemma 1 CBXHJ3ADK1
| URI | m2://inv/CBXHJ3ADK1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert projection theorem#RTCB, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
Odd–even rationing CBXM8B94KP
| URI | m2://inv/CBXM8B94KP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odd–even rationing, Odd–even rationing (definition). Also Wikidata Q7077561
History
- 2026-11-02: add by m2/dev
Alina Bucur CBXRBPNHVB
| URI | m2://inv/CBXRBPNHVB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alina Bucur, Alina Bucur (topic). Also Wikidata Q102267341
History
- 2026-11-02: add by m2/dev
CBXXFMG4YH CBXXFMG4YH
| URI | m2://inv/CBXXFMG4YH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-planar.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Fuchsian group CBY1AZA71F
| URI | m2://inv/CBY1AZA71F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#5F6I, Fuchsian group (definition)
- wikipedia: Wikipedia List of Lie groups topics#6HFH, Fuchsian group (definition)
History
- 2026-11-02: add by m2/dev
Table of congruences CBY77D8M2P
| URI | m2://inv/CBY77D8M2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Table of congruences, Table of congruences (definition). Also Wikidata Q7673222
History
- 2026-11-02: add by m2/dev
4-5 kisrhombille CBYA7CXTQR
| URI | m2://inv/CBYA7CXTQR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4-5 kisrhombille, 4-5 kisrhombille (object). Also Wikidata Q16001090
History
- 2026-11-02: add by m2/dev
CBYATQBP2T CBYATQBP2T
| URI | m2://inv/CBYATQBP2T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#proof-3 (proof). In RZP28ERRZV, proof, section 100.5
History
- 2026-11-01: add by m2/v0.6.13
invertible CBYG9HV00P
| URI | m2://inv/CBYG9HV00P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#JQNE, invertible (definition)
History
- 2026-11-02: add by m2/dev
Definitions CBYH8RWX65
| URI | m2://inv/CBYH8RWX65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calkin correspondence#4ZB0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
CBYZXDQ08T CBYZXDQ08T
| URI | m2://inv/CBYZXDQ08T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07470#ESYP (statement). In XPF72KTPMZ/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Parallax occlusion mapping CBZ1H47HHM
| URI | m2://inv/CBZ1H47HHM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#0WPV, Parallax occlusion mapping (unknown)
History
- 2026-11-02: add by m2/dev
CBZDX91BRF CBZDX91BRF
| URI | m2://inv/CBZDX91BRF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#MN3P (unknown)
History
- 2026-11-02: add by m2/dev
Selig Brodetsky CBZS9DNW4Q
| URI | m2://inv/CBZS9DNW4Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1LAM, Selig Brodetsky (topic)
History
- 2026-11-02: add by m2/dev