Inventory rows FD
The cards of the rows of the inventory whose ids start with FD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
First proof FD08F88NG1
| URI | m2://inv/FD08F88NG1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-10, First proof (proof). In N54F33XE07, proof, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
The complete \(Y\)-junction and Euclidean invisibility FD0C7EPS4Z
| URI | m2://inv/FD0C7EPS4Z |
|---|---|
| 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.20215#IY8R, The complete \(Y\)-junction and Euclidean invisibility (statement)
History
- 2026-11-02: add by m2/v0.6.18
FD0MRBDS82 FD0MRBDS82
| URI | m2://inv/FD0MRBDS82 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25539#ZIV7 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Phase regimes FD0QR8RMTB
| URI | m2://inv/FD0QR8RMTB |
|---|---|
| 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.18935#QOCV, Phase regimes (statement). In HPEEJY1S3S/e1, theorem 22
History
- 2026-10-28: add by m2/v0.4.2
FD0RQR8VVM FD0RQR8VVM
| URI | m2://inv/FD0RQR8VVM |
|---|---|
| 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 0812.1600#GPRB (definition). In 7Z12QX7837/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.3.5
FD12T98SVK FD12T98SVK
| URI | m2://inv/FD12T98SVK |
|---|---|
| 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 2502.02777#EC84 (statement). In D8T5GDXERW/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
FD1C2A5M7D FD1C2A5M7D
| URI | m2://inv/FD1C2A5M7D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.21914#Q60V (definition)
History
- 2026-11-02: add by m2/v0.6.17
FD1C30K5BZ FD1C30K5BZ
| URI | m2://inv/FD1C30K5BZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.25289#UDG4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
FD1JBDGJN0 FD1JBDGJN0
| URI | m2://inv/FD1JBDGJN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#XFAJ (statement). In JWNYJVH8XG/e1, proposition 4.9
History
- 2026-10-29: add by m2/v0.4.10
Topological computing FD1KTH0NSJ
| URI | m2://inv/FD1KTH0NSJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#DYB1, Topological computing (unknown)
History
- 2026-11-02: add by m2/dev
FD1Q2PKAJC FD1Q2PKAJC
| URI | m2://inv/FD1Q2PKAJC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/replacement.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 73.2
History
- 2026-11-01: add by m2/v0.6.13
Type-$C$ companion cell model FD1QMD13BB
| URI | m2://inv/FD1QMD13BB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#237J, Type-$C$ companion cell model (statement)
History
- 2026-11-01: add by m2/v0.6.15
Smooth curve FD1S6FE7HS
| URI | m2://inv/FD1S6FE7HS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve#GWHF, Smooth curve (unknown)
History
- 2026-11-02: add by m2/dev
Geometric symmetry FD1VKY4XN3
| URI | m2://inv/FD1VKY4XN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric symmetry (book), Geometric symmetry (definition). Also Wikidata Q125167038
History
- 2026-11-02: add by m2/dev
GPL license FD1W9QGM3K
| URI | m2://inv/FD1W9QGM3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of interactive geometry software#BF87, GPL license (unknown)
History
- 2026-11-02: add by m2/dev
Dynamic equilibrium (mechanics) FD1ZBG1C3T
| URI | m2://inv/FD1ZBG1C3T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid body dynamics#BCSU, Dynamic equilibrium (mechanics) (unknown)
History
- 2026-11-02: add by m2/dev
Glen Van Brummelen FD20BBTW9D
| URI | m2://inv/FD20BBTW9D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glen Van Brummelen, Glen Van Brummelen (topic). Also Wikidata Q5568085
History
- 2026-11-02: add by m2/dev
Tennis racket theorem FD21G1ESA5
| URI | m2://inv/FD21G1ESA5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tennis racket theorem, Tennis racket theorem (statement). Also Wikidata Q944604
History
- 2026-11-02: add by m2/dev
× FD2AD7PRHY
| URI | m2://inv/FD2AD7PRHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#48XF, × (definition)
History
- 2026-11-02: add by m2/dev
F/f FD2AP492Z3
| URI | m2://inv/FD2AP492Z3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9765, F/f (unknown). Also ProofWiki Symbols:F
History
- 2026-10-26: add by m2/dev
FD2VNBKFBM FD2VNBKFBM
| URI | m2://inv/FD2VNBKFBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#BVSP (statement). In GYMGDQS25R/e1, lemma 5.16
History
- 2026-10-29: add by m2/v0.4.10
Formula FD2YQD8QK9
| URI | m2://inv/FD2YQD8QK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized entropy index#B7EU, Formula (statement)
History
- 2026-11-02: add by m2/dev
FD32QNETVW FD32QNETVW
| URI | m2://inv/FD32QNETVW |
|---|---|
| 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.05451#DOBK (statement). In 5YMFYAFFJ7/e1, theorem F
History
- 2026-10-27: add by m2/v0.3.5
Definition FD3A35A9Y0
| URI | m2://inv/FD3A35A9Y0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterated function system#H73E, Definition (definition)
History
- 2026-11-02: add by m2/dev
suppressed evidence FD3BYMJCTD
| URI | m2://inv/FD3BYMJCTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HVTI, suppressed evidence (definition)
History
- 2026-11-02: add by m2/dev
rational integral function FD3EZ9CXJZ
| URI | m2://inv/FD3EZ9CXJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#7CRB, rational integral function (definition)
History
- 2026-11-02: add by m2/dev
Snub heptaheptagonal tiling FD3HDZA03B
| URI | m2://inv/FD3HDZA03B |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub heptaheptagonal tiling, Snub heptaheptagonal tiling (object). Also Wikidata Q7548787
History
- 2026-11-02: add by m2/dev
quintillion FD3NAJVTF5
| URI | m2://inv/FD3NAJVTF5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11751755, quintillion (unknown). Also MathWorld Quintillion
History
- 2026-10-26: add by m2/dev
FD3PJF3QPV FD3PJF3QPV
| URI | m2://inv/FD3PJF3QPV |
|---|---|
| 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 2609.21994#6JLG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Wike's law of low odd primes FD3XPZD20A
| URI | m2://inv/FD3XPZD20A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wike's law of low odd primes, Wike's law of low odd primes (statement). Also Wikidata Q7999814
History
- 2026-11-02: add by m2/dev
FD417M10QS FD417M10QS
| URI | m2://inv/FD417M10QS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15176#NAD4 (statement). In RKV0144CGA/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Applications FD441EW8C0
| URI | m2://inv/FD441EW8C0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square#IJCX, Applications (example)
History
- 2026-11-02: add by m2/dev
Stereotomy FD4G82MVJ2
| URI | m2://inv/FD4G82MVJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stereotomy (descriptive geometry), Stereotomy (definition). Also Wikidata Q2344820
History
- 2026-11-02: add by m2/dev
FD4K40D45A FD4K40D45A
| URI | m2://inv/FD4K40D45A |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08027#278P (problem). In YF3CEQDXGQ/e1, problem 1.4
History
- 2026-10-29: add by m2/v0.4.10
FD4MAWJES3 FD4MAWJES3
| URI | m2://inv/FD4MAWJES3 |
|---|---|
| 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.17897#FQEN (statement). In G116A4SMS4/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
FD4RXZFSKX FD4RXZFSKX
| URI | m2://inv/FD4RXZFSKX |
|---|---|
| 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.10873#Y6Q2 (statement). In AYG8HYGW6V/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.3
Structure of invariant POVMs FD4SFB3GDV
| URI | m2://inv/FD4SFB3GDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#9SJT, Structure of invariant POVMs (statement)
History
- 2026-11-01: add by m2/v0.6.15
FD50VB27JS FD50VB27JS
| URI | m2://inv/FD50VB27JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.17091#DSOZ (statement). In N0JJM098W2/e1, theorem 11
History
- 2026-10-27: add by m2/v0.4.0
Kanakkusaram FD57RGEX6Y
| URI | m2://inv/FD57RGEX6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kanakkusaram, Kanakkusaram (definition). Also Wikidata Q124005284
History
- 2026-11-02: add by m2/dev
Properties FD5KY13DNW
| URI | m2://inv/FD5KY13DNW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saturated set#9AQ9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Jenny Baglivo FD5NQMV9DS
| URI | m2://inv/FD5NQMV9DS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jenny Baglivo, Jenny Baglivo (topic). Also Wikidata Q102176314
History
- 2026-11-02: add by m2/dev
affirmative proposition FD5PXKK789
| URI | m2://inv/FD5PXKK789 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#2UC8, affirmative proposition (definition)
History
- 2026-11-02: add by m2/dev
adjoining a disjoint basepoint FD5WAA6G2H
| URI | m2://inv/FD5WAA6G2H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.5/adjoining-a-disjoint-basepoint, adjoining a disjoint basepoint (concept). In N54F33XE07, index, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
knight's tour FD6EPZCNAE
| URI | m2://inv/FD6EPZCNAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q12524, Schwenk's theorem (statement). Also Wikidata Q12524
- thousand_plus: thousand_plus Q12524, Schwenk's theorem (statement). Also Wikidata Q12524, Wikipedia Schwenk's theorem
- wikidata: Wikidata Q12524, knight's tour (definition). Also MathWorld KnightsTour, OEIS A001230, ProofWiki Definition:Knight's_Tour
- wikipedia: Wikipedia Knight's tour, Knight's tour (definition). Also Wikidata Q12524
History
- 2026-10-26: add by m2/dev
FD6HRGVKXJ FD6HRGVKXJ
| URI | m2://inv/FD6HRGVKXJ |
|---|---|
| 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.29748#UPK9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Light-Tailed Phase Process FD6JXNAZ4C
| URI | m2://inv/FD6JXNAZ4C |
|---|---|
| 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 2610.12716#C8ON, Light-Tailed Phase Process (definition). In M6BCSQSM3R/e1, definition 6
History
- 2026-10-28: add by m2/v0.4.2
FD6SKDQ5MZ FD6SKDQ5MZ
| URI | m2://inv/FD6SKDQ5MZ |
|---|---|
| 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.39104#6QWV (statement). In V2NTW27MSJ/e1, theorem 2.16
History
- 2026-10-30: add by m2/v0.4.12
FD6V94DC0J FD6V94DC0J
| URI | m2://inv/FD6V94DC0J |
|---|---|
| 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#WODD (statement). In E1Y93JNBJA/e1, lemma 4.8
History
- 2026-10-31: add by m2/v0.5.6
Gabe FD6Z4458SS
| URI | m2://inv/FD6Z4458SS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#SBJK, Gabe (statement). In 6HJQXZS0A6/e1, theorem 1.18
History
- 2026-10-29: add by m2/v0.4.12
Generalizations FD6ZKT1A8D
| URI | m2://inv/FD6ZKT1A8D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson random measure#KX2O, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Definition FD70K4Q85V
| URI | m2://inv/FD70K4Q85V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann cellular automaton#AYNU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Joseph John Kohn FD75XK2DX8
| URI | m2://inv/FD75XK2DX8 |
|---|---|
| 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#WMCK, Joseph John Kohn (unknown)
History
- 2026-11-02: add by m2/dev
Levy's characterisation FD76YQ7TH2
| URI | m2://inv/FD76YQ7TH2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian motion#K1KH, Levy's characterisation (unknown)
History
- 2026-11-02: add by m2/dev
FD7838PNWP FD7838PNWP
| URI | m2://inv/FD7838PNWP |
|---|---|
| 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.23238#KRVY (statement)
History
- 2026-11-02: add by m2/v0.6.17
mathematical definition FD7HWASJTS
| URI | m2://inv/FD7HWASJTS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114425676, mathematical definition (unknown). Also MathWorld Definition
History
- 2026-10-26: add by m2/dev
Algebra: Chapter 0 FD7VN81R8F
| URI | m2://inv/FD7VN81R8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra: Chapter 0, Algebra: Chapter 0 (definition). Also Wikidata Q135234352
History
- 2026-11-02: add by m2/dev
Pi formulas FD7Y089QQ9
| URI | m2://inv/FD7Y089QQ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J-invariant#4MTN, Pi formulas (statement)
History
- 2026-11-02: add by m2/dev
Renu C. Laskar FD7YR4W974
| URI | m2://inv/FD7YR4W974 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DNCO, Renu C. Laskar (topic)
History
- 2026-11-02: add by m2/dev
gravitational acceleration FD800S4KZJ
| URI | m2://inv/FD800S4KZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30006, gravitational acceleration (statement). Also ProofWiki Acceleration_Due_to_Gravity
History
- 2026-10-26: add by m2/dev
Root finding of polynomials FD81XAA134
| URI | m2://inv/FD81XAA134 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root-finding algorithm#EZ0V, Root finding of polynomials (unknown)
History
- 2026-11-02: add by m2/dev
Numerical diffusion FD83T56A90
| URI | m2://inv/FD83T56A90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#ZAH4, Numerical diffusion (definition)
History
- 2026-11-02: add by m2/dev
FD84HQYWCP FD84HQYWCP
| URI | m2://inv/FD84HQYWCP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09333#2AXF (definition). In Z9HC1EDTQP/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
FD8BDTZ9T9 FD8BDTZ9T9
| URI | m2://inv/FD8BDTZ9T9 |
|---|---|
| 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.30407#J203 (statement). In HNY6N561H5/e1, proposition 2.10
History
- 2026-10-31: add by m2/v0.5.6
Pants relation FD8HA1KD27
| URI | m2://inv/FD8HA1KD27 |
|---|---|
| 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 2204.04820#CG98, Pants relation (statement). In 9EJ71MW89B/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
FD8M4D37VR FD8M4D37VR
| URI | m2://inv/FD8M4D37VR |
|---|---|
| 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.40260#1Q1N (statement). In 524FZAC6NB/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
FD8TPWSM4K FD8TPWSM4K
| URI | m2://inv/FD8TPWSM4K |
|---|---|
| Kind | example |
| 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 1803.10042#NHO6 (example). In 718SP8YERQ/e1, example A7
History
- 2026-10-27: add by m2/v0.3.5
Examples FD8Z9TBK49
| URI | m2://inv/FD8Z9TBK49 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DeGroot learning#GJ2K, Examples (example)
History
- 2026-11-02: add by m2/dev
FD91P9V8BQ FD91P9V8BQ
| URI | m2://inv/FD91P9V8BQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21093#DX4U (statement). In TBFPBPQV3G/e1, corollary 8.7
History
- 2026-10-27: add by m2/v0.4.2
FD94NRCZ8N FD94NRCZ8N
| URI | m2://inv/FD94NRCZ8N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07927#GXMT (statement). In GKM19DHQTM/e1, lemma 9.2
History
- 2026-10-29: add by m2/v0.4.10
Method FD95G317KA
| URI | m2://inv/FD95G317KA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lumped-element model#E6X2, Method (definition)
History
- 2026-11-02: add by m2/dev
Claim FD9F9EEG16
| URI | m2://inv/FD9F9EEG16 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn decomposition theorem#L3TN, Claim (statement)
History
- 2026-11-02: add by m2/dev
resolution FD9FXS995V
| URI | m2://inv/FD9FXS995V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#DCPI, resolution (definition)
History
- 2026-11-02: add by m2/dev
Bernoulli number FD9PQSN2R7
| URI | m2://inv/FD9PQSN2R7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Bernoulli number 0KC00K7KY4 |
Mentions
- wikidata: Wikidata Q694114, Bernoulli number (concept). Also LMFDB knowl af.bernoulli_numbers, MathWorld BernoulliNumber, nLab Bernoulli number, OEIS A027641, OEIS A027642, ProofWiki Definition:Bernoulli_Numbers
- wikipedia: Wikipedia Bernoulli number, Bernoulli number (definition). Also Wikidata Q694114
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Fred Ramsdell FD9RSK381N
| URI | m2://inv/FD9RSK381N |
|---|---|
| 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#81XG, Fred Ramsdell (unknown)
History
- 2026-11-02: add by m2/dev
Krull's theorem FDA2ENTBK7
| URI | m2://inv/FDA2ENTBK7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull's theorem, Krull's theorem (statement). Also Wikidata Q2397775
History
- 2026-11-02: add by m2/dev
FDA5VNCEWH FDA5VNCEWH
| URI | m2://inv/FDA5VNCEWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#WHBU (statement). In BDN507RN7J/e1, proposition 4.1.6
History
- 2026-10-30: add by m2/v0.4.12
FDAAGKQ89T FDAAGKQ89T
| URI | m2://inv/FDAAGKQ89T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-6 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
FDAGDKZE1N FDAGDKZE1N
| URI | m2://inv/FDAGDKZE1N |
|---|---|
| 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.40355#XEFQ (statement). In SBP98GWKC8/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Good Event 5 FDAH57ZQSP
| URI | m2://inv/FDAH57ZQSP |
|---|---|
| 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.04600#R7SR, Good Event 5 (statement). In 4V64K0DYSV/e1, lemma I.5
History
- 2026-10-29: add by m2/v0.4.12
Twin circles FDAKKWP7PA
| URI | m2://inv/FDAKKWP7PA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of circle topics#S47M, Twin circles (definition)
History
- 2026-11-02: add by m2/dev
Laws of physics FDAQH5XRRY
| URI | m2://inv/FDAQH5XRRY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific law#BA7G, Laws of physics (statement)
History
- 2026-11-02: add by m2/dev
FDAQN7FM06 FDAQN7FM06
| URI | m2://inv/FDAQN7FM06 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1612.08394#LKIA (definition). In 1P8D88DKG5/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Annihilating polynomial FDAV0J0R0W
| URI | m2://inv/FDAV0J0R0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annihilating polynomial, Annihilating polynomial (definition). Also Wikidata Q11851767
History
- 2026-11-02: add by m2/dev
American Academy of Actuaries FDAZ8MCWPX
| URI | m2://inv/FDAZ8MCWPX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia American Academy of Actuaries, American Academy of Actuaries (topic). Also Wikidata Q4742866
History
- 2026-11-02: add by m2/dev
FDBSBYBTMS FDBSBYBTMS
| URI | m2://inv/FDBSBYBTMS |
|---|---|
| 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.27800#VV19 (statement)
History
- 2026-11-01: add by m2/v0.6.15
checkerboard FDC1VX90R5
| URI | m2://inv/FDC1VX90R5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q460711, checkerboard (unknown). Also MathWorld Checkerboard
History
- 2026-10-26: add by m2/dev
FDCDEYR8HT FDCDEYR8HT
| URI | m2://inv/FDCDEYR8HT |
|---|---|
| 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 2507.13548#PLCB (statement). In 4NVVK50D1P/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
FDCEFRKBVG FDCEFRKBVG
| URI | m2://inv/FDCEFRKBVG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#XESP (definition). In DGE917KQSQ/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Special cases FDCSK6EVPK
| URI | m2://inv/FDCSK6EVPK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial differential equation#XJ2L, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Growth curve (statistics) FDD36VPNP2
| URI | m2://inv/FDD36VPNP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#ZOHQ, Growth curve (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Mumford vanishing theorem FDD5979JZT
| URI | m2://inv/FDD5979JZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6935403, Mumford vanishing theorem (statement). Also Wikidata Q6935403
- thousand_plus: thousand_plus Q6935403, Mumford vanishing theorem (statement). Also Wikidata Q6935403, Wikipedia Mumford vanishing theorem
- wikipedia: Wikipedia Mumford vanishing theorem, Mumford vanishing theorem (statement). Also Wikidata Q6935403
History
- 2026-10-26: add by m2/dev
William S. Zwicker FDD8B7QWWJ
| URI | m2://inv/FDD8B7QWWJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William S. Zwicker, William S. Zwicker (topic). Also Wikidata Q4020188
History
- 2026-11-02: add by m2/dev
FDDJ6SZA3N FDDJ6SZA3N
| URI | m2://inv/FDDJ6SZA3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.02019#M3MM (statement). In PD607VXPY3/e1, lemma 29
History
- 2026-10-27: add by m2/v0.3.5
FDDJ9Z3R5G FDDJ9Z3R5G
| URI | m2://inv/FDDJ9Z3R5G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 55.1
History
- 2026-11-01: add by m2/v0.6.13
Arnaud Beauville FDDPQVA90Y
| URI | m2://inv/FDDPQVA90Y |
|---|---|
| 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 Q691176, Arnaud Beauville (unknown). Also nLab Arnaud Beauville
- wikipedia: Wikipedia Arnaud Beauville, Arnaud Beauville (topic). Also Wikidata Q691176
History
- 2026-10-26: add by m2/dev
FDE1AFX486 FDE1AFX486
| URI | m2://inv/FDE1AFX486 |
|---|---|
| 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.04876#QCI2 (statement). In 2TNAKVC0YP/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.12
FDE1PPZNAD FDE1PPZNAD
| URI | m2://inv/FDE1PPZNAD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#JIQ7 (definition). In XD0YT3XCW2/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
FDE2CGSV9F FDE2CGSV9F
| URI | m2://inv/FDE2CGSV9F |
|---|---|
| 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.37593#CEK4 (statement). In YTF96VHKAH/e1, proposition 5.8
History
- 2026-10-30: add by m2/v0.4.12
FDE2ZEX68S FDE2ZEX68S
| URI | m2://inv/FDE2ZEX68S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21627#FI7H (example). In 4Z44S003HM/e1, example 2
History
- 2026-10-27: add by m2/v0.4.2
FDE7PB0J6W FDE7PB0J6W
| URI | m2://inv/FDE7PB0J6W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.05875#SWDH (definition). In 35FDBKEDC0/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Daniel Bonevac FDEKF725R7
| URI | m2://inv/FDEKF725R7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Bonevac, Daniel Bonevac (topic). Also Wikidata Q5216600
History
- 2026-11-02: add by m2/dev
FDEMC88JMT FDEMC88JMT
| URI | m2://inv/FDEMC88JMT |
|---|---|
| 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.15723#3GBQ (statement). In A3KXZ2GBHN/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
Józef Maria Bocheński FDEPDBRTS0
| URI | m2://inv/FDEPDBRTS0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Józef Maria Bocheński, Józef Maria Bocheński (topic). Also Wikidata Q673672
History
- 2026-11-02: add by m2/dev
Frequency Weighting FDES6K59M5
| URI | m2://inv/FDES6K59M5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency Weighting (spectral analysis), Frequency Weighting (definition). Also Wikidata Q856577
History
- 2026-11-02: add by m2/dev
Examples FDEX6J79Z8
| URI | m2://inv/FDEX6J79Z8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitting ideal#FFO4, Examples (example)
History
- 2026-11-02: add by m2/dev
FDF35CB4VD FDF35CB4VD
| URI | m2://inv/FDF35CB4VD |
|---|---|
| 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.39948#PO3F (statement). In 6R7CBG955V/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
FDF6WEQMRP FDF6WEQMRP
| URI | m2://inv/FDF6WEQMRP |
|---|---|
| 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 2608.00864#BFZU (statement). In PRF0P3D637/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.3.5
Age of the captain FDFBS4X40P
| URI | m2://inv/FDFBS4X40P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Age of the captain, Age of the captain (definition). Also Wikidata Q1728640
History
- 2026-11-02: add by m2/dev
FDFE4SXQNB FDFE4SXQNB
| URI | m2://inv/FDFE4SXQNB |
|---|---|
| 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.20760#LV0U (statement). In 6G9JSJ5JMP/e1, proposition 29
History
- 2026-10-27: add by m2/v0.4.2
Ford circle FDFEK5XF4B
| URI | m2://inv/FDFEK5XF4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1436714, Ford circle (unknown). Also MathWorld FordCircle
- wikipedia: Wikipedia Ford circle, Ford circle (definition). Also Wikidata Q1436714
History
- 2026-10-26: add by m2/dev
Peter M. Gruber FDFF8NRH8H
| URI | m2://inv/FDFF8NRH8H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter M. Gruber, Peter M. Gruber (topic). Also Wikidata Q85743
History
- 2026-11-02: add by m2/dev
FDFH6DSWW5 FDFH6DSWW5
| URI | m2://inv/FDFH6DSWW5 |
|---|---|
| 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.01572#4M9V (statement). In 7BJK23Q7GH/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Hardy progeny of the North FDG533NCAV
| URI | m2://inv/FDG533NCAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy progeny of the North, Hardy progeny of the North (definition). Also Wikidata Q56063376
History
- 2026-11-02: add by m2/dev
FDGAA7ZQ1Q FDGAA7ZQ1Q
| URI | m2://inv/FDGAA7ZQ1Q |
|---|---|
| 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 1512.06981#HZMM (statement). In X923ZEY423/e1, theorem 1.1.2
History
- 2026-10-27: add by m2/v0.3.5
FDGAVRF7HK FDGAVRF7HK
| URI | m2://inv/FDGAVRF7HK |
|---|---|
| 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.22924#T0OF (statement)
History
- 2026-11-02: add by m2/v0.6.17
FDGDGKZGZ5 FDGDGKZGZ5
| URI | m2://inv/FDGDGKZGZ5 |
|---|---|
| Kind | problem |
| 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.15525#B5FF (problem). In EFDRME13PT/e1, problem
History
- 2026-10-28: add by m2/v0.4.2
Area compatibility factor FDGGXM2YBX
| URI | m2://inv/FDGGXM2YBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area compatibility factor, Area compatibility factor (definition). Also Wikidata Q4788659
History
- 2026-11-02: add by m2/dev
Second proof FDGJAJ2JAJ
| URI | m2://inv/FDGJAJ2JAJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-11, Second proof (proof). In N54F33XE07, proof, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
József Beck FDGQV87XFN
| URI | m2://inv/FDGQV87XFN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A4PM, József Beck (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7T8X, József Beck (unknown)
History
- 2026-11-02: add by m2/dev
FDGRG1T7QF FDGRG1T7QF
| URI | m2://inv/FDGRG1T7QF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-81 (exercise). In E9HS8K3A52, exercise, section 6.6.3
History
- 2026-11-01: add by m2/v0.6.13
FDGSKQZ4T5 FDGSKQZ4T5
| URI | m2://inv/FDGSKQZ4T5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-58 (exercise). In E59CDZA4DP, exercise, section 10.4.1
History
- 2026-11-01: add by m2/v0.6.13
FDGV0ASQH2 FDGV0ASQH2
| URI | m2://inv/FDGV0ASQH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11700#9RCU (statement). In RW9AZQ1YZ2/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.3
Properties FDGWE6XYT8
| URI | m2://inv/FDGWE6XYT8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relaxation (approximation)#MQKI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bálint Tóth FDH04RGXJF
| URI | m2://inv/FDH04RGXJF |
|---|---|
| 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#NJCV, Bálint Tóth (topic)
History
- 2026-11-02: add by m2/dev
Henry William Watson FDHC998K6W
| URI | m2://inv/FDHC998K6W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry William Watson, Henry William Watson (topic). Also Wikidata Q3709326
History
- 2026-11-02: add by m2/dev
σ FDHDD9NAHA
| URI | m2://inv/FDHDD9NAHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#JKIU, σ (definition)
History
- 2026-11-02: add by m2/dev
Projection--incidence and exceptional parameters FDHM0MCSDZ
| URI | m2://inv/FDHM0MCSDZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22485#5HS7, Projection--incidence and exceptional parameters (statement)
History
- 2026-11-02: add by m2/v0.6.17
FDHRKXGC9Q FDHRKXGC9Q
| URI | m2://inv/FDHRKXGC9Q |
|---|---|
| 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.39455#FMKI (statement). In HW4Y4TMEZ3/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Constructions FDHTKW56MW
| URI | m2://inv/FDHTKW56MW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit cardinal#QEK0, Constructions (definition)
History
- 2026-11-02: add by m2/dev
FDHYB48RFM FDHYB48RFM
| URI | m2://inv/FDHYB48RFM |
|---|---|
| Kind | definition |
| 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 2609.21034#QEOF (definition)
History
- 2026-11-02: add by m2/v0.6.18
FDK3NSH111 FDK3NSH111
| URI | m2://inv/FDK3NSH111 |
|---|---|
| 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.02215#4SH2 (statement). In 1W01W0APQF/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
FDK5EHTS2A FDK5EHTS2A
| URI | m2://inv/FDK5EHTS2A |
|---|---|
| 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 Q102195427 (unknown). Also ProofWiki Mathematician:Patrick_Michael_Fitzpatrick
History
- 2026-10-26: add by m2/dev
Finsler's lemma FDKHFN1GHN
| URI | m2://inv/FDKHFN1GHN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finsler's lemma, Finsler's lemma (statement). Also Wikidata Q48995859
History
- 2026-11-02: add by m2/dev
Reflected BSDE representation FDKJG6R2BC
| URI | m2://inv/FDKJG6R2BC |
|---|---|
| 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.23768#IP2F, Reflected BSDE representation (statement)
History
- 2026-11-02: add by m2/v0.6.17
Notation FDKKA8KTPH
| URI | m2://inv/FDKKA8KTPH |
|---|---|
| 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.32733#YU5F, Notation (definition). In PCAS8S14J6/e1, definition 2.5
History
- 2026-10-31: add by m2/v0.5.6
Leyland number of the second kind FDKM1BBR2V
| URI | m2://inv/FDKM1BBR2V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leyland number#H6T6, Leyland number of the second kind (unknown)
History
- 2026-11-02: add by m2/dev
Mount Siguniang FDKQH5HP2J
| URI | m2://inv/FDKQH5HP2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#K3F1, Mount Siguniang (unknown)
History
- 2026-11-02: add by m2/dev
Properties FDM1R9JYTS
| URI | m2://inv/FDM1R9JYTS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean ordered field#EBY6, Properties (statement)
History
- 2026-11-02: add by m2/dev
FDM9PNFQGB FDM9PNFQGB
| URI | m2://inv/FDM9PNFQGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25539#RNZY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Compatible invariant local splittings FDMDFR0N1J
| URI | m2://inv/FDMDFR0N1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00490#8INU, Compatible invariant local splittings (statement). In PZJDV6SJ9E/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Relationship to the axiom of choice FDMJG1ZR01
| URI | m2://inv/FDMJG1ZR01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfinite induction#7TAT, Relationship to the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Adapted tilt function FDMK97Q3VQ
| URI | m2://inv/FDMK97Q3VQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#5S7E, Adapted tilt function (definition). In HXFA55BREZ/e1, definition 4.7
History
- 2026-10-29: add by m2/v0.4.10
Normalized root mean squared deviation FDMP7D2SRD
| URI | m2://inv/FDMP7D2SRD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root mean square deviation#IAD7, Normalized root mean squared deviation (unknown)
History
- 2026-11-02: add by m2/dev
FDMX95DJTQ FDMX95DJTQ
| URI | m2://inv/FDMX95DJTQ |
|---|---|
| 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 2504.14383#4WNZ (example). In QD0X3XJS6T/e1, example 2.4
History
- 2026-10-27: add by m2/v0.3.5
FDN7CWBQQK FDN7CWBQQK
| URI | m2://inv/FDN7CWBQQK |
|---|---|
| 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 2401.14162#2J7N (statement). In JC1XF1JE6J/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Maximum degree lower bound FDNDF2MEXB
| URI | m2://inv/FDNDF2MEXB |
|---|---|
| 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.30098#AO9A, Maximum degree lower bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
FDP8X03AXT FDP8X03AXT
| URI | m2://inv/FDP8X03AXT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-51 (exercise). In E9HS8K3A52, exercise, section 7.4.5
History
- 2026-11-01: add by m2/v0.6.13
FDPB1YA1H5 FDPB1YA1H5
| URI | m2://inv/FDPB1YA1H5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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.01958#1E1F (statement). In NQFYT2M6YZ/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.12
Srinivasa Ramanujan FDPS7Y4H6Y
| URI | m2://inv/FDPS7Y4H6Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SCKA, Srinivasa Ramanujan (topic)
History
- 2026-11-02: add by m2/dev
Schwarz function FDQ3F5GSEA
| URI | m2://inv/FDQ3F5GSEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz function, Schwarz function (definition). Also Wikidata Q85799967
History
- 2026-11-02: add by m2/dev
FDQ919QV40 FDQ919QV40
| URI | m2://inv/FDQ919QV40 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#GGKF (statement). In RTE2C0PH4S/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
FDQ9M3BFTQ FDQ9M3BFTQ
| URI | m2://inv/FDQ9M3BFTQ |
|---|---|
| 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.20134#B2DB (statement)
History
- 2026-11-02: add by m2/v0.6.18
FDQAX0WC1T FDQAX0WC1T
| URI | m2://inv/FDQAX0WC1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#50IA (statement). In 73QW05MWQB/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
Intermediate value theorem FDQKQPY0P4
| URI | m2://inv/FDQKQPY0P4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9O5U, Intermediate value theorem (statement)
History
- 2026-11-02: add by m2/dev
Lazar Aronovich Lusternik FDQW1R4KP8
| URI | m2://inv/FDQW1R4KP8 |
|---|---|
| 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#7WNJ, Lazar Aronovich Lusternik (topic)
History
- 2026-11-02: add by m2/dev
Page's trend test FDR955NVDC
| URI | m2://inv/FDR955NVDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IXMJ, Page's trend test (definition)
History
- 2026-11-02: add by m2/dev
principle of computational equivalence FDRC9MN3PQ
| URI | m2://inv/FDRC9MN3PQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17990750, principle of computational equivalence (unknown). Also MathWorld PrincipleofComputationalEquivalence
History
- 2026-10-26: add by m2/dev
FDREHF2YCA FDREHF2YCA
| URI | m2://inv/FDREHF2YCA |
|---|---|
| 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.26546#5GMV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fagnano's problem FDRPSEEEX8
| URI | m2://inv/FDRPSEEEX8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q918258, Fagnano's problem (problem). Also EoM Fagnano_problem, MathWorld FagnanosProblem
- wikipedia: Wikipedia Fagnano's problem, Fagnano's problem (problem). Also Wikidata Q918258
History
- 2026-10-26: add by m2/dev
Lu Jiaxi FDRR4V870J
| URI | m2://inv/FDRR4V870J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lu Jiaxi (mathematician), Lu Jiaxi (topic). Also Wikidata Q17163749
History
- 2026-11-02: add by m2/dev
path graph P3 FDRRYJM2DR
| URI | m2://inv/FDRRYJM2DR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q127699255, path graph P3 (unknown). Also House of Graphs 32234
History
- 2026-10-26: add by m2/dev
Wallis, W. Allen FDRSSF2005
| URI | m2://inv/FDRSSF2005 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FVFW, Wallis, W. Allen (topic)
History
- 2026-11-02: add by m2/dev
kite FDS819NAT5
| URI | m2://inv/FDS819NAT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107061, kite (unknown). Also MathWorld Kite
- wikipedia: Wikipedia Kite (geometry), Kite (definition). Also Wikidata Q107061
History
- 2026-10-26: add by m2/dev
FDSB9J4B1Y FDSB9J4B1Y
| URI | m2://inv/FDSB9J4B1Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 32.2
History
- 2026-11-01: add by m2/v0.6.13
Ledyard Tucker FDSCJ0YRB6
| URI | m2://inv/FDSCJ0YRB6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#RDO1, Ledyard Tucker (unknown)
History
- 2026-11-02: add by m2/dev
Example FDSH40DCF5
| URI | m2://inv/FDSH40DCF5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equations for a falling body#C1PR, Example (example)
History
- 2026-11-02: add by m2/dev
quadratic function FDSP666525
| URI | m2://inv/FDSP666525 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#SZQP, quadratic function (definition)
History
- 2026-11-02: add by m2/dev
Stefan-Boltzmann law FDSPM3173H
| URI | m2://inv/FDSPM3173H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q704747, Stefan-Boltzmann law (unknown). Also EoM Stefan-Boltzmann_law
- wikipedia: Wikipedia Stefan–Boltzmann law, Stefan–Boltzmann law (statement). Also Wikidata Q704747
History
- 2026-10-26: add by m2/dev
Martingale difference sequence FDSQQJMHHD
| URI | m2://inv/FDSQQJMHHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martingale difference sequence, Martingale difference sequence (definition). Also Wikidata Q3707378
History
- 2026-11-02: add by m2/dev
Rafal E. Dunin-Borkowski FDSSZ55PJ0
| URI | m2://inv/FDSSZ55PJ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H24M, Rafal E. Dunin-Borkowski (unknown)
History
- 2026-11-02: add by m2/dev
Neyman--Pearson regret inequality FDST5H5PEH
| URI | m2://inv/FDST5H5PEH |
|---|---|
| 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.27200#CUNE, Neyman--Pearson regret inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Parametric space curve FDSY7KEN58
| URI | m2://inv/FDSY7KEN58 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametric equation#E348, Parametric space curve (unknown)
History
- 2026-11-02: add by m2/dev
Computation FDT0A1KNN4
| URI | m2://inv/FDT0A1KNN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rainbow matching#OX4V, Computation (definition)
History
- 2026-11-02: add by m2/dev
FDT0X3FCND FDT0X3FCND
| URI | m2://inv/FDT0X3FCND |
|---|---|
| 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.19288#3LWX (statement). In 1EA6AM9V01/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
FDT1CEX37D FDT1CEX37D
| URI | m2://inv/FDT1CEX37D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#ZO2N (statement). In 9B5TNEBJHV/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Examples FDT337JNA2
| URI | m2://inv/FDT337JNA2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burnside ring#HSOK, Examples (example)
History
- 2026-11-02: add by m2/dev
FDT33QAASF FDT33QAASF
| URI | m2://inv/FDT33QAASF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:well-founded-extensional-simulation (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13
FDT92RFGZE FDT92RFGZE
| URI | m2://inv/FDT92RFGZE |
|---|---|
| Kind | example |
| 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.15771#EDBM (example). In F2243YZX7A/e1, example 2.2
History
- 2026-10-28: add by m2/v0.4.2
Convergence of bandlimited EPDiff equation FDTAKNQRCV
| URI | m2://inv/FDTAKNQRCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.06788#BA4L, Convergence of bandlimited EPDiff equation (statement). In B2VE3JQZD3/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
FDTFWBHSKA FDTFWBHSKA
| URI | m2://inv/FDTFWBHSKA |
|---|---|
| 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.13850#Y0KT (statement). In KJY735KSMF/e1, proposition 9.4
History
- 2026-10-28: add by m2/v0.4.2
Theorem A (modules) FDTX1WS1AX
| URI | m2://inv/FDTX1WS1AX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism theorems#50I1, Theorem A (modules) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
K. R. Parthasarathy FDTYNR8E8H
| URI | m2://inv/FDTYNR8E8H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#HIU6, K. R. Parthasarathy (unknown)
- wikipedia: Wikipedia List of mathematical probabilists#ODRT, K. R. Parthasarathy (unknown)
History
- 2026-11-02: add by m2/dev
FDTZGF4YTP FDTZGF4YTP
| URI | m2://inv/FDTZGF4YTP |
|---|---|
| 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.16657#PA8O (statement). In SRQ37RX6MK/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
exponential map FDV7632HR2
| URI | m2://inv/FDV7632HR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#NSXJ, exponential map (definition)
History
- 2026-11-02: add by m2/dev
FDV87MEXZW FDV87MEXZW
| URI | m2://inv/FDV87MEXZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#G5EJ (statement). In 8XAKGH8S2D/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Golden-section search FDVA344FKC
| URI | m2://inv/FDVA344FKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#93L1, Golden-section search (definition)
History
- 2026-11-02: add by m2/dev
Ptolemy FDVDPAXGQ0
| URI | m2://inv/FDVDPAXGQ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#8R53, Ptolemy (topic)
History
- 2026-11-02: add by m2/dev
Definition FDVGPN7ADT
| URI | m2://inv/FDVGPN7ADT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pontryagin class#V6MP, Definition (definition)
History
- 2026-11-02: add by m2/dev
FDVS1ANCF4 FDVS1ANCF4
| URI | m2://inv/FDVS1ANCF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#M5CV (statement). In 7V2PVZS04C/e1, proposition 2.6
History
- 2026-10-31: add by m2/v0.5.6
FDVWWJKG00 FDVWWJKG00
| URI | m2://inv/FDVWWJKG00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.03851#6WS5 (statement). In HNV63B8Y1A/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Beurling transform FDW3WV2XNS
| URI | m2://inv/FDW3WV2XNS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular integral operators of convolution type#LMZF, Beurling transform (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations FDW78KZWHM
| URI | m2://inv/FDW78KZWHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rationalisation (mathematics)#1U1E, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Pick's theorem FDWAJAK5Q8
| URI | m2://inv/FDWAJAK5Q8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#B5MB, Pick's theorem (statement)
History
- 2026-11-02: add by m2/dev
FDWAS30M24 FDWAS30M24
| URI | m2://inv/FDWAS30M24 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-73 (exercise). In E9HS8K3A52, exercise, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
trapezoidal number FDWC5ZG65P
| URI | m2://inv/FDWC5ZG65P |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q115868096, trapezoidal number (object). Also OEIS A165513
History
- 2026-10-26: add by m2/dev
Loxodromic element FDWNJR7C3A
| URI | m2://inv/FDWNJR7C3A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13817#CPC4, Loxodromic element (definition). In BMSAXTDV47/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
FDWQNE41JY FDWQNE41JY
| URI | m2://inv/FDWQNE41JY |
|---|---|
| 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 2609.23040#XTJP (statement)
History
- 2026-11-02: add by m2/v0.6.17
FDWYHRH6B4 FDWYHRH6B4
| URI | m2://inv/FDWYHRH6B4 |
|---|---|
| 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.20760#LM7V (statement). In 6G9JSJ5JMP/e1, proposition 27
History
- 2026-10-27: add by m2/v0.4.2
FDX8W0KX3F FDX8W0KX3F
| URI | m2://inv/FDX8W0KX3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.30033#CQ5J (statement)
History
- 2026-11-01: add by m2/v0.6.15
R. S. Ismagilov FDXGR77FFQ
| URI | m2://inv/FDXGR77FFQ |
|---|---|
| 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#AOJC, R. S. Ismagilov (unknown)
History
- 2026-11-02: add by m2/dev
Fantasia Mathematica FDXMS9159H
| URI | m2://inv/FDXMS9159H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fantasia Mathematica, Fantasia Mathematica (definition). Also Wikidata Q5434137
History
- 2026-11-02: add by m2/dev
butterfly FDXPZJ0KE4
| URI | m2://inv/FDXPZJ0KE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#S9FF, butterfly (definition)
History
- 2026-11-02: add by m2/dev
FDY0BWHE4D FDY0BWHE4D
| URI | m2://inv/FDY0BWHE4D |
|---|---|
| Kind | conjecture |
| 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.36045#V06L (conjecture). In F0E8YBV0Z0/e1, conjecture 10.4
History
- 2026-10-30: add by m2/v0.4.12
Proximal gradient methods for learning FDY87483N0
| URI | m2://inv/FDY87483N0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proximal gradient methods for learning, Proximal gradient methods for learning (definition). Also Wikidata Q17086776
History
- 2026-11-02: add by m2/dev
Definition FDYGYSN2DB
| URI | m2://inv/FDYGYSN2DB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diamond operation#MAO9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties FDYV5XN530
| URI | m2://inv/FDYV5XN530 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval (mathematics)#XYEQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
\bf Unreachability and trapping function FDYY93DT57
| URI | m2://inv/FDYY93DT57 |
|---|---|
| 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 2610.02791#ZHUM, \bf Unreachability and trapping function (definition). In TT9BA4VMTW/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.12
FDZ1M81Q0B FDZ1M81Q0B
| URI | m2://inv/FDZ1M81Q0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2310.17520#RMY5 (statement). In 93AJXFH963/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Random sequence FDZ5EQ0Z4Q
| URI | m2://inv/FDZ5EQ0Z4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PU15, Random sequence (definition)
- wikipedia: Wikipedia List of probability topics#6KWX, Random sequence (definition)
History
- 2026-11-02: add by m2/dev
Applications FDZ6VAMPCR
| URI | m2://inv/FDZ6VAMPCR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rips machine#JY0D, Applications (example)
History
- 2026-11-02: add by m2/dev
FDZ8CN2E2B FDZ8CN2E2B
| URI | m2://inv/FDZ8CN2E2B |
|---|---|
| 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.28669#XVG9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
defect FDZ8JZT8K6
| URI | m2://inv/FDZ8JZT8K6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#5ODA, defect (definition)
History
- 2026-11-02: add by m2/dev
composition series FDZAFM4G3W
| URI | m2://inv/FDZAFM4G3W |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 4 |
| Outcome | node (a node has the same name as the row) |
| Node | Composition series 0NB8VPB93V |
Mentions
- mathlib_1000: mathlib_1000 Q2525646, Jordan–Hölder theorem (statement). Also Mathlib CompositionSeries.jordan_holder, Wikidata Q2525646
- thousand_plus: thousand_plus Q2525646, Jordan–Hölder theorem (statement). Also Mathlib CompositionSeries.jordan_holder, Wikidata Q2525646, Wikipedia Jordan–Hölder theorem
- wikidata: Wikidata Q2525646, composition series (unknown). Also EoM Composition_series, MathWorld CompositionSeries, nLab composition series
- wikipedia: Wikipedia Composition series, Composition series (definition). Also Wikidata Q2525646
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Transition coin FDZFKHTH25
| URI | m2://inv/FDZFKHTH25 |
|---|---|
| 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.11330#5H57, Transition coin (statement). In Z73GKA9WDB/e1, lemma B.5
History
- 2026-10-28: add by m2/v0.4.3
FDZFM36FX5 FDZFM36FX5
| URI | m2://inv/FDZFM36FX5 |
|---|---|
| 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#21K8 (statement). In Y8QQAH7VCF/e1, lemma E.2
History
- 2026-10-28: add by m2/v0.4.2
Hendrickson FDZW6KFWMR
| URI | m2://inv/FDZW6KFWMR |
|---|---|
| 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 0909.2893#VOOE, Hendrickson (statement). In JQ4JYAXCMK/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Melania Alvarez FDZWZQS0SY
| URI | m2://inv/FDZWZQS0SY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Melania Alvarez, Melania Alvarez (topic). Also Wikidata Q52356291
History
- 2026-11-02: add by m2/dev