Inventory rows F9
The cards of the rows of the inventory whose ids start with F9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
fundamental category F903P349MC
| URI | m2://inv/F903P349MC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#SFKC, fundamental category (definition)
History
- 2026-11-02: add by m2/dev
The period encoded by the state F90E5F6Y5Y
| URI | m2://inv/F90E5F6Y5Y |
|---|---|
| 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.13365#EM0Z, The period encoded by the state (statement). In YMBTSX10FF/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
dg cooperad F90HTZ2PPD
| URI | m2://inv/F90HTZ2PPD |
|---|---|
| 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 2312.05005#G189, dg cooperad (definition). In SMJMAQ2S3J/e1, definition 12
History
- 2026-10-27: add by m2/v0.4.0
F90K445HTA F90K445HTA
| URI | m2://inv/F90K445HTA |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
well-founded F90KQ2GHVC
| URI | m2://inv/F90KQ2GHVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#8YXT, well-founded (definition)
History
- 2026-11-02: add by m2/dev
EMS Magazine (EMS Press) F90Z8MYCTR
| URI | m2://inv/F90Z8MYCTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European Mathematical Society#EAPE, EMS Magazine (EMS Press) (unknown)
History
- 2026-11-02: add by m2/dev
pentagonal cupola F911MPMSP8
| URI | m2://inv/F911MPMSP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q76054, pentagonal cupola (object). Also MathWorld PentagonalCupola
- wikipedia: Wikipedia Pentagonal cupola, Pentagonal cupola (definition). Also Wikidata Q76054
History
- 2026-10-26: add by m2/dev
Policy gradient theorem F912TNA22H
| URI | m2://inv/F912TNA22H |
|---|---|
| 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#XM4X, Policy gradient theorem (statement). In 65E9N3DFYP/e1, fact 3.4
History
- 2026-10-29: add by m2/v0.4.12
Randomized rounding F913HFCAV9
| URI | m2://inv/F913HFCAV9 |
|---|---|
| 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.28791#FBTT, Randomized rounding (statement)
History
- 2026-11-01: add by m2/v0.6.15
Georges de Rham F91B22HKM7
| URI | m2://inv/F91B22HKM7 |
|---|---|
| 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 Q116966, Georges de Rham (unknown). Also nLab Georges de Rham
- wikipedia: Wikipedia Georges de Rham, Georges de Rham (topic). Also Wikidata Q116966
History
- 2026-10-26: add by m2/dev
Absorption F91BJKNH1P
| URI | m2://inv/F91BJKNH1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorption (logic), Absorption (definition). Also Wikidata Q4669893
History
- 2026-11-02: add by m2/dev
F91NNNRZKB F91NNNRZKB
| URI | m2://inv/F91NNNRZKB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-44 (exercise). In E59CDZA4DP, exercise, section 8.5.2
History
- 2026-11-01: add by m2/v0.6.13
Greninger chart F91P8G2WC9
| URI | m2://inv/F91P8G2WC9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#0NX5, Greninger chart (unknown)
History
- 2026-11-02: add by m2/dev
Orthoscheme sector estimate F91PY3PMW7
| URI | m2://inv/F91PY3PMW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27798#6707, Orthoscheme sector estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
F91WZ1K1R2 F91WZ1K1R2
| URI | m2://inv/F91WZ1K1R2 |
|---|---|
| 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 2610.08583#M662 (statement). In 5EKTECQ2P1/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.10
Fixed Multiple Tamperings F92DWV6JT1
| URI | m2://inv/F92DWV6JT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#GPES, Fixed Multiple Tamperings (statement). In ZZER8ZBSCR/e1, proposition 5.9
History
- 2026-10-29: add by m2/v0.4.12
Both/and reasoning F92KC2VE11
| URI | m2://inv/F92KC2VE11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Both/and reasoning, Both/and reasoning (definition). Also Wikidata Q124459025
History
- 2026-11-02: add by m2/dev
F92PB24SJ1 F92PB24SJ1
| URI | m2://inv/F92PB24SJ1 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mersenne prime#DDGW (problem)
History
- 2026-11-02: add by m2/dev
Wave equation F92Q3CBNKT
| URI | m2://inv/F92Q3CBNKT |
|---|---|
| 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 2609.29847#F9FB, Wave equation (statement)
History
- 2026-11-01: add by m2/v0.6.15
F92VW9EDWP F92VW9EDWP
| URI | m2://inv/F92VW9EDWP |
|---|---|
| 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.12912#NJX0 (statement). In PDKBKKJ4BV/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Subcovering F92YBH1NNE
| URI | m2://inv/F92YBH1NNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#9ZYI, Subcovering (definition)
History
- 2026-11-02: add by m2/dev
central limit theorem F9323TPY22
| URI | m2://inv/F9323TPY22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#AOON, central limit theorem (definition)
History
- 2026-11-02: add by m2/dev
Definitions F93FW1BK2X
| URI | m2://inv/F93FW1BK2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactly generated space#E2PX, Definitions (definition)
History
- 2026-11-02: add by m2/dev
F93JT9D27S F93JT9D27S
| URI | m2://inv/F93JT9D27S |
|---|---|
| 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.33766#SYB4 (statement). In VGKK4M68EK/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Ordinal number F93V2N9NR7
| URI | m2://inv/F93V2N9NR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#0Q1K, Ordinal number (definition)
History
- 2026-11-02: add by m2/dev
−2 F93WMVZZBZ
| URI | m2://inv/F93WMVZZBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia −2, −2 (definition). Also Wikidata Q3827340
History
- 2026-11-02: add by m2/dev
Proof of \cref{thm:freudenthal} F93ZBDWQVA
| URI | m2://inv/F93ZBDWQVA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-32, Proof of \cref{thm:freudenthal} (proof). In N54F33XE07, proof, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
Keynesian beauty contest F94BSK8931
| URI | m2://inv/F94BSK8931 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keynesian beauty contest, Keynesian beauty contest (definition). Also Wikidata Q1416378
History
- 2026-11-02: add by m2/dev
Non-linear sigma model F94ESJHXE2
| URI | m2://inv/F94ESJHXE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-linear sigma model, Non-linear sigma model (definition). Also Wikidata Q924571
History
- 2026-11-02: add by m2/dev
F94GQXMZP0 F94GQXMZP0
| URI | m2://inv/F94GQXMZP0 |
|---|---|
| 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.07644#PNXH (statement). In TFAN2DR6FD/e1, corollary 20
History
- 2026-10-27: add by m2/v0.3.5
Local Lie group F94MH5MYCP
| URI | m2://inv/F94MH5MYCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#JS29, Local Lie group (definition)
History
- 2026-11-02: add by m2/dev
F94P3NXCXY F94P3NXCXY
| URI | m2://inv/F94P3NXCXY |
|---|---|
| Kind | example |
| 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 1508.01731#AXTX (example). In PKJFZEY8ZV/e1, example 4.4
History
- 2026-10-27: add by m2/v0.3.5
Intensity measure F94PWYY7X5
| URI | m2://inv/F94PWYY7X5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47068090, Intensity measure (unknown). Also MathWorld IntensityMeasure
- wikipedia: Wikipedia Intensity measure, Intensity measure (definition). Also Wikidata Q47068090
History
- 2026-10-26: add by m2/dev
Numeration by Hieroglyphics F957XQXMTJ
| URI | m2://inv/F957XQXMTJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ancient Egyptian mathematics#D7CL, Numeration by Hieroglyphics (unknown)
History
- 2026-11-02: add by m2/dev
central triangle F95B8G6RY3
| URI | m2://inv/F95B8G6RY3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110236349, central triangle (unknown). Also MathWorld CentralTriangle
- wikipedia: Wikipedia Central triangle, Central triangle (definition). Also Wikidata Q110236349
History
- 2026-10-26: add by m2/dev
F95JNWHPPG F95JNWHPPG
| URI | m2://inv/F95JNWHPPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.19023#68V8 (statement). In QFA8TMJPHZ/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Goodman - Nguyen - van Fraassen algebra F95S935QJV
| URI | m2://inv/F95S935QJV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional event algebra#J64E, Goodman - Nguyen - van Fraassen algebra (unknown)
History
- 2026-11-02: add by m2/dev
F95TFDFK4H F95TFDFK4H
| URI | m2://inv/F95TFDFK4H |
|---|---|
| Kind | example |
| 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.10875#D76Z (example). In N91F15MHW1/e1, example 5
History
- 2026-10-28: add by m2/v0.4.3
Symmetries F95ZEMEGS1
| URI | m2://inv/F95ZEMEGS1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boy's surface#QLV7, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
F961MMNBA5 F961MMNBA5
| URI | m2://inv/F961MMNBA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#E1G8 (statement). In 4SPYEGKZ8J/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.5
Fisher bound from score regularity F963VJM42G
| URI | m2://inv/F963VJM42G |
|---|---|
| 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.10640#C9QN, Fisher bound from score regularity (statement). In BAQVK6N0RD/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
F967EPTVPQ F967EPTVPQ
| URI | m2://inv/F967EPTVPQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX, 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 2410.14097#6GT5 (example). In H52QQS8WZA/e1, example 2.1
History
- 2026-10-27: add by m2/v0.3.5
F96G7SV2SA F96G7SV2SA
| URI | m2://inv/F96G7SV2SA |
|---|---|
| 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 2609.27056#WJ3H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Morph target animation F96NYCH2DG
| URI | m2://inv/F96NYCH2DG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#JMQT, Morph target animation (unknown)
History
- 2026-11-02: add by m2/dev
Fundamental recurrence formulas F96R9KDDWG
| URI | m2://inv/F96R9KDDWG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continued fraction#MW5N, Fundamental recurrence formulas (statement)
History
- 2026-11-02: add by m2/dev
totient function F96S6DS1CF
| URI | m2://inv/F96S6DS1CF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#VX0P, totient function (definition)
History
- 2026-11-02: add by m2/dev
Alexander John Ellis F96SNA2SW9
| URI | m2://inv/F96SNA2SW9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander John Ellis, Alexander John Ellis (topic). Also Wikidata Q621776
History
- 2026-11-02: add by m2/dev
Generation X F972MFDCZC
| URI | m2://inv/F972MFDCZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generation X, Generation X (definition). Also Wikidata Q379689
History
- 2026-11-02: add by m2/dev
Example F973CFTTCT
| URI | m2://inv/F973CFTTCT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary arithmetic#MKBI, Example (example)
History
- 2026-11-02: add by m2/dev
Weak convergence F978VM0HNW
| URI | m2://inv/F978VM0HNW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#HQQP, Weak convergence (definition). In WD2NCBV9F0/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.3.5
F97C3427YD F97C3427YD
| URI | m2://inv/F97C3427YD |
|---|---|
| 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#ALOM (statement). In D6XA7JXZF3/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Pytkeev space F97CPFXN0K
| URI | m2://inv/F97CPFXN0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pytkeev space, Pytkeev space (definition). Also Wikidata Q7263949
History
- 2026-11-02: add by m2/dev
F97YN4MY3H F97YN4MY3H
| URI | m2://inv/F97YN4MY3H |
|---|---|
| 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.30480#20DM (statement). In VP7MPRKH0M/e1, theorem 5.5
History
- 2026-10-31: add by m2/v0.5.6
F9803E3EAD F9803E3EAD
| URI | m2://inv/F9803E3EAD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17240#EQHW (definition). In 59BZ4V9RQW/e1, definition 9.3
History
- 2026-10-28: add by m2/v0.4.2
F9827Q830F F9827Q830F
| URI | m2://inv/F9827Q830F |
|---|---|
| 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.35678#PEBS (statement). In 4X4ZS7CEKD/e1, proposition 18
History
- 2026-10-30: add by m2/v0.4.12
Fan, Jianqing F982VEPVFW
| URI | m2://inv/F982VEPVFW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#N7SU, Fan, Jianqing (topic)
History
- 2026-11-02: add by m2/dev
Fréchet manifold F98B8ATHRD
| URI | m2://inv/F98B8ATHRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#44IW, Fréchet manifold (definition)
History
- 2026-11-02: add by m2/dev
F98HJAPEAT F98HJAPEAT
| URI | m2://inv/F98HJAPEAT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/infinite-valued-logics/goedel.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 39.4
History
- 2026-11-01: add by m2/v0.6.13
0-sphere F98JR8REC7
| URI | m2://inv/F98JR8REC7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-sphere#DGEY, 0-sphere (unknown)
History
- 2026-11-02: add by m2/dev
Elementary definition F98MCMJZVE
| URI | m2://inv/F98MCMJZVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary definition, Elementary definition (definition). Also Wikidata Q5358901
History
- 2026-11-02: add by m2/dev
Applications F98NNEGD53
| URI | m2://inv/F98NNEGD53 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss's continued fraction#3IA1, Applications (example)
History
- 2026-11-02: add by m2/dev
Almost-splitting under timelike sectional curvature bounds F98P8PFPJM
| URI | m2://inv/F98P8PFPJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#FKP4, Almost-splitting under timelike sectional curvature bounds (statement). In VCHH2AC34R/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
F995CR7GP7 F995CR7GP7
| URI | m2://inv/F995CR7GP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#0SJR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Simple random walk F9968J8B7P
| URI | m2://inv/F9968J8B7P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random walk#Y59X, Simple random walk (unknown)
History
- 2026-11-02: add by m2/dev
F999TMDGXG F999TMDGXG
| URI | m2://inv/F999TMDGXG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/multivar.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 45.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem F99FAJA0AA
| URI | m2://inv/F99FAJA0AA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic quaternion#QS7P, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Kummer, residue/borrow form F99K8JSHFG
| URI | m2://inv/F99K8JSHFG |
|---|---|
| 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.01328#1FC1, Kummer, residue/borrow form (statement). In GNY2MTPWW6/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
F99T1JYS8K F99T1JYS8K
| URI | m2://inv/F99T1JYS8K |
|---|---|
| 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 2104.00162#PSQD (statement). In HVGT9D84WV/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Tadeusz Kotarbiński F9A5PSQ5NV
| URI | m2://inv/F9A5PSQ5NV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#XP8D, Tadeusz Kotarbiński (topic)
History
- 2026-11-02: add by m2/dev
F9AJTY79QT F9AJTY79QT
| URI | m2://inv/F9AJTY79QT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#WMST (definition). In E1Y93JNBJA/e1, definition 1.7
History
- 2026-10-31: add by m2/v0.5.6
Johannes Scheubel F9AXBSSNXP
| URI | m2://inv/F9AXBSSNXP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes Scheubel, Johannes Scheubel (topic). Also Wikidata Q89466
History
- 2026-11-02: add by m2/dev
F9B3HVMV9C F9B3HVMV9C
| URI | m2://inv/F9B3HVMV9C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07445#7Q5Z (definition). In F1BM3Q8125/e1, definition 2.16
History
- 2026-10-29: add by m2/v0.4.10
Poincaré lemma for codifferential F9B5RB1JCP
| URI | m2://inv/F9B5RB1JCP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge star operator#BQ1C, Poincaré lemma for codifferential (statement)
History
- 2026-11-02: add by m2/dev
Ruth Barcan Marcus F9B61W6FPQ
| URI | m2://inv/F9B61W6FPQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Barcan Marcus, Ruth Barcan Marcus (topic). Also Wikidata Q437943
History
- 2026-11-02: add by m2/dev
Examples F9B885Z9JS
| URI | m2://inv/F9B885Z9JS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohomology#9K80, Examples (example)
History
- 2026-11-02: add by m2/dev
F9BC3S2QX2 F9BC3S2QX2
| URI | m2://inv/F9BC3S2QX2 |
|---|---|
| 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 2610.09739#8FKE (statement). In ZYNZ95FSFD/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Pierre van Moerbeke F9BE1CE2NY
| URI | m2://inv/F9BE1CE2NY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre van Moerbeke, Pierre van Moerbeke (topic). Also Wikidata Q569964
History
- 2026-11-02: add by m2/dev
Theorem F9BGRDG5WP
| URI | m2://inv/F9BGRDG5WP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime avoidance lemma#Z2QJ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications F9BHVCSWX5
| URI | m2://inv/F9BHVCSWX5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial method in combinatorics#1YCG, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties F9BNX5CE7T
| URI | m2://inv/F9BNX5CE7T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical of a module#1UH2, Properties (statement)
History
- 2026-11-02: add by m2/dev
Descent F9BZR4Q8GQ
| URI | m2://inv/F9BZR4Q8GQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31352#7W4T, Descent (definition). In SQZGKRDVBX/e1, definition 3.9
History
- 2026-10-31: add by m2/v0.5.6
F9C5V5QAH4 F9C5V5QAH4
| URI | m2://inv/F9C5V5QAH4 |
|---|---|
| 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.22304#MYGK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gaussian process F9C9428J8W
| URI | m2://inv/F9C9428J8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian process, Gaussian process (definition). Also Wikidata Q1496376
History
- 2026-11-02: add by m2/dev
F9CDNP3D1Y F9CDNP3D1Y
| URI | m2://inv/F9CDNP3D1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.09812#CXOP (statement). In NWWKD8YX57/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
F9CDPYH7HW F9CDPYH7HW
| URI | m2://inv/F9CDPYH7HW |
|---|---|
| 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.22218#MOG9 (statement). In 338GKREFVP/e1, theorem 64
History
- 2026-10-27: add by m2/v0.4.0
Per-mode variance comparison F9CH008YSF
| URI | m2://inv/F9CH008YSF |
|---|---|
| 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.14498#PNGV, Per-mode variance comparison (statement). In 81YXGYETE4/e1, corollary 12
History
- 2026-10-28: add by m2/v0.4.2
The positivity of the approximations F9CNE8SG3Z
| URI | m2://inv/F9CNE8SG3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29567#KV6Z, The positivity of the approximations (statement)
History
- 2026-11-01: add by m2/v0.6.15
PRF advantage F9CQ7K2ER6
| URI | m2://inv/F9CQ7K2ER6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PRF advantage, PRF advantage (definition). Also Wikidata Q7120300
History
- 2026-11-02: add by m2/dev
F9CQR6TT20 F9CQR6TT20
| URI | m2://inv/F9CQR6TT20 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.06695#TC0G (statement). In D6F8XGF5SS/e1, theorem E
History
- 2026-10-27: add by m2/v0.3.6
F9CQS7G1WN F9CQS7G1WN
| URI | m2://inv/F9CQS7G1WN |
|---|---|
| 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 2610.14783#1JEO (statement). In Y3X5XY2J65/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
F9CT610KNW F9CT610KNW
| URI | m2://inv/F9CT610KNW |
|---|---|
| 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.12716#EJJZ (statement). In M6BCSQSM3R/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
F9D086PNJ2 F9D086PNJ2
| URI | m2://inv/F9D086PNJ2 |
|---|---|
| Kind | conjecture |
| 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.05280#JP8E (conjecture). In K05CHVKH1B/e1, conjecture 4.1
History
- 2026-10-29: add by m2/v0.4.10
Map of lattices F9D1KRTXWM
| URI | m2://inv/F9D1KRTXWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map of lattices, Map of lattices (definition). Also Wikidata Q6753757
History
- 2026-11-02: add by m2/dev
Bre\v{s}ar; Steiner F9D4PT9799
| URI | m2://inv/F9D4PT9799 |
|---|---|
| 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 2607.01109#7HDF, Bre\v{s}ar; Steiner (statement). In V35F0T5RQ2/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Seiberg-Witten Floer homology F9D7MJ5PKP
| URI | m2://inv/F9D7MJ5PKP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floer homology#C859, Seiberg-Witten Floer homology (unknown)
History
- 2026-11-02: add by m2/dev
F9D7PBT10A F9D7PBT10A
| URI | m2://inv/F9D7PBT10A |
|---|---|
| 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-34 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
F9DF7G6XRR F9DF7G6XRR
| URI | m2://inv/F9DF7G6XRR |
|---|---|
| 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.31907#YWCU (statement). In 6B2PCEGCYZ/e1, lemma 2.8
History
- 2026-10-31: add by m2/v0.5.6
Matrix algebra F9DRK7AQ2A
| URI | m2://inv/F9DRK7AQ2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#MJOY, Matrix algebra (definition)
History
- 2026-11-02: add by m2/dev
MacMahon's master theorem F9E7HQWHTX
| URI | m2://inv/F9E7HQWHTX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permanent (mathematics)#5MQM, MacMahon's master theorem (statement)
History
- 2026-11-02: add by m2/dev
F9EE0DPTD1 F9EE0DPTD1
| URI | m2://inv/F9EE0DPTD1 |
|---|---|
| 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.21568#HG1Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jan Visman F9EJS403YM
| URI | m2://inv/F9EJS403YM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Visman, Jan Visman (topic). Also Wikidata Q6150134
History
- 2026-11-02: add by m2/dev
Polar form F9EMPKE9NS
| URI | m2://inv/F9EMPKE9NS |
|---|---|
| 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.25120#RVP6, Polar form (statement)
History
- 2026-11-01: add by m2/v0.6.15
Representations F9ES6N01AE
| URI | m2://inv/F9ES6N01AE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer algebra#QGAC, Representations (definition)
History
- 2026-11-02: add by m2/dev
F9ET5T4JKY F9ET5T4JKY
| URI | m2://inv/F9ET5T4JKY |
|---|---|
| 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.18219#3H4V (statement). In X1AGBB90EH/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Bayesian brain F9EVTYSCGF
| URI | m2://inv/F9EVTYSCGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K6R6, Bayesian brain (unknown)
History
- 2026-11-02: add by m2/dev
Categorical topology F9EWS9C4QT
| URI | m2://inv/F9EWS9C4QT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Categorical topology, Categorical topology (definition). Also Wikidata Q139963889
History
- 2026-11-02: add by m2/dev
F9EZTNKQB0 F9EZTNKQB0
| URI | m2://inv/F9EZTNKQB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#5TZF (statement). In D0XH7W96T3/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
F9F0V0TWGJ F9F0V0TWGJ
| URI | m2://inv/F9F0V0TWGJ |
|---|---|
| Kind | definition |
| 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#N2CC (definition). In 7V2PVZS04C/e1, definition 1.11
History
- 2026-10-31: add by m2/v0.5.6
Applications F9F2RP0TPB
| URI | m2://inv/F9F2RP0TPB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric function#UEB5, Applications (example)
History
- 2026-11-02: add by m2/dev
Mark Wilde F9F4PMP9HX
| URI | m2://inv/F9F4PMP9HX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ES6T, Mark Wilde (unknown)
History
- 2026-11-02: add by m2/dev
Borel $\sigma$-algebras with $\ext P\neq P_1$ F9F654CG6K
| URI | m2://inv/F9F654CG6K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-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 2606.21391#3ZO9, Borel $\sigma$-algebras with $\ext P\neq P_1$ (example). In J9C7YMKJ33/e1, example 4.10
History
- 2026-10-27: add by m2/v0.3.5
Lebesgue-Nagell equation F9F7RT6MM0
| URI | m2://inv/F9F7RT6MM0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan–Nagell equation#0YDZ, Lebesgue-Nagell equation (unknown)
History
- 2026-11-02: add by m2/dev
F9FBN4K6TZ F9FBN4K6TZ
| URI | m2://inv/F9FBN4K6TZ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06441#561B (unknown). In YFJ62HWHVK/e1, unknown 3.2
History
- 2026-10-29: add by m2/v0.4.10
F9FBQ9M1P1 F9FBQ9M1P1
| URI | m2://inv/F9FBQ9M1P1 |
|---|---|
| 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#Z114 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Proposition F9FC5N0B7Q
| URI | m2://inv/F9FC5N0B7Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phragmén–Lindelöf principle#7C8W, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Four color theorem F9FHF7QQSC
| URI | m2://inv/F9FHF7QQSC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3NUS, Four color theorem (statement)
History
- 2026-11-02: add by m2/dev
F9G0TX8JPQ F9G0TX8JPQ
| URI | m2://inv/F9G0TX8JPQ |
|---|---|
| Kind | example |
| 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.13295#RMSW (example). In 8Q7QXTWD0S/e1, example 4.5
History
- 2026-10-28: add by m2/v0.4.2
Kervaire manifold F9G0W9ACJH
| URI | m2://inv/F9G0W9ACJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kervaire manifold, Kervaire manifold (definition). Also Wikidata Q17100718
History
- 2026-11-02: add by m2/dev
F9G12ZQP39 F9G12ZQP39
| URI | m2://inv/F9G12ZQP39 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#Q4AT (statement). In 9RBATD2Z1F/e1, proposition 3.16
History
- 2026-10-30: add by m2/v0.4.12
F9GGGA1TNP F9GGGA1TNP
| URI | m2://inv/F9GGGA1TNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#2V0Q (statement). In E7W2HDNEKJ/e1, theorem 5.45
History
- 2026-10-30: add by m2/v0.4.12
Laura Grigori F9GH6W0MN0
| URI | m2://inv/F9GH6W0MN0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laura Grigori, Laura Grigori (topic). Also Wikidata Q96361514
History
- 2026-11-02: add by m2/dev
F9GJNGZEB8 F9GJNGZEB8
| URI | m2://inv/F9GJNGZEB8 |
|---|---|
| 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.29148#6376 (statement)
History
- 2026-11-01: add by m2/v0.6.15
F9GWAP4PTZ F9GWAP4PTZ
| URI | m2://inv/F9GWAP4PTZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_exercises.ptx#exercise-5 (exercise). In QKM9DD2H56, exercise, section 10
History
- 2026-11-01: add by m2/v0.6.13
F9GXQYR02S F9GXQYR02S
| URI | m2://inv/F9GXQYR02S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35383#SCCF (statement). In HSR4748706/e1, corollary 2.5
History
- 2026-10-30: add by m2/v0.4.12
F9H743N9P3 F9H743N9P3
| URI | m2://inv/F9H743N9P3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-45 (proof). In N54F33XE07, proof, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Andrew Searle Hart F9H8FPYHXH
| URI | m2://inv/F9H8FPYHXH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew Searle Hart, Andrew Searle Hart (topic). Also Wikidata Q4758543
History
- 2026-11-02: add by m2/dev
$\exists$ Elimination F9HAVPR9F7
| URI | m2://inv/F9HAVPR9F7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#66CM, $\exists$ Elimination (statement). In P9J6P06Y40/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.3.5
List of mathematical properties of points F9HB7NQNNS
| URI | m2://inv/F9HB7NQNNS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#CALT, List of mathematical properties of points (topic)
History
- 2026-11-02: add by m2/dev
Trevor West F9HN3BKNBY
| URI | m2://inv/F9HN3BKNBY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trevor West, Trevor West (topic). Also Wikidata Q7839483
History
- 2026-11-02: add by m2/dev
Extensions F9HNY9371C
| URI | m2://inv/F9HNY9371C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sensitivity theorem#KPGH, Extensions (statement)
History
- 2026-11-02: add by m2/dev
gnosticism F9HPWJ1D30
| URI | m2://inv/F9HPWJ1D30 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48420, gnosticism (unknown). Also nLab gnosticism
History
- 2026-10-26: add by m2/dev
Claw-free permutation F9HWRVSTBB
| URI | m2://inv/F9HWRVSTBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#5R8X, Claw-free permutation (definition)
History
- 2026-11-02: add by m2/dev
F9J7VDVZBX F9J7VDVZBX
| URI | m2://inv/F9J7VDVZBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#SC2I (statement). In W0ZHX9DHPV/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.10
Kenneth Davidson F9JPH5BTZ7
| URI | m2://inv/F9JPH5BTZ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1AYQ, Kenneth Davidson (topic)
History
- 2026-11-02: add by m2/dev
Mikhail Gromov F9JV2SMD7R
| URI | m2://inv/F9JV2SMD7R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#CTA7, Mikhail Gromov (topic)
History
- 2026-11-02: add by m2/dev
Double graph F9K2M9Y5JQ
| URI | m2://inv/F9K2M9Y5JQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double graph, Double graph (definition). Also Wikidata Q137393039
History
- 2026-11-02: add by m2/dev
Poland F9K312FYJA
| URI | m2://inv/F9K312FYJA |
|---|---|
| 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 Q36, Poland (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Poland
History
- 2026-10-26: add by m2/dev
F9K8B6199H F9K8B6199H
| URI | m2://inv/F9K8B6199H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#2C5A (statement). In PWXT7J9JX3/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.2
F9KATKP6DK F9KATKP6DK
| URI | m2://inv/F9KATKP6DK |
|---|---|
| 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 2610.20801#FDT3 (definition). In A1GWWGRXPA/e1, definition 3.28
History
- 2026-10-27: add by m2/v0.4.2
Informal F9KB4KNEVW
| URI | m2://inv/F9KB4KNEVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20998#GFD5, Informal (statement)
History
- 2026-11-02: add by m2/v0.6.18
Normalized lattice pair F9KMX2T5YA
| URI | m2://inv/F9KMX2T5YA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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 2501.09848#ACCS, Normalized lattice pair (definition). In HF7YNMW39N/e1, definition 11.1
History
- 2026-10-27: add by m2/v0.4.0
Fletcher's checksum F9KPB9QYGF
| URI | m2://inv/F9KPB9QYGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#0YRA, Fletcher's checksum (unknown)
History
- 2026-11-02: add by m2/dev
History of discourse analysis F9KPM02HE2
| URI | m2://inv/F9KPM02HE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discourse analysis#Z838, History of discourse analysis (unknown)
History
- 2026-11-02: add by m2/dev
OxMetrics F9KTVPQ2S7
| URI | m2://inv/F9KTVPQ2S7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OxMetrics, OxMetrics (definition). Also Wikidata Q7115030
History
- 2026-11-02: add by m2/dev
Lambert series F9KV3AQ2DW
| URI | m2://inv/F9KV3AQ2DW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lambert series HATVWNZNMR |
Mentions
- wikidata: Wikidata Q1577138, Lambert series (concept). Also EoM Lambert_series, MathWorld LambertSeries
- wikipedia: Wikipedia Lambert series, Lambert series (definition). Also Wikidata Q1577138
History
- 2026-10-26: add by m2/dev
Class logic F9KYA3WG1J
| URI | m2://inv/F9KYA3WG1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class logic, Class logic (definition). Also Wikidata Q1297858
History
- 2026-11-02: add by m2/dev
F9M17TF8NP F9M17TF8NP
| URI | m2://inv/F9M17TF8NP |
|---|---|
| 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.06556#JUWT (statement). In KW8C7VE9XR/e1, theorem 31
History
- 2026-10-29: add by m2/v0.4.10
F9MFC53BQ4 F9MFC53BQ4
| URI | m2://inv/F9MFC53BQ4 |
|---|---|
| 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.32282#LBFU (statement). In MF7XEPN4GV/e1, proposition 6
History
- 2026-10-31: add by m2/v0.5.6
Huygens's principle as a microscopic model F9N1WJ966Y
| URI | m2://inv/F9N1WJ966Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huygens–Fresnel principle#FXWB, Huygens's principle as a microscopic model (statement)
History
- 2026-11-02: add by m2/dev
Bourbaki ideal F9N3FNS6TA
| URI | m2://inv/F9N3FNS6TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#VH30, Bourbaki ideal (definition)
History
- 2026-11-02: add by m2/dev
Normal-inverse-gamma distribution F9N8J82PW6
| URI | m2://inv/F9N8J82PW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-inverse-gamma distribution, Normal-inverse-gamma distribution (definition). Also Wikidata Q7051758
History
- 2026-11-02: add by m2/dev
Low-temperature Gumbel--softmax F9NC4DPBP8
| URI | m2://inv/F9NC4DPBP8 |
|---|---|
| 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.02528#K745, Low-temperature Gumbel--softmax (statement). In 5FQHVY6RXK/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
F9NE4WY96A F9NE4WY96A
| URI | m2://inv/F9NE4WY96A |
|---|---|
| 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 2610.05232#O2KZ (statement). In DA3VN96YX2/e1, corollary 2.10
History
- 2026-10-29: add by m2/v0.4.10
Definition F9NNTR3M1G
| URI | m2://inv/F9NNTR3M1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylindrification#LY4U, Definition (definition)
History
- 2026-11-02: add by m2/dev
F9NPWXF0F6 F9NPWXF0F6
| URI | m2://inv/F9NPWXF0F6 |
|---|---|
| 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 2403.15255#GW6G (statement). In G691MXMYW0/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.0
Functional differential equation F9NQGP7M6J
| URI | m2://inv/F9NQGP7M6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional differential equation, Functional differential equation (definition). Also Wikidata Q28406324
History
- 2026-11-02: add by m2/dev
F9NVTTVW2D F9NVTTVW2D
| URI | m2://inv/F9NVTTVW2D |
|---|---|
| Kind | problem |
| 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#VHPY (problem). In GYMGDQS25R/e1, problem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Catherine Yan F9P07M5HYJ
| URI | m2://inv/F9P07M5HYJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catherine Yan, Catherine Yan (topic). Also Wikidata Q42728925
History
- 2026-11-02: add by m2/dev
F9P3H7JR4T F9P3H7JR4T
| URI | m2://inv/F9P3H7JR4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.14847#FS2G (statement). In 2RC8WXQ9ET/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Definitions F9PJSBS44X
| URI | m2://inv/F9PJSBS44X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance geometry#FYEI, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Symmetry F9PK87P0MC
| URI | m2://inv/F9PK87P0MC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hendecagon#O1WX, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
F9PPRS4MXN F9PPRS4MXN
| URI | m2://inv/F9PPRS4MXN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37524#8B54 (definition). In 4GTJAPF7Q3/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
F9PVPK7HJD F9PVPK7HJD
| URI | m2://inv/F9PVPK7HJD |
|---|---|
| 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 0809.3835#4F5A (statement). In V4J1J8YC7V/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.5
F9Q197G3RV F9Q197G3RV
| URI | m2://inv/F9Q197G3RV |
|---|---|
| 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 1903.07030#OKVN (statement). In 9H45HQE7AZ/e1, proposition 3.41
History
- 2026-10-27: add by m2/v0.3.5
Even function F9Q1DZCJ8P
| URI | m2://inv/F9Q1DZCJ8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#10B7, Even function (definition)
History
- 2026-11-02: add by m2/dev
F9QQXCKR1B F9QQXCKR1B
| URI | m2://inv/F9QQXCKR1B |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mahler volume#TN54 (problem)
History
- 2026-11-02: add by m2/dev
Stationary selection F9QXCFE2AM
| URI | m2://inv/F9QXCFE2AM |
|---|---|
| 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.00099#7SF2, Stationary selection (statement). In NNBY2AEHP4/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
F9R0M8KXQ4 F9R0M8KXQ4
| URI | m2://inv/F9R0M8KXQ4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01251#9352 (definition). In CZ2247RGQ4/e1, definition 3.1.4
History
- 2026-10-29: add by m2/v0.4.12
F9R107QQ5G F9R107QQ5G
| URI | m2://inv/F9R107QQ5G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#D1Y7 (definition). In JQFPH09JG8/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.10
607 (number) F9R6WV0PB2
| URI | m2://inv/F9R6WV0PB2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600 (number)#YP9Q, 607 (number) (unknown)
History
- 2026-11-02: add by m2/dev
F9R7538P54 F9R7538P54
| URI | m2://inv/F9R7538P54 |
|---|---|
| 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.20140#01SX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Dual norm distortion factor F9RDMEB418
| URI | m2://inv/F9RDMEB418 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-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.38741#1S6L, Dual norm distortion factor (definition). In 1SQH3PTYMD/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
\textbf{Extrinsic integral operator F9RDV08FBF
| URI | m2://inv/F9RDV08FBF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17032#PHRB, \textbf{Extrinsic integral operator (definition). In MXPK9A2HK2/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Net polynomial and elliptic denominator net F9REPV2DE5
| URI | m2://inv/F9REPV2DE5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20273#HD13, Net polynomial and elliptic denominator net (definition). In AEGHDSD5S7/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.4.2
Branch symmetry F9RK5TR8T3
| URI | m2://inv/F9RK5TR8T3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.15792#THYQ, Branch symmetry (statement). In YGBX34HPA9/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
The theorem F9RNBA9J9X
| URI | m2://inv/F9RNBA9J9X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mirsky's theorem#ME4W, The theorem (statement)
History
- 2026-11-02: add by m2/dev
F9RRSSZK4A F9RRSSZK4A
| URI | m2://inv/F9RRSSZK4A |
|---|---|
| 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 2605.30285#XAJ5 (statement). In YMY0NNSM27/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.6
F9RSNTP3QB F9RSNTP3QB
| URI | m2://inv/F9RSNTP3QB |
|---|---|
| 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.39505#WHLJ (statement). In WAXS6FS388/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
F9RZPVJ25G F9RZPVJ25G
| URI | m2://inv/F9RZPVJ25G |
|---|---|
| Kind | example |
| 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#YLXT (example). In 8HYS0MFE25/e1, example 3.6
History
- 2026-10-27: add by m2/v0.3.5
Algebraic character F9S0EF22WW
| URI | m2://inv/F9S0EF22WW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic character, Algebraic character (definition). Also Wikidata Q4723990
History
- 2026-11-02: add by m2/dev
Variations F9S94C9CWJ
| URI | m2://inv/F9S94C9CWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bourbaki dangerous bend symbol#UFFQ, Variations (statement)
History
- 2026-11-02: add by m2/dev
Explicit prime formula F9SHSAPHPD
| URI | m2://inv/F9SHSAPHPD |
|---|---|
| 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.17006#7HSO, Explicit prime formula (statement). In YY81ZEJ82P/e1, corollary 6.2
History
- 2026-10-28: add by m2/v0.4.2
n-ary relation F9SJVH3DDZ
| URI | m2://inv/F9SJVH3DDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#IHGB, n-ary relation (definition)
History
- 2026-11-02: add by m2/dev
F9SRAMQ31J F9SRAMQ31J
| URI | m2://inv/F9SRAMQ31J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40017#LBVY (statement). In MBHJA0HT06/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
F9ST23606D F9ST23606D
| URI | m2://inv/F9ST23606D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21931#4ZVV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gaussia F9T28F5Y99
| URI | m2://inv/F9T28F5Y99 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#GJFX, Gaussia (unknown)
History
- 2026-11-02: add by m2/dev
D'Alembert's form of the principle of virtual work F9TK1H1EK7
| URI | m2://inv/F9TK1H1EK7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid body dynamics#YKRR, D'Alembert's form of the principle of virtual work (statement)
History
- 2026-11-02: add by m2/dev
Ragged Fourier factorisation F9V1XTBVT6
| URI | m2://inv/F9V1XTBVT6 |
|---|---|
| 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 2609.29119#T3WF, Ragged Fourier factorisation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cartan subalgebra F9V1Z36MY2
| URI | m2://inv/F9V1Z36MY2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2912114, Cartan subalgebra (concept). Also MathWorld CartanSubalgebra, nLab Cartan subalgebra
- wikipedia: Wikipedia Cartan subalgebra, Cartan subalgebra (definition). Also Wikidata Q2912114
History
- 2026-10-26: add by m2/dev
Complex squaring map F9VE0931H1
| URI | m2://inv/F9VE0931H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex squaring map, Complex squaring map (definition). Also Wikidata Q5156606
History
- 2026-11-02: add by m2/dev
F9VG8ACA0P F9VG8ACA0P
| URI | m2://inv/F9VG8ACA0P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#UJWH (definition). In XYYEJN00D8/e1, definition 2.10
History
- 2026-10-30: add by m2/v0.4.12
Kuga fiber variety F9VNXF1D3E
| URI | m2://inv/F9VNXF1D3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuga fiber variety, Kuga fiber variety (definition). Also Wikidata Q6441934
History
- 2026-11-02: add by m2/dev
F9VQXYFB5Z F9VQXYFB5Z
| URI | m2://inv/F9VQXYFB5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#RIMA (statement). In XYYEJN00D8/e1, proposition 3.8
History
- 2026-10-30: add by m2/v0.4.12
Mór Réthy F9VXZMBW8G
| URI | m2://inv/F9VXZMBW8G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mór Réthy, Mór Réthy (topic). Also Wikidata Q1253030
History
- 2026-11-02: add by m2/dev
Terminology F9VZE7RZTV
| URI | m2://inv/F9VZE7RZTV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julian day#O7TM, Terminology (definition)
History
- 2026-11-02: add by m2/dev
General block residual finite window transfer F9W2TY12H4
| URI | m2://inv/F9W2TY12H4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.18739#D5B2, General block residual finite window transfer (statement). In VGJXQRC44C/e1, proposition 15
History
- 2026-10-28: add by m2/v0.4.2
F9W5DJZZ73 F9W5DJZZ73
| URI | m2://inv/F9W5DJZZ73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 1503.05744#DZ9C (statement). In 5XKHZKEGAF/e1, theorem 4.11
History
- 2026-10-27: add by m2/v0.3.5
Definitions F9W9JGV6DB
| URI | m2://inv/F9W9JGV6DB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Russo–Vallois integral#OYWJ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
F9WA5WHWN6 F9WA5WHWN6
| URI | m2://inv/F9WA5WHWN6 |
|---|---|
| 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 1905.00573#7MP3 (statement). In 74RNQVBM2G/e1, corollary 3.16
History
- 2026-10-27: add by m2/v0.3.5
Quadrirectified 9-cube F9WBT19B2Y
| URI | m2://inv/F9WBT19B2Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 9-cubes#KZTS, Quadrirectified 9-cube (unknown)
History
- 2026-11-02: add by m2/dev
Uniform velocity bound with norm safeguard F9WEMQ93GW
| URI | m2://inv/F9WEMQ93GW |
|---|---|
| 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.32981#PHQ1, Uniform velocity bound with norm safeguard (statement). In AXDF7YN2RW/e1, lemma 2.5
History
- 2026-10-31: add by m2/v0.5.6
sequent F9WEW21YS4
| URI | m2://inv/F9WEW21YS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q843632, sequent (definition). Also ProofWiki Definition:Sequent
- wikipedia: Wikipedia Sequent, Sequent (definition). Also Wikidata Q843632
History
- 2026-10-26: add by m2/dev
Refinement Order F9WFDXWR17
| URI | m2://inv/F9WFDXWR17 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#1BM3, Refinement Order (definition). In 7V3HG30ZGW/e1, definition A.2
History
- 2026-10-27: add by m2/v0.4.0
right-narrow F9WR3XB8XC
| URI | m2://inv/F9WR3XB8XC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#MH4K, right-narrow (definition)
History
- 2026-11-02: add by m2/dev
F9WR6715CP F9WR6715CP
| URI | m2://inv/F9WR6715CP |
|---|---|
| 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.18219#S3J7 (statement). In X1AGBB90EH/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
F9WS728H3G F9WS728H3G
| URI | m2://inv/F9WS728H3G |
|---|---|
| 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.31527#VFN7 (statement). In ZQ2YZ4P6P5/e1, proposition 2.8
History
- 2026-10-31: add by m2/v0.5.6
F9WSJ29CF4 F9WSJ29CF4
| URI | m2://inv/F9WSJ29CF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00135#V41A (statement). In PXWXV92SJY/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
Tournament of the Towns F9WSR0WJ0B
| URI | m2://inv/F9WSR0WJ0B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#2DOL, Tournament of the Towns (unknown)
History
- 2026-11-02: add by m2/dev
Applications F9WTKQ8TZZ
| URI | m2://inv/F9WTKQ8TZZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular sequence#ZYHC, Applications (example)
History
- 2026-11-02: add by m2/dev
mathematical problem F9WYC1AK3W
| URI | m2://inv/F9WYC1AK3W |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1166625, mathematical problem (unknown). Also MathWorld Problem
- wikipedia: Wikipedia Mathematical problem, Mathematical problem (problem). Also Wikidata Q1166625
History
- 2026-10-26: add by m2/dev
F9X0ZVWRQ4 F9X0ZVWRQ4
| URI | m2://inv/F9X0ZVWRQ4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#GQYW (example)
History
- 2026-11-01: add by m2/v0.6.15
Differentiability with respect to the initial state F9X132MSAZ
| URI | m2://inv/F9X132MSAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02106#84EZ, Differentiability with respect to the initial state (statement). In NGKK8ZB29J/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Examples F9X2PEWHV0
| URI | m2://inv/F9X2PEWHV0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nomogram#W7BW, Examples (example)
History
- 2026-11-02: add by m2/dev
Stochastic parallel two-track scheme F9X35E22MM
| URI | m2://inv/F9X35E22MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.00295#XE7A, Stochastic parallel two-track scheme (statement). In 7HXP270BD0/e1, theorem 5.14
History
- 2026-10-30: add by m2/v0.4.12
Anton Kotzig F9X6EWXW41
| URI | m2://inv/F9X6EWXW41 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anton Kotzig, Anton Kotzig (topic). Also Wikidata Q591217
History
- 2026-11-02: add by m2/dev
Identification-limited regime F9XNAK256D
| URI | m2://inv/F9XNAK256D |
|---|---|
| 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.21363#2QKS, Identification-limited regime (statement). In YPH7NS5AAQ/e1, corollary 5.8
History
- 2026-10-27: add by m2/v0.4.2
F9XNWQ9PHE F9XNWQ9PHE
| URI | m2://inv/F9XNWQ9PHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28282#081F (statement)
History
- 2026-11-01: add by m2/v0.6.15
F9XSGPRBQ3 F9XSGPRBQ3
| URI | m2://inv/F9XSGPRBQ3 |
|---|---|
| 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#5FG3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
F9XWTJJ82A F9XWTJJ82A
| URI | m2://inv/F9XWTJJ82A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#RW17 (statement)
History
- 2026-11-01: add by m2/v0.6.15
F9XXFVZHGQ F9XXFVZHGQ
| URI | m2://inv/F9XXFVZHGQ |
|---|---|
| Kind | definition |
| 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 2209.07892#5HCY (definition). In RGAFSKTAHM/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
F9Y0GAGQV2 F9Y0GAGQV2
| URI | m2://inv/F9Y0GAGQV2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#Z23J (example). In 13GSWBXPCM/e1, example 2.6
History
- 2026-10-27: add by m2/v0.3.5
D'Alembert's equation F9Y6V2ZNQT
| URI | m2://inv/F9Y6V2ZNQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | d'Alembert's equation W6GG3FJMNQ |
Mentions
- wikidata: Wikidata Q1272852, D'Alembert's equation (unknown). Also MathWorld dAlembertsEquation
- wikipedia: Wikipedia D'Alembert's equation, D'Alembert's equation (definition). Also Wikidata Q1272852
History
- 2026-10-26: add by m2/dev
Great complex icosidodecahedron F9Z05HTPCW
| URI | m2://inv/F9Z05HTPCW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra by Schwarz triangle#KO2P, Great complex icosidodecahedron (object)
History
- 2026-11-02: add by m2/dev
Circular clique F9ZHTBBDY9
| URI | m2://inv/F9ZHTBBDY9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular coloring#FQLR, Circular clique (unknown)
History
- 2026-11-02: add by m2/dev
F9ZKSMFQDH F9ZKSMFQDH
| URI | m2://inv/F9ZKSMFQDH |
|---|---|
| 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.21900#JDAX (statement)
History
- 2026-11-02: add by m2/v0.6.17
F9ZMZJJ6G9 F9ZMZJJ6G9
| URI | m2://inv/F9ZMZJJ6G9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#GJBC (statement). In 5E9G06XJKC/e1, lemma G.3
History
- 2026-10-28: add by m2/v0.4.2
Statement F9ZSPEVNNF
| URI | m2://inv/F9ZSPEVNNF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Rees lemma#6O0C, Statement (statement)
History
- 2026-11-02: add by m2/dev
truthmaker F9ZSS1FP97
| URI | m2://inv/F9ZSS1FP97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5S7W, truthmaker (definition)
History
- 2026-11-02: add by m2/dev
F9ZT6Q9Z44 F9ZT6Q9Z44
| URI | m2://inv/F9ZT6Q9Z44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#prop-4 (statement). In PKGMM3P5QY, prop, section 50.2
History
- 2026-11-01: add by m2/v0.6.13
Henry Lewis Rietz F9ZWETKHSX
| URI | m2://inv/F9ZWETKHSX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Lewis Rietz, Henry Lewis Rietz (topic). Also Wikidata Q5725085
History
- 2026-11-02: add by m2/dev