Inventory rows XP
The cards of the rows of the inventory whose ids start with XP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Pivot theorem XP049T76VM
| URI | m2://inv/XP049T76VM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miquel's theorem#I7BX, Pivot theorem (statement)
History
- 2026-11-02: add by m2/dev
Holomorphic restriction XP07QTS2PX
| URI | m2://inv/XP07QTS2PX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#UB2Q, Holomorphic restriction (statement). In 29X0B511NF/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Marie Curie XP0HQTNAAC
| URI | m2://inv/XP0HQTNAAC |
|---|---|
| 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 Q7186, Marie Curie (unknown). Also ProofWiki Mathematician:Maria_Salomea_Curie
History
- 2026-10-26: add by m2/dev
Examples XP0MEK2RGF
| URI | m2://inv/XP0MEK2RGF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit differentiation#FCGZ, Examples (example)
History
- 2026-11-02: add by m2/dev
XP0SGFMHRV XP0SGFMHRV
| URI | m2://inv/XP0SGFMHRV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2210.17066#1X0R (statement). In X2AEJAQEP8/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
XP127QEPMB XP127QEPMB
| URI | m2://inv/XP127QEPMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16388#GH8Y (statement). In Q62MDENP26/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Countability axioms XP12RD7ZMQ
| URI | m2://inv/XP12RD7ZMQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General topology#998Y, Countability axioms (statement)
History
- 2026-11-02: add by m2/dev
Ilka Agricola XP13Q3ENPT
| URI | m2://inv/XP13Q3ENPT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#0AEK, Ilka Agricola (topic)
History
- 2026-11-02: add by m2/dev
XP17EAMPD7 XP17EAMPD7
| URI | m2://inv/XP17EAMPD7 |
|---|---|
| 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.04323#T6F6 (statement). In 3Z0D2NCJ0B/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.12
Odd-kernel tail identity XP17KZPQ5J
| URI | m2://inv/XP17KZPQ5J |
|---|---|
| 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.12853#K50S, Odd-kernel tail identity (statement). In GAX7MSHJE0/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Derivation of a Baker–Campbell–Hausdorff formula XP17WZWAQW
| URI | m2://inv/XP17WZWAQW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative of the exponential map#QXQJ, Derivation of a Baker–Campbell–Hausdorff formula (statement)
History
- 2026-11-02: add by m2/dev
A. A. Bolibruch XP1FFQMT9M
| URI | m2://inv/XP1FFQMT9M |
|---|---|
| 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#GTGK, A. A. Bolibruch (topic)
History
- 2026-11-02: add by m2/dev
Properties XP1HE0K9SX
| URI | m2://inv/XP1HE0K9SX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autonomous system (mathematics)#RGGR, Properties (statement)
History
- 2026-11-02: add by m2/dev
XP1VZ4ET6D XP1VZ4ET6D
| URI | m2://inv/XP1VZ4ET6D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13888#M9GG (example). In XJWYBPS14M/e1, example 6.3
History
- 2026-10-28: add by m2/v0.4.2
XP1YRHPM1A XP1YRHPM1A
| URI | m2://inv/XP1YRHPM1A |
|---|---|
| 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.12691#BTLL (statement). In YVQKT91MYN/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
Implementation XP24Y5C4DF
| URI | m2://inv/XP24Y5C4DF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring signature#GDHO, Implementation (definition)
History
- 2026-11-02: add by m2/dev
whiskering XP29NXWT8Q
| URI | m2://inv/XP29NXWT8Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.2/whiskering, whiskering (concept). In N54F33XE07, index, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
XP2AAXZSV1 XP2AAXZSV1
| URI | m2://inv/XP2AAXZSV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21929#TNHL (statement). In 2PP4XRVS0J/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.4.2
Bounded decision rewards XP2F88WNZQ
| URI | m2://inv/XP2F88WNZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#1LT1, Bounded decision rewards (statement). In 9YAE8FNQST/e1, corollary 28.4
History
- 2026-10-30: add by m2/v0.4.12
XP2FG1YZGX XP2FG1YZGX
| URI | m2://inv/XP2FG1YZGX |
|---|---|
| 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.35762#X5OL (statement). In C9QEPN1E56/e1, theorem F.1
History
- 2026-10-30: add by m2/v0.4.12
XP2M667F16 XP2M667F16
| URI | m2://inv/XP2M667F16 |
|---|---|
| Kind | statement |
| 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 1001.0174#GK8P (statement). In 4P97F3GPJC/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
XP2Q0YX4NC XP2Q0YX4NC
| URI | m2://inv/XP2Q0YX4NC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-prop.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 99.4
History
- 2026-11-01: add by m2/v0.6.13
XP3035W0Y8 XP3035W0Y8
| URI | m2://inv/XP3035W0Y8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30999#WNUR (definition). In J1BWCKW2QK/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
quarto-quartic XP35MYZT7P
| URI | m2://inv/XP35MYZT7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#KP18, quarto-quartic (definition)
History
- 2026-11-02: add by m2/dev
Tore Dalenius XP3BD0ZZXB
| URI | m2://inv/XP3BD0ZZXB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#X0SO, Tore Dalenius (topic)
History
- 2026-11-02: add by m2/dev
XP3CAW7499 XP3CAW7499
| URI | m2://inv/XP3CAW7499 |
|---|---|
| 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.25854#MIQW (statement)
History
- 2026-11-01: add by m2/v0.6.15
James Earl Baumgartner XP3MDKA0XS
| URI | m2://inv/XP3MDKA0XS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Earl Baumgartner, James Earl Baumgartner (topic). Also Wikidata Q6133274
History
- 2026-11-02: add by m2/dev
Equilateral triangle XP3SNS9YA8
| URI | m2://inv/XP3SNS9YA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#PWBN, Equilateral triangle (definition)
- wikipedia: Wikipedia List of mathematical shapes#IHP3, Equilateral triangle (definition)
- wikipedia: Wikipedia List of mathematical shapes#SL8O, Equilateral triangle (definition)
History
- 2026-11-02: add by m2/dev
Statement XP3Y1922YX
| URI | m2://inv/XP3Y1922YX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bapat–Beg theorem#SVH7, Statement (statement)
History
- 2026-11-02: add by m2/dev
XP3YDQ797N XP3YDQ797N
| URI | m2://inv/XP3YDQ797N |
|---|---|
| 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 0806.0678#6Z5C (statement). In 5RMV7VP13X/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
elongated pentagonal orthobirotunda XP3ZSHN30R
| URI | m2://inv/XP3ZSHN30R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2052680, elongated pentagonal orthobirotunda (object). Also MathWorld ElongatedPentagonalOrthobirotunda
- wikipedia: Wikipedia Elongated pentagonal orthobirotunda, Elongated pentagonal orthobirotunda (definition). Also Wikidata Q2052680
History
- 2026-10-26: add by m2/dev
Charles Felton Pidgin XP4188GD4R
| URI | m2://inv/XP4188GD4R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Felton Pidgin, Charles Felton Pidgin (topic). Also Wikidata Q21984025
History
- 2026-11-02: add by m2/dev
XP4D1M57KC XP4D1M57KC
| URI | m2://inv/XP4D1M57KC |
|---|---|
| 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.40345#61YF (statement). In WK0PT95WW1/e1, proposition B.2
History
- 2026-10-30: add by m2/v0.4.12
Extremal structure under average power XP4QMXECF4
| URI | m2://inv/XP4QMXECF4 |
|---|---|
| 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.19715#OIH3, Extremal structure under average power (statement). In XXMP1Z495D/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
XP4TYSBZKV XP4TYSBZKV
| URI | m2://inv/XP4TYSBZKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#U6H8 (statement). In RGXQ50RWXV/e1, corollary 4.6
History
- 2026-10-28: add by m2/v0.4.2
XP4Y8VVJES XP4Y8VVJES
| URI | m2://inv/XP4Y8VVJES |
|---|---|
| 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 2608.24599#2TSX (definition). In VG8QFWTT8S/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.6
XP55MH8GAJ XP55MH8GAJ
| URI | m2://inv/XP55MH8GAJ |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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/0406514#X6GZ (statement). In CY1FE8W1ZW/e1, lemma 0.197
History
- 2026-10-27: add by m2/v0.3.5
XP5C992DM4 XP5C992DM4
| URI | m2://inv/XP5C992DM4 |
|---|---|
| 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.26033#89EJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dykstra's projection algorithm XP5D1W15BX
| URI | m2://inv/XP5D1W15BX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#KDJB, Dykstra's projection algorithm (unknown)
History
- 2026-11-02: add by m2/dev
John M. Ball XP5HHFBEB8
| URI | m2://inv/XP5HHFBEB8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John M. Ball, John M. Ball (topic). Also Wikidata Q667583
History
- 2026-11-02: add by m2/dev
XP68R7QN3S XP68R7QN3S
| URI | m2://inv/XP68R7QN3S |
|---|---|
| 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.10372#7HS8 (statement). In P77W283VXT/e1, corollary 4.10
History
- 2026-10-29: add by m2/v0.4.10
SEAL XP6CC527N4
| URI | m2://inv/XP6CC527N4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SEAL (cipher), SEAL (definition). Also Wikidata Q474401
History
- 2026-11-02: add by m2/dev
Transport of $\cP$ XP6F402Y9R
| URI | m2://inv/XP6F402Y9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#RWQG, Transport of $\cP$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Beta (finance) XP6FE2FQ3V
| URI | m2://inv/XP6FE2FQ3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0RFD, Beta (finance) (definition)
History
- 2026-11-02: add by m2/dev
Zdeněk Dvořák XP6FEG1YRQ
| URI | m2://inv/XP6FEG1YRQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zdeněk Dvořák, Zdeněk Dvořák (topic). Also Wikidata Q24005021
History
- 2026-11-02: add by m2/dev
XP6GNVE742 XP6GNVE742
| URI | m2://inv/XP6GNVE742 |
|---|---|
| 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#LWYD (statement). In M98F6VRPZ2/e1, proposition 4.12
History
- 2026-10-30: add by m2/v0.4.12
signaling NaN XP6JP60D3B
| URI | m2://inv/XP6JP60D3B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121189512, signaling NaN (unknown). Also MathWorld SignalingNaN
History
- 2026-10-26: add by m2/dev
permanent XP6KMRDVJN
| URI | m2://inv/XP6KMRDVJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Permanent X9B1XETBPF |
Mentions
- wikidata: Wikidata Q1344007, permanent (unknown). Also MathWorld Permanent
- wikipedia: Wikipedia Permanent (mathematics), Permanent (definition). Also Wikidata Q1344007
History
- 2026-10-26: add by m2/dev
Cofinal map XP6NGW80JW
| URI | m2://inv/XP6NGW80JW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-category#BU7B, Cofinal map (unknown)
History
- 2026-11-02: add by m2/dev
Risk–benefit analysis XP6PPJCBGA
| URI | m2://inv/XP6PPJCBGA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MD9Z, Risk–benefit analysis (unknown)
History
- 2026-11-02: add by m2/dev
Applications XP6PY2HGFX
| URI | m2://inv/XP6PY2HGFX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre polynomials#U5YX, Applications (example)
History
- 2026-11-02: add by m2/dev
Gordan's lemma XP6Y3PN3QC
| URI | m2://inv/XP6Y3PN3QC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#UFDV, Gordan's lemma (statement)
History
- 2026-11-02: add by m2/dev
XP7A12F738 XP7A12F738
| URI | m2://inv/XP7A12F738 |
|---|---|
| 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.00247#D6CR (statement). In ZAM4S2XS9F/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
XP7BJVZJE9 XP7BJVZJE9
| URI | m2://inv/XP7BJVZJE9 |
|---|---|
| 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.15770#SEVF (statement). In DXFR0BNE47/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Monotone laws XP7F9PVNE2
| URI | m2://inv/XP7F9PVNE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebra#AWON, Monotone laws (statement)
History
- 2026-11-02: add by m2/dev
Abigail Thompson XP7JJQ652Y
| URI | m2://inv/XP7JJQ652Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GD5L, Abigail Thompson (topic)
History
- 2026-11-02: add by m2/dev
XP7K4E0HH4 XP7K4E0HH4
| URI | m2://inv/XP7K4E0HH4 |
|---|---|
| Kind | example |
| 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#1Y31 (example). In 4WPYBTARS2/e1, example 2.4
History
- 2026-10-29: add by m2/v0.4.12
XP7P3SE428 XP7P3SE428
| URI | m2://inv/XP7P3SE428 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#E07U (statement). In D50WST4CG3/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Paul Tseng XP7RQ7BZ2T
| URI | m2://inv/XP7RQ7BZ2T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of operator splitting topics#F5PQ, Paul Tseng (unknown)
History
- 2026-11-02: add by m2/dev
Minimum rank of a graph XP7X8EDBC9
| URI | m2://inv/XP7X8EDBC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum rank of a graph, Minimum rank of a graph (definition). Also Wikidata Q17098980
History
- 2026-11-02: add by m2/dev
XP83NKS6F7 XP83NKS6F7
| URI | m2://inv/XP83NKS6F7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12353#BWLF (example). In 7TSXNR7TC5/e1, example V.2
History
- 2026-10-28: add by m2/v0.4.2
Special $G$-deformation datum XP85MBXJV2
| URI | m2://inv/XP85MBXJV2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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 2609.20572#LV8C, Special $G$-deformation datum (definition)
History
- 2026-11-02: add by m2/v0.6.18
Related results XP8A6GNW58
| URI | m2://inv/XP8A6GNW58 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorphic functional calculus#RCR3, Related results (statement)
History
- 2026-11-02: add by m2/dev
XP8D5FED3A XP8D5FED3A
| URI | m2://inv/XP8D5FED3A |
|---|---|
| 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.21322#CWBP (statement). In CNDA8DBEGD/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
XP8VKWA2SR XP8VKWA2SR
| URI | m2://inv/XP8VKWA2SR |
|---|---|
| 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.10474#CNL9 (statement). In MB29RAAQMG/e1, lemma 6.13
History
- 2026-10-29: add by m2/v0.4.10
XP8X3H3QP1 XP8X3H3QP1
| URI | m2://inv/XP8X3H3QP1 |
|---|---|
| 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#M8X7 (statement). In E7W2HDNEKJ/e1, theorem 6.6
History
- 2026-10-30: add by m2/v0.4.12
XP8XR0F2GG XP8XR0F2GG
| URI | m2://inv/XP8XR0F2GG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-1.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
Michael Makkai XP97DQ7X5G
| URI | m2://inv/XP97DQ7X5G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ACL2, Michael Makkai (topic)
History
- 2026-11-02: add by m2/dev
Kira Makarova XP9AEZQZG9
| URI | m2://inv/XP9AEZQZG9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TMS4, Kira Makarova (unknown)
History
- 2026-11-02: add by m2/dev
rooted tree XP9BWWD07N
| URI | m2://inv/XP9BWWD07N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Rooted tree 0C9J6W2A8A |
Mentions
- wikidata: Wikidata Q63721528, rooted tree (unknown). Also MathWorld RootedTree
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Lowess XP9H6EF23C
| URI | m2://inv/XP9H6EF23C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#Z2W0, Lowess (definition)
- wikipedia: Wikipedia List of curves#IL5Q, Lowess (definition)
History
- 2026-11-02: add by m2/dev
primal and dual problem XP9TYBKNX4
| URI | m2://inv/XP9TYBKNX4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26645#Z06S, primal and dual problem (definition)
History
- 2026-11-01: add by m2/v0.6.15
XP9YFSRJRM XP9YFSRJRM
| URI | m2://inv/XP9YFSRJRM |
|---|---|
| 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.33162#IDDN (statement). In RPC7VG3KHQ/e1, proposition 3.16
History
- 2026-10-30: add by m2/v0.4.12
depth XPA57HF0KJ
| URI | m2://inv/XPA57HF0KJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Depth M2RADBFW99 |
Mentions
- wikidata: Wikidata Q3406905, depth (unknown). Also EoM Depth_of_a_module
- wikipedia: Wikipedia Depth (ring theory), Depth (definition). Also Wikidata Q3406905
History
- 2026-10-26: add by m2/dev
XPA7DCPKK7 XPA7DCPKK7
| URI | m2://inv/XPA7DCPKK7 |
|---|---|
| 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 2411.00060#0UBI (statement). In REPP96MPBH/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
XPAAX7RBDS XPAAX7RBDS
| URI | m2://inv/XPAAX7RBDS |
|---|---|
| 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.38532#ZDEJ (statement). In X7YYWCZFTV/e1, lemma 2.10
History
- 2026-10-30: add by m2/v0.4.12
Example XPAGXXYWHQ
| URI | m2://inv/XPAGXXYWHQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary divisor#W4EI, Example (example)
History
- 2026-11-02: add by m2/dev
Structure of finite nilpotent groups XPAHQ64C1Z
| URI | m2://inv/XPAHQ64C1Z |
|---|---|
| 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.13429#8S5H, Structure of finite nilpotent groups (statement). In B2VB5T5WQD/e1, fact 2.1
History
- 2026-10-28: add by m2/v0.4.2
Erhan Çınlar XPANM77VVP
| URI | m2://inv/XPANM77VVP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erhan Çınlar, Erhan Çınlar (topic). Also Wikidata Q5385855
History
- 2026-11-02: add by m2/dev
Discrete Morse theory XPAPM490XB
| URI | m2://inv/XPAPM490XB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#BBNZ, Discrete Morse theory (definition)
History
- 2026-11-02: add by m2/dev
XPAPSSRH4F XPAPSSRH4F
| URI | m2://inv/XPAPSSRH4F |
|---|---|
| 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#8M7V (statement). In E1Y93JNBJA/e1, theorem 2.3
History
- 2026-10-31: add by m2/v0.5.6
Example XPAVGKN6V4
| URI | m2://inv/XPAVGKN6V4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating multilinear map#TMRB, Example (example)
History
- 2026-11-02: add by m2/dev
Abdul–Aziz Yakubu XPAVVC9KC0
| URI | m2://inv/XPAVVC9KC0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abdul–Aziz Yakubu (mathematician), Abdul–Aziz Yakubu (topic). Also Wikidata Q12887000
History
- 2026-11-02: add by m2/dev
XPAZQG6T87 XPAZQG6T87
| URI | m2://inv/XPAZQG6T87 |
|---|---|
| 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.23847#NECZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Viewpoints: Mathematical Perspective and Fractal Geometry in Art XPB0C1GJDK
| URI | m2://inv/XPB0C1GJDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viewpoints: Mathematical Perspective and Fractal Geometry in Art, Viewpoints: Mathematical Perspective and Fractal Geometry in Art (definition). Also Wikidata Q85813147
History
- 2026-11-02: add by m2/dev
Semiperimeter theorem XPB7NZ4ZMR
| URI | m2://inv/XPB7NZ4ZMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangential polygon#JP9H, Semiperimeter theorem (statement)
History
- 2026-11-02: add by m2/dev
Inviscid flow XPB8T5WTWB
| URI | m2://inv/XPB8T5WTWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inviscid flow, Inviscid flow (definition). Also Wikidata Q2247765
History
- 2026-11-02: add by m2/dev
Variants XPBDES0WV4
| URI | m2://inv/XPBDES0WV4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kobayashi metric#8W9V, Variants (statement)
History
- 2026-11-02: add by m2/dev
Fisher transformation XPBGCJPCRN
| URI | m2://inv/XPBGCJPCRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher transformation, Fisher transformation (definition). Also Wikidata Q5454862
History
- 2026-11-02: add by m2/dev
XPBHB6RF8W XPBHB6RF8W
| URI | m2://inv/XPBHB6RF8W |
|---|---|
| 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.05506#BSV5 (statement). In FT53PMB1TE/e1, lemma 5.2.1
History
- 2026-10-29: add by m2/v0.4.10
Applications XPBQ3AT9JF
| URI | m2://inv/XPBQ3AT9JF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isosceles triangle#KZ80, Applications (example)
History
- 2026-11-02: add by m2/dev
Adaptive comparative judgement XPC47TC1XQ
| URI | m2://inv/XPC47TC1XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive comparative judgement, Adaptive comparative judgement (definition). Also Wikidata Q4680731
History
- 2026-11-02: add by m2/dev
Binary fraction XPC7MXV2XP
| URI | m2://inv/XPC7MXV2XP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary number#Q2CG, Binary fraction (unknown)
History
- 2026-11-02: add by m2/dev
XPC9CQ9AH0 XPC9CQ9AH0
| URI | m2://inv/XPC9CQ9AH0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#DG5T (definition)
History
- 2026-11-02: add by m2/v0.6.17
Near-Optimal OPI Discrepancy for Reed--Solomon Codes XPCA4BC85G
| URI | m2://inv/XPCA4BC85G |
|---|---|
| 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.12357#J52E, Near-Optimal OPI Discrepancy for Reed--Solomon Codes (statement). In 1F26AF81XP/e1, theorem 1.10
History
- 2026-10-28: add by m2/v0.4.2
Theorem XPCBM536ZK
| URI | m2://inv/XPCBM536ZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Admissible rule#8Y1E, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Standard Model XPCCJ2ZWBK
| URI | m2://inv/XPCCJ2ZWBK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#57XJ, Standard Model (topic)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#QE7W, Standard Model (topic)
History
- 2026-11-02: add by m2/dev
Picard's theorem XPCHPH16D6
| URI | m2://inv/XPCHPH16D6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.1.5/picard-s-theorem, Picard's theorem (concept). In E9HS8K3A52, index, section 10.1.5
History
- 2026-11-01: add by m2/v0.6.13
associated XPCPFGQ2E6
| URI | m2://inv/XPCPFGQ2E6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#RJL2, associated (definition)
History
- 2026-11-02: add by m2/dev
slingshot argument XPCZ8Z3JQ2
| URI | m2://inv/XPCZ8Z3JQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#6R6P, slingshot argument (definition)
History
- 2026-11-02: add by m2/dev
Circuit topology XPCZZY9SCR
| URI | m2://inv/XPCZZY9SCR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circuit topology, Circuit topology (definition). Also Wikidata Q18205998
History
- 2026-11-02: add by m2/dev
Tychonic system XPD1DKDMS6
| URI | m2://inv/XPD1DKDMS6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#6L0K, Tychonic system (unknown)
History
- 2026-11-02: add by m2/dev
XPDAQFB9J9 XPDAQFB9J9
| URI | m2://inv/XPDAQFB9J9 |
|---|---|
| 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.14681#TRGX (statement). In 459W0NBS5Q/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Construction of the Lebesgue measure XPDJ6CZM7A
| URI | m2://inv/XPDJ6CZM7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue measure#CA91, Construction of the Lebesgue measure (definition)
History
- 2026-11-02: add by m2/dev
First material identities XPE4C4TYY3
| URI | m2://inv/XPE4C4TYY3 |
|---|---|
| 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.04894#140E, First material identities (statement). In AZZ35SDENN/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Casio fx-7000G XPEAVKP38Z
| URI | m2://inv/XPEAVKP38Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casio fx-7000G, Casio fx-7000G (definition). Also Wikidata Q5048937
History
- 2026-11-02: add by m2/dev
336 (number) XPEDFEM916
| URI | m2://inv/XPEDFEM916 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#LLER, 336 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Walter Burton Ford XPEPP1CBSS
| URI | m2://inv/XPEPP1CBSS |
|---|---|
| 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#SQ3L, Walter Burton Ford (topic)
History
- 2026-11-02: add by m2/dev
Average CA distance XPER4P41HH
| URI | m2://inv/XPER4P41HH |
|---|---|
| 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.13773#UYE1, Average CA distance (statement). In E75XQY0QFM/e1, corollary C.1
History
- 2026-10-28: add by m2/v0.4.2
K-topology XPET4RZG34
| URI | m2://inv/XPET4RZG34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#IB0L, K-topology (definition)
History
- 2026-11-02: add by m2/dev
Hamilton-connected graph XPETT9SVN2
| URI | m2://inv/XPETT9SVN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132078220, Hamilton-connected graph (unknown). Also MathWorld Hamilton-ConnectedGraph
History
- 2026-10-26: add by m2/dev
Key commitment XPEVMVCS03
| URI | m2://inv/XPEVMVCS03 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Authenticated encryption#HDSB, Key commitment (unknown)
History
- 2026-11-02: add by m2/dev
XPF45TD7AM XPF45TD7AM
| URI | m2://inv/XPF45TD7AM |
|---|---|
| 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.11034#ZP3C (statement). In 2KACPY9MMF/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.3
XPF46G0KMN XPF46G0KMN
| URI | m2://inv/XPF46G0KMN |
|---|---|
| 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#MP46 (statement). In CP0PVZ70MF/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Kaczmarz method XPF47BJVFP
| URI | m2://inv/XPF47BJVFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaczmarz method, Kaczmarz method (definition). Also Wikidata Q288600
History
- 2026-11-02: add by m2/dev
Biometrics (statistics) XPFCB8RNTC
| URI | m2://inv/XPFCB8RNTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H3L0, Biometrics (statistics) (definition)
History
- 2026-11-02: add by m2/dev
⋯ XPFEDS5J1J
| URI | m2://inv/XPFEDS5J1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipsis#VF54, ⋯ (unknown)
History
- 2026-11-02: add by m2/dev
Spectral characterization XPFESKTC6G
| URI | m2://inv/XPFESKTC6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#BCGG, Spectral characterization (statement). In 65TJENWK7X/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
Applications XPFF26RTYG
| URI | m2://inv/XPFF26RTYG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radar chart#A05X, Applications (example)
History
- 2026-11-02: add by m2/dev
XPFXZHEPHF XPFXZHEPHF
| URI | m2://inv/XPFXZHEPHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#CZGO (statement). In AGJE43FTF8/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.2
Applications XPFYBNPZE0
| URI | m2://inv/XPFYBNPZE0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine root system#E3UY, Applications (example)
History
- 2026-11-02: add by m2/dev
Implementation theorem XPFZ7ZT642
| URI | m2://inv/XPFZ7ZT642 |
|---|---|
| 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.16248#1JHT, Implementation theorem (statement). In TP61DYMBMK/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.2
Properties XPFZF84WCG
| URI | m2://inv/XPFZF84WCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deficient number#YWH0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Second moment method XPG39RED96
| URI | m2://inv/XPG39RED96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second moment method, Second moment method (definition). Also Wikidata Q7443739
History
- 2026-11-02: add by m2/dev
Common bases for strong orientations XPG8A1FZ2G
| URI | m2://inv/XPG8A1FZ2G |
|---|---|
| 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.06724#250K, Common bases for strong orientations (statement). In W5XG3PGVF1/e1, lemma C.6
History
- 2026-10-29: add by m2/v0.4.10
Theograph XPGB6YPYGD
| URI | m2://inv/XPGB6YPYGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theograph, Theograph (definition). Also Wikidata Q135665911
History
- 2026-11-02: add by m2/dev
Definition XPGBMW15YT
| URI | m2://inv/XPGBMW15YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic number#BSJ2, Definition (definition)
History
- 2026-11-02: add by m2/dev
XPGH0BPSXH XPGH0BPSXH
| URI | m2://inv/XPGH0BPSXH |
|---|---|
| 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.03520#6ZZ8 (statement). In CSRZ9CWK69/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.12
XPGJBPEP4P XPGJBPEP4P
| URI | m2://inv/XPGJBPEP4P |
|---|---|
| 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 2601.10370#BL4H (statement). In S5ZSEFYBD3/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
XPGWZVR08Q XPGWZVR08Q
| URI | m2://inv/XPGWZVR08Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18242#W36C (definition). In VVC2FHQZZR/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Steinitz theorem XPGX9MKG1J
| URI | m2://inv/XPGX9MKG1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5XH6, Steinitz theorem (statement)
History
- 2026-11-02: add by m2/dev
XPH1JV4P7Z XPH1JV4P7Z
| URI | m2://inv/XPH1JV4P7Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1803.10042#5KWJ (example). In 718SP8YERQ/e1, example A5
History
- 2026-10-27: add by m2/v0.3.5
XPHA14WZF6 XPHA14WZF6
| URI | m2://inv/XPHA14WZF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#GHG5 (statement). In X923ZEY423/e1, lemma 3.0.1
History
- 2026-10-27: add by m2/v0.3.5
XPHMKETW0J XPHMKETW0J
| URI | m2://inv/XPHMKETW0J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 37-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.18929#S64P (definition). In ZRJ2DZT6P1/e1, definition 4.8
History
- 2026-10-28: add by m2/v0.4.2
Pedometric mapping XPHPS0GWJ1
| URI | m2://inv/XPHPS0GWJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pedometric mapping, Pedometric mapping (definition). Also Wikidata Q17153607
History
- 2026-11-02: add by m2/dev
XPHTETF35H XPHTETF35H
| URI | m2://inv/XPHTETF35H |
|---|---|
| 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 2004.12552#V5OA (statement). In TWPE10CZ1S/e1, corollary 2.8
History
- 2026-10-27: add by m2/v0.3.5
Elliptic surface XPHV3GFMQT
| URI | m2://inv/XPHV3GFMQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#D77D, Elliptic surface (definition)
History
- 2026-11-02: add by m2/dev
XPHZF65GRY XPHZF65GRY
| URI | m2://inv/XPHZF65GRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#definition-3 (definition). In RZP28ERRZV, definition, section 63.2
History
- 2026-11-01: add by m2/v0.6.13
XPJ15QQCQY XPJ15QQCQY
| URI | m2://inv/XPJ15QQCQY |
|---|---|
| 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#ESZI (definition). In JQFPH09JG8/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
XPJ2EKFM5X XPJ2EKFM5X
| URI | m2://inv/XPJ2EKFM5X |
|---|---|
| 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.04645#IO93 (statement). In YMZ6XP5542/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
Serre's Conjecture XPJ5PJBRFT
| URI | m2://inv/XPJ5PJBRFT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#5W6R, Serre's Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Sister Beiter conjecture XPJ5VVR7RA
| URI | m2://inv/XPJ5VVR7RA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#68A7, Sister Beiter conjecture (statement)
History
- 2026-11-02: add by m2/dev
XPJSM43QWE XPJSM43QWE
| URI | m2://inv/XPJSM43QWE |
|---|---|
| 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.32077#XHOF (statement). In WYXQDSQR9B/e1, theorem 2.9
History
- 2026-10-31: add by m2/v0.5.6
Heuristic XPJY5YXXM3
| URI | m2://inv/XPJY5YXXM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heuristic (psychology), Heuristic (definition). Also Wikidata Q5748260
History
- 2026-11-02: add by m2/dev
Strong finite intersection property XPJZG85CWK
| URI | m2://inv/XPJZG85CWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#DULD, Strong finite intersection property (definition)
History
- 2026-11-02: add by m2/dev
XPK2NJZ0ZB XPK2NJZ0ZB
| URI | m2://inv/XPK2NJZ0ZB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-3 (example). In E59CDZA4DP, example, section 10.1
History
- 2026-11-01: add by m2/v0.6.13
Definition XPK3HFWPZ5
| URI | m2://inv/XPK3HFWPZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chromatic symmetric function#8Z3S, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties XPK54M0WYE
| URI | m2://inv/XPK54M0WYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kiepert conics#2D4M, Properties (statement)
History
- 2026-11-02: add by m2/dev
XPK7M7YC40 XPK7M7YC40
| URI | m2://inv/XPK7M7YC40 |
|---|---|
| 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#MJZI (statement). In BAGX2TDXM4/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Attainment when $r_p(m)=1$ XPKJEDHPR3
| URI | m2://inv/XPKJEDHPR3 |
|---|---|
| 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#CJD4, Attainment when $r_p(m)=1$ (statement). In GNY2MTPWW6/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Denise Lievesley XPKTRPTGKV
| URI | m2://inv/XPKTRPTGKV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#KBM8, Denise Lievesley (unknown)
History
- 2026-11-02: add by m2/dev
Luigi Bianchi XPKYEZ526Q
| URI | m2://inv/XPKYEZ526Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#MZ5J, Luigi Bianchi (topic)
- wikipedia: Wikipedia List of Italian mathematicians#VO7Q, Luigi Bianchi (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UL45, Luigi Bianchi (topic)
History
- 2026-11-02: add by m2/dev
State convergence need not give uniform field convergence XPKZHSDWFS
| URI | m2://inv/XPKZHSDWFS |
|---|---|
| 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.21991#7QEI, State convergence need not give uniform field convergence (statement). In KRBDK9J44X/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.4.2
XPM0MAZ0VX XPM0MAZ0VX
| URI | m2://inv/XPM0MAZ0VX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#TD73 (definition). In BDN507RN7J/e1, definition 4.2.1
History
- 2026-10-30: add by m2/v0.4.12
XPM2SF1896 XPM2SF1896
| URI | m2://inv/XPM2SF1896 |
|---|---|
| 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 2403.01959#BKHP (statement). In 5YMNGJRC6Y/e1, theorem 4.18
History
- 2026-10-27: add by m2/v0.3.5
XPMAT03KCP XPMAT03KCP
| URI | m2://inv/XPMAT03KCP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39269#O51K (example). In HS4X20TX33/e1, example 0.27
History
- 2026-10-30: add by m2/v0.4.12
Ratner's theorems XPMBEB5CGX
| URI | m2://inv/XPMBEB5CGX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#B1SR, Ratner's theorems (statement)
History
- 2026-11-02: add by m2/dev
Exact expansion of the scale term XPMBR2WQ4G
| URI | m2://inv/XPMBR2WQ4G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#PLYW, Exact expansion of the scale term (statement)
History
- 2026-11-01: add by m2/v0.6.15
A uniform Gaussian envelope XPMC2PXX32
| URI | m2://inv/XPMC2PXX32 |
|---|---|
| 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.21328#7X52, A uniform Gaussian envelope (statement). In BJXVV4ZF7B/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
Strong log-concavity XPMHNABHV2
| URI | m2://inv/XPMHNABHV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33008#ZVGG, Strong log-concavity (statement). In 4M662A3ZF1/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
XPMK8YXGB4 XPMK8YXGB4
| URI | m2://inv/XPMK8YXGB4 |
|---|---|
| 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 1011.4141#4E5D (statement). In YQ4JYF18NH/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
pullback of vector fields XPMNYTFCDP
| URI | m2://inv/XPMNYTFCDP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > pullback of vector fields, pullback of vector fields (unknown). Also Mathlib VectorField.mpullback
History
- 2026-10-26: add by m2/dev
Weak equivalence XPN4152TEZ
| URI | m2://inv/XPN4152TEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#LFO1, Weak equivalence (definition)
History
- 2026-11-02: add by m2/dev
parallelism XPN41ZT3PT
| URI | m2://inv/XPN41ZT3PT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirkman's schoolgirl problem#N88P, parallelism (definition)
- wikipedia: Wikipedia Kirkman's schoolgirl problem#RB4Q, packing (definition)
History
- 2026-11-02: add by m2/dev
Cosine comparison in a $\kappa$-domain XPN6BMPW35
| URI | m2://inv/XPN6BMPW35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.17909#9WXD, Cosine comparison in a $\kappa$-domain (statement). In YXZX6Z8S6A/e1, proposition 2.9
History
- 2026-10-28: add by m2/v0.4.2
RDRAND XPN9DSJSM1
| URI | m2://inv/XPN9DSJSM1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of random number generators#T58X, RDRAND (unknown)
History
- 2026-11-02: add by m2/dev
XPNRN1YAHP XPNRN1YAHP
| URI | m2://inv/XPNRN1YAHP |
|---|---|
| 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.13723#IENH (statement). In HPBCRT0Z0V/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
XPNWB5ARD7 XPNWB5ARD7
| URI | m2://inv/XPNWB5ARD7 |
|---|---|
| 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 2412.12141#5UPU (statement). In V980ZMH759/e1, corollary 2.9
History
- 2026-10-27: add by m2/v0.4.0
XPNYK3HYA7 XPNYK3HYA7
| URI | m2://inv/XPNYK3HYA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#8OWS (statement)
History
- 2026-11-01: add by m2/v0.6.15
XPNZB8FC4N XPNZB8FC4N
| URI | m2://inv/XPNZB8FC4N |
|---|---|
| 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 2609.37634#GB2L (statement). In NTWNXKDBKK/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
XPP48ZVKH2 XPP48ZVKH2
| URI | m2://inv/XPP48ZVKH2 |
|---|---|
| Kind | definition |
| 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.30444#S9AU (definition). In RZWJ0AT8W5/e1, definition 6.6
History
- 2026-10-31: add by m2/v0.5.6
XPP7GA4JNB XPP7GA4JNB
| URI | m2://inv/XPP7GA4JNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#st:propfor (statement). In E59CDZA4DP, prop, section 11.9.3
History
- 2026-11-01: add by m2/v0.6.13
Theorems XPP96KWFSZ
| URI | m2://inv/XPP96KWFSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#defn-1, Theorems (definition). In PKGMM3P5QY, defn, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
Definition XPPCSCNFSA
| URI | m2://inv/XPPCSCNFSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment of inertia#ERYT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Example XPPH8N4CEW
| URI | m2://inv/XPPH8N4CEW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergeometric distribution#6V1Z, Example (example)
History
- 2026-11-02: add by m2/dev
Prime and primitive spectra XPPHC0D9FR
| URI | m2://inv/XPPHC0D9FR |
|---|---|
| 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.20230#WE7Q, Prime and primitive spectra (statement)
History
- 2026-11-02: add by m2/v0.6.18
center XPPQM4XKK9
| URI | m2://inv/XPPQM4XKK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Centre of a group 0DZ93493VN |
Mentions
- wikidata: Wikidata Q1195852, center (definition). Also EoM Centre_of_a_group, MathWorld GroupCenter, ProofWiki Definition:Center_(Abstract_Algebra)/Group
- wikipedia: Wikipedia Center (group theory), Center (definition). Also Wikidata Q1195852
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
XPPRCTFDK6 XPPRCTFDK6
| URI | m2://inv/XPPRCTFDK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#FLB9 (statement). In TB1294GY5X/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.4.2
XPPWPJE4AK XPPWPJE4AK
| URI | m2://inv/XPPWPJE4AK |
|---|---|
| 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.38548#96WM (definition). In Z7ZFV3HM1S/e1, definition 3.9
History
- 2026-10-30: add by m2/v0.4.12
Lev M. Bregman XPPXCSSB4E
| URI | m2://inv/XPPXCSSB4E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lev M. Bregman, Lev M. Bregman (topic). Also Wikidata Q16105569
History
- 2026-11-02: add by m2/dev
Axiom of dependent choice XPQ2981X4X
| URI | m2://inv/XPQ2981X4X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#JWDJ, Axiom of dependent choice (statement)
History
- 2026-11-02: add by m2/dev
Least squares method XPQ2T6S37Z
| URI | m2://inv/XPQ2T6S37Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#RVEA, Least squares method (definition)
History
- 2026-11-02: add by m2/dev
XPQ2V41HTV XPQ2V41HTV
| URI | m2://inv/XPQ2V41HTV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:notsimpledefofdoh (exercise). In VNMV985MXX, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
harmonic series XPQACBAP9Q
| URI | m2://inv/XPQACBAP9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Harmonic series 0CXTMAY5PX |
Mentions
- wikidata: Wikidata Q464100, harmonic series (definition). Also EoM Harmonic_Series, EoM Harmonic_series, MathWorld HarmonicSeries, ProofWiki Definition:Harmonic_Series
- wikipedia: Wikipedia Harmonic series (mathematics), Harmonic series (definition). Also Wikidata Q464100
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
XPQTSTKVB1 XPQTSTKVB1
| URI | m2://inv/XPQTSTKVB1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:connected-pointed-all-section-retraction (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Great dodecahemicosacron XPR39WRTW9
| URI | m2://inv/XPR39WRTW9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great dodecahemicosahedron#LG89, Great dodecahemicosacron (unknown)
History
- 2026-11-02: add by m2/dev
Great icosicosidodecahedron XPR5YJSFTK
| URI | m2://inv/XPR5YJSFTK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great icosicosidodecahedron, Great icosicosidodecahedron (object). Also Wikidata Q147653
History
- 2026-11-02: add by m2/dev
XPR6PQYPBB XPR6PQYPBB
| URI | m2://inv/XPR6PQYPBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14267#VR7E (statement). In 9YTGFNA004/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Smith–Minkowski–Siegel mass formula XPR8DFT096
| URI | m2://inv/XPR8DFT096 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2623611, Smith–Minkowski–Siegel mass formula (concept). Also nLab Smith-Minkowski-Siegel mass formula
- wikipedia: Wikipedia Smith–Minkowski–Siegel mass formula, Smith–Minkowski–Siegel mass formula (statement). Also Wikidata Q2623611
History
- 2026-10-26: add by m2/dev
category XPRD3T1MS8
| URI | m2://inv/XPRD3T1MS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#S442, category (definition)
History
- 2026-11-02: add by m2/dev
XPRDMF7B5P XPRDMF7B5P
| URI | m2://inv/XPRDMF7B5P |
|---|---|
| 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 2609.27518#VLMH (statement)
History
- 2026-11-01: add by m2/v0.6.15
XPRGF4KJP6 XPRGF4KJP6
| URI | m2://inv/XPRGF4KJP6 |
|---|---|
| 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.14319#TFJ8 (statement). In N2FBBMPEXA/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
Vincent Rijmen XPRH198G2Y
| URI | m2://inv/XPRH198G2Y |
|---|---|
| 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 Q433933, Vincent Rijmen (unknown). Also ProofWiki Mathematician:Vincent_Stefaan_Rijmen
History
- 2026-10-26: add by m2/dev
XPRH6QTV2P XPRH6QTV2P
| URI | m2://inv/XPRH6QTV2P |
|---|---|
| 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.33027#O7JA (statement). In E2AF84709B/e1, theorem C
History
- 2026-10-31: add by m2/v0.5.6
XPRNPXKRPK XPRNPXKRPK
| URI | m2://inv/XPRNPXKRPK |
|---|---|
| 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.31907#F5LM (definition). In 6B2PCEGCYZ/e1, definition 7.2
History
- 2026-10-31: add by m2/v0.5.6
Parker vector XPRWZP4RM4
| URI | m2://inv/XPRWZP4RM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parker vector, Parker vector (definition). Also Wikidata Q7138412
History
- 2026-11-02: add by m2/dev
XPSMN2CYE9 XPSMN2CYE9
| URI | m2://inv/XPSMN2CYE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.33651#AA1E (statement). In 69DBD2HKGK/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
XPSQ16DH90 XPSQ16DH90
| URI | m2://inv/XPSQ16DH90 |
|---|---|
| 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.05427#91SR (statement). In 4VC60HRHH9/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Residual representation; maximal invariant XPT2SV568A
| URI | m2://inv/XPT2SV568A |
|---|---|
| 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.04671#Y5PJ, Residual representation; maximal invariant (statement). In BYP65TRGDT/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Applications XPTEYQJJ5Q
| URI | m2://inv/XPTEYQJJ5Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia STIT logic#5NH0, Applications (example)
History
- 2026-11-02: add by m2/dev
Support vertex XPTNKYZ2C7
| URI | m2://inv/XPTNKYZ2C7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support vertex, Support vertex (definition). Also Wikidata Q138130212
History
- 2026-11-02: add by m2/dev
XPTSFD4KA7 XPTSFD4KA7
| URI | m2://inv/XPTSFD4KA7 |
|---|---|
| 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.07530#J94Z (statement). In C7QZ0VPBC8/e1, lemma A.6
History
- 2026-10-29: add by m2/v0.4.10
Generalizations XPTWWNHMZT
| URI | m2://inv/XPTWWNHMZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graded Lie algebra#MHD2, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Policy convergence under strong convexity XPV9PMWFWD
| URI | m2://inv/XPV9PMWFWD |
|---|---|
| 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.39837#6WAR, Policy convergence under strong convexity (statement). In MDQXTBEK0F/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
XPVFJ8D9HP XPVFJ8D9HP
| URI | m2://inv/XPVFJ8D9HP |
|---|---|
| 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.06381#NQDQ (statement). In X9JKBDHACW/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.10
The conjugate downstream state XPVNMPJ93G
| URI | m2://inv/XPVNMPJ93G |
|---|---|
| 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.28024#W0KB, The conjugate downstream state (statement)
History
- 2026-11-01: add by m2/v0.6.15
XPVQBN0HMW XPVQBN0HMW
| URI | m2://inv/XPVQBN0HMW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#DNGG (statement). In FDDA562VCA/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.10
XPVW4ETV78 XPVW4ETV78
| URI | m2://inv/XPVW4ETV78 |
|---|---|
| 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.26357#HXP7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
XPW1JDHSG6 XPW1JDHSG6
| URI | m2://inv/XPW1JDHSG6 |
|---|---|
| Kind | example |
| 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 2609.20153#WAZT (example)
History
- 2026-11-02: add by m2/v0.6.18
Definition XPW2BFWMNQ
| URI | m2://inv/XPW2BFWMNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary recursive function#9NQE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Monte Carlo integration XPW50JSBAD
| URI | m2://inv/XPW50JSBAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GGCN, Monte Carlo integration (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#XGF4, Monte Carlo integration (definition)
History
- 2026-11-02: add by m2/dev
Measure estimate for viscosity supersolutions XPWBC05B8E
| URI | m2://inv/XPWBC05B8E |
|---|---|
| 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.09494#5RSB, Measure estimate for viscosity supersolutions (statement). In H297EPZQQB/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Concentrated likelihood XPWBK6NMV8
| URI | m2://inv/XPWBK6NMV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihood function#I257, Concentrated likelihood (unknown)
History
- 2026-11-02: add by m2/dev
Steiner–Hessian XPWJTDF3Y4
| URI | m2://inv/XPWJTDF3Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#26P9, Steiner–Hessian (definition)
History
- 2026-11-02: add by m2/dev
XPWPDN7300 XPWPDN7300
| URI | m2://inv/XPWPDN7300 |
|---|---|
| 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 1806.00877#QMOM (statement). In 1QVKNGBS3D/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Roger Ware Brockett XPWQ9FFTBG
| URI | m2://inv/XPWQ9FFTBG |
|---|---|
| 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#0XVC, Roger Ware Brockett (unknown)
History
- 2026-11-02: add by m2/dev
XPX18YSTT3 XPX18YSTT3
| URI | m2://inv/XPX18YSTT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#S78P (statement). In H3FDP8S1Z7/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
XPX331S51G XPX331S51G
| URI | m2://inv/XPX331S51G |
|---|---|
| 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 2102.12931#JEVP (statement). In PQHTR84RAJ/e1, corollary 5.17
History
- 2026-10-27: add by m2/v0.4.0
Wedderburn, Robert XPX64A8MFT
| URI | m2://inv/XPX64A8MFT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#9ERG, Wedderburn, Robert (topic)
History
- 2026-11-02: add by m2/dev
Definitions XPXESH9XCV
| URI | m2://inv/XPXESH9XCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star refinement#MQI8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Bills of Mortality XPXJEA0397
| URI | m2://inv/XPXJEA0397 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GDHC, Bills of Mortality (unknown)
History
- 2026-11-02: add by m2/dev
XPXNM2JQQ9 XPXNM2JQQ9
| URI | m2://inv/XPXNM2JQQ9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/proof-examples.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 61.10
History
- 2026-11-01: add by m2/v0.6.13
XPXTET7GKZ XPXTET7GKZ
| URI | m2://inv/XPXTET7GKZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14548#PSGD (definition). In TTNKABAYVB/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
XPXZ3Q22VV XPXZ3Q22VV
| URI | m2://inv/XPXZ3Q22VV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_solving.ptx#example-1 (example). In QKM9DD2H56, example, section 9.4.1
History
- 2026-11-01: add by m2/v0.6.13
Fundamental theorem of vector analysis XPXZNMEWQF
| URI | m2://inv/XPXZNMEWQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#L7YI, Fundamental theorem of vector analysis (definition)
History
- 2026-11-02: add by m2/dev
Maurer rose XPY42B0ZPK
| URI | m2://inv/XPY42B0ZPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3821122, Maurer rose (unknown). Also MathWorld MaurerRose
- wikipedia: Wikipedia Maurer rose, Maurer rose (definition). Also Wikidata Q3821122
History
- 2026-10-26: add by m2/dev
XPY4DWQZQV XPY4DWQZQV
| URI | m2://inv/XPY4DWQZQV |
|---|---|
| Kind | statement |
| 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 2609.01473#G9CL (statement). In ABS9M47F4K/e1, corollary 3.15
History
- 2026-10-27: add by m2/v0.3.6
cubicovariant XPY7M2F7S8
| URI | m2://inv/XPY7M2F7S8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#S9Z8, cubicovariant (definition)
History
- 2026-11-02: add by m2/dev
XPY97NVS78 XPY97NVS78
| URI | m2://inv/XPY97NVS78 |
|---|---|
| Kind | definition |
| 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.04761#4RF4 (definition). In SJC0GJQCFQ/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
Rough set XPYBJ2G1F0
| URI | m2://inv/XPYBJ2G1F0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rough set, Rough set (definition). Also Wikidata Q3137210
History
- 2026-11-02: add by m2/dev
XPYD09V97E XPYD09V97E
| URI | m2://inv/XPYD09V97E |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-5 (proof). In N54F33XE07, proof, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
Optimal stable matching XPYD8GXGEY
| URI | m2://inv/XPYD8GXGEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal stable matching, Optimal stable matching (definition). Also Wikidata Q139940292
History
- 2026-11-02: add by m2/dev
XPYJ5361BG XPYJ5361BG
| URI | m2://inv/XPYJ5361BG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#381F (definition). In ZH0PFTZ12Y/e1, definition 4.4
History
- 2026-10-28: add by m2/v0.4.2
XPYTBWN4T2 XPYTBWN4T2
| URI | m2://inv/XPYTBWN4T2 |
|---|---|
| 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.09324#M8K6 (statement). In SFNYZXKBNW/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
XPZ764SH4D XPZ764SH4D
| URI | m2://inv/XPZ764SH4D |
|---|---|
| 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.02377#Z45Y (statement). In FE1NTA4ZWY/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
right module XPZ92670XM
| URI | m2://inv/XPZ92670XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120722061, right module (definition). Also ProofWiki Definition:Right_Module
History
- 2026-10-26: add by m2/dev
Depth of the correction units XPZBM587PK
| URI | m2://inv/XPZBM587PK |
|---|---|
| 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 2610.10583#QROE, Depth of the correction units (statement). In 5BZQS1KY9A/e1, lemma 9.11
History
- 2026-10-29: add by m2/v0.4.10
Notation XPZEFQZHW4
| URI | m2://inv/XPZEFQZHW4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial differential equation#2XBN, Notation (definition)
History
- 2026-11-02: add by m2/dev
Directed line segment XPZMHWJVPG
| URI | m2://inv/XPZMHWJVPG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line segment#CA16, Directed line segment (unknown)
History
- 2026-11-02: add by m2/dev
Outline of logic XPZP6DFN1C
| URI | m2://inv/XPZP6DFN1C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#J9C7, Outline of logic (topic)
History
- 2026-11-02: add by m2/dev
XPZV86ANR5 XPZV86ANR5
| URI | m2://inv/XPZV86ANR5 |
|---|---|
| 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 1607.01095#LPE5 (statement). In W3T1ZAT3GC/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5