Inventory rows HN
The cards of the rows of the inventory whose ids start with HN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
HN07E85NF0 HN07E85NF0
| URI | m2://inv/HN07E85NF0 |
|---|---|
| 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.08226#9J2C (statement). In V6EPE8XHAD/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Formulas HN0DA09A51
| URI | m2://inv/HN0DA09A51 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered Bell number#EAC8, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Definition HN0GBZR12D
| URI | m2://inv/HN0GBZR12D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic interior#M6M5, Definition (definition)
History
- 2026-11-02: add by m2/dev
HN0HE0CGBX HN0HE0CGBX
| URI | m2://inv/HN0HE0CGBX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35740#2FKN (definition). In N7C6C0QGJM/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
HN0PBBV9HE HN0PBBV9HE
| URI | m2://inv/HN0PBBV9HE |
|---|---|
| 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.17863#OCB3 (statement). In Y8XQT02BBF/e1, lemma 2.13
History
- 2026-10-28: add by m2/v0.4.2
Definition HN0ZJNFHBA
| URI | m2://inv/HN0ZJNFHBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilinear form#HBTA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Oracle LSE under the Auxiliary Measure HN17TQGV79
| URI | m2://inv/HN17TQGV79 |
|---|---|
| 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.05864#PCB1, Oracle LSE under the Auxiliary Measure (statement). In 31QPXWDZSH/e1, theorem B.5
History
- 2026-10-29: add by m2/v0.4.10
HN198589EK HN198589EK
| URI | m2://inv/HN198589EK |
|---|---|
| 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.10937#FBQ7 (statement). In 6VVK3YTABP/e1, theorem 8.9
History
- 2026-10-28: add by m2/v0.4.3
HN1EZR22EZ HN1EZR22EZ
| URI | m2://inv/HN1EZR22EZ |
|---|---|
| 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.31604#CYEY (statement). In GSN5YTQS2K/e1, proposition 1.9
History
- 2026-10-31: add by m2/v0.5.6
Quantization HN1HW0E7FV
| URI | m2://inv/HN1HW0E7FV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantization (signal processing), Quantization (definition). Also Wikidata Q198099
History
- 2026-11-02: add by m2/dev
Peaucellier–Lipkin linkage HN1QMKPSYG
| URI | m2://inv/HN1QMKPSYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peaucellier–Lipkin linkage, Peaucellier–Lipkin linkage (definition). Also Wikidata Q388067
History
- 2026-11-02: add by m2/dev
HN1WBXS5SC HN1WBXS5SC
| URI | m2://inv/HN1WBXS5SC |
|---|---|
| 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.24541#W5PN (statement)
History
- 2026-11-01: add by m2/v0.6.15
HN1X0JW29A HN1X0JW29A
| URI | m2://inv/HN1X0JW29A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37112#8EHV (statement). In 5B10HAY4C3/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Rayleigh flow HN1YHQDW88
| URI | m2://inv/HN1YHQDW88 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh flow, Rayleigh flow (object). Also Wikidata Q3746869
History
- 2026-11-02: add by m2/dev
HN20YSGKXZ HN20YSGKXZ
| URI | m2://inv/HN20YSGKXZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16530#5ARA (example). In G2BFEBAX2W/e1, example 3.3
History
- 2026-10-28: add by m2/v0.4.2
HN21C3EB8H HN21C3EB8H
| URI | m2://inv/HN21C3EB8H |
|---|---|
| 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.11829#T6YR (statement). In 76DK6SPN88/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
braid lemma HN24W8BYPY
| URI | m2://inv/HN24W8BYPY |
|---|---|
| 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.10408#IBWM, braid lemma (statement). In H976NYKBNT/e1, lemma A.6
History
- 2026-10-29: add by m2/v0.4.10
HN289BCSBR HN289BCSBR
| URI | m2://inv/HN289BCSBR |
|---|---|
| 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.21645#EMXV (statement)
History
- 2026-11-02: add by m2/v0.6.18
Alternating series test HN2J799HND
| URI | m2://inv/HN2J799HND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#YGXP, Alternating series test (definition)
History
- 2026-11-02: add by m2/dev
free group action HN2QT6TR05
| URI | m2://inv/HN2QT6TR05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121069543, free group action (definition). Also MathWorld FreeAction, nLab free action, ProofWiki Definition:Free_Group_Action
History
- 2026-10-26: add by m2/dev
HN2Y0ZF017 HN2Y0ZF017
| URI | m2://inv/HN2Y0ZF017 |
|---|---|
| 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.13580#ZCR6 (statement). In KEQ57N9N7Z/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Applications HN33M2QV26
| URI | m2://inv/HN33M2QV26 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envelope theorem#XBQ3, Applications (example)
History
- 2026-11-02: add by m2/dev
HN35VBJ375 HN35VBJ375
| URI | m2://inv/HN35VBJ375 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05403#NPLP (statement). In PQGGCD09KP/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.10
HN35X363YK HN35X363YK
| URI | m2://inv/HN35X363YK |
|---|---|
| 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.14240#Y2CS (definition). In HGQCBDDMQJ/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
David Albert Edwards HN3BSN4JHJ
| URI | m2://inv/HN3BSN4JHJ |
|---|---|
| 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#A2UH, David Albert Edwards (unknown)
History
- 2026-11-02: add by m2/dev
Single-site algebra HN3SB9FQ93
| URI | m2://inv/HN3SB9FQ93 |
|---|---|
| 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.03677#QGID, Single-site algebra (statement). In J1Y06VVYRG/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12
Geometric NC prestack CFOs HN3ZNF3NCP
| URI | m2://inv/HN3ZNF3NCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#0UYB, Geometric NC prestack CFOs (statement)
History
- 2026-11-01: add by m2/v0.6.15
Augmented pair and direct-sum structure HN404HJ4RD
| URI | m2://inv/HN404HJ4RD |
|---|---|
| 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.14906#5PLC, Augmented pair and direct-sum structure (statement). In 1F8ENX770M/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.2
Applications HN40RHPYJE
| URI | m2://inv/HN40RHPYJE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residue number system#E1Z8, Applications (example)
History
- 2026-11-02: add by m2/dev
Structure of $\Lambda(h)$ HN41G0PM2S
| URI | m2://inv/HN41G0PM2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-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 2610.17276#8G9Q, Structure of $\Lambda(h)$ (statement). In GG14QF0JKJ/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
HN41XVXSZP HN41XVXSZP
| URI | m2://inv/HN41XVXSZP |
|---|---|
| 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.36717#TOQE (statement). In 69FBWG9P3B/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
HN43TR2HNG HN43TR2HNG
| URI | m2://inv/HN43TR2HNG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#PVLR (definition)
History
- 2026-11-01: add by m2/v0.6.15
Enlarged contrast-space transfer HN45HB51RH
| URI | m2://inv/HN45HB51RH |
|---|---|
| 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.07721#GKP4, Enlarged contrast-space transfer (statement). In QMJDN66F5N/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.10
HN4B2G33S5 HN4B2G33S5
| URI | m2://inv/HN4B2G33S5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#example-8 (example). In RZP28ERRZV, example, section 14.5
History
- 2026-11-01: add by m2/v0.6.13
HN4DV8A6D0 HN4DV8A6D0
| URI | m2://inv/HN4DV8A6D0 |
|---|---|
| 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.15352#D0NA (statement). In R39P7AFXM8/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
HN4X8JVKJJ HN4X8JVKJJ
| URI | m2://inv/HN4X8JVKJJ |
|---|---|
| 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 2610.04809#69V6 (definition). In 2VHV0RNTNV/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
HN5AZNG796 HN5AZNG796
| URI | m2://inv/HN5AZNG796 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#6TD8 (statement). In 13GSWBXPCM/e1, corollary C.16
History
- 2026-10-27: add by m2/v0.3.5
Lida Barrett HN5CC6Y03H
| URI | m2://inv/HN5CC6Y03H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lida Barrett, Lida Barrett (topic). Also Wikidata Q16971243
History
- 2026-11-02: add by m2/dev
Properties HN5HFR8T29
| URI | m2://inv/HN5HFR8T29 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean topology#XWXK, Properties (statement)
History
- 2026-11-02: add by m2/dev
HN5J767RYN HN5J767RYN
| URI | m2://inv/HN5J767RYN |
|---|---|
| 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.13670#YDUI (statement). In 4PGTZ19B26/e1, lemma 7.7
History
- 2026-10-28: add by m2/v0.4.2
HN5SA80YXG HN5SA80YXG
| URI | m2://inv/HN5SA80YXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10474#H4JO (statement). In MB29RAAQMG/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Delayed-register HN5T7YKJGY
| URI | m2://inv/HN5T7YKJGY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.10860#87PT, Delayed-register (statement). In PBYNV2WF2H/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.3
HN5X7YMHV4 HN5X7YMHV4
| URI | m2://inv/HN5X7YMHV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#X9CD (statement). In X765ZXXVC3/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
HN5YM36NFN HN5YM36NFN
| URI | m2://inv/HN5YM36NFN |
|---|---|
| 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.14741#CRDG (statement). In RK1VPWWX9E/e1, proposition C.3
History
- 2026-10-28: add by m2/v0.4.2
Chien-Pai Han HN62G87Z04
| URI | m2://inv/HN62G87Z04 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chien-Pai Han, Chien-Pai Han (topic). Also Wikidata Q102313667
History
- 2026-11-02: add by m2/dev
Scream HN645AGYG4
| URI | m2://inv/HN645AGYG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scream (cipher), Scream (definition). Also Wikidata Q7438883
History
- 2026-11-02: add by m2/dev
Romano Scozzafava HN65SNFFVB
| URI | m2://inv/HN65SNFFVB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#0DQS, Romano Scozzafava (topic)
History
- 2026-11-02: add by m2/dev
John Adrian Bondy HN68PPFQQD
| URI | m2://inv/HN68PPFQQD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UOOW, John Adrian Bondy (topic)
History
- 2026-11-02: add by m2/dev
Igor Girsanov HN6BCKHVZ9
| URI | m2://inv/HN6BCKHVZ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Igor Girsanov, Igor Girsanov (topic). Also Wikidata Q4138947
History
- 2026-11-02: add by m2/dev
Definition HN6GDQ3VA6
| URI | m2://inv/HN6GDQ3VA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stepwise irregular graph#VUP6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Variants HN6GNMEPGT
| URI | m2://inv/HN6GNMEPGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IP (complexity)#M1EL, Variants (statement)
History
- 2026-11-02: add by m2/dev
HN6HDSQ7AE HN6HDSQ7AE
| URI | m2://inv/HN6HDSQ7AE |
|---|---|
| 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.16727#DBA6 (statement). In Z5QS3MD8HN/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Statement of the rule of succession HN6TEMES6H
| URI | m2://inv/HN6TEMES6H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rule of succession#OGE2, Statement of the rule of succession (statement)
History
- 2026-11-02: add by m2/dev
Choi's theorem on completely positive maps HN6X149S1C
| URI | m2://inv/HN6X149S1C |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 47-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5103861, Choi's theorem on completely positive maps (statement). Also Wikidata Q5103861
- thousand_plus: thousand_plus Q5103861, Choi's theorem on completely positive maps (statement). Also Wikidata Q5103861, Wikipedia Choi's theorem on completely positive maps
- wikipedia: Wikipedia Choi's theorem on completely positive maps, Choi's theorem on completely positive maps (statement). Also Wikidata Q5103861
History
- 2026-10-26: add by m2/dev
Example 1 HN6YANCAJE
| URI | m2://inv/HN6YANCAJE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rationalizable strategy#XVKG, Example 1 (example)
History
- 2026-11-02: add by m2/dev
HN6ZTRAZZY HN6ZTRAZZY
| URI | m2://inv/HN6ZTRAZZY |
|---|---|
| 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.16962#769I (definition). In KJC9FRS3C2/e1, definition 11.1
History
- 2026-10-28: add by m2/v0.4.2
Pollard's kangaroo algorithm HN7HKD54Z8
| URI | m2://inv/HN7HKD54Z8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#JA6R, Pollard's kangaroo algorithm (definition)
History
- 2026-11-02: add by m2/dev
Positive measures for all radial moment sequences HN80EV31ZV
| URI | m2://inv/HN80EV31ZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-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 2609.26066#RQKE, Positive measures for all radial moment sequences (statement)
History
- 2026-11-01: add by m2/v0.6.15
HN85HM27DQ HN85HM27DQ
| URI | m2://inv/HN85HM27DQ |
|---|---|
| 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.13864#FZQM (definition). In ZGZGGGCWD3/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Variations HN86TW7C8Q
| URI | m2://inv/HN86TW7C8Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probable prime#QKEM, Variations (statement)
History
- 2026-11-02: add by m2/dev
HN8DJWPQNV HN8DJWPQNV
| URI | m2://inv/HN8DJWPQNV |
|---|---|
| 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.25896#HKYI (statement)
History
- 2026-11-01: add by m2/v0.6.15
HN8H9X4G5P HN8H9X4G5P
| URI | m2://inv/HN8H9X4G5P |
|---|---|
| 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.22090#KH7F (statement). In NKJWGF050C/e1, lemma 2.13
History
- 2026-10-27: add by m2/v0.4.0
Harold Davenport HN8MGCXAWS
| URI | m2://inv/HN8MGCXAWS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#S2AF, Harold Davenport (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JTJO, Harold Davenport (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MJ5G, Harold Davenport (topic)
History
- 2026-11-02: add by m2/dev
Applications HN8PMBFA06
| URI | m2://inv/HN8PMBFA06 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluid dynamics#TEL5, Applications (example)
History
- 2026-11-02: add by m2/dev
HN8PWE5528 HN8PWE5528
| URI | m2://inv/HN8PWE5528 |
|---|---|
| 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#89D9 (statement). In DPT4P2BTEW/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Elizabeth A. Martin HN8SEW9NHX
| URI | m2://inv/HN8SEW9NHX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elizabeth A. Martin, Elizabeth A. Martin (topic). Also Wikidata Q107546811
History
- 2026-11-02: add by m2/dev
Infinitely-often one-way functions and next-bit predictors HN8V6FB6CE
| URI | m2://inv/HN8V6FB6CE |
|---|---|
| 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.11031#Z4OT, Infinitely-often one-way functions and next-bit predictors (statement). In 9DMJXFRQN9/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.3
Utilization distribution HN967BKGJV
| URI | m2://inv/HN967BKGJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#49L3, Utilization distribution (definition)
History
- 2026-11-02: add by m2/dev
Boethius HN97A3G3YQ
| URI | m2://inv/HN97A3G3YQ |
|---|---|
| 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 Q102851, Boethius (unknown). Also ProofWiki Mathematician:Anicius_Manlius_Severinus_Boëthius
- wikipedia: Wikipedia Boethius, Boethius (topic). Also Wikidata Q102851
History
- 2026-10-26: add by m2/dev
HN98GYHCNN HN98GYHCNN
| URI | m2://inv/HN98GYHCNN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-11 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
Planar dg cooperad HN99THVBKY
| URI | m2://inv/HN99THVBKY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#V9A4, Planar dg cooperad (definition). In SMJMAQ2S3J/e1, definition 4
History
- 2026-10-27: add by m2/v0.4.0
Euler top HN9C8AS7GN
| URI | m2://inv/HN9C8AS7GN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange, Euler, and Kovalevskaya tops#GDC7, Euler top (unknown)
History
- 2026-11-02: add by m2/dev
A shifted scalar Jacobi operator HN9KN6Y3FM
| URI | m2://inv/HN9KN6Y3FM |
|---|---|
| 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.32001#O1AY, A shifted scalar Jacobi operator (statement). In 5FZGDECW2R/e1, corollary 3.4
History
- 2026-10-31: add by m2/v0.5.6
Construction HN9QJVJNPR
| URI | m2://inv/HN9QJVJNPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flag bundle#8KMM, Construction (definition)
History
- 2026-11-02: add by m2/dev
HN9Z7TT45C HN9Z7TT45C
| URI | m2://inv/HN9Z7TT45C |
|---|---|
| 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.01656#9AM1 (statement). In AHGQZ89DY0/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Lemma 2 HNA2RQX7DE
| URI | m2://inv/HNA2RQX7DE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaplansky's theorem on projective modules#ZEAH, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
HNA67M3AFY HNA67M3AFY
| URI | m2://inv/HNA67M3AFY |
|---|---|
| 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.11409#DUIF (statement). In 3NWSEMTHJR/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.3
Definition HNA7SH9Y2N
| URI | m2://inv/HNA7SH9Y2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Element (category theory)#N7QT, Definition (definition)
History
- 2026-11-02: add by m2/dev
HNACDBGMJ9 HNACDBGMJ9
| URI | m2://inv/HNACDBGMJ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2512.16003#MNKS (statement). In BJGS6ZCQ12/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.6
$p=1$ fails, and the exponent $q$ is right HNAM40PC6K
| URI | m2://inv/HNAM40PC6K |
|---|---|
| Kind | statement |
| 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.27766#EZWJ, $p=1$ fails, and the exponent $q$ is right (statement)
History
- 2026-11-01: add by m2/v0.6.15
HNAP1DW03G HNAP1DW03G
| URI | m2://inv/HNAP1DW03G |
|---|---|
| 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.26401#0ROI (definition)
History
- 2026-11-01: add by m2/v0.6.15
Facet HNAWCC6YWH
| URI | m2://inv/HNAWCC6YWH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#96FE, Facet (object)
History
- 2026-11-02: add by m2/dev
Iamblichus HNAWVEDGWG
| URI | m2://inv/HNAWVEDGWG |
|---|---|
| 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 Q310916, Iamblichus (unknown). Also ProofWiki Mathematician:Iamblichus_Chalcidensis
History
- 2026-10-26: add by m2/dev
László Fuchs HNAX7WWQD3
| URI | m2://inv/HNAX7WWQD3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia László Fuchs, László Fuchs (topic). Also Wikidata Q6710675
History
- 2026-11-02: add by m2/dev
Kleisli category HNB6X8PW00
| URI | m2://inv/HNB6X8PW00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kleisli category D9YHA46YWM |
Mentions
- wikidata: Wikidata Q1773982, Kleisli category (unknown). Also nLab Kleisli category
- wikipedia: Wikipedia Kleisli category, Kleisli category (definition). Also Wikidata Q1773982
History
- 2026-10-26: add by m2/dev
HNBCBG37BX HNBCBG37BX
| URI | m2://inv/HNBCBG37BX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.04068#4TEE (statement). In Y7TVAQE9PF/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.3.5
Shapiro–Wilk test HNBDPMTZSX
| URI | m2://inv/HNBDPMTZSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A7S8, Shapiro–Wilk test (definition)
History
- 2026-11-02: add by m2/dev
Alexander Munro Davie HNBECY1J2P
| URI | m2://inv/HNBECY1J2P |
|---|---|
| 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#JANO, Alexander Munro Davie (unknown)
History
- 2026-11-02: add by m2/dev
(∞, n)-category HNBF8H87PY
| URI | m2://inv/HNBF8H87PY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#8KCK, (∞, n)-category (definition)
History
- 2026-11-02: add by m2/dev
HNBMSB3DWM HNBMSB3DWM
| URI | m2://inv/HNBMSB3DWM |
|---|---|
| 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 2406.01036#RER1 (definition). In 6VX2G6RTH7/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Formal definition HNBMYK2KS4
| URI | m2://inv/HNBMYK2KS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine bundle#NY1L, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Applications HNBQH7K4F8
| URI | m2://inv/HNBQH7K4F8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courcelle's theorem#8D62, Applications (example)
History
- 2026-11-02: add by m2/dev
HNBW8N3W71 HNBW8N3W71
| URI | m2://inv/HNBW8N3W71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2405.14678#LVOO (statement). In 9ZSNSJRJ5N/e1, proposition 3
History
- 2026-10-27: add by m2/v0.4.2
Conventions HNCCCXNNK8
| URI | m2://inv/HNCCCXNNK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hartley transform#EHI5, Conventions (definition)
History
- 2026-11-02: add by m2/dev
HNCG16PB4R HNCG16PB4R
| URI | m2://inv/HNCG16PB4R |
|---|---|
| Kind | definition |
| 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#L105 (definition). In 9DQKY7KGE8/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.3.5
Rising moving average HNCGE8NZ4A
| URI | m2://inv/HNCGE8NZ4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rising moving average, Rising moving average (definition). Also Wikidata Q7336198
History
- 2026-11-02: add by m2/dev
Bolzano's theorem HNCN03SEFS
| URI | m2://inv/HNCN03SEFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137767193, Bolzano's theorem (statement). Also MathWorld BolzanosTheorem
History
- 2026-10-26: add by m2/dev
bipartite net HNCNBKHHD4
| URI | m2://inv/HNCNBKHHD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136327316, bipartite net (unknown). Also House of Graphs 54288
History
- 2026-10-26: add by m2/dev
Sum rule in quantum mechanics HNCRAGQ0DB
| URI | m2://inv/HNCRAGQ0DB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum rule in quantum mechanics, Sum rule in quantum mechanics (definition). Also Wikidata Q7636898
History
- 2026-11-02: add by m2/dev
Ridge-skeleton conjecture HNCRSERAQD
| URI | m2://inv/HNCRSERAQD |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27798#6T2R, Ridge-skeleton conjecture (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Emil Grosswald HNCSP58XS5
| URI | m2://inv/HNCSP58XS5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emil Grosswald, Emil Grosswald (topic). Also Wikidata Q1336138
History
- 2026-11-02: add by m2/dev
Generation effect HNCWSPV828
| URI | m2://inv/HNCWSPV828 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#LAF5, Generation effect (definition)
History
- 2026-11-02: add by m2/dev
HNCXFSDTCG HNCXFSDTCG
| URI | m2://inv/HNCXFSDTCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/sequences.tex#prop-3 (statement). In PKGMM3P5QY, prop, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Tangent lines to three circles: Monge's theorem HNCYXF1KQ4
| URI | m2://inv/HNCYXF1KQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangent lines to circles#PF98, Tangent lines to three circles: Monge's theorem (statement)
History
- 2026-11-02: add by m2/dev
RC4 HND430RR5H
| URI | m2://inv/HND430RR5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RC4, RC4 (definition). Also Wikidata Q846955
History
- 2026-11-02: add by m2/dev
Perky effect HND72S5NEF
| URI | m2://inv/HND72S5NEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#MIDD, Perky effect (unknown)
History
- 2026-11-02: add by m2/dev
Properties HNDADADXZA
| URI | m2://inv/HNDADADXZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rao–Blackwell theorem#G44I, Properties (statement)
History
- 2026-11-02: add by m2/dev
History and retained geometry HNDK01CNTR
| URI | m2://inv/HNDK01CNTR |
|---|---|
| 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.06544#DYI2, History and retained geometry (statement). In VCRB27RMN6/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
HNDSHNTQAX HNDSHNTQAX
| URI | m2://inv/HNDSHNTQAX |
|---|---|
| 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 2306.00212#DNMO (statement). In C9GG9C1X65/e1, lemma 17
History
- 2026-10-27: add by m2/v0.3.5
HNDX1FFC94 HNDX1FFC94
| URI | m2://inv/HNDX1FFC94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#defn-1 (definition). In E59CDZA4DP, defn, section 1.1.1
History
- 2026-11-01: add by m2/v0.6.13
axiom, of set theory, for the cumulative hierarchy HNE0170GHG
| URI | m2://inv/HNE0170GHG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/axiom-of-set-theory-for-the-cumulative-hierarchy, axiom, of set theory, for the cumulative hierarchy (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
HNE3JXVC20 HNE3JXVC20
| URI | m2://inv/HNE3JXVC20 |
|---|---|
| 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.17518#DY21 (statement). In YA4JEWTVS4/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Laver forcing HNE96PQ4DM
| URI | m2://inv/HNE96PQ4DM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#AUEA, Laver forcing (unknown)
History
- 2026-11-02: add by m2/dev
HNEATVMGXY HNEATVMGXY
| URI | m2://inv/HNEATVMGXY |
|---|---|
| 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 2609.28411#MKN1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nathan Berkovits HNEAVCX8T7
| URI | m2://inv/HNEAVCX8T7 |
|---|---|
| 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 Q10335717, Nathan Berkovits (unknown). Also nLab Nathan Berkovits
History
- 2026-10-26: add by m2/dev
Example HNECC58YFQ
| URI | m2://inv/HNECC58YFQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schramm–Loewner evolution#YHQ3, Example (example)
History
- 2026-11-02: add by m2/dev
Properties HNEGQC1MJ6
| URI | m2://inv/HNEGQC1MJ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bregman divergence#BREA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples HNEJ47SYGS
| URI | m2://inv/HNEJ47SYGS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from ignorance#BFXU, Examples (example)
History
- 2026-11-02: add by m2/dev
Generalization HNER0NP7J6
| URI | m2://inv/HNER0NP7J6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monoid ring#28KR, Generalization (statement)
History
- 2026-11-02: add by m2/dev
HNF123ENKA HNF123ENKA
| URI | m2://inv/HNF123ENKA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/quintic.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 42.1
History
- 2026-11-01: add by m2/v0.6.13
HNF5QX4ABH HNF5QX4ABH
| URI | m2://inv/HNF5QX4ABH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#QSPT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Margarete Kahn HNF8SN5ST2
| URI | m2://inv/HNF8SN5ST2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#2MRR, Margarete Kahn (topic)
History
- 2026-11-02: add by m2/dev
Hartry Field HNFCGN9QRE
| URI | m2://inv/HNFCGN9QRE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hartry Field, Hartry Field (topic). Also Wikidata Q1587666
History
- 2026-11-02: add by m2/dev
Amir Dembo HNFF97RBTH
| URI | m2://inv/HNFF97RBTH |
|---|---|
| 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 Q17521223, Amir Dembo (unknown). Also nLab Amir Dembo
- wikipedia: Wikipedia Amir Dembo, Amir Dembo (topic). Also Wikidata Q17521223
History
- 2026-10-26: add by m2/dev
HNFFS5R826 HNFFS5R826
| URI | m2://inv/HNFFS5R826 |
|---|---|
| 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.16580#8PPC (statement). In MQPBZX4DR6/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Definition HNFMADCX00
| URI | m2://inv/HNFMADCX00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Node influence metric#6M4P, Definition (definition)
History
- 2026-11-02: add by m2/dev
HNFQGMWGVY HNFQGMWGVY
| URI | m2://inv/HNFQGMWGVY |
|---|---|
| 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.17408#8AS5 (statement). In QR8H4M1X4N/e1, theorem 7.4
History
- 2026-10-28: add by m2/v0.4.2
Polar topology HNFREEJM63
| URI | m2://inv/HNFREEJM63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar topology, Polar topology (definition). Also Wikidata Q7209104
History
- 2026-11-02: add by m2/dev
ldh topology HNFTS3868M
| URI | m2://inv/HNFTS3868M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies on the category of schemes#XSP2, ldh topology (definition)
History
- 2026-11-02: add by m2/dev
HNG0XH31R3 HNG0XH31R3
| URI | m2://inv/HNG0XH31R3 |
|---|---|
| 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.16404#8UBQ (statement). In PQ7W037C2H/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
almost sure $\Gamma$-convergence, general case HNG1M4T1MT
| URI | m2://inv/HNG1M4T1MT |
|---|---|
| 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 2204.07227#8AYQ, almost sure $\Gamma$-convergence, general case (statement). In R85Z7ZZGBC/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
good prime HNGA6ZKNMD
| URI | m2://inv/HNGA6ZKNMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1557114, good prime (unknown). Also MathWorld GoodPrime
- wikipedia: Wikipedia Good prime, Good prime (definition). Also Wikidata Q1557114
History
- 2026-10-26: add by m2/dev
Special deformation datum HNGRAQ5XB7
| URI | m2://inv/HNGRAQ5XB7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#17AE, Special deformation datum (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definition HNH02RA31G
| URI | m2://inv/HNH02RA31G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bijection#RRIP, Definition (definition)
History
- 2026-11-02: add by m2/dev
HNH5BTBQ8K HNH5BTBQ8K
| URI | m2://inv/HNH5BTBQ8K |
|---|---|
| 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.07180#EY5A (statement). In TM4H1RV0BQ/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
HNH5HYV7W8 HNH5HYV7W8
| URI | m2://inv/HNH5HYV7W8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#64HY (statement). In 7V3HG30ZGW/e1, lemma 5.18
History
- 2026-10-27: add by m2/v0.4.0
HNH71X6WB1 HNH71X6WB1
| URI | m2://inv/HNH71X6WB1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#prob:not well defined (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
HNHB1HVCQN HNHB1HVCQN
| URI | m2://inv/HNHB1HVCQN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#AKBI (example). In SBZNH932ZV/e1, example 4.2
History
- 2026-10-30: add by m2/v0.4.12
HNHHH9G213 HNHHH9G213
| URI | m2://inv/HNHHH9G213 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/temporal-logic/temporal-logic-semantics.tex#defn:tmodels (definition). In PKGMM3P5QY, defn, section 1.12
History
- 2026-11-01: add by m2/v0.6.13
Quintessence HNHSXE6FBJ
| URI | m2://inv/HNHSXE6FBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quintessence (physics), Quintessence (definition). Also Wikidata Q1777391
History
- 2026-11-02: add by m2/dev
Summary of the almost simple analysis HNHW82PB6K
| URI | m2://inv/HNHW82PB6K |
|---|---|
| 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.15340#MSXK, Summary of the almost simple analysis (statement). In 9NVKKW8HDH/e1, theorem 2.92
History
- 2026-10-28: add by m2/v0.4.2
HNHY6SYVJ5 HNHY6SYVJ5
| URI | m2://inv/HNHY6SYVJ5 |
|---|---|
| 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 2610.18084#MO2W (example). In PKPT8NY665/e1, example 5.2
History
- 2026-10-28: add by m2/v0.4.2
ellipse HNJ270C792
| URI | m2://inv/HNJ270C792 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Ellipse 0VKCCEXBJ1 |
Mentions
- wikidata: Wikidata Q40112, ellipse (definition). Also MathWorld Ellipse, ProofWiki Definition:Ellipse
- wikipedia: Wikipedia Ellipse, Ellipse (definition). Also Wikidata Q40112
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
HNJ6F2QD2X HNJ6F2QD2X
| URI | m2://inv/HNJ6F2QD2X |
|---|---|
| Kind | definition |
| 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.05850#I6HH (definition). In D424GB5MAW/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
The minimax principle HNJBR32J1C
| URI | m2://inv/HNJBR32J1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-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 2610.01498#E0EH, The minimax principle (statement). In 75GDSC8460/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.12
HNJHSBEQZ2 HNJHSBEQZ2
| URI | m2://inv/HNJHSBEQZ2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:converse (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
HNJHV0JRAA HNJHV0JRAA
| URI | m2://inv/HNJHV0JRAA |
|---|---|
| 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.01354#C530 (statement). In BWD76W20W8/e1, corollary 5.9
History
- 2026-10-29: add by m2/v0.4.12
Variations HNJKRDSRZ8
| URI | m2://inv/HNJKRDSRZ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-armed bandit#3DJT, Variations (statement)
History
- 2026-11-02: add by m2/dev
pole HNJN17CM97
| URI | m2://inv/HNJN17CM97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Zeros and poles 1TE3QF8EYC |
Mentions
- wikidata: Wikidata Q899731, pole (definition). Also EoM Pole_(of_a_function), MathWorld Pole, ProofWiki Definition:Isolated_Singularity/Pole
- wikipedia: Wikipedia Zeros and poles, Zeros and poles (definition). Also Wikidata Q899731
History
- 2026-10-26: add by m2/dev
Paul C. Rosenbloom HNJX5AE0HK
| URI | m2://inv/HNJX5AE0HK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8SCN, Paul C. Rosenbloom (topic)
History
- 2026-11-02: add by m2/dev
Adaptive-block maximal inequality HNK8CGPVK2
| URI | m2://inv/HNK8CGPVK2 |
|---|---|
| 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.40338#DX0I, Adaptive-block maximal inequality (statement). In K5H6GS0SGQ/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12
octagonal prism HNKGHS5126
| URI | m2://inv/HNKGHS5126 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3100797, octagonal prism (object). Also MathWorld OctagonalPrism
- wikipedia: Wikipedia Octagonal prism, Octagonal prism (definition). Also Wikidata Q3100797
History
- 2026-10-26: add by m2/dev
HNKMYXY3WT HNKMYXY3WT
| URI | m2://inv/HNKMYXY3WT |
|---|---|
| Kind | problem |
| 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#9UOO (problem). In CY1FE8W1ZW/e1, problem 0.263
History
- 2026-10-27: add by m2/v0.4.0
Proposition 2 HNKPEK7R2J
| URI | m2://inv/HNKPEK7R2J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of exhaustion#WZEX, Proposition 2 (statement)
History
- 2026-11-02: add by m2/dev
Charalambos D. Aliprantis HNKRYBX1QP
| URI | m2://inv/HNKRYBX1QP |
|---|---|
| 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 Q5073888, Charalambos D. Aliprantis (unknown). Also ProofWiki Mathematician:Charalambos_Dionisios_Aliprantis
- wikipedia: Wikipedia Charalambos Aliprantis, Charalambos Aliprantis (topic). Also Wikidata Q5073888
History
- 2026-10-26: add by m2/dev
Formal group laws as functors HNM0NTTKFM
| URI | m2://inv/HNM0NTTKFM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal group law#KAG2, Formal group laws as functors (statement)
History
- 2026-11-02: add by m2/dev
Definition HNM16HNNJW
| URI | m2://inv/HNM16HNNJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential effects#94PT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fermi acceleration HNM53HJGJ9
| URI | m2://inv/HNM53HJGJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermi acceleration, Fermi acceleration (definition). Also Wikidata Q2822925
History
- 2026-11-02: add by m2/dev
Consensus theorem HNMBJ2QBGJ
| URI | m2://inv/HNMBJ2QBGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#0XNA, Consensus theorem (statement)
History
- 2026-11-02: add by m2/dev
Local SQP--SQCQP direction stability HNMBY6PBW0
| URI | m2://inv/HNMBY6PBW0 |
|---|---|
| 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.18428#G52V, Local SQP--SQCQP direction stability (statement). In 6BGSQT7SV8/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
HNMCC57FFV HNMCC57FFV
| URI | m2://inv/HNMCC57FFV |
|---|---|
| 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.35421#28K0 (statement). In KE8B8KMDJJ/e1, theorem 0.3
History
- 2026-10-30: add by m2/v0.4.12
HNMJACHFGT HNMJACHFGT
| URI | m2://inv/HNMJACHFGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-ax.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 27.5
History
- 2026-11-01: add by m2/v0.6.13
HNMP9CM71S HNMP9CM71S
| URI | m2://inv/HNMP9CM71S |
|---|---|
| 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#YIC6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HNMRG0A0Q3 HNMRG0A0Q3
| URI | m2://inv/HNMRG0A0Q3 |
|---|---|
| Kind | statement |
| 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#GSK0 (statement). In X38P26DK6S/e1, corollary B.3
History
- 2026-10-27: add by m2/v0.4.0
Alexander Dynin HNMVHK83GT
| URI | m2://inv/HNMVHK83GT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Dynin, Alexander Dynin (topic). Also Wikidata Q4718783
History
- 2026-11-02: add by m2/dev
Kim Gruenenfelder HNMZD8T6Z4
| URI | m2://inv/HNMZD8T6Z4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#B3IS, Kim Gruenenfelder (unknown)
History
- 2026-11-02: add by m2/dev
Matrix Representations of Real Clifford algebras HNN2AE620B
| URI | m2://inv/HNN2AE620B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford module#THUV, Matrix Representations of Real Clifford algebras (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition HNN2XZC6WA
| URI | m2://inv/HNN2XZC6WA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore machine#N406, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
HNN5RDBSDH HNN5RDBSDH
| URI | m2://inv/HNN5RDBSDH |
|---|---|
| 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.02570#Y3Q9 (statement). In 6JK30RQ1SX/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
HNNB06RVJV HNNB06RVJV
| URI | m2://inv/HNNB06RVJV |
|---|---|
| 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.10221#CGW2 (statement). In 9Z5M655EPV/e1, corollary 3.5
History
- 2026-10-29: add by m2/v0.4.10
HNNFKCYX4S HNNFKCYX4S
| URI | m2://inv/HNNFKCYX4S |
|---|---|
| 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.17258#C00Y (statement). In F4M67ZVBF2/e1, theorem 2.12
History
- 2026-10-28: add by m2/v0.4.2
HNNH7X8AWE HNNH7X8AWE
| URI | m2://inv/HNNH7X8AWE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#2Z35 (example). In JXTG8KP95P/e1, example 8.3
History
- 2026-10-30: add by m2/v0.4.12
almost complex structure HNNJX1T04J
| URI | m2://inv/HNNJX1T04J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78340703, almost complex structure (unknown). Also EoM Almost-complex_structure, MathWorld AlmostComplexStructure
History
- 2026-10-26: add by m2/dev
Pavel Alexandrov HNNNPEJKT0
| URI | m2://inv/HNNNPEJKT0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VPF4, Pavel Alexandrov (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WOCX, Pavel Alexandrov (topic)
History
- 2026-11-02: add by m2/dev
A forward Khas'minskii bound for the far region HNNPVN8R2F
| URI | m2://inv/HNNPVN8R2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#KYYF, A forward Khas'minskii bound for the far region (statement)
History
- 2026-11-02: add by m2/v0.6.17
HNNQDJ2NSE HNNQDJ2NSE
| URI | m2://inv/HNNQDJ2NSE |
|---|---|
| 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.19534#BHIT (statement). In 22G1ATP2RA/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Quantum mechanics around the clock HNNV0SZQ2F
| URI | m2://inv/HNNV0SZQ2F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalizations of Pauli matrices#CU9S, Quantum mechanics around the clock (unknown)
History
- 2026-11-02: add by m2/dev
Definition HNP1X6NSMC
| URI | m2://inv/HNP1X6NSMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Veronese surface#21CN, Definition (definition)
History
- 2026-11-02: add by m2/dev
HNP30SZ36H HNP30SZ36H
| URI | m2://inv/HNP30SZ36H |
|---|---|
| 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 2511.17751#RZ3H (statement). In J39X0NB31S/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
undirected HNP594YDNB
| URI | m2://inv/HNP594YDNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#17IB, undirected (definition)
History
- 2026-11-02: add by m2/dev
HNP9TV0GR1 HNP9TV0GR1
| URI | m2://inv/HNP9TV0GR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#3GH1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HNPCT94PDS HNPCT94PDS
| URI | m2://inv/HNPCT94PDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#5LPY (statement). In RGXQ50RWXV/e1, corollary 3.6
History
- 2026-10-28: add by m2/v0.4.2
Francesco Barberino Benici HNPKGY97M7
| URI | m2://inv/HNPKGY97M7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francesco Barberino Benici, Francesco Barberino Benici (topic). Also Wikidata Q20056517
History
- 2026-11-02: add by m2/dev
HNPW19FY1P HNPW19FY1P
| URI | m2://inv/HNPW19FY1P |
|---|---|
| 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 2407.05730#RQZ7 (statement). In VQ7STN4KDC/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
HNQ4J18AXT HNQ4J18AXT
| URI | m2://inv/HNQ4J18AXT |
|---|---|
| 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 2111.01197#QOOR (statement). In Z36XFKVTS0/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
HNQ9D6V5A0 HNQ9D6V5A0
| URI | m2://inv/HNQ9D6V5A0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.15517#9T76 (statement). In C87H6KZSBM/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
HNQCNYNV7G HNQCNYNV7G
| URI | m2://inv/HNQCNYNV7G |
|---|---|
| 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 2606.20229#WH9W (statement). In 1B85G2QJC2/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.6
HNQN5F2RBS HNQN5F2RBS
| URI | m2://inv/HNQN5F2RBS |
|---|---|
| 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.16225#QB5X (definition). In H3DJV9YQW1/e1, definition 3.9
History
- 2026-10-28: add by m2/v0.4.2
The first-block criterion HNQWMSHVA9
| URI | m2://inv/HNQWMSHVA9 |
|---|---|
| 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#UI3W, The first-block criterion (statement). In 8BNPFYQDQX/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
Adele ring HNQZJF2MCP
| URI | m2://inv/HNQZJF2MCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adele ring, Adele ring (definition). Also Wikidata Q355356
History
- 2026-11-02: add by m2/dev
HNR1KKMVWZ HNR1KKMVWZ
| URI | m2://inv/HNR1KKMVWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09739#SLTN (statement). In ZYNZ95FSFD/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Example HNR29QN6YY
| URI | m2://inv/HNR29QN6YY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Typical set#DNBL, Example (example)
History
- 2026-11-02: add by m2/dev
HNRBWTWT06 HNRBWTWT06
| URI | m2://inv/HNRBWTWT06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10372#VA9T (statement). In P77W283VXT/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
HNRDCXHPE0 HNRDCXHPE0
| URI | m2://inv/HNRDCXHPE0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 100.8
History
- 2026-11-01: add by m2/v0.6.13
Formula for number of semiprimes HNRJ7XT3Z3
| URI | m2://inv/HNRJ7XT3Z3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiprime#TV4W, Formula for number of semiprimes (statement)
History
- 2026-11-02: add by m2/dev
Measurable cardinal HNRJCCFP61
| URI | m2://inv/HNRJCCFP61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statements independent of ZFC#J58L, Measurable cardinal (definition)
History
- 2026-11-02: add by m2/dev
Fifth Ward, Louisiana HNS5PG3JX0
| URI | m2://inv/HNS5PG3JX0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4DF1, Fifth Ward, Louisiana (unknown)
History
- 2026-11-02: add by m2/dev
HNS6G0BWX1 HNS6G0BWX1
| URI | m2://inv/HNS6G0BWX1 |
|---|---|
| Kind | definition |
| 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.16580#5HU9 (definition). In MQPBZX4DR6/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Scale analysis (statistics) HNS6NQ3DNF
| URI | m2://inv/HNS6NQ3DNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#W4DO, Scale analysis (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Behavioral criticisms of the Coase theorem HNS7SW6HF4
| URI | m2://inv/HNS7SW6HF4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coase theorem#Z9PZ, Behavioral criticisms of the Coase theorem (statement)
History
- 2026-11-02: add by m2/dev
Hodge bundle HNS9RTKHM0
| URI | m2://inv/HNS9RTKHM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after W. V. D. Hodge#KWVJ, Hodge bundle (definition)
History
- 2026-11-02: add by m2/dev
Henry Louis Rietz HNSE3E5QHF
| URI | m2://inv/HNSE3E5QHF |
|---|---|
| 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#0CSG, Henry Louis Rietz (topic)
History
- 2026-11-02: add by m2/dev
Theorems HNSHWCNQFZ
| URI | m2://inv/HNSHWCNQFZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heegaard splitting#U1JQ, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Max flow min cut theorem HNSJYCVTVJ
| URI | m2://inv/HNSJYCVTVJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QL1M, Max flow min cut theorem (statement)
History
- 2026-11-02: add by m2/dev
HNSNW8XDGP HNSNW8XDGP
| URI | m2://inv/HNSNW8XDGP |
|---|---|
| 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 2301.04933#FX4P (definition). In Q70CTMCJTP/e1, definition A.7
History
- 2026-10-27: add by m2/v0.3.5
Russell's teapot HNSQCEJ0HG
| URI | m2://inv/HNSQCEJ0HG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Russell's teapot, Russell's teapot (definition). Also Wikidata Q267277
History
- 2026-11-02: add by m2/dev
Jennifer Tour Chayes HNSS90SB9T
| URI | m2://inv/HNSS90SB9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennifer Tour Chayes, Jennifer Tour Chayes (topic). Also Wikidata Q11487
History
- 2026-11-02: add by m2/dev
Asuman Özdağlar HNST9W5PGC
| URI | m2://inv/HNST9W5PGC |
|---|---|
| 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#1G9M, Asuman Özdağlar (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition HNSV4VWK9S
| URI | m2://inv/HNSV4VWK9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive inverse#WKMW, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
HNT0TNC3J9 HNT0TNC3J9
| URI | m2://inv/HNT0TNC3J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13723#5W07 (statement). In HPBCRT0Z0V/e1, theorem 8
History
- 2026-10-28: add by m2/v0.4.2
Applications HNT5TYZ6XV
| URI | m2://inv/HNT5TYZ6XV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fabry–Pérot interferometer#39Q0, Applications (example)
History
- 2026-11-02: add by m2/dev
A symmetric-derivative equality on a Ricci-flat background HNT8CNBCZX
| URI | m2://inv/HNT8CNBCZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#XA6P, A symmetric-derivative equality on a Ricci-flat background (statement)
History
- 2026-11-01: add by m2/v0.6.15
Centrum Wiskunde & Informatica HNT8XD0V08
| URI | m2://inv/HNT8XD0V08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centrum Wiskunde & Informatica, Centrum Wiskunde & Informatica (definition). Also Wikidata Q1054410
History
- 2026-11-02: add by m2/dev
HNTBWFTAX6 HNTBWFTAX6
| URI | m2://inv/HNTBWFTAX6 |
|---|---|
| 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.23781#REWK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Strategy with multiple defences per time-step HNTNHYR3BK
| URI | m2://inv/HNTNHYR3BK |
|---|---|
| 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 2610.05459#4BF4, Strategy with multiple defences per time-step (definition). In VYW16D089Y/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Gerd Faltings HNTTNPKG6N
| URI | m2://inv/HNTTNPKG6N |
|---|---|
| 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 Q77137, Gerd Faltings (unknown). Also nLab Gerd Faltings, ProofWiki Mathematician:Gerd_Faltings
- wikipedia: Wikipedia Gerd Faltings, Gerd Faltings (topic). Also Wikidata Q77137
History
- 2026-10-26: add by m2/dev
HNTYACKB8K HNTYACKB8K
| URI | m2://inv/HNTYACKB8K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise:minmaxcont (exercise). In E59CDZA4DP, exercise, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
True-range multilateration HNV4Q6V7R9
| URI | m2://inv/HNV4Q6V7R9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia True-range multilateration, True-range multilateration (definition). Also Wikidata Q115650097
History
- 2026-11-02: add by m2/dev
HNV64GWA64 HNV64GWA64
| URI | m2://inv/HNV64GWA64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01694#K6KJ (statement). In EBMHYN0XK9/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.12
Yulia Gel HNVQ9CM3DP
| URI | m2://inv/HNVQ9CM3DP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yulia Gel, Yulia Gel (topic). Also Wikidata Q25999517
History
- 2026-11-02: add by m2/dev
Statement HNVY5Z3Z21
| URI | m2://inv/HNVY5Z3Z21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur–Horn theorem#NV23, Statement (statement)
History
- 2026-11-02: add by m2/dev
unique prime decomposition HNW0P8ZEQY
| URI | m2://inv/HNW0P8ZEQY |
|---|---|
| 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.05617#PPTO, unique prime decomposition (statement). In 5JP3JTYAXK/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.10
High-rate optimality of GRM for GMMs HNW2C638AD
| URI | m2://inv/HNW2C638AD |
|---|---|
| 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.15549#KBCY, High-rate optimality of GRM for GMMs (statement). In S96K5CR1B7/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
HNWDQV18TS HNWDQV18TS
| URI | m2://inv/HNWDQV18TS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-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 2609.28774#OBO5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definitions HNWHJ9D9K6
| URI | m2://inv/HNWHJ9D9K6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangent space#WAP4, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
HNWJGH0BX5 HNWJGH0BX5
| URI | m2://inv/HNWJGH0BX5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 2110.11143#GDH3 (definition). In VTVC0TCWSB/e1, definition 6.5
History
- 2026-10-27: add by m2/v0.3.5
Convergence theorems HNWZ0Q566X
| URI | m2://inv/HNWZ0Q566X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricci flow#ACVX, Convergence theorems (statement)
History
- 2026-11-02: add by m2/dev
Church encoding HNWZHNGB36
| URI | m2://inv/HNWZHNGB36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Church encoding, Church encoding (definition). Also Wikidata Q1089708
History
- 2026-11-02: add by m2/dev
Example HNX0EB0WQV
| URI | m2://inv/HNX0EB0WQV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange polynomial#AL40, Example (example)
History
- 2026-11-02: add by m2/dev
Proposition HNX296V496
| URI | m2://inv/HNX296V496 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central carrier#WACF, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Holm–Bonferroni method HNX2FFVN90
| URI | m2://inv/HNX2FFVN90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T8GL, Holm–Bonferroni method (definition)
History
- 2026-11-02: add by m2/dev
HNX8YA3971 HNX8YA3971
| URI | m2://inv/HNX8YA3971 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21954#KZYM (statement). In F2XATDBRK4/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
Products of the degree-one coefficients HNX9JXT2SR
| URI | m2://inv/HNX9JXT2SR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#GZG0, Products of the degree-one coefficients (statement). In TBFPBPQV3G/e1, lemma 8.8
History
- 2026-10-27: add by m2/v0.4.2
HNXEQP396Z HNXEQP396Z
| URI | m2://inv/HNXEQP396Z |
|---|---|
| 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 1601.02354#B8H4 (statement). In 3YSZKHNCRA/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Genichi Taguchi HNXNVJ1E1X
| URI | m2://inv/HNXNVJ1E1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genichi Taguchi, Genichi Taguchi (topic). Also Wikidata Q201416
History
- 2026-11-02: add by m2/dev
HNXTY5S2HS HNXTY5S2HS
| URI | m2://inv/HNXTY5S2HS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20678#JQZK (statement)
History
- 2026-11-02: add by m2/v0.6.18
F-theory HNXYZD7HAG
| URI | m2://inv/HNXYZD7HAG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#DHC3, F-theory (unknown)
History
- 2026-11-02: add by m2/dev
Fellsmere HNY5AREX2X
| URI | m2://inv/HNY5AREX2X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#P6R8, Fellsmere (unknown)
History
- 2026-11-02: add by m2/dev
HNY5QBZ607 HNY5QBZ607
| URI | m2://inv/HNY5QBZ607 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-4.xml#prop-invertible-det (statement). In 649HGZKE96, proposition, section 3.4.3
History
- 2026-11-01: add by m2/v0.6.13
symbolic power HNYDNPZVF5
| URI | m2://inv/HNYDNPZVF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#K11X, symbolic power (definition)
History
- 2026-11-02: add by m2/dev
Total-variation distance HNYHSCKEAJ
| URI | m2://inv/HNYHSCKEAJ |
|---|---|
| Kind | definition |
| 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.14988#D086, Total-variation distance (definition). In B29M4E6KGC/e1, definition E.1
History
- 2026-10-28: add by m2/v0.4.2
Bias HNYVSJTVB5
| URI | m2://inv/HNYVSJTVB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bias (statistics), Bias (definition). Also Wikidata Q15222032
History
- 2026-11-02: add by m2/dev
Cauchy–Frobenius lemma HNZ75XFMG8
| URI | m2://inv/HNZ75XFMG8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#BWUX, Cauchy–Frobenius lemma (unknown)
History
- 2026-11-02: add by m2/dev
Examples HNZ9H1TC0V
| URI | m2://inv/HNZ9H1TC0V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crosscap number#XN5R, Examples (example)
History
- 2026-11-02: add by m2/dev
Arvind Rajaraman HNZD3ANCDV
| URI | m2://inv/HNZD3ANCDV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#DC8J, Arvind Rajaraman (unknown)
History
- 2026-11-02: add by m2/dev
Statement HNZD3W7YYH
| URI | m2://inv/HNZD3W7YYH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Mumford criterion#Z90H, Statement (statement)
History
- 2026-11-02: add by m2/dev
List of militants fatality reports in Pakistan HNZEC6K7P2
| URI | m2://inv/HNZEC6K7P2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of militants fatality reports in Pakistan, List of militants fatality reports in Pakistan (topic). Also Wikidata Q16202211
History
- 2026-11-02: add by m2/dev
HNZFTE268X HNZFTE268X
| URI | m2://inv/HNZFTE268X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21933#513E (statement)
History
- 2026-11-02: add by m2/v0.6.17
Procedure HNZQ07T14D
| URI | m2://inv/HNZQ07T14D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benders decomposition#0PHB, Procedure (definition)
History
- 2026-11-02: add by m2/dev
Polhode HNZRT0GW6K
| URI | m2://inv/HNZRT0GW6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polhode, Polhode (definition). Also Wikidata Q597659
History
- 2026-11-02: add by m2/dev
Lemma HNZVHEM456
| URI | m2://inv/HNZVHEM456 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev's inequality#MZMM, Lemma (statement)
History
- 2026-11-02: add by m2/dev
HNZZPJN0Z1 HNZZPJN0Z1
| URI | m2://inv/HNZZPJN0Z1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39659#E1KB (statement). In BGVX27ZP22/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12