Inventory rows 1X
The cards of the rows of the inventory whose ids start with 1X. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Second vector identity 1X07Q7YD0T
| URI | m2://inv/1X07Q7YD0T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's identities#MOF0, Second vector identity (statement)
History
- 2026-11-02: add by m2/dev
Example 1X0BNVPBR7
| URI | m2://inv/1X0BNVPBR7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds ratio#B0R9, Example (example)
History
- 2026-11-02: add by m2/dev
Theorem 1X0C4HYVNS
| URI | m2://inv/1X0C4HYVNS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral equation#4F7N, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Gradient norm in the flat direction dominates 1X0GYQFM27
| URI | m2://inv/1X0GYQFM27 |
|---|---|
| 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.30957#RQOZ, Gradient norm in the flat direction dominates (statement). In P5YB6R0RK3/e1, lemma E.2
History
- 2026-10-31: add by m2/v0.5.6
Rectangular endpoint envelopes 1X0J8TZMQ3
| URI | m2://inv/1X0J8TZMQ3 |
|---|---|
| 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.04398#S1A3, Rectangular endpoint envelopes (statement). In DFZWC9HY0T/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.12
John Greaves 1X0JWE9VD1
| URI | m2://inv/1X0JWE9VD1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Greaves, John Greaves (topic). Also Wikidata Q381336
History
- 2026-11-02: add by m2/dev
1X0M07ACY9 1X0M07ACY9
| URI | m2://inv/1X0M07ACY9 |
|---|---|
| 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.24363#SPO8 (example)
History
- 2026-11-01: add by m2/v0.6.15
Open set 1X0MP01Q8Q
| URI | m2://inv/1X0MP01Q8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#O2JQ, Open set (definition)
History
- 2026-11-02: add by m2/dev
PC Bruno 1X0RF501WC
| URI | m2://inv/1X0RF501WC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PC Bruno, PC Bruno (definition). Also Wikidata Q3359619
History
- 2026-11-02: add by m2/dev
Alessandra Iozzi 1X0XDD1Z1T
| URI | m2://inv/1X0XDD1Z1T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alessandra Iozzi, Alessandra Iozzi (topic). Also Wikidata Q21252832
History
- 2026-11-02: add by m2/dev
1X0Y3DNYNW 1X0Y3DNYNW
| URI | m2://inv/1X0Y3DNYNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#2CKN (statement)
History
- 2026-11-01: add by m2/v0.6.15
1X0YMCW746 1X0YMCW746
| URI | m2://inv/1X0YMCW746 |
|---|---|
| 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.10233#HNK5 (statement). In QR9WE79ERQ/e1, lemma C.5
History
- 2026-10-29: add by m2/v0.4.10
Table of simple cubic graphs 1X0YQ39TE9
| URI | m2://inv/1X0YQ39TE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Table of simple cubic graphs, Table of simple cubic graphs (definition). Also Wikidata Q17103904
History
- 2026-11-02: add by m2/dev
Pasch's axiom 1X10M6J2VJ
| URI | m2://inv/1X10M6J2VJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pasch's axiom KJT98G16Y4 |
Mentions
- wikidata: Wikidata Q792528, Pasch's axiom (unknown). Also MathWorld PaschsAxiom
- wikipedia: Wikipedia Pasch's axiom, Pasch's axiom (statement). Also Wikidata Q792528
History
- 2026-10-26: add by m2/dev
Alexandrov theorem 1X14C5VF7A
| URI | m2://inv/1X14C5VF7A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandrov theorem, Alexandrov theorem (statement). Also Wikidata Q4454912
History
- 2026-11-02: add by m2/dev
1X16GE9WGV 1X16GE9WGV
| URI | m2://inv/1X16GE9WGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2009.11127#XUHK (statement). In QEFS0Y021A/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
1X1D64BN3H 1X1D64BN3H
| URI | m2://inv/1X1D64BN3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.08196#P6I0 (statement). In 8QVWZ23N42/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.10
Timeline of algorithms 1X1EDP4M5V
| URI | m2://inv/1X1EDP4M5V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timeline of algorithms, Timeline of algorithms (topic). Also Wikidata Q7806005
History
- 2026-11-02: add by m2/dev
History of mathematical and theoretical biology 1X1GHWSVRH
| URI | m2://inv/1X1GHWSVRH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical and theoretical biology#Y5A6, History of mathematical and theoretical biology (unknown)
History
- 2026-11-02: add by m2/dev
Symmetry 1X1NVGSP4J
| URI | m2://inv/1X1NVGSP4J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 63 knot#L5CN, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Seventh-order identity 1X1Y2T6Y4H
| URI | m2://inv/1X1Y2T6Y4H |
|---|---|
| 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 2609.34016#MJM4, Seventh-order identity (statement). In 1E4AJ49FWV/e1, corollary 6.4
History
- 2026-10-30: add by m2/v0.4.12
Relationship to the divergence theorem 1X25TBQN3E
| URI | m2://inv/1X25TBQN3E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's theorem#K3H1, Relationship to the divergence theorem (statement)
History
- 2026-11-02: add by m2/dev
1X2HP9RBZV 1X2HP9RBZV
| URI | m2://inv/1X2HP9RBZV |
|---|---|
| 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.13964#8V4Z (statement). In 7Q47472TKR/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
1X2K27RGHV 1X2K27RGHV
| URI | m2://inv/1X2K27RGHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.03431#AIXY (statement). In XVYZGSQ9S9/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
pseudo-Riemannian metric 1X2QWF9YXK
| URI | m2://inv/1X2QWF9YXK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78341368, pseudo-Riemannian metric (unknown). Also MathWorld Semi-RiemannianMetric, nLab pseudo-Riemannian metric
History
- 2026-10-26: add by m2/dev
Global minimizers on $\mathbb R^n$ 1X33VBVR9N
| URI | m2://inv/1X33VBVR9N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#ECNP, Global minimizers on $\mathbb R^n$ (definition). In 9JHMTYGWFQ/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.6
Properties 1X35F0GM9H
| URI | m2://inv/1X35F0GM9H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper convex function#ZMR5, Properties (statement)
History
- 2026-11-02: add by m2/dev
differentiant 1X3D1G79CD
| URI | m2://inv/1X3D1G79CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#JITU, differentiant (definition)
History
- 2026-11-02: add by m2/dev
Example 1X3FH9ZH9Y
| URI | m2://inv/1X3FH9ZH9Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Euler equation#UN6N, Example (example)
History
- 2026-11-02: add by m2/dev
Model invariant 1X3H84A15Q
| URI | m2://inv/1X3H84A15Q |
|---|---|
| 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 2609.20478#HN0Y, Model invariant (statement)
History
- 2026-11-02: add by m2/v0.6.18
940 (number) 1X3S3PHF5A
| URI | m2://inv/1X3S3PHF5A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 900 (number)#74VN, 940 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Generator, Neumann form, and heat kernel 1X3WMMNPJW
| URI | m2://inv/1X3WMMNPJW |
|---|---|
| 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.09522#C5EQ, Generator, Neumann form, and heat kernel (statement). In KKR9167FPT/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
1X3ZQG8CG0 1X3ZQG8CG0
| URI | m2://inv/1X3ZQG8CG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.09700#GMEW (statement). In XCSQ27P0XW/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
1X48JPPGFV 1X48JPPGFV
| URI | m2://inv/1X48JPPGFV |
|---|---|
| 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.36411#MQXB (statement). In 9QG5CND2RQ/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
SipHash 1X48ZT52DJ
| URI | m2://inv/1X48ZT52DJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SipHash, SipHash (definition). Also Wikidata Q7525546
History
- 2026-11-02: add by m2/dev
Schwarz's lemma 1X4A6CXT10
| URI | m2://inv/1X4A6CXT10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#lemma-5, Schwarz's lemma (statement). In VNMV985MXX, lemma, section B
History
- 2026-11-01: add by m2/v0.6.13
1X4C3TCYXW 1X4C3TCYXW
| URI | m2://inv/1X4C3TCYXW |
|---|---|
| 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 2504.13328#OU2Y (problem). In 736Q32FYCG/e1, problem 5.3
History
- 2026-10-27: add by m2/v0.3.5
1X4KAPK374 1X4KAPK374
| URI | m2://inv/1X4KAPK374 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 34.5
History
- 2026-11-01: add by m2/v0.6.13
Kleene–Rosser paradox 1X4T3VS6MW
| URI | m2://inv/1X4T3VS6MW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene–Rosser paradox, Kleene–Rosser paradox (statement). Also Wikidata Q6420095
History
- 2026-11-02: add by m2/dev
Theorem 1X4TV5BZ9W
| URI | m2://inv/1X4TV5BZ9W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley configuration space#YIGO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
1X557S3E6B 1X557S3E6B
| URI | m2://inv/1X557S3E6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.15344#NEA3 (statement). In B9EX6K51RD/e1, proposition 2.28
History
- 2026-10-28: add by m2/v0.4.2
Augmented hexagonal prism 1X594MP7ZZ
| URI | m2://inv/1X594MP7ZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3WTT, Augmented hexagonal prism (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#CMY8, Augmented hexagonal prism (definition)
History
- 2026-11-02: add by m2/dev
1X5WB4K11Q 1X5WB4K11Q
| URI | m2://inv/1X5WB4K11Q |
|---|---|
| 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 2505.04063#CXCE (statement). In TFH7T63DX9/e1, lemma S.11
History
- 2026-10-27: add by m2/v0.3.5
1X635VP34N 1X635VP34N
| URI | m2://inv/1X635VP34N |
|---|---|
| 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.03628#T8AR (statement). In P8KT6JV9N1/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
1X65Q38V75 1X65Q38V75
| URI | m2://inv/1X65Q38V75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.09645#SX1P (statement). In HVDSC1GQRD/e1, corollary 2.8
History
- 2026-10-27: add by m2/v0.3.5
Vague set 1X6BRP80S0
| URI | m2://inv/1X6BRP80S0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vague set, Vague set (definition). Also Wikidata Q7908559
History
- 2026-11-02: add by m2/dev
Intrinsically universal cellular automata 1X6DW6HWYD
| URI | m2://inv/1X6DW6HWYD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#3ONZ, Intrinsically universal cellular automata (definition). In WD2NCBV9F0/e1, definition 4.22
History
- 2026-10-27: add by m2/v0.3.5
\coqident{Partiality}{PartialElements}{liftorder_least 1X6E5PJNEH
| URI | m2://inv/1X6E5PJNEH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.09810#CLS2, \coqident{Partiality}{PartialElements}{liftorder_least (definition). In T1VFA7TXPA/e1, definition 19
History
- 2026-10-27: add by m2/v0.3.5
William Menasco 1X6PME812K
| URI | m2://inv/1X6PME812K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Menasco, William Menasco (topic). Also Wikidata Q8015557
History
- 2026-11-02: add by m2/dev
1X6RRTBRNS 1X6RRTBRNS
| URI | m2://inv/1X6RRTBRNS |
|---|---|
| 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.20910#W4BV (statement). In CETHKW9EBV/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.4.2
Absorption criterion 1X6X9F57NV
| URI | m2://inv/1X6X9F57NV |
|---|---|
| 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#Z6F1, Absorption criterion (statement). In E7W2HDNEKJ/e1, lemma 9.28
History
- 2026-10-30: add by m2/v0.4.12
Harmonic multiplication and sifting 1X6ZMVW6WT
| URI | m2://inv/1X6ZMVW6WT |
|---|---|
| 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.13892#013I, Harmonic multiplication and sifting (statement). In HV9KKEBBDD/e1, proposition VII.2
History
- 2026-10-28: add by m2/v0.4.2
Interval data 1X6ZRZ1CHN
| URI | m2://inv/1X6ZRZ1CHN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level of measurement#7QNE, Interval data (unknown)
History
- 2026-11-02: add by m2/dev
Archimedean copula 1X72J589P1
| URI | m2://inv/1X72J589P1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#TTY2, Archimedean copula (definition)
History
- 2026-11-02: add by m2/dev
Oberwolfach problem 1X74QYYQXK
| URI | m2://inv/1X74QYYQXK |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oberwolfach problem, Oberwolfach problem (conjecture). Also Wikidata Q48999401
History
- 2026-11-02: add by m2/dev
The first divided-power submodule 1X7FX13FHG
| URI | m2://inv/1X7FX13FHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22082#WLCS, The first divided-power submodule (statement). In 7PACGDW3N7/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.4.0
Theorem 1X7K92V1Q5
| URI | m2://inv/1X7K92V1Q5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes' theorem#KNA4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Boaz Barak 1X7NDY12Y5
| URI | m2://inv/1X7NDY12Y5 |
|---|---|
| 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#UPW1, Boaz Barak (unknown)
History
- 2026-11-02: add by m2/dev
1X7PDHQR27 1X7PDHQR27
| URI | m2://inv/1X7PDHQR27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#2HW5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Euler's four-square identity 1X7RDDC7FQ
| URI | m2://inv/1X7RDDC7FQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#LW8S, Euler's four-square identity (statement)
History
- 2026-11-02: add by m2/dev
1X80GB5ZD2 1X80GB5ZD2
| URI | m2://inv/1X80GB5ZD2 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#FWJP (unknown). In QNBFHFZ3H0/e1, unknown 60
History
- 2026-10-28: add by m2/v0.4.2
532 (number) 1X85KPRSNT
| URI | m2://inv/1X85KPRSNT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#7M8Y, 532 (number) (unknown)
History
- 2026-11-02: add by m2/dev
1X8DZ1X8F3 1X8DZ1X8F3
| URI | m2://inv/1X8DZ1X8F3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20375#TZ0B (statement)
History
- 2026-11-02: add by m2/v0.6.18
Christopher Skinner 1X8GXY4NCK
| URI | m2://inv/1X8GXY4NCK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GPB4, Christopher Skinner (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LLFS, Christopher Skinner (topic)
History
- 2026-11-02: add by m2/dev
Sumario Compendioso 1X8H81EXQ7
| URI | m2://inv/1X8H81EXQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sumario Compendioso, Sumario Compendioso (definition). Also Wikidata Q7636965
History
- 2026-11-02: add by m2/dev
imaginary line 1X8JHZ1W7H
| URI | m2://inv/1X8JHZ1W7H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6002522, imaginary line (concept). Also MathWorld ImaginaryLine
- wikipedia: Wikipedia Imaginary line (mathematics), Imaginary line (definition). Also Wikidata Q6002522
History
- 2026-10-26: add by m2/dev
Alexander Gelfond 1X91DV7SBW
| URI | m2://inv/1X91DV7SBW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Gelfond, Alexander Gelfond (topic). Also Wikidata Q716017
History
- 2026-11-02: add by m2/dev
1X92M0QRT8 1X92M0QRT8
| URI | m2://inv/1X92M0QRT8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Finite-parameter marked-card smoothing 1X97RCGW8Y
| URI | m2://inv/1X97RCGW8Y |
|---|---|
| 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.18884#VBL6, Finite-parameter marked-card smoothing (statement). In 8WM10QMA9E/e1, theorem C.1
History
- 2026-10-28: add by m2/v0.4.2
1X98H0WWVR 1X98H0WWVR
| URI | m2://inv/1X98H0WWVR |
|---|---|
| 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 1002.0879#ZH0Z (statement). In M0SQY5EZN5/e1, corollary 4.4.9
History
- 2026-10-27: add by m2/v0.3.5
Generalization 1X9A230DHE
| URI | m2://inv/1X9A230DHE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Stieltjes integral#CFPX, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Cayley line 1X9F0JZYVT
| URI | m2://inv/1X9F0JZYVT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pascal's theorem#TXGL, Cayley line (unknown)
History
- 2026-11-02: add by m2/dev
Tom M. Apostol 1X9FDK5FT5
| URI | m2://inv/1X9FDK5FT5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WKZK, Tom M. Apostol (topic)
History
- 2026-11-02: add by m2/dev
Bounds on the post-selection probability 1X9HKX52N3
| URI | m2://inv/1X9HKX52N3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#IAT7, Bounds on the post-selection probability (statement). In WF64CGYVK1/e1, lemma S21
History
- 2026-10-30: add by m2/v0.4.12
magnetic dipole moment 1X9K7DC8F3
| URI | m2://inv/1X9K7DC8F3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q97143703, magnetic dipole moment (unknown). Also nLab magnetic dipole moment
History
- 2026-10-26: add by m2/dev
Highly composite number 1X9VC9CC0F
| URI | m2://inv/1X9VC9CC0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#HXWM, Highly composite number (definition)
- wikipedia: Wikipedia List of recreational number theory topics#J73R, Highly composite number (definition)
History
- 2026-11-02: add by m2/dev
Sharp identification floor 1X9XPC1ARW
| URI | m2://inv/1X9XPC1ARW |
|---|---|
| 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.21363#9QV3, Sharp identification floor (statement). In YPH7NS5AAQ/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.2
Subgroup Test 1X9ZBE22J1
| URI | m2://inv/1X9ZBE22J1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the kind of the item is unknown) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subgroup#QBF8, Subgroup Test (unknown)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
1XA03QNK90 1XA03QNK90
| URI | m2://inv/1XA03QNK90 |
|---|---|
| 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.20656#PQUX (statement)
History
- 2026-11-02: add by m2/v0.6.18
1XA0YK6BKZ 1XA0YK6BKZ
| URI | m2://inv/1XA0YK6BKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#IZIO (statement). In DG9TF5X0EG/e1, lemma 10
History
- 2026-10-27: add by m2/v0.4.0
1XA5970JMM 1XA5970JMM
| URI | m2://inv/1XA5970JMM |
|---|---|
| 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.01268#CR13 (statement). In 80Q4X3WT8W/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
1XA599R2FW 1XA599R2FW
| URI | m2://inv/1XA599R2FW |
|---|---|
| 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 2502.08738#RAWI (definition). In 9GMTVSTAVN/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
1XA5Z8F6W4 1XA5Z8F6W4
| URI | m2://inv/1XA5Z8F6W4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.21444#9SPH (statement). In CTVPA2FQT1/e1, lemma 8.4.1
History
- 2026-10-27: add by m2/v0.4.0
Cayley line 1XA6BCTFE5
| URI | m2://inv/1XA6BCTFE5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1837368, Cayley line (unknown). Also MathWorld CayleyLines
History
- 2026-10-26: add by m2/dev
Definition 1XAB75FGRG
| URI | m2://inv/1XAB75FGRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quiver (mathematics)#337Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
Contravariant transformation 1XAPP75TPJ
| URI | m2://inv/1XAPP75TPJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariant transformation#PTTV, Contravariant transformation (unknown)
History
- 2026-11-02: add by m2/dev
Kiyosi Itô 1XARFM9NW3
| URI | m2://inv/1XARFM9NW3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CLUO, Kiyosi Itô (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KHJ5, Kiyosi Itô (topic)
History
- 2026-11-02: add by m2/dev
1XB0VX50DK 1XB0VX50DK
| URI | m2://inv/1XB0VX50DK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/pontryagin.tex#example-2 (example). In RZP28ERRZV, example, section 68.2
History
- 2026-11-01: add by m2/v0.6.13
quintic 1XB4JVJB2K
| URI | m2://inv/1XB4JVJB2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#5WAV, quintic (definition)
History
- 2026-11-02: add by m2/dev
1XB6WP8V27 1XB6WP8V27
| URI | m2://inv/1XB6WP8V27 |
|---|---|
| Kind | example |
| 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 2409.01237#XV09 (example). In M9VHCG48HB/e1, example 6.5
History
- 2026-10-27: add by m2/v0.3.5
Existence of the analytic neighborhood 1XBDPSNHJQ
| URI | m2://inv/1XBDPSNHJQ |
|---|---|
| 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#QLJT, Existence of the analytic neighborhood (statement). In TBFPBPQV3G/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Joseph Madachy 1XBDSK13WT
| URI | m2://inv/1XBDSK13WT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Madachy, Joseph Madachy (topic). Also Wikidata Q6285210
History
- 2026-11-02: add by m2/dev
1XBJE6ZJ14 1XBJE6ZJ14
| URI | m2://inv/1XBJE6ZJ14 |
|---|---|
| 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.37026#N0KL (statement). In QGZPH9W8GY/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
\bar x and R chart 1XBKG1YBBR
| URI | m2://inv/1XBKG1YBBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V0TI, \bar x and R chart (definition)
History
- 2026-11-02: add by m2/dev
Formulation 1XBM25YZDR
| URI | m2://inv/1XBM25YZDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continued fraction#WXJF, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Encoding of infinite sequences 1XBNDZ6DAG
| URI | m2://inv/1XBNDZ6DAG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#DXFD, Encoding of infinite sequences (definition). In WD2NCBV9F0/e1, definition 5.8
History
- 2026-10-27: add by m2/v0.3.5
Glicksberg fixed-point theorem 1XBQWEFE4S
| URI | m2://inv/1XBQWEFE4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakutani fixed-point theorem#IGSH, Glicksberg fixed-point theorem (unknown)
History
- 2026-11-02: add by m2/dev
Examples 1XBXS6VWKV
| URI | m2://inv/1XBXS6VWKV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterated function#DD9F, Examples (example)
History
- 2026-11-02: add by m2/dev
Kuratowski embedding 1XC05ECNBE
| URI | m2://inv/1XC05ECNBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Kazimierz Kuratowski#ZM93, Kuratowski embedding (definition)
History
- 2026-11-02: add by m2/dev
Vertex packing 1XC37M009J
| URI | m2://inv/1XC37M009J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independent set (graph theory)#8HD6, Vertex packing (unknown)
History
- 2026-11-02: add by m2/dev
Complete market 1XC8DW97GH
| URI | m2://inv/1XC8DW97GH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete market, Complete market (definition). Also Wikidata Q5156507
History
- 2026-11-02: add by m2/dev
The panel factorisation is the common bottleneck 1XC9ZTTAAM
| URI | m2://inv/1XC9ZTTAAM |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29554#R7VI, The panel factorisation is the common bottleneck (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Stone–Weierstrass theorem, C*-algebra version 1XCC3QZDVX
| URI | m2://inv/1XCC3QZDVX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Weierstrass theorem#NMQO, Stone–Weierstrass theorem, C*-algebra version (statement)
History
- 2026-11-02: add by m2/dev
Martha K. Smith 1XCCV2HFP5
| URI | m2://inv/1XCCV2HFP5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martha K. Smith, Martha K. Smith (topic). Also Wikidata Q61819229
History
- 2026-11-02: add by m2/dev
q-derivative 1XCD31NZ8V
| URI | m2://inv/1XCD31NZ8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | q-derivative PMJT3FZE0Y |
Mentions
- wikidata: Wikidata Q7265300, q-derivative (unknown). Also MathWorld q-Derivative
- wikipedia: Wikipedia Q-derivative, Q-derivative (definition). Also Wikidata Q7265300
History
- 2026-10-26: add by m2/dev
Donald C. Spencer 1XCDQW6GFQ
| URI | m2://inv/1XCDQW6GFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1WAO, Donald C. Spencer (unknown)
History
- 2026-11-02: add by m2/dev
1XCEVMEMHX 1XCEVMEMHX
| URI | m2://inv/1XCEVMEMHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.13260#G7ON (statement). In ZBQX9341RV/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
1XCHJB8PKV 1XCHJB8PKV
| URI | m2://inv/1XCHJB8PKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#O2ZZ (statement). In F1CYVYK7YB/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
1XCR2XJRKC 1XCR2XJRKC
| URI | m2://inv/1XCR2XJRKC |
|---|---|
| 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.21730#W6DV (statement). In BM64QM6Q7J/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.4.2
Rabinovich–Fabrikant equations 1XCTAH6A3E
| URI | m2://inv/1XCTAH6A3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#GW41, Rabinovich–Fabrikant equations (definition)
History
- 2026-11-02: add by m2/dev
1XCW57XXH1 1XCW57XXH1
| URI | m2://inv/1XCW57XXH1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.05499#XI7F (definition). In WRMNCC8VBC/e1, definition 25
History
- 2026-10-27: add by m2/v0.3.6
Properties 1XCWS27BJT
| URI | m2://inv/1XCWS27BJT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limiting parallel#ZV40, Properties (statement)
History
- 2026-11-02: add by m2/dev
1XCZR1ZS3T 1XCZR1ZS3T
| URI | m2://inv/1XCZR1ZS3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.28076#4KPH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 1XD13K3Q0G
| URI | m2://inv/1XD13K3Q0G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invertible matrix#5OAF, Examples (example)
History
- 2026-11-02: add by m2/dev
1XD5M2VADW 1XD5M2VADW
| URI | m2://inv/1XD5M2VADW |
|---|---|
| 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 0807.1652#JIW5 (statement). In 6RC18PTSTT/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
1XDC1W6SKH 1XDC1W6SKH
| URI | m2://inv/1XDC1W6SKH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#IWV4 (statement). In SD28S3K7BT/e1, proposition 55
History
- 2026-10-29: add by m2/v0.4.12
1XDRMDS84P 1XDRMDS84P
| URI | m2://inv/1XDRMDS84P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-planar.ptx#theorem-2 (statement). In Y91XFCEVHQ, theorem, section 5.3.1
History
- 2026-11-01: add by m2/v0.6.13
1XDWWMC2RK 1XDWWMC2RK
| URI | m2://inv/1XDWWMC2RK |
|---|---|
| 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.37026#9A16 (statement). In QGZPH9W8GY/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Two-row branching sequence 1XE0H1XZRP
| URI | m2://inv/1XE0H1XZRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#4FMH, Two-row branching sequence (statement). In BBE69ZPVTF/e1, lemma 5.6
History
- 2026-10-30: add by m2/v0.4.12
Demographics of India 1XE9619S7P
| URI | m2://inv/1XE9619S7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of India, Demographics of India (definition). Also Wikidata Q996189
History
- 2026-11-02: add by m2/dev
Properties 1XENSRNYX1
| URI | m2://inv/1XENSRNYX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition matroid#G36U, Properties (statement)
History
- 2026-11-02: add by m2/dev
Privacy-Enhanced Mail 1XEQWWN5BK
| URI | m2://inv/1XEQWWN5BK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Privacy-Enhanced Mail, Privacy-Enhanced Mail (definition). Also Wikidata Q1840684
History
- 2026-11-02: add by m2/dev
Itô isometry 1XEXJ3FW22
| URI | m2://inv/1XEXJ3FW22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZSLD, Itô isometry (definition)
History
- 2026-11-02: add by m2/dev
1XFGAGWS7F 1XFGAGWS7F
| URI | m2://inv/1XFGAGWS7F |
|---|---|
| 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 2305.18021#C0MN (statement). In GQVSX93P6C/e1, proposition D.1
History
- 2026-10-27: add by m2/v0.3.5
1XFHS4E0KR 1XFHS4E0KR
| URI | m2://inv/1XFHS4E0KR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#W14X (statement). In KH1H3TSWPS/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.3.6
Terminology 1XFHTCK27T
| URI | m2://inv/1XFHTCK27T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special relativity#YY2N, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Formal definition 1XFJ1A0NRZ
| URI | m2://inv/1XFJ1A0NRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C0-semigroup#ZKV1, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
\eta 1XFJNYTGY6
| URI | m2://inv/1XFJNYTGY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#DQLW, \eta (definition)
History
- 2026-11-02: add by m2/dev
1XFK8G2MA4 1XFK8G2MA4
| URI | m2://inv/1XFK8G2MA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.00843#0A1B (statement). In 1K7M5TD0M2/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.12
1XFM17VWAZ 1XFM17VWAZ
| URI | m2://inv/1XFM17VWAZ |
|---|---|
| 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.30407#CGMW (statement). In HNY6N561H5/e1, theorem 2.11
History
- 2026-10-31: add by m2/v0.5.6
Applications 1XFNF4F1P0
| URI | m2://inv/1XFNF4F1P0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix of ones#NKHA, Applications (example)
History
- 2026-11-02: add by m2/dev
1XFR9MB8EB 1XFR9MB8EB
| URI | m2://inv/1XFR9MB8EB |
|---|---|
| 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.15847#0VUP (statement). In BTV3DAMX28/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
gradient 1XFSS0CJP0
| URI | m2://inv/1XFSS0CJP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Gradient 0ABK9V9Y64 |
Mentions
- wikidata: Wikidata Q173582, gradient (unknown). Also EoM gradient, MathWorld Gradient
- wikipedia: Wikipedia Gradient, Gradient (definition). Also Wikidata Q173582
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
1XFTM4PBBE 1XFTM4PBBE
| URI | m2://inv/1XFTM4PBBE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-34 (exercise). In E9HS8K3A52, exercise, section 9.3.4
History
- 2026-11-01: add by m2/v0.6.13
1XG0AGRQA0 1XG0AGRQA0
| URI | m2://inv/1XG0AGRQA0 |
|---|---|
| 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.25307#BI7T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Initial discrepancy 1XG46M6MNH
| URI | m2://inv/1XG46M6MNH |
|---|---|
| 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 2610.21717#DM3T, Initial discrepancy (statement). In CE603VK92S/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.4.2
Alister McLellan 1XG91ZMKS7
| URI | m2://inv/1XG91ZMKS7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alister McLellan, Alister McLellan (topic). Also Wikidata Q17489114
History
- 2026-11-02: add by m2/dev
Kazhdan–Lusztig conjectures 1XG9E84WVR
| URI | m2://inv/1XG9E84WVR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazhdan–Lusztig polynomial#E9XC, Kazhdan–Lusztig conjectures (statement)
History
- 2026-11-02: add by m2/dev
1XGBVAF1KE 1XGBVAF1KE
| URI | m2://inv/1XGBVAF1KE |
|---|---|
| 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 2411.05198#IR17 (statement). In NJWY6HPFHG/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Group centrality 1XGGYN3FFB
| URI | m2://inv/1XGGYN3FFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group centrality, Group centrality (definition). Also Wikidata Q140431192
History
- 2026-11-02: add by m2/dev
Fatou--Julia 1XGH4AWFQ6
| URI | m2://inv/1XGH4AWFQ6 |
|---|---|
| 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.07064#Z840, Fatou--Julia (statement). In GPK6W5XQM3/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Cognitively Guided Instruction 1XGNVV7F2R
| URI | m2://inv/1XGNVV7F2R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cognitively Guided Instruction, Cognitively Guided Instruction (definition). Also Wikidata Q5141259
History
- 2026-11-02: add by m2/dev
Rationalisation 1XGSRQZC3E
| URI | m2://inv/1XGSRQZC3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rationalisation (mathematics), Rationalisation (definition). Also Wikidata Q544886
History
- 2026-11-02: add by m2/dev
Strict improvement by an endpoint perturbation 1XGTDZXTQ9
| URI | m2://inv/1XGTDZXTQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#GS6V, Strict improvement by an endpoint perturbation (statement). In 9YAE8FNQST/e1, proposition 3.15
History
- 2026-10-30: add by m2/v0.4.12
Bounds and asymptotic formulas 1XGVD7CWTV
| URI | m2://inv/1XGVD7CWTV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial coefficient#NCWY, Bounds and asymptotic formulas (statement)
History
- 2026-11-02: add by m2/dev
1XGVJ3K9GC 1XGVJ3K9GC
| URI | m2://inv/1XGVJ3K9GC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#T5ME (statement). In 332PQD90SW/e1, theorem 4.18
History
- 2026-10-27: add by m2/v0.3.5
Fully feasible same-sample certificate 1XGVYMH01F
| URI | m2://inv/1XGVYMH01F |
|---|---|
| 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.25388#MK95, Fully feasible same-sample certificate (statement)
History
- 2026-11-01: add by m2/v0.6.15
algebraic identity 1XGZ8EEEHP
| URI | m2://inv/1XGZ8EEEHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1971429, algebraic identity (unknown). Also MathWorld AlgebraicIdentity
History
- 2026-10-26: add by m2/dev
1XGZTQ07ZF 1XGZTQ07ZF
| URI | m2://inv/1XGZTQ07ZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28189#44IH (statement)
History
- 2026-11-01: add by m2/v0.6.15
1XH1BMM4J1 1XH1BMM4J1
| URI | m2://inv/1XH1BMM4J1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-16 (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
Fabrice Bethuel 1XH75SMV64
| URI | m2://inv/1XH75SMV64 |
|---|---|
| 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#YR0F, Fabrice Bethuel (topic)
History
- 2026-11-02: add by m2/dev
1XHEE2R5NH 1XHEE2R5NH
| URI | m2://inv/1XHEE2R5NH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#UOCU (statement). In BF0RYHPMS1/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Using Peirce's law with the deduction theorem 1XHER7ZB8Y
| URI | m2://inv/1XHER7ZB8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peirce's law#OKGJ, Using Peirce's law with the deduction theorem (statement)
History
- 2026-11-02: add by m2/dev
Example 1XHHEAVKKP
| URI | m2://inv/1XHHEAVKKP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Molien's formula#PYV7, Example (example)
History
- 2026-11-02: add by m2/dev
Definitions 1XHR40A513
| URI | m2://inv/1XHR40A513 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data quality#YDDJ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Degenerate distribution 1XJ2APS1T7
| URI | m2://inv/1XJ2APS1T7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degenerate distribution, Degenerate distribution (definition). Also Wikidata Q262464
History
- 2026-11-02: add by m2/dev
Rinat Kedem 1XJCQZ72AY
| URI | m2://inv/1XJCQZ72AY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rinat Kedem, Rinat Kedem (topic). Also Wikidata Q76166280
History
- 2026-11-02: add by m2/dev
1XJDHN42DK 1XJDHN42DK
| URI | m2://inv/1XJDHN42DK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#DUC8 (statement). In KWB9M5YH9G/e1, proposition 6.7
History
- 2026-10-31: add by m2/v0.5.6
cycle double cover conjecture 1XJKATZVJW
| URI | m2://inv/1XJKATZVJW |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18217946, cycle double cover conjecture (conjecture). Also MathWorld CycleDoubleCoverConjecture
History
- 2026-10-26: add by m2/dev
planar intersection formula 1XJSEYYBSE
| URI | m2://inv/1XJSEYYBSE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#4WVT, planar intersection formula (statement). In CBCCH5VTMQ/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
List of implementations of differentially private analyses 1XJTWBZTF7
| URI | m2://inv/1XJTWBZTF7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of implementations of differentially private analyses, List of implementations of differentially private analyses (topic). Also Wikidata Q65057638
History
- 2026-11-02: add by m2/dev
irrational 1XJZ7WNQCS
| URI | m2://inv/1XJZ7WNQCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#5B9S, irrational (definition)
History
- 2026-11-02: add by m2/dev
Properties 1XK0C1J0JQ
| URI | m2://inv/1XK0C1J0JQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overfull graph#88ZI, Properties (statement)
History
- 2026-11-02: add by m2/dev
1XK0Q9WJZR 1XK0Q9WJZR
| URI | m2://inv/1XK0Q9WJZR |
|---|---|
| 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 2609.24902#2DMB (statement)
History
- 2026-11-01: add by m2/v0.6.15
1XK5VJZBAE 1XK5VJZBAE
| URI | m2://inv/1XK5VJZBAE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#L6LT (definition)
History
- 2026-11-01: add by m2/v0.6.15
Leelavati Award 1XK966FXTF
| URI | m2://inv/1XK966FXTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leelavati Award, Leelavati Award (definition). Also Wikidata Q6547571
History
- 2026-11-02: add by m2/dev
Balachandra Rao 1XKC80C3D9
| URI | m2://inv/1XKC80C3D9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balachandra Rao, Balachandra Rao (topic). Also Wikidata Q134486418
History
- 2026-11-02: add by m2/dev
1XKE6FPXSM 1XKE6FPXSM
| URI | m2://inv/1XKE6FPXSM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#TZ4U (statement). In 6HP7BR9WZM/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Fibration 1XKG7FBDEE
| URI | m2://inv/1XKG7FBDEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibration, Fibration (definition). Also Wikidata Q493941
History
- 2026-11-02: add by m2/dev
Normalized tilted Fourier integral 1XKJNF3J1M
| URI | m2://inv/1XKJNF3J1M |
|---|---|
| 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.05498#PZSF, Normalized tilted Fourier integral (statement). In TJT32RQ9GC/e1, lemma 6.16
History
- 2026-10-29: add by m2/v0.4.10
1XKNMCRR31 1XKNMCRR31
| URI | m2://inv/1XKNMCRR31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:adjprop (statement). In N54F33XE07, lem, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
1XKSHWGGAX 1XKSHWGGAX
| URI | m2://inv/1XKSHWGGAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#LOSE (statement). In F3BKXXPR3K/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
Fuglede's theorem 1XM0WX5Z1Q
| URI | m2://inv/1XM0WX5Z1Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#EB08, Fuglede's theorem (statement)
History
- 2026-11-02: add by m2/dev
1XM7Z7EN98 1XM7Z7EN98
| URI | m2://inv/1XM7Z7EN98 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08766#2NMH (definition). In QA4JM9SHPA/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
1XMA1W0WTZ 1XMA1W0WTZ
| URI | m2://inv/1XMA1W0WTZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
1XMF93WM31 1XMF93WM31
| URI | m2://inv/1XMF93WM31 |
|---|---|
| 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#VPXT (statement)
History
- 2026-11-01: add by m2/v0.6.15
1XMG5JP27F 1XMG5JP27F
| URI | m2://inv/1XMG5JP27F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08357#JKQ6 (statement). In R9GRCAWHG0/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
R-parity 1XMGWQT64N
| URI | m2://inv/1XMGWQT64N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q866456, R-parity (unknown). Also nLab R-parity
History
- 2026-10-26: add by m2/dev
Secure multi-party computation 1XMHS883YW
| URI | m2://inv/1XMHS883YW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure multi-party computation, Secure multi-party computation (topic). Also Wikidata Q2465888
History
- 2026-11-02: add by m2/dev
Fritz John 1XMPMTFAB1
| URI | m2://inv/1XMPMTFAB1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#C7WB, Fritz John (unknown)
History
- 2026-11-02: add by m2/dev
1XMXPCTDMQ 1XMXPCTDMQ
| URI | m2://inv/1XMXPCTDMQ |
|---|---|
| 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.25843#77QE (statement)
History
- 2026-11-01: add by m2/v0.6.15
1XN0PFYG53 1XN0PFYG53
| URI | m2://inv/1XN0PFYG53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-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.16267#CRKN (statement). In 65GKPZ15VH/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
1XN1RD8QP3 1XN1RD8QP3
| URI | m2://inv/1XN1RD8QP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#N9BQ (statement). In 4SPYEGKZ8J/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
The abelianization of the orbifold group 1XN9JB0Z9C
| URI | m2://inv/1XN9JB0Z9C |
|---|---|
| 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 2609.29839#2AJ9, The abelianization of the orbifold group (statement)
History
- 2026-11-01: add by m2/v0.6.15
1XN9RGTRKR 1XN9RGTRKR
| URI | m2://inv/1XN9RGTRKR |
|---|---|
| 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#8I2W (statement). In 4PGTZ19B26/e1, lemma 3.15
History
- 2026-10-28: add by m2/v0.4.2
1XNCD1N55N 1XNCD1N55N
| URI | m2://inv/1XNCD1N55N |
|---|---|
| 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.21403#I6DF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Persistence and disappearance of torsion 1XNDK32F1A
| URI | m2://inv/1XNDK32F1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-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.04305#QYVP, Persistence and disappearance of torsion (statement). In Y1DR0DPWD0/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
1XNEVNYP6X 1XNEVNYP6X
| URI | m2://inv/1XNEVNYP6X |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-231 (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
1XNHFJ3TJG 1XNHFJ3TJG
| URI | m2://inv/1XNHFJ3TJG |
|---|---|
| Kind | example |
| 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.14318#EAGV (example). In HA4SZZJ831/e1, example 3.1
History
- 2026-10-28: add by m2/v0.4.2
1XNJM4ET4S 1XNJM4ET4S
| URI | m2://inv/1XNJM4ET4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#E6OR (statement). In WWMHZKWZSM/e1, proposition 14
History
- 2026-10-27: add by m2/v0.3.5
uniform property 1XNT8BGBFQ
| URI | m2://inv/1XNT8BGBFQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2281389, uniform property (unknown). Also nLab uniform property
- wikipedia: Wikipedia Uniform property, Uniform property (definition). Also Wikidata Q2281389
History
- 2026-10-26: add by m2/dev
Behnke–Stein theorem on Stein manifolds 1XNXA30ZRJ
| URI | m2://inv/1XNXA30ZRJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behnke–Stein theorem on Stein manifolds, Behnke–Stein theorem on Stein manifolds (statement). Also Wikidata Q113394354
History
- 2026-11-02: add by m2/dev
universal bundle 1XP2HQB72Q
| URI | m2://inv/1XP2HQB72Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Universal bundle 1HDH716Z24 |
Mentions
- wikidata: Wikidata Q7894108, universal bundle (unknown). Also nLab universal bundle
- wikipedia: Wikipedia Universal bundle, Universal bundle (definition). Also Wikidata Q7894108
History
- 2026-10-26: add by m2/dev
G\'{e}rard-Varet--Masmoudi, Prange 1XP646V1K1
| URI | m2://inv/1XP646V1K1 |
|---|---|
| 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.17026#2CM9, G\'{e}rard-Varet--Masmoudi, Prange (statement). In 76G7J23DNZ/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Mutual knowledge 1XP64MYZ3G
| URI | m2://inv/1XP64MYZ3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutual knowledge (logic), Mutual knowledge (definition). Also Wikidata Q6944193
History
- 2026-11-02: add by m2/dev
1XP9P791E8 1XP9P791E8
| URI | m2://inv/1XP9P791E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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.02244#783A (statement). In 3REM2EXQK7/e1, corollary 3.20
History
- 2026-10-29: add by m2/v0.4.12
Algebraic K-theory 1XPEE595M5
| URI | m2://inv/1XPEE595M5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#V0S3, Algebraic K-theory (definition)
History
- 2026-11-02: add by m2/dev
Examples 1XPFW4A2ZK
| URI | m2://inv/1XPFW4A2ZK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skolem normal form#N301, Examples (example)
History
- 2026-11-02: add by m2/dev
locally constant sheaf 1XPJ72XY4H
| URI | m2://inv/1XPJ72XY4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#Y49N, locally constant sheaf (definition)
History
- 2026-11-02: add by m2/dev
1XPW3CVVHH 1XPW3CVVHH
| URI | m2://inv/1XPW3CVVHH |
|---|---|
| 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 2609.21914#NP9U (statement)
History
- 2026-11-02: add by m2/v0.6.17
1XPWTMEZYQ 1XPWTMEZYQ
| URI | m2://inv/1XPWTMEZYQ |
|---|---|
| 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.08935#GAL6 (definition). In G02N9D40B9/e1, definition 4.2.2
History
- 2026-10-29: add by m2/v0.4.10
Semiclassical limit of Gaussian $2$-QW barycenters 1XQ0ATDT3A
| URI | m2://inv/1XQ0ATDT3A |
|---|---|
| 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.01855#DXYI, Semiclassical limit of Gaussian $2$-QW barycenters (statement). In MM8P5CJR18/e1, theorem 2.7
History
- 2026-10-29: add by m2/v0.4.12
1XQ940BWM6 1XQ940BWM6
| URI | m2://inv/1XQ940BWM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-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.24901#XLW7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Logarithmic differentiation 1XQD0NFQ4K
| URI | m2://inv/1XQD0NFQ4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic differentiation, Logarithmic differentiation (definition). Also Wikidata Q2289425
History
- 2026-11-02: add by m2/dev
1XQG7SKETH 1XQG7SKETH
| URI | m2://inv/1XQG7SKETH |
|---|---|
| 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.16510#L299 (statement). In V7SQ4VXCRX/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Definition 1XQJX1ZYDD
| URI | m2://inv/1XQJX1ZYDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithm selection#WYS3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lagrange's identity 1XQQNDM11Q
| URI | m2://inv/1XQQNDM11Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#U6PS, Lagrange's identity (statement)
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#PXX3, Lagrange's identity (statement)
History
- 2026-11-02: add by m2/dev
structure formation 1XQX2YNHJJ
| URI | m2://inv/1XQX2YNHJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2914363, structure formation (unknown). Also nLab structure formation
- wikipedia: Wikipedia Structure formation, Structure formation (definition). Also Wikidata Q2914363
History
- 2026-10-26: add by m2/dev
1XR22G6K4K 1XR22G6K4K
| URI | m2://inv/1XR22G6K4K |
|---|---|
| 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 2609.32181#9QPE (statement). In 8FKEQSPN7M/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
No reflections from dimension six 1XR4S70WCY
| URI | m2://inv/1XR4S70WCY |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-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.01216#JYKJ, No reflections from dimension six (conjecture). In 59016RQTW6/e1, conjecture 5.2
History
- 2026-10-29: add by m2/v0.4.12
1XR4Z7Z63V 1XR4Z7Z63V
| URI | m2://inv/1XR4Z7Z63V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9807180#2E4B (definition). In VR3766BVE5/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
1XR6EE8ABG 1XR6EE8ABG
| URI | m2://inv/1XR6EE8ABG |
|---|---|
| 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.11336#AHV8 (statement). In X1R1GDAJ0Y/e1, corollary 2.14
History
- 2026-10-28: add by m2/v0.4.3
1XR9TV7X1A 1XR9TV7X1A
| URI | m2://inv/1XR9TV7X1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.13734#ZCBZ (statement). In 7AXKHR4YB3/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
Notation 1XRA62VD68
| URI | m2://inv/1XRA62VD68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monus#FI15, Notation (definition)
History
- 2026-11-02: add by m2/dev
Theorem 1XRCH92MRF
| URI | m2://inv/1XRCH92MRF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squeeze mapping#K9WM, Theorem (statement)
History
- 2026-11-02: add by m2/dev
1XRCPD40W9 1XRCPD40W9
| URI | m2://inv/1XRCPD40W9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.30285#A9PA (statement). In YMY0NNSM27/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.3.6
1XRG8V2TGP 1XRG8V2TGP
| URI | m2://inv/1XRG8V2TGP |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.07362#4JWS (proof). In GJ61KHH4AD/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Hans Peter Nilles 1XRG8ZSX6N
| URI | m2://inv/1XRG8ZSX6N |
|---|---|
| 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 Q22669821, Hans Peter Nilles (unknown). Also nLab Hans-Peter Nilles
History
- 2026-10-26: add by m2/dev
1XRGPRNPQB 1XRGPRNPQB
| URI | m2://inv/1XRGPRNPQB |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 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 1705.04310#SHNS (problem). In MG51GG0QZN/e1, problem 4.11
History
- 2026-10-27: add by m2/v0.3.5
Statistics Denmark 1XRPCSWSYT
| URI | m2://inv/1XRPCSWSYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics Denmark, Statistics Denmark (definition). Also Wikidata Q1164337
History
- 2026-11-02: add by m2/dev
1XRPHSCD6D 1XRPHSCD6D
| URI | m2://inv/1XRPHSCD6D |
|---|---|
| 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.27049#RIBK (statement)
History
- 2026-11-01: add by m2/v0.6.15
1XRPQYCC33 1XRPQYCC33
| URI | m2://inv/1XRPQYCC33 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ImagesInverseImages.tex#problem-9 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
1XRY54H41V 1XRY54H41V
| URI | m2://inv/1XRY54H41V |
|---|---|
| Kind | example |
| 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.31274#M0W4 (example). In RK0ZMDJ23T/e1, example 4.2.4
History
- 2026-10-31: add by m2/v0.5.6
Alison Ramage 1XRZPY6ZX0
| URI | m2://inv/1XRZPY6ZX0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alison Ramage, Alison Ramage (topic). Also Wikidata Q102303662
History
- 2026-11-02: add by m2/dev
1XS80QXHF5 1XS80QXHF5
| URI | m2://inv/1XS80QXHF5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-23 (exercise). In E9HS8K3A52, exercise, section 7.2.7
History
- 2026-11-01: add by m2/v0.6.13
1XSHEWQ62C 1XSHEWQ62C
| URI | m2://inv/1XSHEWQ62C |
|---|---|
| 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.10086#DEHN (statement). In NP9X9CAK19/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Ernst Witt 1XSHMBFF1T
| URI | m2://inv/1XSHMBFF1T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#4IG8, Ernst Witt (topic)
History
- 2026-11-02: add by m2/dev
Call by macro expansion 1XSKHN6JZ6
| URI | m2://inv/1XSKHN6JZ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evaluation strategy#XZW6, Call by macro expansion (unknown)
History
- 2026-11-02: add by m2/dev
1XSNG3QFXW 1XSNG3QFXW
| URI | m2://inv/1XSNG3QFXW |
|---|---|
| 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 2403.16840#K7Z0 (statement). In K4CZQDD0G7/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Sophie Morel 1XSNKW0XR8
| URI | m2://inv/1XSNKW0XR8 |
|---|---|
| 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#SHOU, Sophie Morel (topic)
History
- 2026-11-02: add by m2/dev
4100 1XSPDVYGA2
| URI | m2://inv/1XSPDVYGA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4000 (number)#SX53, 4100 (unknown)
History
- 2026-11-02: add by m2/dev
M6 1XSQ76T2TQ
| URI | m2://inv/1XSQ76T2TQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M6 (cipher), M6 (definition). Also Wikidata Q6713909
History
- 2026-11-02: add by m2/dev
1XSTSANT1G 1XSTSANT1G
| URI | m2://inv/1XSTSANT1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#3OYA (statement). In DG9TF5X0EG/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.0
1XT0XHRZFJ 1XT0XHRZFJ
| URI | m2://inv/1XT0XHRZFJ |
|---|---|
| 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.06707#RLYG (statement). In 9TR5E527P5/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Uniform concentration of frozen exponential averages 1XT3QH1ZRQ
| URI | m2://inv/1XT3QH1ZRQ |
|---|---|
| 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.11309#T0W9, Uniform concentration of frozen exponential averages (statement). In TTEAQA1XXR/e1, lemma E.3
History
- 2026-10-28: add by m2/v0.4.3
Sobczyk's theorem 1XT525F4QD
| URI | m2://inv/1XT525F4QD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HRHA, Sobczyk's theorem (unknown)
History
- 2026-11-02: add by m2/dev
1XT9D1GMHG 1XT9D1GMHG
| URI | m2://inv/1XT9D1GMHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20972#0EDX (statement). In 6SZE4MTXGZ/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.2
Generalizations 1XTAG9DM6Y
| URI | m2://inv/1XTAG9DM6Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Press–Schechter formalism#BUJ9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
1XTCSKXCFN 1XTCSKXCFN
| URI | m2://inv/1XTCSKXCFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.19468#OGTU (statement). In EY54F2SX08/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
1XTGCHYWT5 1XTGCHYWT5
| URI | m2://inv/1XTGCHYWT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11048#YSTJ (statement). In H6TK4V0YVQ/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
1XTHJPP2M8 1XTHJPP2M8
| URI | m2://inv/1XTHJPP2M8 |
|---|---|
| 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 2604.05177#UP28 (statement). In G04BKQV6YM/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
compression identity 1XTQ3NHJSJ
| URI | m2://inv/1XTQ3NHJSJ |
|---|---|
| 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.20775#P3F6, compression identity (statement). In XG27B81T0G/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
The unitary partner of the diagonal words 1XTV5XMGGG
| URI | m2://inv/1XTV5XMGGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#3L4C, The unitary partner of the diagonal words (statement). In 11JNM66Z09/e1, corollary 19.6
History
- 2026-10-28: add by m2/v0.4.2
1XTVW877B5 1XTVW877B5
| URI | m2://inv/1XTVW877B5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#5KWS (statement). In 9H45HQE7AZ/e1, proposition 6.7
History
- 2026-10-27: add by m2/v0.3.5
Snub 5-demicube 1XTWFVQA8E
| URI | m2://inv/1XTWFVQA8E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated 5-orthoplexes#4J3W, Snub 5-demicube (unknown)
History
- 2026-11-02: add by m2/dev
1XTX0BK9DT 1XTX0BK9DT
| URI | m2://inv/1XTX0BK9DT |
|---|---|
| Kind | example |
| 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 1912.02769#HPU3 (example). In JH7VQ2EC16/e1, example 2.4
History
- 2026-10-27: add by m2/v0.3.5
David Madigan 1XTXAEKTCM
| URI | m2://inv/1XTXAEKTCM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Madigan, David Madigan (topic). Also Wikidata Q21030327
History
- 2026-11-02: add by m2/dev
Fundamental pair of periods 1XV8MAQ3T8
| URI | m2://inv/1XV8MAQ3T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental pair of periods, Fundamental pair of periods (definition). Also Wikidata Q5508966
History
- 2026-11-02: add by m2/dev
Isometries in the complex plane 1XV93ADV6G
| URI | m2://inv/1XV93ADV6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#7L9T, Isometries in the complex plane (definition)
History
- 2026-11-02: add by m2/dev
Orbit-coordinate fixed spaces 1XVEPTYAFG
| URI | m2://inv/1XVEPTYAFG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22082#JQIY, Orbit-coordinate fixed spaces (statement). In 7PACGDW3N7/e1, proposition 8.1
History
- 2026-10-27: add by m2/v0.4.0
Boundary layer thickness 1XVJMSYYS8
| URI | m2://inv/1XVJMSYYS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundary layer thickness, Boundary layer thickness (definition). Also Wikidata Q1660471
History
- 2026-11-02: add by m2/dev
Principle of computational equivalence (PCE) 1XVMNDZYAD
| URI | m2://inv/1XVMNDZYAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A New Kind of Science#7TMO, Principle of computational equivalence (PCE) (statement)
History
- 2026-11-02: add by m2/dev
1XVQSAHDXB 1XVQSAHDXB
| URI | m2://inv/1XVQSAHDXB |
|---|---|
| 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 1806.05002#U0KE (statement). In JBAQ7DTW7B/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.3.5
1XVW3SZ6H7 1XVW3SZ6H7
| URI | m2://inv/1XVW3SZ6H7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#U7UO (definition). In H21X3FHNYJ/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.4.2
Pasquale del Pezzo 1XVYV49F72
| URI | m2://inv/1XVYV49F72 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pasquale del Pezzo, Pasquale del Pezzo (topic). Also Wikidata Q284745
History
- 2026-11-02: add by m2/dev
725 (number) 1XW11XNDWQ
| URI | m2://inv/1XW11XNDWQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#C4B0, 725 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Herbert Mehrtens 1XWBJK9E05
| URI | m2://inv/1XWBJK9E05 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbert Mehrtens, Herbert Mehrtens (topic). Also Wikidata Q1608787
History
- 2026-11-02: add by m2/dev
1XWD8XHK4G 1XWD8XHK4G
| URI | m2://inv/1XWD8XHK4G |
|---|---|
| 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 0904.3493#DIEA (definition). In 1ARY7220P4/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Hales–Jewett theorem 1XWETQ7X3X
| URI | m2://inv/1XWETQ7X3X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#45QE, Hales–Jewett theorem (statement)
History
- 2026-11-02: add by m2/dev
Fraktur 1XWGA7EAYT
| URI | m2://inv/1XWGA7EAYT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q148443, Fraktur (unknown). Also ProofWiki Symbols:Fonts/mathfrak
History
- 2026-10-26: add by m2/dev
Conditioning a mixing distribution 1XWH8DBN1D
| URI | m2://inv/1XWH8DBN1D |
|---|---|
| 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.06875#ZIAB, Conditioning a mixing distribution (statement). In ZDT5J9KQVQ/e1, lemma H.4
History
- 2026-10-29: add by m2/v0.4.10
1XWJ1FZC6E 1XWJ1FZC6E
| URI | m2://inv/1XWJ1FZC6E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/trakhtenbrot.tex#cor:fproof-incomp (statement). In PKGMM3P5QY, cor, section 86.10
History
- 2026-11-01: add by m2/v0.6.13
Ergodic theory 1XWJFG7XFZ
| URI | m2://inv/1XWJFG7XFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#3L1X, Ergodic theory (definition)
History
- 2026-11-02: add by m2/dev
Frank Wilcoxon 1XWK4D2V4S
| URI | m2://inv/1XWK4D2V4S |
|---|---|
| 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#UOMT, Frank Wilcoxon (topic)
History
- 2026-11-02: add by m2/dev
Open condition 1XWRJVKF2P
| URI | m2://inv/1XWRJVKF2P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28024#FY1R, Open condition (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 1XWW7M68T1
| URI | m2://inv/1XWW7M68T1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's method#U3S7, Example (example)
History
- 2026-11-02: add by m2/dev
Example 1XWZZJ9AMK
| URI | m2://inv/1XWZZJ9AMK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimax#YK8D, Example (example)
History
- 2026-11-02: add by m2/dev
tungsten-181 1XX0HSSG7S
| URI | m2://inv/1XX0HSSG7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18882862, tungsten-181 (definition). Also ProofWiki Definition:Tungsten/181
History
- 2026-10-26: add by m2/dev
1XX4A1674J 1XX4A1674J
| URI | m2://inv/1XX4A1674J |
|---|---|
| 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 2608.00864#5HN8 (statement). In PRF0P3D637/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
The classical associated-group theorem in a homotopy four-sphere 1XX82NR7HA
| URI | m2://inv/1XX82NR7HA |
|---|---|
| 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 2609.29839#OWE2, The classical associated-group theorem in a homotopy four-sphere (statement)
History
- 2026-11-01: add by m2/v0.6.15
1XX8DM4E6E 1XX8DM4E6E
| URI | m2://inv/1XX8DM4E6E |
|---|---|
| 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.03327#DB76 (statement). In EBNXA84CPM/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Prime geodesic theorem 1XX8SX9R04
| URI | m2://inv/1XX8SX9R04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime geodesic#Q910, Prime geodesic theorem (statement)
History
- 2026-11-02: add by m2/dev
1XXB2C82MG 1XXB2C82MG
| URI | m2://inv/1XXB2C82MG |
|---|---|
| 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.09672#XX60 (statement). In TXBXCPP0QH/e1, lemma 31
History
- 2026-10-29: add by m2/v0.4.10
Preset 1XXFGJC1AQ
| URI | m2://inv/1XXFGJC1AQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4377407, Preset (unknown). Also nLab preset
History
- 2026-10-26: add by m2/dev
Mollifier 1XXG7EXA77
| URI | m2://inv/1XXG7EXA77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mollifier, Mollifier (definition). Also Wikidata Q2318637
History
- 2026-11-02: add by m2/dev
divisor 1XXQ6YAA8Q
| URI | m2://inv/1XXQ6YAA8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Divisibility 0PG2H7WKGG |
Mentions
- wikidata: Wikidata Q50708, divisor (unknown). Also EoM Divisor_(of_an_integer_or_of_a_polynomial), MathWorld Divisor
- wikipedia: Wikipedia Divisor, Divisor (definition). Also Wikidata Q50708
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
James William Peter Hirschfeld 1XXSN9W35K
| URI | m2://inv/1XXSN9W35K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#S162, James William Peter Hirschfeld (unknown)
History
- 2026-11-02: add by m2/dev
1XXWDH3AK8 1XXWDH3AK8
| URI | m2://inv/1XXWDH3AK8 |
|---|---|
| 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.13699#4K2B (statement). In ZSMAQ666K7/e1, corollary 2.3
History
- 2026-10-28: add by m2/v0.4.2
pseudoholomorphic curve 1XXYJ1X94P
| URI | m2://inv/1XXYJ1X94P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pseudoholomorphic curve N469E47V75 |
Mentions
- wikidata: Wikidata Q2115749, pseudoholomorphic curve (unknown). Also nLab pseudoholomorphic curve
- wikipedia: Wikipedia Pseudoholomorphic curve, Pseudoholomorphic curve (definition). Also Wikidata Q2115749
History
- 2026-10-26: add by m2/dev
1XY3PJDKR4 1XY3PJDKR4
| URI | m2://inv/1XY3PJDKR4 |
|---|---|
| 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 2609.32181#1EAW (statement). In 8FKEQSPN7M/e1, proposition 1.10
History
- 2026-10-31: add by m2/v0.5.6
1XYAXKRWJT 1XYAXKRWJT
| URI | m2://inv/1XYAXKRWJT |
|---|---|
| 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.24553#8CQG (statement)
History
- 2026-11-01: add by m2/v0.6.15
1XYB5HNZ2G 1XYB5HNZ2G
| URI | m2://inv/1XYB5HNZ2G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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.27872#3RKH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hyper-Erlang distribution 1XYJV1BEZQ
| URI | m2://inv/1XYJV1BEZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyper-Erlang distribution, Hyper-Erlang distribution (definition). Also Wikidata Q16963694
History
- 2026-11-02: add by m2/dev
Measurement of a Circle 1XZHXFY414
| URI | m2://inv/1XZHXFY414 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q511915, Measurement of a Circle (unknown). Also ProofWiki Book:Archimedes/Measurement_of_a_Circle
- wikipedia: Wikipedia Measurement of a Circle, Measurement of a Circle (definition). Also Wikidata Q511915
History
- 2026-10-26: add by m2/dev
1XZNADSZ0T 1XZNADSZ0T
| URI | m2://inv/1XZNADSZ0T |
|---|---|
| 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 2610.22074#813C (definition). In F3BKXXPR3K/e1, definition 4.9
History
- 2026-10-27: add by m2/v0.4.2
Object-centric Petri net 1XZPZ7GYF9
| URI | m2://inv/1XZPZ7GYF9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#Y4G0, Object-centric Petri net (definition)
History
- 2026-11-02: add by m2/v0.6.18
1XZXX64S2Z 1XZXX64S2Z
| URI | m2://inv/1XZXX64S2Z |
|---|---|
| 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.16225#RRK0 (statement). In H3DJV9YQW1/e1, proposition 1.12
History
- 2026-10-28: add by m2/v0.4.2