Inventory rows WP
The cards of the rows of the inventory whose ids start with WP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Mauro Picone WP071MAAFR
| URI | m2://inv/WP071MAAFR |
|---|---|
| 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#0YM6, Mauro Picone (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O29N, Mauro Picone (topic)
History
- 2026-11-02: add by m2/dev
Node theorem WP07QPM967
| URI | m2://inv/WP07QPM967 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bound state#UYCM, Node theorem (statement)
History
- 2026-11-02: add by m2/dev
WP0QG7X4DS WP0QG7X4DS
| URI | m2://inv/WP0QG7X4DS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#ZPCJ (statement). In 46370P3Y9S/e1, corollary 5.17
History
- 2026-10-27: add by m2/v0.4.2
WP0T4BN0W0 WP0T4BN0W0
| URI | m2://inv/WP0T4BN0W0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-7 (proof). In N54F33XE07, proof, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
WP14MH4M85 WP14MH4M85
| URI | m2://inv/WP14MH4M85 |
|---|---|
| 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.20416#3O00 (statement). In P603M3M91A/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.4.2
WP19KVJXF4 WP19KVJXF4
| URI | m2://inv/WP19KVJXF4 |
|---|---|
| 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.19453#R6UF (statement). In TX82YAVS5V/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.2
bimorphism WP1CAXN1EA
| URI | m2://inv/WP1CAXN1EA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13424748, bimorphism (unknown). Also EoM Bimorphism, nLab bimorphism
History
- 2026-10-26: add by m2/dev
Beem--Ehrlich--Markvorsen--Galloway WP1EMVPQ4H
| URI | m2://inv/WP1EMVPQ4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#5O0U, Beem--Ehrlich--Markvorsen--Galloway (statement). In VCHH2AC34R/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
WP1HFQ6893 WP1HFQ6893
| URI | m2://inv/WP1HFQ6893 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22924#DV0L (definition)
History
- 2026-11-02: add by m2/v0.6.17
J. V. Uspensky WP1XBDJR66
| URI | m2://inv/WP1XBDJR66 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J. V. Uspensky, J. V. Uspensky (topic). Also Wikidata Q450840
History
- 2026-11-02: add by m2/dev
WP23G0H87G WP23G0H87G
| URI | m2://inv/WP23G0H87G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04434#MGQL (statement). In EY0QS456EC/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Variance WP29GMNCKH
| URI | m2://inv/WP29GMNCKH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23617#JKE6, Variance (statement)
History
- 2026-11-02: add by m2/v0.6.17
Rectified 7-orthoplexes WP2BNX4M2T
| URI | m2://inv/WP2BNX4M2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 7-orthoplexes, Rectified 7-orthoplexes (definition). Also Wikidata Q7303164
History
- 2026-11-02: add by m2/dev
Bernard de Neumann WP2X6KQKK8
| URI | m2://inv/WP2X6KQKK8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernard de Neumann, Bernard de Neumann (topic). Also Wikidata Q287121
History
- 2026-11-02: add by m2/dev
Kig WP2YF6AKQN
| URI | m2://inv/WP2YF6AKQN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#LH8N, Kig (unknown)
History
- 2026-11-02: add by m2/dev
WP31WNQWTW WP31WNQWTW
| URI | m2://inv/WP31WNQWTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2211.04407#3T86 (statement). In XCZS191H6Q/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.6
Indigenous bundle WP3AK4FWD2
| URI | m2://inv/WP3AK4FWD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indigenous bundle, Indigenous bundle (definition). Also Wikidata Q6024669
History
- 2026-11-02: add by m2/dev
Finite-block criterion for slope stability WP3E338S7X
| URI | m2://inv/WP3E338S7X |
|---|---|
| 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.05652#LNVB, Finite-block criterion for slope stability (statement). In 8BNPFYQDQX/e1, proposition 7.2
History
- 2026-10-29: add by m2/v0.4.10
Definition WP3E9BBFPE
| URI | m2://inv/WP3E9BBFPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable curve#S6SW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Weight identities WP3F14KRQ8
| URI | m2://inv/WP3F14KRQ8 |
|---|---|
| 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.06557#6OQI, Weight identities (statement). In VV5CH6Y31D/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
WP3Q5J9WXF WP3Q5J9WXF
| URI | m2://inv/WP3Q5J9WXF |
|---|---|
| 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.35186#RE70 (statement). In VFNPANY3HD/e1, fact 1
History
- 2026-10-30: add by m2/v0.4.12
WP3RJDES9T WP3RJDES9T
| URI | m2://inv/WP3RJDES9T |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28514#XNV3 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Thrackle WP3SNM5W37
| URI | m2://inv/WP3SNM5W37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thrackle, Thrackle (definition). Also Wikidata Q5166684
History
- 2026-11-02: add by m2/dev
Bhaskara's lemma WP3WBMFNBW
| URI | m2://inv/WP3WBMFNBW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhaskara's lemma, Bhaskara's lemma (statement). Also Wikidata Q4901356
History
- 2026-11-02: add by m2/dev
Failure of Tonelli's theorem for non-measurable functions WP3X3Z3NAT
| URI | m2://inv/WP3X3Z3NAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fubini's theorem#H7M6, Failure of Tonelli's theorem for non-measurable functions (statement)
History
- 2026-11-02: add by m2/dev
Null encryption WP3ZVNBN77
| URI | m2://inv/WP3ZVNBN77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Null encryption, Null encryption (definition). Also Wikidata Q1961588
History
- 2026-11-02: add by m2/dev
Seven Hills, Henderson, Nevada WP43JKSFQX
| URI | m2://inv/WP43JKSFQX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#6F0X, Seven Hills, Henderson, Nevada (unknown)
History
- 2026-11-02: add by m2/dev
Recovery by the Augmented Ergodic Second Moment for Tensor PCA WP483HDNKM
| URI | m2://inv/WP483HDNKM |
|---|---|
| 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.16705#UMYZ, Recovery by the Augmented Ergodic Second Moment for Tensor PCA (statement). In B48YQVGAF5/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
WP4FW3PB9M WP4FW3PB9M
| URI | m2://inv/WP4FW3PB9M |
|---|---|
| Kind | definition |
| 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 2610.16583#YPPU (definition). In 4RPXT0YCS5/e1, definition 2.12
History
- 2026-10-28: add by m2/v0.4.2
Kolakoski sequence WP4G7A16HP
| URI | m2://inv/WP4G7A16HP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6427013, Kolakoski sequence (object). Also MathWorld KolakoskiSequence, OEIS A000002
- wikipedia: Wikipedia Kolakoski sequence, Kolakoski sequence (definition). Also Wikidata Q6427013
History
- 2026-10-26: add by m2/dev
Weak coefficient localization WP4M3Y5CT6
| URI | m2://inv/WP4M3Y5CT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00115#YWOV, Weak coefficient localization (statement). In JK8PYKCZRA/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
WP4YH6REMT WP4YH6REMT
| URI | m2://inv/WP4YH6REMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#A9NI (statement)
History
- 2026-11-02: add by m2/v0.6.17
ramified theory of types WP5099GKGQ
| URI | m2://inv/WP5099GKGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#WDWZ, ramified theory of types (definition)
History
- 2026-11-02: add by m2/dev
TLS-SRP WP54GEG9WH
| URI | m2://inv/WP54GEG9WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TLS-SRP, TLS-SRP (definition). Also Wikidata Q7670611
History
- 2026-11-02: add by m2/dev
rhombicosidodecahedron WP5A6KD12Z
| URI | m2://inv/WP5A6KD12Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q672521, rhombicosidodecahedron (object). Also MathWorld SmallRhombicosidodecahedron
- wikipedia: Wikipedia Rhombicosidodecahedron, Rhombicosidodecahedron (definition). Also Wikidata Q672521
History
- 2026-10-26: add by m2/dev
Hausdorff measure WP5AFSRCDF
| URI | m2://inv/WP5AFSRCDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hausdorff measure, Hausdorff measure (definition). Also Wikidata Q1591095
History
- 2026-11-02: add by m2/dev
Hillel Furstenberg WP5ASPPV60
| URI | m2://inv/WP5ASPPV60 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QIF8, Hillel Furstenberg (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V6GE, Hillel Furstenberg (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZMO2, Hillel Furstenberg (topic)
History
- 2026-11-02: add by m2/dev
WP5KFYZD1A WP5KFYZD1A
| URI | m2://inv/WP5KFYZD1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24307#71TX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction WP5PHTZ449
| URI | m2://inv/WP5PHTZ449 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Θ10#5NWW, Construction (definition)
History
- 2026-11-02: add by m2/dev
host signal WP62GX8P4Q
| URI | m2://inv/WP62GX8P4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital watermarking#3L76, host signal (definition)
- wikipedia: Wikipedia Digital watermarking#9TZN, digital watermark (definition)
History
- 2026-11-02: add by m2/dev
WP659QY0HQ WP659QY0HQ
| URI | m2://inv/WP659QY0HQ |
|---|---|
| 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.14450#VXYW (statement). In ZHTGQT07PE/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
F-divergence WP659VG04A
| URI | m2://inv/WP659VG04A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TKUE, F-divergence (definition)
History
- 2026-11-02: add by m2/dev
WP66KPB119 WP66KPB119
| URI | m2://inv/WP66KPB119 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#definition-3 (definition). In RZP28ERRZV, definition, section 23.2
History
- 2026-11-01: add by m2/v0.6.13
Marta Bunge WP68MY57AH
| URI | m2://inv/WP68MY57AH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#HTUX, Marta Bunge (unknown)
History
- 2026-11-02: add by m2/dev
Linearithm WP69C7GAP5
| URI | m2://inv/WP69C7GAP5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time complexity#DOFO, Linearithm (unknown)
History
- 2026-11-02: add by m2/dev
WP69JHTXBY WP69JHTXBY
| URI | m2://inv/WP69JHTXBY |
|---|---|
| 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.19908#8A0Z (statement). In AS5GND6D32/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
WP6A692EZN WP6A692EZN
| URI | m2://inv/WP6A692EZN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
The ambient cut quotient WP6BQH7EX3
| URI | m2://inv/WP6BQH7EX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#3WGS, The ambient cut quotient (statement). In BBE69ZPVTF/e1, proposition A.2
History
- 2026-10-30: add by m2/v0.4.12
Noncototient WP6EWRKXBC
| URI | m2://inv/WP6EWRKXBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#94L1, Noncototient (definition)
History
- 2026-11-02: add by m2/dev
WP6GJ2XPPG WP6GJ2XPPG
| URI | m2://inv/WP6GJ2XPPG |
|---|---|
| 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 math/9807180#7NY5 (statement). In VR3766BVE5/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
WP6K8NCAYE WP6K8NCAYE
| URI | m2://inv/WP6K8NCAYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25190#DUFF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ganganath Jha WP6X226F07
| URI | m2://inv/WP6X226F07 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ganganath Jha, Ganganath Jha (topic). Also Wikidata Q5521053
History
- 2026-11-02: add by m2/dev
WP6YJTYF1T WP6YJTYF1T
| URI | m2://inv/WP6YJTYF1T |
|---|---|
| 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.29196#5B1L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples WP728N5ND3
| URI | m2://inv/WP728N5ND3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bias of an estimator#XB2W, Examples (example)
History
- 2026-11-02: add by m2/dev
Immune neglect WP7512YHXH
| URI | m2://inv/WP7512YHXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affective forecasting#0SQF, Immune neglect (unknown)
History
- 2026-11-02: add by m2/dev
WP77AYXDQK WP77AYXDQK
| URI | m2://inv/WP77AYXDQK |
|---|---|
| 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 2308.05715#C2AU (statement). In FC0SB9JFWH/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.3.5
Psychologism dispute WP7EV9D2JM
| URI | m2://inv/WP7EV9D2JM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anti-psychologism#LF94, Psychologism dispute (unknown)
History
- 2026-11-02: add by m2/dev
WP8ATSZPMB WP8ATSZPMB
| URI | m2://inv/WP8ATSZPMB |
|---|---|
| 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 2007.14459#4LMP (statement). In SGQ7VFEZ22/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
WP8GZDGW24 WP8GZDGW24
| URI | m2://inv/WP8GZDGW24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#5S9R (statement). In ZJQB9W60T6/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
extraction of algorithms WP8V53TJYN
| URI | m2://inv/WP8V53TJYN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u6/extraction-of-algorithms, extraction of algorithms (concept). In N54F33XE07, index, section u1.u6
History
- 2026-11-01: add by m2/v0.6.13
Wold's theorem WP8V5DT3T2
| URI | m2://inv/WP8V5DT3T2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GMO9, Wold's theorem (statement)
History
- 2026-11-02: add by m2/dev
kilogram-force WP8VKZJGN0
| URI | m2://inv/WP8VKZJGN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q216880, kilogram-force (definition). Also ProofWiki Definition:SI/Force/Kilogram_Force
History
- 2026-10-26: add by m2/dev
WP8XT1MEZR WP8XT1MEZR
| URI | m2://inv/WP8XT1MEZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#TWMB (statement). In CGA36VE1C5/e1, fact 3.8.1
History
- 2026-10-27: add by m2/v0.3.6
Fitting subgroup WP8YCXRVKV
| URI | m2://inv/WP8YCXRVKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitting subgroup, Fitting subgroup (definition). Also Wikidata Q3492011
History
- 2026-11-02: add by m2/dev
WP8ZABJFCQ WP8ZABJFCQ
| URI | m2://inv/WP8ZABJFCQ |
|---|---|
| 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.33241#NAC5 (statement). In NX6QV01PCE/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Uniform square-root increments WP91ZPSZXW
| URI | m2://inv/WP91ZPSZXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19421#RNXU, Uniform square-root increments (statement). In 3S1VFGYWQE/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
Scissor statement WP92972KHA
| URI | m2://inv/WP92972KHA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slate Star Codex#N87R, Scissor statement (unknown)
History
- 2026-11-02: add by m2/dev
Flow Shop Scheduling Problem WP959G3V95
| URI | m2://inv/WP959G3V95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#Q1SH, Flow Shop Scheduling Problem (definition)
History
- 2026-11-02: add by m2/dev
WP95P014TJ WP95P014TJ
| URI | m2://inv/WP95P014TJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33771#HHEZ (statement). In ZXQA7QH0H0/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Examples WP9GG5RP10
| URI | m2://inv/WP9GG5RP10 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypocontinuous bilinear map#SVR6, Examples (example)
History
- 2026-11-02: add by m2/dev
Theil–Sen estimator WP9NZD9KGR
| URI | m2://inv/WP9NZD9KGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#S25L, Theil–Sen estimator (definition)
History
- 2026-11-02: add by m2/dev
Euler–Poisson–Darboux equation WP9P2WDCH0
| URI | m2://inv/WP9P2WDCH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#BQLZ, Euler–Poisson–Darboux equation (definition)
History
- 2026-11-02: add by m2/dev
WP9X2ZW42Y WP9X2ZW42Y
| URI | m2://inv/WP9X2ZW42Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#example-3 (example). In P1C114YBXG, example, section H
History
- 2026-11-01: add by m2/v0.6.13
Sergiu Klainerman WPA080FR4F
| URI | m2://inv/WPA080FR4F |
|---|---|
| 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 Q2273233, Sergiu Klainerman (unknown). Also nLab Sergiu Klainerman
- wikipedia: Wikipedia Sergiu Klainerman, Sergiu Klainerman (topic). Also Wikidata Q2273233
History
- 2026-10-26: add by m2/dev
WPA52NB3AJ WPA52NB3AJ
| URI | m2://inv/WPA52NB3AJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-4 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
WPA8BGB3P9 WPA8BGB3P9
| URI | m2://inv/WPA8BGB3P9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#XVWH (definition). In 4WPYBTARS2/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Eduard Study WPAJ0M2YS2
| URI | m2://inv/WPAJ0M2YS2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eduard Study, Eduard Study (topic). Also Wikidata Q68551
History
- 2026-11-02: add by m2/dev
WPARG0CHEZ WPARG0CHEZ
| URI | m2://inv/WPARG0CHEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#IHXE (statement). In D6XA7JXZF3/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
WPASEJFFXE WPASEJFFXE
| URI | m2://inv/WPASEJFFXE |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turán's brick factory problem#47N7 (problem)
History
- 2026-11-02: add by m2/dev
Examples WPB9WC6KQZ
| URI | m2://inv/WPB9WC6KQZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptical distribution#3B6R, Examples (example)
History
- 2026-11-02: add by m2/dev
Matrix pencil WPBDM67156
| URI | m2://inv/WPBDM67156 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix pencil, Matrix pencil (definition). Also Wikidata Q3739929
History
- 2026-11-02: add by m2/dev
Compatible orders for cyclic bipyramid gluings WPBG0CKF5Z
| URI | m2://inv/WPBG0CKF5Z |
|---|---|
| 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 2609.32733#ZZKU, Compatible orders for cyclic bipyramid gluings (statement). In PCAS8S14J6/e1, proposition E.7
History
- 2026-10-31: add by m2/v0.5.6
WPBGV0ESTA WPBGV0ESTA
| URI | m2://inv/WPBGV0ESTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#1E5T (statement). In 9H45HQE7AZ/e1, proposition 6.10
History
- 2026-10-27: add by m2/v0.3.5
Papangelou Intensity WPBXQPDNVK
| URI | m2://inv/WPBXQPDNVK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#ZX9E, Papangelou Intensity (definition)
History
- 2026-11-02: add by m2/v0.6.17
WPC38YD5BK WPC38YD5BK
| URI | m2://inv/WPC38YD5BK |
|---|---|
| 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 2410.02139#AR78 (statement). In TJ1NTK3KJW/e1, theorem 27
History
- 2026-10-27: add by m2/v0.3.5
WPC6BTYWJ5 WPC6BTYWJ5
| URI | m2://inv/WPC6BTYWJ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#HJTD (statement). In 2WZQC0TKVK/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
tessellation WPC7B2VXCE
| URI | m2://inv/WPC7B2VXCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tessellation GKJK293DXS |
Mentions
- wikidata: Wikidata Q214856, tessellation (unknown). Also MathWorld Tessellation
- wikidata: Wikidata Q2995026, tiling by regular polygons (unknown). Also MathWorld Tessellation
- wikipedia: Wikipedia Euclidean tilings by convex regular polygons, Euclidean tilings by convex regular polygons (definition). Also Wikidata Q2995026
- wikipedia: Wikipedia Tessellation, Tessellation (definition). Also Wikidata Q214856
History
- 2026-10-26: add by m2/dev
A primitive from finite-order torsion WPCBNHX673
| URI | m2://inv/WPCBNHX673 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#I9ZZ, A primitive from finite-order torsion (statement). In RZDNWV9E29/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.6
WPCE1DY8KG WPCE1DY8KG
| URI | m2://inv/WPCE1DY8KG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38532#DX82 (statement). In X7YYWCZFTV/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
WPCMKSRYQ7 WPCMKSRYQ7
| URI | m2://inv/WPCMKSRYQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27795#XGI2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
WPCY6NWR33 WPCY6NWR33
| URI | m2://inv/WPCY6NWR33 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_decimal.ptx#theorem-1 (statement). In QKM9DD2H56, theorem, section B.12
History
- 2026-11-01: add by m2/v0.6.13
Formula translation WPD41Z66W7
| URI | m2://inv/WPD41Z66W7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intuitionistic logic#PBP8, Formula translation (statement)
History
- 2026-11-02: add by m2/dev
WPD5SD3BPM WPD5SD3BPM
| URI | m2://inv/WPD5SD3BPM |
|---|---|
| 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.30410#65KL (statement). In 5HZX3JVJWF/e1, proposition 2.3
History
- 2026-10-31: add by m2/v0.5.6
Entropy-center properties WPD6WX7ZVQ
| URI | m2://inv/WPD6WX7ZVQ |
|---|---|
| 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.24569#VYHT, Entropy-center properties (statement)
History
- 2026-11-01: add by m2/v0.6.15
WPD8W0SZ04 WPD8W0SZ04
| URI | m2://inv/WPD8W0SZ04 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-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 2505.04593#WM0E (definition). In PEXJPV3NP8/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.5
367 (number) WPDASNJF73
| URI | m2://inv/WPDASNJF73 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#EXC8, 367 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Inventor's paradox WPDG1FN1DG
| URI | m2://inv/WPDG1FN1DG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inventor's paradox, Inventor's paradox (statement). Also Wikidata Q17058592
History
- 2026-11-02: add by m2/dev
WPDMBJP6EC WPDMBJP6EC
| URI | m2://inv/WPDMBJP6EC |
|---|---|
| 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.33050#IY1K (statement). In VDSBMQ0G9W/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
WPDNABZ6KQ WPDNABZ6KQ
| URI | m2://inv/WPDNABZ6KQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_intro_number.ptx#example-2 (example). In QKM9DD2H56, example, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Population stability index WPDP57DK8K
| URI | m2://inv/WPDP57DK8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kullback–Leibler divergence#26O6, Population stability index (unknown)
History
- 2026-11-02: add by m2/dev
WPDQN7HK6C WPDQN7HK6C
| URI | m2://inv/WPDQN7HK6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/multivar.tex#definition-2 (definition). In RZP28ERRZV, definition, section 45.3
History
- 2026-11-01: add by m2/v0.6.13
Exact aggregate local-roof factor WPDRRC63KC
| URI | m2://inv/WPDRRC63KC |
|---|---|
| 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.04027#TSKR, Exact aggregate local-roof factor (statement). In DQB4YR2DFH/e1, theorem 8.3
History
- 2026-10-29: add by m2/v0.4.12
WPDXNM4SXZ WPDXNM4SXZ
| URI | m2://inv/WPDXNM4SXZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-recurrence.ptx#example-7 (example). In Y91XFCEVHQ, example, section 3.4.1
History
- 2026-11-01: add by m2/v0.6.13
Kì thi Học sinh giỏi Quốc gia môn Toán WPE2WW7X75
| URI | m2://inv/WPE2WW7X75 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#NWVF, Kì thi Học sinh giỏi Quốc gia môn Toán (unknown)
History
- 2026-11-02: add by m2/dev
WPE5XR81ZD WPE5XR81ZD
| URI | m2://inv/WPE5XR81ZD |
|---|---|
| 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.22190#IICJ (statement). In AM6Y5W3HGG/e1, theorem 6
History
- 2026-10-27: add by m2/v0.4.0
WPEJ2WK9KC WPEJ2WK9KC
| URI | m2://inv/WPEJ2WK9KC |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
Crooks fluctuation theorem WPEN3SWH0Q
| URI | m2://inv/WPEN3SWH0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5187911, Crooks fluctuation theorem (statement). Also Wikidata Q5187911
- thousand_plus: thousand_plus Q5187911, Crooks fluctuation theorem (statement). Also Wikidata Q5187911, Wikipedia Crooks fluctuation theorem
- wikipedia: Wikipedia Crooks fluctuation theorem, Crooks fluctuation theorem (statement). Also Wikidata Q5187911
History
- 2026-10-26: add by m2/dev
Ivan M. Niven WPEVVMBEXG
| URI | m2://inv/WPEVVMBEXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QT4Q, Ivan M. Niven (unknown)
History
- 2026-11-02: add by m2/dev
WPF09VSKGZ WPF09VSKGZ
| URI | m2://inv/WPF09VSKGZ |
|---|---|
| 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.10927#ITJS (statement). In DHEJP3YATV/e1, corollary 21
History
- 2026-10-28: add by m2/v0.4.3
Gerard of Cremona WPF7J1ZEJM
| URI | m2://inv/WPF7J1ZEJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q367240, Gerard of Cremona (unknown). Also ProofWiki Mathematician:Gerard_of_Cremona
History
- 2026-10-26: add by m2/dev
Static regret to gap decomposition WPF85PE50A
| URI | m2://inv/WPF85PE50A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13773#VJ1W, Static regret to gap decomposition (statement). In E75XQY0QFM/e1, corollary 4.6
History
- 2026-10-28: add by m2/v0.4.2
Peter Lorimer WPF9EKRCF0
| URI | m2://inv/WPF9EKRCF0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Lorimer (mathematician), Peter Lorimer (topic). Also Wikidata Q17466743
History
- 2026-11-02: add by m2/dev
local class field theory WPFAZYN74J
| URI | m2://inv/WPFAZYN74J |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11S31 |
| Sources | 2 |
| Outcome | open |
| Node | Local class field theory SHEN158T3M |
Mentions
- wikidata: Wikidata Q3526829, local class field theory (topic). Also MathWorld LocalClassFieldTheory
- wikipedia: Wikipedia Local class field theory, Local class field theory (definition). Also Wikidata Q3526829
History
- 2026-10-26: add by m2/dev
WPFD7C4TM1 WPFD7C4TM1
| URI | m2://inv/WPFD7C4TM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#4BVP (statement). In BDN507RN7J/e1, corollary 4.5.2
History
- 2026-10-30: add by m2/v0.4.12
WPFEZS1SP5 WPFEZS1SP5
| URI | m2://inv/WPFEZS1SP5 |
|---|---|
| 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.39992#3CZ9 (statement). In WF64CGYVK1/e1, lemma S6
History
- 2026-10-30: add by m2/v0.4.12
Local existence WPFGMMD28T
| URI | m2://inv/WPFGMMD28T |
|---|---|
| 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.32585#GXJE, Local existence (statement). In FJFJ3WR1SS/e1, proposition 5.3
History
- 2026-10-31: add by m2/v0.5.6
WPFJA1VVT5 WPFJA1VVT5
| URI | m2://inv/WPFJA1VVT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#NHVY (statement). In F5STMSPR6X/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Ditrigonal dodecadodecahedron WPFV22R5B6
| URI | m2://inv/WPFV22R5B6 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#GW4W, Ditrigonal dodecadodecahedron (object)
History
- 2026-11-02: add by m2/dev
Vector quadruple product WPFVG06M2K
| URI | m2://inv/WPFVG06M2K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector algebra relations#CEY7, Vector quadruple product (unknown)
History
- 2026-11-02: add by m2/dev
Definition WPFVJ96PNX
| URI | m2://inv/WPFVJ96PNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of schemes#GXSS, Definition (definition)
History
- 2026-11-02: add by m2/dev
WPFXRY6VHX WPFXRY6VHX
| URI | m2://inv/WPFXRY6VHX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 58.5
History
- 2026-11-01: add by m2/v0.6.13
bump function WPG58V3JTK
| URI | m2://inv/WPG58V3JTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bump function HS65DW0HXH |
Mentions
- wikidata: Wikidata Q1143737, bump function (unknown). Also MathWorld BumpFunction, nLab bump function
- wikipedia: Wikipedia Bump function, Bump function (definition). Also Wikidata Q1143737
History
- 2026-10-26: add by m2/dev
Laws of absorption WPG64CSZDA
| URI | m2://inv/WPG64CSZDA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#SH2Q, Laws of absorption (statement)
History
- 2026-11-02: add by m2/dev
Remark 1 WPGEAQHT5G
| URI | m2://inv/WPGEAQHT5G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petri net#X0UL, Remark 1 (unknown)
History
- 2026-11-02: add by m2/dev
Applications WPGXM6YBGV
| URI | m2://inv/WPGXM6YBGV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference algebra#M2Z8, Applications (example)
History
- 2026-11-02: add by m2/dev
Mohr's circle WPH2KX3T5Y
| URI | m2://inv/WPH2KX3T5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mohr's circle, Mohr's circle (definition). Also Wikidata Q360655
History
- 2026-11-02: add by m2/dev
WPHGN4P63P WPHGN4P63P
| URI | m2://inv/WPHGN4P63P |
|---|---|
| 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.19249#6KM5 (statement). In 2X586J6KQ1/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
codimension WPHKWDNVN4
| URI | m2://inv/WPHKWDNVN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#0I8Z, codimension (definition)
History
- 2026-11-02: add by m2/dev
nilpotent WPHP8DPZ9X
| URI | m2://inv/WPHP8DPZ9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#Z4VY, nilpotent (definition)
History
- 2026-11-02: add by m2/dev
Gilles de Roberval WPHSA1308A
| URI | m2://inv/WPHSA1308A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilles de Roberval, Gilles de Roberval (topic). Also Wikidata Q382016
History
- 2026-11-02: add by m2/dev
WPHXG4THWD WPHXG4THWD
| URI | m2://inv/WPHXG4THWD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/first-order-languages.tex#ex-1 (example). In PKGMM3P5QY, ex, section 19.7
History
- 2026-11-01: add by m2/v0.6.13
Wishart, John WPHZERX57D
| URI | m2://inv/WPHZERX57D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#I437, Wishart, John (topic)
History
- 2026-11-02: add by m2/dev
List of things named after Alan Turing WPJ28C6PSS
| URI | m2://inv/WPJ28C6PSS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#K24Y, List of things named after Alan Turing (topic)
History
- 2026-11-02: add by m2/dev
Enumerative definition WPJ5WSM79K
| URI | m2://inv/WPJ5WSM79K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enumerative definition, Enumerative definition (definition). Also Wikidata Q5380896
History
- 2026-11-02: add by m2/dev
WPJ6GB1VE1 WPJ6GB1VE1
| URI | m2://inv/WPJ6GB1VE1 |
|---|---|
| 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 2604.10080#GJ2B (statement). In KM2FWKP93A/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.4.0
Consecutive Harshad numbers WPJ7NR6G30
| URI | m2://inv/WPJ7NR6G30 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harshad number#3AWT, Consecutive Harshad numbers (unknown)
History
- 2026-11-02: add by m2/dev
Great dirhombicosidodecahedron WPJ83PPK16
| URI | m2://inv/WPJ83PPK16 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#951K, Great dirhombicosidodecahedron (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#EVNU, Great dirhombicosidodecahedron (object)
History
- 2026-11-02: add by m2/dev
WPJE63GH6H WPJE63GH6H
| URI | m2://inv/WPJE63GH6H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32816#DCXQ (definition). In 10YV2P9E8W/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
WPJQSVADXB WPJQSVADXB
| URI | m2://inv/WPJQSVADXB |
|---|---|
| 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.24154#WF1Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
Countable purification with prescribed moments WPJWEEV20D
| URI | m2://inv/WPJWEEV20D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#1FJT, Countable purification with prescribed moments (statement). In 9YAE8FNQST/e1, theorem 10.1
History
- 2026-10-30: add by m2/v0.4.12
WPK0JGM6Y9 WPK0JGM6Y9
| URI | m2://inv/WPK0JGM6Y9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#ZFZU (statement). In D50WST4CG3/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Developing coordinates and the full period lattice WPKH5FPKNN
| URI | m2://inv/WPKH5FPKNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14065#54IT, Developing coordinates and the full period lattice (statement). In PV7V3X78JH/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Hugh Segar WPKXTFAB18
| URI | m2://inv/WPKXTFAB18 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hugh Segar, Hugh Segar (topic). Also Wikidata Q5933055
History
- 2026-11-02: add by m2/dev
Variable-period simulation WPKZ5BTDGK
| URI | m2://inv/WPKZ5BTDGK |
|---|---|
| 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 math/0003117#9I68, Variable-period simulation (statement). In WD2NCBV9F0/e1, corollary 8.11
History
- 2026-10-27: add by m2/v0.3.5
Terminology WPM5DM7GQ8
| URI | m2://inv/WPM5DM7GQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron–Frobenius theorem#UFE3, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Box–Cox distribution WPMDP6M7S5
| URI | m2://inv/WPMDP6M7S5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Box–Cox distribution, Box–Cox distribution (definition). Also Wikidata Q4952021
History
- 2026-11-02: add by m2/dev
Vashishtha Narayan Singh WPME5ZAF62
| URI | m2://inv/WPME5ZAF62 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vashishtha Narayan Singh, Vashishtha Narayan Singh (topic). Also Wikidata Q16345551
History
- 2026-11-02: add by m2/dev
Reduction to the corner WPMFXCA55F
| URI | m2://inv/WPMFXCA55F |
|---|---|
| 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.30544#QL16, Reduction to the corner (statement). In CB35ZBBBPT/e1, theorem A
History
- 2026-10-31: add by m2/v0.5.6
Patrick Billingsley WPMKC4DE49
| URI | m2://inv/WPMKC4DE49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#YM0A, Patrick Billingsley (topic)
History
- 2026-11-02: add by m2/dev
Hilbert's fourth problem WPMZ0AKT5M
| URI | m2://inv/WPMZ0AKT5M |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's fourth problem, Hilbert's fourth problem (problem). Also Wikidata Q4515035
History
- 2026-11-02: add by m2/dev
Local convergence to the limiting polygon WPN53G7S20
| URI | m2://inv/WPN53G7S20 |
|---|---|
| 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.05652#FQNK, Local convergence to the limiting polygon (statement). In 8BNPFYQDQX/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
well-order WPN6VNJ0WP
| URI | m2://inv/WPN6VNJ0WP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Well-order 01CGSJ0GNQ |
Mentions
- wikidata: Wikidata Q659746, well-order (definition). Also Mathlib IsWellOrder, nLab well-order, ProofWiki Definition:Well-Ordering
- wikipedia: Wikipedia Well-order, Well-order (definition). Also Wikidata Q659746
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Michel Van den Bergh WPN7N212WN
| URI | m2://inv/WPN7N212WN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2311353, Michel Van den Bergh (unknown). Also nLab Michel Van den Bergh
History
- 2026-10-26: add by m2/dev
Nova fractal WPND5A3DBW
| URI | m2://inv/WPND5A3DBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of chaotic maps#EH5Z, Nova fractal (definition)
History
- 2026-11-02: add by m2/dev
Examples WPNMY08H2G
| URI | m2://inv/WPNMY08H2G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz's lemma#H8SF, Examples (example)
History
- 2026-11-02: add by m2/dev
Baramulla WPNS96MFW4
| URI | m2://inv/WPNS96MFW4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#6PNH, Baramulla (unknown)
History
- 2026-11-02: add by m2/dev
convergence of $p$-series for $p>1$ WPNXZH26HC
| URI | m2://inv/WPNXZH26HC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Numerical series > convergence of $p$-series for $p>1$, convergence of $p$-series for $p>1$ (unknown). Also Mathlib Real.summable_one_div_nat_rpow
History
- 2026-10-26: add by m2/dev
WPPG328Q5V WPPG328Q5V
| URI | m2://inv/WPPG328Q5V |
|---|---|
| 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 1009.2047#8WO4 (statement). In F3MWRNBNED/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.3.5
proportionality WPPPFB5396
| URI | m2://inv/WPPPFB5396 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q51379, proportionality (unknown). Also MathWorld Proportional
- wikipedia: Wikipedia Proportionality (mathematics), Proportionality (object). Also Wikidata Q51379
History
- 2026-10-26: add by m2/dev
Theorem (Elliott) WPPWKDZ6DN
| URI | m2://inv/WPPWKDZ6DN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximately finite-dimensional C*-algebra#VNAA, Theorem (Elliott) (statement)
History
- 2026-11-02: add by m2/dev
WPPXC36BKE WPPXC36BKE
| URI | m2://inv/WPPXC36BKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19360#6C9A (statement). In MFCW5CY96C/e1, lemma 45
History
- 2026-10-28: add by m2/v0.4.2
Conjugacy class WPQ2VE4M8F
| URI | m2://inv/WPQ2VE4M8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#1F9F, Conjugacy class (definition)
History
- 2026-11-02: add by m2/dev
Dilworth's theorem WPQ3EGS7T4
| URI | m2://inv/WPQ3EGS7T4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.3/dilworth-s-theorem, Dilworth's theorem (concept). In QKM9DD2H56, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
WPQ4848WRD WPQ4848WRD
| URI | m2://inv/WPQ4848WRD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04046#3FBF (example). In 3THDT8WNF7/e1, example 1
History
- 2026-10-29: add by m2/v0.4.12
WPQ48T7BKM WPQ48T7BKM
| URI | m2://inv/WPQ48T7BKM |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#Z0J9 (unknown). In SXTX59QBVT/e1, unknown 5.1
History
- 2026-10-27: add by m2/v0.3.5
Dirichlet series inversion WPQ7V9CA3K
| URI | m2://inv/WPQ7V9CA3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet series inversion, Dirichlet series inversion (definition). Also Wikidata Q96376420
History
- 2026-11-02: add by m2/dev
triakis tetrahedral graph WPQSQFCS2P
| URI | m2://inv/WPQSQFCS2P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115614, triakis tetrahedral graph (unknown). Also House of Graphs 1372, MathWorld TriakisTetrahedralGraph
History
- 2026-10-26: add by m2/dev
Matrix operations WPQSRDQY0Y
| URI | m2://inv/WPQSRDQY0Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-2.xml#ula-preview-2-2, Matrix operations (exercise). In 649HGZKE96, exploration, section 2.2.1
History
- 2026-11-01: add by m2/v0.6.13
Sophia Agranovich WPQW5WYSEE
| URI | m2://inv/WPQW5WYSEE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#M4KE, Sophia Agranovich (unknown)
History
- 2026-11-02: add by m2/dev
WPQY0P52X7 WPQY0P52X7
| URI | m2://inv/WPQY0P52X7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.10080#7EEB (definition). In KM2FWKP93A/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.0
time series analysis WPQYQAN63M
| URI | m2://inv/WPQYQAN63M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#5TR0, time series analysis (definition)
History
- 2026-11-02: add by m2/dev
tournament WPR135E666
| URI | m2://inv/WPR135E666 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1320634, tournament (unknown). Also EoM Tournament, MathWorld Tournament
- wikipedia: Wikipedia Tournament (graph theory), Tournament (definition). Also Wikidata Q1320634
History
- 2026-10-26: add by m2/dev
degree-to-containment criterion WPR4GA4B9C
| URI | m2://inv/WPR4GA4B9C |
|---|---|
| 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.08335#SSR8, degree-to-containment criterion (statement). In HK3YR0QKCV/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Local coordinates WPR6SFG3FP
| URI | m2://inv/WPR6SFG3FP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#20MC, Local coordinates (definition)
History
- 2026-11-02: add by m2/dev
WPR9FDSXX1 WPR9FDSXX1
| URI | m2://inv/WPR9FDSXX1 |
|---|---|
| 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 2610.15169#L0UX (statement). In V7SN19J84T/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
WPRBVQGBV4 WPRBVQGBV4
| URI | m2://inv/WPRBVQGBV4 |
|---|---|
| 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.27301#0ZZ5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extend the chain without changing its earlier frequencies WPRCPYTT4J
| URI | m2://inv/WPRCPYTT4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25101#6KW3, Extend the chain without changing its earlier frequencies (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thomas Allen WPRGHM1QY3
| URI | m2://inv/WPRGHM1QY3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Allen (mathematician), Thomas Allen (topic). Also Wikidata Q3524856
History
- 2026-11-02: add by m2/dev
Local $k$-NN density estimator WPRGTEMV9Q
| URI | m2://inv/WPRGTEMV9Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06873#1SHC, Local $k$-NN density estimator (definition). In R8NHQ41GMX/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Definitions WPRX1CZXPC
| URI | m2://inv/WPRX1CZXPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact operator#0HVC, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Examples WPRY1Q8DQX
| URI | m2://inv/WPRY1Q8DQX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nowhere continuous function#QOEF, Examples (example)
History
- 2026-11-02: add by m2/dev
recursive definition WPS7GTY2KP
| URI | m2://inv/WPS7GTY2KP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.3/recursive-definition, recursive definition (concept). In QKM9DD2H56, index, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Definitions WPSAKKHFQS
| URI | m2://inv/WPSAKKHFQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert C*-module#MJDP, Definitions (definition)
History
- 2026-11-02: add by m2/dev
The crossing number inequality WPSH5ZVE4Q
| URI | m2://inv/WPSH5ZVE4Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crossing number (graph theory)#NY3A, The crossing number inequality (statement)
History
- 2026-11-02: add by m2/dev
Continuity of the perimeter functional relative to a ball WPSJG2B0JE
| URI | m2://inv/WPSJG2B0JE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 53-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.11677#WLVY, Continuity of the perimeter functional relative to a ball (statement). In 4R7HZD14M6/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.3
Properties WPSS2PPAQ5
| URI | m2://inv/WPSS2PPAQ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized quantifier#RJSG, Properties (statement)
History
- 2026-11-02: add by m2/dev
WPSVQ2CRHZ WPSVQ2CRHZ
| URI | m2://inv/WPSVQ2CRHZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-29 (proof). In N54F33XE07, proof, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
Cantor String WPT2BVG1AK
| URI | m2://inv/WPT2BVG1AK |
|---|---|
| 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 2609.22759#GD9W, Cantor String (example)
History
- 2026-11-02: add by m2/v0.6.17
Proposition WPT7FAHM1M
| URI | m2://inv/WPT7FAHM1M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz triangle#OO4H, Proposition (statement)
History
- 2026-11-02: add by m2/dev
WPTQ7WFD9Y WPTQ7WFD9Y
| URI | m2://inv/WPTQ7WFD9Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35691#22LO (example). In G7R61RPWE2/e1, example 1.2
History
- 2026-10-30: add by m2/v0.4.12
WPTS47TW3X WPTS47TW3X
| URI | m2://inv/WPTS47TW3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.35858#BYG4 (statement). In R2K4HZN8RW/e1, corollary 5.9
History
- 2026-10-30: add by m2/v0.4.12
Oskar Morgenstern WPTT0Z7XC0
| URI | m2://inv/WPTT0Z7XC0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#DWW7, Oskar Morgenstern (unknown)
History
- 2026-11-02: add by m2/dev
WPTVXQBN04 WPTVXQBN04
| URI | m2://inv/WPTVXQBN04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#OULV (statement). In 7CK21JGM5A/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
WPTWJ4ACS4 WPTWJ4ACS4
| URI | m2://inv/WPTWJ4ACS4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
Ker-Chau Li WPTYPVH6HA
| URI | m2://inv/WPTYPVH6HA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ker-Chau Li, Ker-Chau Li (topic). Also Wikidata Q102189152
History
- 2026-11-02: add by m2/dev
Examples WPTZNWJC05
| URI | m2://inv/WPTZNWJC05 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential manifold#043S, Examples (example)
History
- 2026-11-02: add by m2/dev
WPV428P83F WPV428P83F
| URI | m2://inv/WPV428P83F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13629#0F7Z (definition). In PQNYA0C510/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Square-integrable function WPVCMTQSY6
| URI | m2://inv/WPVCMTQSY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#IHNF, Square-integrable function (definition)
History
- 2026-11-02: add by m2/dev
Formal definition WPVEBYGEWG
| URI | m2://inv/WPVEBYGEWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Momentum map#RZWE, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Unicode collation algorithm WPVG18044M
| URI | m2://inv/WPVG18044M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#MM18, Unicode collation algorithm (unknown)
History
- 2026-11-02: add by m2/dev
triakis octahedron WPVJD7N2W1
| URI | m2://inv/WPVJD7N2W1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1512362, triakis octahedron (object). Also MathWorld SmallTriakisOctahedron
- wikipedia: Wikipedia Triakis octahedron, Triakis octahedron (definition). Also Wikidata Q1512362
History
- 2026-10-26: add by m2/dev
Almost everywhere WPVQ8HX5BC
| URI | m2://inv/WPVQ8HX5BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#ENOC, Almost everywhere (definition)
History
- 2026-11-02: add by m2/dev
Examples WPVQS0YKY3
| URI | m2://inv/WPVQS0YKY3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leibniz integral rule#2JEJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Characterization of the logistic map WPVSYT90YV
| URI | m2://inv/WPVSYT90YV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logistic map#E88T, Characterization of the logistic map (statement)
History
- 2026-11-02: add by m2/dev
integration by parts WPVTZ58HMJ
| URI | m2://inv/WPVTZ58HMJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/5.4.2/integration-by-parts, integration by parts (concept). In 907G4C4EJ1, index, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
Jeremy Gold WPVV422SC0
| URI | m2://inv/WPVV422SC0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#TQ39, Jeremy Gold (unknown)
History
- 2026-11-02: add by m2/dev
WPW07VGSGM WPW07VGSGM
| URI | m2://inv/WPW07VGSGM |
|---|---|
| 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.17553#JX4D (statement). In ETMBHKF5A9/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
WPW19G5XRX WPW19G5XRX
| URI | m2://inv/WPW19G5XRX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#seqflimit:lemma (statement). In E59CDZA4DP, lemma, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
Algorithms WPW3PT1523
| URI | m2://inv/WPW3PT1523 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biclustering#7G3R, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Collectively exhaustive events WPW86K2P4F
| URI | m2://inv/WPW86K2P4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collectively exhaustive events, Collectively exhaustive events (definition). Also Wikidata Q4370333
History
- 2026-11-02: add by m2/dev
Factor graph WPW9HMQAPJ
| URI | m2://inv/WPW9HMQAPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ODLV, Factor graph (definition)
History
- 2026-11-02: add by m2/dev
WPWXGC4BKM WPWXGC4BKM
| URI | m2://inv/WPWXGC4BKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-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.10591#JFFU (statement). In FTEA0TM35J/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
WPX0Y35VWR WPX0Y35VWR
| URI | m2://inv/WPX0Y35VWR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06438#24FP (definition). In Z633BH3HER/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Gödel WPX10X719Q
| URI | m2://inv/WPX10X719Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#496T, Gödel (definition)
History
- 2026-11-02: add by m2/dev
Cosmic microwave background WPX14P0194
| URI | m2://inv/WPX14P0194 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#YVYZ, Cosmic microwave background (definition)
History
- 2026-11-02: add by m2/dev
WPX7TYH6AZ WPX7TYH6AZ
| URI | m2://inv/WPX7TYH6AZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
Open problems WPX9P8JZ3E
| URI | m2://inv/WPX9P8JZ3E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theoretical physics#6C8Q, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Clifford Taubes WPXC0KERG2
| URI | m2://inv/WPXC0KERG2 |
|---|---|
| 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 Q544991, Clifford Taubes (unknown). Also nLab Clifford Taubes
- wikipedia: Wikipedia Clifford Taubes, Clifford Taubes (topic). Also Wikidata Q544991
History
- 2026-10-26: add by m2/dev
Rational compositional shuffle theorem WPXC7X67FE
| URI | m2://inv/WPXC7X67FE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#RYPH, Rational compositional shuffle theorem (statement)
History
- 2026-11-02: add by m2/v0.6.18
John Dougall WPXPSKK00K
| URI | m2://inv/WPXPSKK00K |
|---|---|
| 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#ZQ8Y, John Dougall (topic)
History
- 2026-11-02: add by m2/dev
Jerusalem Cube WPXPYKS42N
| URI | m2://inv/WPXPYKS42N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Menger sponge#G2LA, Jerusalem Cube (unknown)
History
- 2026-11-02: add by m2/dev
Surface measure WPXS311ACJ
| URI | m2://inv/WPXS311ACJ |
|---|---|
| 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.39409#UHVF, Surface measure (statement). In CQ0Z7QA0A5/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
WPXW0Y5GRH WPXW0Y5GRH
| URI | m2://inv/WPXW0Y5GRH |
|---|---|
| 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.17825#SKW5 (statement). In T0ADPX1S05/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
Dana Scott WPXY60ATD4
| URI | m2://inv/WPXY60ATD4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#C50I, Dana Scott (topic)
History
- 2026-11-02: add by m2/dev
WPXZ285TNW WPXZ285TNW
| URI | m2://inv/WPXZ285TNW |
|---|---|
| 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 2610.15169#R0DV (statement). In V7SN19J84T/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.2
Ethereum WPYE7477JT
| URI | m2://inv/WPYE7477JT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16783523, Ethereum (unknown). Also nLab Ethereum
History
- 2026-10-26: add by m2/dev
WPYF20WQ1F WPYF20WQ1F
| URI | m2://inv/WPYF20WQ1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19023#7CQG (statement). In QFA8TMJPHZ/e1, corollary 5.6
History
- 2026-10-28: add by m2/v0.4.2
Simplicial set WPYK0PFVWS
| URI | m2://inv/WPYK0PFVWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#OV84, Simplicial set (definition)
History
- 2026-11-02: add by m2/dev
Lorentz force against moving density primitives WPYP5TF9KC
| URI | m2://inv/WPYP5TF9KC |
|---|---|
| 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.24960#NOI4, Lorentz force against moving density primitives (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples WPYT46SG17
| URI | m2://inv/WPYT46SG17 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitting length#HEZ0, Examples (example)
History
- 2026-11-02: add by m2/dev
Quantum Fourier transform WPYY67FYQR
| URI | m2://inv/WPYY67FYQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#A0GX, Quantum Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
Curvature and Sharpness WPYZJFHZY2
| URI | m2://inv/WPYZJFHZY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25589#UNW8, Curvature and Sharpness (statement)
History
- 2026-11-01: add by m2/v0.6.15
WPZ1P7JSX4 WPZ1P7JSX4
| URI | m2://inv/WPZ1P7JSX4 |
|---|---|
| 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#536U (statement). In 43TBS9P2PX/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
adjoint, equivalence WPZ1REZZBY
| URI | m2://inv/WPZ1REZZBY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.9/adjoint-equivalence, adjoint, equivalence (concept). In N54F33XE07, index, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
C. R. Rao WPZEQ9ZKEY
| URI | m2://inv/WPZEQ9ZKEY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#ZHLR, C. R. Rao (topic)
History
- 2026-11-02: add by m2/dev
Binary Goppa code WPZGEFVJQZ
| URI | m2://inv/WPZGEFVJQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#4YRZ, Binary Goppa code (definition)
History
- 2026-11-02: add by m2/dev
Arc4random WPZGG8CK8Y
| URI | m2://inv/WPZGG8CK8Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RC4#HQ1R, Arc4random (unknown)
History
- 2026-11-02: add by m2/dev
Principal ideal theorem WPZGN25AF3
| URI | m2://inv/WPZGN25AF3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#G332, Principal ideal theorem (statement)
History
- 2026-11-02: add by m2/dev
Group extension WPZTG15AZ3
| URI | m2://inv/WPZTG15AZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#DZ72, Group extension (definition)
History
- 2026-11-02: add by m2/dev
Saw Swee Hock School of Public Health WPZYDZAGR6
| URI | m2://inv/WPZYDZAGR6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National University of Singapore#VAEN, Saw Swee Hock School of Public Health (unknown)
History
- 2026-11-02: add by m2/dev