Inventory rows W6
The cards of the rows of the inventory whose ids start with W6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Tony Auth W600X27WS7
| URI | m2://inv/W600X27WS7 |
|---|---|
| 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#046P, Tony Auth (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition W602V4YFR7
| URI | m2://inv/W602V4YFR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection (relational algebra)#LF3Y, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Circumconic and inconic W605VVBGBE
| URI | m2://inv/W605VVBGBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circumconic and inconic, Circumconic and inconic (definition). Also Wikidata Q3797698
History
- 2026-11-02: add by m2/dev
W60746G9AE W60746G9AE
| URI | m2://inv/W60746G9AE |
|---|---|
| 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 2610.08837#R3KC (definition). In KBH265QSBT/e1, definition 7.5
History
- 2026-10-29: add by m2/v0.4.10
Lazarus Bendavid W60KN4QDVC
| URI | m2://inv/W60KN4QDVC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#SED6, Lazarus Bendavid (unknown)
History
- 2026-11-02: add by m2/dev
Umbral calculus W60SH78N7B
| URI | m2://inv/W60SH78N7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formal systems#X9Y2, Umbral calculus (definition)
History
- 2026-11-02: add by m2/dev
Nearly completely decomposable Markov chain W60VP51JBA
| URI | m2://inv/W60VP51JBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nearly completely decomposable Markov chain, Nearly completely decomposable Markov chain (definition). Also Wikidata Q6984448
History
- 2026-11-02: add by m2/dev
Anne M. Leggett W6142N3P5W
| URI | m2://inv/W6142N3P5W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anne M. Leggett, Anne M. Leggett (topic). Also Wikidata Q57158920
History
- 2026-11-02: add by m2/dev
Fityk W615XSQ4R2
| URI | m2://inv/W615XSQ4R2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#898I, Fityk (unknown)
History
- 2026-11-02: add by m2/dev
Displacement theorem W61A7QDCM1
| URI | m2://inv/W61A7QDCM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson point process#JVGE, Displacement theorem (statement)
History
- 2026-11-02: add by m2/dev
W61DW1JACH W61DW1JACH
| URI | m2://inv/W61DW1JACH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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 2609.31127#GZPN (statement). In NS3RZ26JC7/e1, corollary 6
History
- 2026-10-31: add by m2/v0.5.6
Waterman polyhedron W61GS1DNXH
| URI | m2://inv/W61GS1DNXH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12353886, Waterman polyhedron (unknown). Also MathWorld WatermanPolyhedron
- wikipedia: Wikipedia Waterman polyhedron, Waterman polyhedron (object). Also Wikidata Q12353886
History
- 2026-10-26: add by m2/dev
Paul Malliavin W61NZDV7Y3
| URI | m2://inv/W61NZDV7Y3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UFJE, Paul Malliavin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#76TM, Paul Malliavin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#B7ZQ, Paul Malliavin (topic)
History
- 2026-11-02: add by m2/dev
spherical polyhedron W61PBE5C39
| URI | m2://inv/W61PBE5C39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2785034, spherical polyhedron (unknown). Also MathWorld SphericalPolyhedron
- wikipedia: Wikipedia Spherical polyhedron, Spherical polyhedron (definition). Also Wikidata Q2785034
History
- 2026-10-26: add by m2/dev
Theorem W61RDMYFDK
| URI | m2://inv/W61RDMYFDK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability of Fano varieties#FB6R, Theorem (statement)
History
- 2026-11-02: add by m2/dev
shear mapping W61VS1SQBG
| URI | m2://inv/W61VS1SQBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1411898, shear mapping (unknown). Also MathWorld Shear
- wikipedia: Wikipedia Shear mapping, Shear mapping (definition). Also Wikidata Q1411898
History
- 2026-10-26: add by m2/dev
W6229DERNX W6229DERNX
| URI | m2://inv/W6229DERNX |
|---|---|
| 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 2609.32174#WONM (definition). In GHKR740SG3/e1, definition 14.2
History
- 2026-10-31: add by m2/v0.5.6
vagueness W624DDKSJD
| URI | m2://inv/W624DDKSJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BXNX, vagueness (definition)
History
- 2026-11-02: add by m2/dev
W629H9Y2ZA W629H9Y2ZA
| URI | m2://inv/W629H9Y2ZA |
|---|---|
| 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 2504.01057#YS6Y (statement). In 69QFBXJENW/e1, lemma 2.19
History
- 2026-10-27: add by m2/v0.3.5
Lucy R. Wyatt W62JF6YE0W
| URI | m2://inv/W62JF6YE0W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucy R. Wyatt, Lucy R. Wyatt (topic). Also Wikidata Q19665725
History
- 2026-11-02: add by m2/dev
Nonvanishing bubble moments and tail identifiability W62N7K0Y41
| URI | m2://inv/W62N7K0Y41 |
|---|---|
| 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 2610.10484#Q990, Nonvanishing bubble moments and tail identifiability (statement). In 5B4AX4SF88/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.10
Examples W62PMRPMMW
| URI | m2://inv/W62PMRPMMW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete set of invariants#IDJ6, Examples (example)
History
- 2026-11-02: add by m2/dev
Grinevich W62S0THMTY
| URI | m2://inv/W62S0THMTY |
|---|---|
| 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.13753#4Q0M, Grinevich (statement). In AHM0PBKZZN/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
W62S4Z53HD W62S4Z53HD
| URI | m2://inv/W62S4Z53HD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#ZOGT (statement). In JY50YXMH5N/e1, proposition 17
History
- 2026-10-29: add by m2/v0.4.12
W62WY84357 W62WY84357
| URI | m2://inv/W62WY84357 |
|---|---|
| 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.18907#VK91 (statement). In 4SSZ4PF2P2/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
W6336DT3H4 W6336DT3H4
| URI | m2://inv/W6336DT3H4 |
|---|---|
| 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.15313#F9XR (statement). In KWKY1CWG1Z/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Definition W635T9VM45
| URI | m2://inv/W635T9VM45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal derivative#D1X7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Köthe W639QAHM2Y
| URI | m2://inv/W639QAHM2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#ZHQB, Köthe (definition)
History
- 2026-11-02: add by m2/dev
Nikolaos Kapouleas W63BZVZJQP
| URI | m2://inv/W63BZVZJQP |
|---|---|
| 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#2X0C, Nikolaos Kapouleas (unknown)
History
- 2026-11-02: add by m2/dev
The first \texorpdfstring{$K$}{K} spectral slopes W63D1DPGSF
| URI | m2://inv/W63D1DPGSF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#T62E, The first \texorpdfstring{$K$}{K} spectral slopes (definition). In 8BNPFYQDQX/e1, definition 8.4
History
- 2026-10-29: add by m2/v0.4.10
W63K5EJYST W63K5EJYST
| URI | m2://inv/W63K5EJYST |
|---|---|
| Kind | definition |
| 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.38138#Q5FS (definition). In G97FA99ZEF/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Seriation (statistics) W63R4VMVW3
| URI | m2://inv/W63R4VMVW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#BLCY, Seriation (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Example scenario W63XS7PHMX
| URI | m2://inv/W63XS7PHMX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditionality principle#DTBP, Example scenario (example)
History
- 2026-11-02: add by m2/dev
W644WEZHPH W644WEZHPH
| URI | m2://inv/W644WEZHPH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37761#UDA1 (statement). In 4TAQ65KZKN/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Definition W645Z2G743
| URI | m2://inv/W645Z2G743 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holmes–Thompson volume#SI7P, Definition (definition)
History
- 2026-11-02: add by m2/dev
W6479S0RQ0 W6479S0RQ0
| URI | m2://inv/W6479S0RQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20825#9LEK (statement). In K9G02J8MXT/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.2
W64JC4JM90 W64JC4JM90
| URI | m2://inv/W64JC4JM90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18483#O776 (statement). In FF4HDVF1DC/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Séminaire de Géométrie Algébrique du Bois Marie W64Q21JPQK
| URI | m2://inv/W64Q21JPQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Séminaire de Géométrie Algébrique du Bois Marie, Séminaire de Géométrie Algébrique du Bois Marie (definition). Also Wikidata Q3510766
History
- 2026-11-02: add by m2/dev
Flatness of the models W64R1BHAJ2
| URI | m2://inv/W64R1BHAJ2 |
|---|---|
| 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.33808#JVRP, Flatness of the models (statement). In 328KGRNN0W/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
W64W815GDR W64W815GDR
| URI | m2://inv/W64W815GDR |
|---|---|
| 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.35950#FYF9 (statement). In BZN1G5W5FX/e1, theorem 6.5
History
- 2026-10-30: add by m2/v0.4.12
Properties W64WTD1DEG
| URI | m2://inv/W64WTD1DEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact semigroup#EKK6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Cluster sampling W650NZZYTV
| URI | m2://inv/W650NZZYTV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster sampling, Cluster sampling (definition). Also Wikidata Q1776598
History
- 2026-11-02: add by m2/dev
W6518Y7G26 W6518Y7G26
| URI | m2://inv/W6518Y7G26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#H2TI (statement). In EVFX1R7ZDD/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
W651XZP3PZ W651XZP3PZ
| URI | m2://inv/W651XZP3PZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#thm:inverse of inverse (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Algorithm W65DVF6YB4
| URI | m2://inv/W65DVF6YB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shanks's square forms factorization#H1F3, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Examples W65DY6K49A
| URI | m2://inv/W65DY6K49A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrepancy function#RQBO, Examples (example)
History
- 2026-11-02: add by m2/dev
W65PZVPZZW W65PZVPZZW
| URI | m2://inv/W65PZVPZZW |
|---|---|
| Kind | definition |
| 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.11905#2ANA (definition). In QQFXT31CA5/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.3
Reduced junctions W65SZBX0YW
| URI | m2://inv/W65SZBX0YW |
|---|---|
| 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.17608#HVGM, Reduced junctions (definition). In VAGWC38NSF/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
W65ZPER3ZA W65ZPER3ZA
| URI | m2://inv/W65ZPER3ZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#defn-8 (definition). In E59CDZA4DP, defn, section 6.3.1
History
- 2026-11-01: add by m2/v0.6.13
W668CGV8PS W668CGV8PS
| URI | m2://inv/W668CGV8PS |
|---|---|
| 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.12131#VCXL (statement). In NYT07WF46A/e1, corollary 3.11
History
- 2026-10-28: add by m2/v0.4.2
Mstislav Keldysh W66NKQ8NY0
| URI | m2://inv/W66NKQ8NY0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mstislav Keldysh, Mstislav Keldysh (topic). Also Wikidata Q246497
History
- 2026-11-02: add by m2/dev
Platonic solid W66T6Z1FD5
| URI | m2://inv/W66T6Z1FD5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | node (a node has the same name as the row) |
| Node | Platonic solid 00BETAJNZ4 |
Mentions
- mathlib_1000: mathlib_1000 Q188745, Classification of Platonic solids (statement). Also Wikidata Q188745
- thousand_plus: thousand_plus Q188745, Classification of Platonic solids (statement). Also Wikidata Q188745
- wikidata: Wikidata Q188745, Platonic solid (concept). Also MathWorld PlatonicSolid, nLab Platonic solid, ProofWiki Definition:Platonic_Solid
- wikipedia: Wikipedia Platonic solid, Platonic solid (definition). Also Wikidata Q188745
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Super-logarithm W66XNA6194
| URI | m2://inv/W66XNA6194 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#TOYY, Super-logarithm (definition)
History
- 2026-11-02: add by m2/dev
W672MKYR7J W672MKYR7J
| URI | m2://inv/W672MKYR7J |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
W6767DS3GV W6767DS3GV
| URI | m2://inv/W6767DS3GV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#RX6F (statement). In XTGB5Z08YH/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.0
Derived Fredholm local models W6775DM408
| URI | m2://inv/W6775DM408 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#H4NG, Derived Fredholm local models (problem)
History
- 2026-11-01: add by m2/v0.6.15
solution map W6775PNHJB
| URI | m2://inv/W6775PNHJB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 62-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 2409.03461#Q8P2, solution map (definition). In XJVZSGCX5V/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
Baker, Rose W67A5YW71Z
| URI | m2://inv/W67A5YW71Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#C6U6, Baker, Rose (unknown)
History
- 2026-11-02: add by m2/dev
centralizer W67EMN8PY4
| URI | m2://inv/W67EMN8PY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 145661) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#QS4J, centralizer (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
David Sumner W67GK22SQE
| URI | m2://inv/W67GK22SQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UBS6, David Sumner (topic)
History
- 2026-11-02: add by m2/dev
L W67HCYY38W
| URI | m2://inv/W67HCYY38W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#OPEI, L (definition)
History
- 2026-11-02: add by m2/dev
Properties W683NPWG04
| URI | m2://inv/W683NPWG04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross product#6G77, Properties (statement)
History
- 2026-11-02: add by m2/dev
W6875GSRKY W6875GSRKY
| URI | m2://inv/W6875GSRKY |
|---|---|
| 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#FVYA (statement). In E1Y93JNBJA/e1, lemma 5.7
History
- 2026-10-31: add by m2/v0.5.6
V. I. Arnold W68QAEZB2A
| URI | m2://inv/W68QAEZB2A |
|---|---|
| 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 2610.01501#RNST, V. I. Arnold (statement). In 8Q2PXZDGB5/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
W68TGJEMQ5 W68TGJEMQ5
| URI | m2://inv/W68TGJEMQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#IIMI (statement). In M98F6VRPZ2/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Formulation W6904RQCTZ
| URI | m2://inv/W6904RQCTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear complementarity problem#6V1W, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Phrenology W691XA21X9
| URI | m2://inv/W691XA21X9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#49V3, Phrenology (unknown)
History
- 2026-11-02: add by m2/dev
Nonlinear algebra W6921FE2Y1
| URI | m2://inv/W6921FE2Y1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear algebra, Nonlinear algebra (topic). Also Wikidata Q12133344
History
- 2026-11-02: add by m2/dev
W69AFTX3DN W69AFTX3DN
| URI | m2://inv/W69AFTX3DN |
|---|---|
| Kind | conjecture |
| 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 2212.05398#OETM (conjecture). In WQKQ8438M7/e1, conjecture 4.2
History
- 2026-10-27: add by m2/v0.3.5
Algorithm W69B8FSY76
| URI | m2://inv/W69B8FSY76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-armed bandit#S05X, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
W69F1TA460 W69F1TA460
| URI | m2://inv/W69F1TA460 |
|---|---|
| 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#1AV2 (statement). In E7W2HDNEKJ/e1, proposition 10.7
History
- 2026-10-30: add by m2/v0.4.12
W69H9VVWW5 W69H9VVWW5
| URI | m2://inv/W69H9VVWW5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-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 0905.1489#J22C (definition). In MZ18CTV65N/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Ziauddin Ahmad W69J8VTNCG
| URI | m2://inv/W69J8VTNCG |
|---|---|
| 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#21XN, Ziauddin Ahmad (unknown)
History
- 2026-11-02: add by m2/dev
W69KPPC8A5 W69KPPC8A5
| URI | m2://inv/W69KPPC8A5 |
|---|---|
| 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.13513#2WJJ (statement). In BAGX2TDXM4/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
W6A22PMBY0 W6A22PMBY0
| URI | m2://inv/W6A22PMBY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#prop:arithmetic_continuous (statement). In RZP28ERRZV, proposition, section 100.5
History
- 2026-11-01: add by m2/v0.6.13
Unscented optimal control W6A28CMHYR
| URI | m2://inv/W6A28CMHYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unscented optimal control, Unscented optimal control (definition). Also Wikidata Q96412768
History
- 2026-11-02: add by m2/dev
W6A64N6QSM W6A64N6QSM
| URI | m2://inv/W6A64N6QSM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-27 (statement). In VNMV985MXX, prop, section B
History
- 2026-11-01: add by m2/v0.6.13
virtual particle W6ADYY3J0D
| URI | m2://inv/W6ADYY3J0D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q849940, virtual particle (unknown). Also nLab virtual particle
History
- 2026-10-26: add by m2/dev
Properties W6AK7T65SE
| URI | m2://inv/W6AK7T65SE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sample-continuous process#H6C5, Properties (statement)
History
- 2026-11-02: add by m2/dev
W6AM9ATJR5 W6AM9ATJR5
| URI | m2://inv/W6AM9ATJR5 |
|---|---|
| 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#WUP1 (statement). In X1AGBB90EH/e1, lemma 7.7
History
- 2026-10-28: add by m2/v0.4.2
Medial triangle W6AMT4M7XN
| URI | m2://inv/W6AMT4M7XN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#JVID, Medial triangle (definition)
History
- 2026-11-02: add by m2/dev
W6ASMQAESZ W6ASMQAESZ
| URI | m2://inv/W6ASMQAESZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11902#ZW2M (example). In K66QKM4N5E/e1, example 3.19
History
- 2026-10-28: add by m2/v0.4.3
Multiset W6B2HW1W60
| URI | m2://inv/W6B2HW1W60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#YQFI, Multiset (definition)
History
- 2026-11-02: add by m2/dev
Definition W6B4BJZNVM
| URI | m2://inv/W6B4BJZNVM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jónsson–Tarski algebra#S2S9, Definition (definition)
History
- 2026-11-02: add by m2/dev
List of algebraic constructions W6BC88YK2K
| URI | m2://inv/W6BC88YK2K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions, List of algebraic constructions (topic). Also Wikidata Q6605549
History
- 2026-11-02: add by m2/dev
Three spheres inequality W6BD2YT29K
| URI | m2://inv/W6BD2YT29K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#CSGV, Three spheres inequality (statement)
History
- 2026-11-02: add by m2/dev
CEH stability W6BP51KS0A
| URI | m2://inv/W6BP51KS0A |
|---|---|
| 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 1303.4328#DIA7, CEH stability (statement). In HCTYW6VH87/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
Orthogonal polynomials on the unit circle W6CA3SCTYH
| URI | m2://inv/W6CA3SCTYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#T54Q, Orthogonal polynomials on the unit circle (definition)
History
- 2026-11-02: add by m2/dev
W6CJAWH07P W6CJAWH07P
| URI | m2://inv/W6CJAWH07P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#RMQA (statement). In E4EK1XXPY4/e1, proposition 5.20
History
- 2026-10-31: add by m2/v0.5.6
Applications W6CW8NVC3Z
| URI | m2://inv/W6CW8NVC3Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divided power structure#RNYW, Applications (example)
History
- 2026-11-02: add by m2/dev
Construction W6CZ2E78JX
| URI | m2://inv/W6CZ2E78JX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical model#IMHY, Construction (definition)
History
- 2026-11-02: add by m2/dev
W6D087MQQ1 W6D087MQQ1
| URI | m2://inv/W6D087MQQ1 |
|---|---|
| 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.00789#2DPE (statement). In 4WPYBTARS2/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Degree bound W6D1QF36T7
| URI | m2://inv/W6D1QF36T7 |
|---|---|
| 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#7DVQ, Degree bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
W6D5J05FRK W6D5J05FRK
| URI | m2://inv/W6D5J05FRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#SV5O (statement). In EVFX1R7ZDD/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Properties W6D6FVYJQA
| URI | m2://inv/W6D6FVYJQA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closeness (mathematics)#QHVE, Properties (statement)
History
- 2026-11-02: add by m2/dev
W6DDNR55NX W6DDNR55NX
| URI | m2://inv/W6DDNR55NX |
|---|---|
| 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.18555#J5S9 (statement). In JPR62EY6A5/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Transpose of a linear map W6DF14JP0Q
| URI | m2://inv/W6DF14JP0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transpose of a linear map, Transpose of a linear map (definition). Also Wikidata Q2858846
History
- 2026-11-02: add by m2/dev
W6DRG55B5A W6DRG55B5A
| URI | m2://inv/W6DRG55B5A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-3.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Neighborhood effect averaging problem W6DSCSG1ZW
| URI | m2://inv/W6DSCSG1ZW |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neighborhood effect averaging problem, Neighborhood effect averaging problem (problem). Also Wikidata Q123152957
History
- 2026-11-02: add by m2/dev
Pillai's arithmetical function W6DTCV01ZT
| URI | m2://inv/W6DTCV01ZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pillai's arithmetical function, Pillai's arithmetical function (definition). Also Wikidata Q15402047
History
- 2026-11-02: add by m2/dev
W6DY4F09FB W6DY4F09FB
| URI | m2://inv/W6DY4F09FB |
|---|---|
| Kind | problem |
| 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 1011.5443#YEP9 (problem). In VQ0K2GV62A/e1, problem
History
- 2026-10-27: add by m2/v0.3.5
primitive W6E2EWXG3T
| URI | m2://inv/W6E2EWXG3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#0SBL, primitive (definition)
History
- 2026-11-02: add by m2/dev
logical framework W6E2JP4VKY
| URI | m2://inv/W6E2JP4VKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6667502, logical framework (unknown). Also nLab logical framework
- wikipedia: Wikipedia Logical framework, Logical framework (definition). Also Wikidata Q6667502
History
- 2026-10-26: add by m2/dev
David Kazhdan W6E2Q8S0A5
| URI | m2://inv/W6E2Q8S0A5 |
|---|---|
| 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 Q1174945, David Kazhdan (unknown). Also nLab David Kazhdan
- wikipedia: Wikipedia David Kazhdan, David Kazhdan (topic). Also Wikidata Q1174945
History
- 2026-10-26: add by m2/dev
R W6ECMV6ATA
| URI | m2://inv/W6ECMV6ATA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#IMYK, R (definition)
History
- 2026-11-02: add by m2/dev
Distributed constraint optimization W6ED4KQJC4
| URI | m2://inv/W6ED4KQJC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributed constraint optimization, Distributed constraint optimization (definition). Also Wikidata Q21281178
History
- 2026-11-02: add by m2/dev
W6EPT052HB W6EPT052HB
| URI | m2://inv/W6EPT052HB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2002.11125#NIWY (statement). In ME61RVCACP/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
W6EVTRPHKR W6EVTRPHKR
| URI | m2://inv/W6EVTRPHKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.15736#F233 (statement). In 17WP1JCDAV/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Witting Honeycomb W6EYJ606DW
| URI | m2://inv/W6EYJ606DW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witting polytope#RRO4, Witting Honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
W6F0ZJ7HCV W6F0ZJ7HCV
| URI | m2://inv/W6F0ZJ7HCV |
|---|---|
| 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 2411.13671#QV0A (example). In PN02WN5AA6/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
W6F70RW5SK W6F70RW5SK
| URI | m2://inv/W6F70RW5SK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#YIYH (statement). In 1SPQ4J3AWY/e1, proposition 8.10
History
- 2026-10-29: add by m2/v0.4.10
dialysis W6FDZT7M7D
| URI | m2://inv/W6FDZT7M7D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#6I5O, dialysis (unknown)
History
- 2026-11-02: add by m2/dev
Bott–Samelson resolution W6FEAR34TA
| URI | m2://inv/W6FEAR34TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bott–Samelson resolution, Bott–Samelson resolution (definition). Also Wikidata Q4949188
History
- 2026-11-02: add by m2/dev
3D mirror symmetry W6FEF8Q43P
| URI | m2://inv/W6FEF8Q43P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16001071, 3D mirror symmetry (unknown). Also nLab 3d mirror symmetry
History
- 2026-10-26: add by m2/dev
valuation W6FFSEKNKG
| URI | m2://inv/W6FFSEKNKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#I97H, valuation (definition)
History
- 2026-11-02: add by m2/dev
W6FGH3D1WS W6FGH3D1WS
| URI | m2://inv/W6FGH3D1WS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-4.xml#activity-1 (exercise). In 649HGZKE96, activity, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
W6FMRGQ3PF W6FMRGQ3PF
| URI | m2://inv/W6FMRGQ3PF |
|---|---|
| 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.05791#W5K6 (statement). In CP0PVZ70MF/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
Seven Hills, Queensland W6G0WMF7AT
| URI | m2://inv/W6G0WMF7AT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#BWKM, Seven Hills, Queensland (unknown)
History
- 2026-11-02: add by m2/dev
W6G67MAA0T W6G67MAA0T
| URI | m2://inv/W6G67MAA0T |
|---|---|
| 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.08288#JA9J (statement). In CHVWYJM7RM/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
A normal form for every generated set W6G8M6E2RT
| URI | m2://inv/W6G8M6E2RT |
|---|---|
| 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.25101#J3HS, A normal form for every generated set (statement)
History
- 2026-11-01: add by m2/v0.6.15
A variational principle on $\RCD(K,\infty)$ spaces W6G91CHN57
| URI | m2://inv/W6G91CHN57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2204.04317#MTGZ, A variational principle on $\RCD(K,\infty)$ spaces (statement). In 49V3ANDZTY/e1, theorem 5.9
History
- 2026-10-27: add by m2/v0.3.5
Bernard Maskit W6GA4Z8E2D
| URI | m2://inv/W6GA4Z8E2D |
|---|---|
| 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#M5VU, Bernard Maskit (topic)
History
- 2026-11-02: add by m2/dev
Theorem two W6GH935PR9
| URI | m2://inv/W6GH935PR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stars and bars (combinatorics)#5UPN, Theorem two (statement)
History
- 2026-11-02: add by m2/dev
Arithmetic progression W6GHTSP1FN
| URI | m2://inv/W6GHTSP1FN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#7UVY, Arithmetic progression (definition)
History
- 2026-11-02: add by m2/dev
Valuation profiles W6GNA7BH6X
| URI | m2://inv/W6GNA7BH6X |
|---|---|
| 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.15262#I9TL, Valuation profiles (statement). In C44HVXWYRF/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Some additional laws for complements W6GQ64ZC8Y
| URI | m2://inv/W6GQ64ZC8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra of sets#VB4J, Some additional laws for complements (statement)
History
- 2026-11-02: add by m2/dev
Gau{\ss}--Legendre W6GQTNZ11X
| URI | m2://inv/W6GQTNZ11X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2503.19729#C0X8, Gau{\ss}--Legendre (statement). In 40YZ43TS8K/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.3.5
Definition W6GYJDSMG8
| URI | m2://inv/W6GYJDSMG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu function#BHKV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Greibach's theorem W6GZ16KRS7
| URI | m2://inv/W6GZ16KRS7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greibach's theorem, Greibach's theorem (statement). Also Wikidata Q17019301
History
- 2026-11-02: add by m2/dev
W6H2GP2Y03 W6H2GP2Y03
| URI | m2://inv/W6H2GP2Y03 |
|---|---|
| Kind | conjecture |
| 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.09019#X0IQ (conjecture). In 8V6YECFCC1/e1, conjecture 3.10
History
- 2026-10-29: add by m2/v0.4.10
Use W6HDJD2ZC4
| URI | m2://inv/W6HDJD2ZC4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of curves#UY9S, Use (example)
History
- 2026-11-02: add by m2/dev
Babai's problem W6HXECQQN8
| URI | m2://inv/W6HXECQQN8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ZFCI, Babai's problem (conjecture)
History
- 2026-11-02: add by m2/dev
W6HXVGHA61 W6HXVGHA61
| URI | m2://inv/W6HXVGHA61 |
|---|---|
| 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#SNFF (statement). In RW9AZQ1YZ2/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.3
\usetoken{S}{value} of a Term W6J0WK840W
| URI | m2://inv/W6J0WK840W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#defn-2, \usetoken{S}{value} of a Term (definition). In PKGMM3P5QY, defn, section 67.5
History
- 2026-11-01: add by m2/v0.6.13
W6JAWTZTBG W6JAWTZTBG
| URI | m2://inv/W6JAWTZTBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#Z8JG (statement). In A4VP56CT7B/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
Allele frequency spectrum W6JJCJNEPT
| URI | m2://inv/W6JJCJNEPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allele frequency spectrum, Allele frequency spectrum (definition). Also Wikidata Q25304180
History
- 2026-11-02: add by m2/dev
Yvonne Dold-Samplonius W6JJTCTRRB
| URI | m2://inv/W6JJTCTRRB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yvonne Dold-Samplonius, Yvonne Dold-Samplonius (topic). Also Wikidata Q2602365
History
- 2026-11-02: add by m2/dev
W6JMT7HCMM W6JMT7HCMM
| URI | m2://inv/W6JMT7HCMM |
|---|---|
| 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 2011.14561#9X23 (statement). In V2XJJJX1Z8/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
W6K83J1XMJ W6K83J1XMJ
| URI | m2://inv/W6K83J1XMJ |
|---|---|
| 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.33771#SJ6W (statement). In ZXQA7QH0H0/e1, lemma 4.12
History
- 2026-10-30: add by m2/v0.4.12
Theorem W6K8H19JCJ
| URI | m2://inv/W6K8H19JCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meagre set#JGJ3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Level-two collapse W6KAW1WXC8
| URI | m2://inv/W6KAW1WXC8 |
|---|---|
| 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.37589#COLU, Level-two collapse (statement). In 18HVB2SKW1/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
W6KAY4HYP1 W6KAY4HYP1
| URI | m2://inv/W6KAY4HYP1 |
|---|---|
| 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.40096#GN17 (statement). In XFE35F9NEV/e1, proposition 2.14
History
- 2026-10-30: add by m2/v0.4.12
Uses W6KBR7RB1S
| URI | m2://inv/W6KBR7RB1S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication sign#NOQQ, Uses (example)
History
- 2026-11-02: add by m2/dev
approx W6KEQMP8ZN
| URI | m2://inv/W6KEQMP8ZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#JC5T, approx (definition)
History
- 2026-11-02: add by m2/dev
Jean-Michel Bismut W6KPGHRPN0
| URI | m2://inv/W6KPGHRPN0 |
|---|---|
| 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 Q527925, Jean-Michel Bismut (unknown). Also nLab Jean-Michel Bismut
- wikipedia: Wikipedia Jean-Michel Bismut, Jean-Michel Bismut (topic). Also Wikidata Q527925
History
- 2026-10-26: add by m2/dev
Properties W6KZR8BJW1
| URI | m2://inv/W6KZR8BJW1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil–Petersson metric#I484, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties W6M292KW3S
| URI | m2://inv/W6M292KW3S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalan pseudoprime#WNN6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Formal definition W6MBB9D4AW
| URI | m2://inv/W6MBB9D4AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PSPACE#Z1S6, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
No orbitally bounded wandering domains W6MD01WXMB
| URI | m2://inv/W6MD01WXMB |
|---|---|
| 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 2609.30103#URDL, No orbitally bounded wandering domains (statement)
History
- 2026-11-01: add by m2/v0.6.15
New Algebra W6MDG0KWBH
| URI | m2://inv/W6MDG0KWBH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia François Viète#5N2M, New Algebra (unknown)
History
- 2026-11-02: add by m2/dev
W6N14EYGP5 W6N14EYGP5
| URI | m2://inv/W6N14EYGP5 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
W6N18R2A3S W6N18R2A3S
| URI | m2://inv/W6N18R2A3S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24577#13FB (statement)
History
- 2026-11-01: add by m2/v0.6.15
W6N1RT4NVP W6N1RT4NVP
| URI | m2://inv/W6N1RT4NVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21954#CVJL (statement). In F2XATDBRK4/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.2
How Not to Be Wrong W6N4RAH3KA
| URI | m2://inv/W6N4RAH3KA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q26966309, How Not to Be Wrong (unknown). Also ProofWiki Book:Jordan_Ellenberg/How_Not_to_be_Wrong
- wikipedia: Wikipedia How Not to Be Wrong, How Not to Be Wrong (definition). Also Wikidata Q26966309
History
- 2026-10-26: add by m2/dev
W6NC7XSJPD W6NC7XSJPD
| URI | m2://inv/W6NC7XSJPD |
|---|---|
| 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.30664#1BEG (statement). In ZZGDNKDVJW/e1, proposition 4.5
History
- 2026-10-31: add by m2/v0.5.6
cage W6NCKMWG22
| URI | m2://inv/W6NCKMWG22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#B0S2, cage (definition)
History
- 2026-11-02: add by m2/dev
W6NCX1TP03 W6NCX1TP03
| URI | m2://inv/W6NCX1TP03 |
|---|---|
| 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 2509.10268#IJEK (statement). In YR15TN4V4F/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
W6NG937NWN W6NG937NWN
| URI | m2://inv/W6NG937NWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25742#P1NM (statement)
History
- 2026-11-01: add by m2/v0.6.15
W6NH6306GF W6NH6306GF
| URI | m2://inv/W6NH6306GF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08434#4OJP (statement). In VN8087G2FC/e1, corollary 8.6
History
- 2026-10-29: add by m2/v0.4.10
axiom schema of specification W6NJS0ZRFW
| URI | m2://inv/W6NJS0ZRFW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q780487, axiom schema of specification (statement). Also MathWorld AxiomsofSubsets, ProofWiki Axiom:Axiom_of_Specification
- wikipedia: Wikipedia Axiom schema of specification, Axiom schema of specification (statement). Also Wikidata Q780487
History
- 2026-10-26: add by m2/dev
W6NRBB4FMX W6NRBB4FMX
| URI | m2://inv/W6NRBB4FMX |
|---|---|
| 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.14803#MXYP (statement). In VAEVDTBD3B/e1, lemma 2.18
History
- 2026-10-28: add by m2/v0.4.2
Island of California W6NTGHWP1S
| URI | m2://inv/W6NTGHWP1S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#MKTP, Island of California (unknown)
History
- 2026-11-02: add by m2/dev
effective, procedure W6NVM61F99
| URI | m2://inv/W6NVM61F99 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/effective-procedure, effective, procedure (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
Formal definition W6NWEG11ZC
| URI | m2://inv/W6NWEG11ZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore space (algebraic topology)#6C5E, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Expected shortfall W6P94W89WN
| URI | m2://inv/W6P94W89WN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected shortfall, Expected shortfall (definition). Also Wikidata Q5420856
History
- 2026-11-02: add by m2/dev
n conjecture W6P9K5TR90
| URI | m2://inv/W6P9K5TR90 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#FA41, n conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
W6P9R79HVS W6P9R79HVS
| URI | m2://inv/W6P9R79HVS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#4H3Y (statement). In 4H727T2YAS/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
Owen's T function W6PEHY8TX0
| URI | m2://inv/W6PEHY8TX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3075164, Owen's T function (unknown). Also MathWorld OwenT-Function
- wikipedia: Wikipedia Owen's T function, Owen's T function (definition). Also Wikidata Q3075164
History
- 2026-10-26: add by m2/dev
Application W6PN3EF5FA
| URI | m2://inv/W6PN3EF5FA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guyan reduction#NE7I, Application (example)
History
- 2026-11-02: add by m2/dev
Waldhausen Localization Theorem W6PV2JZSPY
| URI | m2://inv/W6PV2JZSPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic theorems in algebraic K-theory#J2BV, Waldhausen Localization Theorem (statement)
History
- 2026-11-02: add by m2/dev
Pairs S21--S28 W6PW9DS7NM
| URI | m2://inv/W6PW9DS7NM |
|---|---|
| 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.08865#SCXB, Pairs S21--S28 (statement). In SJ5JKGH94M/e1, theorem 15
History
- 2026-10-29: add by m2/v0.4.10
Sheila Scott Macintyre W6PWSE2K3T
| URI | m2://inv/W6PWSE2K3T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheila Scott Macintyre, Sheila Scott Macintyre (topic). Also Wikidata Q719812
History
- 2026-11-02: add by m2/dev
W6PXRRJN5A W6PXRRJN5A
| URI | m2://inv/W6PXRRJN5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#GO4M (statement). In FRMCKEGVJZ/e1, lemma 26
History
- 2026-10-30: add by m2/v0.4.12
artinian ring W6Q0G5843J
| URI | m2://inv/W6Q0G5843J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Artinian ring 20QEAM8AX2 |
Mentions
- wikidata: Wikidata Q713084, artinian ring (concept). Also EoM Artinian_ring, MathWorld ArtinianRing, nLab artinian ring
- wikipedia: Wikipedia Artinian ring, Artinian ring (definition). Also Wikidata Q713084
History
- 2026-10-26: add by m2/dev
Rule of mixtures W6Q1ZNE46H
| URI | m2://inv/W6Q1ZNE46H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rule of mixtures, Rule of mixtures (definition). Also Wikidata Q7378968
History
- 2026-11-02: add by m2/dev
Generalized Stokes theorem W6QE0YP7P5
| URI | m2://inv/W6QE0YP7P5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Stokes theorem, Generalized Stokes theorem (statement). Also Wikidata Q10861254
History
- 2026-11-02: add by m2/dev
The boundary: meets W6QHEXRSC6
| URI | m2://inv/W6QHEXRSC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#7I6F, The boundary: meets (statement). In P55JSAYR3T/e1, proposition
History
- 2026-10-28: add by m2/v0.4.3
W6QMTBWH1J W6QMTBWH1J
| URI | m2://inv/W6QMTBWH1J |
|---|---|
| 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 2203.07710#OUQ1 (statement). In NESGAWA54K/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Duality and assembly W6R36V4VBD
| URI | m2://inv/W6R36V4VBD |
|---|---|
| Kind | statement |
| 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#99OV, Duality and assembly (statement). In HF7YNMW39N/e1, theorem 14.2
History
- 2026-10-27: add by m2/v0.4.0
Fabio Mercurio W6R5FNM427
| URI | m2://inv/W6R5FNM427 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fabio Mercurio, Fabio Mercurio (topic). Also Wikidata Q5427844
History
- 2026-11-02: add by m2/dev
W6R5GSD558 W6R5GSD558
| URI | m2://inv/W6R5GSD558 |
|---|---|
| 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 2504.00267#990F (statement). In 38XJWDZ2PH/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
W6R5PZCT0D W6R5PZCT0D
| URI | m2://inv/W6R5PZCT0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04835#3Z0R (statement). In P6PHR4W23S/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Formal definition W6R65BSZNR
| URI | m2://inv/W6R65BSZNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local diffeomorphism#GSI8, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Principal–agent problem W6R6HQJMEV
| URI | m2://inv/W6R6HQJMEV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal–agent problem, Principal–agent problem (problem). Also Wikidata Q1053211
History
- 2026-11-02: add by m2/dev
W6R7Z5VZ63 W6R7Z5VZ63
| URI | m2://inv/W6R7Z5VZ63 |
|---|---|
| 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.32440#RLA5 (statement). In 8WP6FQHZBM/e1, corollary 2.2
History
- 2026-10-31: add by m2/v0.5.6
Strong Exponential Time Hypothesis (SETH) W6RGVAVXAQ
| URI | m2://inv/W6RGVAVXAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fine grained complexity#L0EV, Strong Exponential Time Hypothesis (SETH) (statement)
History
- 2026-11-02: add by m2/dev
stable homotopy theory W6RN1356DC
| URI | m2://inv/W6RN1356DC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Stable homotopy theory 545EV0W4CE |
Mentions
- wikidata: Wikidata Q7595767, stable homotopy theory (topic). Also nLab stable homotopy theory
- wikipedia: Wikipedia Stable homotopy theory, Stable homotopy theory (definition). Also Wikidata Q7595767
History
- 2026-10-26: add by m2/dev
W6RQ0TWVJ6 W6RQ0TWVJ6
| URI | m2://inv/W6RQ0TWVJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01806#CK08 (statement). In 4FXW9CRBXX/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
W6RSRBDYQM W6RSRBDYQM
| URI | m2://inv/W6RSRBDYQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#5EL7 (statement). In YG5EX49042/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.4.2
W6S082SBF0 W6S082SBF0
| URI | m2://inv/W6S082SBF0 |
|---|---|
| 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.02669#DFAO (statement). In NSBSWH6XB4/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.12
Möbius transformation W6S0H7PZXX
| URI | m2://inv/W6S0H7PZXX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Möbius transformation 0B346DDAM5 |
Mentions
- wikidata: Wikidata Q595742, Möbius transformation (concept). Also MathWorld LinearFractionalTransformation, ProofWiki Definition:Möbius_Transformation
- wikipedia: Wikipedia Möbius transformation, Möbius transformation (definition). Also Wikidata Q595742
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
W6S2HP6CV4 W6S2HP6CV4
| URI | m2://inv/W6S2HP6CV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#UZX6 (statement). In BF0RYHPMS1/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Mark Gottfried W6S90SWNW5
| URI | m2://inv/W6S90SWNW5 |
|---|---|
| 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#449K, Mark Gottfried (unknown)
History
- 2026-11-02: add by m2/dev
W6SADQQRPZ W6SADQQRPZ
| URI | m2://inv/W6SADQQRPZ |
|---|---|
| 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.21692#6FZF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bent Jørgensen W6SG5KFYPR
| URI | m2://inv/W6SG5KFYPR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bent Jørgensen (statistician), Bent Jørgensen (topic). Also Wikidata Q24844248
History
- 2026-11-02: add by m2/dev
Tom Anderson W6SGJV46EM
| URI | m2://inv/W6SGJV46EM |
|---|---|
| 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#LCZ6, Tom Anderson (unknown)
History
- 2026-11-02: add by m2/dev
1134 Kepler W6SNBGKF9B
| URI | m2://inv/W6SNBGKF9B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#5WNY, 1134 Kepler (unknown)
History
- 2026-11-02: add by m2/dev
loop space W6SRV1GD0G
| URI | m2://inv/W6SRV1GD0G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.8/loop-space, loop space (concept). In N54F33XE07, index, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
prime field W6T16839DE
| URI | m2://inv/W6T16839DE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18088147, prime field (definition). Also EoM Prime_field, MathWorld PrimeField, MathWorld PrimeSubfield, nLab prime field, ProofWiki Definition:Prime_Field
History
- 2026-10-26: add by m2/dev
W6TD067VP3 W6TD067VP3
| URI | m2://inv/W6TD067VP3 |
|---|---|
| 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 2509.21444#GBBF (statement). In CTVPA2FQT1/e1, lemma 8.5.2
History
- 2026-10-27: add by m2/v0.4.0
W6TSMQQT34 W6TSMQQT34
| URI | m2://inv/W6TSMQQT34 |
|---|---|
| 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 2609.36904#V6E3 (definition). In R9E569AVRG/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Callan–Symanzik equation W6TYQ54NFZ
| URI | m2://inv/W6TYQ54NFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Callan–Symanzik equation, Callan–Symanzik equation (definition). Also Wikidata Q1027148
History
- 2026-11-02: add by m2/dev
W6V5TSADS3 W6V5TSADS3
| URI | m2://inv/W6V5TSADS3 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07546#B2CR (problem). In H9YE46CGFN/e1, problem 2
History
- 2026-10-29: add by m2/v0.4.10
Extensions W6V5WF0497
| URI | m2://inv/W6V5WF0497 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schnyder's theorem#B9X6, Extensions (statement)
History
- 2026-11-02: add by m2/dev
W6VC26MD0Y W6VC26MD0Y
| URI | m2://inv/W6VC26MD0Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-52 (exercise). In E59CDZA4DP, exercise, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
Hartogs phenomenon W6VG47BBZB
| URI | m2://inv/W6VG47BBZB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/4.3/hartogs-phenomenon, Hartogs phenomenon (concept). In VNMV985MXX, index, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Modified energy derivative at 0 W6VVH1D0BV
| URI | m2://inv/W6VVH1D0BV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.07116#VBB8, Modified energy derivative at 0 (definition). In 5B030CB2RK/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.6
W6W0XS70NV W6W0XS70NV
| URI | m2://inv/W6W0XS70NV |
|---|---|
| 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.11082#4Q4K (statement). In GFPFFN0BXV/e1, lemma 14
History
- 2026-10-28: add by m2/v0.4.3
Ravindran Kannan W6W8GKD4N3
| URI | m2://inv/W6W8GKD4N3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#R52F, Ravindran Kannan (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UQRQ, Ravindran Kannan (unknown)
History
- 2026-11-02: add by m2/dev
Charles Tweedie W6W9WHW21R
| URI | m2://inv/W6W9WHW21R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Tweedie, Charles Tweedie (topic). Also Wikidata Q37738189
History
- 2026-11-02: add by m2/dev
Ranking SVM algorithm W6WCDHM8W7
| URI | m2://inv/W6WCDHM8W7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ranking SVM#8TQ8, Ranking SVM algorithm (definition)
History
- 2026-11-02: add by m2/dev
W6WE9Z08Y4 W6WE9Z08Y4
| URI | m2://inv/W6WE9Z08Y4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.00811#FZ4W (statement). In 9T4X83HHQS/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
W6WECEDK4Z W6WECEDK4Z
| URI | m2://inv/W6WECEDK4Z |
|---|---|
| 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.18744#QK1Z (statement). In AE07JDH5D3/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
W6WFKTGJ4X W6WFKTGJ4X
| URI | m2://inv/W6WFKTGJ4X |
|---|---|
| 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 1011.4651#9V4X (statement). In 44YWXB0VB4/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
W6WJGJ7A19 W6WJGJ7A19
| URI | m2://inv/W6WJGJ7A19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13392#15OW (statement). In 2FVND41HVS/e1, lemma 5.15
History
- 2026-10-28: add by m2/v0.4.2
irradiation illusion W6WNCZ39DK
| URI | m2://inv/W6WNCZ39DK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1673175, irradiation illusion (unknown). Also MathWorld IrradiationIllusion
History
- 2026-10-26: add by m2/dev
W6WZ2XY2J4 W6WZ2XY2J4
| URI | m2://inv/W6WZ2XY2J4 |
|---|---|
| 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 2011.08789#VZ4B (example). In 43AGRMP7T3/e1, example 1.13
History
- 2026-10-27: add by m2/v0.3.5
Cobham's theorem for substitutions W6WZT9KJWS
| URI | m2://inv/W6WZT9KJWS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobham's theorem#3LRH, Cobham's theorem for substitutions (statement)
History
- 2026-11-02: add by m2/dev
W6X4CFVY30 W6X4CFVY30
| URI | m2://inv/W6X4CFVY30 |
|---|---|
| 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#6FRO (definition). In E1Y93JNBJA/e1, definition 1.4
History
- 2026-10-31: add by m2/v0.5.6
Scalar-valued function W6X711ZF46
| URI | m2://inv/W6X711ZF46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#WOXG, Scalar-valued function (definition)
History
- 2026-11-02: add by m2/dev
Consistency under mis-specification W6X83PATXS
| URI | m2://inv/W6X83PATXS |
|---|---|
| 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 2102.11076#B7RJ, Consistency under mis-specification (statement). In T9HZXHTQBJ/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.6
Tait conjectures W6XA1QW4RN
| URI | m2://inv/W6XA1QW4RN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating knot#YJ04, Tait conjectures (statement)
History
- 2026-11-02: add by m2/dev
W6XCKMRMB4 W6XCKMRMB4
| URI | m2://inv/W6XCKMRMB4 |
|---|---|
| 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 2401.14162#MFPF (definition). In JC1XF1JE6J/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
W6XDJ1MCHV W6XDJ1MCHV
| URI | m2://inv/W6XDJ1MCHV |
|---|---|
| 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.20588#DM83 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mathematical programming with equilibrium constraints W6XDJA9PSF
| URI | m2://inv/W6XDJA9PSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical programming with equilibrium constraints, Mathematical programming with equilibrium constraints (definition). Also Wikidata Q1881744
History
- 2026-11-02: add by m2/dev
Topic model W6XF1MEQVQ
| URI | m2://inv/W6XF1MEQVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topic model, Topic model (definition). Also Wikidata Q3532085
History
- 2026-11-02: add by m2/dev
E. Mathieu W6XG7BEFBW
| URI | m2://inv/W6XG7BEFBW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#990Z, E. Mathieu (topic)
History
- 2026-11-02: add by m2/dev
Hasse–Minkowski theorem W6XN1N0S01
| URI | m2://inv/W6XN1N0S01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9022, Hasse–Minkowski theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem 2 W6XPJ14YSH
| URI | m2://inv/W6XPJ14YSH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BRS-inequality#D9LL, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
W6Y3YSF8QP W6Y3YSF8QP
| URI | m2://inv/W6Y3YSF8QP |
|---|---|
| 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.20588#F4Z1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Solvability of each elliptic step W6Y5F5N0HE
| URI | m2://inv/W6Y5F5N0HE |
|---|---|
| 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.38031#B15X, Solvability of each elliptic step (statement). In RYSPG5TWYM/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Inexact whitening preserves cross-optimality W6YH8DBVAH
| URI | m2://inv/W6YH8DBVAH |
|---|---|
| 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.33021#WJWT, Inexact whitening preserves cross-optimality (statement). In GG96DW33Q9/e1, corollary F.3
History
- 2026-10-31: add by m2/v0.5.6
W6Z9NPAY14 W6Z9NPAY14
| URI | m2://inv/W6Z9NPAY14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#0JJF (statement). In 6M5WR7KB80/e1, theorem 3.12
History
- 2026-10-28: add by m2/v0.4.3
Journal of Applied Statistics W6ZAJVAGMB
| URI | m2://inv/W6ZAJVAGMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Applied Statistics, Journal of Applied Statistics (definition). Also Wikidata Q15749616
History
- 2026-11-02: add by m2/dev
Absorption W6ZKPMXDH3
| URI | m2://inv/W6ZKPMXDH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/proofs-about-sets.tex#prop-1, Absorption (statement). In PKGMM3P5QY, prop, section 82.6
History
- 2026-11-01: add by m2/v0.6.13
Improper integral W6ZP35KX2S
| URI | m2://inv/W6ZP35KX2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#6MXI, Improper integral (definition)
History
- 2026-11-02: add by m2/dev
Penn World Table W6ZXQHN1XY
| URI | m2://inv/W6ZXQHN1XY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penn World Table, Penn World Table (definition). Also Wikidata Q7163352
History
- 2026-11-02: add by m2/dev
W6ZYSZGC5V W6ZYSZGC5V
| URI | m2://inv/W6ZYSZGC5V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#ROM2 (definition). In HX63A1PH1W/e1, definition 7.20
History
- 2026-10-28: add by m2/v0.4.3