Inventory rows J6
The cards of the rows of the inventory whose ids start with J6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
J60903WX3D J60903WX3D
| URI | m2://inv/J60903WX3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#DWHQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
J60BW70HHP J60BW70HHP
| URI | m2://inv/J60BW70HHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#B4R4 (statement). In V42PPD7SWH/e1, lemma 6.4
History
- 2026-10-31: add by m2/v0.5.6
Dmitri Anosov J60J1YWGV3
| URI | m2://inv/J60J1YWGV3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dmitri Anosov, Dmitri Anosov (topic). Also Wikidata Q1232736
History
- 2026-11-02: add by m2/dev
J60NFHK1CH J60NFHK1CH
| URI | m2://inv/J60NFHK1CH |
|---|---|
| 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.08193#L0DG (statement). In 8XAKGH8S2D/e1, theorem 2.11
History
- 2026-10-29: add by m2/v0.4.10
J60QWE4M4K J60QWE4M4K
| URI | m2://inv/J60QWE4M4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01498#1TVF (statement). In 75GDSC8460/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
J60QY29RS2 J60QY29RS2
| URI | m2://inv/J60QY29RS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14055#VO2Z (statement). In AKMGN13HE1/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Octagrammic antiprism J60TQPA4B8
| URI | m2://inv/J60TQPA4B8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octagrammic antiprism, Octagrammic antiprism (object). Also Wikidata Q7076727
History
- 2026-11-02: add by m2/dev
J60ZA9QRYN J60ZA9QRYN
| URI | m2://inv/J60ZA9QRYN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28203#PJJO (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples J61A52Z41R
| URI | m2://inv/J61A52Z41R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PGP word list#HJ89, Examples (example)
History
- 2026-11-02: add by m2/dev
J61BE5XS59 J61BE5XS59
| URI | m2://inv/J61BE5XS59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/integers.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 78.4
History
- 2026-11-01: add by m2/v0.6.13
Bijection J61GMJZY6Z
| URI | m2://inv/J61GMJZY6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#XXM7, Bijection (definition)
- wikipedia: Wikipedia List of permutation topics#JTPZ, Bijection (definition)
History
- 2026-11-02: add by m2/dev
J61HMXNKT9 J61HMXNKT9
| URI | m2://inv/J61HMXNKT9 |
|---|---|
| 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.24845#9KTZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
J61NVJ5AC9 J61NVJ5AC9
| URI | m2://inv/J61NVJ5AC9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08091#SI4C (definition). In MS13WE3CSD/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10
The De Morgan laws in a Heyting algebra J61PTAA8G1
| URI | m2://inv/J61PTAA8G1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting algebra#J0FE, The De Morgan laws in a Heyting algebra (statement)
History
- 2026-11-02: add by m2/dev
Definition J61RXNXD2Z
| URI | m2://inv/J61RXNXD2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normalizing constant#80R6, Definition (definition)
History
- 2026-11-02: add by m2/dev
J61X2XAXG3 J61X2XAXG3
| URI | m2://inv/J61X2XAXG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#EAJX (statement). In 9ZSNSJRJ5N/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Hidden Markov model J61XEVK5VW
| URI | m2://inv/J61XEVK5VW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden Markov model, Hidden Markov model (definition). Also Wikidata Q176769
History
- 2026-11-02: add by m2/dev
5-Con triangles J61XMYQYBC
| URI | m2://inv/J61XMYQYBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-Con triangles, 5-Con triangles (definition). Also Wikidata Q30593749
History
- 2026-11-02: add by m2/dev
natural numbers J6206SCWPB
| URI | m2://inv/J6206SCWPB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.13/natural-numbers, natural numbers (concept). In N54F33XE07, index, section 1.13
History
- 2026-11-01: add by m2/v0.6.13
Vitruvius J629YVSM25
| URI | m2://inv/J629YVSM25 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#536Y, Vitruvius (unknown)
History
- 2026-11-02: add by m2/dev
Gaussian moment bound J631W8R80M
| URI | m2://inv/J631W8R80M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25348#PLAJ, Gaussian moment bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
J634P15TZT J634P15TZT
| URI | m2://inv/J634P15TZT |
|---|---|
| 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.04809#XTYB (statement). In 2VHV0RNTNV/e1, fact 6.1
History
- 2026-10-29: add by m2/v0.4.12
Generalizations J636GVEESG
| URI | m2://inv/J636GVEESG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy–Weinberg principle#RKLW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
J63DV3421W J63DV3421W
| URI | m2://inv/J63DV3421W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12908#TKNZ (statement). In TNC658NVMQ/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
symmetric monoidal category J63GQGX1TF
| URI | m2://inv/J63GQGX1TF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#9GIG, symmetric monoidal category (definition)
History
- 2026-11-02: add by m2/dev
Epicenter J63QFN8WW0
| URI | m2://inv/J63QFN8WW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epicenter, Epicenter (definition). Also Wikidata Q106032
History
- 2026-11-02: add by m2/dev
Relationship to theorems for entire functions J63WD1871Z
| URI | m2://inv/J63WD1871Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montel's theorem#3YNK, Relationship to theorems for entire functions (statement)
History
- 2026-11-02: add by m2/dev
Metrization theorems J63XPHMS66
| URI | m2://inv/J63XPHMS66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DEYS, Metrization theorems (definition)
History
- 2026-11-02: add by m2/dev
J640RVA1WK J640RVA1WK
| URI | m2://inv/J640RVA1WK |
|---|---|
| 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 1701.00517#C0XQ (statement). In JHPBT88FDW/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
J642MWSQJQ J642MWSQJQ
| URI | m2://inv/J642MWSQJQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#E18K (definition). In QHFP0837Q8/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.12
aspherical space J644GEQAMR
| URI | m2://inv/J644GEQAMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#Q468, aspherical space (definition)
History
- 2026-11-02: add by m2/dev
M. Henrietta Reilly J6456191SN
| URI | m2://inv/J6456191SN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. Henrietta Reilly, M. Henrietta Reilly (topic). Also Wikidata Q102198527
History
- 2026-11-02: add by m2/dev
J6468MYGJH J6468MYGJH
| URI | m2://inv/J6468MYGJH |
|---|---|
| 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.14236#2LEM (statement). In XEQD21EBTT/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Algorithm J64AMW0FRY
| URI | m2://inv/J64AMW0FRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer square root#3AKT, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Geometry of chirp frames J64FWZG3Z3
| URI | m2://inv/J64FWZG3Z3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#0W8K, Geometry of chirp frames (statement). In XYCBKM4WKY/e1, theorem 54
History
- 2026-10-27: add by m2/v0.3.5
J64H3WDZ2X J64H3WDZ2X
| URI | m2://inv/J64H3WDZ2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#4M9F (statement)
History
- 2026-11-01: add by m2/v0.6.15
J64J8Y2BW5 J64J8Y2BW5
| URI | m2://inv/J64J8Y2BW5 |
|---|---|
| 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.33219#S56W (statement). In ETTQWMJZXJ/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Scale parameter J64KACS2E9
| URI | m2://inv/J64KACS2E9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale parameter, Scale parameter (definition). Also Wikidata Q1289366
History
- 2026-11-02: add by m2/dev
Numerical method J64KG1S6TA
| URI | m2://inv/J64KG1S6TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical method, Numerical method (definition). Also Wikidata Q24262840
History
- 2026-11-02: add by m2/dev
J64KSG8MMA J64KSG8MMA
| URI | m2://inv/J64KSG8MMA |
|---|---|
| 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 2610.19285#E3RY (definition). In 6DJR9DKY5W/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
J64RREYFAP J64RREYFAP
| URI | m2://inv/J64RREYFAP |
|---|---|
| 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 2210.16706#5DT1 (statement). In JSRVKPT87E/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
Kolmogorov duality J64VFAAXFV
| URI | m2://inv/J64VFAAXFV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4155849, Kolmogorov duality (unknown). Also EoM Kolmogorov_duality
History
- 2026-10-26: add by m2/dev
J64WHDWS1D J64WHDWS1D
| URI | m2://inv/J64WHDWS1D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04434#MUVV (statement). In EY0QS456EC/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Convex curve J64ZY68RY6
| URI | m2://inv/J64ZY68RY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#VUO1, Convex curve (definition)
History
- 2026-11-02: add by m2/dev
Solapur J653T890MG
| URI | m2://inv/J653T890MG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#UL7X, Solapur (unknown)
History
- 2026-11-02: add by m2/dev
Not a topos J659F8ZAMA
| URI | m2://inv/J659F8ZAMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#I28E, Not a topos (statement)
History
- 2026-11-01: add by m2/v0.6.15
Giuga number J65BH5R1DC
| URI | m2://inv/J65BH5R1DC |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1418543, Giuga number (unknown). Also MathWorld GiugaNumber, OEIS A007850
- wikipedia: Wikipedia Giuga number, Giuga number (conjecture). Also Wikidata Q1418543
History
- 2026-10-26: add by m2/dev
J65FPPQ5QP J65FPPQ5QP
| URI | m2://inv/J65FPPQ5QP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22090#B9L0 (statement). In NKJWGF050C/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.4.0
J65K16CA2A J65K16CA2A
| URI | m2://inv/J65K16CA2A |
|---|---|
| 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 2411.16655#HV1R (statement). In EJHAXRV685/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
J65MKAZ601 J65MKAZ601
| URI | m2://inv/J65MKAZ601 |
|---|---|
| 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.18562#QIB4 (statement). In 793KXAR957/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
Examples J65R2PC0RG
| URI | m2://inv/J65R2PC0RG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moy–Prasad filtration#PFB2, Examples (example)
History
- 2026-11-02: add by m2/dev
J65RNDAMFN J65RNDAMFN
| URI | m2://inv/J65RNDAMFN |
|---|---|
| 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 2212.11038#M18P (statement). In M3E3ARMJXK/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
Definition J661Z53GZF
| URI | m2://inv/J661Z53GZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Up-and-down design#UJ4D, Definition (definition)
History
- 2026-11-02: add by m2/dev
J66B0PG86K J66B0PG86K
| URI | m2://inv/J66B0PG86K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12619#0SRL (statement). In 7F8KACT5AJ/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Sector decomposition of tube morphisms J66DD871XG
| URI | m2://inv/J66DD871XG |
|---|---|
| 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.08787#6VD9, Sector decomposition of tube morphisms (statement). In CCQ5XXWYDZ/e1, proposition III.4
History
- 2026-10-29: add by m2/v0.4.10
J66E24RV6V J66E24RV6V
| URI | m2://inv/J66E24RV6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#VSD8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stretched-exponential common input J66GCZ66DP
| URI | m2://inv/J66GCZ66DP |
|---|---|
| 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#QOSD, Stretched-exponential common input (statement). In TTEAQA1XXR/e1, proposition C.4
History
- 2026-10-28: add by m2/v0.4.3
Construction J66NVBF97X
| URI | m2://inv/J66NVBF97X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octagon#BNRS, Construction (definition)
History
- 2026-11-02: add by m2/dev
J66R5GMTER J66R5GMTER
| URI | m2://inv/J66R5GMTER |
|---|---|
| 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#RRR6 (statement). In 4DJE72VPJP/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
J66RT3ZYB6 J66RT3ZYB6
| URI | m2://inv/J66RT3ZYB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#T1LR (statement). In 46370P3Y9S/e1, lemma 6.12
History
- 2026-10-27: add by m2/v0.4.2
Semisimple operator J66SHRBBJF
| URI | m2://inv/J66SHRBBJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semisimple operator, Semisimple operator (definition). Also Wikidata Q3299281
History
- 2026-11-02: add by m2/dev
J673JXVKB2 J673JXVKB2
| URI | m2://inv/J673JXVKB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.09645#BYVH (statement). In HVDSC1GQRD/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
J675476AHT J675476AHT
| URI | m2://inv/J675476AHT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-1 (proof). In N54F33XE07, proof, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
J6765MS20E J6765MS20E
| URI | m2://inv/J6765MS20E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19132#SJ8S (statement). In 3CQJND929F/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
J6789JC3NN J6789JC3NN
| URI | m2://inv/J6789JC3NN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-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.03745#GER6 (definition). In YWXVX6AX8F/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.12
Ricci contraction J67PD1HB7T
| URI | m2://inv/J67PD1HB7T |
|---|---|
| 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.00077#9DDE, Ricci contraction (statement). In C04B15GH1T/e1, lemma 2.10
History
- 2026-10-30: add by m2/v0.4.12
Absolutely continuous function J68BW40HWK
| URI | m2://inv/J68BW40HWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of continuity-related mathematical topics#9A81, Absolutely continuous function (definition)
History
- 2026-11-02: add by m2/dev
Complete integral J68GJC9X93
| URI | m2://inv/J68GJC9X93 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-order partial differential equation#MPZ4, Complete integral (unknown)
History
- 2026-11-02: add by m2/dev
Automorphism J68HZ6KZH6
| URI | m2://inv/J68HZ6KZH6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#1E23, Automorphism (definition)
History
- 2026-11-02: add by m2/dev
J68QY8NJ1A J68QY8NJ1A
| URI | m2://inv/J68QY8NJ1A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ex:2strict-cat (exercise). In N54F33XE07, ex, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
J68XY7HNN1 J68XY7HNN1
| URI | m2://inv/J68XY7HNN1 |
|---|---|
| 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.26438#AJTG (example)
History
- 2026-11-01: add by m2/v0.6.15
Variance of the logarithm of a Poisson--Dirichlet sum J68YS56H4A
| URI | m2://inv/J68YS56H4A |
|---|---|
| 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.32710#YUTE, Variance of the logarithm of a Poisson--Dirichlet sum (statement). In KVYG6R7CGJ/e1, lemma A.3
History
- 2026-10-31: add by m2/v0.5.6
Examples J690BCY8NH
| URI | m2://inv/J690BCY8NH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mann–Whitney U test#HGYH, Examples (example)
History
- 2026-11-02: add by m2/dev
J692V17M7S J692V17M7S
| URI | m2://inv/J692V17M7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11031#T643 (statement). In 9DMJXFRQN9/e1, lemma 2.13
History
- 2026-10-28: add by m2/v0.4.3
J693YVP3S5 J693YVP3S5
| URI | m2://inv/J693YVP3S5 |
|---|---|
| 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.39307#S2HM (statement). In QFBGPGRP1P/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Minimax policy-learning rate under strict coverage J695768EEG
| URI | m2://inv/J695768EEG |
|---|---|
| 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.37380#4WCG, Minimax policy-learning rate under strict coverage (statement). In 14Y4SA4SX0/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
J6957TMAMT J6957TMAMT
| URI | m2://inv/J6957TMAMT |
|---|---|
| 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.22296#KMWG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Example J698Q3JNZG
| URI | m2://inv/J698Q3JNZG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Z-transform#L958, Example (example)
History
- 2026-11-02: add by m2/dev
J69AJM9QDX J69AJM9QDX
| URI | m2://inv/J69AJM9QDX |
|---|---|
| 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 2508.17181#RLJ9 (statement). In 2QR18WK8KH/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.6
J69KPBEDDN J69KPBEDDN
| URI | m2://inv/J69KPBEDDN |
|---|---|
| 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.14582#C7BZ (statement). In 6XP6PD2XZA/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
J6A6TDD4D1 J6A6TDD4D1
| URI | m2://inv/J6A6TDD4D1 |
|---|---|
| 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.25457#9RR8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Salvatore Pincherle J6A815MCQE
| URI | m2://inv/J6A815MCQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#10JN, Salvatore Pincherle (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#11SR, Salvatore Pincherle (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5HHM, Salvatore Pincherle (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#87G9, Salvatore Pincherle (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IXBZ, Salvatore Pincherle (topic)
History
- 2026-11-02: add by m2/dev
J6AAHQQ5RR J6AAHQQ5RR
| URI | m2://inv/J6AAHQQ5RR |
|---|---|
| Kind | statement |
| 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#YRV1 (statement). In W9A0Z2NBMA/e1, proposition 25
History
- 2026-10-29: add by m2/v0.4.12
Bahadur-type MoM-CVaR J6ABNVZJMP
| URI | m2://inv/J6ABNVZJMP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15974#CD5Z, Bahadur-type MoM-CVaR (statement). In 61ZHQ7BTKP/e1, theorem 5.5
History
- 2026-10-28: add by m2/v0.4.2
Page replacement algorithms J6ACB9GK7M
| URI | m2://inv/J6ACB9GK7M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#LX9T, Page replacement algorithms (unknown)
History
- 2026-11-02: add by m2/dev
J6AFQWZ1F9 J6AFQWZ1F9
| URI | m2://inv/J6AFQWZ1F9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#GYCZ (statement). In V7VCEA0VAA/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.10
J6AQEBT7CF J6AQEBT7CF
| URI | m2://inv/J6AQEBT7CF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#GVNX (statement). In 8PTDFHV8SQ/e1, corollary 11.5
History
- 2026-10-28: add by m2/v0.4.3
J6AS6QD0ZC J6AS6QD0ZC
| URI | m2://inv/J6AS6QD0ZC |
|---|---|
| Kind | definition |
| 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 2312.06581#8MCG (definition). In WXJ2V3HA2R/e1, definition F.1
History
- 2026-10-27: add by m2/v0.3.5
J6AXXZQHM1 J6AXXZQHM1
| URI | m2://inv/J6AXXZQHM1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#2WQR (definition). In X38P26DK6S/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.0
Polynomial-time many-one reduction J6AZ2V3J6Z
| URI | m2://inv/J6AZ2V3J6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial-time reduction#484S, Polynomial-time many-one reduction (unknown)
History
- 2026-11-02: add by m2/dev
Warsaw School of Mathematics J6B79TWBWF
| URI | m2://inv/J6B79TWBWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#U0T9, Warsaw School of Mathematics (definition)
History
- 2026-11-02: add by m2/dev
Kryptos J6BEV037RW
| URI | m2://inv/J6BEV037RW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kryptos, Kryptos (definition). Also Wikidata Q1345100
History
- 2026-11-02: add by m2/dev
caesium J6BSFG83G4
| URI | m2://inv/J6BSFG83G4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1108, caesium (definition). Also ProofWiki Definition:Caesium
History
- 2026-10-26: add by m2/dev
oscillation J6BYY4Q354
| URI | m2://inv/J6BYY4Q354 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Oscillation of a function 5XW4N8KY3Y |
Mentions
- wikidata: Wikidata Q7106411, oscillation (unknown). Also MathWorld Oscillation
- wikipedia: Wikipedia Oscillation (mathematics), Oscillation (definition). Also Wikidata Q7106411
History
- 2026-10-26: add by m2/dev
J6BYZVHZ5V J6BYZVHZ5V
| URI | m2://inv/J6BYZVHZ5V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-7 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
Scaling J6C7CSAXCW
| URI | m2://inv/J6C7CSAXCW |
|---|---|
| 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.01731#REK7, Scaling (statement). In 3TJ2FWXQ0D/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
Poisson summation formula J6CGQAADMA
| URI | m2://inv/J6CGQAADMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil–Brezin Map#X82Y, Poisson summation formula (statement)
History
- 2026-11-02: add by m2/dev
John Finlaison J6CN8Q0DQ5
| URI | m2://inv/J6CN8Q0DQ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#KZ8Y, John Finlaison (unknown)
History
- 2026-11-02: add by m2/dev
The Ross-Littlewood paradox J6CV3E24TH
| URI | m2://inv/J6CV3E24TH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradoxes of set theory#D6Q9, The Ross-Littlewood paradox (statement)
History
- 2026-11-02: add by m2/dev
Grid cell topology J6CXQ987XP
| URI | m2://inv/J6CXQ987XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grid cell topology, Grid cell topology (definition). Also Wikidata Q5608608
History
- 2026-11-02: add by m2/dev
The meaningfulness of scientific laws J6CYJVN9GA
| URI | m2://inv/J6CYJVN9GA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Claude Falmagne#HLG7, The meaningfulness of scientific laws (statement)
History
- 2026-11-02: add by m2/dev
Vanishing of the connecting map J6D2PJ10KH
| URI | m2://inv/J6D2PJ10KH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#M3MU, Vanishing of the connecting map (statement). In TBFPBPQV3G/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.4.2
J6D2QN5GB5 J6D2QN5GB5
| URI | m2://inv/J6D2QN5GB5 |
|---|---|
| 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.18152#YLL5 (statement). In AAVGAGCWTE/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.2
J6D4K866T1 J6D4K866T1
| URI | m2://inv/J6D4K866T1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#lem:equiv-iff-hprop (statement). In N54F33XE07, lem, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
J6D5RD6EX3 J6D5RD6EX3
| URI | m2://inv/J6D5RD6EX3 |
|---|---|
| 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 2609.22528#MCCK (example)
History
- 2026-11-02: add by m2/v0.6.17
J6DAFHMJQR J6DAFHMJQR
| URI | m2://inv/J6DAFHMJQR |
|---|---|
| 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 2406.19866#6HNI (statement). In 9F94CEQ1ZM/e1, theorem 2.16
History
- 2026-10-27: add by m2/v0.3.5
Variations J6DEGFF1C6
| URI | m2://inv/J6DEGFF1C6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway's Game of Life#8UZB, Variations (statement)
History
- 2026-11-02: add by m2/dev
Examples J6DKZGC6RA
| URI | m2://inv/J6DKZGC6RA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Checking whether a coin is fair#3IMQ, Examples (example)
History
- 2026-11-02: add by m2/dev
J6DX5433K0 J6DX5433K0
| URI | m2://inv/J6DX5433K0 |
|---|---|
| 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 2301.02848#YOKZ (statement). In G6WQDW52TJ/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.6
Craig's Interpolation Theorem J6E09YZ1ZA
| URI | m2://inv/J6E09YZ1ZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/interpolation/interpolation-proof.tex#thm:interpol, Craig's Interpolation Theorem (statement). In PKGMM3P5QY, thm, section 46.10
History
- 2026-11-01: add by m2/v0.6.13
Lau--Wu, \LauWuCitation J6E5F6ZMC5
| URI | m2://inv/J6E5F6ZMC5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20311#69J4, Lau--Wu, \LauWuCitation (statement). In SW758TCN31/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
Dimer model J6EA1MAWFB
| URI | m2://inv/J6EA1MAWFB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29671#0P0V, Dimer model (definition)
History
- 2026-11-01: add by m2/v0.6.15
Schur's property J6EJHBEE47
| URI | m2://inv/J6EJHBEE47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur's property, Schur's property (definition). Also Wikidata Q7433028
History
- 2026-11-02: add by m2/dev
J6ET1R6881 J6ET1R6881
| URI | m2://inv/J6ET1R6881 |
|---|---|
| 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.05696#MSSV (statement). In MG81A9XJTQ/e1, proposition II.1
History
- 2026-10-29: add by m2/v0.4.10
ordered field, archimedean J6EZGQ0AC0
| URI | m2://inv/J6EZGQ0AC0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/ordered-field-archimedean, ordered field, archimedean (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
J6FCWHSPPB J6FCWHSPPB
| URI | m2://inv/J6FCWHSPPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#KSOZ (statement). In DAMYG8BFAK/e1, proposition 4.21
History
- 2026-10-30: add by m2/v0.4.12
J6FGXTGGHY J6FGXTGGHY
| URI | m2://inv/J6FGXTGGHY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-examples.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 26.19
History
- 2026-11-01: add by m2/v0.6.13
Hildreth–Lu estimation J6FKCX4BMK
| URI | m2://inv/J6FKCX4BMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hildreth–Lu estimation, Hildreth–Lu estimation (definition). Also Wikidata Q25303692
History
- 2026-11-02: add by m2/dev
Burden of proof J6FQ1PQMSJ
| URI | m2://inv/J6FQ1PQMSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burden of proof (philosophy), Burden of proof (definition). Also Wikidata Q1535975
History
- 2026-11-02: add by m2/dev
Graph exploration algorithm J6FW40GFKW
| URI | m2://inv/J6FW40GFKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#MYH4, Graph exploration algorithm (definition)
- wikipedia: Wikipedia List of algorithm general topics#U5Y5, Graph exploration algorithm (definition)
History
- 2026-11-02: add by m2/dev
Carlo Alberto Castigliano J6FZXAV8R3
| URI | m2://inv/J6FZXAV8R3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlo Alberto Castigliano, Carlo Alberto Castigliano (topic). Also Wikidata Q983318
History
- 2026-11-02: add by m2/dev
Combinatorial criterion for Laguerre admissibility J6G5YP3CVK
| URI | m2://inv/J6G5YP3CVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26110#97W0, Combinatorial criterion for Laguerre admissibility (statement)
History
- 2026-11-01: add by m2/v0.6.15
J6GFN5QFS4 J6GFN5QFS4
| URI | m2://inv/J6GFN5QFS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16631#DGN4 (statement). In T735PRQNJB/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Carl Ludwig Siegel J6GN0PYVZJ
| URI | m2://inv/J6GN0PYVZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MUYI, Carl Ludwig Siegel (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3PKZ, Carl Ludwig Siegel (topic)
- wikipedia: Wikipedia List of German mathematicians#IQTX, Carl Ludwig Siegel (topic)
History
- 2026-11-02: add by m2/dev
J6GNGY1F55 J6GNGY1F55
| URI | m2://inv/J6GNGY1F55 |
|---|---|
| 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 2208.04502#3H0S (statement). In BT6E9BXXF3/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
undefined J6GNVWMM47
| URI | m2://inv/J6GNVWMM47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#ALHU, undefined (definition)
History
- 2026-11-02: add by m2/dev
J6GVPZ99CT J6GVPZ99CT
| URI | m2://inv/J6GVPZ99CT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#IS3M (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dorothy Maud Wrinch J6GYFS157A
| URI | m2://inv/J6GYFS157A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorothy Maud Wrinch, Dorothy Maud Wrinch (topic). Also Wikidata Q662543
History
- 2026-11-02: add by m2/dev
J6H017QFPY J6H017QFPY
| URI | m2://inv/J6H017QFPY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27049#8RFV (statement)
History
- 2026-11-01: add by m2/v0.6.15
J6H3X815RM J6H3X815RM
| URI | m2://inv/J6H3X815RM |
|---|---|
| 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.35275#BZDF (statement). In B0NV0JBAKB/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
Três Passos J6H92R984B
| URI | m2://inv/J6H92R984B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#TGC1, Três Passos (unknown)
History
- 2026-11-02: add by m2/dev
Baire J6H92T10FB
| URI | m2://inv/J6H92T10FB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#GSCO, Baire (definition)
History
- 2026-11-02: add by m2/dev
Regev's theorem J6HQXFX8VQ
| URI | m2://inv/J6HQXFX8VQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7308146, Regev's theorem (statement). Also Wikidata Q7308146
- thousand_plus: thousand_plus Q7308146, Regev's theorem (statement). Also Wikidata Q7308146, Wikipedia Regev's theorem
- wikipedia: Wikipedia Regev's theorem, Regev's theorem (statement). Also Wikidata Q7308146
History
- 2026-10-26: add by m2/dev
J6J0D7TDQY J6J0D7TDQY
| URI | m2://inv/J6J0D7TDQY |
|---|---|
| Kind | conjecture |
| 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.29425#AV0H (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Special case J6J6SEA9FE
| URI | m2://inv/J6J6SEA9FE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hofstadter points#D82X, Special case (statement)
History
- 2026-11-02: add by m2/dev
J6JTNA5X8A J6JTNA5X8A
| URI | m2://inv/J6JTNA5X8A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#prob:injective surjective functions (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
J6JXPSZBD9 J6JXPSZBD9
| URI | m2://inv/J6JXPSZBD9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#CU7Y (example). In 8XVS0QJ2AH/e1, example 44
History
- 2026-10-31: add by m2/v0.5.6
Tufte, Edward J6K9EC95DC
| URI | m2://inv/J6K9EC95DC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#AUXC, Tufte, Edward (topic)
History
- 2026-11-02: add by m2/dev
Geometry of numbers J6KC3EFHW6
| URI | m2://inv/J6KC3EFHW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#WX6F, Geometry of numbers (definition)
History
- 2026-11-02: add by m2/dev
J6KEM7V06D J6KEM7V06D
| URI | m2://inv/J6KEM7V06D |
|---|---|
| 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 2404.05965#K2H8 (statement). In GD1GED3FZ3/e1, proposition 10.1
History
- 2026-10-27: add by m2/v0.3.5
Mask generation function J6KP2J61A1
| URI | m2://inv/J6KP2J61A1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mask generation function, Mask generation function (definition). Also Wikidata Q30324269
History
- 2026-11-02: add by m2/dev
J6KT0TAQQ0 J6KT0TAQQ0
| URI | m2://inv/J6KT0TAQQ0 |
|---|---|
| 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.33062#59D8 (statement). In 4X19VA3FFW/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
J6KVJYHPJJ J6KVJYHPJJ
| URI | m2://inv/J6KVJYHPJJ |
|---|---|
| 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 1904.09810#ZSX4 (statement). In T1VFA7TXPA/e1, lemma 51
History
- 2026-10-27: add by m2/v0.3.5
Theorem of Oka J6KWWK1F5B
| URI | m2://inv/J6KWWK1F5B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plurisubharmonic function#1L3Y, Theorem of Oka (statement)
History
- 2026-11-02: add by m2/dev
Examples J6M1P99WF9
| URI | m2://inv/J6M1P99WF9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamow factor#FAED, Examples (example)
History
- 2026-11-02: add by m2/dev
Bit-wise XOR J6M1TYV7GS
| URI | m2://inv/J6M1TYV7GS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitwise operation#B2TX, Bit-wise XOR (unknown)
History
- 2026-11-02: add by m2/dev
Completeness of the Gauge-Fixed Error family J6MCZS8B0D
| URI | m2://inv/J6MCZS8B0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03677#L55N, Completeness of the Gauge-Fixed Error family (statement). In J1Y06VVYRG/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
Quantization J6MJB3Y9JP
| URI | m2://inv/J6MJB3Y9JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantization (linguistics), Quantization (definition). Also Wikidata Q2176628
History
- 2026-11-02: add by m2/dev
The Total Library J6MPMJ6ASJ
| URI | m2://inv/J6MPMJ6ASJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite monkey theorem#QU3O, The Total Library (unknown)
History
- 2026-11-02: add by m2/dev
J6MTGG46EQ J6MTGG46EQ
| URI | m2://inv/J6MTGG46EQ |
|---|---|
| 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 2504.09464#KCNQ (example). In RN1XRCS2CH/e1, example 6
History
- 2026-10-27: add by m2/v0.3.6
J6MZKG8BS8 J6MZKG8BS8
| URI | m2://inv/J6MZKG8BS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15504#RESP (statement). In AZ8SEW6HAV/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.2
A rectangular calculation J6NNCPV4DJ
| URI | m2://inv/J6NNCPV4DJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26110#3X9K, A rectangular calculation (example)
History
- 2026-11-01: add by m2/v0.6.15
Steven Neil Evans J6NXCATWJN
| URI | m2://inv/J6NXCATWJN |
|---|---|
| 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#2C73, Steven Neil Evans (unknown)
History
- 2026-11-02: add by m2/dev
regular expression J6NXTW8341
| URI | m2://inv/J6NXTW8341 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q185612, regular expression (unknown). Also MathWorld RegularExpression
- wikipedia: Wikipedia Regular expression, Regular expression (definition). Also Wikidata Q185612
History
- 2026-10-26: add by m2/dev
J6NXX7AKMV J6NXX7AKMV
| URI | m2://inv/J6NXX7AKMV |
|---|---|
| Kind | definition |
| 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.24580#EEZ9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Horace Lamb J6P0PWMXJM
| URI | m2://inv/J6P0PWMXJM |
|---|---|
| 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 Q1627897, Horace Lamb (unknown). Also ProofWiki Mathematician:Horace_Lamb
- wikipedia: Wikipedia Horace Lamb, Horace Lamb (topic). Also Wikidata Q1627897
History
- 2026-10-26: add by m2/dev
National Computer Security Center J6PBEEJ1J8
| URI | m2://inv/J6PBEEJ1J8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Security Agency#JU75, National Computer Security Center (unknown)
History
- 2026-11-02: add by m2/dev
J6PG34D1HG J6PG34D1HG
| URI | m2://inv/J6PG34D1HG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35421#EL20 (statement). In KE8B8KMDJJ/e1, theorem 0.7
History
- 2026-10-30: add by m2/v0.4.12
Incomplete LU factorization J6PTM4Z96D
| URI | m2://inv/J6PTM4Z96D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incomplete LU factorization, Incomplete LU factorization (definition). Also Wikidata Q1654069
History
- 2026-11-02: add by m2/dev
Definitions J6Q2HWJ8YV
| URI | m2://inv/J6Q2HWJ8YV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolvent cubic#GJWE, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Zermelo–Fraenkel set theory with choice J6Q2RE1F84
| URI | m2://inv/J6Q2RE1F84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10856991, Zermelo–Fraenkel set theory with choice (definition). Also EoM ZFC, ProofWiki Definition:Zermelo-Fraenkel_Set_Theory_with_Axiom_of_Choice
History
- 2026-10-26: add by m2/dev
J-Six Ranchettes, Arizona J6Q4KZ4WYV
| URI | m2://inv/J6Q4KZ4WYV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MN7T, J-Six Ranchettes, Arizona (unknown)
History
- 2026-11-02: add by m2/dev
Banach fixed-point theorem J6Q4WW4N56
| URI | m2://inv/J6Q4WW4N56 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 6 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Banach fixed point theorem 0VK6VEH345 |
Mentions
- mathlib_1000: mathlib_1000 Q220680, Banach fixed-point theorem (statement). Also Mathlib ContractingWith.exists_fixedPoint, Wikidata Q220680
- mathlib_overview: mathlib_overview Topology > Metric spaces > contraction mapping theorem, contraction mapping theorem (unknown). Also Mathlib ContractingWith.exists_fixedPoint
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > contraction mapping theorem, contraction mapping theorem (unknown). Also Mathlib ContractingWith.exists_fixedPoint
- thousand_plus: thousand_plus Q220680, Banach fixed-point theorem (statement). Also Mathlib ContractingWith.exists_fixedPoint, Wikidata Q220680, Wikipedia Banach fixed-point theorem
- wikidata: Wikidata Q220680, Banach fixed-point theorem (statement). Also Mathlib ContractingWith.exists_fixedPoint
- wikipedia: Wikipedia Banach fixed-point theorem, Banach fixed-point theorem (statement). Also Wikidata Q220680
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Example J6QBPYC5DS
| URI | m2://inv/J6QBPYC5DS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood's three principles of real analysis#BG6U, Example (example)
History
- 2026-11-02: add by m2/dev
system of linear equations J6QQKN30M4
| URI | m2://inv/J6QQKN30M4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | System of linear equations 0GT4WWGWH2 |
Mentions
- wikidata: Wikidata Q11203, system of linear equations (unknown). Also MathWorld LinearSystemofEquations
- wikipedia: Wikipedia System of linear equations, System of linear equations (definition). Also Wikidata Q11203
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Example J6QSHCJ80H
| URI | m2://inv/J6QSHCJ80H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Garnir relations#AGRP, Example (example)
History
- 2026-11-02: add by m2/dev
J6QTCGHE91 J6QTCGHE91
| URI | m2://inv/J6QTCGHE91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#ESVC (statement). In MS7M2BJS9X/e1, lemma 7.16
History
- 2026-10-29: add by m2/v0.4.10
J6R2K400PA J6R2K400PA
| URI | m2://inv/J6R2K400PA |
|---|---|
| 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 1701.00517#CSS2 (statement). In JHPBT88FDW/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
Chebyshev–Markov–Stieltjes inequalities J6R9K9B283
| URI | m2://inv/J6R9K9B283 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#WETK, Chebyshev–Markov–Stieltjes inequalities (definition)
History
- 2026-11-02: add by m2/dev
Existential closedness conjecture J6RHEYQQ2F
| URI | m2://inv/J6RHEYQQ2F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Existential closedness conjecture, Existential closedness conjecture (statement). Also Wikidata Q130535643
History
- 2026-11-02: add by m2/dev
Coherence J6RJHHJHTK
| URI | m2://inv/J6RJHHJHTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherence (physics), Coherence (definition). Also Wikidata Q193147
History
- 2026-11-02: add by m2/dev
\cite[Definition 8.14]BH J6RN5HQ2SG
| URI | m2://inv/J6RN5HQ2SG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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 1802.02910#LEXU, \cite[Definition 8.14]BH (definition). In AY2MA29921/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
J6RP13GN91 J6RP13GN91
| URI | m2://inv/J6RP13GN91 |
|---|---|
| Kind | definition |
| 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 2601.10958#EZXU (definition). In 4W55AH5T6R/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Localized compactness characterization J6RRN7RTAV
| URI | m2://inv/J6RRN7RTAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20514#6BX8, Localized compactness characterization (statement)
History
- 2026-11-02: add by m2/v0.6.18
J6RZ6YQV57 J6RZ6YQV57
| URI | m2://inv/J6RZ6YQV57 |
|---|---|
| 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.17717#EYKK (statement). In YXRKS451PK/e1, fact A.4
History
- 2026-10-28: add by m2/v0.4.2
J6S0R1H37W J6S0R1H37W
| URI | m2://inv/J6S0R1H37W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#MJG3 (statement). In WJD9YPGGYH/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
J6S4B1ZX27 J6S4B1ZX27
| URI | m2://inv/J6S4B1ZX27 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#PIH7 (definition). In S26QVW5613/e1, definition 4.2.1
History
- 2026-10-30: add by m2/v0.4.12
J6S53ANHQ2 J6S53ANHQ2
| URI | m2://inv/J6S53ANHQ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40261#Y7RC (statement). In KAVANCCYJW/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
J6S5987VR9 J6S5987VR9
| URI | m2://inv/J6S5987VR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06081#Q5Q5 (statement). In 7Z3KQRFEVG/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Equiangular hexagon J6SDMNMV3D
| URI | m2://inv/J6SDMNMV3D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equiangular polygon#9KZI, Equiangular hexagon (unknown)
History
- 2026-11-02: add by m2/dev
J6SS6KPHXH J6SS6KPHXH
| URI | m2://inv/J6SS6KPHXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14450#2WL9 (statement). In ZHTGQT07PE/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Borel isomorphism J6SZNS9WEN
| URI | m2://inv/J6SZNS9WEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel isomorphism, Borel isomorphism (definition). Also Wikidata Q4944909
History
- 2026-11-02: add by m2/dev
SID-to-Projected-PID Reduction J6T5HTQSA2
| URI | m2://inv/J6T5HTQSA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#VUP3, SID-to-Projected-PID Reduction (statement). In D7NDCWSDJE/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
Pythagorean identity J6T9QDPZN4
| URI | m2://inv/J6T9QDPZN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21872#ANQ2, Pythagorean identity (statement). In HEA1ME2ZE4/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.2
reverse J6T9QWC4P3
| URI | m2://inv/J6T9QWC4P3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#PGY6, reverse (definition)
History
- 2026-11-02: add by m2/dev
J6TADEBJZ7 J6TADEBJZ7
| URI | m2://inv/J6TADEBJZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#MR00 (statement). In 7CK21JGM5A/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.2
J6TCP0K1TA J6TCP0K1TA
| URI | m2://inv/J6TCP0K1TA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.30200#UGXP (definition)
History
- 2026-11-01: add by m2/v0.6.15
J6TG439ZZN J6TG439ZZN
| URI | m2://inv/J6TG439ZZN |
|---|---|
| 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.29723#JELB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Word sense J6TM3QH1EF
| URI | m2://inv/J6TM3QH1EF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word sense, Word sense (definition). Also Wikidata Q1570700
History
- 2026-11-02: add by m2/dev
Sharp EL-8 J6TPDJXVXD
| URI | m2://inv/J6TPDJXVXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sharp EL-8, Sharp EL-8 (definition). Also Wikidata Q2277321
History
- 2026-11-02: add by m2/dev
Colin McLarty J6TQPEH4SM
| URI | m2://inv/J6TQPEH4SM |
|---|---|
| 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 Q5145379, Colin McLarty (unknown). Also nLab Colin McLarty
- wikipedia: Wikipedia Colin McLarty, Colin McLarty (topic). Also Wikidata Q5145379
History
- 2026-10-26: add by m2/dev
Unit function J6TTQBRDVQ
| URI | m2://inv/J6TTQBRDVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit function, Unit function (definition). Also Wikidata Q2919265
History
- 2026-11-02: add by m2/dev
J6V3YGWGKY J6V3YGWGKY
| URI | m2://inv/J6V3YGWGKY |
|---|---|
| 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.09168#WRCK (statement). In 12T5QRMZN8/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Pair S5 J6VDXSQ1WM
| URI | m2://inv/J6VDXSQ1WM |
|---|---|
| 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.08865#QLXP, Pair S5 (statement). In SJ5JKGH94M/e1, theorem 21
History
- 2026-10-29: add by m2/v0.4.10
J6VEX1QXDE J6VEX1QXDE
| URI | m2://inv/J6VEX1QXDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#NMY1 (statement). In BVAWVRS3R9/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Mediterranean pattern J6VRSXNHQB
| URI | m2://inv/J6VRSXNHQB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated square tiling#WNA1, Mediterranean pattern (unknown)
History
- 2026-11-02: add by m2/dev
J6W2B1X7KT J6W2B1X7KT
| URI | m2://inv/J6W2B1X7KT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13528#L9HM (statement). In TSBJEBS7SP/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
in-degree J6W5770ZH0
| URI | m2://inv/J6W5770ZH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#4JFX, in-degree (definition)
History
- 2026-11-02: add by m2/dev
J6W73N96HZ J6W73N96HZ
| URI | m2://inv/J6W73N96HZ |
|---|---|
| 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.17476#B4LZ (statement). In 6HXD74FA4S/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Coversine J6WAGGBVQ1
| URI | m2://inv/J6WAGGBVQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#YPEG, Coversine (definition)
History
- 2026-11-02: add by m2/dev
Jan Łukasiewicz J6WDNFATVG
| URI | m2://inv/J6WDNFATVG |
|---|---|
| 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#CN7M, Jan Łukasiewicz (topic)
History
- 2026-11-02: add by m2/dev
graph, simple J6WE1DQP2P
| URI | m2://inv/J6WE1DQP2P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.2/graph-simple, graph, simple (concept). In QKM9DD2H56, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Dual Calder\'on-Zygmund Lemma J6WM5R66S1
| URI | m2://inv/J6WM5R66S1 |
|---|---|
| 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 2512.08487#HSZR, Dual Calder\'on-Zygmund Lemma (statement). In 77TVQVYN0Z/e1, lemma 33
History
- 2026-10-27: add by m2/v0.3.6
unit circle J6WN0BY43N
| URI | m2://inv/J6WN0BY43N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q203425, unit circle (unknown). Also MathWorld UnitCircle
- wikipedia: Wikipedia Unit circle, Unit circle (definition). Also Wikidata Q203425
History
- 2026-10-26: add by m2/dev
Katsuya Eda J6WNAMR8QQ
| URI | m2://inv/J6WNAMR8QQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5WAD, Katsuya Eda (unknown)
History
- 2026-11-02: add by m2/dev
John Stuart Wilson J6WQ05J8KC
| URI | m2://inv/J6WQ05J8KC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Stuart Wilson, John Stuart Wilson (topic). Also Wikidata Q58227245
History
- 2026-11-02: add by m2/dev
strongly connected component J6WW64WN8J
| URI | m2://inv/J6WW64WN8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2003238, strongly connected component (unknown). Also MathWorld StronglyConnectedComponent
- wikipedia: Wikipedia Strongly connected component, Strongly connected component (definition). Also Wikidata Q2003238
History
- 2026-10-26: add by m2/dev
Examples J6X11TR5SM
| URI | m2://inv/J6X11TR5SM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly contractible space#OIPS, Examples (example)
History
- 2026-11-02: add by m2/dev
Oscar Kempthorne J6X9441DDW
| URI | m2://inv/J6X9441DDW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#0MTS, Oscar Kempthorne (topic)
History
- 2026-11-02: add by m2/dev
Galois J6XGJF64H3
| URI | m2://inv/J6XGJF64H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#1CUF, Galois (definition)
History
- 2026-11-02: add by m2/dev
J6XJWPD994 J6XJWPD994
| URI | m2://inv/J6XJWPD994 |
|---|---|
| Kind | problem |
| 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.14085#DJKF (problem). In T8F19ZGHF3/e1, problem 1.9
History
- 2026-10-28: add by m2/v0.4.2
J6XNV15P53 J6XNV15P53
| URI | m2://inv/J6XNV15P53 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/applications.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 78.3
History
- 2026-11-01: add by m2/v0.6.13
Properties J6Y8FED18S
| URI | m2://inv/J6Y8FED18S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic spiral#XTZ7, Properties (statement)
History
- 2026-11-02: add by m2/dev
J6Y8VJ57JH J6Y8VJ57JH
| URI | m2://inv/J6Y8VJ57JH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#CGVR (statement). In CY1FE8W1ZW/e1, statement 0.223
History
- 2026-10-27: add by m2/v0.3.5
J6YAGM3MC7 J6YAGM3MC7
| URI | m2://inv/J6YAGM3MC7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.23972#VPY6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
J6YENWEZFA J6YENWEZFA
| URI | m2://inv/J6YENWEZFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#def:comparecards (definition). In E59CDZA4DP, defn, section 11.9.5
History
- 2026-11-01: add by m2/v0.6.13
David Dickey J6YHQ3V5DZ
| URI | m2://inv/J6YHQ3V5DZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Y6CF, David Dickey (topic)
History
- 2026-11-02: add by m2/dev
Fernando Q. Gouvêa J6YJ8V1881
| URI | m2://inv/J6YJ8V1881 |
|---|---|
| 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 Q1312669, Fernando Q. Gouvêa (unknown). Also ProofWiki Mathematician:Fernando_Quadros_Gouvêa
- wikipedia: Wikipedia Fernando Q. Gouvêa, Fernando Q. Gouvêa (topic). Also Wikidata Q1312669
History
- 2026-10-26: add by m2/dev
Regression diagnostic J6YJNGXFVA
| URI | m2://inv/J6YJNGXFVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression diagnostic, Regression diagnostic (definition). Also Wikidata Q55631393
History
- 2026-11-02: add by m2/dev
J6YPRH98BG J6YPRH98BG
| URI | m2://inv/J6YPRH98BG |
|---|---|
| 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.13792#A7T5 (statement). In ZH0PFTZ12Y/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
J6YXRA9B7N J6YXRA9B7N
| URI | m2://inv/J6YXRA9B7N |
|---|---|
| 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 2011.14561#1G56 (statement). In V2XJJJX1Z8/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.3.5
J6Z9WXJCDC J6Z9WXJCDC
| URI | m2://inv/J6Z9WXJCDC |
|---|---|
| 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.06806#4WEV (statement). In ZZQT0GFMT2/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Wilhelm Windelband J6ZCEZQJ0E
| URI | m2://inv/J6ZCEZQJ0E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Windelband, Wilhelm Windelband (topic). Also Wikidata Q77045
History
- 2026-11-02: add by m2/dev
Theorems about Mersenne numbers J6ZJVP81QQ
| URI | m2://inv/J6ZJVP81QQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mersenne prime#R3SU, Theorems about Mersenne numbers (statement)
History
- 2026-11-02: add by m2/dev
Characterizations J6ZNMEJYNW
| URI | m2://inv/J6ZNMEJYNW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete partial order#AUV3, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
existence of presentations J6ZPTJ4MZY
| URI | m2://inv/J6ZPTJ4MZY |
|---|---|
| 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.22667#RVHF, existence of presentations (statement)
History
- 2026-11-02: add by m2/v0.6.17
Complete finite dimension-pair classification J6ZTGRVNDX
| URI | m2://inv/J6ZTGRVNDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00115#BQVM, Complete finite dimension-pair classification (statement). In JK8PYKCZRA/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12