Inventory rows 6Y
The cards of the rows of the inventory whose ids start with 6Y. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Restriction kernels and the interior Dirichlet spectrum 6Y0CNHDANZ
| URI | m2://inv/6Y0CNHDANZ |
|---|---|
| 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.08011#3601, Restriction kernels and the interior Dirichlet spectrum (statement). In K0BXT951HT/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Gilbert–Shannon–Reeds model 6Y0KYF5DAC
| URI | m2://inv/6Y0KYF5DAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbert–Shannon–Reeds model, Gilbert–Shannon–Reeds model (definition). Also Wikidata Q13846428
History
- 2026-11-02: add by m2/dev
Topological Poincar\'{e} conjecture 6Y0Q2JJJ2E
| URI | m2://inv/6Y0Q2JJJ2E |
|---|---|
| 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.33842#G9ZN, Topological Poincar\'{e} conjecture (statement). In NFQ1VPB281/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
blocking 6Y0RF60EZD
| URI | m2://inv/6Y0RF60EZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#5XJ7, blocking (definition)
History
- 2026-11-02: add by m2/dev
Properties 6Y0Y41T2MF
| URI | m2://inv/6Y0Y41T2MF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data set#2UP2, Properties (statement)
History
- 2026-11-02: add by m2/dev
6Y11F27KBW 6Y11F27KBW
| URI | m2://inv/6Y11F27KBW |
|---|---|
| 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.38548#NZKE (statement). In Z7ZFV3HM1S/e1, theorem 4.16
History
- 2026-10-30: add by m2/v0.4.12
hypersimplex 6Y12J9WXWN
| URI | m2://inv/6Y12J9WXWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303757, hypersimplex (unknown). Also nLab hypersimplex
- wikipedia: Wikipedia Hypersimplex, Hypersimplex (definition). Also Wikidata Q25303757
History
- 2026-10-26: add by m2/dev
Tacit assumption 6Y1P2EMNAT
| URI | m2://inv/6Y1P2EMNAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tacit assumption, Tacit assumption (definition). Also Wikidata Q7673893
History
- 2026-11-02: add by m2/dev
Primary summands and exponent 6Y1PDFPYPX
| URI | m2://inv/6Y1PDFPYPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#5PFP, Primary summands and exponent (statement). In Y1DR0DPWD0/e1, corollary 3.11
History
- 2026-10-29: add by m2/v0.4.12
mapping cone 6Y1R3CETFP
| URI | m2://inv/6Y1R3CETFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q306560, mapping cone (unknown). Also EoM Mapping-cone_construction, nLab mapping cone
- wikipedia: Wikipedia Mapping cone (topology), Mapping cone (definition). Also Wikidata Q306560
History
- 2026-10-26: add by m2/dev
6Y1SV2CN85 6Y1SV2CN85
| URI | m2://inv/6Y1SV2CN85 |
|---|---|
| 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#P1I6 (statement). In XYYEJN00D8/e1, proposition 2.21
History
- 2026-10-30: add by m2/v0.4.12
6Y253HSKHD 6Y253HSKHD
| URI | m2://inv/6Y253HSKHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#4EK5 (statement). In DDNP38CHQJ/e1, theorem 10.1
History
- 2026-10-27: add by m2/v0.3.5
Determinant separation 6Y259PHR9R
| URI | m2://inv/6Y259PHR9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37615#019A, Determinant separation (statement). In T2B54J7121/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Central moment 6Y266E2J9A
| URI | m2://inv/6Y266E2J9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TQ7G, Central moment (definition)
History
- 2026-11-02: add by m2/dev
The intersection ring of the quotient 6Y282QS61M
| URI | m2://inv/6Y282QS61M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.04164#R6P7, The intersection ring of the quotient (statement). In KR7WXN4EWR/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
6Y2C4SVARK 6Y2C4SVARK
| URI | m2://inv/6Y2C4SVARK |
|---|---|
| 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.00775#HHFT (statement). In WVHA7H05QC/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.12
6Y2JHSAGMQ 6Y2JHSAGMQ
| URI | m2://inv/6Y2JHSAGMQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27788#CHUA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hydrogen wavefunction 6Y2KW3MYS9
| URI | m2://inv/6Y2KW3MYS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrogen atom#9TF9, Hydrogen wavefunction (unknown)
History
- 2026-11-02: add by m2/dev
Feferman–Vaught theorem 6Y2NSZ38GW
| URI | m2://inv/6Y2NSZ38GW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q110921617, Feferman–Vaught theorem (statement). Also Wikidata Q110921617
- thousand_plus: thousand_plus Q110921617, Feferman–Vaught theorem (statement). Also Wikidata Q110921617, Wikipedia Feferman–Vaught theorem
- wikipedia: Wikipedia Feferman–Vaught theorem, Feferman–Vaught theorem (statement). Also Wikidata Q110921617
History
- 2026-10-26: add by m2/dev
6Y2QZPEW54 6Y2QZPEW54
| URI | m2://inv/6Y2QZPEW54 |
|---|---|
| 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.12014#TKQX (statement). In DR7BK4CQ0V/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.3
Sorgenfrey line 6Y2RTZXNB0
| URI | m2://inv/6Y2RTZXNB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117921997, Sorgenfrey line (definition). Also ProofWiki Definition:Sorgenfrey_Line
History
- 2026-10-26: add by m2/dev
Sharpness of the radius constant 6Y2W3BS8K3
| URI | m2://inv/6Y2W3BS8K3 |
|---|---|
| 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.00501#5N36, Sharpness of the radius constant (statement). In FTPW1SZ8D3/e1, lemma A.8
History
- 2026-10-30: add by m2/v0.4.12
Laplace–Carson transform 6Y2ZR31TRJ
| URI | m2://inv/6Y2ZR31TRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#O7OK, Laplace–Carson transform (definition)
History
- 2026-11-02: add by m2/dev
Properties 6Y302PXR11
| URI | m2://inv/6Y302PXR11 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morava E-theory#M0GF, Properties (statement)
History
- 2026-11-02: add by m2/dev
Formal definition 6Y34SEYJW3
| URI | m2://inv/6Y34SEYJW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice (module)#UDO1, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
6Y3BGHGEAG 6Y3BGHGEAG
| URI | m2://inv/6Y3BGHGEAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16510#VFQU (statement). In V7SQ4VXCRX/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Examples 6Y3XMY7CN7
| URI | m2://inv/6Y3XMY7CN7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mapping class group#ILOB, Examples (example)
History
- 2026-11-02: add by m2/dev
Potato Theorem 6Y3Y3WEY0P
| URI | m2://inv/6Y3Y3WEY0P |
|---|---|
| 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.20391#NEJD, Potato Theorem (statement). In CTAS41TRM2/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
pure mathematics 6Y3Z8ADK50
| URI | m2://inv/6Y3Z8ADK50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q837863, pure mathematics (definition). Also MathWorld PureMathematics, ProofWiki Definition:Pure_Mathematics
- wikipedia: Wikipedia Pure mathematics, Pure mathematics (definition). Also Wikidata Q837863
History
- 2026-10-26: add by m2/dev
Marcus du Sautoy 6Y402AQH3T
| URI | m2://inv/6Y402AQH3T |
|---|---|
| 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 Q536457 (unknown). Also ProofWiki Mathematician:Marcus_Peter_Francis_du_Sautoy
- wikipedia: Wikipedia Marcus du Sautoy, Marcus du Sautoy (topic). Also Wikidata Q536457
History
- 2026-10-26: add by m2/dev
Definition 6Y44XMA9AA
| URI | m2://inv/6Y44XMA9AA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flatness (systems theory)#D9ZR, Definition (definition)
History
- 2026-11-02: add by m2/dev
6Y4946EGDH 6Y4946EGDH
| URI | m2://inv/6Y4946EGDH |
|---|---|
| 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.20590#E1EY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Joseph Bertrand 6Y499XP89F
| URI | m2://inv/6Y499XP89F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Bertrand, Joseph Bertrand (topic). Also Wikidata Q315436
History
- 2026-11-02: add by m2/dev
6Y4GKQX60Z 6Y4GKQX60Z
| URI | m2://inv/6Y4GKQX60Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/substitution.tex#ex-1 (example). In PKGMM3P5QY, ex, section 20.3
History
- 2026-11-01: add by m2/v0.6.13
Homeomorphism 6Y5AVFVTFD
| URI | m2://inv/6Y5AVFVTFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#X0BC, Homeomorphism (definition)
History
- 2026-11-02: add by m2/dev
Killing 6Y5BFXRD32
| URI | m2://inv/6Y5BFXRD32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#5HHL, Killing (definition)
History
- 2026-11-02: add by m2/dev
Statement of the theorems 6Y5PVF6PAT
| URI | m2://inv/6Y5PVF6PAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chevalley–Warning theorem#J2UL, Statement of the theorems (statement)
History
- 2026-11-02: add by m2/dev
6Y5WAS7V3M 6Y5WAS7V3M
| URI | m2://inv/6Y5WAS7V3M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.0962#WGG6 (definition). In 80YMRN5KS9/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
() 6Y6A8ZS2MK
| URI | m2://inv/6Y6A8ZS2MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#SSKW, () (definition)
History
- 2026-11-02: add by m2/dev
Logic puzzle 6Y6CR6H9HR
| URI | m2://inv/6Y6CR6H9HR |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic puzzle, Logic puzzle (problem). Also Wikidata Q1774662
History
- 2026-11-02: add by m2/dev
6Y6CZTWEMN 6Y6CZTWEMN
| URI | m2://inv/6Y6CZTWEMN |
|---|---|
| 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.21528#KVXL (statement)
History
- 2026-11-02: add by m2/v0.6.18
secant line 6Y6FV9GRPN
| URI | m2://inv/6Y6FV9GRPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#PUET, secant line (definition)
History
- 2026-11-02: add by m2/dev
Properties 6Y6MW9X5XS
| URI | m2://inv/6Y6MW9X5XS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic unit#ZXFG, Properties (statement)
History
- 2026-11-02: add by m2/dev
6Y6MZ2GP9C 6Y6MZ2GP9C
| URI | m2://inv/6Y6MZ2GP9C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01251#O781 (definition). In CZ2247RGQ4/e1, definition 3.1.1
History
- 2026-10-29: add by m2/v0.4.12
Examples 6Y6S1M1V7G
| URI | m2://inv/6Y6S1M1V7G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon multigraph#R823, Examples (example)
History
- 2026-11-02: add by m2/dev
Notation 6Y6TVVXQBP
| URI | m2://inv/6Y6TVVXQBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operand#HSUN, Notation (definition)
History
- 2026-11-02: add by m2/dev
Rigidity 6Y6VPGGG5Q
| URI | m2://inv/6Y6VPGGG5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigidity (K-theory), Rigidity (definition). Also Wikidata Q97358854
History
- 2026-11-02: add by m2/dev
Analytic reasoning 6Y6XFW7BB4
| URI | m2://inv/6Y6XFW7BB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic reasoning, Analytic reasoning (definition). Also Wikidata Q4751139
History
- 2026-11-02: add by m2/dev
Construction 6Y6XZ1Z046
| URI | m2://inv/6Y6XZ1Z046 |
|---|---|
| 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.15262#NPH0, Construction (statement). In C44HVXWYRF/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
6Y6YQBHJ8D 6Y6YQBHJ8D
| URI | m2://inv/6Y6YQBHJ8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19463#RCEV (statement). In Q4HWFFK0R9/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
Examples 6Y739YTT30
| URI | m2://inv/6Y739YTT30 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical exponent of a word#UZSQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Ximera 6Y7440075B
| URI | m2://inv/6Y7440075B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ximera, Ximera (definition). Also Wikidata Q20710843
History
- 2026-11-02: add by m2/dev
6Y767CV7NZ 6Y767CV7NZ
| URI | m2://inv/6Y767CV7NZ |
|---|---|
| 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#1BHT (statement). In B23TX8G4E4/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
Euler's four-square identity 6Y79Q7ZK6B
| URI | m2://inv/6Y79Q7ZK6B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#LAD9, Euler's four-square identity (statement)
- wikipedia: Wikipedia List of mathematical proofs#63OM, Euler's four-square identity (statement)
History
- 2026-11-02: add by m2/dev
Berkson's paradox 6Y7CAKQPK9
| URI | m2://inv/6Y7CAKQPK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berkson's paradox, Berkson's paradox (statement). Also Wikidata Q4344852
History
- 2026-11-02: add by m2/dev
6Y7PWR6BZB 6Y7PWR6BZB
| URI | m2://inv/6Y7PWR6BZB |
|---|---|
| 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 2303.04321#MGUU (statement). In TE54S4QFW1/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
6Y7ZAD072X 6Y7ZAD072X
| URI | m2://inv/6Y7ZAD072X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#7578 (example). In HCTYW6VH87/e1, example B.3
History
- 2026-10-27: add by m2/v0.3.5
Li , Lemma 2.1 6Y82DJEXB9
| URI | m2://inv/6Y82DJEXB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22298#TAHQ, Li , Lemma 2.1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
6Y852XSQ1M 6Y852XSQ1M
| URI | m2://inv/6Y852XSQ1M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#cor-3 (statement). In N54F33XE07, cor, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Pythagoras 6Y86G6GQNP
| URI | m2://inv/6Y86G6GQNP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#O41V, Pythagoras (topic)
History
- 2026-11-02: add by m2/dev
Applications 6Y8726T07J
| URI | m2://inv/6Y8726T07J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcum Q-function#1L5S, Applications (example)
History
- 2026-11-02: add by m2/dev
Boris Moishezon 6Y8BN46P34
| URI | m2://inv/6Y8BN46P34 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#SPSC, Boris Moishezon (topic)
History
- 2026-11-02: add by m2/dev
Indian astrolabe 6Y8JMK1N5Q
| URI | m2://inv/6Y8JMK1N5Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Astrolabe#CTL1, Indian astrolabe (unknown)
History
- 2026-11-02: add by m2/dev
extension 6Y8MAT09A7
| URI | m2://inv/6Y8MAT09A7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#7AFS, extension (definition)
History
- 2026-11-02: add by m2/dev
6Y8Q3JM3DH 6Y8Q3JM3DH
| URI | m2://inv/6Y8Q3JM3DH |
|---|---|
| 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.20422#V2R0 (statement). In HCH89W5Y2C/e1, proposition 10
History
- 2026-10-27: add by m2/v0.4.2
Merkle–Damgård construction 6Y8WHR8WPP
| URI | m2://inv/6Y8WHR8WPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merkle–Damgård construction, Merkle–Damgård construction (definition). Also Wikidata Q1757463
History
- 2026-11-02: add by m2/dev
Applications 6Y8YMER5MJ
| URI | m2://inv/6Y8YMER5MJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Porous medium equation#31NY, Applications (example)
History
- 2026-11-02: add by m2/dev
wave equation 6Y90887XZ2
| URI | m2://inv/6Y90887XZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Wave equation 5EHD2XBQDG |
Mentions
- wikidata: Wikidata Q193846, wave equation (unknown). Also EoM Wave_equation, MathWorld WaveEquation, nLab wave equation
- wikipedia: Wikipedia Wave equation, Wave equation (definition). Also Wikidata Q193846
History
- 2026-10-26: add by m2/dev
6Y90JZRYYM 6Y90JZRYYM
| URI | m2://inv/6Y90JZRYYM |
|---|---|
| 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.20165#6W5T (statement). In QTD3BP5GA0/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.4.2
Exponentiation by squaring 6Y97V2DR0J
| URI | m2://inv/6Y97V2DR0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentiation by squaring, Exponentiation by squaring (definition). Also Wikidata Q864127
History
- 2026-11-02: add by m2/dev
The comparison stays within the parent interval 6Y9BN6CD3X
| URI | m2://inv/6Y9BN6CD3X |
|---|---|
| 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.02509#VC6M, The comparison stays within the parent interval (statement). In 9CJ1NK0R8P/e1, lemma 1.59
History
- 2026-10-29: add by m2/v0.4.12
Properties 6Y9T5Z0QPX
| URI | m2://inv/6Y9T5Z0QPX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric space#19QO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Subcritical fixed flag 6Y9YZERGV1
| URI | m2://inv/6Y9YZERGV1 |
|---|---|
| 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.40252#PYN8, Subcritical fixed flag (statement). In 7MVPNFPRKB/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
6Y9Z6JT8H7 6Y9Z6JT8H7
| URI | m2://inv/6Y9Z6JT8H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08776#RTF1 (statement). In ZQ4M778EA7/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
Morse homology 6YA0TJM0VV
| URI | m2://inv/6YA0TJM0VV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Morse homology 94BWTKKGJM |
Mentions
- wikidata: Wikidata Q3139850, Morse homology (concept). Also nLab Morse homology
- wikipedia: Wikipedia Morse homology, Morse homology (topic). Also Wikidata Q3139850
History
- 2026-10-26: add by m2/dev
Unbounded $SL_2$ defect 6YA188JJTX
| URI | m2://inv/6YA188JJTX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33173#AIB7, Unbounded $SL_2$ defect (statement). In R630A60CMM/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
6YA3H6BD67 6YA3H6BD67
| URI | m2://inv/6YA3H6BD67 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28454#79GP (definition)
History
- 2026-11-01: add by m2/v0.6.15
6YA5F5X14P 6YA5F5X14P
| URI | m2://inv/6YA5F5X14P |
|---|---|
| Kind | example |
| 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.15454#60JR (example). In RGQZVNXWM5/e1, example 4.8
History
- 2026-10-28: add by m2/v0.4.2
Attilio Palatini 6YA9DGZBRM
| URI | m2://inv/6YA9DGZBRM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#NCTA, Attilio Palatini (topic)
History
- 2026-11-02: add by m2/dev
Keith Devlin 6YAFDVXHTX
| URI | m2://inv/6YAFDVXHTX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keith Devlin, Keith Devlin (topic). Also Wikidata Q1359909
History
- 2026-11-02: add by m2/dev
6YAQ4CY9WR 6YAQ4CY9WR
| URI | m2://inv/6YAQ4CY9WR |
|---|---|
| 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 2104.05191#Y4P3 (statement). In CCNH3FK8YZ/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
6YAQTDGYDG 6YAQTDGYDG
| URI | m2://inv/6YAQTDGYDG |
|---|---|
| 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.26201#MT8J (statement)
History
- 2026-11-01: add by m2/v0.6.15
6YAS0R95FW 6YAS0R95FW
| URI | m2://inv/6YAS0R95FW |
|---|---|
| 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.23871#QYM2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Efficient frontier 6YAYFEA6Y1
| URI | m2://inv/6YAYFEA6Y1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Efficient frontier, Efficient frontier (definition). Also Wikidata Q16966861
History
- 2026-11-02: add by m2/dev
A Symbolic Analysis of Relay and Switching Circuits 6YB40EHY9V
| URI | m2://inv/6YB40EHY9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Symbolic Analysis of Relay and Switching Circuits, A Symbolic Analysis of Relay and Switching Circuits (definition). Also Wikidata Q4003572
History
- 2026-11-02: add by m2/dev
6YB5XXW87M 6YB5XXW87M
| URI | m2://inv/6YB5XXW87M |
|---|---|
| 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.35678#PT4O (definition). In 4X4ZS7CEKD/e1, definition 9
History
- 2026-10-30: add by m2/v0.4.12
Juan de Alcega 6YB9N6AKV8
| URI | m2://inv/6YB9N6AKV8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Juan de Alcega, Juan de Alcega (topic). Also Wikidata Q21043151
History
- 2026-11-02: add by m2/dev
unitary transformation 6YBPK7243E
| URI | m2://inv/6YBPK7243E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2495534, unitary transformation (unknown). Also MathWorld UnitaryTransformation
- wikipedia: Wikipedia Unitary transformation, Unitary transformation (definition). Also Wikidata Q2495534
History
- 2026-10-26: add by m2/dev
6YBR2ES6HT 6YBR2ES6HT
| URI | m2://inv/6YBR2ES6HT |
|---|---|
| Kind | example |
| 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 2403.15255#2PJ9 (example). In G691MXMYW0/e1, example 4.4
History
- 2026-10-27: add by m2/v0.4.0
6YBZ5R3N9J 6YBZ5R3N9J
| URI | m2://inv/6YBZ5R3N9J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#A61E (definition). In M8TSJ24RC2/e1, definition 2.20
History
- 2026-10-28: add by m2/v0.4.2
Landau–Ramanujan constant 6YBZWA59GA
| URI | m2://inv/6YBZWA59GA |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2641368, Landau–Ramanujan constant (object). Also MathWorld Landau-RamanujanConstant, OEIS A064533, ProofWiki Definition:Landau-Ramanujan_Constant
- wikipedia: Wikipedia Landau–Ramanujan constant, Landau–Ramanujan constant (object). Also Wikidata Q2641368
History
- 2026-10-26: add by m2/dev
John Hind 6YC1F24TT6
| URI | m2://inv/6YC1F24TT6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Hind (mathematician), John Hind (topic). Also Wikidata Q6239342
History
- 2026-11-02: add by m2/dev
Initially closed valve 6YC33W03ET
| URI | m2://inv/6YC33W03ET |
|---|---|
| Kind | example |
| 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#2JRL, Initially closed valve (example). In VVC2FHQZZR/e1, example 6.2
History
- 2026-10-28: add by m2/v0.4.2
Interpolation on arbitrary sets 6YC5RVG00C
| URI | m2://inv/6YC5RVG00C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#YKMN, Interpolation on arbitrary sets (statement). In 65TJENWK7X/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
6YC74RM5YC 6YC74RM5YC
| URI | m2://inv/6YC74RM5YC |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#5G4L (unknown). In R2XC1SC9NZ/e1, unknown 25
History
- 2026-10-27: add by m2/v0.3.5
6YCHR65VAX 6YCHR65VAX
| URI | m2://inv/6YCHR65VAX |
|---|---|
| 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.21545#LNII (statement). In 1Q3H75330M/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
Algorithm design 6YCKCSE35H
| URI | m2://inv/6YCKCSE35H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithm#S2Z0, Algorithm design (unknown)
History
- 2026-11-02: add by m2/dev
6YCPKMANCC 6YCPKMANCC
| URI | m2://inv/6YCPKMANCC |
|---|---|
| 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 2610.13241#9CTN (statement). In DWQWQ5KTEE/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
ellipses (vector field) 6YD6SXXEV6
| URI | m2://inv/6YD6SXXEV6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.5/ellipses-vector-field, ellipses (vector field) (concept). In E9HS8K3A52, index, section 10.5
History
- 2026-11-01: add by m2/v0.6.13
6YD7X66RK9 6YD7X66RK9
| URI | m2://inv/6YD7X66RK9 |
|---|---|
| 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 2102.09374#XFU2 (statement). In TGAHH1F8K5/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
6YDBE8T6AY 6YDBE8T6AY
| URI | m2://inv/6YDBE8T6AY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30014#KVJT (definition)
History
- 2026-11-01: add by m2/v0.6.15
Slidex 6YDCZSJ70C
| URI | m2://inv/6YDCZSJ70C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slidex, Slidex (definition). Also Wikidata Q7540390
History
- 2026-11-02: add by m2/dev
6YDDHR1MB8 6YDDHR1MB8
| URI | m2://inv/6YDDHR1MB8 |
|---|---|
| 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.02791#CQ44 (statement). In TT9BA4VMTW/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
Glossary of algebraic geometry 6YDEVVD9QA
| URI | m2://inv/6YDEVVD9QA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry, Glossary of algebraic geometry (topic). Also Wikidata Q16783922
History
- 2026-11-02: add by m2/dev
6YDMVH7TB2 6YDMVH7TB2
| URI | m2://inv/6YDMVH7TB2 |
|---|---|
| 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.30018#0WBA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Wilhelm Wirtinger 6YDPHEKX2D
| URI | m2://inv/6YDPHEKX2D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Wirtinger, Wilhelm Wirtinger (topic). Also Wikidata Q78751
History
- 2026-11-02: add by m2/dev
6YDXXAXY1Z 6YDXXAXY1Z
| URI | m2://inv/6YDXXAXY1Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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 2503.22636#67C9 (definition). In 2X2A6MT0QD/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
6YE2B1KK7S 6YE2B1KK7S
| URI | m2://inv/6YE2B1KK7S |
|---|---|
| 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 alg-geom/9506022#KSJ2 (statement). In AQGEM4XAKD/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
6YE3CXNKCC 6YE3CXNKCC
| URI | m2://inv/6YE3CXNKCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33263#VJ9I (statement). In 6S5EH3388Z/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
6YE5VVQF21 6YE5VVQF21
| URI | m2://inv/6YE5VVQF21 |
|---|---|
| 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 2508.03972#9SX7 (statement). In 2JD3KNKJ1P/e1, lemma 5.12
History
- 2026-10-27: add by m2/v0.3.5
6YECGS82PN 6YECGS82PN
| URI | m2://inv/6YECGS82PN |
|---|---|
| Kind | example |
| 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#IXN5 (example). In BDN507RN7J/e1, example 4.2.3
History
- 2026-10-30: add by m2/v0.4.12
chi-square test 6YEGGPQAZV
| URI | m2://inv/6YEGGPQAZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Chi-squared test 0EN0V3NY20 |
Mentions
- wikidata: Wikidata Q1071004, chi-square test (unknown). Also EoM Chi-squared_test, MathWorld Chi-SquaredTest
- wikipedia: Wikipedia Chi-squared test, Chi-squared test (definition). Also Wikidata Q1071004
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
inverse-square law 6YEGX0T791
| URI | m2://inv/6YEGX0T791 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q333094, inverse-square law (definition). Also ProofWiki Definition:Inverse_Square_Law
History
- 2026-10-26: add by m2/dev
6YEZVSTN9F 6YEZVSTN9F
| URI | m2://inv/6YEZVSTN9F |
|---|---|
| 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.29326#VX77 (statement). In 3F83V6VKKA/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.6
tuple 6YFDC14WFG
| URI | m2://inv/6YFDC14WFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#3LQQ, tuple (definition)
History
- 2026-11-02: add by m2/dev
6YFDKZN83C 6YFDKZN83C
| URI | m2://inv/6YFDKZN83C |
|---|---|
| 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 2012.05048#2KV8 (statement). In NY9HW1E6DY/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
Definition 6YFEXBH4A9
| URI | m2://inv/6YFEXBH4A9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automorphism#2M2W, Definition (definition)
History
- 2026-11-02: add by m2/dev
Boris Berezovsky 6YFF8C2ZSQ
| URI | m2://inv/6YFF8C2ZSQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#EH3Z, Boris Berezovsky (unknown)
History
- 2026-11-02: add by m2/dev
6YFFN495MT 6YFFN495MT
| URI | m2://inv/6YFFN495MT |
|---|---|
| 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.22237#BVM8 (statement). In 2FWTWMHA2W/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.4.0
6YFHX7C3NZ 6YFHX7C3NZ
| URI | m2://inv/6YFHX7C3NZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2610.02961#K5J5 (statement). In 986DENWM1D/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.12
Thomas Muir 6YFJW5NXHX
| URI | m2://inv/6YFJW5NXHX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Muir (mathematician), Thomas Muir (topic). Also Wikidata Q3525434
History
- 2026-11-02: add by m2/dev
noncommutative residue 6YFKV3C2JC
| URI | m2://inv/6YFKV3C2JC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7049226, noncommutative residue (unknown). Also nLab noncommutative residue
- wikipedia: Wikipedia Noncommutative residue, Noncommutative residue (definition). Also Wikidata Q7049226
History
- 2026-10-26: add by m2/dev
6YFRNZE4HK 6YFRNZE4HK
| URI | m2://inv/6YFRNZE4HK |
|---|---|
| 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 2303.14022#4AC6 (statement). In NSYR6W27FP/e1, lemma 6.10
History
- 2026-10-27: add by m2/v0.3.5
parity-check matrix 6YGAG93WSC
| URI | m2://inv/6YGAG93WSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3100414, parity-check matrix (unknown). Also MathWorld ParityCheckMatrix
- wikipedia: Wikipedia Parity-check matrix, Parity-check matrix (definition). Also Wikidata Q3100414
History
- 2026-10-26: add by m2/dev
Local plateau positivity 6YGBZSTQDC
| URI | m2://inv/6YGBZSTQDC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#MY51, Local plateau positivity (statement). In 2Y47E704Z9/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
triangle-free graph 6YGCA4NTZD
| URI | m2://inv/6YGCA4NTZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7840044, triangle-free graph (unknown). Also MathWorld Triangle-FreeGraph
- wikipedia: Wikipedia Triangle-free graph, Triangle-free graph (definition). Also Wikidata Q7840044
History
- 2026-10-26: add by m2/dev
6YGERQQRV1 6YGERQQRV1
| URI | m2://inv/6YGERQQRV1 |
|---|---|
| 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.08682#KV2U (statement). In Y306A1GPM5/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
6YGES6H10A 6YGES6H10A
| URI | m2://inv/6YGES6H10A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#2QT7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
6YGVJF2AB2 6YGVJF2AB2
| URI | m2://inv/6YGVJF2AB2 |
|---|---|
| Kind | statement |
| 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#4EEG (statement). In HX63A1PH1W/e1, lemma 6.41
History
- 2026-10-28: add by m2/v0.4.3
6YGZ42JKER 6YGZ42JKER
| URI | m2://inv/6YGZ42JKER |
|---|---|
| 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.13913#QWLP (statement). In BW5GVH97JE/e1, proposition 3.17
History
- 2026-10-28: add by m2/v0.4.2
Statement 6YH2396NX6
| URI | m2://inv/6YH2396NX6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoeffding's inequality#5NLI, Statement (statement)
History
- 2026-11-02: add by m2/dev
Murray R. Spiegel 6YHCKZ7DVF
| URI | m2://inv/6YHCKZ7DVF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Murray R. Spiegel, Murray R. Spiegel (topic). Also Wikidata Q6939420
History
- 2026-11-02: add by m2/dev
Representations 6YHEVQ69QK
| URI | m2://inv/6YHEVQ69QK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie group#7OP3, Representations (definition)
History
- 2026-11-02: add by m2/dev
Computational trust 6YHH076QHN
| URI | m2://inv/6YHH076QHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational trust, Computational trust (definition). Also Wikidata Q5157345
History
- 2026-11-02: add by m2/dev
Ten Mile 6YHR8VQ9DY
| URI | m2://inv/6YHR8VQ9DY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#P21N, Ten Mile (unknown)
History
- 2026-11-02: add by m2/dev
6YHRZZQE4R 6YHRZZQE4R
| URI | m2://inv/6YHRZZQE4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01656#YM27 (statement). In AHGQZ89DY0/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
6YHSDQDQDY 6YHSDQDQDY
| URI | m2://inv/6YHSDQDQDY |
|---|---|
| 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.20119#2X30 (statement)
History
- 2026-11-02: add by m2/v0.6.18
6YHWMAJYKT 6YHWMAJYKT
| URI | m2://inv/6YHWMAJYKT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#IH89 (definition)
History
- 2026-11-01: add by m2/v0.6.15
6YJ1ZMDF1J 6YJ1ZMDF1J
| URI | m2://inv/6YJ1ZMDF1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.07092#KEHP (statement). In JWNYJVH8XG/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
6YJ2RPF35X 6YJ2RPF35X
| URI | m2://inv/6YJ2RPF35X |
|---|---|
| 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.35467#5H3W (statement). In FK89DQ9J4S/e1, theorem 6.12
History
- 2026-10-30: add by m2/v0.4.12
6YJBN0VWH5 6YJBN0VWH5
| URI | m2://inv/6YJBN0VWH5 |
|---|---|
| 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 2004.12552#CAF9 (statement). In TWPE10CZ1S/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
Andrei Toom 6YJXH1ZB22
| URI | m2://inv/6YJXH1ZB22 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrei Toom, Andrei Toom (topic). Also Wikidata Q4755976
History
- 2026-11-02: add by m2/dev
conformal connection 6YJY7ECKEG
| URI | m2://inv/6YJY7ECKEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5160248, conformal connection (unknown). Also nLab conformal connection
- wikipedia: Wikipedia Conformal connection, Conformal connection (definition). Also Wikidata Q5160248
History
- 2026-10-26: add by m2/dev
6YK20T3BRH 6YK20T3BRH
| URI | m2://inv/6YK20T3BRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#Y20T (statement). In X765ZXXVC3/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.12
Pad\'e-type approximation by the convergents 6YK8RR7ZEN
| URI | m2://inv/6YK8RR7ZEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#INTX, Pad\'e-type approximation by the convergents (statement)
History
- 2026-11-01: add by m2/v0.6.15
6YKA2B4913 6YKA2B4913
| URI | m2://inv/6YKA2B4913 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/checking-details.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
6YKDSQBFMA 6YKDSQBFMA
| URI | m2://inv/6YKDSQBFMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#prop:finitedimpropinv (statement). In E59CDZA4DP, prop, section 11.2.1
History
- 2026-11-01: add by m2/v0.6.13
Johnson--Newman 1980 , Wang--Xu 2006 6YKHMEKH63
| URI | m2://inv/6YKHMEKH63 |
|---|---|
| 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.11047#9S1I, Johnson--Newman 1980 , Wang--Xu 2006 (statement). In MNQAZ70XTH/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.3
6YKK4JH5PD 6YKK4JH5PD
| URI | m2://inv/6YKK4JH5PD |
|---|---|
| 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.05314#HW4A (statement). In PA3B6C0WY7/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
Mathieu group 6YKZPPEW0N
| URI | m2://inv/6YKZPPEW0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#OF09, Mathieu group (definition)
History
- 2026-11-02: add by m2/dev
6YM4P2CXZ6 6YM4P2CXZ6
| URI | m2://inv/6YM4P2CXZ6 |
|---|---|
| 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.15723#Q145 (statement). In A3KXZ2GBHN/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Knibbs, George Handley 6YM5MK0RR3
| URI | m2://inv/6YM5MK0RR3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#32DB, Knibbs, George Handley (unknown)
History
- 2026-11-02: add by m2/dev
6YMB4R6XYW 6YMB4R6XYW
| URI | m2://inv/6YMB4R6XYW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#1Y5R (definition). In JXTG8KP95P/e1, definition 2.30
History
- 2026-10-30: add by m2/v0.4.12
6YN0555N0X 6YN0555N0X
| URI | m2://inv/6YN0555N0X |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#proof-2 (proof). In P1C114YBXG, proof, section F
History
- 2026-11-01: add by m2/v0.6.13
Linear system 6YN9F2A40A
| URI | m2://inv/6YN9F2A40A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#YU6A, Linear system (definition)
History
- 2026-11-02: add by m2/dev
6YNG0BAQJ0 6YNG0BAQJ0
| URI | m2://inv/6YNG0BAQJ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#I6Y8 (definition). In GAG532VMPF/e1, definition 1.1.2
History
- 2026-10-27: add by m2/v0.3.5
Shreeram Shankar Abhyankar 6YNJMFB340
| URI | m2://inv/6YNJMFB340 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shreeram Shankar Abhyankar, Shreeram Shankar Abhyankar (topic). Also Wikidata Q899635
History
- 2026-11-02: add by m2/dev
Applications 6YNMGY9WJ5
| URI | m2://inv/6YNMGY9WJ5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reverse-search algorithm#6NQH, Applications (example)
History
- 2026-11-02: add by m2/dev
6YP29DK5V5 6YP29DK5V5
| URI | m2://inv/6YP29DK5V5 |
|---|---|
| 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.12480#KB72 (statement). In 585QYGX4X6/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
6YP4CMRFQA 6YP4CMRFQA
| URI | m2://inv/6YP4CMRFQA |
|---|---|
| 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.20077#LZHY (statement). In W5XRKWDADE/e1, lemma 6.13
History
- 2026-10-27: add by m2/v0.4.2
Semi-directed network 6YPHVGWWE0
| URI | m2://inv/6YPHVGWWE0 |
|---|---|
| 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.07855#EYB4, Semi-directed network (definition). In 1VT8CVVCM7/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
6YPMHF54CX 6YPMHF54CX
| URI | m2://inv/6YPMHF54CX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#BMMU (statement)
History
- 2026-11-02: add by m2/v0.6.18
6YPYBVM9H5 6YPYBVM9H5
| URI | m2://inv/6YPYBVM9H5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-1 (statement). In VNMV985MXX, prop, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
6YQ6F510ZX 6YQ6F510ZX
| URI | m2://inv/6YQ6F510ZX |
|---|---|
| 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.01970#Y9DO (statement). In 1B400PB2NJ/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.12
monotonic sequence 6YQ9WWM1D5
| URI | m2://inv/6YQ9WWM1D5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141176280, monotonic sequence (unknown). Also MathWorld MonotonicSequence
History
- 2026-10-26: add by m2/dev
6YQAXWD3K2 6YQAXWD3K2
| URI | m2://inv/6YQAXWD3K2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#ex:homology_group_sphere (example). In RZP28ERRZV, example, section 55.2
History
- 2026-11-01: add by m2/v0.6.13
⃧ 6YQB6YG437
| URI | m2://inv/6YQB6YG437 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Actuarial notation#YA1A, ⃧ (unknown)
History
- 2026-11-02: add by m2/dev
Linear force-free field 6YQDKN9N6B
| URI | m2://inv/6YQDKN9N6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Force-free magnetic field#Q8DD, Linear force-free field (unknown)
History
- 2026-11-02: add by m2/dev
6YQE0VG3KK 6YQE0VG3KK
| URI | m2://inv/6YQE0VG3KK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:zeroshol (statement). In VNMV985MXX, prop, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Permutability of one row and one column Christoffel step 6YQFK6WGD8
| URI | m2://inv/6YQFK6WGD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#CHVF, Permutability of one row and one column Christoffel step (statement)
History
- 2026-11-01: add by m2/v0.6.15
Oka–Weil theorem 6YQMFXJ5ZF
| URI | m2://inv/6YQMFXJ5ZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#NVJJ, Oka–Weil theorem (statement)
History
- 2026-11-02: add by m2/dev
6YQVMEMKXY 6YQVMEMKXY
| URI | m2://inv/6YQVMEMKXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2211.04407#598S (statement). In XCZS191H6Q/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.6
Psychometrics 6YQWCBY7NS
| URI | m2://inv/6YQWCBY7NS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#Y0B1, Psychometrics (topic)
History
- 2026-11-02: add by m2/dev
Borel–Weil theorem 6YQZR92TVS
| URI | m2://inv/6YQZR92TVS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Weil–Bott theorem#9NOZ, Borel–Weil theorem (statement)
History
- 2026-11-02: add by m2/dev
Stanine 6YR2HBAJSW
| URI | m2://inv/6YR2HBAJSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanine, Stanine (definition). Also Wikidata Q2002596
History
- 2026-11-02: add by m2/dev
Weyl's criterion 6YR41Z9RS3
| URI | m2://inv/6YR41Z9RS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential spectrum#T1CM, Weyl's criterion (statement)
History
- 2026-11-02: add by m2/dev
Properties 6YR5GZRJRC
| URI | m2://inv/6YR5GZRJRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov automorphism#XOT1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Aleksandr Lyapunov 6YR9K8JG0R
| URI | m2://inv/6YR9K8JG0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksandr Lyapunov, Aleksandr Lyapunov (topic). Also Wikidata Q310788
History
- 2026-11-02: add by m2/dev
Generalization 6YRQJDC4D6
| URI | m2://inv/6YRQJDC4D6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salem–Spencer set#KB7T, Generalization (statement)
History
- 2026-11-02: add by m2/dev
6YRRKVZ2ZB 6YRRKVZ2ZB
| URI | m2://inv/6YRRKVZ2ZB |
|---|---|
| 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 2203.06854#8SGB (statement). In 7NE5NVT9KH/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
6YRWA875QB 6YRWA875QB
| URI | m2://inv/6YRWA875QB |
|---|---|
| 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#Z23V (definition). In M0SQY5EZN5/e1, definition 1.1.2
History
- 2026-10-27: add by m2/v0.3.5
vertex 6YRWAM4DXH
| URI | m2://inv/6YRWAM4DXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q26401, vertex (unknown). Also MathWorld PolygonVertex, MathWorld PolytopeVertex, MathWorld Vertex
- wikipedia: Wikipedia Vertex (geometry), Vertex (definition). Also Wikidata Q26401
History
- 2026-10-26: add by m2/dev
6YS27CW8Z7 6YS27CW8Z7
| URI | m2://inv/6YS27CW8Z7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.16241#2DWW (statement). In WNDHZVY4WK/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
6YSC62N40T 6YSC62N40T
| URI | m2://inv/6YSC62N40T |
|---|---|
| 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 2609.25004#XO1S (statement)
History
- 2026-11-01: add by m2/v0.6.15
chromatic homotopy theory 6YSHZS40SZ
| URI | m2://inv/6YSHZS40SZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Chromatic homotopy theory 300V40FC1B |
Mentions
- wikidata: Wikidata Q16958142, chromatic homotopy theory (topic). Also nLab chromatic homotopy theory
- wikipedia: Wikipedia Chromatic homotopy theory, Chromatic homotopy theory (topic). Also Wikidata Q16958142
History
- 2026-10-26: add by m2/dev
Properties 6YSKP4D5Z1
| URI | m2://inv/6YSKP4D5Z1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing form#EIYM, Properties (statement)
History
- 2026-11-02: add by m2/dev
encode-decode method 6YSMMED00Y
| URI | m2://inv/6YSMMED00Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.1/encode-decode-method, encode-decode method (concept). In N54F33XE07, index, section 7.7.1
History
- 2026-11-01: add by m2/v0.6.13
6YSN6WT2AV 6YSN6WT2AV
| URI | m2://inv/6YSN6WT2AV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#WAZX (definition). In 5KR3MHYVV6/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Fredholm alternative 6YSQ312H1E
| URI | m2://inv/6YSQ312H1E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#theorem-2, Fredholm alternative (statement). In E9HS8K3A52, theorem, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
6YSQVN44WV 6YSQVN44WV
| URI | m2://inv/6YSQVN44WV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#example-7 (example). In E9HS8K3A52, example, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
Robust small-set coboundary expansion at an arbitrary level 6YT5BEBZ8K
| URI | m2://inv/6YT5BEBZ8K |
|---|---|
| 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.00525#G5G3, Robust small-set coboundary expansion at an arbitrary level (statement). In JN34PDDXH8/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Joseph Teran 6YTBCDHNNE
| URI | m2://inv/6YTBCDHNNE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Teran, Joseph Teran (topic). Also Wikidata Q15859302
History
- 2026-11-02: add by m2/dev
Attainable null space 6YTCGV56SP
| URI | m2://inv/6YTCGV56SP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | node (a node of the research layer states the row (corpus arxiv AX9.2)) |
| Node | Attainable null space Y4WACJKC3S |
Mentions
- arxiv: arXiv 2610.14906#2P92, Attainable null space (definition). In 1F8ENX770M/e1, definition 3.1
- arxiv: arXiv 2610.14920#1ZUN, Attainable null space (definition). In 1F8ENX770M/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
- 2026-11-02: outcome by m2 corpus adopt
- 2026-11-03: outcome by m2 corpus adopt
Masahito Hayashi 6YTG3HMW2H
| URI | m2://inv/6YTG3HMW2H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Masahito Hayashi, Masahito Hayashi (topic). Also Wikidata Q100952937
History
- 2026-11-02: add by m2/dev
eigendecomposition of a matrix 6YTKHA4790
| URI | m2://inv/6YTKHA4790 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 4 |
| Outcome | open |
| Node | Eigendecomposition D7E9SZ4E82 |
Mentions
- mathlib_1000: mathlib_1000 Q194919, Inverse eigenvalues theorem (statement). Also Wikidata Q194919
- thousand_plus: thousand_plus Q194919, Inverse eigenvalues theorem (statement). Also Wikidata Q194919, Wikipedia Inverse eigenvalues theorem
- wikidata: Wikidata Q194919, eigendecomposition of a matrix (unknown). Also MathWorld EigenDecomposition
- wikipedia: Wikipedia Eigendecomposition of a matrix, Eigendecomposition of a matrix (definition). Also Wikidata Q194919
History
- 2026-10-26: add by m2/dev
Alexander Pfänder 6YTNJ505B7
| URI | m2://inv/6YTNJ505B7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Pfänder, Alexander Pfänder (topic). Also Wikidata Q72107
History
- 2026-11-02: add by m2/dev
6YTQZRW8XQ 6YTQZRW8XQ
| URI | m2://inv/6YTQZRW8XQ |
|---|---|
| Kind | example |
| 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.13888#YPB5 (example). In XJWYBPS14M/e1, example 7.2
History
- 2026-10-28: add by m2/v0.4.2
6YTR2BQVDP 6YTR2BQVDP
| URI | m2://inv/6YTR2BQVDP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-29 (proof). In N54F33XE07, proof, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
definiens 6YTSTKN6AV
| URI | m2://inv/6YTSTKN6AV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#AS7K, definiens (definition)
History
- 2026-11-02: add by m2/dev
Definition 6YTTRG6E8W
| URI | m2://inv/6YTTRG6E8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic reciprocity#75CW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Projection envelope 6YTVZYHVVM
| URI | m2://inv/6YTVZYHVVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33866#KVHM, Projection envelope (statement). In Y3MSGX6472/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
Lyapunov's central limit theorem 6YV1WRHJR7
| URI | m2://inv/6YV1WRHJR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WSJ4, Lyapunov's central limit theorem (statement)
History
- 2026-11-02: add by m2/dev
María Dolores Ugarte 6YV3TN1MA8
| URI | m2://inv/6YV3TN1MA8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia María Dolores Ugarte, María Dolores Ugarte (topic). Also Wikidata Q57074725
History
- 2026-11-02: add by m2/dev
6YVKKGRNRY 6YVKKGRNRY
| URI | m2://inv/6YVKKGRNRY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#theorem-1 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
Cataldo Agostinelli 6YVVKJXGQH
| URI | m2://inv/6YVVKJXGQH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cataldo Agostinelli, Cataldo Agostinelli (topic). Also Wikidata Q2941600
History
- 2026-11-02: add by m2/dev
Riemannian geometry 6YW6CM84EV
| URI | m2://inv/6YW6CM84EV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q761383, Riemannian geometry (topic). Also MathWorld RiemannianGeometry, ProofWiki Definition:Riemannian_Geometry_(Mathematical_Branch)
- wikipedia: Wikipedia Riemannian geometry, Riemannian geometry (topic). Also Wikidata Q761383
History
- 2026-10-26: add by m2/dev
Second-order standard multivariate-$t$ aggregation 6YW6E1003M
| URI | m2://inv/6YW6E1003M |
|---|---|
| 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 2609.29658#9BBN, Second-order standard multivariate-$t$ aggregation (statement)
History
- 2026-11-01: add by m2/v0.6.15
6YW7YQSSKF 6YW7YQSSKF
| URI | m2://inv/6YW7YQSSKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#example-10 (example). In RZP28ERRZV, example, section 22.6
History
- 2026-11-01: add by m2/v0.6.13
6YW9PNFRRB 6YW9PNFRRB
| URI | m2://inv/6YW9PNFRRB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.17135#491H (example). In XX1J2REXY2/e1, example 3.6
History
- 2026-10-28: add by m2/v0.4.2
Applications 6YWBDK450R
| URI | m2://inv/6YWBDK450R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical analysis#03KB, Applications (example)
History
- 2026-11-02: add by m2/dev
6YWE91Z3ZV 6YWE91Z3ZV
| URI | m2://inv/6YWE91Z3ZV |
|---|---|
| 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.28403#IX5J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stable distribution 6YWEV94F4G
| URI | m2://inv/6YWEV94F4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable distribution, Stable distribution (definition). Also Wikidata Q1934245
History
- 2026-11-02: add by m2/dev
6YWRP73QYQ 6YWRP73QYQ
| URI | m2://inv/6YWRP73QYQ |
|---|---|
| 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 2508.03972#8PZH (statement). In 2JD3KNKJ1P/e1, corollary 3.11
History
- 2026-10-27: add by m2/v0.3.5
6YWSJEE9ZD 6YWSJEE9ZD
| URI | m2://inv/6YWSJEE9ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#U4LB (statement). In 29X0B511NF/e1, proposition 1.1
History
- 2026-10-29: add by m2/v0.4.10
Construction 6YX139HC6G
| URI | m2://inv/6YX139HC6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated 5-cell#K2TM, Construction (definition)
History
- 2026-11-02: add by m2/dev
Central limit theorem for directional statistics 6YX591TN89
| URI | m2://inv/6YX591TN89 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem for directional statistics, Central limit theorem for directional statistics (statement). Also Wikidata Q5062109
History
- 2026-11-02: add by m2/dev
6YX5QRQVXA 6YX5QRQVXA
| URI | m2://inv/6YX5QRQVXA |
|---|---|
| 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.31126#8JD7 (statement). In GK1V5GEHTK/e1, theorem 4.3
History
- 2026-10-31: add by m2/v0.5.6
6YX5XPSQ1S 6YX5XPSQ1S
| URI | m2://inv/6YX5XPSQ1S |
|---|---|
| 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 dg-ga/9612010#RZPM (statement). In CM39SWC4A6/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.0
6YX7SV2K71 6YX7SV2K71
| URI | m2://inv/6YX7SV2K71 |
|---|---|
| Kind | conjecture |
| 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 2609.25212#LDCG (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
6YXGER7PKC 6YXGER7PKC
| URI | m2://inv/6YXGER7PKC |
|---|---|
| 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.09735#GXX4 (statement). In C518KB563H/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
6YXSF9XH63 6YXSF9XH63
| URI | m2://inv/6YXSF9XH63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#TF3F (statement). In 79H1DEK4M9/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
6YXTZ2HYGY 6YXTZ2HYGY
| URI | m2://inv/6YXTZ2HYGY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#EBP6 (definition). In NGZ5AZ70NN/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
Holomorphy of the kernels off the diagonal 6YXXGGP56F
| URI | m2://inv/6YXXGGP56F |
|---|---|
| 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.08011#QKNS, Holomorphy of the kernels off the diagonal (statement). In K0BXT951HT/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Albrecht Dürer 6YY0H8ZTZP
| URI | m2://inv/6YY0H8ZTZP |
|---|---|
| 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 Q5580, Albrecht Dürer (unknown). Also ProofWiki Mathematician:Albrecht_Dürer
History
- 2026-10-26: add by m2/dev
NAE-3-Sat-E4 6YY31JXVFE
| URI | m2://inv/6YY31JXVFE |
|---|---|
| Kind | problem |
| 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 2401.15490#9JD9, NAE-3-Sat-E4 (problem). In AAY60GVERS/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.5
Abel's summation formula 6YY4ZPMECH
| URI | m2://inv/6YY4ZPMECH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel's summation formula, Abel's summation formula (statement). Also Wikidata Q1659643
History
- 2026-11-02: add by m2/dev
6YY62ZKMDV 6YY62ZKMDV
| URI | m2://inv/6YY62ZKMDV |
|---|---|
| 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.29274#EN4Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
6YYBEMPYQ4 6YYBEMPYQ4
| URI | m2://inv/6YYBEMPYQ4 |
|---|---|
| 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.25030#0G74 (statement)
History
- 2026-11-01: add by m2/v0.6.15
6YYDWG2VMV 6YYDWG2VMV
| URI | m2://inv/6YYDWG2VMV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/countermodels.tex#ex-1 (example). In PKGMM3P5QY, ex, section 55.5
History
- 2026-11-01: add by m2/v0.6.13
Cluster-set representation 6YYENR236N
| URI | m2://inv/6YYENR236N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#6Y24, Cluster-set representation (statement). In TC5QA4AB4Z/e1, theorem 3.11
History
- 2026-10-30: add by m2/v0.4.12
Diagonalizable group 6YYGPP7QMR
| URI | m2://inv/6YYGPP7QMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonalizable group, Diagonalizable group (definition). Also Wikidata Q5270375
History
- 2026-11-02: add by m2/dev
Paul Balmer 6YYMY0G4QM
| URI | m2://inv/6YYMY0G4QM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Balmer, Paul Balmer (topic). Also Wikidata Q21825579
History
- 2026-11-02: add by m2/dev
partial differential equation 6YYNQ8GRCW
| URI | m2://inv/6YYNQ8GRCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#0RHP, partial differential equation (definition)
History
- 2026-11-02: add by m2/dev
6YYP2DDSE3 6YYP2DDSE3
| URI | m2://inv/6YYP2DDSE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#JLOZ (statement). In WRE0P7V6Z3/e1, lemma 12.10
History
- 2026-10-30: add by m2/v0.4.12
Stokes solution and related Helmholtz theorem 6YYTW6EK2D
| URI | m2://inv/6YYTW6EK2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes flow#NASW, Stokes solution and related Helmholtz theorem (statement)
History
- 2026-11-02: add by m2/dev
6YYWW85VPA 6YYWW85VPA
| URI | m2://inv/6YYWW85VPA |
|---|---|
| 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 2103.12669#M29P (statement). In ZA6XNBA90V/e1, theorem 3.15
History
- 2026-10-27: add by m2/v0.3.5
dual 6YZ0YHGRSX
| URI | m2://inv/6YZ0YHGRSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#LP3P, dual (definition)
History
- 2026-11-02: add by m2/dev
Restriction conjecture 6YZ2RFMMT3
| URI | m2://inv/6YZ2RFMMT3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restriction conjecture, Restriction conjecture (statement). Also Wikidata Q135423966
History
- 2026-11-02: add by m2/dev
Definition 6YZ4X7F9RS
| URI | m2://inv/6YZ4X7F9RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recamán's sequence#48VE, Definition (definition)
History
- 2026-11-02: add by m2/dev
(Nigeria #3) 6YZ61SZF08
| URI | m2://inv/6YZ61SZF08 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#GV8L, (Nigeria #3) (unknown)
History
- 2026-11-02: add by m2/dev
6YZR4W5AH4 6YZR4W5AH4
| URI | m2://inv/6YZR4W5AH4 |
|---|---|
| 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#UNLW (statement). In CY1FE8W1ZW/e1, corollary 0.216
History
- 2026-10-27: add by m2/v0.4.0
6YZSCH6T47 6YZSCH6T47
| URI | m2://inv/6YZSCH6T47 |
|---|---|
| Kind | statement |
| 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#8ADX (statement). In BDN507RN7J/e1, corollary 4.4.10
History
- 2026-10-30: add by m2/v0.4.12
Efim Geller 6YZT7DADD7
| URI | m2://inv/6YZT7DADD7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#5CAP, Efim Geller (unknown)
History
- 2026-11-02: add by m2/dev