Inventory rows J3
The cards of the rows of the inventory whose ids start with J3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
J300AHNDGT J300AHNDGT
| URI | m2://inv/J300AHNDGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#6KA3 (statement). In XYYEJN00D8/e1, proposition 2.17
History
- 2026-10-30: add by m2/v0.4.12
Philosophy of Mathematics and Natural Science J30B9QHQ0A
| URI | m2://inv/J30B9QHQ0A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#KPFD, Philosophy of Mathematics and Natural Science (topic)
History
- 2026-11-02: add by m2/dev
estimator J30TTZ9KWC
| URI | m2://inv/J30TTZ9KWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#2RRU, estimator (definition)
History
- 2026-11-02: add by m2/dev
Nazarov--Sklyanin Macdonald Lax operator J30XGEYGRE
| URI | m2://inv/J30XGEYGRE |
|---|---|
| Kind | definition |
| 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.12326#ECVO, Nazarov--Sklyanin Macdonald Lax operator (definition). In 9S7HGSEX6Q/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
S. L. Hakimi J3103R1M4T
| URI | m2://inv/J3103R1M4T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RFK1, S. L. Hakimi (topic)
History
- 2026-11-02: add by m2/dev
The Universality criterion J319D1MGYW
| URI | m2://inv/J319D1MGYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#NDTA, The Universality criterion (statement). In HGE2NCQW29/e1, proposition 8.1
History
- 2026-10-27: add by m2/v0.3.5
Uniform vanishing of the Gram-dependent part J31F3V8MZ3
| URI | m2://inv/J31F3V8MZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08980#PC2E, Uniform vanishing of the Gram-dependent part (statement). In X407M6WFNR/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
J31GB3HD9B J31GB3HD9B
| URI | m2://inv/J31GB3HD9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#RBCQ (statement). In PEXJPV3NP8/e1, theorem 6.3
History
- 2026-10-27: add by m2/v0.3.5
Leila Schneps J31QZD3JQC
| URI | m2://inv/J31QZD3JQC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15915722, Leila Schneps (unknown). Also nLab Leila Schneps
- wikipedia: Wikipedia Leila Schneps, Leila Schneps (topic). Also Wikidata Q15915722
History
- 2026-10-26: add by m2/dev
Corollary J31SX3ESK3
| URI | m2://inv/J31SX3ESK3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#JQNO, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Implementation J31VVJTJ0B
| URI | m2://inv/J31VVJTJ0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Economic order quantity#PFUB, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Octahemioctahedron J31XHPYMWP
| URI | m2://inv/J31XHPYMWP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#110X, Octahemioctahedron (object)
History
- 2026-11-02: add by m2/dev
J325DJ8926 J325DJ8926
| URI | m2://inv/J325DJ8926 |
|---|---|
| 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.27820#NCC4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exact ambient coupling J329RHP8A0
| URI | m2://inv/J329RHP8A0 |
|---|---|
| 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.21880#RTNH, Exact ambient coupling (statement)
History
- 2026-11-02: add by m2/v0.6.18
Jiang and Longbrake J32DAPD86F
| URI | m2://inv/J32DAPD86F |
|---|---|
| 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.38772#16GT, Jiang and Longbrake (statement). In 1C3R5NAQAP/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
J32FBNDFM8 J32FBNDFM8
| URI | m2://inv/J32FBNDFM8 |
|---|---|
| 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.18555#0HBZ (statement). In JPR62EY6A5/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
The complete higher-level calculation J32HNZ02T2
| URI | m2://inv/J32HNZ02T2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36444#T0QI, The complete higher-level calculation (statement). In 4DJE72VPJP/e1, corollary 4.5
History
- 2026-10-30: add by m2/v0.4.12
Successor function J32HQ7KW18
| URI | m2://inv/J32HQ7KW18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Successor function, Successor function (definition). Also Wikidata Q7632653
History
- 2026-11-02: add by m2/dev
J32JPCZFB5 J32JPCZFB5
| URI | m2://inv/J32JPCZFB5 |
|---|---|
| Kind | problem |
| 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 2307.16868#U8GW (problem). In H1BA0DYXA1/e1, problem
History
- 2026-10-27: add by m2/v0.3.5
J32JZYTDCB J32JZYTDCB
| URI | m2://inv/J32JZYTDCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.06189#PJ5A (statement). In N5ZSHXYYV6/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
probability density J32TC0Z0F5
| URI | m2://inv/J32TC0Z0F5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#MS6B, probability density (definition)
History
- 2026-11-02: add by m2/dev
J331P4WSEJ J331P4WSEJ
| URI | m2://inv/J331P4WSEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37706#52YS (statement). In 6YY27KRJFN/e1, proposition 6.5
History
- 2026-10-30: add by m2/v0.4.12
Left-handed tuning J339G3NJCG
| URI | m2://inv/J339G3NJCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular tuning#HDN9, Left-handed tuning (unknown)
History
- 2026-11-02: add by m2/dev
Bernhard Pattenhausen J33FBE6SXZ
| URI | m2://inv/J33FBE6SXZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernhard Pattenhausen, Bernhard Pattenhausen (topic). Also Wikidata Q825715
History
- 2026-11-02: add by m2/dev
J33N812RK9 J33N812RK9
| URI | m2://inv/J33N812RK9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#5RUU (definition). In EVFX1R7ZDD/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
J33S9EEKG9 J33S9EEKG9
| URI | m2://inv/J33S9EEKG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#DYNZ (statement). In 3A4K47Y9F2/e1, lemma 6.33
History
- 2026-10-27: add by m2/v0.4.0
Identric mean J340R8CE3B
| URI | m2://inv/J340R8CE3B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10972421, Identric mean (concept). Also MathWorld IdentricMean
- wikipedia: Wikipedia Identric mean, Identric mean (definition). Also Wikidata Q10972421
History
- 2026-10-26: add by m2/dev
Intransitivity J342BD3Z5W
| URI | m2://inv/J342BD3Z5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intransitivity, Intransitivity (definition). Also Wikidata Q54980267
History
- 2026-11-02: add by m2/dev
J3480HEBP3 J3480HEBP3
| URI | m2://inv/J3480HEBP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10796#A4RV (statement). In 9YDW0QJZ6K/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
J34C65BD80 J34C65BD80
| URI | m2://inv/J34C65BD80 |
|---|---|
| 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 2112.05010#X53R (statement). In 4SZNPS3Z00/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.6
Balloon hashing J34DSW5GNF
| URI | m2://inv/J34DSW5GNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balloon hashing, Balloon hashing (definition). Also Wikidata Q85745080
History
- 2026-11-02: add by m2/dev
Elementary arithmetic J34F5ZENYA
| URI | m2://inv/J34F5ZENYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#5WH8, Elementary arithmetic (definition)
History
- 2026-11-02: add by m2/dev
J34G7G0002 J34G7G0002
| URI | m2://inv/J34G7G0002 |
|---|---|
| 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.30760#BEX1 (statement). In MMVNRRE7N0/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
chess J34HNVPMQ9
| URI | m2://inv/J34HNVPMQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q718, chess (definition). Also MathWorld Chess, ProofWiki Definition:Chess
History
- 2026-10-26: add by m2/dev
Four-state upper bound J34KY679VC
| URI | m2://inv/J34KY679VC |
|---|---|
| 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.10002#KXXN, Four-state upper bound (statement). In 5ZYWF6HAXJ/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.10
J34PSTSCWN J34PSTSCWN
| URI | m2://inv/J34PSTSCWN |
|---|---|
| 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#WLA0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
J34QFD306W J34QFD306W
| URI | m2://inv/J34QFD306W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26852#0HT3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
APS Conjectures 5 and 6 J34YAX3T1Z
| URI | m2://inv/J34YAX3T1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25037#Q3C2, APS Conjectures 5 and 6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
J351S3DB90 J351S3DB90
| URI | m2://inv/J351S3DB90 |
|---|---|
| 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.31527#O8NI (statement). In ZQ2YZ4P6P5/e1, theorem 5.5
History
- 2026-10-31: add by m2/v0.5.6
Selberg's orthogonality conjecture J35RB6NK3P
| URI | m2://inv/J35RB6NK3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#GK2U, Selberg's orthogonality conjecture (definition)
History
- 2026-11-02: add by m2/dev
Tai's model J35XN8QD2Y
| URI | m2://inv/J35XN8QD2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tai's model, Tai's model (definition). Also Wikidata Q97850244
History
- 2026-11-02: add by m2/dev
J364Z7RM0X J364Z7RM0X
| URI | m2://inv/J364Z7RM0X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#IKNB (definition). In 6KR7Z5ETRY/e1, definition 2.23
History
- 2026-10-27: add by m2/v0.3.5
J36A5W74SQ J36A5W74SQ
| URI | m2://inv/J36A5W74SQ |
|---|---|
| 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.31910#1US0 (example). In E4EK1XXPY4/e1, example 3.2
History
- 2026-10-31: add by m2/v0.5.6
J36F0QPW4N J36F0QPW4N
| URI | m2://inv/J36F0QPW4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04431#0TPW (statement). In 3PSAWXCCJ8/e1, theorem 15
History
- 2026-10-29: add by m2/v0.4.12
J36GCX2F68 J36GCX2F68
| URI | m2://inv/J36GCX2F68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25761#X437 (statement)
History
- 2026-11-01: add by m2/v0.6.15
J36SPJ2WCW J36SPJ2WCW
| URI | m2://inv/J36SPJ2WCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#IGUM (statement). In N3Z6JFEPCF/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
pandas J36ZRK4JDN
| URI | m2://inv/J36ZRK4JDN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#HBEL, pandas (unknown)
History
- 2026-11-02: add by m2/dev
Definition J375AN9AMQ
| URI | m2://inv/J375AN9AMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outer product#B1S9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ingmar Saberi J37CK1YKMX
| URI | m2://inv/J37CK1YKMX |
|---|---|
| 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 Q102645224, Ingmar Saberi (unknown). Also nLab Ingmar Saberi
History
- 2026-10-26: add by m2/dev
J37G6TN4RM J37G6TN4RM
| URI | m2://inv/J37G6TN4RM |
|---|---|
| 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 math/0411039#939W (statement). In ZTBDXSKFFW/e1, theorem 7.5
History
- 2026-10-27: add by m2/v0.3.5
Modulated complex lapped transform J37XR9GEBE
| URI | m2://inv/J37XR9GEBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulated complex lapped transform, Modulated complex lapped transform (definition). Also Wikidata Q16915172
History
- 2026-11-02: add by m2/dev
J384295J5H J384295J5H
| URI | m2://inv/J384295J5H |
|---|---|
| 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#IQNJ (statement). In PRF0P3D637/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
group cohomology J384WF91K2
| URI | m2://inv/J384WF91K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Group cohomology YXJXA0Q52R |
Mentions
- wikidata: Wikidata Q1408937, group cohomology (unknown). Also EoM Cohomology_of_groups, MathWorld GroupCohomology, nLab group cohomology
- wikipedia: Wikipedia Group cohomology, Group cohomology (definition). Also Wikidata Q1408937
History
- 2026-10-26: add by m2/dev
J38BY7WG0G J38BY7WG0G
| URI | m2://inv/J38BY7WG0G |
|---|---|
| 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 2205.09049#SRHU (definition). In 37S7MNMZ2F/e1, definition 23
History
- 2026-10-27: add by m2/v0.3.5
J38G2KY2Y5 J38G2KY2Y5
| URI | m2://inv/J38G2KY2Y5 |
|---|---|
| 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.20025#FOK5 (statement). In 4W1WR4JB89/e1, theorem 2.12
History
- 2026-10-27: add by m2/v0.4.2
Example J38GXD5Y08
| URI | m2://inv/J38GXD5Y08 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Individual pieces set#0PO0, Example (example)
History
- 2026-11-02: add by m2/dev
Pythagorean trigonometric identity J38H69FPQZ
| URI | m2://inv/J38H69FPQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean theorem#BMWC, Pythagorean trigonometric identity (statement)
History
- 2026-11-02: add by m2/dev
J38KMS1WA1 J38KMS1WA1
| URI | m2://inv/J38KMS1WA1 |
|---|---|
| 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.03520#9NXO (statement). In CSRZ9CWK69/e1, corollary 7.8
History
- 2026-10-29: add by m2/v0.4.12
J38RXNJ0MJ J38RXNJ0MJ
| URI | m2://inv/J38RXNJ0MJ |
|---|---|
| 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.19358#J0XU (statement). In N3QZZ7BD0V/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Metric J38X542HYB
| URI | m2://inv/J38X542HYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#MTNA, Metric (definition)
History
- 2026-11-02: add by m2/dev
Néron–Ogg–Shafarevich criterion J38ZBFG77E
| URI | m2://inv/J38ZBFG77E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Néron–Ogg–Shafarevich criterion, Néron–Ogg–Shafarevich criterion (statement). Also Wikidata Q7071451
History
- 2026-11-02: add by m2/dev
Use J38ZYGQB02
| URI | m2://inv/J38ZYGQB02 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lot quality assurance sampling#998N, Use (example)
History
- 2026-11-02: add by m2/dev
J3932Z1G8Y J3932Z1G8Y
| URI | m2://inv/J3932Z1G8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#OLJG (statement). In PA6JQDSKQT/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
J394RSW1F0 J394RSW1F0
| URI | m2://inv/J394RSW1F0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35325#WFQZ (statement). In GHT5WXFA4E/e1, lemma 5.7
History
- 2026-10-30: add by m2/v0.4.12
Arthur Jaffe J397XH6J0N
| URI | m2://inv/J397XH6J0N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BVBG, Arthur Jaffe (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SCWF, Arthur Jaffe (unknown)
History
- 2026-11-02: add by m2/dev
polygonal dihedron J398YK15PT
| URI | m2://inv/J398YK15PT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9213342, polygonal dihedron (unknown). Also MathWorld Dihedron
- wikipedia: Wikipedia Dihedron, Dihedron (object). Also Wikidata Q9213342
History
- 2026-10-26: add by m2/dev
J39BJ3C5XV J39BJ3C5XV
| URI | m2://inv/J39BJ3C5XV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.20531#26EK (statement)
History
- 2026-11-02: add by m2/v0.6.18
J39MBQSVZR J39MBQSVZR
| URI | m2://inv/J39MBQSVZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#4HP4 (statement). In Q4RZTN2EX6/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.2
J39N1R1077 J39N1R1077
| URI | m2://inv/J39N1R1077 |
|---|---|
| Kind | problem |
| 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.13833#VKXG (problem). In VD4JP4HVBX/e1, problem 7
History
- 2026-10-28: add by m2/v0.4.2
J39SPKVVMJ J39SPKVVMJ
| URI | m2://inv/J39SPKVVMJ |
|---|---|
| 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.20690#JN9Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
Distance matrix methods J3A6ZJY5SR
| URI | m2://inv/J3A6ZJY5SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance matrix#K7YU, Distance matrix methods (definition)
History
- 2026-11-02: add by m2/dev
J3A99ZBGSH J3A99ZBGSH
| URI | m2://inv/J3A99ZBGSH |
|---|---|
| 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 1002.0879#3XGB (definition). In M0SQY5EZN5/e1, definition 4.4.4
History
- 2026-10-27: add by m2/v0.3.5
J3ACSF5HHR J3ACSF5HHR
| URI | m2://inv/J3ACSF5HHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#thm:f inverse bijection (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
J3AF9DC1T8 J3AF9DC1T8
| URI | m2://inv/J3AF9DC1T8 |
|---|---|
| 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.28141#FF61 (statement)
History
- 2026-11-01: add by m2/v0.6.15
William Cook J3AKJ7E91Y
| URI | m2://inv/J3AKJ7E91Y |
|---|---|
| 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#6H3J, William Cook (topic)
History
- 2026-11-02: add by m2/dev
Kramers' theorem J3AKX6398H
| URI | m2://inv/J3AKX6398H |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1786419, Kramers' theorem (statement). Also Wikidata Q1786419
- thousand_plus: thousand_plus Q1786419, Kramers' theorem (statement). Also Wikidata Q1786419, Wikipedia Kramers' theorem
- wikipedia: Wikipedia Kramers' theorem, Kramers' theorem (statement). Also Wikidata Q1786419
History
- 2026-10-26: add by m2/dev
J3B2PT1WEZ J3B2PT1WEZ
| URI | m2://inv/J3B2PT1WEZ |
|---|---|
| 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.17817#1MFE (statement). In M8TSJ24RC2/e1, proposition 4.14
History
- 2026-10-28: add by m2/v0.4.2
J3B5TXB7BR J3B5TXB7BR
| URI | m2://inv/J3B5TXB7BR |
|---|---|
| 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.04901#82X0 (statement). In XBWHYW36TP/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
J3BHBSX2RM J3BHBSX2RM
| URI | m2://inv/J3BHBSX2RM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#FCT5 (statement). In GJ7N2EWACX/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.2
Empty semigroup J3BP8H99AW
| URI | m2://inv/J3BP8H99AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empty semigroup, Empty semigroup (definition). Also Wikidata Q5374737
History
- 2026-11-02: add by m2/dev
J3BRASD0TE J3BRASD0TE
| URI | m2://inv/J3BRASD0TE |
|---|---|
| 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.24353#4HHF (statement)
History
- 2026-11-01: add by m2/v0.6.15
J3BS6RQYPB J3BS6RQYPB
| URI | m2://inv/J3BS6RQYPB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#A77C (definition). In GHKR740SG3/e1, definition 14.1
History
- 2026-10-31: add by m2/v0.5.6
Margaret Millington J3BVZHPC1W
| URI | m2://inv/J3BVZHPC1W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret Millington, Margaret Millington (topic). Also Wikidata Q21664763
History
- 2026-11-02: add by m2/dev
Kähler differentials J3C1R4HAD3
| URI | m2://inv/J3C1R4HAD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#PULN, Kähler differentials (definition)
History
- 2026-11-02: add by m2/dev
Arvind Rajaraman J3C4SNR8RA
| URI | m2://inv/J3C4SNR8RA |
|---|---|
| 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 Q4802501, Arvind Rajaraman (unknown). Also nLab Arvind Rajaraman
History
- 2026-10-26: add by m2/dev
octonion algebra J3C768VD1Z
| URI | m2://inv/J3C768VD1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2835924, octonion algebra (unknown). Also MathWorld CayleyAlgebra
- wikipedia: Wikipedia Octonion algebra, Octonion algebra (definition). Also Wikidata Q2835924
History
- 2026-10-26: add by m2/dev
J3C898V36R J3C898V36R
| URI | m2://inv/J3C898V36R |
|---|---|
| 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#YQEZ (statement). In E7W2HDNEKJ/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
J3CC9PNRNY J3CC9PNRNY
| URI | m2://inv/J3CC9PNRNY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#prop:semanticalfacts (statement). In PKGMM3P5QY, prop, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
set-theoretic J3CM3MTH9T
| URI | m2://inv/J3CM3MTH9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#JTCH, set-theoretic (definition)
History
- 2026-11-02: add by m2/dev
Examples J3CVAW2A7S
| URI | m2://inv/J3CVAW2A7S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev nodes#15DC, Examples (example)
History
- 2026-11-02: add by m2/dev
Directed-pair exponent controls multiclass error J3CZFZ8KAD
| URI | m2://inv/J3CZFZ8KAD |
|---|---|
| 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#G8WG, Directed-pair exponent controls multiclass error (statement). In TTEAQA1XXR/e1, lemma C.24
History
- 2026-10-28: add by m2/v0.4.3
J3D6F0H6R0 J3D6F0H6R0
| URI | m2://inv/J3D6F0H6R0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33406#80Z1 (statement). In B23TX8G4E4/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
J3D85C4K05 J3D85C4K05
| URI | m2://inv/J3D85C4K05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21900#BNQ6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lagrangian analysis J3DDR9KRFT
| URI | m2://inv/J3DDR9KRFT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#3PZ1, Lagrangian analysis (unknown)
History
- 2026-11-02: add by m2/dev
IJP The Book of Surfaces J3DEBKTAMZ
| URI | m2://inv/J3DEBKTAMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IJP The Book of Surfaces, IJP The Book of Surfaces (definition). Also Wikidata Q115519013
History
- 2026-11-02: add by m2/dev
angle bisector theorem J3DKKT8RBC
| URI | m2://inv/J3DKKT8RBC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Angle bisector theorem 0859R2V6ES |
Mentions
- mathlib_1000: mathlib_1000 Q925854, Angle bisector theorem (statement). Also Wikidata Q925854
- thousand_plus: thousand_plus Q925854, Angle bisector theorem (statement). Also Wikidata Q925854, Wikipedia Angle bisector theorem
- wikidata: Wikidata Q925854, angle bisector theorem (statement). Also MathWorld AngleBisectorTheorem, ProofWiki Angle_Bisector_Theorem
- wikipedia: Wikipedia Angle bisector theorem, Angle bisector theorem (statement). Also Wikidata Q925854
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Joe P. Buhler J3DMGP2TA1
| URI | m2://inv/J3DMGP2TA1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joe P. Buhler, Joe P. Buhler (topic). Also Wikidata Q15438381
History
- 2026-11-02: add by m2/dev
J3DTG7925Y J3DTG7925Y
| URI | m2://inv/J3DTG7925Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-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.04694#9PD0 (definition). In W9A0Z2NBMA/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.12
Uniform NTK and ReLU remainder J3DTHBES7K
| URI | m2://inv/J3DTHBES7K |
|---|---|
| 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.03306#KLOE, Uniform NTK and ReLU remainder (statement). In CXQ7FKSKSB/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.12
J3DWGJVGG7 J3DWGJVGG7
| URI | m2://inv/J3DWGJVGG7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 54.7
History
- 2026-11-01: add by m2/v0.6.13
Good Data Corporation J3DWKCNR7Y
| URI | m2://inv/J3DWKCNR7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Good Data Corporation, Good Data Corporation (definition). Also Wikidata Q135404177
History
- 2026-11-02: add by m2/dev
Regular backward equation for the Pfaffian J3DY9J2TKQ
| URI | m2://inv/J3DY9J2TKQ |
|---|---|
| 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.16989#ZNEQ, Regular backward equation for the Pfaffian (statement). In 4769XNDWYS/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
J3E4E0VGES J3E4E0VGES
| URI | m2://inv/J3E4E0VGES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.37271#X98X (statement). In 9WP2QGKMG8/e1, theorem 1.12
History
- 2026-10-30: add by m2/v0.4.12
J3E60YFEN1 J3E60YFEN1
| URI | m2://inv/J3E60YFEN1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-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.21960#HDE7 (example). In QX77AN49J0/e1, example 6.5
History
- 2026-10-27: add by m2/v0.4.2
De Morgan's law J3E90VZBJ9
| URI | m2://inv/J3E90VZBJ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relaxed intersection#MUGL, De Morgan's law (statement)
History
- 2026-11-02: add by m2/dev
J3E9KRB969 J3E9KRB969
| URI | m2://inv/J3E9KRB969 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27788#V1GU (statement)
History
- 2026-11-01: add by m2/v0.6.15
J3EGC00ATN J3EGC00ATN
| URI | m2://inv/J3EGC00ATN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39465#TQ2X (definition). In 17F6FDEA3W/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
J3EP2T0Z9Q J3EP2T0Z9Q
| URI | m2://inv/J3EP2T0Z9Q |
|---|---|
| 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.33766#RACU (statement). In VGKK4M68EK/e1, corollary 1.6
History
- 2026-10-30: add by m2/v0.4.12
Stanislav Smirnov J3EPZM97KK
| URI | m2://inv/J3EPZM97KK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZU77, Stanislav Smirnov (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#B521, Stanislav Smirnov (topic)
History
- 2026-11-02: add by m2/dev
Hausdorff's Paradox (in $\ZFC$) J3EVPVM6FC
| URI | m2://inv/J3EVPVM6FC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/vitali.tex#thm-1, Hausdorff's Paradox (in $\ZFC$) (statement). In PKGMM3P5QY, thm, section 71.6
History
- 2026-11-01: add by m2/v0.6.13
Ignazio Danti J3EWFR44W5
| URI | m2://inv/J3EWFR44W5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#6I3X, Ignazio Danti (unknown)
History
- 2026-11-02: add by m2/dev
Poisson process J3EYE6K4SY
| URI | m2://inv/J3EYE6K4SY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27961#C6ZZ, Poisson process (example)
History
- 2026-11-01: add by m2/v0.6.15
J3F2XVYV6Y J3F2XVYV6Y
| URI | m2://inv/J3F2XVYV6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#5X96 (statement). In F8RC6AENB0/e1, lemma 6.8
History
- 2026-10-27: add by m2/v0.3.5
J3F54TEN8J J3F54TEN8J
| URI | m2://inv/J3F54TEN8J |
|---|---|
| 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 2309.08900#RQT6 (statement). In 8X74NB6XBC/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.4.0
Example J3FAAT012X
| URI | m2://inv/J3FAAT012X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate Bayesian computation#QA48, Example (example)
History
- 2026-11-02: add by m2/dev
J3FAHWD33E J3FAHWD33E
| URI | m2://inv/J3FAHWD33E |
|---|---|
| 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 2212.00617#CCU1 (statement). In K7505G10SS/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Definitions J3FJ1TVEXC
| URI | m2://inv/J3FJ1TVEXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally finite space#MJ44, Definitions (definition)
History
- 2026-11-02: add by m2/dev
J3FP1187PX J3FP1187PX
| URI | m2://inv/J3FP1187PX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#NFD2 (definition). In 46370P3Y9S/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.4.2
Properties J3FX32V51Q
| URI | m2://inv/J3FX32V51Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autocovariance#PBKX, Properties (statement)
History
- 2026-11-02: add by m2/dev
J3FX629GQY J3FX629GQY
| URI | m2://inv/J3FX629GQY |
|---|---|
| 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#TMGP (definition). In H21X3FHNYJ/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.4.2
Hook-length representation J3G0EG2CFX
| URI | m2://inv/J3G0EG2CFX |
|---|---|
| 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.00396#V5EL, Hook-length representation (statement). In V13TE1RWT9/e1, proposition 10.5
History
- 2026-10-30: add by m2/v0.4.12
J3G2N803W6 J3G2N803W6
| URI | m2://inv/J3G2N803W6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35396#IBPU (definition). In 51N4SF53EV/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
J3GA913HPP J3GA913HPP
| URI | m2://inv/J3GA913HPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23093#F1ID (statement)
History
- 2026-11-02: add by m2/v0.6.17
Rvachev function J3GC334Y7E
| URI | m2://inv/J3GC334Y7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rvachev function, Rvachev function (definition). Also Wikidata Q4047790
History
- 2026-11-02: add by m2/dev
Pocklington's algorithm J3GCFKENAN
| URI | m2://inv/J3GCFKENAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pocklington's algorithm, Pocklington's algorithm (definition). Also Wikidata Q17099582
History
- 2026-11-02: add by m2/dev
Takagi J3GF8D0JW0
| URI | m2://inv/J3GF8D0JW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#9QWU, Takagi (definition)
History
- 2026-11-02: add by m2/dev
nondeterministic finite automata J3GFZAFXY7
| URI | m2://inv/J3GFZAFXY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#D15D, nondeterministic finite automata (definition)
History
- 2026-11-02: add by m2/dev
axiom, Whitehead's principle J3GHYRSCTX
| URI | m2://inv/J3GHYRSCTX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.8/axiom-whitehead-s-principle, axiom, Whitehead's principle (concept). In N54F33XE07, index, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
Generalization J3GJZ63M30
| URI | m2://inv/J3GJZ63M30 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haynsworth inertia additivity formula#9AP1, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Examples J3GVPKM9DG
| URI | m2://inv/J3GVPKM9DG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relatively hyperbolic group#UXK8, Examples (example)
History
- 2026-11-02: add by m2/dev
Lattice disjoint J3H3BVYXNW
| URI | m2://inv/J3H3BVYXNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice disjoint, Lattice disjoint (definition). Also Wikidata Q96387023
History
- 2026-11-02: add by m2/dev
J3H98TARS3 J3H98TARS3
| URI | m2://inv/J3H98TARS3 |
|---|---|
| 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.18242#09C5 (statement). In VVC2FHQZZR/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
Władysław Zajączkowski J3HE2Y0BJN
| URI | m2://inv/J3HE2Y0BJN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Władysław Zajączkowski, Władysław Zajączkowski (topic). Also Wikidata Q8041260
History
- 2026-11-02: add by m2/dev
J3HEDQY2EV J3HEDQY2EV
| URI | m2://inv/J3HEDQY2EV |
|---|---|
| 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.34856#XSAW (statement). In MRR92GQNZE/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
J3HTKGVT1H J3HTKGVT1H
| URI | m2://inv/J3HTKGVT1H |
|---|---|
| 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.12054#48SY (statement). In 1A01NFHBGA/e1, proposition 2.22
History
- 2026-10-28: add by m2/v0.4.3
Basic principles J3HV2AYJZY
| URI | m2://inv/J3HV2AYJZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S-matrix theory#0Y9R, Basic principles (statement)
History
- 2026-11-02: add by m2/dev
Estimates for $V(F)$ J3J5Q6708V
| URI | m2://inv/J3J5Q6708V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25026#XL7R, Estimates for $V(F)$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dehn's lemma J3JDF41J1E
| URI | m2://inv/J3JDF41J1E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dehn's lemma FH5WSPD79F |
Mentions
- wikidata: Wikidata Q3229337, Dehn's lemma (statement). Also MathWorld DehnsLemma
- wikipedia: Wikipedia Dehn's lemma, Dehn's lemma (statement). Also Wikidata Q3229337
History
- 2026-10-26: add by m2/dev
J3JE77BQJY J3JE77BQJY
| URI | m2://inv/J3JE77BQJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01276#FD9L (statement). In 7JJPPMS2DN/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
J3JF9D8QZZ J3JF9D8QZZ
| URI | m2://inv/J3JF9D8QZZ |
|---|---|
| Kind | example |
| 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.16554#U2LA (example). In GWNT8HEZG1/e1, example 3.27
History
- 2026-10-27: add by m2/v0.3.6
Trevor Wooley J3JH57BVNN
| URI | m2://inv/J3JH57BVNN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9GSV, Trevor Wooley (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FN7H, Trevor Wooley (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NFXL, Trevor Wooley (topic)
History
- 2026-11-02: add by m2/dev
J. J. Thomson J3JJ2F61RG
| URI | m2://inv/J3JJ2F61RG |
|---|---|
| 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#P47U, J. J. Thomson (unknown)
History
- 2026-11-02: add by m2/dev
Polynomials of degree two or three J3JJ4QGWJ0
| URI | m2://inv/J3JJ4QGWJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33327#19DI, Polynomials of degree two or three (statement). In A5R31P82BK/e1, corollary 8.9
History
- 2026-10-30: add by m2/v0.4.12
J3JPQ0Y77W J3JPQ0Y77W
| URI | m2://inv/J3JPQ0Y77W |
|---|---|
| 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.25897#T480 (statement)
History
- 2026-11-01: add by m2/v0.6.15
J3JX4NKKSC J3JX4NKKSC
| URI | m2://inv/J3JX4NKKSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33656#5I87 (statement). In 8PXDPT3X9P/e1, lemma 13
History
- 2026-10-30: add by m2/v0.4.12
An aligned toggle of unit necklaces J3JZKKSKKD
| URI | m2://inv/J3JZKKSKKD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#GRCY, An aligned toggle of unit necklaces (example). In 6G1KBA0SXV/e1, example 4.7
History
- 2026-10-31: add by m2/v0.5.6
J3K6CWQZFB J3K6CWQZFB
| URI | m2://inv/J3K6CWQZFB |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#4SK7 (proof). In M8F4PDHH3S/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Tamely ramified quadratic case J3K7TNXQP1
| URI | m2://inv/J3K7TNXQP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#MMNV, Tamely ramified quadratic case (statement). In 5BZQS1KY9A/e1, proposition 7.4
History
- 2026-10-29: add by m2/v0.4.10
J3KAEYPSEB J3KAEYPSEB
| URI | m2://inv/J3KAEYPSEB |
|---|---|
| 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.37589#U158 (statement). In 18HVB2SKW1/e1, corollary 5.5
History
- 2026-10-30: add by m2/v0.4.12
Dataplot J3KARSPAZ7
| URI | m2://inv/J3KARSPAZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#M8HC, Dataplot (definition)
History
- 2026-11-02: add by m2/dev
Glossary of ring theory J3KBZZTD5W
| URI | m2://inv/J3KBZZTD5W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory, Glossary of ring theory (topic). Also Wikidata Q2375830
History
- 2026-11-02: add by m2/dev
Nancy Kirkendall J3KG7TAW9Q
| URI | m2://inv/J3KG7TAW9Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy Kirkendall, Nancy Kirkendall (topic). Also Wikidata Q102432059
History
- 2026-11-02: add by m2/dev
J3KK7YEQKR J3KK7YEQKR
| URI | m2://inv/J3KK7YEQKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#FGBV (statement). In F5STMSPR6X/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.12
Independent cohomological bound on the generic stratum J3M2VCEYM7
| URI | m2://inv/J3M2VCEYM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#BT6C, Independent cohomological bound on the generic stratum (statement). In QPJ6FWG5HD/e1, proposition 2.22
History
- 2026-10-29: add by m2/v0.4.12
Furstenberg J3M37CHZK9
| URI | m2://inv/J3M37CHZK9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#HJXG, Furstenberg (topic)
History
- 2026-11-02: add by m2/dev
Applications J3M4SNKJDG
| URI | m2://inv/J3M4SNKJDG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounding sphere#QH0V, Applications (example)
History
- 2026-11-02: add by m2/dev
Extension topology J3M5XMZBYM
| URI | m2://inv/J3M5XMZBYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extension topology, Extension topology (definition). Also Wikidata Q5421952
History
- 2026-11-02: add by m2/dev
J3M9DJTVJ5 J3M9DJTVJ5
| URI | m2://inv/J3M9DJTVJ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#S1QV (definition). In HX63A1PH1W/e1, definition 3.70
History
- 2026-10-28: add by m2/v0.4.3
Higher-order logic J3M9NWJYJQ
| URI | m2://inv/J3M9NWJYJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#L5A1, Higher-order logic (definition)
History
- 2026-11-02: add by m2/dev
J3MM6K0GH9 J3MM6K0GH9
| URI | m2://inv/J3MM6K0GH9 |
|---|---|
| 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.22218#YUOB (statement). In 338GKREFVP/e1, lemma 7
History
- 2026-10-27: add by m2/v0.4.0
Gauss's law under heating J3MPB9KMMP
| URI | m2://inv/J3MPB9KMMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03823#T3J0, Gauss's law under heating (statement). In 3RQERTJKSF/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Riesz transform J3MQE1BW09
| URI | m2://inv/J3MQE1BW09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz transform, Riesz transform (definition). Also Wikidata Q7333169
History
- 2026-11-02: add by m2/dev
G-function J3MRB4Z42P
| URI | m2://inv/J3MRB4Z42P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3754518, G-function (concept). Also MathWorld G-Function
History
- 2026-10-26: add by m2/dev
Construction J3MT8SMNDM
| URI | m2://inv/J3MT8SMNDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bidiakis cube#XT34, Construction (definition)
History
- 2026-11-02: add by m2/dev
Alon-Shikhelman J3MWS1TWHB
| URI | m2://inv/J3MWS1TWHB |
|---|---|
| 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.22393#KAOE, Alon-Shikhelman (statement)
History
- 2026-11-02: add by m2/v0.6.17
Teragon J3N3FBEHDT
| URI | m2://inv/J3N3FBEHDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teragon, Teragon (definition). Also Wikidata Q1945331
History
- 2026-11-02: add by m2/dev
J3N4MMPCKC J3N4MMPCKC
| URI | m2://inv/J3N4MMPCKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28046#6WZ9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Maximal failure for the order projection J3N6B69B1C
| URI | m2://inv/J3N6B69B1C |
|---|---|
| Kind | example |
| 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.11002#NR5D, Maximal failure for the order projection (example). In P55JSAYR3T/e1, example
History
- 2026-10-28: add by m2/v0.4.3
Muckanaghederdauhaulia J3N9CJAV7X
| URI | m2://inv/J3N9CJAV7X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#W45S, Muckanaghederdauhaulia (unknown)
History
- 2026-11-02: add by m2/dev
J3NA4JMN7X J3NA4JMN7X
| URI | m2://inv/J3NA4JMN7X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.07061#BF5I (definition). In G2PA4KAGRP/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.6
$\textsf{Nat}$ is a PER J3NNM7MHFG
| URI | m2://inv/J3NNM7MHFG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#7757, $\textsf{Nat}$ is a PER (statement). In CPYWHRTPKC/e1, lemma 6.7
History
- 2026-10-27: add by m2/v0.4.2
Cubic honeycomb J3NPPRSX7M
| URI | m2://inv/J3NPPRSX7M |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic honeycomb, Cubic honeycomb (object). Also Wikidata Q5192248
History
- 2026-11-02: add by m2/dev
exponential J3NPYZ4VS5
| URI | m2://inv/J3NPYZ4VS5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/8.4.2/exponential, exponential (concept). In E59CDZA4DP, index, section 8.4.2
History
- 2026-11-01: add by m2/v0.6.13
Topologist's sine curve J3NS2P1MCC
| URI | m2://inv/J3NS2P1MCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#MFIO, Topologist's sine curve (definition)
- wikipedia: Wikipedia List of mathematical examples#LQQG, Topologist's sine curve (definition)
- wikipedia: Wikipedia List of topologies#V0JP, Topologist's sine curve (definition)
- wikipedia: Wikipedia List of examples in general topology#YT19, Topologist's sine curve (definition)
History
- 2026-11-02: add by m2/dev
J3NVJTGF03 J3NVJTGF03
| URI | m2://inv/J3NVJTGF03 |
|---|---|
| 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.18673#NNTM (statement). In 7ZFD9XRKA1/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
J3PHYRGJWS J3PHYRGJWS
| URI | m2://inv/J3PHYRGJWS |
|---|---|
| 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.16233#T94L (statement). In RNXMADQ33J/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Erlagol J3PJY6XWV8
| URI | m2://inv/J3PJY6XWV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#7529, Erlagol (unknown)
History
- 2026-11-02: add by m2/dev
Oscillation theory J3PKKHQZ0J
| URI | m2://inv/J3PKKHQZ0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillation theory, Oscillation theory (definition). Also Wikidata Q289610
History
- 2026-11-02: add by m2/dev
Quillen–Suslin theorem J3PMMZZ7H6
| URI | m2://inv/J3PMMZZ7H6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quillen–Suslin theorem#94PV, Quillen–Suslin theorem (statement)
History
- 2026-11-02: add by m2/dev
J3PXCSG4MF J3PXCSG4MF
| URI | m2://inv/J3PXCSG4MF |
|---|---|
| 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.08658#4TEI (statement). In 7PK5WS7246/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.10
Gyrobifastigium honeycomb J3PYX8N499
| URI | m2://inv/J3PYX8N499 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyrobifastigium#D2FY, Gyrobifastigium honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
J3Q9893XNS J3Q9893XNS
| URI | m2://inv/J3Q9893XNS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#example-8 (example). In RZP28ERRZV, example, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
J3Q9VPWS7K J3Q9VPWS7K
| URI | m2://inv/J3Q9VPWS7K |
|---|---|
| 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.01247#4ONI (statement). In 6EVNCRZ118/e1, proposition 20
History
- 2026-10-29: add by m2/v0.4.12
J3QAKX51N5 J3QAKX51N5
| URI | m2://inv/J3QAKX51N5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#MMUE (statement). In PWXT7J9JX3/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
J3QBWM83T9 J3QBWM83T9
| URI | m2://inv/J3QBWM83T9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21090#ZRJC (statement)
History
- 2026-11-02: add by m2/v0.6.18
~ J3QJHMPSA6
| URI | m2://inv/J3QJHMPSA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#I1HQ, ~ (definition)
History
- 2026-11-02: add by m2/dev
J3QK60C20G J3QK60C20G
| URI | m2://inv/J3QK60C20G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#WN90 (statement). In JQH3FHYPW3/e1, lemma 2.19
History
- 2026-10-28: add by m2/v0.4.2
braid J3QMAAR1WC
| URI | m2://inv/J3QMAAR1WC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q320809, braid (unknown). Also MathWorld Braid
History
- 2026-10-26: add by m2/dev
J3QXQP1VXF J3QXQP1VXF
| URI | m2://inv/J3QXQP1VXF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/unique-readability.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 39.3
History
- 2026-11-01: add by m2/v0.6.13
Examples of orders J3R58G4R02
| URI | m2://inv/J3R58G4R02 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-15, Examples of orders (example). In RZP28ERRZV, example, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Polynomial remainder theorem J3R805BP9W
| URI | m2://inv/J3R805BP9W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#08S8, Polynomial remainder theorem (statement)
History
- 2026-11-02: add by m2/dev
J3RD0XRQ0N J3RD0XRQ0N
| URI | m2://inv/J3RD0XRQ0N |
|---|---|
| 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.04675#I9JP (statement). In RDXNFF2CZP/e1, corollary 10
History
- 2026-10-29: add by m2/v0.4.12
J3RNC6Q5BA J3RNC6Q5BA
| URI | m2://inv/J3RNC6Q5BA |
|---|---|
| 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.08664#JU6W (statement). In 1YY0P4ZS0T/e1, proposition 33
History
- 2026-10-29: add by m2/v0.4.10
J3RRW89V2X J3RRW89V2X
| URI | m2://inv/J3RRW89V2X |
|---|---|
| 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 2207.11097#4WKS (definition). In 13H5BTAXHF/e1, definition 11
History
- 2026-10-27: add by m2/v0.3.5
Axiom of pairing J3RS50GZQN
| URI | m2://inv/J3RS50GZQN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#TVV0, Axiom of pairing (statement)
History
- 2026-11-02: add by m2/dev
Vertical Configuration J3SDDA9Y20
| URI | m2://inv/J3SDDA9Y20 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#ACVB, Vertical Configuration (definition). In 5E9G06XJKC/e1, definition C.19
History
- 2026-10-28: add by m2/v0.4.2
CIPHERUNICORN-E J3SMN6Y2RG
| URI | m2://inv/J3SMN6Y2RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CIPHERUNICORN-E, CIPHERUNICORN-E (definition). Also Wikidata Q3648745
History
- 2026-11-02: add by m2/dev
Chromatic convergence theorem J3SPHC7HMR
| URI | m2://inv/J3SPHC7HMR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chromatic homotopy theory#VTKC, Chromatic convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
J3T8K57HFJ J3T8K57HFJ
| URI | m2://inv/J3T8K57HFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.05914#4KO2 (statement). In V8MYP6MBAZ/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
Theorem J3TCHVFNH3
| URI | m2://inv/J3TCHVFNH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stability spectrum#T9NP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Unit of observation J3TGZ3BD38
| URI | m2://inv/J3TGZ3BD38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit of observation, Unit of observation (definition). Also Wikidata Q13611879
History
- 2026-11-02: add by m2/dev
J3TJJC9H6H J3TJJC9H6H
| URI | m2://inv/J3TJJC9H6H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#GDPT (definition). In W4TYN4PGE8/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Free Convection J3TRB5A1YY
| URI | m2://inv/J3TRB5A1YY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convection#92NI, Free Convection (unknown)
History
- 2026-11-02: add by m2/dev
Birkhoff–Grothendieck theorem J3TTZBGX1Z
| URI | m2://inv/J3TTZBGX1Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 32-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4916483, Birkhoff–Grothendieck theorem (statement). Also Wikidata Q4916483
- thousand_plus: thousand_plus Q4916483, Birkhoff–Grothendieck theorem (statement). Also Wikidata Q4916483, Wikipedia Birkhoff–Grothendieck theorem
- wikipedia: Wikipedia Birkhoff–Grothendieck theorem, Birkhoff–Grothendieck theorem (statement). Also Wikidata Q4916483
History
- 2026-10-26: add by m2/dev
Definition J3TVQ0RH79
| URI | m2://inv/J3TVQ0RH79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree (set theory)#RNZ8, Definition (definition)
History
- 2026-11-02: add by m2/dev
J3V0BE1N22 J3V0BE1N22
| URI | m2://inv/J3V0BE1N22 |
|---|---|
| Kind | example |
| 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.05696#7ZBC (example). In MG81A9XJTQ/e1, example VI.4
History
- 2026-10-29: add by m2/v0.4.10
Biquaternion algebra J3V4G6QM3D
| URI | m2://inv/J3V4G6QM3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biquaternion algebra, Biquaternion algebra (definition). Also Wikidata Q17003233
History
- 2026-11-02: add by m2/dev
antiderivative, general J3VA5R2JJT
| URI | m2://inv/J3VA5R2JJT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/5.1.3/antiderivative-general, antiderivative, general (concept). In 907G4C4EJ1, index, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
Eric Harshbarger J3VBFVH3ME
| URI | m2://inv/J3VBFVH3ME |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eric Harshbarger, Eric Harshbarger (topic). Also Wikidata Q5386684
History
- 2026-11-02: add by m2/dev
J3VE1KBM84 J3VE1KBM84
| URI | m2://inv/J3VE1KBM84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#4RGV (statement). In GMRT5GHBZS/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Formal definition of Clebsch–Gordan coefficients J3VEA1VRJA
| URI | m2://inv/J3VEA1VRJA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clebsch–Gordan coefficients#DAYY, Formal definition of Clebsch–Gordan coefficients (definition)
History
- 2026-11-02: add by m2/dev
J3VH9VMW2T J3VH9VMW2T
| URI | m2://inv/J3VH9VMW2T |
|---|---|
| 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.11939#E88I (statement). In DQMEN40FZV/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.3
Supersingular isogeny key exchange J3VMHPRCCZ
| URI | m2://inv/J3VMHPRCCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersingular isogeny key exchange, Supersingular isogeny key exchange (definition). Also Wikidata Q17085253
History
- 2026-11-02: add by m2/dev
J3VN6F8QFC J3VN6F8QFC
| URI | m2://inv/J3VN6F8QFC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:boundaryvaluesdeterminef (statement). In VNMV985MXX, prop, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Ferrers diagram J3WB0WYM15
| URI | m2://inv/J3WB0WYM15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20202373, Ferrers diagram (unknown). Also MathWorld FerrersDiagram
History
- 2026-10-26: add by m2/dev
J3WC8MR2YZ J3WC8MR2YZ
| URI | m2://inv/J3WC8MR2YZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#JXMJ (definition). In 29D4TTE3J2/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
J3WF1JXBT1 J3WF1JXBT1
| URI | m2://inv/J3WF1JXBT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.01594#KQE4 (statement). In BR3N3GSY2C/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
weight J3WNS323VP
| URI | m2://inv/J3WNS323VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#GVV9, weight (definition)
History
- 2026-11-02: add by m2/dev
Krylov dimension and monomial eigenvalues J3WQHJ4JT4
| URI | m2://inv/J3WQHJ4JT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#XEN4, Krylov dimension and monomial eigenvalues (statement). In 1KRZ5ACTKE/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
minor graph J3WS2FVT9G
| URI | m2://inv/J3WS2FVT9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Graph minor VYQ32ZBPEE |
Mentions
- wikidata: Wikidata Q905837, minor graph (unknown). Also EoM Minor_of_a_graph, MathWorld GraphMinor, nLab graph minor
- wikipedia: Wikipedia Graph minor, Graph minor (definition). Also Wikidata Q905837
History
- 2026-10-26: add by m2/dev
J3WWYACB1Q J3WWYACB1Q
| URI | m2://inv/J3WWYACB1Q |
|---|---|
| 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.16081#6NLD (statement). In RS6WWZKMT6/e1, lemma A.6
History
- 2026-10-28: add by m2/v0.4.2
Stationary distribution J3WXWTQ10Z
| URI | m2://inv/J3WXWTQ10Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stationary distribution, Stationary distribution (definition). Also Wikidata Q7604341
History
- 2026-11-02: add by m2/dev
Properties J3WYWDV35Q
| URI | m2://inv/J3WYWDV35Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter graph#1P1S, Properties (statement)
History
- 2026-11-02: add by m2/dev
Sufficient statistic J3X4051PGV
| URI | m2://inv/J3X4051PGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sufficient statistic, Sufficient statistic (definition). Also Wikidata Q1099110
History
- 2026-11-02: add by m2/dev
J3XHRQC5CF J3XHRQC5CF
| URI | m2://inv/J3XHRQC5CF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08010#FH36 (statement). In 2S89BG5WPH/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Gaussian noise J3XRVZSVNP
| URI | m2://inv/J3XRVZSVNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1WC7, Gaussian noise (definition)
History
- 2026-11-02: add by m2/dev
J3XVC2W8WE J3XVC2W8WE
| URI | m2://inv/J3XVC2W8WE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/complete-consistent-sets.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 9.10
History
- 2026-11-01: add by m2/v0.6.13
Example: Ideal Gas Law J3XYH1E1V7
| URI | m2://inv/J3XYH1E1V7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triple product rule#QKFT, Example: Ideal Gas Law (example)
History
- 2026-11-02: add by m2/dev
J3Y197ZS6X J3Y197ZS6X
| URI | m2://inv/J3Y197ZS6X |
|---|---|
| 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 2610.17070#41DL (statement). In W3G9Z9B32N/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
J3Y490FAE1 J3Y490FAE1
| URI | m2://inv/J3Y490FAE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#Z1UR (statement). In WAXS6FS388/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
J3YBN2PYQ9 J3YBN2PYQ9
| URI | m2://inv/J3YBN2PYQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 19-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 2505.05539#S31F (statement). In 8SVVEVGMNE/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
J3YE658MDY J3YE658MDY
| URI | m2://inv/J3YE658MDY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-3.xml#activity-3 (exercise). In 649HGZKE96, activity, section 4.3.3
History
- 2026-11-01: add by m2/v0.6.13
Backtracking J3YEMB7N86
| URI | m2://inv/J3YEMB7N86 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#5AIU, Backtracking (unknown)
History
- 2026-11-02: add by m2/dev
Finite-time ultra log-concavity J3YNTP7YWP
| URI | m2://inv/J3YNTP7YWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25037#KQZQ, Finite-time ultra log-concavity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Andy Liu J3YTV19ND8
| URI | m2://inv/J3YTV19ND8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W8GH, Andy Liu (unknown)
History
- 2026-11-02: add by m2/dev
J3YY74Q5R6 J3YY74Q5R6
| URI | m2://inv/J3YY74Q5R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#4ZSY (statement). In 43TBS9P2PX/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
J3Z0CHM0QR J3Z0CHM0QR
| URI | m2://inv/J3Z0CHM0QR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2510.01873#RYKW (statement). In FVZZDPEYNM/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
J3Z3FDCHPN J3Z3FDCHPN
| URI | m2://inv/J3Z3FDCHPN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#Z5FO (definition). In BDN507RN7J/e1, definition 4.7.1
History
- 2026-10-30: add by m2/v0.4.12
J3Z4RABZQP J3Z4RABZQP
| URI | m2://inv/J3Z4RABZQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#BMSV (statement). In V97F4YZ8B0/e1, theorem 5.6
History
- 2026-10-28: add by m2/v0.4.2
Type \texorpdfstring{$A_2$}{A2} with the chordal diamond J3ZF2V4B4G
| URI | m2://inv/J3ZF2V4B4G |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#5VFD, Type \texorpdfstring{$A_2$}{A2} with the chordal diamond (example). In 42XHT97E64/e1, example 8.10
History
- 2026-10-29: add by m2/v0.4.12
Circumscription J3ZJ755QP6
| URI | m2://inv/J3ZJ755QP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circumscription (logic), Circumscription (definition). Also Wikidata Q96777007
History
- 2026-11-02: add by m2/dev
Example J3ZK9HH54K
| URI | m2://inv/J3ZK9HH54K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confusion matrix#AI9J, Example (example)
History
- 2026-11-02: add by m2/dev
J3ZMJMHBAA J3ZMJMHBAA
| URI | m2://inv/J3ZMJMHBAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24509#0LPX (statement)
History
- 2026-11-01: add by m2/v0.6.15