Inventory rows 3N
The cards of the rows of the inventory whose ids start with 3N. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
PROP 3N01J75GT9
| URI | m2://inv/3N01J75GT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PROP (category theory), PROP (definition). Also Wikidata Q7120416
History
- 2026-11-02: add by m2/dev
3N034GH5W9 3N034GH5W9
| URI | m2://inv/3N034GH5W9 |
|---|---|
| Kind | example |
| 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.07164#DSLO (example). In Q1XJ5VWE1N/e1, example 2.7
History
- 2026-10-29: add by m2/v0.4.10
3N07087B0X 3N07087B0X
| URI | m2://inv/3N07087B0X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.05923#ISOC (statement). In ZFKZ6YDT62/e1, lemma 12
History
- 2026-10-27: add by m2/v0.4.0
Rhombitetrahexagonal tiling 3N086XTTKY
| URI | m2://inv/3N086XTTKY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombitetrahexagonal tiling, Rhombitetrahexagonal tiling (object). Also Wikidata Q7321289
History
- 2026-11-02: add by m2/dev
3N09227TFG 3N09227TFG
| URI | m2://inv/3N09227TFG |
|---|---|
| Kind | definition |
| 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 2610.09945#B7MG (definition). In V7VCEA0VAA/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Karl Rohn 3N0AZ0649T
| URI | m2://inv/3N0AZ0649T |
|---|---|
| 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#LC9H, Karl Rohn (topic)
- wikipedia: Wikipedia List of German mathematicians#RTT7, Karl Rohn (topic)
History
- 2026-11-02: add by m2/dev
Alon 3N0MPXKW9J
| URI | m2://inv/3N0MPXKW9J |
|---|---|
| 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.29623#N28U, Alon (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bitcoin Cash 3N0PTEGRXR
| URI | m2://inv/3N0PTEGRXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitcoin Cash, Bitcoin Cash (definition). Also Wikidata Q34328146
History
- 2026-11-02: add by m2/dev
3N0SH9T9MS 3N0SH9T9MS
| URI | m2://inv/3N0SH9T9MS |
|---|---|
| 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.28046#WV6M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Esenin-Volpin's theorem 3N0Y6428VM
| URI | m2://inv/3N0Y6428VM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Esenin-Volpin's theorem, Esenin-Volpin's theorem (statement). Also Wikidata Q18206236
History
- 2026-11-02: add by m2/dev
3N12VQ8G75 3N12VQ8G75
| URI | m2://inv/3N12VQ8G75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37103#HLHL (statement). In 6Q8YMAWFZN/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
Finsler geometry 3N169W5YDD
| URI | m2://inv/3N169W5YDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#N5E3, Finsler geometry (definition)
History
- 2026-11-02: add by m2/dev
Category of measurable spaces 3N198SH9AH
| URI | m2://inv/3N198SH9AH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of measurable spaces, Category of measurable spaces (definition). Also Wikidata Q127218541
History
- 2026-11-02: add by m2/dev
3N1CN80G5A 3N1CN80G5A
| URI | m2://inv/3N1CN80G5A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 92.4
History
- 2026-11-01: add by m2/v0.6.13
3N1CY03EH3 3N1CY03EH3
| URI | m2://inv/3N1CY03EH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13953#PV5W (statement). In D8258MF12E/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Definition 3N1DNEP9H4
| URI | m2://inv/3N1DNEP9H4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree distribution#OC75, Definition (definition)
History
- 2026-11-02: add by m2/dev
Arkadi Nemirovski 3N1NKDP5DE
| URI | m2://inv/3N1NKDP5DE |
|---|---|
| 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#9SE1, Arkadi Nemirovski (unknown)
History
- 2026-11-02: add by m2/dev
Auxiliary functions from the pigeonhole principle 3N1SWDT29V
| URI | m2://inv/3N1SWDT29V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auxiliary function#HVXO, Auxiliary functions from the pigeonhole principle (statement)
History
- 2026-11-02: add by m2/dev
Formulation 3N2467HY6X
| URI | m2://inv/3N2467HY6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wallace–Bolyai–Gerwien theorem#MTTT, Formulation (definition)
History
- 2026-11-02: add by m2/dev
3N24JWT0DD 3N24JWT0DD
| URI | m2://inv/3N24JWT0DD |
|---|---|
| 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.30303#6URJ (statement). In 2QJGSMSG5W/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
Alberti cipher 3N26PYCENZ
| URI | m2://inv/3N26PYCENZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alberti cipher, Alberti cipher (definition). Also Wikidata Q2282737
History
- 2026-11-02: add by m2/dev
3N28TR54GX 3N28TR54GX
| URI | m2://inv/3N28TR54GX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#XD3D (statement). In WRE0P7V6Z3/e1, theorem 1.39
History
- 2026-10-30: add by m2/v0.4.12
type, of lists 3N2A5E1EK8
| URI | m2://inv/3N2A5E1EK8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.3/type-of-lists, type, of lists (concept). In N54F33XE07, index, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
Discrete comparison principle 3N2BKPG5S0
| URI | m2://inv/3N2BKPG5S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05313#R7XT, Discrete comparison principle (statement). In 8XPN1A2GR0/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Hectogon 3N2MX6DBJ2
| URI | m2://inv/3N2MX6DBJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#258U, Hectogon (definition)
History
- 2026-11-02: add by m2/dev
Finite-energy weak solution 3N2QNQWPFV
| URI | m2://inv/3N2QNQWPFV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24960#2WXN, Finite-energy weak solution (definition)
History
- 2026-11-01: add by m2/v0.6.15
3N2WHK5ECZ 3N2WHK5ECZ
| URI | m2://inv/3N2WHK5ECZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#A4D7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
3N37FN2Y2Z 3N37FN2Y2Z
| URI | m2://inv/3N37FN2Y2Z |
|---|---|
| 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.19251#TI8G (statement). In CSW6NG0FRN/e1, proposition 4.12
History
- 2026-10-28: add by m2/v0.4.2
Activity selection problem 3N3D63H9V0
| URI | m2://inv/3N3D63H9V0 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Activity selection problem, Activity selection problem (problem). Also Wikidata Q10859675
History
- 2026-11-02: add by m2/dev
admissible rule 3N3N8ZXVXA
| URI | m2://inv/3N3N8ZXVXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1560157, admissible rule (unknown). Also nLab admissible rule
- wikipedia: Wikipedia Admissible rule, Admissible rule (definition). Also Wikidata Q1560157
History
- 2026-10-26: add by m2/dev
SDMX 3N47ZMPCVK
| URI | m2://inv/3N47ZMPCVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SDMX, SDMX (definition). Also Wikidata Q2713163
History
- 2026-11-02: add by m2/dev
3N4BQN5ZCD 3N4BQN5ZCD
| URI | m2://inv/3N4BQN5ZCD |
|---|---|
| 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 2607.28185#XM8Y (statement). In EG1XXNSTXX/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Alexander Schrijver 3N4K87P24W
| URI | m2://inv/3N4K87P24W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9SF6, Alexander Schrijver (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IC9S, Alexander Schrijver (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QZM7, Alexander Schrijver (topic)
History
- 2026-11-02: add by m2/dev
Examples 3N4KG1SRX2
| URI | m2://inv/3N4KG1SRX2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-local ring#MBBF, Examples (example)
History
- 2026-11-02: add by m2/dev
Internal homs over a base 3N4M7KHP47
| URI | m2://inv/3N4M7KHP47 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#CFEU, Internal homs over a base (statement)
History
- 2026-11-01: add by m2/v0.6.15
3N572B2SXD 3N572B2SXD
| URI | m2://inv/3N572B2SXD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect number#K1M1 (problem)
History
- 2026-11-02: add by m2/dev
3N5BJ94Y1T 3N5BJ94Y1T
| URI | m2://inv/3N5BJ94Y1T |
|---|---|
| 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.23597#1NMJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
3N5D9GSVV7 3N5D9GSVV7
| URI | m2://inv/3N5D9GSVV7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#L5QX (definition)
History
- 2026-11-01: add by m2/v0.6.15
3N5FEKQTQ5 3N5FEKQTQ5
| URI | m2://inv/3N5FEKQTQ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06806#VX69 (definition). In ZZQT0GFMT2/e1, definition 6.2
History
- 2026-10-29: add by m2/v0.4.10
Definitions 3N5FYWDD1A
| URI | m2://inv/3N5FYWDD1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division algebra#UR5R, Definitions (definition)
History
- 2026-11-02: add by m2/dev
3N5GCGP961 3N5GCGP961
| URI | m2://inv/3N5GCGP961 |
|---|---|
| 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 2108.03672#G5MJ (statement). In EZZSZ1F071/e1, lemma 3.12
History
- 2026-10-27: add by m2/v0.4.0
Parabolic model 3N5K7W5S8B
| URI | m2://inv/3N5K7W5S8B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#X0BQ, Parabolic model (statement). In 29X0B511NF/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
3N5PF9XVNX 3N5PF9XVNX
| URI | m2://inv/3N5PF9XVNX |
|---|---|
| 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 1606.05058#9FO4 (statement). In V6392C0ANF/e1, theorem C.1
History
- 2026-10-27: add by m2/v0.3.5
Jinde Cao 3N5RM6EF25
| URI | m2://inv/3N5RM6EF25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jinde Cao, Jinde Cao (topic). Also Wikidata Q29266713
History
- 2026-11-02: add by m2/dev
Method 3N5X5T5M1T
| URI | m2://inv/3N5X5T5M1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain coloring#SL54, Method (definition)
History
- 2026-11-02: add by m2/dev
$q$-uniqueness at $L = 27$ 3N5X9JPXEM
| URI | m2://inv/3N5X9JPXEM |
|---|---|
| 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.25543#QPJ4, $q$-uniqueness at $L = 27$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
3N5YTXN84G 3N5YTXN84G
| URI | m2://inv/3N5YTXN84G |
|---|---|
| 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 2303.11021#695Q (definition). In B2ZK4DF2PM/e1, definition 4
History
- 2026-10-27: add by m2/v0.4.0
3N6118ZA05 3N6118ZA05
| URI | m2://inv/3N6118ZA05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#FEJC (statement). In JXTG8KP95P/e1, lemma 2.20
History
- 2026-10-30: add by m2/v0.4.12
3N62657PSF 3N62657PSF
| URI | m2://inv/3N62657PSF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#76LW (definition). In V97F4YZ8B0/e1, definition 5.10
History
- 2026-10-28: add by m2/v0.4.2
3N638QKD2Q 3N638QKD2Q
| URI | m2://inv/3N638QKD2Q |
|---|---|
| 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 2211.14214#8DLQ (statement). In SY85Y9E45A/e1, proposition 42
History
- 2026-10-27: add by m2/v0.3.5
The Ising boost along the pair chain 3N6A1PQ1MY
| URI | m2://inv/3N6A1PQ1MY |
|---|---|
| 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#C4RK, The Ising boost along the pair chain (statement)
History
- 2026-11-02: add by m2/v0.6.17
Example 3N6CN25B35
| URI | m2://inv/3N6CN25B35 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation attack#JLYK, Example (example)
History
- 2026-11-02: add by m2/dev
tangential structure 3N6D8AQA6D
| URI | m2://inv/3N6D8AQA6D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07608#4518, tangential structure (definition). In X8FQD4TEVG/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Eugen Netto 3N6FK0KG8W
| URI | m2://inv/3N6FK0KG8W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#8OBE, Eugen Netto (topic)
History
- 2026-11-02: add by m2/dev
Achilles and the Tortoise 3N6H2DDJ27
| URI | m2://inv/3N6H2DDJ27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeno's paradoxes#K59D, Achilles and the Tortoise (unknown)
History
- 2026-11-02: add by m2/dev
Examples 3N757X7849
| URI | m2://inv/3N757X7849 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finiteness properties of groups#DXSG, Examples (example)
History
- 2026-11-02: add by m2/dev
Interchange lemma 3N76KHJP0Y
| URI | m2://inv/3N76KHJP0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interchange lemma, Interchange lemma (statement). Also Wikidata Q60789213
History
- 2026-11-02: add by m2/dev
Crepant resolution 3N78ZHE5QF
| URI | m2://inv/3N78ZHE5QF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crepant resolution, Crepant resolution (definition). Also Wikidata Q5184228
History
- 2026-11-02: add by m2/dev
Examples 3N7K2H1HYZ
| URI | m2://inv/3N7K2H1HYZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associated graded ring#S74G, Examples (example)
History
- 2026-11-02: add by m2/dev
Kirill Reznik 3N7MBRX9N6
| URI | m2://inv/3N7MBRX9N6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#SUZQ, Kirill Reznik (unknown)
History
- 2026-11-02: add by m2/dev
SmoothReLU 3N7VNMA2K0
| URI | m2://inv/3N7VNMA2K0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified linear unit#3L8C, SmoothReLU (unknown)
History
- 2026-11-02: add by m2/dev
3N828DB7C1 3N828DB7C1
| URI | m2://inv/3N828DB7C1 |
|---|---|
| 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.40156#SXUH (statement). In PP8BEHWK33/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
Composition of Substitutions is Well-Typed 3N82TSXPZN
| URI | m2://inv/3N82TSXPZN |
|---|---|
| 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 2610.21131#OJJ2, Composition of Substitutions is Well-Typed (statement). In CPYWHRTPKC/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.4.2
Joachim Nitsche 3N84C68RAQ
| URI | m2://inv/3N84C68RAQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joachim Nitsche, Joachim Nitsche (topic). Also Wikidata Q106629
History
- 2026-11-02: add by m2/dev
3N87AKBWVY 3N87AKBWVY
| URI | m2://inv/3N87AKBWVY |
|---|---|
| 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.08424#IY0Q (statement). In BVD2HAAKD5/e1, theorem 1.10
History
- 2026-10-29: add by m2/v0.4.10
3N89PCRZBD 3N89PCRZBD
| URI | m2://inv/3N89PCRZBD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_rigorous.ptx#lem_rr (statement). In QKM9DD2H56, lemma, section 9.5.3
History
- 2026-11-01: add by m2/v0.6.13
degree 3N8SFZEZ20
| URI | m2://inv/3N8SFZEZ20 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/degree, degree (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Notation 3N8V9FCE1H
| URI | m2://inv/3N8V9FCE1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SKI combinator calculus#EK7U, Notation (definition)
History
- 2026-11-02: add by m2/dev
Consequences of \HR 3N96AV8CHZ
| URI | m2://inv/3N96AV8CHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20106#FKB5, Consequences of \HR (statement). In 6HMZ36ZBXA/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
3N96SQA98P 3N96SQA98P
| URI | m2://inv/3N96SQA98P |
|---|---|
| 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 2110.14727#ZRJB (statement). In EZTB8NZGVT/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.0
3N9CPWP7TN 3N9CPWP7TN
| URI | m2://inv/3N9CPWP7TN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#WX6E (statement). In D68KBZQ4Q6/e1, lemma 3.16
History
- 2026-10-28: add by m2/v0.4.2
Definition 3N9WW411EV
| URI | m2://inv/3N9WW411EV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BQP#7EP7, Definition (definition)
History
- 2026-11-02: add by m2/dev
3N9Z62EFNG 3N9Z62EFNG
| URI | m2://inv/3N9Z62EFNG |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36412#URH3 (problem). In 6HKGGCMBCK/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
Holtsmark, Gabriel Gabrielsen 3NA3DB96WR
| URI | m2://inv/3NA3DB96WR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#U8EE, Holtsmark, Gabriel Gabrielsen (unknown)
History
- 2026-11-02: add by m2/dev
3NA53AY24N 3NA53AY24N
| URI | m2://inv/3NA53AY24N |
|---|---|
| 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.18017#11C6 (statement). In EBSQEQYECS/e1, theorem 0.5
History
- 2026-10-28: add by m2/v0.4.2
Pietro Abbati Marescotti 3NA65339AV
| URI | m2://inv/3NA65339AV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#LPU7, Pietro Abbati Marescotti (topic)
- wikipedia: Wikipedia List of Italian mathematicians#U4NC, Pietro Abbati Marescotti (topic)
History
- 2026-11-02: add by m2/dev
3NA829X2QG 3NA829X2QG
| URI | m2://inv/3NA829X2QG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/partial-iso.tex#thm:b-n-f (statement). In PKGMM3P5QY, thm, section 46.5
History
- 2026-11-01: add by m2/v0.6.13
3NAHFTQ972 3NAHFTQ972
| URI | m2://inv/3NAHFTQ972 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.08839#M0GV (statement). In HJPDS53MX4/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.4.0
3NAKF68SSY 3NAKF68SSY
| URI | m2://inv/3NAKF68SSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11869#91ZI (statement). In B5GGGWNJA6/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.3
3NARDM6FRZ 3NARDM6FRZ
| URI | m2://inv/3NARDM6FRZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/church-rosser.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 36.5
History
- 2026-11-01: add by m2/v0.6.13
Definition 3NAS1TTQM7
| URI | m2://inv/3NAS1TTQM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia All one polynomial#A2AP, Definition (definition)
History
- 2026-11-02: add by m2/dev
3NAVNQC4T3 3NAVNQC4T3
| URI | m2://inv/3NAVNQC4T3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13658#60VR (statement). In R9BC934K3E/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
3NB4HNF2S0 3NB4HNF2S0
| URI | m2://inv/3NB4HNF2S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#31TG (statement). In 1MPH7GCFJ2/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.2
3NB9R169Y2 3NB9R169Y2
| URI | m2://inv/3NB9R169Y2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_intro.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
D'Agostino's K-squared test 3NBH86Y3Z9
| URI | m2://inv/3NBH86Y3Z9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KRL5, D'Agostino's K-squared test (definition)
History
- 2026-11-02: add by m2/dev
3NBHAPZ6RY 3NBHAPZ6RY
| URI | m2://inv/3NBHAPZ6RY |
|---|---|
| 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.20187#CHEK (statement). In N280AVNNBY/e1, theorem C.4
History
- 2026-10-27: add by m2/v0.4.2
Examples 3NBP9KWX8E
| URI | m2://inv/3NBP9KWX8E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition of a set#R8Z2, Examples (example)
History
- 2026-11-02: add by m2/dev
3NBS7H5W9Z 3NBS7H5W9Z
| URI | m2://inv/3NBS7H5W9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.22882#BGCX (statement). In YNE0Q2X61Y/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Triangulation 3NBT3SEKQR
| URI | m2://inv/3NBT3SEKQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangulation (surveying), Triangulation (definition). Also Wikidata Q25344447
History
- 2026-11-02: add by m2/dev
Window comparison 3NBTX31N00
| URI | m2://inv/3NBTX31N00 |
|---|---|
| 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.29147#SQSZ, Window comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
Strong maximum principle 3NBY18VZYM
| URI | m2://inv/3NBY18VZYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11034#51QA, Strong maximum principle (statement). In 2KACPY9MMF/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.3
3NC0B0CW7N 3NC0B0CW7N
| URI | m2://inv/3NC0B0CW7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19243#YGI6 (statement). In 8CSXBTYKDT/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
3NC3DTXG19 3NC3DTXG19
| URI | m2://inv/3NC3DTXG19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#Q9YU (statement). In VN084GGZGK/e1, lemma 4.18
History
- 2026-10-28: add by m2/v0.4.3
Archytas 3NC646BEES
| URI | m2://inv/3NC646BEES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#Y7O5, Archytas (unknown)
History
- 2026-11-02: add by m2/dev
The binary invariant 3NCC5JMWGZ
| URI | m2://inv/3NCC5JMWGZ |
|---|---|
| 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.13365#TFS3, The binary invariant (statement). In YMBTSX10FF/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
3NCDKGCXS1 3NCDKGCXS1
| URI | m2://inv/3NCDKGCXS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.20718#KTSE (statement)
History
- 2026-11-02: add by m2/v0.6.18
cohomological descent 3NCF6K9JFX
| URI | m2://inv/3NCF6K9JFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19596425, cohomological descent (unknown). Also nLab cohomological descent
- wikipedia: Wikipedia Cohomological descent, Cohomological descent (definition). Also Wikidata Q19596425
History
- 2026-10-26: add by m2/dev
3NCMT5Q47Y 3NCMT5Q47Y
| URI | m2://inv/3NCMT5Q47Y |
|---|---|
| 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.02692#6EIP (statement). In P482WJSQSN/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Cheng's eigenvalue comparison theorem 3NCQB0VRHE
| URI | m2://inv/3NCQB0VRHE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#8QH3, Cheng's eigenvalue comparison theorem (statement)
History
- 2026-11-02: add by m2/dev
Sierpiński number 3NCT88KDH4
| URI | m2://inv/3NCT88KDH4 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Wacław Sierpiński#CNQB, Sierpiński number (conjecture)
History
- 2026-11-02: add by m2/dev
Dyadic operator comparison 3ND0XENDWH
| URI | m2://inv/3ND0XENDWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16248#HM0D, Dyadic operator comparison (statement). In TP61DYMBMK/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
3ND4GZ3EYP 3ND4GZ3EYP
| URI | m2://inv/3ND4GZ3EYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#0COJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
3ND732V8QE 3ND732V8QE
| URI | m2://inv/3ND732V8QE |
|---|---|
| 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.03555#XUV4 (statement). In 9JZJTRRVR1/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.12
3NDAFWY39N 3NDAFWY39N
| URI | m2://inv/3NDAFWY39N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#VEFY (statement). In ZJQB9W60T6/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
Paul Muhly 3NDECBY2D1
| URI | m2://inv/3NDECBY2D1 |
|---|---|
| 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 Q65665739, Paul Muhly (unknown). Also nLab Paul Muhly
- wikipedia: Wikipedia Paul Muhly, Paul Muhly (topic). Also Wikidata Q65665739
History
- 2026-10-26: add by m2/dev
3NDMGW5K3Q 3NDMGW5K3Q
| URI | m2://inv/3NDMGW5K3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.03499#MKS7 (statement). In NAE99N03W3/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
Statement 3NDN32J9SD
| URI | m2://inv/3NDN32J9SD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ky Fan lemma#2JLT, Statement (statement)
History
- 2026-11-02: add by m2/dev
List of rotor machines 3NDNNB86J5
| URI | m2://inv/3NDNNB86J5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotor machine#D1OW, List of rotor machines (unknown)
History
- 2026-11-02: add by m2/dev
Examples 3NDP05Q3RD
| URI | m2://inv/3NDP05Q3RD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequence transformation#RHDJ, Examples (example)
History
- 2026-11-02: add by m2/dev
Basic properties 3NDWGR6X9V
| URI | m2://inv/3NDWGR6X9V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized hypergeometric function#ITXS, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Generalized Pigeon Hole Principle 3NDY7PXJV5
| URI | m2://inv/3NDY7PXJV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_color.ptx#prop_graphs_pigeon-general, Generalized Pigeon Hole Principle (statement). In QKM9DD2H56, proposition, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
3NE03NH7SH 3NE03NH7SH
| URI | m2://inv/3NE03NH7SH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/formulas.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 62.4
History
- 2026-11-01: add by m2/v0.6.13
Alexandrov solution 3NE5Y594QX
| URI | m2://inv/3NE5Y594QX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17519#166Q, Alexandrov solution (definition). In H2DNTQ5MKV/e1, definition 3.6
History
- 2026-10-28: add by m2/v0.4.2
Symmetry principles 3NE9FW2010
| URI | m2://inv/3NE9FW2010 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry#RE22, Symmetry principles (unknown)
History
- 2026-11-02: add by m2/dev
Isoperimetric inequality 3NEAVJNV2C
| URI | m2://inv/3NEAVJNV2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#D9FK, Isoperimetric inequality (statement)
History
- 2026-11-02: add by m2/dev
membership 3NEC47NYAH
| URI | m2://inv/3NEC47NYAH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.1/membership, membership (concept). In QKM9DD2H56, index, section B.1
History
- 2026-11-01: add by m2/v0.6.13
3NEJ9DVQJ5 3NEJ9DVQJ5
| URI | m2://inv/3NEJ9DVQJ5 |
|---|---|
| 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 1804.06366#LRV5 (definition). In 89XYDVXG38/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
3NEQQVNBP5 3NEQQVNBP5
| URI | m2://inv/3NEQQVNBP5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/sol-and-set-theory/comparing-sets.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 66.4
History
- 2026-11-01: add by m2/v0.6.13
Copeland–Erdős constant 3NEQV9NHT1
| URI | m2://inv/3NEQV9NHT1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q931099, Copeland–Erdős constant (object). Also MathWorld Copeland-ErdosConstant
- wikipedia: Wikipedia Copeland–Erdős constant, Copeland–Erdős constant (object). Also Wikidata Q931099
History
- 2026-10-26: add by m2/dev
Goodness of fit 3NEVQSHVWF
| URI | m2://inv/3NEVQSHVWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goodness of fit, Goodness of fit (definition). Also Wikidata Q2034239
History
- 2026-11-02: add by m2/dev
3NEYAJM4MF 3NEYAJM4MF
| URI | m2://inv/3NEYAJM4MF |
|---|---|
| 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.15367#2EEP (statement). In 9AFZ1S368G/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
3NF7M0GHQP 3NF7M0GHQP
| URI | m2://inv/3NF7M0GHQP |
|---|---|
| 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 2503.08488#LIR9 (statement). In QH5MZXMXQH/e1, lemma 6.6
History
- 2026-10-27: add by m2/v0.3.5
Finite-sample Frobenius ordering 3NFB7F5BFC
| URI | m2://inv/3NFB7F5BFC |
|---|---|
| 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.16680#7K0B, Finite-sample Frobenius ordering (statement). In H29YHXQZV6/e1, corollary 25
History
- 2026-10-28: add by m2/v0.4.2
Betti number 3NFFQZ4M46
| URI | m2://inv/3NFFQZ4M46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#P9OW, Betti number (definition)
History
- 2026-11-02: add by m2/dev
Schläfli orthoscheme 3NFGDV25FV
| URI | m2://inv/3NFGDV25FV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schläfli orthoscheme, Schläfli orthoscheme (definition). Also Wikidata Q7431764
History
- 2026-11-02: add by m2/dev
3NFJA2PF6Q 3NFJA2PF6Q
| URI | m2://inv/3NFJA2PF6Q |
|---|---|
| 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.10600#L6OP (statement). In V7WT21EDPM/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
3NG4T2V60C 3NG4T2V60C
| URI | m2://inv/3NG4T2V60C |
|---|---|
| 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.04252#VOSK (statement). In ZF0Z61VQ96/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.12
Spatial curvature 3NG9Q9XEKK
| URI | m2://inv/3NG9Q9XEKK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedmann–Lemaître–Robertson–Walker metric#NGK1, Spatial curvature (unknown)
History
- 2026-11-02: add by m2/dev
3NG9SXPS13 3NG9SXPS13
| URI | m2://inv/3NG9SXPS13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#V6A1 (statement). In 60CK7P5F36/e1, lemma 7.6
History
- 2026-10-27: add by m2/v0.3.5
Gautschi's inequality 3NGA0REJZN
| URI | m2://inv/3NGA0REJZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gautschi's inequality, Gautschi's inequality (statement). Also Wikidata Q60792697
History
- 2026-11-02: add by m2/dev
3NGH4CAW9X 3NGH4CAW9X
| URI | m2://inv/3NGH4CAW9X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 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 2609.31883#8KXS (example). In XBHQRTBH62/e1, example 1.4
History
- 2026-10-31: add by m2/v0.5.6
The Bennequin inequality 3NGTC8WQQB
| URI | m2://inv/3NGTC8WQQB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thurston–Bennequin number#XF0W, The Bennequin inequality (statement)
History
- 2026-11-02: add by m2/dev
Hardy–Littlewood inequality 3NGY4V8DWD
| URI | m2://inv/3NGY4V8DWD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy–Littlewood inequality, Hardy–Littlewood inequality (statement). Also Wikidata Q2590416
History
- 2026-11-02: add by m2/dev
Control strategy 3NGZ3QHA0V
| URI | m2://inv/3NGZ3QHA0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control theory#C9U3, Control strategy (unknown)
History
- 2026-11-02: add by m2/dev
Ergodic Ramsey theory 3NH53X6BQM
| URI | m2://inv/3NH53X6BQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#09CH, Ergodic Ramsey theory (definition)
History
- 2026-11-02: add by m2/dev
3NH5CMJF6H 3NH5CMJF6H
| URI | m2://inv/3NH5CMJF6H |
|---|---|
| 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 2310.02073#JP99 (statement). In 3PNCRG6J62/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Monopole singularity 3NH7RNAJ2B
| URI | m2://inv/3NH7RNAJ2B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic monopole#0ROO, Monopole singularity (unknown)
History
- 2026-11-02: add by m2/dev
The first plateau 3NH8WWJ3HT
| URI | m2://inv/3NH8WWJ3HT |
|---|---|
| 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.06480#SO8W, The first plateau (statement). In 2Y47E704Z9/e1, corollary 4.10
History
- 2026-10-29: add by m2/v0.4.10
3NH9SKZ571 3NH9SKZ571
| URI | m2://inv/3NH9SKZ571 |
|---|---|
| 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.20110#97ZX (statement). In 1SAMKN4477/e1, proposition 2.12
History
- 2026-10-27: add by m2/v0.4.2
3NHA9GVPVJ 3NHA9GVPVJ
| URI | m2://inv/3NHA9GVPVJ |
|---|---|
| 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#JV3H (statement). In X38P26DK6S/e1, lemma 5.26
History
- 2026-10-27: add by m2/v0.4.0
Infeasibility of the first half-step for primal extragradient on curved constraints 3NHCZDT1MB
| URI | m2://inv/3NHCZDT1MB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32981#J33D, Infeasibility of the first half-step for primal extragradient on curved constraints (statement). In AXDF7YN2RW/e1, theorem 4.5
History
- 2026-10-31: add by m2/v0.5.6
Sándor Csörgő 3NHDE36WQZ
| URI | m2://inv/3NHDE36WQZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QS5Z, Sándor Csörgő (topic)
History
- 2026-11-02: add by m2/dev
Definition 3NHFXQYXNW
| URI | m2://inv/3NHFXQYXNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudolikelihood#4YL2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Convergence to Critical Point 3NHKWV5SJK
| URI | m2://inv/3NHKWV5SJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37489#EZSK, Convergence to Critical Point (statement). In 5ZC91T5PHQ/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
Unstable Molecules 3NHMQ31K4Z
| URI | m2://inv/3NHMQ31K4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metastability#E234, Unstable Molecules (unknown)
History
- 2026-11-02: add by m2/dev
3NHT9KFE2K 3NHT9KFE2K
| URI | m2://inv/3NHT9KFE2K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39254#96H4 (definition). In A59MZ9H284/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Petrov classification 3NJ4TXEYDP
| URI | m2://inv/3NJ4TXEYDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petrov classification, Petrov classification (definition). Also Wikidata Q4223027
History
- 2026-11-02: add by m2/dev
3NJNFG4VA6 3NJNFG4VA6
| URI | m2://inv/3NJNFG4VA6 |
|---|---|
| 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#5D79 (statement). In 75GDSC8460/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
3NJVMDTS01 3NJVMDTS01
| URI | m2://inv/3NJVMDTS01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#lemma-4 (statement). In RZP28ERRZV, lemma, section 88.4
History
- 2026-11-01: add by m2/v0.6.13
3NK0KSYV06 3NK0KSYV06
| URI | m2://inv/3NK0KSYV06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0804.3628#RCCK (statement). In E2WHVW5VSD/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Ostrowski's theorem 3NK0XTK4HV
| URI | m2://inv/3NK0XTK4HV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#A8KD, Ostrowski's theorem (statement)
History
- 2026-11-02: add by m2/dev
discrete Gronwall lemma 1 3NK54EKY7G
| URI | m2://inv/3NK54EKY7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28961#DJNW, discrete Gronwall lemma 1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Isomap 3NK59YV1XP
| URI | m2://inv/3NK59YV1XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7T8M, Isomap (definition)
History
- 2026-11-02: add by m2/dev
Definition 3NK5WR07X6
| URI | m2://inv/3NK5WR07X6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finitary relation#LT8D, Definition (definition)
History
- 2026-11-02: add by m2/dev
3NK6H6436R 3NK6H6436R
| URI | m2://inv/3NK6H6436R |
|---|---|
| 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 2410.10337#NBVX (statement). In RBBF0XNZ5E/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Hans Wussing 3NK6HYZRHX
| URI | m2://inv/3NK6HYZRHX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#K7CV, Hans Wussing (unknown)
History
- 2026-11-02: add by m2/dev
3NKSY0MFRZ 3NKSY0MFRZ
| URI | m2://inv/3NKSY0MFRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11082#BS5I (statement). In GFPFFN0BXV/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.3
Algebraic Composition and Whiskering 3NKT6RG4RA
| URI | m2://inv/3NKT6RG4RA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20860#WQZE, Algebraic Composition and Whiskering (definition)
History
- 2026-11-02: add by m2/v0.6.18
Tensor product of fields 3NKTEZGMJF
| URI | m2://inv/3NKTEZGMJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#GMYN, Tensor product of fields (definition)
- wikipedia: Wikipedia List of commutative algebra topics#XBCV, Tensor product of fields (definition)
History
- 2026-11-02: add by m2/dev
Whiskering (category theory) 3NM2TWPEYH
| URI | m2://inv/3NM2TWPEYH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural transformation#38GV, Whiskering (category theory) (unknown)
History
- 2026-11-02: add by m2/dev
perimeter 3NM8DZ33BW
| URI | m2://inv/3NM8DZ33BW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28474, perimeter (unknown). Also EoM Perimeter, MathWorld Perimeter
- wikipedia: Wikipedia Perimeter, Perimeter (definition). Also Wikidata Q28474
History
- 2026-10-26: add by m2/dev
3NMEPDACVX 3NMEPDACVX
| URI | m2://inv/3NMEPDACVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#TQS5 (statement). In A4VP56CT7B/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
3NMH83Z675 3NMH83Z675
| URI | m2://inv/3NMH83Z675 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surjunctive group#A9JF (problem)
History
- 2026-11-02: add by m2/dev
Steve Butler 3NMKHPF1HE
| URI | m2://inv/3NMKHPF1HE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SDDZ, Steve Butler (topic)
History
- 2026-11-02: add by m2/dev
Kiyoshi Oka 3NMMQ66KQ5
| URI | m2://inv/3NMMQ66KQ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kiyoshi Oka, Kiyoshi Oka (topic). Also Wikidata Q1062061
History
- 2026-11-02: add by m2/dev
Persistence of a number 3NMQ5F1CE2
| URI | m2://inv/3NMQ5F1CE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#WIPF, Persistence of a number (definition)
History
- 2026-11-02: add by m2/dev
Entropy production 3NMTGERNM4
| URI | m2://inv/3NMTGERNM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy production, Entropy production (definition). Also Wikidata Q5380811
History
- 2026-11-02: add by m2/dev
Definition and properties 3NMVXPWCEF
| URI | m2://inv/3NMVXPWCEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zolotarev polynomials#FE57, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Complete identity test 3NMXHX2KYB
| URI | m2://inv/3NMXHX2KYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#RJ22, Complete identity test (statement). In E7W2HDNEKJ/e1, proposition H.1
History
- 2026-10-30: add by m2/v0.4.12
3NNCC5YEAJ 3NNCC5YEAJ
| URI | m2://inv/3NNCC5YEAJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19132#J70D (statement). In 3CQJND929F/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
3NNDNJ2GE0 3NNDNJ2GE0
| URI | m2://inv/3NNDNJ2GE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#ABXW (statement). In 3A4K47Y9F2/e1, lemma 5.29
History
- 2026-10-27: add by m2/v0.4.0
regular polygons 3NNS681W8Z
| URI | m2://inv/3NNS681W8Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > regular polygons, regular polygons (unknown)
History
- 2026-10-26: add by m2/dev
3NNSHVHYPN 3NNSHVHYPN
| URI | m2://inv/3NNSHVHYPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-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.35543#UB9C (statement). In WSG1ZW956E/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
3NNV9JNYM9 3NNV9JNYM9
| URI | m2://inv/3NNV9JNYM9 |
|---|---|
| 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.29918#C5ND (statement)
History
- 2026-11-01: add by m2/v0.6.15
3NNWGWRZSY 3NNWGWRZSY
| URI | m2://inv/3NNWGWRZSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#AYTO (statement). In 48QX0QD0XR/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.3
catastrophe 3NPAQ4JKRJ
| URI | m2://inv/3NPAQ4JKRJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132320242, catastrophe (unknown). Also MathWorld Catastrophe
History
- 2026-10-26: add by m2/dev
Lem.\,5.4 3NPV7YCPWA
| URI | m2://inv/3NPV7YCPWA |
|---|---|
| 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.07855#2TU2, Lem.\,5.4 (statement). In 1VT8CVVCM7/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
dot product 3NQ1G9CK1Y
| URI | m2://inv/3NQ1G9CK1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#HQNN, dot product (definition)
History
- 2026-11-02: add by m2/dev
750 (number) 3NQ1NPY2JG
| URI | m2://inv/3NQ1NPY2JG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#EWKT, 750 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Cocontinuity 3NQ2K25FBW
| URI | m2://inv/3NQ2K25FBW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit (category theory)#204V, Cocontinuity (unknown)
History
- 2026-11-02: add by m2/dev
Axiom 6 3NQAB97A85
| URI | m2://inv/3NQAB97A85 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Construction of the real numbers#486Y, Axiom 6 (statement)
History
- 2026-11-02: add by m2/dev
fibration 3NQAGTZWS3
| URI | m2://inv/3NQAGTZWS3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.3/fibration, fibration (concept). In N54F33XE07, index, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Eugen Slutsky 3NQPSJPBTE
| URI | m2://inv/3NQPSJPBTE |
|---|---|
| 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#9KG7, Eugen Slutsky (unknown)
History
- 2026-11-02: add by m2/dev
3NQRA1SHXA 3NQRA1SHXA
| URI | m2://inv/3NQRA1SHXA |
|---|---|
| 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 2609.23544#SU9L (statement)
History
- 2026-11-02: add by m2/v0.6.17
Edward F. Denison 3NR140S8FJ
| URI | m2://inv/3NR140S8FJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#SLQ8, Edward F. Denison (topic)
History
- 2026-11-02: add by m2/dev
3NRDQ16GFX 3NRDQ16GFX
| URI | m2://inv/3NRDQ16GFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35252#W2EF (statement). In RPFP34GH09/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Władysław Matwin 3NRH08Q88M
| URI | m2://inv/3NRH08Q88M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Władysław Matwin, Władysław Matwin (topic). Also Wikidata Q9382086
History
- 2026-11-02: add by m2/dev
regular prime 3NRM89XMKH
| URI | m2://inv/3NRM89XMKH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Regular prime B4VK33PCXZ |
Mentions
- wikidata: Wikidata Q426491, regular prime (concept). Also MathWorld RegularPrime, OEIS A007703
- wikipedia: Wikipedia Regular prime, Regular prime (conjecture). Also Wikidata Q426491
History
- 2026-10-26: add by m2/dev
Noncommutative Jordan algebra 3NRP3H3NH9
| URI | m2://inv/3NRP3H3NH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative Jordan algebra, Noncommutative Jordan algebra (definition). Also Wikidata Q17099425
History
- 2026-11-02: add by m2/dev
Supertwistor 3NRVWGXME5
| URI | m2://inv/3NRVWGXME5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twistor theory#ER90, Supertwistor (unknown)
History
- 2026-11-02: add by m2/dev
Attacking Faulty Reasoning 3NT0QWY115
| URI | m2://inv/3NT0QWY115 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Attacking Faulty Reasoning, Attacking Faulty Reasoning (definition). Also Wikidata Q4818030
History
- 2026-11-02: add by m2/dev
The continuum width-\(\delta\) mass is \(\Theta(\delta\log(1/\delta))\ 3NT22YKN9Y
| URI | m2://inv/3NT22YKN9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#R76G, The continuum width-\(\delta\) mass is \(\Theta(\delta\log(1/\delta))\ (statement). In 1QSV7EQE3T/e1, corollary S57
History
- 2026-10-28: add by m2/v0.4.2
South African Mathematical Society 3NT4NH5W7W
| URI | m2://inv/3NT4NH5W7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#PIWK, South African Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
change of basis 3NTDW9SNYW
| URI | m2://inv/3NTDW9SNYW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > change of basis, change of basis (unknown). Also Mathlib basis_toMatrix_mul_linearMap_toMatrix_mul_basis_toMatrix
History
- 2026-10-26: add by m2/dev
Skewes' number 3NTQ0KZGDX
| URI | m2://inv/3NTQ0KZGDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#0LAS, Skewes' number (definition)
History
- 2026-11-02: add by m2/dev
No dimension reduction, $m=d$ 3NTQETWPA0
| URI | m2://inv/3NTQETWPA0 |
|---|---|
| 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.19208#J546, No dimension reduction, $m=d$ (statement). In Z4R05936J8/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
List of things named after Johannes Kepler 3NTQYTBVXP
| URI | m2://inv/3NTQYTBVXP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler, List of things named after Johannes Kepler (topic). Also Wikidata Q6643295
History
- 2026-11-02: add by m2/dev
Real analysis 3NTXQJWNBE
| URI | m2://inv/3NTXQJWNBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#0QEY, Real analysis (definition)
History
- 2026-11-02: add by m2/dev
Theorem 3NV1ZV1BTH
| URI | m2://inv/3NV1ZV1BTH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reproducing kernel Hilbert space#FKVD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
3NV55GQKFF 3NV55GQKFF
| URI | m2://inv/3NV55GQKFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20018#VYZW (statement)
History
- 2026-11-02: add by m2/v0.6.18
Equal height without contour contribution 3NV67NM90K
| URI | m2://inv/3NV67NM90K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#3SI6, Equal height without contour contribution (example). In 4AQ48WSBDQ/e1, example B.1
History
- 2026-10-29: add by m2/v0.4.10
Properties 3NV7CKMZKD
| URI | m2://inv/3NV7CKMZKD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great dirhombicosidodecahedron#DODF, Properties (statement)
History
- 2026-11-02: add by m2/dev
3NVAEPQC5D 3NVAEPQC5D
| URI | m2://inv/3NVAEPQC5D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-29 (proof). In E59CDZA4DP, proof, section 1.8.1
History
- 2026-11-01: add by m2/v0.6.13
Molina, Edward C. 3NVFAZP6MG
| URI | m2://inv/3NVFAZP6MG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#E8W9, Molina, Edward C. (unknown)
History
- 2026-11-02: add by m2/dev
differential topology 3NVFQRHJX8
| URI | m2://inv/3NVFQRHJX8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 57Rxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1224402, differential topology (topic). Also EoM Differential_topology, MathWorld DifferentialTopology, nLab differential topology
- wikipedia: Wikipedia Differential topology, Differential topology (topic). Also Wikidata Q1224402
History
- 2026-10-26: add by m2/dev
Basis 3NVR3GPPZY
| URI | m2://inv/3NVR3GPPZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basis (universal algebra), Basis (definition). Also Wikidata Q4867565
History
- 2026-11-02: add by m2/dev
zero matrix 3NVW2APDXF
| URI | m2://inv/3NVW2APDXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Zero matrix 0ZTKJJDGR7 |
Mentions
- wikidata: Wikidata Q338028, zero matrix (definition). Also MathWorld ZeroMatrix, ProofWiki Definition:Zero_Matrix
- wikipedia: Wikipedia Zero matrix, Zero matrix (definition). Also Wikidata Q338028
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
3NVXRZ62EQ 3NVXRZ62EQ
| URI | m2://inv/3NVXRZ62EQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-quantifiers.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 17.9
History
- 2026-11-01: add by m2/v0.6.13
barbara 3NW0EMK79W
| URI | m2://inv/3NW0EMK79W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#IU2G, barbara (definition)
History
- 2026-11-02: add by m2/dev
Additive Schwarz method 3NW1G6YFMF
| URI | m2://inv/3NW1G6YFMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive Schwarz method, Additive Schwarz method (definition). Also Wikidata Q4681340
History
- 2026-11-02: add by m2/dev
3NWB5GZ06W 3NWB5GZ06W
| URI | m2://inv/3NWB5GZ06W |
|---|---|
| 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.00584#H1A9 (statement). In 3CRSR95BNA/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Construction 3NWGPJFXG1
| URI | m2://inv/3NWGPJFXG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gallai–Edmonds decomposition#M4HE, Construction (definition)
History
- 2026-11-02: add by m2/dev
Herman Otto Hartley 3NWPW5Z9K9
| URI | m2://inv/3NWPW5Z9K9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herman Otto Hartley, Herman Otto Hartley (topic). Also Wikidata Q276970
History
- 2026-11-02: add by m2/dev
3NWQ34CZ68 3NWQ34CZ68
| URI | m2://inv/3NWQ34CZ68 |
|---|---|
| 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 2403.02207#7M8K (definition). In 1T3ZYPQZF0/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.6
3NWQXB666H 3NWQXB666H
| URI | m2://inv/3NWQXB666H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.07409#RVAJ (statement). In KWH4QJDPWC/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.0
Inefficient statistics 3NWRC32KSF
| URI | m2://inv/3NWRC32KSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Efficiency (statistics)#6P7U, Inefficient statistics (unknown)
History
- 2026-11-02: add by m2/dev
Alastair King 3NWVP9Y90N
| URI | m2://inv/3NWVP9Y90N |
|---|---|
| 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 Q102282365, Alastair King (unknown). Also nLab Alastair King
History
- 2026-10-26: add by m2/dev
Catuṣkoṭi paradox: a simple complex 3NX3K4CAJN
| URI | m2://inv/3NX3K4CAJN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catuṣkoṭi#4710, Catuṣkoṭi paradox: a simple complex (statement)
History
- 2026-11-02: add by m2/dev
3NX5961308 3NX5961308
| URI | m2://inv/3NX5961308 |
|---|---|
| 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.15700#9XU4 (statement). In S95MSZ7MDR/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
3NX8541G10 3NX8541G10
| URI | m2://inv/3NX8541G10 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#ques-8 (exercise). In RZP28ERRZV, ques, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
Second-order predicate 3NXB89NE29
| URI | m2://inv/3NXB89NE29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second-order predicate, Second-order predicate (definition). Also Wikidata Q7442983
History
- 2026-11-02: add by m2/dev
Calcpad 3NY5666MGG
| URI | m2://inv/3NY5666MGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calcpad, Calcpad (definition). Also Wikidata Q137727794
History
- 2026-11-02: add by m2/dev
3NYAVNYVKK 3NYAVNYVKK
| URI | m2://inv/3NYAVNYVKK |
|---|---|
| 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.02042#QCKP (statement). In P3HWTYFDBX/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
Analytic finiteness in one dimension 3NYG2XVFTW
| URI | m2://inv/3NYG2XVFTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25915#SZ6G, Analytic finiteness in one dimension (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sandwich 3NYPYE00BH
| URI | m2://inv/3NYPYE00BH |
|---|---|
| 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.14695#KPKI, Sandwich (statement). In T15EJSPCNG/e1, corollary 3.4
History
- 2026-10-28: add by m2/v0.4.2
3NZ9AT7J39 3NZ9AT7J39
| URI | m2://inv/3NZ9AT7J39 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#YRMK (statement). In BWJS3H55WH/e1, lemma 35
History
- 2026-10-27: add by m2/v0.3.5
3NZA1VTK95 3NZA1VTK95
| URI | m2://inv/3NZA1VTK95 |
|---|---|
| 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.35740#CQ73 (statement). In N7C6C0QGJM/e1, theorem 2.7
History
- 2026-10-30: add by m2/v0.4.12
approximate identity 3NZAF9QFT2
| URI | m2://inv/3NZAF9QFT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Approximate identity CDYXTW3PJF |
Mentions
- wikidata: Wikidata Q621743, approximate identity (unknown). Also MathWorld ApproximateIdentity
- wikipedia: Wikipedia Approximate identity, Approximate identity (statement). Also Wikidata Q621743
History
- 2026-10-26: add by m2/dev
Forbidden graph characterization 3NZPCAKWAQ
| URI | m2://inv/3NZPCAKWAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forbidden graph characterization, Forbidden graph characterization (definition). Also Wikidata Q5467387
History
- 2026-11-02: add by m2/dev
Sharon Lohr 3NZQ89B26J
| URI | m2://inv/3NZQ89B26J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#A1D3, Sharon Lohr (topic)
History
- 2026-11-02: add by m2/dev
3NZQXTV300 3NZQXTV300
| URI | m2://inv/3NZQXTV300 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14811#1CJI (statement). In QA5CM6HNM1/e1, proposition 17.1
History
- 2026-10-28: add by m2/v0.4.2
Symmetry 3NZSQQPFRT
| URI | m2://inv/3NZSQQPFRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henson graph#UVWW, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
chromatic homotopy theory 3NZVMNE6YE
| URI | m2://inv/3NZVMNE6YE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#SFTI, chromatic homotopy theory (definition)
History
- 2026-11-02: add by m2/dev