Inventory rows ZM
The cards of the rows of the inventory whose ids start with ZM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Definition ZM0C1PSSY0
| URI | m2://inv/ZM0C1PSSY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information ratio#2K45, Definition (definition)
History
- 2026-11-02: add by m2/dev
Domain and formula circumscription ZM0C69GP5B
| URI | m2://inv/ZM0C69GP5B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circumscription (logic)#CBZ9, Domain and formula circumscription (statement)
History
- 2026-11-02: add by m2/dev
Victor Thébault ZM0E7ECX62
| URI | m2://inv/ZM0E7ECX62 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Thébault, Victor Thébault (topic). Also Wikidata Q7926394
History
- 2026-11-02: add by m2/dev
infinite limit, of a sequence ZM0HQETDB7
| URI | m2://inv/ZM0HQETDB7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.3.4/infinite-limit-of-a-sequence, infinite limit, of a sequence (concept). In E59CDZA4DP, index, section 10.3.4
History
- 2026-11-01: add by m2/v0.6.13
ZM0JDMDJE5 ZM0JDMDJE5
| URI | m2://inv/ZM0JDMDJE5 |
|---|---|
| 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.26089#0WEG (statement)
History
- 2026-11-01: add by m2/v0.6.15
exabyte ZM0N1N0NJ7
| URI | m2://inv/ZM0N1N0NJ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q79745, exabyte (unknown). Also MathWorld Exabyte
History
- 2026-10-26: add by m2/dev
Jules Chuard ZM0RBMMQ43
| URI | m2://inv/ZM0RBMMQ43 |
|---|---|
| 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#GVSD, Jules Chuard (unknown)
History
- 2026-11-02: add by m2/dev
Janzen--Rayleigh expansion for internal fronts ZM160PSJ34
| URI | m2://inv/ZM160PSJ34 |
|---|---|
| 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.01883#R57W, Janzen--Rayleigh expansion for internal fronts (statement). In CYV4P9TDV0/e1, theorem 5.9
History
- 2026-10-29: add by m2/v0.4.12
Convex set ZM199RMMMJ
| URI | m2://inv/ZM199RMMMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#LUWK, Convex set (definition)
History
- 2026-11-02: add by m2/dev
Lehmann–Scheffé theorem ZM1QAVS9J4
| URI | m2://inv/ZM1QAVS9J4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#UWY9, Lehmann–Scheffé theorem (statement)
History
- 2026-11-02: add by m2/dev
ZM1W9WA2QW ZM1W9WA2QW
| URI | m2://inv/ZM1W9WA2QW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#L2PZ (statement). In 5E9G06XJKC/e1, lemma D.25
History
- 2026-10-28: add by m2/v0.4.2
ZM1Z6SS52B ZM1Z6SS52B
| URI | m2://inv/ZM1Z6SS52B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40355#WNC9 (statement). In SBP98GWKC8/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
Maximum spacing estimation ZM20A3EDFB
| URI | m2://inv/ZM20A3EDFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum spacing estimation, Maximum spacing estimation (definition). Also Wikidata Q17103364
History
- 2026-11-02: add by m2/dev
Little planet effect ZM23DGMCQR
| URI | m2://inv/ZM23DGMCQR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stereographic projection#OOXE, Little planet effect (unknown)
History
- 2026-11-02: add by m2/dev
Properties ZM23Q9AWAA
| URI | m2://inv/ZM23Q9AWAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial regression plot#4BS9, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZM266VV08N ZM266VV08N
| URI | m2://inv/ZM266VV08N |
|---|---|
| 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.22685#H38M (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gerbe ZM26JC2AWB
| URI | m2://inv/ZM26JC2AWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#1K1D, Gerbe (definition)
History
- 2026-11-02: add by m2/dev
Examples ZM2DBPWHF8
| URI | m2://inv/ZM2DBPWHF8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redescending M-estimator#7NJ3, Examples (example)
History
- 2026-11-02: add by m2/dev
Bollob\'as, H\"{a}ggkvist ZM3003Y7Y3
| URI | m2://inv/ZM3003Y7Y3 |
|---|---|
| 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 2603.21971#V972, Bollob\'as, H\"{a}ggkvist (statement). In R6KSZ9H8CY/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
ZM30NDZ38X ZM30NDZ38X
| URI | m2://inv/ZM30NDZ38X |
|---|---|
| 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 0810.0962#BTUH (statement). In 80YMRN5KS9/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Hardy distribution ZM30QHYD4N
| URI | m2://inv/ZM30QHYD4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#WZ12, Hardy distribution (definition)
History
- 2026-11-02: add by m2/dev
Inverse function theorem ZM38YMVQX5
| URI | m2://inv/ZM38YMVQX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#RT3I, Inverse function theorem (statement)
History
- 2026-11-02: add by m2/dev
ZM3BT5HF2C ZM3BT5HF2C
| URI | m2://inv/ZM3BT5HF2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#H4SX (statement). In AQX7DGD360/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
ZM3GG3JC7M ZM3GG3JC7M
| URI | m2://inv/ZM3GG3JC7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2610.18094#9Z3Y (statement). In AYANBEWSFH/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Parity P ZM3PNGR3BC
| URI | m2://inv/ZM3PNGR3BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity P, Parity P (definition). Also Wikidata Q7137529
History
- 2026-11-02: add by m2/dev
Definition ZM3QGE3Q6R
| URI | m2://inv/ZM3QGE3Q6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed monoidal category#PC56, Definition (definition)
History
- 2026-11-02: add by m2/dev
potato paradox ZM41Z4T1CK
| URI | m2://inv/ZM41Z4T1CK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q33145, potato paradox (unknown). Also MathWorld PotatoParadox
- wikipedia: Wikipedia Potato paradox, Potato paradox (statement). Also Wikidata Q33145
History
- 2026-10-26: add by m2/dev
Applications ZM45Y15AYH
| URI | m2://inv/ZM45Y15AYH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BIT predicate#YBFX, Applications (example)
History
- 2026-11-02: add by m2/dev
Theorem ZM4666TP9G
| URI | m2://inv/ZM4666TP9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of Hilbert spaces#ZPQ8, Theorem (statement)
History
- 2026-11-02: add by m2/dev
axiom ZM48CHAF2D
| URI | m2://inv/ZM48CHAF2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#K5L0, axiom (definition)
History
- 2026-11-02: add by m2/dev
Averages on the cone ZM4H0ECKHR
| URI | m2://inv/ZM4H0ECKHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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 2610.12434#R7EA, Averages on the cone (statement). In YCRZC9SDCE/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
tube ZM4K0QVP8Y
| URI | m2://inv/ZM4K0QVP8Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14050#TFDF, tube (definition). In RENT22YXW3/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Gergonne point ZM4RS11Y7B
| URI | m2://inv/ZM4RS11Y7B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1751577, Gergonne point (concept). Also MathWorld GergonnePoint
History
- 2026-10-26: add by m2/dev
ZM4VAHXJND ZM4VAHXJND
| URI | m2://inv/ZM4VAHXJND |
|---|---|
| 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.06419#JJH6 (statement). In JSZRXT3W3E/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
ZM50JFZ18Z ZM50JFZ18Z
| URI | m2://inv/ZM50JFZ18Z |
|---|---|
| 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 2205.06433#VGAL (example). In 628PJKD3EV/e1, example 1.7
History
- 2026-10-27: add by m2/v0.3.5
ZM51W1AGRK ZM51W1AGRK
| URI | m2://inv/ZM51W1AGRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03050#Q9XA (statement). In WXBRJN9PHQ/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
ZM58KX4BX9 ZM58KX4BX9
| URI | m2://inv/ZM58KX4BX9 |
|---|---|
| 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.26017#12MC (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZM59HK3JTQ ZM59HK3JTQ
| URI | m2://inv/ZM59HK3JTQ |
|---|---|
| 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.07508#82HB (statement). In TPA3E67MKK/e1, lemma 8.3
History
- 2026-10-29: add by m2/v0.4.10
ZM5MMG8TXH ZM5MMG8TXH
| URI | m2://inv/ZM5MMG8TXH |
|---|---|
| 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#GXJM (statement). In 5BZQS1KY9A/e1, corollary 2.12
History
- 2026-10-29: add by m2/v0.4.10
Poisson–Charlier polynomial ZM5W4DTQTH
| URI | m2://inv/ZM5W4DTQTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#UQOR, Poisson–Charlier polynomial (definition)
History
- 2026-11-02: add by m2/dev
Two wrongs don't make a right ZM5YXFXYD8
| URI | m2://inv/ZM5YXFXYD8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two wrongs don't make a right, Two wrongs don't make a right (definition). Also Wikidata Q2915249
History
- 2026-11-02: add by m2/dev
Application ZM5ZCQSRFC
| URI | m2://inv/ZM5ZCQSRFC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mironenko reflecting function#LB3I, Application (example)
History
- 2026-11-02: add by m2/dev
ZM67F7DDZF ZM67F7DDZF
| URI | m2://inv/ZM67F7DDZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#22C5 (statement). In XX1J2REXY2/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
ZM6G800QXF ZM6G800QXF
| URI | m2://inv/ZM6G800QXF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#2VLR (definition). In F0D8VSM4Z4/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Uses ZM6RCPJEK1
| URI | m2://inv/ZM6RCPJEK1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Datum reference#974O, Uses (example)
History
- 2026-11-02: add by m2/dev
Richard Schoen ZM6VNTEH76
| URI | m2://inv/ZM6VNTEH76 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NVME, Richard Schoen (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MWUG, Richard Schoen (unknown)
History
- 2026-11-02: add by m2/dev
Robert Calderbank ZM6Y0P76QA
| URI | m2://inv/ZM6Y0P76QA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0P0B, Robert Calderbank (topic)
History
- 2026-11-02: add by m2/dev
Uniform OT expansion under small reweightings ZM7569G3VA
| URI | m2://inv/ZM7569G3VA |
|---|---|
| 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.07162#JBLA, Uniform OT expansion under small reweightings (statement). In MQEB9ZHQAT/e1, lemma C.8
History
- 2026-10-29: add by m2/v0.4.10
ZM756QBC77 ZM756QBC77
| URI | m2://inv/ZM756QBC77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#7ZEM (statement). In S26QVW5613/e1, proposition 5.1.1
History
- 2026-10-30: add by m2/v0.4.12
Type-Dependent Compliance ZM76T3G4S9
| URI | m2://inv/ZM76T3G4S9 |
|---|---|
| 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.09998#4DUR, Type-Dependent Compliance (statement). In AFMB05H7A6/e1, proposition 9
History
- 2026-10-29: add by m2/v0.4.10
Symmetry ZM77ZBQ3ZX
| URI | m2://inv/ZM77ZBQ3ZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-5 cubic honeycomb#YVZD, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
ZM79MFW7D4 ZM79MFW7D4
| URI | m2://inv/ZM79MFW7D4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#91E1 (statement). In TX0H26X4VX/e1, theorem 8.19
History
- 2026-10-29: add by m2/v0.4.12
Definition ZM7BX531K6
| URI | m2://inv/ZM7BX531K6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double coset#BA8I, Definition (definition)
History
- 2026-11-02: add by m2/dev
universal ZM7D336KCJ
| URI | m2://inv/ZM7D336KCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#NUBS, universal (definition)
History
- 2026-11-02: add by m2/dev
ZM7E0C0310 ZM7E0C0310
| URI | m2://inv/ZM7E0C0310 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#KRU7 (statement). In N3Z6JFEPCF/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.4.2
case analysis ZM7GF22QGK
| URI | m2://inv/ZM7GF22QGK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.1/case-analysis, case analysis (concept). In N54F33XE07, index, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
Ergoregion and ergosurface ZM7NEMH574
| URI | m2://inv/ZM7NEMH574 |
|---|---|
| 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 2609.23872#XXA5, Ergoregion and ergosurface (definition)
History
- 2026-11-02: add by m2/v0.6.17
ZM7W495S8Z ZM7W495S8Z
| URI | m2://inv/ZM7W495S8Z |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23143#F940 (problem)
History
- 2026-11-02: add by m2/v0.6.17
ZM84MJ1B49 ZM84MJ1B49
| URI | m2://inv/ZM84MJ1B49 |
|---|---|
| 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.14888#JA2L (statement). In GN3ZT9DAD9/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
List of things named after Kazimierz Kuratowski ZM874APR1X
| URI | m2://inv/ZM874APR1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Kazimierz Kuratowski, List of things named after Kazimierz Kuratowski (topic). Also Wikidata Q131400061
History
- 2026-11-02: add by m2/dev
ZM8BMK82TF ZM8BMK82TF
| URI | m2://inv/ZM8BMK82TF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#6CIV (statement). In JWNYJVH8XG/e1, proposition 3.17
History
- 2026-10-29: add by m2/v0.4.10
John Radford Young ZM8G7T0WYC
| URI | m2://inv/ZM8G7T0WYC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Radford Young, John Radford Young (topic). Also Wikidata Q4534508
History
- 2026-11-02: add by m2/dev
ZM8H7VC9CA ZM8H7VC9CA
| URI | m2://inv/ZM8H7VC9CA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/counterfactuals/minimal-change-semantics/antecedent-strengthening.tex#ex-1 (example). In PKGMM3P5QY, ex, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Basic properties ZM8QNND0H9
| URI | m2://inv/ZM8QNND0H9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic manifold#XYIZ, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
ZM8TWM9R7Y ZM8TWM9R7Y
| URI | m2://inv/ZM8TWM9R7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23559#N8D5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Open ball ZM99D9V1DX
| URI | m2://inv/ZM99D9V1DX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#YVFL, Open ball (definition)
History
- 2026-11-02: add by m2/dev
Friederich Ignaz Mautner ZM9FBPB4SK
| URI | m2://inv/ZM9FBPB4SK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friederich Ignaz Mautner, Friederich Ignaz Mautner (topic). Also Wikidata Q15810640
History
- 2026-11-02: add by m2/dev
ZM9J83SKP3 ZM9J83SKP3
| URI | m2://inv/ZM9J83SKP3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/partial-iso.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 46.5
History
- 2026-11-01: add by m2/v0.6.13
Axis of rotation ZM9PP2813Z
| URI | m2://inv/ZM9PP2813Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#OGW4, Axis of rotation (definition)
History
- 2026-11-02: add by m2/dev
ZM9Q13VK85 ZM9Q13VK85
| URI | m2://inv/ZM9Q13VK85 |
|---|---|
| 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.25038#ENAM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fast marching method ZM9RDXZ57T
| URI | m2://inv/ZM9RDXZ57T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#SEN1, Fast marching method (definition)
History
- 2026-11-02: add by m2/dev
linear function ZMA2NPWH52
| URI | m2://inv/ZMA2NPWH52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188597, linear function (unknown). Also MathWorld LinearFunction
- wikipedia: Wikipedia Linear function (calculus), Linear function (definition). Also Wikidata Q188597
History
- 2026-10-26: add by m2/dev
ZMA6A9C5KJ ZMA6A9C5KJ
| URI | m2://inv/ZMA6A9C5KJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#DX9W (definition)
History
- 2026-11-02: add by m2/v0.6.18
ZMA91C3FP0 ZMA91C3FP0
| URI | m2://inv/ZMA91C3FP0 |
|---|---|
| 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.38250#ZSLR (statement). In 5KDV984W48/e1, theorem 15
History
- 2026-10-30: add by m2/v0.4.12
Lagrange–Bürmann formula ZMAEEHT66Q
| URI | m2://inv/ZMAEEHT66Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange inversion theorem#UFEH, Lagrange–Bürmann formula (statement)
History
- 2026-11-02: add by m2/dev
Characterizing $\L^0$ convergence ZMAFNCMY60
| URI | m2://inv/ZMAFNCMY60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#QYL1, Characterizing $\L^0$ convergence (statement). In KM3Q791JY0/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.4.2
ZMAJNMA1TY ZMAJNMA1TY
| URI | m2://inv/ZMAJNMA1TY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#63KS (statement). In S26QVW5613/e1, corollary 5.2.8
History
- 2026-10-30: add by m2/v0.4.12
ZMAK1SGJV1 ZMAK1SGJV1
| URI | m2://inv/ZMAK1SGJV1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#proof-7 (proof). In E59CDZA4DP, proof, section 6.3.1
History
- 2026-11-01: add by m2/v0.6.13
ZMAN9PRRGJ ZMAN9PRRGJ
| URI | m2://inv/ZMAN9PRRGJ |
|---|---|
| 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.17585#4D3F (statement). In FBWDPA01XY/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
ZMASEE4EMQ ZMASEE4EMQ
| URI | m2://inv/ZMASEE4EMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14837#AH8A (statement). In J4P6HXMJCH/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Path-connectedness of $S_F^t (x_0)$ ZMAXVDXJEF
| URI | m2://inv/ZMAXVDXJEF |
|---|---|
| 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 2203.10220#FGIB, Path-connectedness of $S_F^t (x_0)$ (statement). In FX2SD1GFHT/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Schramm–Loewner evolution ZMAYGCP3D4
| URI | m2://inv/ZMAYGCP3D4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DI5U, Schramm–Loewner evolution (definition)
History
- 2026-11-02: add by m2/dev
ZMB1GG97ZD ZMB1GG97ZD
| URI | m2://inv/ZMB1GG97ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#80P7 (statement). In CY1FE8W1ZW/e1, lemma 0.17
History
- 2026-10-27: add by m2/v0.3.5
Mostowski ZMB2MCSTKC
| URI | m2://inv/ZMB2MCSTKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#OR0A, Mostowski (definition)
History
- 2026-11-02: add by m2/dev
Generalization ZMB5KZK59E
| URI | m2://inv/ZMB5KZK59E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein reciprocity#JOBF, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Beck's theorem ZMB66N5DV2
| URI | m2://inv/ZMB66N5DV2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JSN8, Beck's theorem (statement)
History
- 2026-11-02: add by m2/dev
R ZMB6FB8XYY
| URI | m2://inv/ZMB6FB8XYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#F7WU, R (definition)
History
- 2026-11-02: add by m2/dev
ZMBC9HT3WQ ZMBC9HT3WQ
| URI | m2://inv/ZMBC9HT3WQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.01036#0KAH (example). In 6VX2G6RTH7/e1, example 3.3
History
- 2026-10-27: add by m2/v0.3.5
The template label ZMBE7TZQN0
| URI | m2://inv/ZMBE7TZQN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-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.18512#LGSR, The template label (statement). In 11JNM66Z09/e1, corollary 13.10
History
- 2026-10-28: add by m2/v0.4.2
Separated stationary-memory theorem ZMBFFKVBS2
| URI | m2://inv/ZMBFFKVBS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#N335, Separated stationary-memory theorem (statement). In 1QSV7EQE3T/e1, theorem S17
History
- 2026-10-28: add by m2/v0.4.2
ZMBSPQYC1F ZMBSPQYC1F
| URI | m2://inv/ZMBSPQYC1F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:finite-cover-lebesgue-number (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
ZMBT579QH0 ZMBT579QH0
| URI | m2://inv/ZMBT579QH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#K3F9 (statement). In 4WPYBTARS2/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
CPE supplies \textup{(F ZMCAJRSVTB
| URI | m2://inv/ZMCAJRSVTB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27961#DZSO, CPE supplies \textup{(F (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZMCCNE2J4J ZMCCNE2J4J
| URI | m2://inv/ZMCCNE2J4J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#LXED (definition). In X38P26DK6S/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Scanline rendering ZMCN669E0E
| URI | m2://inv/ZMCN669E0E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#ATEQ, Scanline rendering (unknown)
History
- 2026-11-02: add by m2/dev
Expectiminimax ZMCQ4MHXX7
| URI | m2://inv/ZMCQ4MHXX7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expectiminimax, Expectiminimax (definition). Also Wikidata Q1384259
History
- 2026-11-02: add by m2/dev
ZMCZPRK25Y ZMCZPRK25Y
| URI | m2://inv/ZMCZPRK25Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 83.2
History
- 2026-11-01: add by m2/v0.6.13
ZMDATW5BAF ZMDATW5BAF
| URI | m2://inv/ZMDATW5BAF |
|---|---|
| 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.19326#C6S0 (statement). In YFWDHG947Q/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
ZMDC9WJPQF ZMDC9WJPQF
| URI | m2://inv/ZMDC9WJPQF |
|---|---|
| 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.27699#VBCZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Geometric discrepancy ZMDD43DNBP
| URI | m2://inv/ZMDD43DNBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric discrepancy, Geometric discrepancy (definition). Also Wikidata Q129742638
History
- 2026-11-02: add by m2/dev
Bogomol'nyi–Prasad–Sommerfield bound ZMDR1V52N7
| URI | m2://inv/ZMDR1V52N7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bogomol'nyi–Prasad–Sommerfield bound, Bogomol'nyi–Prasad–Sommerfield bound (definition). Also Wikidata Q4937704
History
- 2026-11-02: add by m2/dev
Theorem ZMDRD3FMZD
| URI | m2://inv/ZMDRD3FMZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Price of anarchy#L5AK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
ZMDXJWJAXB ZMDXJWJAXB
| URI | m2://inv/ZMDXJWJAXB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-62 (exercise). In E9HS8K3A52, exercise, section 5.5.3
History
- 2026-11-01: add by m2/v0.6.13
Computation ZME0R2ZJ61
| URI | m2://inv/ZME0R2ZJ61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound probability distribution#FOKT, Computation (definition)
History
- 2026-11-02: add by m2/dev
normal number ZMECR89S5Q
| URI | m2://inv/ZMECR89S5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Normal number C98T2T5FJS |
Mentions
- wikidata: Wikidata Q902708, normal number (unknown). Also MathWorld AbsolutelyNormal, MathWorld NormalNumber
- wikipedia: Wikipedia Normal number, Normal number (definition). Also Wikidata Q902708
History
- 2026-10-26: add by m2/dev
ZMESE5VPQV ZMESE5VPQV
| URI | m2://inv/ZMESE5VPQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.30285#134N (statement). In YMY0NNSM27/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.6
Group ring ZMEZQNG0TR
| URI | m2://inv/ZMEZQNG0TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#BU2J, Group ring (definition)
History
- 2026-11-02: add by m2/dev
Definitions ZMF0ANQGTJ
| URI | m2://inv/ZMF0ANQGTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex curve#DYAB, Definitions (definition)
History
- 2026-11-02: add by m2/dev
ZMF3N4JJ4Y ZMF3N4JJ4Y
| URI | m2://inv/ZMF3N4JJ4Y |
|---|---|
| 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 2512.19872#3R5J (statement). In DG9TF5X0EG/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.0
Rank of a tensor ZMF3NWN6MB
| URI | m2://inv/ZMF3NWN6MB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor (intrinsic definition)#W0LN, Rank of a tensor (unknown)
History
- 2026-11-02: add by m2/dev
Hypernetted-chain equation ZMF65N5YG1
| URI | m2://inv/ZMF65N5YG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypernetted-chain equation, Hypernetted-chain equation (definition). Also Wikidata Q5958347
History
- 2026-11-02: add by m2/dev
Regular and arithmetic replicas ZMFD58YZBY
| URI | m2://inv/ZMFD58YZBY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28898#5FGJ, Regular and arithmetic replicas (definition)
History
- 2026-11-01: add by m2/v0.6.15
Quaternionic polytope ZMFDRWCB2E
| URI | m2://inv/ZMFDRWCB2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternionic polytope, Quaternionic polytope (definition). Also Wikidata Q25104493
History
- 2026-11-02: add by m2/dev
ZMFEPY1GWB ZMFEPY1GWB
| URI | m2://inv/ZMFEPY1GWB |
|---|---|
| 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.35320#ZE8I (statement). In QJ6AEW93RB/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
ZMFG33WJN0 ZMFG33WJN0
| URI | m2://inv/ZMFG33WJN0 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.4.2
Definition ZMFGXFRZVE
| URI | m2://inv/ZMFGXFRZVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complexification (Lie group)#ZP8Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
geodesy ZMFH9RQ57J
| URI | m2://inv/ZMFH9RQ57J |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 86A30 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131089, geodesy (topic). Also EoM Geodesy,_mathematical_problems_in, ProofWiki Definition:Geodesy
- wikipedia: Wikipedia Geodesy, Geodesy (definition). Also Wikidata Q131089
History
- 2026-10-26: add by m2/dev
inverse matrix ZMFK0KVQRA
| URI | m2://inv/ZMFK0KVQRA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17123743, inverse matrix (unknown). Also EoM Inverse_matrix, MathWorld MatrixInverse
History
- 2026-10-26: add by m2/dev
Andrzej Grzegorczyk ZMFPMKZQ07
| URI | m2://inv/ZMFPMKZQ07 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrzej Grzegorczyk, Andrzej Grzegorczyk (topic). Also Wikidata Q4759606
History
- 2026-11-02: add by m2/dev
ZMFY3P9YF7 ZMFY3P9YF7
| URI | m2://inv/ZMFY3P9YF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#1SXN (statement). In 43TBS9P2PX/e1, fact 2.6
History
- 2026-10-28: add by m2/v0.4.2
ZMG23V5A2H ZMG23V5A2H
| URI | m2://inv/ZMG23V5A2H |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39169#W58O (problem). In ANHWXYPQFX/e1, problem 4.13
History
- 2026-10-30: add by m2/v0.4.12
Fractal expressionism ZMG6E9JX1X
| URI | m2://inv/ZMG6E9JX1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal expressionism, Fractal expressionism (definition). Also Wikidata Q28407435
History
- 2026-11-02: add by m2/dev
ZMG97MKBAV ZMG97MKBAV
| URI | m2://inv/ZMG97MKBAV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise:intervaldef (exercise). In E59CDZA4DP, exercise, section 7.4.1
History
- 2026-11-01: add by m2/v0.6.13
ZMGGST8MZC ZMGGST8MZC
| URI | m2://inv/ZMGGST8MZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4946#MQFV (statement). In R4ZM6Q4SHH/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
ZMH0G4YBQE ZMH0G4YBQE
| URI | m2://inv/ZMH0G4YBQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12612#VFAH (statement). In 8A0VZV8PBN/e1, corollary 6.1
History
- 2026-10-28: add by m2/v0.4.2
Properties ZMH0QYQJPF
| URI | m2://inv/ZMH0QYQJPF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially ordered space#6J4H, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZMH52K1R76 ZMH52K1R76
| URI | m2://inv/ZMH52K1R76 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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 2411.16022#7GMM (definition). In QG9ATXTKJ6/e1, definition 2.20
History
- 2026-10-27: add by m2/v0.3.5
P-adic Lie group ZMHCQW050E
| URI | m2://inv/ZMHCQW050E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie group#4DZX, P-adic Lie group (unknown)
History
- 2026-11-02: add by m2/dev
ZMHDB6Q67Y ZMHDB6Q67Y
| URI | m2://inv/ZMHDB6Q67Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14458#UH35 (definition). In WJ76MVYAZQ/e1, definition 2.13
History
- 2026-10-28: add by m2/v0.4.2
ZMHDC1A2DM ZMHDC1A2DM
| URI | m2://inv/ZMHDC1A2DM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#EE0V (statement). In 13H5BTAXHF/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.5
ZMHDNP6SHM ZMHDNP6SHM
| URI | m2://inv/ZMHDNP6SHM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-14 (exercise). In E59CDZA4DP, exercise, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
effective ZMHDSAZR25
| URI | m2://inv/ZMHDSAZR25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#FC8W, effective (definition)
History
- 2026-11-02: add by m2/dev
hyperbolic tangent ZMHEB0V48V
| URI | m2://inv/ZMHEB0V48V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Hyperbolic tangent 0MWYQTZ07Z |
Mentions
- wikidata: Wikidata Q1274703, hyperbolic tangent (definition). Also MathWorld HyperbolicTangent, nLab hyperbolic tangent, ProofWiki Definition:Hyperbolic_Tangent
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Jamovi ZMJ2N0G02P
| URI | m2://inv/ZMJ2N0G02P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#TOR7, Jamovi (definition)
History
- 2026-11-02: add by m2/dev
ZMJ9AF4480 ZMJ9AF4480
| URI | m2://inv/ZMJ9AF4480 |
|---|---|
| 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.37439#071L (statement). In 8K7D3FKJDT/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
first upper bound ZMJA35WPCC
| URI | m2://inv/ZMJA35WPCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14050#ZCOO, first upper bound (statement). In RENT22YXW3/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
ZMJEFET70J ZMJEFET70J
| URI | m2://inv/ZMJEFET70J |
|---|---|
| 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.05428#9ZBA (statement). In 31MQPCA8SH/e1, theorem C.2
History
- 2026-10-29: add by m2/v0.4.10
Uniform inverse for the auxiliary Laplacian ZMJR5XCXWV
| URI | m2://inv/ZMJR5XCXWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#NXZ3, Uniform inverse for the auxiliary Laplacian (statement). In E31CZYM2H8/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Constructions ZMJX5KAPBE
| URI | m2://inv/ZMJX5KAPBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square#IX6J, Constructions (definition)
History
- 2026-11-02: add by m2/dev
quasideterminant ZMJZXR1M8G
| URI | m2://inv/ZMJZXR1M8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7269494, quasideterminant (unknown). Also nLab quasideterminant
- wikipedia: Wikipedia Quasideterminant, Quasideterminant (definition). Also Wikidata Q7269494
History
- 2026-10-26: add by m2/dev
ZMK1KEAEVQ ZMK1KEAEVQ
| URI | m2://inv/ZMK1KEAEVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25915#VF64 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZMK5VMJ7SQ ZMK5VMJ7SQ
| URI | m2://inv/ZMK5VMJ7SQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#X49H (statement). In GXHKRV5BPY/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
ZMK7K820ZD ZMK7K820ZD
| URI | m2://inv/ZMK7K820ZD |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#VW8H (problem). In 29D4TTE3J2/e1, problem 2.9
History
- 2026-10-27: add by m2/v0.4.2
Bayesian statistics ZMK7M89HK4
| URI | m2://inv/ZMK7M89HK4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#RKH6, Bayesian statistics (topic)
- wikipedia: Wikipedia List of statistics articles#EX0I, Bayesian statistics (topic)
History
- 2026-11-02: add by m2/dev
ZMKCTZDPHK ZMKCTZDPHK
| URI | m2://inv/ZMKCTZDPHK |
|---|---|
| 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 math/9201244#EH1G (definition). In 7D3HCN21MK/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
minimum, absolute ZMKCX6115C
| URI | m2://inv/ZMKCX6115C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.3.1/minimum-absolute, minimum, absolute (concept). In 907G4C4EJ1, index, section 3.3.1
History
- 2026-11-01: add by m2/v0.6.13
Kinetic solution without prescribed initial data ZMKDDWZ6PH
| URI | m2://inv/ZMKDDWZ6PH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20735#32YM, Kinetic solution without prescribed initial data (definition)
History
- 2026-11-02: add by m2/v0.6.18
ZMKF0EB9H7 ZMKF0EB9H7
| URI | m2://inv/ZMKF0EB9H7 |
|---|---|
| Kind | problem |
| 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.17476#DTG8 (problem). In 6HXD74FA4S/e1, problem 9.6
History
- 2026-10-28: add by m2/v0.4.2
ZMKMJ3PZ8E ZMKMJ3PZ8E
| URI | m2://inv/ZMKMJ3PZ8E |
|---|---|
| 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.27911#2KPQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robin Cockett ZMKR8YTN6A
| URI | m2://inv/ZMKR8YTN6A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93944803, Robin Cockett (unknown). Also nLab Robin Cockett
- wikipedia: Wikipedia Robin Cockett, Robin Cockett (topic). Also Wikidata Q93944803
History
- 2026-10-26: add by m2/dev
Hans Beck ZMKVJP84S9
| URI | m2://inv/ZMKVJP84S9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Beck (mathematician), Hans Beck (topic). Also Wikidata Q19273471
History
- 2026-11-02: add by m2/dev
Definition ZMKW3NKASB
| URI | m2://inv/ZMKW3NKASB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffeomorphism#UIWQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZMKZ9XHH9J ZMKZ9XHH9J
| URI | m2://inv/ZMKZ9XHH9J |
|---|---|
| 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#ZWJU (statement). In V980ZMH759/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.0
Coherent duality ZMM0BB3V2Y
| URI | m2://inv/ZMM0BB3V2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent duality, Coherent duality (definition). Also Wikidata Q5141352
History
- 2026-11-02: add by m2/dev
Athanasius Treweek ZMM1473EPK
| URI | m2://inv/ZMM1473EPK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Athanasius Treweek, Athanasius Treweek (topic). Also Wikidata Q4813254
History
- 2026-11-02: add by m2/dev
Fjärdhundra ZMM36NBANN
| URI | m2://inv/ZMM36NBANN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Q58T, Fjärdhundra (unknown)
History
- 2026-11-02: add by m2/dev
(ε, δ)-definition of limit ZMMC815Q5W
| URI | m2://inv/ZMMC815Q5W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1042034, (ε, δ)-definition of limit (unknown). Also nLab 엡실론-델타 논법
History
- 2026-10-26: add by m2/dev
The Frontiers of Space ZMMM96K99P
| URI | m2://inv/ZMMM96K99P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Story of Maths#STZR, The Frontiers of Space (unknown)
History
- 2026-11-02: add by m2/dev
normal form ZMMS97B9BX
| URI | m2://inv/ZMMS97B9BX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.4/normal-form, normal form (concept). In N54F33XE07, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
James Alexander Shohat ZMMSJCN86V
| URI | m2://inv/ZMMSJCN86V |
|---|---|
| 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#951B, James Alexander Shohat (topic)
History
- 2026-11-02: add by m2/dev
ZMN0AMSEGR ZMN0AMSEGR
| URI | m2://inv/ZMN0AMSEGR |
|---|---|
| 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.35030#N3UZ (statement). In DPT4P2BTEW/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
ADMM ZMN89EW8PC
| URI | m2://inv/ZMN89EW8PC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented Lagrangian method#LM5H, ADMM (unknown)
History
- 2026-11-02: add by m2/dev
Definition ZMNF0NY4D3
| URI | m2://inv/ZMNF0NY4D3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian vector field#JMLF, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZMNJQ63X4G ZMNJQ63X4G
| URI | m2://inv/ZMNJQ63X4G |
|---|---|
| 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.01276#JUHH (statement). In 7JJPPMS2DN/e1, corollary 7.5
History
- 2026-10-29: add by m2/v0.4.12
ZMNMJY35BA ZMNMJY35BA
| URI | m2://inv/ZMNMJY35BA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-33 (exercise). In E59CDZA4DP, exercise, section 1.4.4
History
- 2026-11-01: add by m2/v0.6.13
Tree Reconstruction Accuracy/Robust Tree Reconstruction Accuracy ZMNWHDATXD
| URI | m2://inv/ZMNWHDATXD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33263#6B4H, Tree Reconstruction Accuracy/Robust Tree Reconstruction Accuracy (definition). In 6S5EH3388Z/e1, definition 1.4
History
- 2026-10-30: add by m2/v0.4.12
Alternated hexagonal tiling honeycomb ZMNYNV104M
| URI | m2://inv/ZMNYNV104M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternated hexagonal tiling honeycomb, Alternated hexagonal tiling honeycomb (definition). Also Wikidata Q16002695
History
- 2026-11-02: add by m2/dev
Stata Journal ZMNYTN1V0X
| URI | m2://inv/ZMNYTN1V0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#0T5B, Stata Journal (definition)
History
- 2026-11-02: add by m2/dev
Axioms using a ternary relation ZMP2GGATSC
| URI | m2://inv/ZMP2GGATSC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective geometry#NEEN, Axioms using a ternary relation (statement)
History
- 2026-11-02: add by m2/dev
Khujandi ZMP4QF8DJW
| URI | m2://inv/ZMP4QF8DJW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#RW2P, Khujandi (unknown)
History
- 2026-11-02: add by m2/dev
Definition ZMP9WQVJQF
| URI | m2://inv/ZMP9WQVJQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total survey error#Z5ML, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZMPCBTP35A ZMPCBTP35A
| URI | m2://inv/ZMPCBTP35A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39845#LI8T (statement). In RK8DFVGQP1/e1, proposition 12
History
- 2026-10-30: add by m2/v0.4.12
Jevons, William Stanley ZMPCJBX91Y
| URI | m2://inv/ZMPCJBX91Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5MT2, Jevons, William Stanley (topic)
History
- 2026-11-02: add by m2/dev
Two-point $O$-transfer ZMPS7SF6KN
| URI | m2://inv/ZMPS7SF6KN |
|---|---|
| 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 2609.37706#O5DK, Two-point $O$-transfer (statement). In 6YY27KRJFN/e1, lemma 4.46
History
- 2026-10-30: add by m2/v0.4.12
UK Data Archive ZMPT9GPENY
| URI | m2://inv/ZMPT9GPENY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UK Data Archive, UK Data Archive (definition). Also Wikidata Q17039301
History
- 2026-11-02: add by m2/dev
Heesch's problem ZMPY911D3T
| URI | m2://inv/ZMPY911D3T |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17022147, Heesch's problem (problem). Also MathWorld HeeschNumber, MathWorld HeeschsProblem
- wikipedia: Wikipedia Heesch's problem, Heesch's problem (conjecture). Also Wikidata Q17022147
History
- 2026-10-26: add by m2/dev
ZMPYQWBNSS ZMPYQWBNSS
| URI | m2://inv/ZMPYQWBNSS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-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 2610.11545#UAWT (example). In VN084GGZGK/e1, example 2.19
History
- 2026-10-28: add by m2/v0.4.3
Ekedahl completion ZMPZV2BB9N
| URI | m2://inv/ZMPZV2BB9N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#VVEY, Ekedahl completion (definition). In S26QVW5613/e1, definition 0.0.3
History
- 2026-10-30: add by m2/v0.4.12
ZMQ4H53YP1 ZMQ4H53YP1
| URI | m2://inv/ZMQ4H53YP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#5RQ5 (statement). In 47WN78VDDF/e1, lemma 3.15
History
- 2026-10-30: add by m2/v0.4.12
ideal number ZMQFYPQ0J8
| URI | m2://inv/ZMQFYPQ0J8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1137087, ideal number (concept). Also EoM Ideal_number, MathWorld IdealNumber
- wikipedia: Wikipedia Ideal number, Ideal number (definition). Also Wikidata Q1137087
History
- 2026-10-26: add by m2/dev
ZMQG6GNYBK ZMQG6GNYBK
| URI | m2://inv/ZMQG6GNYBK |
|---|---|
| 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.20480#54QA (statement). In BK4359JSC3/e1, lemma 7.10
History
- 2026-10-27: add by m2/v0.4.2
ZMQMY5PA9Z ZMQMY5PA9Z
| URI | m2://inv/ZMQMY5PA9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#BVQA (statement). In 5E9G06XJKC/e1, lemma F.11
History
- 2026-10-28: add by m2/v0.4.2
ZMQPGBJGXC ZMQPGBJGXC
| URI | m2://inv/ZMQPGBJGXC |
|---|---|
| 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 2409.17318#UILA (statement). In 2P63T9MJ4P/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
ZMQVS7WHD5 ZMQVS7WHD5
| URI | m2://inv/ZMQVS7WHD5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03864#99E0 (definition). In 41GB65CTBJ/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
Average treatment effect ZMR63DKV2X
| URI | m2://inv/ZMR63DKV2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Average treatment effect, Average treatment effect (definition). Also Wikidata Q4828276
History
- 2026-11-02: add by m2/dev
Termwise Calibration Error ZMR77066XT
| URI | m2://inv/ZMR77066XT |
|---|---|
| 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.03769#2XU0, Termwise Calibration Error (statement). In 35DNCV14M4/e1, corollary B.7
History
- 2026-10-29: add by m2/v0.4.12
ZMRP625APQ ZMRP625APQ
| URI | m2://inv/ZMRP625APQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 1209.3562#NHMK (statement). In KZH1DCS18C/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.3.5
ZMRQETZMHS ZMRQETZMHS
| URI | m2://inv/ZMRQETZMHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#3VMN (statement). In X3RFXWN6FW/e1, lemma A.3
History
- 2026-10-27: add by m2/v0.3.6
ZMRS5QAYM7 ZMRS5QAYM7
| URI | m2://inv/ZMRS5QAYM7 |
|---|---|
| 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.09390#N9NS (statement). In 7SSKW778T8/e1, proposition 2.18
History
- 2026-10-29: add by m2/v0.4.10
Field transfer ZMS2A4YGZM
| URI | m2://inv/ZMS2A4YGZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12456#1TPH, Field transfer (statement). In 5XPM4E03W6/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Bus encryption ZMS91DFMFJ
| URI | m2://inv/ZMS91DFMFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bus encryption, Bus encryption (definition). Also Wikidata Q5001215
History
- 2026-11-02: add by m2/dev
ZMSC9DY446 ZMSC9DY446
| URI | m2://inv/ZMSC9DY446 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#WW5E (definition). In WAXS6FS388/e1, definition 2.12
History
- 2026-10-30: add by m2/v0.4.12
ZMSE8CMKYQ ZMSE8CMKYQ
| URI | m2://inv/ZMSE8CMKYQ |
|---|---|
| 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 2602.19452#PQD5 (statement). In 3GF75S0XJ0/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.4.0
ZMSECX8GDX ZMSECX8GDX
| URI | m2://inv/ZMSECX8GDX |
|---|---|
| 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 2407.08976#F7UE (statement). In ZVNM9X4NNG/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
ZMSJVC37PB ZMSJVC37PB
| URI | m2://inv/ZMSJVC37PB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#8EUR (statement). In PRVQPSBVHK/e1, lemma 23
History
- 2026-10-29: add by m2/v0.4.10
ZMSMTQ997H ZMSMTQ997H
| URI | m2://inv/ZMSMTQ997H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#IBMU (statement). In XXN6KKXPYF/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Hitchin–Thorpe inequality ZMSV8JGJH7
| URI | m2://inv/ZMSV8JGJH7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#QZJ3, Hitchin–Thorpe inequality (statement)
History
- 2026-11-02: add by m2/dev
Pragmatic mapping ZMT1AT25Y3
| URI | m2://inv/ZMT1AT25Y3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pragmatic mapping, Pragmatic mapping (definition). Also Wikidata Q7237637
History
- 2026-11-02: add by m2/dev
ZMT2SHS91M ZMT2SHS91M
| URI | m2://inv/ZMT2SHS91M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#VJ04 (statement). In MVXZWHKEX8/e1, theorem 10.2
History
- 2026-10-29: add by m2/v0.4.10
Murat's interpolation lemma ZMT5XY6822
| URI | m2://inv/ZMT5XY6822 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20735#ODOV, Murat's interpolation lemma (statement)
History
- 2026-11-02: add by m2/v0.6.18
Farrukh Mukhamedov ZMTBPCCQDB
| URI | m2://inv/ZMTBPCCQDB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farrukh Mukhamedov, Farrukh Mukhamedov (topic). Also Wikidata Q102354695
History
- 2026-11-02: add by m2/dev
Example ZMTEF60YK1
| URI | m2://inv/ZMTEF60YK1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chern class#LVPU, Example (example)
History
- 2026-11-02: add by m2/dev
Leibniz formula for determinants ZMTGZQ0BDD
| URI | m2://inv/ZMTGZQ0BDD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leibniz formula for determinants, Leibniz formula for determinants (statement). Also Wikidata Q538557
History
- 2026-11-02: add by m2/dev
Positive kernels on the isoparametric branch ZMTJVSCEEM
| URI | m2://inv/ZMTJVSCEEM |
|---|---|
| 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.20197#I5A8, Positive kernels on the isoparametric branch (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties ZMTMW9XZK1
| URI | m2://inv/ZMTMW9XZK1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information distance#IOOA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Jin Yuelin ZMTS69TYB1
| URI | m2://inv/ZMTS69TYB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jin Yuelin, Jin Yuelin (topic). Also Wikidata Q329906
History
- 2026-11-02: add by m2/dev
NUS Faculty of Dentistry ZMTYG2DYW6
| URI | m2://inv/ZMTYG2DYW6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National University of Singapore#HOWN, NUS Faculty of Dentistry (unknown)
History
- 2026-11-02: add by m2/dev
ZMV1BBZ7DM ZMV1BBZ7DM
| URI | m2://inv/ZMV1BBZ7DM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#Z22T (statement). In HGE2NCQW29/e1, theorem 7.3
History
- 2026-10-27: add by m2/v0.3.5
A Gaussian--Cauchy mixture ZMV23MYK26
| URI | m2://inv/ZMV23MYK26 |
|---|---|
| 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.01391#PQW9, A Gaussian--Cauchy mixture (statement). In MAZNVJX5YK/e1, corollary 21
History
- 2026-10-29: add by m2/v0.4.12
ZMV3C1S68H ZMV3C1S68H
| URI | m2://inv/ZMV3C1S68H |
|---|---|
| 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.36412#LM1H (statement). In 6HKGGCMBCK/e1, lemma 8.5
History
- 2026-10-30: add by m2/v0.4.12
Applications ZMV3F3Q49D
| URI | m2://inv/ZMV3F3Q49D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrothermodynamics#23WR, Applications (example)
History
- 2026-11-02: add by m2/dev
Siméon Denis Poisson ZMV50H73VR
| URI | m2://inv/ZMV50H73VR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q190772, Siméon Denis Poisson (unknown). Also EoM Poisson,_Simeon-Denis
- wikipedia: Wikipedia Siméon Denis Poisson, Siméon Denis Poisson (topic). Also Wikidata Q190772
History
- 2026-10-26: add by m2/dev
ZMV7N8PE9F ZMV7N8PE9F
| URI | m2://inv/ZMV7N8PE9F |
|---|---|
| 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.27788#WZ69 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZMV8JPCHFC ZMV8JPCHFC
| URI | m2://inv/ZMV8JPCHFC |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.18223#QH6Y (problem). In ZRXE7EJA93/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.5
Courant bracket ZMVHDKSGYR
| URI | m2://inv/ZMVHDKSGYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant bracket, Courant bracket (definition). Also Wikidata Q5178095
History
- 2026-11-02: add by m2/dev
ZMVMHKKPQ0 ZMVMHKKPQ0
| URI | m2://inv/ZMVMHKKPQ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#6QM5 (definition). In W4TYN4PGE8/e1, definition 2.41
History
- 2026-10-27: add by m2/v0.3.5
ZMVW9WAKWC ZMVW9WAKWC
| URI | m2://inv/ZMVW9WAKWC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#5GOV (example). In 9DQKY7KGE8/e1, example 3.11
History
- 2026-10-27: add by m2/v0.3.5
Edge ZMVX20NRGH
| URI | m2://inv/ZMVX20NRGH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#RIER, Edge (object)
History
- 2026-11-02: add by m2/dev
Walter Burley ZMW6B7PGXS
| URI | m2://inv/ZMW6B7PGXS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#DDQU, Walter Burley (topic)
History
- 2026-11-02: add by m2/dev
List of members of the National Academy of Sciences ZMW7HQJHGW
| URI | m2://inv/ZMW7HQJHGW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of members of the National Academy of Sciences (applied mathematical sciences), List of members of the National Academy of Sciences (topic). Also Wikidata Q6628159
History
- 2026-11-02: add by m2/dev
ZMW81ACSRY ZMW81ACSRY
| URI | m2://inv/ZMW81ACSRY |
|---|---|
| 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.30067#PH32 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZMWE20553D ZMWE20553D
| URI | m2://inv/ZMWE20553D |
|---|---|
| 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.21899#BBW5 (statement). In YRN5P43B2N/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
Definition ZMWP8KATFF
| URI | m2://inv/ZMWP8KATFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random measure#USE4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition ZMWTDJQX10
| URI | m2://inv/ZMWTDJQX10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantile-parameterized distribution#GESG, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZMXDP7FS1R ZMXDP7FS1R
| URI | m2://inv/ZMXDP7FS1R |
|---|---|
| Kind | example |
| 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 2501.00810#9PV1 (example). In H0MY884WNF/e1, example Example
History
- 2026-10-27: add by m2/v0.3.6
Richard Schroeppel ZMXGCS1NMH
| URI | m2://inv/ZMXGCS1NMH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#S3NU, Richard Schroeppel (topic)
History
- 2026-11-02: add by m2/dev
Null result ZMXMAC5YXV
| URI | m2://inv/ZMXMAC5YXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F09A, Null result (definition)
History
- 2026-11-02: add by m2/dev
ZMXTSNZK9C ZMXTSNZK9C
| URI | m2://inv/ZMXTSNZK9C |
|---|---|
| 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.33406#X7L2 (statement). In B23TX8G4E4/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Definition ZMXVRXYZRW
| URI | m2://inv/ZMXVRXYZRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function#YPH1, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZMY201767B ZMY201767B
| URI | m2://inv/ZMY201767B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/filtrations-def.tex#defn:filtration (definition). In PKGMM3P5QY, defn, section 51.10
History
- 2026-11-01: add by m2/v0.6.13
Lemmas $3.7$ and $3.8$ ZMYE61W7ES
| URI | m2://inv/ZMYE61W7ES |
|---|---|
| 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.25656#RGAA, Lemmas $3.7$ and $3.8$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Projection equivalence ZMYKE90SHW
| URI | m2://inv/ZMYKE90SHW |
|---|---|
| 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.17906#304T, Projection equivalence (statement). In C4D261GDVP/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Derivation of exradii formula ZMYVJQ4J1X
| URI | m2://inv/ZMYVJQ4J1X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incircle and excircles#JCDU, Derivation of exradii formula (statement)
History
- 2026-11-02: add by m2/dev
Solomon Kullback ZMYXBF682P
| URI | m2://inv/ZMYXBF682P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solomon Kullback, Solomon Kullback (topic). Also Wikidata Q896641
History
- 2026-11-02: add by m2/dev
Hasse–Davenport relation ZMYXWAR5PD
| URI | m2://inv/ZMYXWAR5PD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16997822, Hasse–Davenport relation (concept). Also MathWorld Hasse-DavenportRelation
- wikipedia: Wikipedia Hasse–Davenport relation, Hasse–Davenport relation (definition). Also Wikidata Q16997822
History
- 2026-10-26: add by m2/dev
Toponogov's theorem ZMYYWZQTBV
| URI | m2://inv/ZMYYWZQTBV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7825061, Toponogov's theorem (statement). Also Wikidata Q7825061
- thousand_plus: thousand_plus Q7825061, Toponogov's theorem (statement). Also Wikidata Q7825061, Wikipedia Toponogov's theorem
- wikipedia: Wikipedia Toponogov's theorem, Toponogov's theorem (statement). Also Wikidata Q7825061
History
- 2026-10-26: add by m2/dev
Subroutine conformity ZMZ649W25J
| URI | m2://inv/ZMZ649W25J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38132#5OK3, Subroutine conformity (statement). In K6CP8GP51H/e1, lemma 12
History
- 2026-10-30: add by m2/v0.4.12
astrolabe ZMZC8XC17E
| URI | m2://inv/ZMZC8XC17E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q164992, astrolabe (definition). Also ProofWiki Definition:Astrolabe
- wikipedia: Wikipedia Astrolabe, Astrolabe (definition). Also Wikidata Q164992
History
- 2026-10-26: add by m2/dev
ZMZNE43H2Y ZMZNE43H2Y
| URI | m2://inv/ZMZNE43H2Y |
|---|---|
| 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.10511#1BLS (statement). In BTX64QG716/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.10
Lev D. Landau ZMZSCX37KC
| URI | m2://inv/ZMZSCX37KC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#2U1M, Lev D. Landau (unknown)
History
- 2026-11-02: add by m2/dev
ZMZSZ6N80X ZMZSZ6N80X
| URI | m2://inv/ZMZSZ6N80X |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37778#2XI3 (conjecture). In V399QB419P/e1, conjecture 4.5
History
- 2026-10-30: add by m2/v0.4.12
$C^{2,\theta}$ estimates ZMZT7SQ3HR
| URI | m2://inv/ZMZT7SQ3HR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#Z8FW, $C^{2,\theta}$ estimates (statement). In RYWAX33Z51/e1, proposition 7.1
History
- 2026-10-31: add by m2/v0.5.6
ZMZV2RVP0A ZMZV2RVP0A
| URI | m2://inv/ZMZV2RVP0A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01924#GBG5 (definition). In CB89152EQW/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
Extensions ZMZXGHF1Z1
| URI | m2://inv/ZMZXGHF1Z1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldberg–Coxeter construction#BVMK, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Tests of the strong equivalence principle ZMZZ1EWZ31
| URI | m2://inv/ZMZZ1EWZ31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivalence principle#SXWQ, Tests of the strong equivalence principle (statement)
History
- 2026-11-02: add by m2/dev