Inventory rows EB
The cards of the rows of the inventory whose ids start with EB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
EB03A35VT5 EB03A35VT5
| URI | m2://inv/EB03A35VT5 |
|---|---|
| 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.25030#G82J (statement)
History
- 2026-11-01: add by m2/v0.6.15
EB03R20XSK EB03R20XSK
| URI | m2://inv/EB03R20XSK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.05069#RSCK (statement). In SFQBJBTW8K/e1, proposition 15.3
History
- 2026-10-27: add by m2/v0.3.5
Definition EB0A8AGHCB
| URI | m2://inv/EB0A8AGHCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accessible quasi-category#PP5B, Definition (definition)
History
- 2026-11-02: add by m2/dev
EB0RP1N9Z0 EB0RP1N9Z0
| URI | m2://inv/EB0RP1N9Z0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#example-7 (example). In E59CDZA4DP, example, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Fatou's theorem EB17SKN45H
| URI | m2://inv/EB17SKN45H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#74MS, Fatou's theorem (statement)
History
- 2026-11-02: add by m2/dev
Exponential dichotomy EB19Y0W7AX
| URI | m2://inv/EB19Y0W7AX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.05499#GTWX, Exponential dichotomy (definition). In WRMNCC8VBC/e1, definition 27
History
- 2026-10-27: add by m2/v0.3.6
Frances Kirwan EB1CRDCADH
| URI | m2://inv/EB1CRDCADH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C0DJ, Frances Kirwan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HD4P, Frances Kirwan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UBKV, Frances Kirwan (topic)
History
- 2026-11-02: add by m2/dev
EB1GVS84RJ EB1GVS84RJ
| URI | m2://inv/EB1GVS84RJ |
|---|---|
| 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 2211.14214#T0TP (statement). In SY85Y9E45A/e1, theorem 20
History
- 2026-10-27: add by m2/v0.3.5
Examples EB1JFTSDGC
| URI | m2://inv/EB1JFTSDGC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Embarrassingly parallel#CH3Y, Examples (example)
History
- 2026-11-02: add by m2/dev
EB1MMH79BW EB1MMH79BW
| URI | m2://inv/EB1MMH79BW |
|---|---|
| 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 2407.20385#HUOW (statement). In PZRSZ19KAH/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Sandwich Sudoku EB1MYJ3H5K
| URI | m2://inv/EB1MYJ3H5K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sudoku#K8K5, Sandwich Sudoku (unknown)
History
- 2026-11-02: add by m2/dev
Method EB20FG91JF
| URI | m2://inv/EB20FG91JF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slice sampling#UO2H, Method (definition)
History
- 2026-11-02: add by m2/dev
boson EB23YZVFGF
| URI | m2://inv/EB23YZVFGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43101, boson (unknown). Also nLab boson
History
- 2026-10-26: add by m2/dev
EB24RCT31T EB24RCT31T
| URI | m2://inv/EB24RCT31T |
|---|---|
| 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#KO9L (definition). In HX63A1PH1W/e1, definition 3.77
History
- 2026-10-28: add by m2/v0.4.3
Symbolic Conditions for Lyapunov Functions \footnote{This example has been formally verified using the $\dL$ theorem prover KeYmaera X with exact arithmetic. EB26G2WFH1
| URI | m2://inv/EB26G2WFH1 |
|---|---|
| Kind | example |
| 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 2506.08233#ND9G, Symbolic Conditions for Lyapunov Functions \footnote{This example has been formally verified using the $\dL$ theorem prover KeYmaera X with exact arithmetic. (example). In 2TXXQ2575Y/e1, example 4.15
History
- 2026-10-27: add by m2/v0.3.5
Geometric topology EB2CDXGD6R
| URI | m2://inv/EB2CDXGD6R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#OOAS, Geometric topology (topic)
History
- 2026-11-02: add by m2/dev
Chebyshev center EB2CFB31PC
| URI | m2://inv/EB2CFB31PC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UH5B, Chebyshev center (definition)
History
- 2026-11-02: add by m2/dev
Star arboricity EB2MT83GN3
| URI | m2://inv/EB2MT83GN3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arboricity#3QVN, Star arboricity (unknown)
History
- 2026-11-02: add by m2/dev
Free hull EB2R9YTSF1
| URI | m2://inv/EB2R9YTSF1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free monoid#DS2O, Free hull (unknown)
History
- 2026-11-02: add by m2/dev
EB2T2CX832 EB2T2CX832
| URI | m2://inv/EB2T2CX832 |
|---|---|
| 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.13931#WGX4 (statement). In EXA79VR78Q/e1, theorem 2.10
History
- 2026-10-28: add by m2/v0.4.2
completion, of a metric space EB2Y6WYCG5
| URI | m2://inv/EB2Y6WYCG5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/completion-of-a-metric-space, completion, of a metric space (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
EB327ZYF4G EB327ZYF4G
| URI | m2://inv/EB327ZYF4G |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#G8Y6 (example). In 37B1MPV8GX/e1, example 9.6
History
- 2026-10-29: add by m2/v0.4.10
Bühlmann model EB35D9TTD2
| URI | m2://inv/EB35D9TTD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bühlmann model, Bühlmann model (definition). Also Wikidata Q5005264
History
- 2026-11-02: add by m2/dev
Work under spatial corruption EB35NYQYFT
| URI | m2://inv/EB35NYQYFT |
|---|---|
| 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.15202#DVGO, Work under spatial corruption (statement). In X1FPG0KYBM/e1, theorem Z.3
History
- 2026-10-28: add by m2/v0.4.2
Explicit two-level formula EB3GBKTXEC
| URI | m2://inv/EB3GBKTXEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00396#P8PP, Explicit two-level formula (statement). In V13TE1RWT9/e1, proposition A.2
History
- 2026-10-30: add by m2/v0.4.12
EB3H31CNK7 EB3H31CNK7
| URI | m2://inv/EB3H31CNK7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#IZ9U (statement). In JW8HH6EPG2/e1, proposition 3.23
History
- 2026-10-29: add by m2/v0.4.10
EB3KK4365Z EB3KK4365Z
| URI | m2://inv/EB3KK4365Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#Z968 (statement). In 6HP7BR9WZM/e1, corollary 4.7
History
- 2026-10-29: add by m2/v0.4.10
Properties EB3T6Q9SEF
| URI | m2://inv/EB3T6Q9SEF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutoassociahedron#RRII, Properties (statement)
History
- 2026-11-02: add by m2/dev
type 0 string theory EB40YFQ6YK
| URI | m2://inv/EB40YFQ6YK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1051074, type 0 string theory (unknown). Also nLab type 0 string theory
History
- 2026-10-26: add by m2/dev
Local state subset functions EB46823NT9
| URI | m2://inv/EB46823NT9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#C1AO, Local state subset functions (definition). In WD2NCBV9F0/e1, definition 7.4
History
- 2026-10-27: add by m2/v0.3.5
EB479TZ1ZZ EB479TZ1ZZ
| URI | m2://inv/EB479TZ1ZZ |
|---|---|
| Kind | definition |
| 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#CCN0 (definition). In WN2Z20ZV49/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.6
Carlo Emilio Bonferroni EB47NRD8KY
| URI | m2://inv/EB47NRD8KY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#C6MI, Carlo Emilio Bonferroni (topic)
History
- 2026-11-02: add by m2/dev
Geodesic equation EB4C3XJJXG
| URI | m2://inv/EB4C3XJJXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#XS3B, Geodesic equation (definition)
History
- 2026-11-02: add by m2/dev
EB4KYXEEJN EB4KYXEEJN
| URI | m2://inv/EB4KYXEEJN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-4.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
William Edge EB4N9Z8HM1
| URI | m2://inv/EB4N9Z8HM1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Edge (mathematician), William Edge (topic). Also Wikidata Q8008390
History
- 2026-11-02: add by m2/dev
EB4PCCABS5 EB4PCCABS5
| URI | m2://inv/EB4PCCABS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12619#4Q2E (statement). In 7F8KACT5AJ/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Chain conditions preserve regular cardinals EB4S982W1W
| URI | m2://inv/EB4S982W1W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#theorem-1, Chain conditions preserve regular cardinals (statement). In RZP28ERRZV, theorem, section 88.3
History
- 2026-11-01: add by m2/v0.6.13
Numerical range of a square-zero operator EB4SSZ5QNT
| URI | m2://inv/EB4SSZ5QNT |
|---|---|
| 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 2609.25027#I6Y8, Numerical range of a square-zero operator (statement)
History
- 2026-11-01: add by m2/v0.6.15
EB4WBYVP3E EB4WBYVP3E
| URI | m2://inv/EB4WBYVP3E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-1 (exercise). In VNMV985MXX, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Racks and quandles EB4Y0QDAND
| URI | m2://inv/EB4Y0QDAND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#18UZ, Racks and quandles (definition)
History
- 2026-11-02: add by m2/dev
Alexander Kropotkin EB51M3Y62V
| URI | m2://inv/EB51M3Y62V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Kropotkin, Alexander Kropotkin (topic). Also Wikidata Q4241693
History
- 2026-11-02: add by m2/dev
Equilateral dimension EB529B01FH
| URI | m2://inv/EB529B01FH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equilateral dimension, Equilateral dimension (definition). Also Wikidata Q5384458
History
- 2026-11-02: add by m2/dev
EB567BNHKD EB567BNHKD
| URI | m2://inv/EB567BNHKD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:msclosureappr (statement). In E59CDZA4DP, prop, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Hermitian forms and the Appell-Humbert theorem EB57TKR67V
| URI | m2://inv/EB57TKR67V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex torus#5BV5, Hermitian forms and the Appell-Humbert theorem (statement)
History
- 2026-11-02: add by m2/dev
Molino's structure theorem for regular Riemannian groupoids EB5FJJ66CZ
| URI | m2://inv/EB5FJJ66CZ |
|---|---|
| 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.23341#YTTR, Molino's structure theorem for regular Riemannian groupoids (statement)
History
- 2026-11-02: add by m2/v0.6.17
Marcel Berger EB5GE2FE77
| URI | m2://inv/EB5GE2FE77 |
|---|---|
| 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 Q553949, Marcel Berger (unknown). Also nLab Marcel Berger
- wikipedia: Wikipedia Marcel Berger, Marcel Berger (topic). Also Wikidata Q553949
History
- 2026-10-26: add by m2/dev
EB5Q51VZDX EB5Q51VZDX
| URI | m2://inv/EB5Q51VZDX |
|---|---|
| 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.02798#NG9X (statement). In 446QW3DHTN/e1, lemma E.3
History
- 2026-10-29: add by m2/v0.4.12
EB62FWB7ER EB62FWB7ER
| URI | m2://inv/EB62FWB7ER |
|---|---|
| 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.12371#QDLE (statement). In 8TTFQH19QR/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
synthetic differential geometry EB653287CH
| URI | m2://inv/EB653287CH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Synthetic differential geometry F3YMFK4S5J |
Mentions
- wikidata: Wikidata Q7662747, synthetic differential geometry (topic). Also nLab synthetic differential geometry
- wikipedia: Wikipedia Synthetic differential geometry, Synthetic differential geometry (definition). Also Wikidata Q7662747
History
- 2026-10-26: add by m2/dev
3-sphere EB65HSP8PA
| URI | m2://inv/EB65HSP8PA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#L6EV, 3-sphere (definition)
History
- 2026-11-02: add by m2/dev
Characterization EB68G6W9W3
| URI | m2://inv/EB68G6W9W3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observational error#VMAH, Characterization (statement)
History
- 2026-11-02: add by m2/dev
EB6AFHFS7F EB6AFHFS7F
| URI | m2://inv/EB6AFHFS7F |
|---|---|
| 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.32680#RV8E (statement). In XVJGVCZA7V/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Beer–Lambert law EB6BMEVYWX
| URI | m2://inv/EB6BMEVYWX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q217351, Beer–Lambert law (statement). Also ProofWiki Beer-Lambert-Bouguer_Law
- wikipedia: Wikipedia Beer–Lambert law, Beer–Lambert law (statement). Also Wikidata Q217351
History
- 2026-10-26: add by m2/dev
An example EB6DZZH3S9
| URI | m2://inv/EB6DZZH3S9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-form game#XNJE, An example (example)
History
- 2026-11-02: add by m2/dev
EB6EMQJSBB EB6EMQJSBB
| URI | m2://inv/EB6EMQJSBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16081#U6FT (statement). In RS6WWZKMT6/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
EB6RHD3JQY EB6RHD3JQY
| URI | m2://inv/EB6RHD3JQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#CFN1 (statement). In MNQAZ70XTH/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
Isotherm (contour line) EB6WY021EK
| URI | m2://inv/EB6WY021EK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour line#Y8YP, Isotherm (contour line) (unknown)
History
- 2026-11-02: add by m2/dev
Sir Horace Lamb Chair EB6Y31PKRQ
| URI | m2://inv/EB6Y31PKRQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Department of Mathematics, University of Manchester#HZ1V, Sir Horace Lamb Chair (unknown)
History
- 2026-11-02: add by m2/dev
Local-to-global criterion for lower-star filtrations EB7188CPG3
| URI | m2://inv/EB7188CPG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28160#LWP2, Local-to-global criterion for lower-star filtrations (statement)
History
- 2026-11-01: add by m2/v0.6.15
parabiaugmented truncated dodecahedron EB723ABM55
| URI | m2://inv/EB723ABM55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1901337, parabiaugmented truncated dodecahedron (object). Also MathWorld ParabiaugmentedTruncatedDodecahedron
- wikipedia: Wikipedia Parabiaugmented truncated dodecahedron, Parabiaugmented truncated dodecahedron (definition). Also Wikidata Q1901337
History
- 2026-10-26: add by m2/dev
Generalizations EB75TB3NRT
| URI | m2://inv/EB75TB3NRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virasoro algebra#7YI1, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Zeros of an Artin--Hasse parameter EB7H8FA9Y1
| URI | m2://inv/EB7H8FA9Y1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#LLSP, Zeros of an Artin--Hasse parameter (statement). In 8BNPFYQDQX/e1, corollary 3.12
History
- 2026-10-29: add by m2/v0.4.10
integers EB7PHMMVGS
| URI | m2://inv/EB7PHMMVGS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.3/integers, integers (concept). In N54F33XE07, index, section 7.1.3
History
- 2026-11-01: add by m2/v0.6.13
Definition EB7SSEZ1JC
| URI | m2://inv/EB7SSEZ1JC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural bundle#NJ7F, Definition (definition)
History
- 2026-11-02: add by m2/dev
EB7SZBJY7Q EB7SZBJY7Q
| URI | m2://inv/EB7SZBJY7Q |
|---|---|
| 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 2506.16491#DI59 (statement). In P9J6P06Y40/e1, lemma 4.24
History
- 2026-10-27: add by m2/v0.3.5
EB8EJV0RAF EB8EJV0RAF
| URI | m2://inv/EB8EJV0RAF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#HB3R (statement). In NC5ZRF6F8N/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Simplicial object EB8J2QJ8YJ
| URI | m2://inv/EB8J2QJ8YJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial set#BVJ7, Simplicial object (unknown)
History
- 2026-11-02: add by m2/dev
Ailsa Land EB8J42MSYE
| URI | m2://inv/EB8J42MSYE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ailsa Land, Ailsa Land (topic). Also Wikidata Q57079690
History
- 2026-11-02: add by m2/dev
Inverse iteration EB8K876AZA
| URI | m2://inv/EB8K876AZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse iteration, Inverse iteration (definition). Also Wikidata Q1671724
History
- 2026-11-02: add by m2/dev
Mario Bonk EB8V0FS9WA
| URI | m2://inv/EB8V0FS9WA |
|---|---|
| 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#X75N, Mario Bonk (unknown)
History
- 2026-11-02: add by m2/dev
Detrended correspondence analysis EB8ZPH1NFQ
| URI | m2://inv/EB8ZPH1NFQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detrended correspondence analysis, Detrended correspondence analysis (definition). Also Wikidata Q5265809
History
- 2026-11-02: add by m2/dev
EB98AQQKCT EB98AQQKCT
| URI | m2://inv/EB98AQQKCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#MFZK (statement). In ESDKTYDHC8/e1, corollary 23
History
- 2026-10-29: add by m2/v0.4.12
Permutation test EB993XX60T
| URI | m2://inv/EB993XX60T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MYF9, Permutation test (definition)
History
- 2026-11-02: add by m2/dev
EB9DN8R8YH EB9DN8R8YH
| URI | m2://inv/EB9DN8R8YH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20025#GFJJ (statement). In 4W1WR4JB89/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.4.2
EB9ECNJXG9 EB9ECNJXG9
| URI | m2://inv/EB9ECNJXG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35213#0IUB (statement). In T5KCTZ3H08/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
EB9KTNTV4J EB9KTNTV4J
| URI | m2://inv/EB9KTNTV4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27635#QW5Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
EB9QR6DWPP EB9QR6DWPP
| URI | m2://inv/EB9QR6DWPP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:nat-set (example). In N54F33XE07, eg, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
Further examples EB9TF0H7SJ
| URI | m2://inv/EB9TF0H7SJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic process#1J6C, Further examples (example)
History
- 2026-11-02: add by m2/dev
Rechtstheorie EB9Z3ET7ND
| URI | m2://inv/EB9Z3ET7ND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#2ZE9, Rechtstheorie (unknown)
History
- 2026-11-02: add by m2/dev
European Society for Mathematical and Theoretical Biology EB9ZTR8XP1
| URI | m2://inv/EB9ZTR8XP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European Society for Mathematical and Theoretical Biology, European Society for Mathematical and Theoretical Biology (definition)
History
- 2026-11-02: add by m2/dev
EB9ZZYE3ZD EB9ZZYE3ZD
| URI | m2://inv/EB9ZZYE3ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04314#D7OI (statement). In AKWTE0M6PE/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Characterizations EBAGP6CVQ0
| URI | m2://inv/EBAGP6CVQ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greedy algorithm#PLFQ, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
EBAKXV0HJ6 EBAKXV0HJ6
| URI | m2://inv/EBAKXV0HJ6 |
|---|---|
| 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#IN90 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weighted median EBANXP3Q7M
| URI | m2://inv/EBANXP3Q7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted median, Weighted median (definition). Also Wikidata Q7979899
History
- 2026-11-02: add by m2/dev
Packing coloring EBATMEEJAJ
| URI | m2://inv/EBATMEEJAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Packing coloring, Packing coloring (definition). Also Wikidata Q137392544
History
- 2026-11-02: add by m2/dev
Superdense coding EBAXKTG1NT
| URI | m2://inv/EBAXKTG1NT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superdense coding, Superdense coding (definition). Also Wikidata Q2042163
History
- 2026-11-02: add by m2/dev
Gibbs paradox in a one-dimensional gas EBB4EY82N8
| URI | m2://inv/EBB4EY82N8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs paradox#L4KU, Gibbs paradox in a one-dimensional gas (statement)
History
- 2026-11-02: add by m2/dev
EBB68TM3QR EBB68TM3QR
| URI | m2://inv/EBB68TM3QR |
|---|---|
| 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.16886#ZYWV (statement). In Y8QQAH7VCF/e1, corollary E.13
History
- 2026-10-28: add by m2/v0.4.2
Zoárd Geőcze EBBQ5J9GVQ
| URI | m2://inv/EBBQ5J9GVQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zoárd Geőcze, Zoárd Geőcze (topic). Also Wikidata Q8074719
History
- 2026-11-02: add by m2/dev
Coigach EBBQDWFJCE
| URI | m2://inv/EBBQDWFJCE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8KSZ, Coigach (unknown)
History
- 2026-11-02: add by m2/dev
EBC0ED55K2 EBC0ED55K2
| URI | m2://inv/EBC0ED55K2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:plump-ordinals (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Warazan EBC18FVBX4
| URI | m2://inv/EBC18FVBX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Warazan, Warazan (definition). Also Wikidata Q63985568
History
- 2026-11-02: add by m2/dev
EBC64EYVAS EBC64EYVAS
| URI | m2://inv/EBC64EYVAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39615#GA40 (statement). In RNXRAZYR3S/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Local invariant cycle theorem EBC6XMK47K
| URI | m2://inv/EBC6XMK47K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local invariant cycle theorem, Local invariant cycle theorem (statement). Also Wikidata Q112274106
History
- 2026-11-02: add by m2/dev
Fully irreducible automorphism EBCG90YXJ0
| URI | m2://inv/EBCG90YXJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fully irreducible automorphism, Fully irreducible automorphism (definition). Also Wikidata Q28456206
History
- 2026-11-02: add by m2/dev
Shapley–Folkman lemma EBCGHS2QS7
| URI | m2://inv/EBCGHS2QS7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#QYRS, Shapley–Folkman lemma (statement)
History
- 2026-11-02: add by m2/dev
EBCSM62WNE EBCSM62WNE
| URI | m2://inv/EBCSM62WNE |
|---|---|
| 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.24212#88L7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The Art of Computer Programming, Volume 3: Sorting and Searching EBCXKHPX7M
| URI | m2://inv/EBCXKHPX7M |
|---|---|
| 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 Q47752444, The Art of Computer Programming, Volume 3: Sorting and Searching (unknown). Also ProofWiki Book:Donald_E._Knuth/The_Art_of_Computer_Programming:_Volume_3:_Sorting_and_Searching
History
- 2026-10-26: add by m2/dev
Cells EBCZSRN8NS
| URI | m2://inv/EBCZSRN8NS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2609.40290#PTSO, Cells (statement). In 4K1CNBYJHF/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Lefschetz's fixed-point theorem EBD442VSQJ
| URI | m2://inv/EBD442VSQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangulation (topology)#KP14, Lefschetz's fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
EBD4XXAY73 EBD4XXAY73
| URI | m2://inv/EBD4XXAY73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#KP43 (statement). In MVXZWHKEX8/e1, lemma 8.5
History
- 2026-10-29: add by m2/v0.4.10
EBDG50QV4K EBDG50QV4K
| URI | m2://inv/EBDG50QV4K |
|---|---|
| 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#O0FZ (statement). In W9A0Z2NBMA/e1, proposition 15
History
- 2026-10-29: add by m2/v0.4.12
Israel Mathematical Union EBDHAYMA8S
| URI | m2://inv/EBDHAYMA8S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#J4GI, Israel Mathematical Union (topic)
History
- 2026-11-02: add by m2/dev
Definition EBDMDCDE5K
| URI | m2://inv/EBDMDCDE5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian tree#772G, Definition (definition)
History
- 2026-11-02: add by m2/dev
EBDYZJJR67 EBDYZJJR67
| URI | m2://inv/EBDYZJJR67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#defn-3 (definition). In E59CDZA4DP, defn, section 9.1.3
History
- 2026-11-01: add by m2/v0.6.13
Good filling EBE1X3B35V
| URI | m2://inv/EBE1X3B35V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#Y8AL, Good filling (definition). In RZDNWV9E29/e1, definition 2.21
History
- 2026-10-27: add by m2/v0.3.6
EBE9D68YDC EBE9D68YDC
| URI | m2://inv/EBE9D68YDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21255#ONHD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Erdene Zuu EBEBYVEADT
| URI | m2://inv/EBEBYVEADT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3UMG, Erdene Zuu (unknown)
History
- 2026-11-02: add by m2/dev
Energy distance EBECWDF6K0
| URI | m2://inv/EBECWDF6K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Energy distance, Energy distance (definition). Also Wikidata Q5377038
History
- 2026-11-02: add by m2/dev
Regular tuning EBEF7KW852
| URI | m2://inv/EBEF7KW852 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular tuning, Regular tuning (definition). Also Wikidata Q17086836
History
- 2026-11-02: add by m2/dev
EBEH3RNYTG EBEH3RNYTG
| URI | m2://inv/EBEH3RNYTG |
|---|---|
| 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 1709.00677#WVB0 (statement). In G83TVA8HYR/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Compound of four triangular prisms EBEKFTDPQK
| URI | m2://inv/EBEKFTDPQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#9VUT, Compound of four triangular prisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#F8EW, Compound of four triangular prisms (definition)
History
- 2026-11-02: add by m2/dev
Modulus of continuity EBEMKQHFFV
| URI | m2://inv/EBEMKQHFFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulus of continuity, Modulus of continuity (definition). Also Wikidata Q1144872
History
- 2026-11-02: add by m2/dev
$\CC$ is contractible EBENVBPJDD
| URI | m2://inv/EBENVBPJDD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#example-6, $\CC$ is contractible (example). In RZP28ERRZV, example, section 98.5
History
- 2026-11-01: add by m2/v0.6.13
Stokes's law EBESVC4AP2
| URI | m2://inv/EBESVC4AP2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes's law, Stokes's law (statement). Also Wikidata Q824561
History
- 2026-11-02: add by m2/dev
Properties EBF3W8Y3PA
| URI | m2://inv/EBF3W8Y3PA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue constant#4U4M, Properties (statement)
History
- 2026-11-02: add by m2/dev
Theorem D, parts \textup{(i)}--\textup{(ii EBF9A0QSET
| URI | m2://inv/EBF9A0QSET |
|---|---|
| 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#A74Y, Theorem D, parts \textup{(i)}--\textup{(ii (statement). In J1BWCKW2QK/e1, theorem 4.3
History
- 2026-10-31: add by m2/v0.5.6
Alfred Legoyt EBFD76H2T0
| URI | m2://inv/EBFD76H2T0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Legoyt, Alfred Legoyt (topic). Also Wikidata Q2835264
History
- 2026-11-02: add by m2/dev
EBFDHBSY0F EBFDHBSY0F
| URI | m2://inv/EBFDHBSY0F |
|---|---|
| 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 2511.12649#X8E1 (statement). In RT27S2YZKJ/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.0
orthogonal transformation EBFEVKYZZ8
| URI | m2://inv/EBFEVKYZZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3997740, orthogonal transformation (unknown). Also EoM Orthogonal_transformation, MathWorld OrthogonalTransformation
- wikipedia: Wikipedia Orthogonal transformation, Orthogonal transformation (definition). Also Wikidata Q3997740
History
- 2026-10-26: add by m2/dev
uncorrelatedness EBFM6PHTBJ
| URI | m2://inv/EBFM6PHTBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8216221, uncorrelatedness (unknown). Also MathWorld Uncorrelated
- wikipedia: Wikipedia Uncorrelatedness, Uncorrelatedness (definition). Also Wikidata Q8216221
History
- 2026-10-26: add by m2/dev
EBFN4HJ4Y7 EBFN4HJ4Y7
| URI | m2://inv/EBFN4HJ4Y7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21060#O2GZ (definition)
History
- 2026-11-02: add by m2/v0.6.18
EBFNPSZE4B EBFNPSZE4B
| URI | m2://inv/EBFNPSZE4B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#G5B0 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Spectral representation of the backscattering field EBFQVJ8PT0
| URI | m2://inv/EBFQVJ8PT0 |
|---|---|
| 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.08011#FLNA, Spectral representation of the backscattering field (statement). In K0BXT951HT/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Healing Cause EBFZR666CV
| URI | m2://inv/EBFZR666CV |
|---|---|
| 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 math/0003117#7VYW, Healing Cause (statement). In WD2NCBV9F0/e1, lemma 15.14
History
- 2026-10-27: add by m2/v0.3.5
EBFZTTXTXX EBFZTTXTXX
| URI | m2://inv/EBFZTTXTXX |
|---|---|
| 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.34923#MEO5 (statement). In 7WKVFJEZQT/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
Variants EBG357C3BK
| URI | m2://inv/EBG357C3BK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Character variety#6WLC, Variants (statement)
History
- 2026-11-02: add by m2/dev
EBG5WWBT0E EBG5WWBT0E
| URI | m2://inv/EBG5WWBT0E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09140#4Q16 (definition). In 9934P5E5AM/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
EBG81B7TD1 EBG81B7TD1
| URI | m2://inv/EBG81B7TD1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#ZSRH (statement). In PA6JQDSKQT/e1, lemma 7.11
History
- 2026-10-28: add by m2/v0.4.2
entry of a matrix EBG8YRH44C
| URI | m2://inv/EBG8YRH44C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.1.2/entry-of-a-matrix, entry of a matrix (concept). In E9HS8K3A52, index, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
EBGJ2242JH EBGJ2242JH
| URI | m2://inv/EBGJ2242JH |
|---|---|
| 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 2301.04933#78VI (statement). In Q70CTMCJTP/e1, lemma 3.19
History
- 2026-10-27: add by m2/v0.3.5
EBGMY0VFZ2 EBGMY0VFZ2
| URI | m2://inv/EBGMY0VFZ2 |
|---|---|
| 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.36827#TY56 (statement). In VSHAQTB2CA/e1, corollary 5.4
History
- 2026-10-30: add by m2/v0.4.12
Infinite-order pentagonal tiling EBGTC5957W
| URI | m2://inv/EBGTC5957W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-order pentagonal tiling, Infinite-order pentagonal tiling (definition). Also Wikidata Q17077511
History
- 2026-11-02: add by m2/dev
EBGV5FNAGE EBGV5FNAGE
| URI | m2://inv/EBGV5FNAGE |
|---|---|
| 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.02933#WOLY (statement). In QSYZKPFRAN/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
EBH06DE1BA EBH06DE1BA
| URI | m2://inv/EBH06DE1BA |
|---|---|
| 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.20881#N4YP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Eggan's theorem EBH2EHYX9V
| URI | m2://inv/EBH2EHYX9V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star height#F2NC, Eggan's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition EBH353HNZF
| URI | m2://inv/EBH353HNZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greatest common divisor#R1GK, Definition (definition)
History
- 2026-11-02: add by m2/dev
n-Queens completion EBH51VMNHK
| URI | m2://inv/EBH51VMNHK |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#RMM9, n-Queens completion (problem)
History
- 2026-11-02: add by m2/dev
Dixmier Problem EBHCG3Y8TC
| URI | m2://inv/EBHCG3Y8TC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly bounded representation#X5UX, Dixmier Problem (unknown)
History
- 2026-11-02: add by m2/dev
EBHD3BTR0B EBHD3BTR0B
| URI | m2://inv/EBHD3BTR0B |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
EBHE4Y4N13 EBHE4Y4N13
| URI | m2://inv/EBHE4Y4N13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#3M93 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mila Kunis EBHJ0D33VQ
| URI | m2://inv/EBHJ0D33VQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#5ZAZ, Mila Kunis (unknown)
History
- 2026-11-02: add by m2/dev
Positive solution of $L^mR^m$ EBHJPAWMV9
| URI | m2://inv/EBHJPAWMV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#XMHW, Positive solution of $L^mR^m$ (statement). In 11JNM66Z09/e1, theorem 6.3
History
- 2026-10-28: add by m2/v0.4.2
EBHNZNP5YY EBHNZNP5YY
| URI | m2://inv/EBHNZNP5YY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36334#OJT7 (definition). In YVB70SBGN1/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
EBHXRAMFG5 EBHXRAMFG5
| URI | m2://inv/EBHXRAMFG5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13846#NX8V (statement). In DN3HGHGRYJ/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
EBJAF2K9PD EBJAF2K9PD
| URI | m2://inv/EBJAF2K9PD |
|---|---|
| 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 2606.20229#Y8NL (definition). In 1B85G2QJC2/e1, definition 8.1
History
- 2026-10-27: add by m2/v0.3.6
du Val singularity EBJNS7F5E6
| URI | m2://inv/EBJNS7F5E6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | ADE singularity HQNXQBZ6C7 |
Mentions
- wikidata: Wikidata Q5310086, du Val singularity (concept). Also MathWorld RationalDoublePoint
- wikipedia: Wikipedia Du Val singularity, Du Val singularity (definition). Also Wikidata Q5310086
History
- 2026-10-26: add by m2/dev
EBJV89DHQ6 EBJV89DHQ6
| URI | m2://inv/EBJV89DHQ6 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.11439#KRPR (proof). In 9Z8RSQ36JC/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Example EBJZFYQ8PN
| URI | m2://inv/EBJZFYQ8PN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guard digit#TOVK, Example (example)
History
- 2026-11-02: add by m2/dev
Definition EBK00KG5DZ
| URI | m2://inv/EBK00KG5DZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perceptron#SNCP, Definition (definition)
History
- 2026-11-02: add by m2/dev
List of integrals of hyperbolic functions EBK2EDV2K7
| URI | m2://inv/EBK2EDV2K7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integrals of hyperbolic functions, List of integrals of hyperbolic functions (topic). Also Wikidata Q484632
History
- 2026-11-02: add by m2/dev
Hellmann–Feynman theorem for time-dependent wavefunctions EBK2J7RVQ9
| URI | m2://inv/EBK2J7RVQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hellmann–Feynman theorem#BEJH, Hellmann–Feynman theorem for time-dependent wavefunctions (statement)
History
- 2026-11-02: add by m2/dev
EBK56322T3 EBK56322T3
| URI | m2://inv/EBK56322T3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24154#17FY (statement)
History
- 2026-11-02: add by m2/v0.6.17
EBK6MC7KS3 EBK6MC7KS3
| URI | m2://inv/EBK6MC7KS3 |
|---|---|
| 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 math/9602216#ZFUE (definition). In SD43497T8C/e1, definition 4.9
History
- 2026-10-27: add by m2/v0.3.5
Alexander Varchenko EBKJHQ4PDE
| URI | m2://inv/EBKJHQ4PDE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1458824, Alexander Varchenko (unknown). Also nLab Alexander Varchenko
History
- 2026-10-26: add by m2/dev
Standard normal deviate EBKQYKP0PH
| URI | m2://inv/EBKQYKP0PH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q0KU, Standard normal deviate (definition)
History
- 2026-11-02: add by m2/dev
Corollary 1 EBKRJX7YGB
| URI | m2://inv/EBKRJX7YGB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple continued fraction#CWK5, Corollary 1 (statement)
History
- 2026-11-02: add by m2/dev
EBKWB1GXX6 EBKWB1GXX6
| URI | m2://inv/EBKWB1GXX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#5VAK (statement). In FCMMB2EVAP/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.4.2
EBM2EEPRRE EBM2EEPRRE
| URI | m2://inv/EBM2EEPRRE |
|---|---|
| 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.25973#9NZ1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gary G. Koch EBMAN0AE4H
| URI | m2://inv/EBMAN0AE4H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#3JQ8, Gary G. Koch (topic)
History
- 2026-11-02: add by m2/dev
EBMCTCBK2P EBMCTCBK2P
| URI | m2://inv/EBMCTCBK2P |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/syntax-and-semantics/semantic-notions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 41.6
History
- 2026-11-01: add by m2/v0.6.13
Variations EBMD8KG6B3
| URI | m2://inv/EBMD8KG6B3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heilbronn triangle problem#K7J3, Variations (statement)
History
- 2026-11-02: add by m2/dev
Forbidding $H_7$ EBMH2DBV8D
| URI | m2://inv/EBMH2DBV8D |
|---|---|
| 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.31331#9OZ1, Forbidding $H_7$ (statement). In TWB64HRHWZ/e1, lemma 7
History
- 2026-10-31: add by m2/v0.5.6
EBMJH65BY3 EBMJH65BY3
| URI | m2://inv/EBMJH65BY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#11R3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
EBMNCZP7DP EBMNCZP7DP
| URI | m2://inv/EBMNCZP7DP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#cor-2 (statement). In PKGMM3P5QY, cor, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
complementary coordinates, $m\ne1$ EBMPW9XSQN
| URI | m2://inv/EBMPW9XSQN |
|---|---|
| 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.02743#W443, complementary coordinates, $m\ne1$ (statement). In GQH4ZPDWET/e1, theorem 11.3
History
- 2026-10-29: add by m2/v0.4.12
Uses EBN1FZVQG1
| URI | m2://inv/EBN1FZVQG1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure Shell#IS48, Uses (example)
History
- 2026-11-02: add by m2/dev
extension EBN4K8RCGX
| URI | m2://inv/EBN4K8RCGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GF7L, extension (definition)
History
- 2026-11-02: add by m2/dev
Hamilton product EBNE4VZCVV
| URI | m2://inv/EBNE4VZCVV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion#PMYZ, Hamilton product (unknown)
History
- 2026-11-02: add by m2/dev
History of string theory EBNHH4G8N2
| URI | m2://inv/EBNHH4G8N2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#FOLH, History of string theory (unknown)
History
- 2026-11-02: add by m2/dev
EBNM93WBPM EBNM93WBPM
| URI | m2://inv/EBNM93WBPM |
|---|---|
| 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.09483#O810 (statement). In N1MQ8F9JN6/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
EBNX962VHQ EBNX962VHQ
| URI | m2://inv/EBNX962VHQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#DG01 (definition). In 44DQ7W1NW9/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
EBP528QSCV EBP528QSCV
| URI | m2://inv/EBP528QSCV |
|---|---|
| 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.12014#0VNO (statement). In DR7BK4CQ0V/e1, corollary 5.26
History
- 2026-10-28: add by m2/v0.4.3
EBP5570PZ1 EBP5570PZ1
| URI | m2://inv/EBP5570PZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08708#4NGD (statement). In TMMJKY66KY/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
Warped product EBPB90R84E
| URI | m2://inv/EBPB90R84E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Warped product, Warped product (definition). Also Wikidata Q988401
History
- 2026-11-02: add by m2/dev
Formulation EBPD9XNAA7
| URI | m2://inv/EBPD9XNAA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geopotential#78NN, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Giovanni Battista Nicolai EBPGAVGWTV
| URI | m2://inv/EBPGAVGWTV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Battista Nicolai, Giovanni Battista Nicolai (topic). Also Wikidata Q18945395
History
- 2026-11-02: add by m2/dev
Kristin Lauter EBPRZH3977
| URI | m2://inv/EBPRZH3977 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kristin Lauter, Kristin Lauter (topic). Also Wikidata Q6438154
History
- 2026-11-02: add by m2/dev
732 (number) EBPS4RHF3V
| URI | m2://inv/EBPS4RHF3V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#552B, 732 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Dynamical system simulation EBPW0F9ZZH
| URI | m2://inv/EBPW0F9ZZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical system simulation, Dynamical system simulation (definition). Also Wikidata Q5319019
History
- 2026-11-02: add by m2/dev
Molecular geometry EBPWAQTMS9
| URI | m2://inv/EBPWAQTMS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#4NN0, Molecular geometry (definition)
History
- 2026-11-02: add by m2/dev
EBPXGAJT4X EBPXGAJT4X
| URI | m2://inv/EBPXGAJT4X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32977#RG1N (example). In 4KT9TK3MG4/e1, example 2.4
History
- 2026-10-31: add by m2/v0.5.6
Explaining away EBPY2YP986
| URI | m2://inv/EBPY2YP986 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interaction information#8LWD, Explaining away (unknown)
History
- 2026-11-02: add by m2/dev
EBPY82Y2FZ EBPY82Y2FZ
| URI | m2://inv/EBPY82Y2FZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#OLJN (definition). In 37S7MNMZ2F/e1, definition 73
History
- 2026-10-27: add by m2/v0.3.5
Shmuel Weinberger EBPYD6N67F
| URI | m2://inv/EBPYD6N67F |
|---|---|
| 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 Q7499665, Shmuel Weinberger (unknown). Also nLab Shmuel Weinberger
- wikipedia: Wikipedia Shmuel Weinberger, Shmuel Weinberger (topic). Also Wikidata Q7499665
History
- 2026-10-26: add by m2/dev
Cantitruncated tesseractic honeycomb EBPZ1EVC0T
| URI | m2://inv/EBPZ1EVC0T |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantitruncated tesseractic honeycomb, Cantitruncated tesseractic honeycomb (object). Also Wikidata Q17007148
History
- 2026-11-02: add by m2/dev
Alexander Soifer EBQ07P54B2
| URI | m2://inv/EBQ07P54B2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IZLQ, Alexander Soifer (unknown)
History
- 2026-11-02: add by m2/dev
Holbrook Working EBQ290H9DG
| URI | m2://inv/EBQ290H9DG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#QMRZ, Holbrook Working (topic)
History
- 2026-11-02: add by m2/dev
EBQ9DAB015 EBQ9DAB015
| URI | m2://inv/EBQ9DAB015 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33238#3A52 (definition). In MVWXMDFP3P/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Burton Rodin EBQC2NESYK
| URI | m2://inv/EBQC2NESYK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burton Rodin, Burton Rodin (topic). Also Wikidata Q5000911
History
- 2026-11-02: add by m2/dev
EBQEAQP400 EBQEAQP400
| URI | m2://inv/EBQEAQP400 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#1FJS (example). In RK0ZMDJ23T/e1, example 3.2.10
History
- 2026-10-31: add by m2/v0.5.6
Basin City EBQGRZHP81
| URI | m2://inv/EBQGRZHP81 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#O0AK, Basin City (unknown)
History
- 2026-11-02: add by m2/dev
Rudolph Goclenius EBQJYZ2Z2N
| URI | m2://inv/EBQJYZ2Z2N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudolph Goclenius, Rudolph Goclenius (topic). Also Wikidata Q64272
History
- 2026-11-02: add by m2/dev
\tc{G\_ex\_Two\_at EBQP729Q2Q
| URI | m2://inv/EBQP729Q2Q |
|---|---|
| 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.36279#MLWV, \tc{G\_ex\_Two\_at (statement). In HX1QA0MJYV/e1, theorem 13
History
- 2026-10-30: add by m2/v0.4.12
EBQQCK1F4F EBQQCK1F4F
| URI | m2://inv/EBQQCK1F4F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#LXT1 (definition)
History
- 2026-11-01: add by m2/v0.6.15
EBQW361WG3 EBQW361WG3
| URI | m2://inv/EBQW361WG3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#prob:lots of potential functions (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Samuil Feinberg EBQWPQHNEP
| URI | m2://inv/EBQWPQHNEP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#I0V6, Samuil Feinberg (unknown)
History
- 2026-11-02: add by m2/dev
NCF EBR6402SV6
| URI | m2://inv/EBR6402SV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#X47S, NCF (definition)
History
- 2026-11-02: add by m2/dev
EBR76NA234 EBR76NA234
| URI | m2://inv/EBR76NA234 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40200#4E95 (statement). In VWNB6QJWFN/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Residual modular length EBR9HXA8KW
| URI | m2://inv/EBR9HXA8KW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07293#IADJ, Residual modular length (statement). In V1GVYM0WQG/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.10
EBR9SZJ5TE EBR9SZJ5TE
| URI | m2://inv/EBR9SZJ5TE |
|---|---|
| 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.01368#IQ8Q (statement). In 4ER0Z2TGN8/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
André EBRJE5CKSQ
| URI | m2://inv/EBRJE5CKSQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#I5PD, André (unknown)
History
- 2026-11-02: add by m2/dev
EBRJXTND5Z EBRJXTND5Z
| URI | m2://inv/EBRJXTND5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25435#XSLX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition EBRKJX8VFA
| URI | m2://inv/EBRKJX8VFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential operator#270I, Definition (definition)
History
- 2026-11-02: add by m2/dev
First Ray–Knight theorem EBRMXFRG6X
| URI | m2://inv/EBRMXFRG6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local time (mathematics)#VK69, First Ray–Knight theorem (statement)
History
- 2026-11-02: add by m2/dev
Alexandra M. Schmidt EBRPH8RPE4
| URI | m2://inv/EBRPH8RPE4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandra M. Schmidt, Alexandra M. Schmidt (topic). Also Wikidata Q57244361
History
- 2026-11-02: add by m2/dev
Generalizations EBRVVFKYE6
| URI | m2://inv/EBRVVFKYE6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean sojourn time#UBE7, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Controlling by a field EBRWT16P0M
| URI | m2://inv/EBRWT16P0M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#753P, Controlling by a field (definition). In WD2NCBV9F0/e1, definition 4.10
History
- 2026-10-27: add by m2/v0.3.5
(□,□,□) EBS069Q2W7
| URI | m2://inv/EBS069Q2W7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#SR0Q, (□,□,□) (definition)
History
- 2026-11-02: add by m2/dev
EBS1PQ7FE8 EBS1PQ7FE8
| URI | m2://inv/EBS1PQ7FE8 |
|---|---|
| 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.05706#9B4C (statement). In 8EHE8CX1KJ/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Kaniadakis statistics EBS1RP3NRJ
| URI | m2://inv/EBS1RP3NRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaniadakis statistics, Kaniadakis statistics (definition). Also Wikidata Q111963002
History
- 2026-11-02: add by m2/dev
Definition EBS7QQ3X1M
| URI | m2://inv/EBS7QQ3X1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak ordering#HJV0, Definition (definition)
History
- 2026-11-02: add by m2/dev
The formula EBS7XHJ87R
| URI | m2://inv/EBS7XHJ87R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helffer–Sjöstrand formula#UB38, The formula (statement)
History
- 2026-11-02: add by m2/dev
EBT0TTERX6 EBT0TTERX6
| URI | m2://inv/EBT0TTERX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#CRD9 (statement). In S26QVW5613/e1, theorem 5.5.2
History
- 2026-10-30: add by m2/v0.4.12
EBT5YZEFXX EBT5YZEFXX
| URI | m2://inv/EBT5YZEFXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18239#XWM5 (statement). In C60WZ6WQSY/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
NaN EBT7EDHZJD
| URI | m2://inv/EBT7EDHZJD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q858684, NaN (unknown). Also MathWorld NaN
History
- 2026-10-26: add by m2/dev
Exterior determination at Lebesgue points EBT7TRTYW4
| URI | m2://inv/EBT7TRTYW4 |
|---|---|
| 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.17524#XXF9, Exterior determination at Lebesgue points (statement). In MKA4QH9VRE/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
EBT94SA55Q EBT94SA55Q
| URI | m2://inv/EBT94SA55Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
wheel EBTNGFTXN2
| URI | m2://inv/EBTNGFTXN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#AJ8P, wheel (definition)
History
- 2026-11-02: add by m2/dev
EBTRZTX2ZQ EBTRZTX2ZQ
| URI | m2://inv/EBTRZTX2ZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20480#BAAG (statement). In BK4359JSC3/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.4.2
790 (Number) EBV2F6FW7M
| URI | m2://inv/EBV2F6FW7M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#DB0Z, 790 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
EBVDD7RHGH EBVDD7RHGH
| URI | m2://inv/EBVDD7RHGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09599#2QMU (statement). In 4JYGH9XNA9/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Francis Bonahon EBVED7YW1R
| URI | m2://inv/EBVED7YW1R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Bonahon, Francis Bonahon (topic). Also Wikidata Q15810069
History
- 2026-11-02: add by m2/dev
EBVR64NFV9 EBVR64NFV9
| URI | m2://inv/EBVR64NFV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.06310#UJ5A (statement). In 9YR0E0T9XA/e1, proposition 5.11
History
- 2026-10-27: add by m2/v0.3.5
Madhav V. Nori EBVWPWEQ42
| URI | m2://inv/EBVWPWEQ42 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Madhav V. Nori, Madhav V. Nori (topic). Also Wikidata Q102115374
History
- 2026-11-02: add by m2/dev
Cartier divisor EBVYC0Q5YV
| URI | m2://inv/EBVYC0Q5YV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44950770, Cartier divisor (concept). Also nLab Cartier divisor
History
- 2026-10-26: add by m2/dev
Lenka Zdeborová EBW4MW1Y87
| URI | m2://inv/EBW4MW1Y87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#73LU, Lenka Zdeborová (unknown)
History
- 2026-11-02: add by m2/dev
Example EBW8ERP665
| URI | m2://inv/EBW8ERP665 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A* search algorithm#GR3O, Example (example)
History
- 2026-11-02: add by m2/dev
Properties EBW8F0FCYK
| URI | m2://inv/EBW8F0FCYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective domain#6CMU, Properties (statement)
History
- 2026-11-02: add by m2/dev
$L^{s}$-strong solution EBW8N7XQHH
| URI | m2://inv/EBW8N7XQHH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09494#78MC, $L^{s}$-strong solution (definition). In H297EPZQQB/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Properties EBWDB85GNG
| URI | m2://inv/EBWDB85GNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal pyramid#P3NX, Properties (statement)
History
- 2026-11-02: add by m2/dev
EBWNMB9XAM EBWNMB9XAM
| URI | m2://inv/EBWNMB9XAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#UR9S (statement). In CFJH0Q39FZ/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Algoritmi de numero Indorum EBWPBXSNFH
| URI | m2://inv/EBWPBXSNFH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Khwarizmi#2O8O, Algoritmi de numero Indorum (unknown)
History
- 2026-11-02: add by m2/dev
EBWTPMDBJV EBWTPMDBJV
| URI | m2://inv/EBWTPMDBJV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#H6OD (definition). In X88HPQ0W8C/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Properties EBWW26KHQK
| URI | m2://inv/EBWW26KHQK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsion of a curve#RH9O, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tori EBWX2SET56
| URI | m2://inv/EBWX2SET56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#VDF4, Tori (definition)
History
- 2026-11-02: add by m2/dev
EBX6YTA607 EBX6YTA607
| URI | m2://inv/EBX6YTA607 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#C3AQ (statement). In NBMA6DBKJG/e1, proposition 2.12
History
- 2026-10-28: add by m2/v0.4.2
EBXC1C5G8T EBXC1C5G8T
| URI | m2://inv/EBXC1C5G8T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-18 (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
EBXK79BWRH EBXK79BWRH
| URI | m2://inv/EBXK79BWRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03488#E7ZR (statement). In 9GXR1WEYWT/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
EBXT6HX9SG EBXT6HX9SG
| URI | m2://inv/EBXT6HX9SG |
|---|---|
| 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.20817#V0PW (statement). In M1YRBSZT4H/e1, proposition 12
History
- 2026-10-27: add by m2/v0.4.2
EBXZ1QERN7 EBXZ1QERN7
| URI | m2://inv/EBXZ1QERN7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.38061#061F (statement). In XFBW60M3AR/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Philosophy EBY29R274X
| URI | m2://inv/EBY29R274X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#6XFJ, Philosophy (unknown)
History
- 2026-11-02: add by m2/dev
EBYEEWHTXY EBYEEWHTXY
| URI | m2://inv/EBYEEWHTXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00103#L3P3 (statement). In S7RDXJWP1A/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
EBYEQK11ZA EBYEQK11ZA
| URI | m2://inv/EBYEQK11ZA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-52 (exercise). In E9HS8K3A52, exercise, section 7.4.5
History
- 2026-11-01: add by m2/v0.6.13
Stokes operator EBYFY040H5
| URI | m2://inv/EBYFY040H5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes operator, Stokes operator (definition). Also Wikidata Q7618551
History
- 2026-11-02: add by m2/dev
EBZGN1SF6G EBZGN1SF6G
| URI | m2://inv/EBZGN1SF6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20891#WHWP (statement). In WH55XAE8E2/e1, theorem A.1
History
- 2026-10-27: add by m2/v0.4.2
Applications EBZHP4T5QF
| URI | m2://inv/EBZHP4T5QF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dilation (operator theory)#E7J4, Applications (example)
History
- 2026-11-02: add by m2/dev
0,000 000 000 000 000 000 001 EBZQKVMYB4
| URI | m2://inv/EBZQKVMYB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#04GL, 0,000 000 000 000 000 000 001 (unknown)
History
- 2026-11-02: add by m2/dev
Self-similarity EBZQW7AGPJ
| URI | m2://inv/EBZQW7AGPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-similarity, Self-similarity (definition). Also Wikidata Q262372
History
- 2026-11-02: add by m2/dev
EBZVN3TX9D EBZVN3TX9D
| URI | m2://inv/EBZVN3TX9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13518#R7DA (statement). In 613TY6V089/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
Excision-like property EBZWFFSHXJ
| URI | m2://inv/EBZWFFSHXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08196#YAEE, Excision-like property (statement). In 8QVWZ23N42/e1, proposition 5.9
History
- 2026-10-29: add by m2/v0.4.10