Inventory rows 54
The cards of the rows of the inventory whose ids start with 54. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
View factor 5400S41QKV
| URI | m2://inv/5400S41QKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#T601, View factor (definition)
History
- 2026-11-02: add by m2/dev
Serre's Tor formula 54086VDJPA
| URI | m2://inv/54086VDJPA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection number#SGA9, Serre's Tor formula (statement)
History
- 2026-11-02: add by m2/dev
Cubicity 540DW2Q3R7
| URI | m2://inv/540DW2Q3R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubicity, Cubicity (definition). Also Wikidata Q118875651
History
- 2026-11-02: add by m2/dev
Wykeham Professor 540GCNX8CT
| URI | m2://inv/540GCNX8CT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wykeham Professor, Wykeham Professor (definition). Also Wikidata Q8039861
History
- 2026-11-02: add by m2/dev
540MFFCDTQ 540MFFCDTQ
| URI | m2://inv/540MFFCDTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21915#BCS5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Fundamental theorem of finite distributive lattices 540PA2HV24
| URI | m2://inv/540PA2HV24 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#JRHJ, Fundamental theorem of finite distributive lattices (statement)
History
- 2026-11-02: add by m2/dev
540Q3TM636 540Q3TM636
| URI | m2://inv/540Q3TM636 |
|---|---|
| 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 0807.1620#EMJD (statement). In 2AREGC7WB6/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Applications 540RJ5ZP1S
| URI | m2://inv/540RJ5ZP1S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cannonball problem#D2IB, Applications (example)
History
- 2026-11-02: add by m2/dev
540V5Y6RRT 540V5Y6RRT
| URI | m2://inv/540V5Y6RRT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#47Q7 (statement). In 7WMNVJBAVR/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Kunze and Monteiro-Marquez 540WGDX4CH
| URI | m2://inv/540WGDX4CH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27414#IZQD, Kunze and Monteiro-Marquez (statement)
History
- 2026-11-01: add by m2/v0.6.15
labeling algorithm 540WTDPTN2
| URI | m2://inv/540WTDPTN2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/13.4/labeling-algorithm, labeling algorithm (concept). In QKM9DD2H56, index, section 13.4
History
- 2026-11-01: add by m2/v0.6.13
54118DPAGT 54118DPAGT
| URI | m2://inv/54118DPAGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#Z1UP (statement). In XEQD21EBTT/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Volume 5412ZS0ZT2
| URI | m2://inv/5412ZS0ZT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#TEZY, Volume (definition)
History
- 2026-11-02: add by m2/dev
Quasi-smooth objects are insufficient 5413XR44YH
| URI | m2://inv/5413XR44YH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-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.28220#RZGB, Quasi-smooth objects are insufficient (example)
History
- 2026-11-01: add by m2/v0.6.15
5414H6Z7V6 5414H6Z7V6
| URI | m2://inv/5414H6Z7V6 |
|---|---|
| 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 2609.27730#27OH (statement)
History
- 2026-11-01: add by m2/v0.6.15
54150V890Q 54150V890Q
| URI | m2://inv/54150V890Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2409.00806#3Z28 (statement). In SBN06J39DG/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Heptagonal triangle 5418WE2Z4P
| URI | m2://inv/5418WE2Z4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24883336, Heptagonal triangle (unknown). Also MathWorld HeptagonalTriangle
- wikipedia: Wikipedia Heptagonal triangle, Heptagonal triangle (definition). Also Wikidata Q24883336
History
- 2026-10-26: add by m2/dev
541BNQ8JQJ 541BNQ8JQJ
| URI | m2://inv/541BNQ8JQJ |
|---|---|
| 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.20716#QKQ7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Unbiased Marcinkiewicz--Zygmund discretization 541CR6N0CA
| URI | m2://inv/541CR6N0CA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#O3QA, Unbiased Marcinkiewicz--Zygmund discretization (statement). In 9YAE8FNQST/e1, corollary 7.15
History
- 2026-10-30: add by m2/v0.4.12
541X0NQPC1 541X0NQPC1
| URI | m2://inv/541X0NQPC1 |
|---|---|
| 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.23779#YF96 (statement)
History
- 2026-11-02: add by m2/v0.6.17
James Horner 54217062CS
| URI | m2://inv/54217062CS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#3CZW, James Horner (unknown)
History
- 2026-11-02: add by m2/dev
Existence and uniqueness 542357ZKG7
| URI | m2://inv/542357ZKG7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infimum and supremum#LTOU, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
54281QMZMW 54281QMZMW
| URI | m2://inv/54281QMZMW |
|---|---|
| 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.19311#JFBS (statement). In 3MFD6RSV41/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
542C901EAC 542C901EAC
| URI | m2://inv/542C901EAC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-3 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
542CQ5QVVD 542CQ5QVVD
| URI | m2://inv/542CQ5QVVD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#thm:lagrange_grp (statement). In RZP28ERRZV, theorem, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Boundary continuity 542JM0FCTM
| URI | m2://inv/542JM0FCTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39409#ZWZZ, Boundary continuity (statement). In CQ0Z7QA0A5/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
542QVFP6D4 542QVFP6D4
| URI | m2://inv/542QVFP6D4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#YROU (definition)
History
- 2026-11-02: add by m2/v0.6.18
The height pattern for \texorpdfstring{$(p,q)=(2,3)$}{(p,q)=(2,3 542QVQKA0R
| URI | m2://inv/542QVQKA0R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#HZY8, The height pattern for \texorpdfstring{$(p,q)=(2,3)$}{(p,q)=(2,3 (example)
History
- 2026-11-01: add by m2/v0.6.15
Alex Kontorovich 5435KVHR0A
| URI | m2://inv/5435KVHR0A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alex Kontorovich, Alex Kontorovich (topic). Also Wikidata Q18616099
History
- 2026-11-02: add by m2/dev
Weakly inaccessible cardinal 5435VYNZRQ
| URI | m2://inv/5435VYNZRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#CKUH, Weakly inaccessible cardinal (definition)
History
- 2026-11-02: add by m2/dev
Applications 5438K2M3VR
| URI | m2://inv/5438K2M3VR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Position (geometry)#Y5AT, Applications (example)
History
- 2026-11-02: add by m2/dev
Uniform compactness after Gaussian smoothing 54395DKJAZ
| URI | m2://inv/54395DKJAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#DD1A, Uniform compactness after Gaussian smoothing (statement). In 9YAE8FNQST/e1, lemma 18.14
History
- 2026-10-30: add by m2/v0.4.12
5439KVNJ4W 5439KVNJ4W
| URI | m2://inv/5439KVNJ4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07546#WK64 (statement). In H9YE46CGFN/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Opaque context 543FSCFP9R
| URI | m2://inv/543FSCFP9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opaque context, Opaque context (definition). Also Wikidata Q1665723
History
- 2026-11-02: add by m2/dev
Richard Allen Hunt 543XP7J91B
| URI | m2://inv/543XP7J91B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R14T, Richard Allen Hunt (topic)
History
- 2026-11-02: add by m2/dev
John F. MacGregor 5440DAAA8R
| URI | m2://inv/5440DAAA8R |
|---|---|
| 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#NE6A, John F. MacGregor (topic)
History
- 2026-11-02: add by m2/dev
544774MK2H 544774MK2H
| URI | m2://inv/544774MK2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#23AI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 5448DN5MVY
| URI | m2://inv/5448DN5MVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frénicle standard form#TN1W, Properties (statement)
History
- 2026-11-02: add by m2/dev
Dyadic control for $\Gamma_x$ 5449JDFSHN
| URI | m2://inv/5449JDFSHN |
|---|---|
| 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.02721#9CPD, Dyadic control for $\Gamma_x$ (statement). In XXFYVDVPPE/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Holomorphic localization 544BETKDS2
| URI | m2://inv/544BETKDS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#7UI1, Holomorphic localization (statement). In 29X0B511NF/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
544EEN5JWP 544EEN5JWP
| URI | m2://inv/544EEN5JWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21954#DWA7 (statement). In F2XATDBRK4/e1, corollary 3
History
- 2026-10-27: add by m2/v0.4.2
544KGAP8NC 544KGAP8NC
| URI | m2://inv/544KGAP8NC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39706#31WN (statement). In 79Y8JJMKP4/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
Examples 544SM10QM7
| URI | m2://inv/544SM10QM7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equation#WVGE, Examples (example)
History
- 2026-11-02: add by m2/dev
Generalizations 544SZ8J8A9
| URI | m2://inv/544SZ8J8A9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caterpillar tree#4UGY, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Special cases 5452PQ1QCH
| URI | m2://inv/5452PQ1QCH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexell's theorem#NGS6, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Nicholas Kratzer 5453K24BNY
| URI | m2://inv/5453K24BNY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholas Kratzer, Nicholas Kratzer (topic). Also Wikidata Q59892
History
- 2026-11-02: add by m2/dev
David Arnold 545B15X6FQ
| URI | m2://inv/545B15X6FQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Arnold (mathematician), David Arnold (topic). Also Wikidata Q27032111
History
- 2026-11-02: add by m2/dev
545B2P26A5 545B2P26A5
| URI | m2://inv/545B2P26A5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#DS8W (definition)
History
- 2026-11-02: add by m2/v0.6.18
Nachbin's theorem 545KBHNBR7
| URI | m2://inv/545KBHNBR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6957141, Nachbin's theorem (statement). Also Wikidata Q6957141
- thousand_plus: thousand_plus Q6957141, Nachbin's theorem (statement). Also Wikidata Q6957141, Wikipedia Nachbin's theorem
- wikipedia: Wikipedia Nachbin's theorem, Nachbin's theorem (statement). Also Wikidata Q6957141
History
- 2026-10-26: add by m2/dev
Image plane 545Z87ZAQT
| URI | m2://inv/545Z87ZAQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Image plane, Image plane (definition). Also Wikidata Q2564580
History
- 2026-11-02: add by m2/dev
Properties 5461GGSK54
| URI | m2://inv/5461GGSK54 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doléans-Dade exponential#TSO6, Properties (statement)
History
- 2026-11-02: add by m2/dev
54698CP3AX 54698CP3AX
| URI | m2://inv/54698CP3AX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#5HY1 (statement). In HH35K7S17H/e1, lemma A.36
History
- 2026-10-29: add by m2/v0.4.10
546ADE36NX 546ADE36NX
| URI | m2://inv/546ADE36NX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/affine-projective.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 82.1
History
- 2026-11-01: add by m2/v0.6.13
Hadamard gate 546E5XT3A5
| URI | m2://inv/546E5XT3A5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#ZSU9, Hadamard gate (definition)
History
- 2026-11-02: add by m2/dev
546GKZJ1FC 546GKZJ1FC
| URI | m2://inv/546GKZJ1FC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#XN6S (statement). In D6XA7JXZF3/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.3.5
Momentum conservation and the third law 546XYWWVV5
| URI | m2://inv/546XYWWVV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's laws of motion#EVJR, Momentum conservation and the third law (statement)
History
- 2026-11-02: add by m2/dev
Shaher Momani 5470JNB5AV
| URI | m2://inv/5470JNB5AV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shaher Momani, Shaher Momani (topic). Also Wikidata Q22688461
History
- 2026-11-02: add by m2/dev
Nikolai Lobachevsky 54714AF6EH
| URI | m2://inv/54714AF6EH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolai Lobachevsky, Nikolai Lobachevsky (topic). Also Wikidata Q129199
History
- 2026-11-02: add by m2/dev
Singular perturbation 5478K58WTF
| URI | m2://inv/5478K58WTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#F52O, Singular perturbation (definition)
History
- 2026-11-02: add by m2/dev
Britton's Lemma 547F7H14EM
| URI | m2://inv/547F7H14EM |
|---|---|
| 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.21116#36EQ, Britton's Lemma (statement)
History
- 2026-11-02: add by m2/v0.6.18
547NF0V890 547NF0V890
| URI | m2://inv/547NF0V890 |
|---|---|
| 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.23526#5QQU (statement)
History
- 2026-11-02: add by m2/v0.6.17
547RB8BBCN 547RB8BBCN
| URI | m2://inv/547RB8BBCN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_polya_perm-groups.ptx#example-3 (example). In QKM9DD2H56, example, section 15.2.2
History
- 2026-11-01: add by m2/v0.6.13
5483R8K0QG 5483R8K0QG
| URI | m2://inv/5483R8K0QG |
|---|---|
| Kind | definition |
| 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#WFRT (definition). In VWNB6QJWFN/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
54849V72Y4 54849V72Y4
| URI | m2://inv/54849V72Y4 |
|---|---|
| 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.35467#YSWE (statement). In FK89DQ9J4S/e1, corollary 6.10
History
- 2026-10-30: add by m2/v0.4.12
Cycle per second 5487Y2MH7M
| URI | m2://inv/5487Y2MH7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle per second, Cycle per second (definition). Also Wikidata Q5198171
History
- 2026-11-02: add by m2/dev
Yang–Mills–Higgs equations 548CS03V3W
| URI | m2://inv/548CS03V3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Mills–Higgs equations, Yang–Mills–Higgs equations (definition). Also Wikidata Q8048682
History
- 2026-11-02: add by m2/dev
548EC0MHPN 548EC0MHPN
| URI | m2://inv/548EC0MHPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19945#JPFD (statement)
History
- 2026-11-02: add by m2/v0.6.18
V-topology 548VBEHEFM
| URI | m2://inv/548VBEHEFM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies on the category of schemes#TVKE, V-topology (unknown)
History
- 2026-11-02: add by m2/dev
548X819XSJ 548X819XSJ
| URI | m2://inv/548X819XSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#5NCC (statement). In E4EK1XXPY4/e1, proposition 5.6
History
- 2026-10-31: add by m2/v0.5.6
548Z79CNF1 548Z79CNF1
| URI | m2://inv/548Z79CNF1 |
|---|---|
| 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.07673#2W30 (statement). In 37B1MPV8GX/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
54963K3VV9 54963K3VV9
| URI | m2://inv/54963K3VV9 |
|---|---|
| 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.21921#J1Y8 (statement). In CM2YEK9T4F/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.2
549CQ6BM77 549CQ6BM77
| URI | m2://inv/549CQ6BM77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35669#V5KI (statement). In 8380G43M8E/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Jon A. Wellner 549K1MKEKV
| URI | m2://inv/549K1MKEKV |
|---|---|
| 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#7MZU, Jon A. Wellner (topic)
History
- 2026-11-02: add by m2/dev
Super Mario Bros. 549TWRS77D
| URI | m2://inv/549TWRS77D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#BX0M, Super Mario Bros. (unknown)
History
- 2026-11-02: add by m2/dev
Koebe quarter theorem 54A9K08ESX
| URI | m2://inv/54A9K08ESX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q588218, Koebe 1/4 theorem (statement). Also Wikidata Q588218
- thousand_plus: thousand_plus Q588218, Koebe 1/4 theorem (statement). Also Wikidata Q588218, Wikipedia Koebe 1/4 theorem
- wikipedia: Wikipedia Koebe quarter theorem, Koebe quarter theorem (statement). Also Wikidata Q588218
History
- 2026-10-26: add by m2/dev
Order-5 tesseractic honeycomb 54AE8B5W47
| URI | m2://inv/54AE8B5W47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#ANP5, Order-5 tesseractic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Definition 54AGF0NZDC
| URI | m2://inv/54AGF0NZDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper and lower sets#D52O, Definition (definition)
History
- 2026-11-02: add by m2/dev
Implementation 54AP1S9XQF
| URI | m2://inv/54AP1S9XQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risch algorithm#SDIJ, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Bad reduction 54AVD340RD
| URI | m2://inv/54AVD340RD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#HNQH, Bad reduction (definition)
History
- 2026-11-02: add by m2/dev
semi-symmetric graph 54B0W5AY7Y
| URI | m2://inv/54B0W5AY7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4391253, semi-symmetric graph (unknown). Also MathWorld SemisymmetricGraph
- wikipedia: Wikipedia Semi-symmetric graph, Semi-symmetric graph (definition). Also Wikidata Q4391253
History
- 2026-10-26: add by m2/dev
54B3K0KBE4 54B3K0KBE4
| URI | m2://inv/54B3K0KBE4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 79.4
History
- 2026-11-01: add by m2/v0.6.13
Kenmotsu manifold 54BDSG02H7
| URI | m2://inv/54BDSG02H7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenmotsu manifold, Kenmotsu manifold (definition). Also Wikidata Q104865024
History
- 2026-11-02: add by m2/dev
Examples 54BHQD7AT2
| URI | m2://inv/54BHQD7AT2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical singularity#EWXB, Examples (example)
History
- 2026-11-02: add by m2/dev
54BT1BA6GT 54BT1BA6GT
| URI | m2://inv/54BT1BA6GT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36410#9KQO (statement). In 1FRV7XDEGF/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Astronomia nova 54C0QESZN0
| URI | m2://inv/54C0QESZN0 |
|---|---|
| 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 Q779311, Astronomia nova (unknown). Also ProofWiki Book:Johannes_Kepler/Astronomia_Nova
History
- 2026-10-26: add by m2/dev
54C2EZPE9G 54C2EZPE9G
| URI | m2://inv/54C2EZPE9G |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12430#ITPA (example). In VGKCBWQ65N/e1, example 7.3
History
- 2026-10-28: add by m2/v0.4.2
54C3DKJHZN 54C3DKJHZN
| URI | m2://inv/54C3DKJHZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#O9A3 (statement). In 60CK7P5F36/e1, corollary 2.8
History
- 2026-10-27: add by m2/v0.3.5
Identity 54CFC812CF
| URI | m2://inv/54CFC812CF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redheffer star product#I29W, Identity (statement)
History
- 2026-11-02: add by m2/dev
Alaa A. Abdel Bary 54CM8F5W3V
| URI | m2://inv/54CM8F5W3V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alaa A. Abdel Bary, Alaa A. Abdel Bary (topic). Also Wikidata Q112712533
History
- 2026-11-02: add by m2/dev
Navier–Stokes equations 54CQE7NXEW
| URI | m2://inv/54CQE7NXEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#QSC5, Navier–Stokes equations (definition)
History
- 2026-11-02: add by m2/dev
hyperdeterminant 54CSC1J1E6
| URI | m2://inv/54CSC1J1E6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#HGKW, hyperdeterminant (definition)
History
- 2026-11-02: add by m2/dev
54CTH05NC6 54CTH05NC6
| URI | m2://inv/54CTH05NC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15454#0UUF (statement). In RGQZVNXWM5/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
54CV88KS4Z 54CV88KS4Z
| URI | m2://inv/54CV88KS4Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#0MJV (definition). In WYDHWYFRFK/e1, definition 3.11
History
- 2026-10-31: add by m2/v0.5.6
Examples of non-Sahlqvist formulas 54CWM4JY62
| URI | m2://inv/54CWM4JY62 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sahlqvist formula#UUCT, Examples of non-Sahlqvist formulas (example)
History
- 2026-11-02: add by m2/dev
Example 54DAV7B51K
| URI | m2://inv/54DAV7B51K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform#HKVE, Example (example)
History
- 2026-11-02: add by m2/dev
Convergence 54DEQSYPYJ
| URI | m2://inv/54DEQSYPYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#9ZPC, Convergence (statement). In WRE0P7V6Z3/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
Grace Bediako 54DEXP2HPQ
| URI | m2://inv/54DEXP2HPQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grace Bediako, Grace Bediako (topic). Also Wikidata Q26923381
History
- 2026-11-02: add by m2/dev
Komlós' theorem 54DGDT9N53
| URI | m2://inv/54DGDT9N53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Komlós' theorem, Komlós' theorem (statement). Also Wikidata Q114741715
History
- 2026-11-02: add by m2/dev
consequent 54DKWVFNW5
| URI | m2://inv/54DKWVFNW5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.2/consequent, consequent (concept). In Y91XFCEVHQ, index, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
Formulations 54E2K74FTT
| URI | m2://inv/54E2K74FTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courcelle's theorem#DC3A, Formulations (definition)
History
- 2026-11-02: add by m2/dev
54E7QRX2EF 54E7QRX2EF
| URI | m2://inv/54E7QRX2EF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17602#GW96 (statement). In BH62508WHJ/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Carothers equation 54E8GK01EX
| URI | m2://inv/54E8GK01EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carothers equation, Carothers equation (definition). Also Wikidata Q900716
History
- 2026-11-02: add by m2/dev
Extensions 54ECCFCBF2
| URI | m2://inv/54ECCFCBF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buchdahl's theorem#YLIH, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Quadrature filter 54EE9WN6SP
| URI | m2://inv/54EE9WN6SP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrature filter, Quadrature filter (definition). Also Wikidata Q7268382
History
- 2026-11-02: add by m2/dev
Identity-based encryption 54EHQ0RZY9
| URI | m2://inv/54EHQ0RZY9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity-based encryption, Identity-based encryption (statement). Also Wikidata Q17081451
History
- 2026-11-02: add by m2/dev
Kernel (group theory) 54EMW5XC4N
| URI | m2://inv/54EMW5XC4N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel (algebra)#D8G0, Kernel (group theory) (unknown)
History
- 2026-11-02: add by m2/dev
Quadray coordinates 54EV9Q34RQ
| URI | m2://inv/54EV9Q34RQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadray coordinates, Quadray coordinates (definition). Also Wikidata Q7268386
History
- 2026-11-02: add by m2/dev
Logarithmically concave sequence 54F1P8H14J
| URI | m2://inv/54F1P8H14J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmically concave sequence, Logarithmically concave sequence (definition). Also Wikidata Q16945687
History
- 2026-11-02: add by m2/dev
Real degree of fermentation 54F9JYYWYJ
| URI | m2://inv/54F9JYYWYJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravity (alcoholic beverage)#EBHB, Real degree of fermentation (unknown)
History
- 2026-11-02: add by m2/dev
54FAG9D32Z 54FAG9D32Z
| URI | m2://inv/54FAG9D32Z |
|---|---|
| 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.27151#QKSV (statement)
History
- 2026-11-01: add by m2/v0.6.15
54FAVCQZC1 54FAVCQZC1
| URI | m2://inv/54FAVCQZC1 |
|---|---|
| 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 2610.07092#A9O0 (definition). In JWNYJVH8XG/e1, definition 3.18
History
- 2026-10-29: add by m2/v0.4.10
skeleton, of a CW-complex 54FBZG6ZP2
| URI | m2://inv/54FBZG6ZP2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.6/skeleton-of-a-cw-complex, skeleton, of a CW-complex (concept). In N54F33XE07, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
54FFZ00Q2B 54FFZ00Q2B
| URI | m2://inv/54FFZ00Q2B |
|---|---|
| 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.04117#9E8Y (statement). In 65E9N3DFYP/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
54FHB9E4RK 54FHB9E4RK
| URI | m2://inv/54FHB9E4RK |
|---|---|
| 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 2305.06030#58CL (statement). In 2Q0CNQ8DQB/e1, proposition 1.3
History
- 2026-10-27: add by m2/v0.3.5
4-wavevector 54FN1TCZYF
| URI | m2://inv/54FN1TCZYF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-vector#T1L0, 4-wavevector (unknown)
History
- 2026-11-02: add by m2/dev
54FNM2VN9P 54FNM2VN9P
| URI | m2://inv/54FNM2VN9P |
|---|---|
| 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.32599#VUMH (statement). In E1Y93JNBJA/e1, lemma 5.5
History
- 2026-10-31: add by m2/v0.5.6
Medha Yodh 54FTNETS59
| URI | m2://inv/54FTNETS59 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#3LA4, Medha Yodh (unknown)
History
- 2026-11-02: add by m2/dev
54FXQSD0R4 54FXQSD0R4
| URI | m2://inv/54FXQSD0R4 |
|---|---|
| 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.30302#7GNA (statement). In R6ABTE22G0/e1, corollary 6
History
- 2026-10-31: add by m2/v0.5.6
Al'brekht's method 54G3W6M13Z
| URI | m2://inv/54G3W6M13Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15942#5029, Al'brekht's method (statement). In E1X1SEPNJZ/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
54G4HT17G6 54G4HT17G6
| URI | m2://inv/54G4HT17G6 |
|---|---|
| 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.37237#X0BT (statement). In GBY82BZCNA/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
54G6MVFGPC 54G6MVFGPC
| URI | m2://inv/54G6MVFGPC |
|---|---|
| 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 2404.06445#PHU2 (statement). In 12JKZ8EN52/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
Toroidal embedding 54GJ82YR2M
| URI | m2://inv/54GJ82YR2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toroidal embedding, Toroidal embedding (definition). Also Wikidata Q55643429
History
- 2026-11-02: add by m2/dev
54GJKFJYVF 54GJKFJYVF
| URI | m2://inv/54GJKFJYVF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 22.2
History
- 2026-11-01: add by m2/v0.6.13
Walsh Report 54GKHSDXPY
| URI | m2://inv/54GKHSDXPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walsh Report (cryptography), Walsh Report (definition). Also Wikidata Q18166596
History
- 2026-11-02: add by m2/dev
Steinhaus longimeter 54GRVVM4MH
| URI | m2://inv/54GRVVM4MH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7606889, Steinhaus longimeter (concept). Also MathWorld Longimeter
- wikipedia: Wikipedia Steinhaus longimeter, Steinhaus longimeter (definition). Also Wikidata Q7606889
History
- 2026-10-26: add by m2/dev
54GTJ2K025 54GTJ2K025
| URI | m2://inv/54GTJ2K025 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#claim-1 (statement). In VNMV985MXX, claim, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Theorem 54H0S6NAJW
| URI | m2://inv/54H0S6NAJW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pushdown automaton#NL1T, Theorem (statement)
History
- 2026-11-02: add by m2/dev
supersymmetric quantum chromodynamics 54HWQHWJZ9
| URI | m2://inv/54HWQHWJZ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7642664, supersymmetric quantum chromodynamics (unknown). Also nLab super QCD
History
- 2026-10-26: add by m2/dev
Włodzimierz Stożek 54J6RNFPVP
| URI | m2://inv/54J6RNFPVP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Włodzimierz Stożek, Włodzimierz Stożek (topic). Also Wikidata Q555588
History
- 2026-11-02: add by m2/dev
54J7P2KV85 54J7P2KV85
| URI | m2://inv/54J7P2KV85 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20042#6L3T (statement)
History
- 2026-11-02: add by m2/v0.6.18
54JAPDDG1X 54JAPDDG1X
| URI | m2://inv/54JAPDDG1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#GO4J (statement). In N5ZM8MXJXH/e1, lemma B.4
History
- 2026-10-29: add by m2/v0.4.10
Fisher, Sir Ronald A. 54JG4G900K
| URI | m2://inv/54JG4G900K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#KM90, Fisher, Sir Ronald A. (topic)
History
- 2026-11-02: add by m2/dev
France 54JRZJZT27
| URI | m2://inv/54JRZJZT27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by past and projected future population#IDXU, France (unknown)
History
- 2026-11-02: add by m2/dev
Five room puzzle 54JY8QM4X0
| URI | m2://inv/54JY8QM4X0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of impossible puzzles#BMTV, Five room puzzle (problem)
History
- 2026-11-02: add by m2/dev
Longest repeated substring problem 54JYVXJV4K
| URI | m2://inv/54JYVXJV4K |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longest repeated substring problem, Longest repeated substring problem (problem). Also Wikidata Q6673747
History
- 2026-11-02: add by m2/dev
How Not to Be Wrong 54K1V1WB2A
| URI | m2://inv/54K1V1WB2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#7W62, How Not to Be Wrong (definition)
History
- 2026-11-02: add by m2/dev
54K7X6EQXN 54K7X6EQXN
| URI | m2://inv/54K7X6EQXN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#FDFB (definition)
History
- 2026-11-02: add by m2/v0.6.17
Detection on an isolating seeded interval 54K8KB6H5A
| URI | m2://inv/54K8KB6H5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36594#PIJK, Detection on an isolating seeded interval (statement). In 8JDQ9FWFRK/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
54K9JK90EW 54K9JK90EW
| URI | m2://inv/54K9JK90EW |
|---|---|
| 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.31274#IG8F (statement). In RK0ZMDJ23T/e1, lemma 3.4.5
History
- 2026-10-31: add by m2/v0.5.6
Coordinative definition 54KBEYSW95
| URI | m2://inv/54KBEYSW95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinative definition, Coordinative definition (definition). Also Wikidata Q5168037
History
- 2026-11-02: add by m2/dev
Negotiation theory 54KCBZ2E0R
| URI | m2://inv/54KCBZ2E0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negotiation theory, Negotiation theory (topic). Also Wikidata Q6987443
History
- 2026-11-02: add by m2/dev
Bruno de Finetti 54KDFHHDHW
| URI | m2://inv/54KDFHHDHW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L2N9, Bruno de Finetti (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ZON5, Bruno de Finetti (topic)
History
- 2026-11-02: add by m2/dev
Lemma 2 54KKXFC44A
| URI | m2://inv/54KKXFC44A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McNaughton's theorem#1DY5, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
54M6VAR57Y 54M6VAR57Y
| URI | m2://inv/54M6VAR57Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#WHTR (statement). In F5STMSPR6X/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.12
Peter Wynn 54MD67XK99
| URI | m2://inv/54MD67XK99 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Wynn (mathematician), Peter Wynn (topic). Also Wikidata Q7177810
History
- 2026-11-02: add by m2/dev
Polyphase sequence 54MEKFAF5R
| URI | m2://inv/54MEKFAF5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyphase sequence, Polyphase sequence (definition). Also Wikidata Q7226738
History
- 2026-11-02: add by m2/dev
$\alpha$-quantum cone 54MFD4M6YG
| URI | m2://inv/54MFD4M6YG |
|---|---|
| Kind | definition |
| 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#O64A, $\alpha$-quantum cone (definition). In JW8HH6EPG2/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Definition 54MGRWZT0K
| URI | m2://inv/54MGRWZT0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean absolute percentage error#LXZF, Definition (definition)
History
- 2026-11-02: add by m2/dev
54MPJSFA61 54MPJSFA61
| URI | m2://inv/54MPJSFA61 |
|---|---|
| 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.10365#4V2I (statement). In PRVQPSBVHK/e1, lemma 22
History
- 2026-10-29: add by m2/v0.4.10
54MQC72PC1 54MQC72PC1
| URI | m2://inv/54MQC72PC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.01860#2W7R (statement). In 8HYS0MFE25/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
54MQVGEYP4 54MQVGEYP4
| URI | m2://inv/54MQVGEYP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroInduction.tex#theorem-4 (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
54MTXSTEA4 54MTXSTEA4
| URI | m2://inv/54MTXSTEA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#ZV5G (statement). In GW23NX78SB/e1, lemma 3.26
History
- 2026-10-28: add by m2/v0.4.2
CECPQ2 54MXVR9NCY
| URI | m2://inv/54MXVR9NCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CECPQ2, CECPQ2 (definition). Also Wikidata Q82261112
History
- 2026-11-02: add by m2/dev
Jean-Baptiste Pomey 54MYTSZG0E
| URI | m2://inv/54MYTSZG0E |
|---|---|
| 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#Z8JQ, Jean-Baptiste Pomey (unknown)
History
- 2026-11-02: add by m2/dev
54MYW3SMG7 54MYW3SMG7
| URI | m2://inv/54MYW3SMG7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34081#QJET (statement). In 3RVGEKGX46/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
54MZCVJD05 54MZCVJD05
| URI | m2://inv/54MZCVJD05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#6GWD (statement). In M0SQY5EZN5/e1, lemma 4.9.1
History
- 2026-10-27: add by m2/v0.3.5
54N5FZM1EZ 54N5FZM1EZ
| URI | m2://inv/54N5FZM1EZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#7FM3 (statement). In GWNT8HEZG1/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.6
54N6D739FK 54N6D739FK
| URI | m2://inv/54N6D739FK |
|---|---|
| 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 2112.05010#X4GG (statement). In 4SZNPS3Z00/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.6
Sergei Starchenko 54NB2FRC44
| URI | m2://inv/54NB2FRC44 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L7QK, Sergei Starchenko (topic)
History
- 2026-11-02: add by m2/dev
54NBWN6TTK 54NBWN6TTK
| URI | m2://inv/54NBWN6TTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00271#UN68 (statement). In T1NSCAZS28/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
Apéry's constant 54NG4P89PK
| URI | m2://inv/54NG4P89PK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q622682, Apéry's constant (object). Also MathWorld AperysConstant, OEIS A002117, OEIS A013631, ProofWiki Definition:Apéry's_Constant
- wikipedia: Wikipedia Apéry's constant, Apéry's constant (definition). Also Wikidata Q622682
History
- 2026-10-26: add by m2/dev
Ellipsoidal Gaussian references 54NKSCPAMN
| URI | m2://inv/54NKSCPAMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#NRAK, Ellipsoidal Gaussian references (statement). In 9YAE8FNQST/e1, corollary 4.12
History
- 2026-10-30: add by m2/v0.4.12
Corollary 54NVV29WF7
| URI | m2://inv/54NVV29WF7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#UM8I, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Ljubomir Chakaloff 54NXTN202R
| URI | m2://inv/54NXTN202R |
|---|---|
| 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#DP0Z, Ljubomir Chakaloff (unknown)
History
- 2026-11-02: add by m2/dev
54NY8GSDYC 54NY8GSDYC
| URI | m2://inv/54NY8GSDYC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08028#T85E (definition). In Z19XDA8QY9/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.10
Inverse quadratic interpolation 54NYQ7YH13
| URI | m2://inv/54NYQ7YH13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse quadratic interpolation, Inverse quadratic interpolation (definition). Also Wikidata Q3153554
History
- 2026-11-02: add by m2/dev
Denis Osin 54PBGJM84E
| URI | m2://inv/54PBGJM84E |
|---|---|
| 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#9F1T, Denis Osin (unknown)
History
- 2026-11-02: add by m2/dev
Convergence of random variables 54PCNB0H74
| URI | m2://inv/54PCNB0H74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence of random variables, Convergence of random variables (definition). Also Wikidata Q578985
History
- 2026-11-02: add by m2/dev
Cut-off resolvent 54PFH0MNNA
| URI | m2://inv/54PFH0MNNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11968#MW6N, Cut-off resolvent (statement). In X6E7P2ACAS/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.3
Polynomial elimination 54PHVX7ZFN
| URI | m2://inv/54PHVX7ZFN |
|---|---|
| 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#SIRU, Polynomial elimination (statement). In S26QVW5613/e1, lemma 4.7.3
History
- 2026-10-30: add by m2/v0.4.12
54PJNB48N2 54PJNB48N2
| URI | m2://inv/54PJNB48N2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#GNVT (statement). In X38P26DK6S/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.4.0
Distance margin representation 54PKAP6VY4
| URI | m2://inv/54PKAP6VY4 |
|---|---|
| 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.08152#DO7I, Distance margin representation (statement). In T1GYQ6SCCZ/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
A useful corollary 54PKYD0B5K
| URI | m2://inv/54PKYD0B5K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szemerédi regularity lemma#BS3K, A useful corollary (statement)
History
- 2026-11-02: add by m2/dev
54PMYMR4AQ 54PMYMR4AQ
| URI | m2://inv/54PMYMR4AQ |
|---|---|
| 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.29723#SL0I (statement)
History
- 2026-11-01: add by m2/v0.6.15
54PVQQFVN0 54PVQQFVN0
| URI | m2://inv/54PVQQFVN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23593#Z2ZL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Axioms of projective geometry 54PX7C9NEB
| URI | m2://inv/54PX7C9NEB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective geometry#COJY, Axioms of projective geometry (statement)
History
- 2026-11-02: add by m2/dev
54Q4E9VXQQ 54Q4E9VXQQ
| URI | m2://inv/54Q4E9VXQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06746#OOQ6 (statement). In B8A6BPP922/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
54QC0N4CQZ 54QC0N4CQZ
| URI | m2://inv/54QC0N4CQZ |
|---|---|
| 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.30203#MZ5Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
54QCJFAYBV 54QCJFAYBV
| URI | m2://inv/54QCJFAYBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#IDEH (statement). In 9YAE8FNQST/e1, proposition 30.19
History
- 2026-10-30: add by m2/v0.4.12
54QE564GBQ 54QE564GBQ
| URI | m2://inv/54QE564GBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36022#JWZH (statement). In ENH5XNBQWH/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
54QEMD83EG 54QEMD83EG
| URI | m2://inv/54QEMD83EG |
|---|---|
| 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.20656#Z087 (statement)
History
- 2026-11-02: add by m2/v0.6.18
54QHB4G673 54QHB4G673
| URI | m2://inv/54QHB4G673 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21892#6V34 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Li Shanlan identity 54QJS5SD89
| URI | m2://inv/54QJS5SD89 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Li Shanlan identity, Li Shanlan identity (statement). Also Wikidata Q11095733
History
- 2026-11-02: add by m2/dev
Local well-posedness 54QP8AP9T8
| URI | m2://inv/54QP8AP9T8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21256#OQ88, Local well-posedness (statement)
History
- 2026-11-02: add by m2/v0.6.18
equivalence 54QPHTJQMB
| URI | m2://inv/54QPHTJQMB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.4/equivalence, equivalence (concept). In N54F33XE07, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
M-spline 54QTHQGSWW
| URI | m2://inv/54QTHQGSWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#KCWY, M-spline (definition)
History
- 2026-11-02: add by m2/dev
Dois Córregos 54QX8HAW85
| URI | m2://inv/54QX8HAW85 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#1MA4, Dois Córregos (unknown)
History
- 2026-11-02: add by m2/dev
Jack function 54QZ7AD12D
| URI | m2://inv/54QZ7AD12D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#6YEB, Jack function (definition)
History
- 2026-11-02: add by m2/dev
Wooden iron 54RY7HXWN2
| URI | m2://inv/54RY7HXWN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wooden iron, Wooden iron (definition). Also Wikidata Q8032596
History
- 2026-11-02: add by m2/dev
cumulant 54S9NKF8JD
| URI | m2://inv/54S9NKF8JD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#JTL4, cumulant (definition)
History
- 2026-11-02: add by m2/dev
McDiarmid's Inequality (Differences bounded with high probability) 54SB5HWBYR
| URI | m2://inv/54SB5HWBYR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McDiarmid's inequality#59KL, McDiarmid's Inequality (Differences bounded with high probability) (statement)
History
- 2026-11-02: add by m2/dev
Jean-Jacques Quisquater 54SEYN64GE
| URI | m2://inv/54SEYN64GE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OG07, Jean-Jacques Quisquater (unknown)
History
- 2026-11-02: add by m2/dev
54SHQKWP9B 54SHQKWP9B
| URI | m2://inv/54SHQKWP9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#7RK8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Construction 54SJMESRYE
| URI | m2://inv/54SJMESRYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angle of parallelism#L638, Construction (definition)
History
- 2026-11-02: add by m2/dev
Distance 54SK17FBKK
| URI | m2://inv/54SK17FBKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#DYFC, Distance (definition)
History
- 2026-11-02: add by m2/dev
Hasse principle 54SKMMKNKC
| URI | m2://inv/54SKMMKNKC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hasse principle EMAR4X3W8D |
Mentions
- wikidata: Wikidata Q2115578, Hasse principle (concept). Also MathWorld HassePrinciple
- wikipedia: Wikipedia Hasse principle, Hasse principle (statement). Also Wikidata Q2115578
History
- 2026-10-26: add by m2/dev
Theodore Gamelin 54SN7G5S6X
| URI | m2://inv/54SN7G5S6X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theodore Gamelin, Theodore Gamelin (topic). Also Wikidata Q28674640
History
- 2026-11-02: add by m2/dev
54SN9Z24P4 54SN9Z24P4
| URI | m2://inv/54SN9Z24P4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23872#9GUI (statement)
History
- 2026-11-02: add by m2/v0.6.17
54SY82J9F3 54SY82J9F3
| URI | m2://inv/54SY82J9F3 |
|---|---|
| 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 2204.13401#7687 (statement). In B8MJT0GGW8/e1, lemma 4.33
History
- 2026-10-27: add by m2/v0.4.0
Folded Reed–Solomon code 54SYTD8RCZ
| URI | m2://inv/54SYTD8RCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Folded Reed–Solomon code, Folded Reed–Solomon code (definition). Also Wikidata Q5464277
History
- 2026-11-02: add by m2/dev
Applications 54TCDDVV6C
| URI | m2://inv/54TCDDVV6C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase contrast magnetic resonance imaging#MQ43, Applications (example)
History
- 2026-11-02: add by m2/dev
54TDS3Y596 54TDS3Y596
| URI | m2://inv/54TDS3Y596 |
|---|---|
| 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.14135#3CAN (statement). In C304J64Q79/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
54TE44V6XB 54TE44V6XB
| URI | m2://inv/54TE44V6XB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#UCTX (definition). In XJ59TDP4HA/e1, definition 3.14
History
- 2026-10-28: add by m2/v0.4.2
54TF1YJ7NQ 54TF1YJ7NQ
| URI | m2://inv/54TF1YJ7NQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/induction/induction-on-N.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 43.1
History
- 2026-11-01: add by m2/v0.6.13
54TZBDHG9P 54TZBDHG9P
| URI | m2://inv/54TZBDHG9P |
|---|---|
| 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#41I4 (statement). In 9YR0E0T9XA/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.3.5
Max Dehn 54V0KC4X11
| URI | m2://inv/54V0KC4X11 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#OZUJ, Max Dehn (topic)
History
- 2026-11-02: add by m2/dev
54VDVH7THV 54VDVH7THV
| URI | m2://inv/54VDVH7THV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#1LYD (statement). In M4ZVJWM8YA/e1, lemma A.17
History
- 2026-10-27: add by m2/v0.4.2
Examples 54VM6114FP
| URI | m2://inv/54VM6114FP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separatrix (mathematics)#0PCK, Examples (example)
History
- 2026-11-02: add by m2/dev
54VT1SJEWT 54VT1SJEWT
| URI | m2://inv/54VT1SJEWT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19437#9RGO (definition). In 9PXXGQ978Z/e1, definition 1.5
History
- 2026-10-28: add by m2/v0.4.2
54W0KGKQ9J 54W0KGKQ9J
| URI | m2://inv/54W0KGKQ9J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-15 (proof). In N54F33XE07, proof, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
Variants 54W0P3E4G8
| URI | m2://inv/54W0P3E4G8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto efficiency#ZE7O, Variants (statement)
History
- 2026-11-02: add by m2/dev
Admissible stopped Zakai solution 54W9XF0W7W
| URI | m2://inv/54W9XF0W7W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28985#R9AL, Admissible stopped Zakai solution (definition)
History
- 2026-11-01: add by m2/v0.6.15
54WB8Z2BSX 54WB8Z2BSX
| URI | m2://inv/54WB8Z2BSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.18690#DHZM (statement). In MDCJJJRQ2X/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
54WSR9VDHZ 54WSR9VDHZ
| URI | m2://inv/54WSR9VDHZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#S0S0 (example)
History
- 2026-11-01: add by m2/v0.6.15
Construction of the symmedian 54WT5G7MTE
| URI | m2://inv/54WT5G7MTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmedian#BWTT, Construction of the symmedian (definition)
History
- 2026-11-02: add by m2/dev
Theorem 54X2SF8E77
| URI | m2://inv/54X2SF8E77 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz space#5FHR, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Partial order 54XD2R1AKV
| URI | m2://inv/54XD2R1AKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/orders.tex#defn-2, Partial order (definition). In PKGMM3P5QY, defn, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
54XE1BCV17 54XE1BCV17
| URI | m2://inv/54XE1BCV17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10968#I1HU (statement). In KJRV9ZW833/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.3
54XV5DB6J4 54XV5DB6J4
| URI | m2://inv/54XV5DB6J4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 53-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.29188#YSWT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform one-dimensional \(L^\infty\) estimate 54XVMXGT1S
| URI | m2://inv/54XVMXGT1S |
|---|---|
| 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.07259#PM6H, Uniform one-dimensional \(L^\infty\) estimate (statement). In XMR1TTDSPG/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
\bf{$L^1$-contraction and uniqueness 54XWDM983D
| URI | m2://inv/54XWDM983D |
|---|---|
| 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.16700#P5VS, \bf{$L^1$-contraction and uniqueness (statement). In 3JPKD7NBEN/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Definition 54XY6MK9XE
| URI | m2://inv/54XY6MK9XE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical braid group#ZUVA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples 54Y5WB1HHP
| URI | m2://inv/54Y5WB1HHP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive operator algebra#5QUS, Examples (example)
History
- 2026-11-02: add by m2/dev
54YBKG1QS7 54YBKG1QS7
| URI | m2://inv/54YBKG1QS7 |
|---|---|
| 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#R34Q (definition)
History
- 2026-11-01: add by m2/v0.6.15
Rudolf Haag 54YG0D29VM
| URI | m2://inv/54YG0D29VM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RAYG, Rudolf Haag (unknown)
History
- 2026-11-02: add by m2/dev
54YK0MJJDX 54YK0MJJDX
| URI | m2://inv/54YK0MJJDX |
|---|---|
| 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.03497#PB9D (statement). In RRNHC0CAC9/e1, lemma
History
- 2026-10-29: add by m2/v0.4.12
54YMTSEJG4 54YMTSEJG4
| URI | m2://inv/54YMTSEJG4 |
|---|---|
| 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.36313#JX4Z (statement). In Z5SP3NW41S/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Formulation 54YQPHDKKC
| URI | m2://inv/54YQPHDKKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse-variance weighting#GS3T, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Derivation from statistical mechanical principles 54YQYXWRP6
| URI | m2://inv/54YQYXWRP6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental thermodynamic relation#3355, Derivation from statistical mechanical principles (statement)
History
- 2026-11-02: add by m2/dev
54YXDMZBKS 54YXDMZBKS
| URI | m2://inv/54YXDMZBKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#0N8M (statement). In E31CZYM2H8/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
54Z7NC9FA0 54Z7NC9FA0
| URI | m2://inv/54Z7NC9FA0 |
|---|---|
| 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#18ZH (example). In 37B1MPV8GX/e1, example 3.5
History
- 2026-10-29: add by m2/v0.4.10
Tate curve 54ZD001EP9
| URI | m2://inv/54ZD001EP9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7687976, Tate curve (concept). Also nLab Tate curve
- wikipedia: Wikipedia Tate curve, Tate curve (definition). Also Wikidata Q7687976
History
- 2026-10-26: add by m2/dev
54ZEC4YH5H 54ZEC4YH5H
| URI | m2://inv/54ZEC4YH5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37450#R7F7 (statement). In FP05Z6EBV4/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
Bernard R. Hodgson 54ZQC9CVDE
| URI | m2://inv/54ZQC9CVDE |
|---|---|
| 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#JMSV, Bernard R. Hodgson (unknown)
History
- 2026-11-02: add by m2/dev
54ZVV9VMBQ 54ZVV9VMBQ
| URI | m2://inv/54ZVV9VMBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38267#R5JJ (statement). In 518V871EKW/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Structure reduction theorem 54ZWNBHCTX
| URI | m2://inv/54ZWNBHCTX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsor (algebraic geometry)#CO0K, Structure reduction theorem (statement)
History
- 2026-11-02: add by m2/dev