Inventory rows Z6
The cards of the rows of the inventory whose ids start with Z6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
John's equation Z601E0S407
| URI | m2://inv/Z601E0S407 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John's equation, John's equation (definition). Also Wikidata Q6217304
History
- 2026-11-02: add by m2/dev
no diagonal edges Z603MX7BS6
| URI | m2://inv/Z603MX7BS6 |
|---|---|
| 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.02743#H0RA, no diagonal edges (statement). In GQH4ZPDWET/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
Coefficient comparisons Z60A84XPFE
| URI | m2://inv/Z60A84XPFE |
|---|---|
| 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.33365#FQDS, Coefficient comparisons (statement). In MCXCMR7V0T/e1, lemma 21
History
- 2026-10-30: add by m2/v0.4.12
Elena Deza Z60H0H6BZ3
| URI | m2://inv/Z60H0H6BZ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elena Deza, Elena Deza (topic). Also Wikidata Q110250866
History
- 2026-11-02: add by m2/dev
Block incidence dimension from reference evaluations Z60KXETXYG
| URI | m2://inv/Z60KXETXYG |
|---|---|
| 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 2609.22485#MSBL, Block incidence dimension from reference evaluations (statement)
History
- 2026-11-02: add by m2/v0.6.17
Z60NBHW6E4 Z60NBHW6E4
| URI | m2://inv/Z60NBHW6E4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-21 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Z60SRA7QRH Z60SRA7QRH
| URI | m2://inv/Z60SRA7QRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27974#G6KR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cameron–Martin theorem Z60SZY8EG6
| URI | m2://inv/Z60SZY8EG6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5026435, Cameron–Martin theorem (statement). Also Wikidata Q5026435
- thousand_plus: thousand_plus Q5026435, Cameron–Martin theorem (statement). Also Wikidata Q5026435, Wikipedia Cameron–Martin theorem
- wikipedia: Wikipedia Cameron–Martin theorem, Cameron–Martin theorem (statement). Also Wikidata Q5026435
History
- 2026-10-26: add by m2/dev
Abelian 2-group Z60V18MFB8
| URI | m2://inv/Z60V18MFB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian 2-group, Abelian 2-group (definition). Also Wikidata Q104835835
History
- 2026-11-02: add by m2/dev
Definition Z60V2MM598
| URI | m2://inv/Z60V2MM598 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivector field#FBND, Definition (definition)
History
- 2026-11-02: add by m2/dev
Variants Z60VPA1WAQ
| URI | m2://inv/Z60VPA1WAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Read-only Turing machine#O0O7, Variants (statement)
History
- 2026-11-02: add by m2/dev
Madhava–Leibniz series Z60Y994HM0
| URI | m2://inv/Z60Y994HM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#C4KI, Madhava–Leibniz series (definition)
History
- 2026-11-02: add by m2/dev
Uniform central and tail expansion Z61246SACM
| URI | m2://inv/Z61246SACM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#C41W, Uniform central and tail expansion (statement). In 9YAE8FNQST/e1, lemma D.3
History
- 2026-10-30: add by m2/v0.4.12
Z614GGBN3K Z614GGBN3K
| URI | m2://inv/Z614GGBN3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2609.23469#JJK2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition Z619F47NBN
| URI | m2://inv/Z619F47NBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeta function regularization#QT6R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Z61EXA5Z8D Z61EXA5Z8D
| URI | m2://inv/Z61EXA5Z8D |
|---|---|
| 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 2603.21971#PIA8 (statement). In R6KSZ9H8CY/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
0/0 Z61G6DVFPX
| URI | m2://inv/Z61G6DVFPX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indeterminate form#8XMW, 0/0 (unknown)
History
- 2026-11-02: add by m2/dev
Z61PTA4SZ4 Z61PTA4SZ4
| URI | m2://inv/Z61PTA4SZ4 |
|---|---|
| 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.26600#XB0Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Unit root test Z61XGZ2H7S
| URI | m2://inv/Z61XGZ2H7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XOHQ, Unit root test (definition)
History
- 2026-11-02: add by m2/dev
Philip Wadler Z61YBMZY1J
| URI | m2://inv/Z61YBMZY1J |
|---|---|
| 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 Q3379094, Philip Wadler (unknown). Also nLab Philip Wadler
History
- 2026-10-26: add by m2/dev
Properties Z6267DBCS1
| URI | m2://inv/Z6267DBCS1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Core partition#H55X, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ricci decomposition Z627EYBMBP
| URI | m2://inv/Z627EYBMBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#97TW, Ricci decomposition (definition)
History
- 2026-11-02: add by m2/dev
cofibration Z62B8PRPHW
| URI | m2://inv/Z62B8PRPHW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#71OV, cofibration (definition)
History
- 2026-11-02: add by m2/dev
Z631WW5R0X Z631WW5R0X
| URI | m2://inv/Z631WW5R0X |
|---|---|
| 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#TYU2 (definition). In CZ2247RGQ4/e1, definition 3.1.3
History
- 2026-10-29: add by m2/v0.4.12
Simply connected space Z63E7FWB7R
| URI | m2://inv/Z63E7FWB7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#XXLW, Simply connected space (definition)
History
- 2026-11-02: add by m2/dev
Z63PWTGF8C Z63PWTGF8C
| URI | m2://inv/Z63PWTGF8C |
|---|---|
| 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#P9RF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Singer-circulant paired rigidity at $d=2$; original Z63WHFN75B
| URI | m2://inv/Z63WHFN75B |
|---|---|
| Kind | conjecture |
| 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.02392#E1TL, Singer-circulant paired rigidity at $d=2$; original (conjecture). In W066HQZQBF/e1, conjecture 27
History
- 2026-10-29: add by m2/v0.4.12
Hexaflake Z640A29VXN
| URI | m2://inv/Z640A29VXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#D4LK, Hexaflake (definition)
History
- 2026-11-02: add by m2/dev
Consistency Z641PJEKCC
| URI | m2://inv/Z641PJEKCC |
|---|---|
| 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.20274#W17H, Consistency (statement)
History
- 2026-11-02: add by m2/v0.6.18
Z642N13ZJV Z642N13ZJV
| URI | m2://inv/Z642N13ZJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28794#HXZ6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z642YHS6VK Z642YHS6VK
| URI | m2://inv/Z642YHS6VK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#C9IL (statement). In ATSYBWEMMP/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
Riemann solver Z64CYHRCD2
| URI | m2://inv/Z64CYHRCD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann solver, Riemann solver (definition). Also Wikidata Q6153788
History
- 2026-11-02: add by m2/dev
Identity-based encryption Z64EBG0ZRF
| URI | m2://inv/Z64EBG0ZRF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford Cocks#UU2L, Identity-based encryption (statement)
History
- 2026-11-02: add by m2/dev
Z64K9HA4MW Z64K9HA4MW
| URI | m2://inv/Z64K9HA4MW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00625#LARF (statement). In BGA625B7W1/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
Z64PJ326EF Z64PJ326EF
| URI | m2://inv/Z64PJ326EF |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#DLKQ (problem). In TNREX5GDK2/e1, problem 9.2
History
- 2026-10-29: add by m2/v0.4.12
Z64VWE8TG6 Z64VWE8TG6
| URI | m2://inv/Z64VWE8TG6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20190#6OJ4 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Joseph Keller Z64XP424W4
| URI | m2://inv/Z64XP424W4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Keller, Joseph Keller (topic). Also Wikidata Q951253
History
- 2026-11-02: add by m2/dev
quantifiers, for all Z6590Y8X4N
| URI | m2://inv/Z6590Y8X4N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.3/quantifiers-for-all, quantifiers, for all (concept). In Y91XFCEVHQ, index, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
The Classical Groups Z65ANEBNNR
| URI | m2://inv/Z65ANEBNNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Classical Groups, The Classical Groups (definition). Also Wikidata Q7723308
History
- 2026-11-02: add by m2/dev
Z65DTJ4M9F Z65DTJ4M9F
| URI | m2://inv/Z65DTJ4M9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2103.08272#KNDM (statement). In H72E12TYHA/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.4.0
Z65R6S8RFE Z65R6S8RFE
| URI | m2://inv/Z65R6S8RFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.40028#ZXSJ (statement). In N8TDKGGC7S/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
Z65XH70GKK Z65XH70GKK
| URI | m2://inv/Z65XH70GKK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 2403.16388#HIN5 (example). In HH4ADHZ8XD/e1, example 4.4
History
- 2026-10-27: add by m2/v0.4.0
Z65Z9Z1N18 Z65Z9Z1N18
| URI | m2://inv/Z65Z9Z1N18 |
|---|---|
| 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.07049#D882 (statement). In GMF552ESG6/e1, fact 2.3
History
- 2026-10-29: add by m2/v0.4.10
Annick Horiuchi Z663WV6D0Z
| URI | m2://inv/Z663WV6D0Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JZBB, Annick Horiuchi (topic)
History
- 2026-11-02: add by m2/dev
Selberg class Z6654CAWH3
| URI | m2://inv/Z6654CAWH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#THXV, Selberg class (definition)
History
- 2026-11-02: add by m2/dev
Statements of the integral formula for Dirichlet inversion Z667DR7F3K
| URI | m2://inv/Z667DR7F3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet series inversion#24L4, Statements of the integral formula for Dirichlet inversion (statement)
History
- 2026-11-02: add by m2/dev
Iacopo Barsotti Z66B18B5W6
| URI | m2://inv/Z66B18B5W6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P00M, Iacopo Barsotti (topic)
History
- 2026-11-02: add by m2/dev
The Hume-Edwards principle Z66BNRCGA5
| URI | m2://inv/Z66BNRCGA5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmological argument#AVZH, The Hume-Edwards principle (statement)
History
- 2026-11-02: add by m2/dev
Z66D42G98Y Z66D42G98Y
| URI | m2://inv/Z66D42G98Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20170#FOG1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Fourier–Bros–Iagolnitzer transform Z66RMZTK07
| URI | m2://inv/Z66RMZTK07 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier–Bros–Iagolnitzer transform, Fourier–Bros–Iagolnitzer transform (definition). Also Wikidata Q5424638
History
- 2026-11-02: add by m2/dev
mean of product of independent random variables Z66THCJ9ZS
| URI | m2://inv/Z66THCJ9ZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > mean of product of independent random variables, mean of product of independent random variables (unknown). Also Mathlib ProbabilityTheory.IndepFun.integral_mul_eq_mul_integral
History
- 2026-10-26: add by m2/dev
Sibe Mardesic Z66W8KNF2J
| URI | m2://inv/Z66W8KNF2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZFQI, Sibe Mardesic (unknown)
History
- 2026-11-02: add by m2/dev
Examples Z6704DD7YT
| URI | m2://inv/Z6704DD7YT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Padé approximant#G6FY, Examples (example)
History
- 2026-11-02: add by m2/dev
Subtyping term-transfer Z67B3F6B6A
| URI | m2://inv/Z67B3F6B6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#YTOZ, Subtyping term-transfer (statement). In CPYWHRTPKC/e1, lemma 7.31
History
- 2026-10-27: add by m2/v0.4.2
regular pentagon Z67E5KMJ15
| URI | m2://inv/Z67E5KMJ15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4375921, regular pentagon (unknown). Also MathWorld RegularPentagon
History
- 2026-10-26: add by m2/dev
Z67GCB6EE4 Z67GCB6EE4
| URI | m2://inv/Z67GCB6EE4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#85FQ (statement). In GAAZD3SGPN/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
Z67H7XFBEC Z67H7XFBEC
| URI | m2://inv/Z67H7XFBEC |
|---|---|
| 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 math/0003117#722A (statement). In WD2NCBV9F0/e1, theorem 12
History
- 2026-10-27: add by m2/v0.3.5
Adam W. Marcus Z67HYR42W4
| URI | m2://inv/Z67HYR42W4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2M9V, Adam W. Marcus (topic)
History
- 2026-11-02: add by m2/dev
Z67KEP26W5 Z67KEP26W5
| URI | m2://inv/Z67KEP26W5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#I763 (example). In S7PNTM0GZC/e1, example 3.9
History
- 2026-10-28: add by m2/v0.4.2
Examples Z67P9VH6Z2
| URI | m2://inv/Z67P9VH6Z2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical correlation#ECAE, Examples (example)
History
- 2026-11-02: add by m2/dev
Serial phase followed by common queries Z67PCGVAJ9
| URI | m2://inv/Z67PCGVAJ9 |
|---|---|
| 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.12641#FGAS, Serial phase followed by common queries (statement). In X5BYGZZHPF/e1, theorem I.2
History
- 2026-10-28: add by m2/v0.4.2
Johanna Weber Z67PVGEH03
| URI | m2://inv/Z67PVGEH03 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johanna Weber, Johanna Weber (topic). Also Wikidata Q18578508
History
- 2026-11-02: add by m2/dev
correspondence theory of truth Z67RDFJRAV
| URI | m2://inv/Z67RDFJRAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#6400, correspondence theory of truth (definition)
History
- 2026-11-02: add by m2/dev
Mississippi School for Mathematics and Science Z67TDY9YGA
| URI | m2://inv/Z67TDY9YGA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mississippi School for Mathematics and Science, Mississippi School for Mathematics and Science (definition). Also Wikidata Q6879301
History
- 2026-11-02: add by m2/dev
Strictly convex domains Z67XJRECK4
| URI | m2://inv/Z67XJRECK4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17519#VX0B, Strictly convex domains (definition). In H2DNTQ5MKV/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Steinberg group Z67ZVD3W24
| URI | m2://inv/Z67ZVD3W24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steinberg group (K-theory), Steinberg group (definition). Also Wikidata Q7606830
History
- 2026-11-02: add by m2/dev
Regge calculus Z683FQQE2J
| URI | m2://inv/Z683FQQE2J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1055042, Regge calculus (concept). Also MathWorld ReggeCalculus
- wikipedia: Wikipedia Regge calculus, Regge calculus (definition). Also Wikidata Q1055042
History
- 2026-10-26: add by m2/dev
Eugénie Hunsicker Z686GVKRXF
| URI | m2://inv/Z686GVKRXF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8NWA, Eugénie Hunsicker (topic)
History
- 2026-11-02: add by m2/dev
Conditional Hellinger integrals and profile Z68KFMBQMG
| URI | m2://inv/Z68KFMBQMG |
|---|---|
| Kind | definition |
| 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.27765#M24I, Conditional Hellinger integrals and profile (definition)
History
- 2026-11-01: add by m2/v0.6.15
Z68NT9DTY7 Z68NT9DTY7
| URI | m2://inv/Z68NT9DTY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#0KIY (statement). In HGE2NCQW29/e1, corollary 8.3
History
- 2026-10-27: add by m2/v0.3.5
Examples Z68PZC322Y
| URI | m2://inv/Z68PZC322Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schützenberger group#CLN4, Examples (example)
History
- 2026-11-02: add by m2/dev
Gaussian initialization and innovations Z68V1M07VW
| URI | m2://inv/Z68V1M07VW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#GZID, Gaussian initialization and innovations (statement)
History
- 2026-11-02: add by m2/v0.6.17
Linear flow on the torus Z68WQ21PF8
| URI | m2://inv/Z68WQ21PF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear flow on the torus, Linear flow on the torus (definition). Also Wikidata Q6553445
History
- 2026-11-02: add by m2/dev
Z68X4EN8BF Z68X4EN8BF
| URI | m2://inv/Z68X4EN8BF |
|---|---|
| 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.14154#6277 (statement). In 8X6PXX2TRA/e1, theorem 8.5
History
- 2026-10-28: add by m2/v0.4.2
Z698W5ERM6 Z698W5ERM6
| URI | m2://inv/Z698W5ERM6 |
|---|---|
| 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.06461#ZU9E (statement). In QXY3W2JV2N/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
Definition Z69HN1MZ8M
| URI | m2://inv/Z69HN1MZ8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levene's test#U1DT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Samuel Maykapar Z69RHSVBWT
| URI | m2://inv/Z69RHSVBWT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#Y55T, Samuel Maykapar (unknown)
History
- 2026-11-02: add by m2/dev
High-conductor stationary-class table Z6A6PT1ZS6
| URI | m2://inv/Z6A6PT1ZS6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#TFW3, High-conductor stationary-class table (statement). In 5BZQS1KY9A/e1, proposition 6.8
History
- 2026-10-29: add by m2/v0.4.10
Coefficient of colligation Z6ABVN2T90
| URI | m2://inv/Z6ABVN2T90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2P2O, Coefficient of colligation (definition)
History
- 2026-11-02: add by m2/dev
Z6AJGPHE9V Z6AJGPHE9V
| URI | m2://inv/Z6AJGPHE9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38815#G2TZ (statement). In 2CEETN5YTZ/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
Cancellation of nonsingular quadratic suspensions Z6AK0FXE2R
| URI | m2://inv/Z6AK0FXE2R |
|---|---|
| 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#VRU7, Cancellation of nonsingular quadratic suspensions (statement). In JWNYJVH8XG/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Z6AM7CNPEW Z6AM7CNPEW
| URI | m2://inv/Z6AM7CNPEW |
|---|---|
| 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 2207.12181#SGVX (statement). In FSD8NE3XSR/e1, lemma 7.16
History
- 2026-10-27: add by m2/v0.4.0
4,531,985,219,092 Z6AWCRXWE8
| URI | m2://inv/Z6AWCRXWE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connect Four#2TY5, 4,531,985,219,092 (unknown)
History
- 2026-11-02: add by m2/dev
Properties Z6B3H727GC
| URI | m2://inv/Z6B3H727GC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proprism#JTM7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Minkowski's bound Z6B5MA5GCV
| URI | m2://inv/Z6B5MA5GCV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski's bound, Minkowski's bound (definition). Also Wikidata Q6867845
History
- 2026-11-02: add by m2/dev
Shanks's square forms factorization Z6B8XBEA73
| URI | m2://inv/Z6B8XBEA73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shanks's square forms factorization, Shanks's square forms factorization (definition). Also Wikidata Q4291872
History
- 2026-11-02: add by m2/dev
Z6B9SR6EWY Z6B9SR6EWY
| URI | m2://inv/Z6B9SR6EWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#X8VM (statement). In ZJQB9W60T6/e1, theorem 6.5
History
- 2026-10-28: add by m2/v0.4.2
Z6BKMTK0VH Z6BKMTK0VH
| URI | m2://inv/Z6BKMTK0VH |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
A special case Z6BKSMN5W2
| URI | m2://inv/Z6BKSMN5W2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reynolds transport theorem#0XFA, A special case (statement)
History
- 2026-11-02: add by m2/dev
Z6BZT1AA3C Z6BZT1AA3C
| URI | m2://inv/Z6BZT1AA3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#53QP (statement). In 3A4K47Y9F2/e1, lemma 2.13
History
- 2026-10-27: add by m2/v0.4.0
Great icosihemidodecacron Z6C29GFKVQ
| URI | m2://inv/Z6C29GFKVQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#O8RX, Great icosihemidodecacron (object)
History
- 2026-11-02: add by m2/dev
Z6C2SFY6PF Z6C2SFY6PF
| URI | m2://inv/Z6C2SFY6PF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#ex:product_ring (example). In RZP28ERRZV, example, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Applications Z6C60PS1JE
| URI | m2://inv/Z6C60PS1JE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arc routing#ETSN, Applications (example)
History
- 2026-11-02: add by m2/dev
Reversed triangle inequality Z6C9WQNGYJ
| URI | m2://inv/Z6C9WQNGYJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski spacetime#F97W, Reversed triangle inequality (statement)
History
- 2026-11-02: add by m2/dev
Move (O): Outsplitting Z6CBP2GX51
| URI | m2://inv/Z6CBP2GX51 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#YHDC, Move (O): Outsplitting (definition). In 6HJQXZS0A6/e1, definition 1.10
History
- 2026-10-29: add by m2/v0.4.12
Jules Hoüel Z6CD8Y7MZ7
| URI | m2://inv/Z6CD8Y7MZ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jules Hoüel, Jules Hoüel (topic). Also Wikidata Q3188671
History
- 2026-11-02: add by m2/dev
Marius Tucsnak Z6CDY8P2KV
| URI | m2://inv/Z6CDY8P2KV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BMQR, Marius Tucsnak (unknown)
History
- 2026-11-02: add by m2/dev
Renyi divergence Z6CEQNX573
| URI | m2://inv/Z6CEQNX573 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rényi entropy#RS3C, Renyi divergence (unknown)
History
- 2026-11-02: add by m2/dev
Enumeration, formally Z6CJ2FBRHD
| URI | m2://inv/Z6CJ2FBRHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#defn-2, Enumeration, formally (definition). In PKGMM3P5QY, defn, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
Z6CNKP8Q7W Z6CNKP8Q7W
| URI | m2://inv/Z6CNKP8Q7W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.09464#E7W9 (statement). In RN1XRCS2CH/e1, lemma 19
History
- 2026-10-27: add by m2/v0.3.6
Z6CS7N2011 Z6CS7N2011
| URI | m2://inv/Z6CS7N2011 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:mshausdorffpseudo (exercise). In E59CDZA4DP, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
Z6CVG1PZ1R Z6CVG1PZ1R
| URI | m2://inv/Z6CVG1PZ1R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#7R1R (statement). In SBZNH932ZV/e1, theorem 8.1
History
- 2026-10-30: add by m2/v0.4.12
Z6DA7T3BF0 Z6DA7T3BF0
| URI | m2://inv/Z6DA7T3BF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#4GJJ (statement). In 48QX0QD0XR/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.3
Two-layer calibration and equality Z6DC10MQAZ
| URI | m2://inv/Z6DC10MQAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38041#JBRZ, Two-layer calibration and equality (statement). In 54NQGN1BWM/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Examples Z6DG0FC0CJ
| URI | m2://inv/Z6DG0FC0CJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halved cube graph#F9Y1, Examples (example)
History
- 2026-11-02: add by m2/dev
Z6DKNNX4K8 Z6DKNNX4K8
| URI | m2://inv/Z6DKNNX4K8 |
|---|---|
| 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#Q7B3 (definition). In M0SQY5EZN5/e1, definition 2.1.5
History
- 2026-10-27: add by m2/v0.3.5
Z6DN02155S Z6DN02155S
| URI | m2://inv/Z6DN02155S |
|---|---|
| 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#5LWR (definition). In 80YMRN5KS9/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Z6DN1PAZ1Z Z6DN1PAZ1Z
| URI | m2://inv/Z6DN1PAZ1Z |
|---|---|
| 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.05459#L9SE (statement). In VYW16D089Y/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Z6DNF387WV Z6DNF387WV
| URI | m2://inv/Z6DNF387WV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10937#0RVX (statement). In 6VVK3YTABP/e1, corollary 7.2
History
- 2026-10-28: add by m2/v0.4.3
Handlebody Z6DXG9FSMT
| URI | m2://inv/Z6DXG9FSMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#H1GK, Handlebody (definition)
History
- 2026-11-02: add by m2/dev
The factor $2$ for an embedding Z6DZW4DFZX
| URI | m2://inv/Z6DZW4DFZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#CZV0, The factor $2$ for an embedding (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z6E2FK685E Z6E2FK685E
| URI | m2://inv/Z6E2FK685E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#760X (statement). In P8KT6JV9N1/e1, lemma 4.13
History
- 2026-10-29: add by m2/v0.4.12
Z6E8DPSE8P Z6E8DPSE8P
| URI | m2://inv/Z6E8DPSE8P |
|---|---|
| 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.02669#E4UZ (statement). In NSBSWH6XB4/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.12
Long-range order for bipartite weights Z6E942K3CA
| URI | m2://inv/Z6E942K3CA |
|---|---|
| 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.29671#YCAO, Long-range order for bipartite weights (statement)
History
- 2026-11-01: add by m2/v0.6.15
Z6EA3JDM55 Z6EA3JDM55
| URI | m2://inv/Z6EA3JDM55 |
|---|---|
| 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.07673#J1BH (statement). In 37B1MPV8GX/e1, proposition 2.13
History
- 2026-10-29: add by m2/v0.4.10
Z6EA6WV2DT Z6EA6WV2DT
| URI | m2://inv/Z6EA6WV2DT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19461#6GVW (statement). In D5X5P2QD6A/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
symmetrization decomposition Z6ED8AKPX0
| URI | m2://inv/Z6ED8AKPX0 |
|---|---|
| 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.06909#R0TS, symmetrization decomposition (statement). In F1EF8XE30A/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
List of nonlinear partial differential equations Z6ESD83AN9
| URI | m2://inv/Z6ESD83AN9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#ASLF, List of nonlinear partial differential equations (topic)
History
- 2026-11-02: add by m2/dev
Example Z6EX4GYJGT
| URI | m2://inv/Z6EX4GYJGT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix decomposition#7UI5, Example (example)
History
- 2026-11-02: add by m2/dev
Z6F1PQF6R3 Z6F1PQF6R3
| URI | m2://inv/Z6F1PQF6R3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:msclosedlim (statement). In E59CDZA4DP, prop, section 4.3.3
History
- 2026-11-01: add by m2/v0.6.13
A drift-independent signal estimate Z6F3JC4SFA
| URI | m2://inv/Z6F3JC4SFA |
|---|---|
| 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.13613#3X25, A drift-independent signal estimate (statement). In 3HCT4TQ5PM/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Z6F4RH63WF Z6F4RH63WF
| URI | m2://inv/Z6F4RH63WF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36204#MO6W (statement). In ZEHQDJTEDG/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
Definition Z6F64S2KPJ
| URI | m2://inv/Z6F64S2KPJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jech–Kunen tree#K2ML, Definition (definition)
History
- 2026-11-02: add by m2/dev
Homology theory Z6F7606QQR
| URI | m2://inv/Z6F7606QQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#0S1U, Homology theory (definition)
History
- 2026-11-02: add by m2/dev
Z6F78WFEGX Z6F78WFEGX
| URI | m2://inv/Z6F78WFEGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35682#NSXF (statement). In 7XM8WXVBWK/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Z6FDNQY9BJ Z6FDNQY9BJ
| URI | m2://inv/Z6FDNQY9BJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19300#EXNU (definition). In S6S4RD5VXJ/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Finite adhesion Z6FGTKGF69
| URI | m2://inv/Z6FGTKGF69 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#BNOA, Finite adhesion (definition). In BVAWVRS3R9/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Z6FNES0V96 Z6FNES0V96
| URI | m2://inv/Z6FNES0V96 |
|---|---|
| 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.05327#V9N6 (statement). In ZD7BWDKT84/e1, proposition 8.11
History
- 2026-10-29: add by m2/v0.4.10
Formal statement Z6FRDZ00VN
| URI | m2://inv/Z6FRDZ00VN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pumping lemma for regular languages#2QSZ, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Fenchel's inequality Z6FVAB0FHH
| URI | m2://inv/Z6FVAB0FHH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre transformation#G63G, Fenchel's inequality (statement)
History
- 2026-11-02: add by m2/dev
Z6FYSEXPCN Z6FYSEXPCN
| URI | m2://inv/Z6FYSEXPCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03851#YZAP (statement). In HNV63B8Y1A/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Z6FZY5ZRBF Z6FZY5ZRBF
| URI | m2://inv/Z6FZY5ZRBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06466#V8L3 (statement). In 6W451V3N75/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
NC Z6G0QAZ0BC
| URI | m2://inv/Z6G0QAZ0BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NC (complexity), NC (definition). Also Wikidata Q1141840
History
- 2026-11-02: add by m2/dev
Johansson formula Z6G4KSVTY8
| URI | m2://inv/Z6G4KSVTY8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyson Brownian motion#7F5X, Johansson formula (statement)
History
- 2026-11-02: add by m2/dev
jet Z6G67NKWN3
| URI | m2://inv/Z6G67NKWN3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Jet 1QE0Z0756D |
Mentions
- wikidata: Wikidata Q923480, jet (concept). Also EoM Jet, ProofWiki Definition:Jet
- wikipedia: Wikipedia Jet (mathematics), Jet (definition). Also Wikidata Q923480
History
- 2026-10-26: add by m2/dev
J. Nigro Sansonese Z6G6MQVDJB
| URI | m2://inv/Z6G6MQVDJB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J. Nigro Sansonese, J. Nigro Sansonese (topic). Also Wikidata Q6106617
History
- 2026-11-02: add by m2/dev
Z6GD5J4XGB Z6GD5J4XGB
| URI | m2://inv/Z6GD5J4XGB |
|---|---|
| Kind | example |
| 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.29158#Q7RB (example)
History
- 2026-11-01: add by m2/v0.6.15
Aristaeus the Elder Z6GDMZWN95
| URI | m2://inv/Z6GDMZWN95 |
|---|---|
| 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 Q2705291, Aristaeus the Elder (unknown). Also ProofWiki Mathematician:Aristaeus_the_Elder
History
- 2026-10-26: add by m2/dev
Examples Z6GHKSVFJY
| URI | m2://inv/Z6GHKSVFJY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally finite operator#FKPA, Examples (example)
History
- 2026-11-02: add by m2/dev
Relaxation oscillator Z6GM3B3BAG
| URI | m2://inv/Z6GM3B3BAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relaxation oscillator, Relaxation oscillator (definition). Also Wikidata Q1421688
History
- 2026-11-02: add by m2/dev
γ–θ conjecture Z6GMNTEFT1
| URI | m2://inv/Z6GMNTEFT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#BY1X, γ–θ conjecture (definition)
History
- 2026-11-02: add by m2/dev
Z6HK637P4A Z6HK637P4A
| URI | m2://inv/Z6HK637P4A |
|---|---|
| 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#X8XA (definition). In M0SQY5EZN5/e1, definition 2.1.2
History
- 2026-10-27: add by m2/v0.3.5
Jean Coulomb Z6HMMVYX4Y
| URI | m2://inv/Z6HMMVYX4Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean Coulomb, Jean Coulomb (topic). Also Wikidata Q3171450
History
- 2026-11-02: add by m2/dev
Notation Z6HTB79ESE
| URI | m2://inv/Z6HTB79ESE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially ordered set#3S87, Notation (definition)
History
- 2026-11-02: add by m2/dev
Hermite interpolation Z6HTHSHBN9
| URI | m2://inv/Z6HTHSHBN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#6NSN, Hermite interpolation (definition)
- wikipedia: Wikipedia List of numerical analysis topics#GK0L, Hermite interpolation (definition)
History
- 2026-11-02: add by m2/dev
Z6HY9FASJ7 Z6HY9FASJ7
| URI | m2://inv/Z6HY9FASJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36411#263Y (statement). In 9QG5CND2RQ/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
five Z6HYRSYYR4
| URI | m2://inv/Z6HYRSYYR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#0RA4, five (definition)
History
- 2026-11-02: add by m2/dev
Z6J0P3X9BC Z6J0P3X9BC
| URI | m2://inv/Z6J0P3X9BC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#RYH1 (statement). In MVSGDTN2PB/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.10
Singly and doubly even Z6J1MYHD3R
| URI | m2://inv/Z6J1MYHD3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singly and doubly even, Singly and doubly even (definition). Also Wikidata Q7524131
History
- 2026-11-02: add by m2/dev
Z6J6KTMHQ6 Z6J6KTMHQ6
| URI | m2://inv/Z6J6KTMHQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.09645#M0M3 (statement). In HVDSC1GQRD/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.3.5
Oliver Byrne Z6J8DYF70H
| URI | m2://inv/Z6J8DYF70H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oliver Byrne (mathematician), Oliver Byrne (topic). Also Wikidata Q1739609
History
- 2026-11-02: add by m2/dev
concrete category Z6J8X437PN
| URI | m2://inv/Z6J8X437PN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Concrete category FYBRP16KAN |
Mentions
- wikidata: Wikidata Q1575634, concrete category (unknown). Also nLab concrete category
- wikipedia: Wikipedia Concrete category, Concrete category (definition). Also Wikidata Q1575634
History
- 2026-10-26: add by m2/dev
angle trisection Z6JA7CK84V
| URI | m2://inv/Z6JA7CK84V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Trisecting the angle 00J3DCCEK5 |
Mentions
- mathlib_1000: mathlib_1000 Q733081, Impossibility of angle trisection (statement). Also Wikidata Q733081
- thousand_plus: thousand_plus Q733081, Impossibility of angle trisection (statement). Also Wikidata Q733081
- wikidata: Wikidata Q733081, angle trisection (problem). Also EoM Trisection_of_an_angle, MathWorld AngleTrisection, ProofWiki Trisecting_the_Angle
- wikipedia: Wikipedia Angle trisection, Angle trisection (definition). Also Wikidata Q733081
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Z6JE6SB6XC Z6JE6SB6XC
| URI | m2://inv/Z6JE6SB6XC |
|---|---|
| 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 2506.16491#I0OO (statement). In P9J6P06Y40/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
Menachem Magidor Z6JGF2YHT3
| URI | m2://inv/Z6JGF2YHT3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YIYO, Menachem Magidor (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6SA5, Menachem Magidor (topic)
History
- 2026-11-02: add by m2/dev
Lindeloef degree Z6JH454QQA
| URI | m2://inv/Z6JH454QQA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindelöf space#06ZY, Lindeloef degree (unknown)
History
- 2026-11-02: add by m2/dev
Bohr–Favard inequality Z6JPRES0BR
| URI | m2://inv/Z6JPRES0BR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bohr–Favard inequality, Bohr–Favard inequality (statement). Also Wikidata Q117770284
History
- 2026-11-02: add by m2/dev
BF-graph Z6JX7M2HTD
| URI | m2://inv/Z6JX7M2HTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BF-graph, BF-graph (definition). Also Wikidata Q2877010
History
- 2026-11-02: add by m2/dev
structure under a general norm gap Z6K0MVMHGN
| URI | m2://inv/Z6K0MVMHGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.27458#1JXJ, structure under a general norm gap (statement)
History
- 2026-11-01: add by m2/v0.6.15
The algorithm Z6KCX3SBJ7
| URI | m2://inv/Z6KCX3SBJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XGBoost#EHB7, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Sub-Riemannian geodesic orbit manifolds Z6KFC3BDRP
| URI | m2://inv/Z6KFC3BDRP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11292#G99G, Sub-Riemannian geodesic orbit manifolds (definition). In Y35XMETFV7/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.3
Great stellapentakis dodecahedron Z6KTB30EAZ
| URI | m2://inv/Z6KTB30EAZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600392, Great stellapentakis dodecahedron (unknown). Also MathWorld GreatStellapentakisDodecahedron
- wikipedia: Wikipedia Great stellapentakis dodecahedron, Great stellapentakis dodecahedron (object). Also Wikidata Q5600392
History
- 2026-10-26: add by m2/dev
Z6KY7073S4 Z6KY7073S4
| URI | m2://inv/Z6KY7073S4 |
|---|---|
| Kind | definition |
| 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.39531#DH1N (definition). In SN9RSTHQ07/e1, definition C.3
History
- 2026-10-30: add by m2/v0.4.12
Algebraic properties Z6KZQBK7BQ
| URI | m2://inv/Z6KZQBK7BQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clebsch graph#1BZ7, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
David S. Moore Z6M0HN37J8
| URI | m2://inv/Z6M0HN37J8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#I70A, David S. Moore (topic)
History
- 2026-11-02: add by m2/dev
Mike Keith Z6M2YHGAME
| URI | m2://inv/Z6M2YHGAME |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mike Keith (mathematician), Mike Keith (topic). Also Wikidata Q6847479
History
- 2026-11-02: add by m2/dev
Alphonse de Polignac Z6M315GWQW
| URI | m2://inv/Z6M315GWQW |
|---|---|
| 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 Q2270375, Alphonse de Polignac (unknown). Also ProofWiki Mathematician:Alphonse_Armand_Charles_Georges_Marie_de_Polignac
History
- 2026-10-26: add by m2/dev
Z6M8Z6GAR9 Z6M8Z6GAR9
| URI | m2://inv/Z6M8Z6GAR9 |
|---|---|
| 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.22381#17K9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Z6MKK5ZCZ9 Z6MKK5ZCZ9
| URI | m2://inv/Z6MKK5ZCZ9 |
|---|---|
| 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.35404#06V8 (statement). In DH84PYVRCF/e1, corollary 4.11
History
- 2026-10-30: add by m2/v0.4.12
Z6MR70KM9Z Z6MR70KM9Z
| URI | m2://inv/Z6MR70KM9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#WSRB (statement). In 3A4K47Y9F2/e1, theorem 2.11
History
- 2026-10-27: add by m2/v0.4.0
Examples Z6MSR2XX54
| URI | m2://inv/Z6MSR2XX54 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field (mathematics)#5V5L, Examples (example)
History
- 2026-11-02: add by m2/dev
Yulia Gel Z6MX5FSQ2E
| URI | m2://inv/Z6MX5FSQ2E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#P5KN, Yulia Gel (topic)
History
- 2026-11-02: add by m2/dev
Z6N103QPG6 Z6N103QPG6
| URI | m2://inv/Z6N103QPG6 |
|---|---|
| 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 2609.40054#WYDA (definition). In CA4C9PFM1E/e1, definition 3.1.1
History
- 2026-10-30: add by m2/v0.4.12
Behavioral momentum Z6N532V4CG
| URI | m2://inv/Z6N532V4CG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behavioral momentum, Behavioral momentum (topic). Also Wikidata Q4880731
History
- 2026-11-02: add by m2/dev
Finite-time propagation of density derivatives Z6N8QNMZGV
| URI | m2://inv/Z6N8QNMZGV |
|---|---|
| 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.04894#30VC, Finite-time propagation of density derivatives (statement). In AZZ35SDENN/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Z6N9XAE7RE Z6N9XAE7RE
| URI | m2://inv/Z6N9XAE7RE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#K54Y (statement). In 13GSWBXPCM/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
Z6NM8VA3JN Z6NM8VA3JN
| URI | m2://inv/Z6NM8VA3JN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30600#KWV6 (statement). In BKGWH9ZN4J/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Hadwiger–Finsler inequality Z6NMA3Y92V
| URI | m2://inv/Z6NMA3Y92V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#AESL, Hadwiger–Finsler inequality (statement)
- wikipedia: Wikipedia List of inequalities#5R6R, Hadwiger–Finsler inequality (statement)
History
- 2026-11-02: add by m2/dev
Z6NN5V238Z Z6NN5V238Z
| URI | m2://inv/Z6NN5V238Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9201244#Z1AR (definition). In 7D3HCN21MK/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Completion (ring theory) Z6NZ6BNPC1
| URI | m2://inv/Z6NZ6BNPC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#DI21, Completion (ring theory) (definition)
- wikipedia: Wikipedia List of abstract algebra topics#SFD2, Completion (ring theory) (definition)
- wikipedia: Wikipedia List of commutative algebra topics#19QJ, Completion (ring theory) (definition)
History
- 2026-11-02: add by m2/dev
Z6P7NH68KG Z6P7NH68KG
| URI | m2://inv/Z6P7NH68KG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#424N (statement). In PWXT7J9JX3/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.2
Z6PFA8T29T Z6PFA8T29T
| URI | m2://inv/Z6PFA8T29T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 39.5
History
- 2026-11-01: add by m2/v0.6.13
Cauchy–Kovalevskaya–Kashiwara theorem Z6PKG4VZSD
| URI | m2://inv/Z6PKG4VZSD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Kovalevskaya theorem#1272, Cauchy–Kovalevskaya–Kashiwara theorem (statement)
History
- 2026-11-02: add by m2/dev
Z6PNGS75DJ Z6PNGS75DJ
| URI | m2://inv/Z6PNGS75DJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#NAZV (example). In 73A9KWZJRD/e1, example 7.4
History
- 2026-10-28: add by m2/v0.4.2
Z6PR1NKX8B Z6PR1NKX8B
| URI | m2://inv/Z6PR1NKX8B |
|---|---|
| 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.27114#251E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tarski's undefinability theorem Z6PTE2RYJ2
| URI | m2://inv/Z6PTE2RYJ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#GI9C, Tarski's undefinability theorem (statement)
- wikipedia: Wikipedia List of mathematical logic topics#OCKJ, Tarski's undefinability theorem (statement)
History
- 2026-11-02: add by m2/dev
Artificial neural network Z6PY4KP92V
| URI | m2://inv/Z6PY4KP92V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3ZLO, Artificial neural network (definition)
History
- 2026-11-02: add by m2/dev
Roger Guesnerie Z6Q0RQ2S07
| URI | m2://inv/Z6Q0RQ2S07 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roger Guesnerie, Roger Guesnerie (topic). Also Wikidata Q3439052
History
- 2026-11-02: add by m2/dev
Z6Q5QC6F9Z Z6Q5QC6F9Z
| URI | m2://inv/Z6Q5QC6F9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02042#UMBF (statement). In P3HWTYFDBX/e1, lemma 6.10
History
- 2026-10-29: add by m2/v0.4.12
Derived Banach self-intersection Z6QCG18MXZ
| URI | m2://inv/Z6QCG18MXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#Q83O, Derived Banach self-intersection (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weaire–Phelan structure Z6QFRNHZP8
| URI | m2://inv/Z6QFRNHZP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#LJ2X, Weaire–Phelan structure (definition)
History
- 2026-11-02: add by m2/dev
Z6R0QNMKTN Z6R0QNMKTN
| URI | m2://inv/Z6R0QNMKTN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07530#2FGY (statement). In C7QZ0VPBC8/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Group action Z6RFEC4209
| URI | m2://inv/Z6RFEC4209 |
|---|---|
| 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.25987#LINQ, Group action (definition)
History
- 2026-11-01: add by m2/v0.6.15
Equivalent Substitutions Preserve Judgments Z6RHQMNHPD
| URI | m2://inv/Z6RHQMNHPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#BW2M, Equivalent Substitutions Preserve Judgments (statement). In CPYWHRTPKC/e1, lemma 4.13
History
- 2026-10-27: add by m2/v0.4.2
Dynamic topic model Z6RQJKJF4Z
| URI | m2://inv/Z6RQJKJF4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O8NB, Dynamic topic model (definition)
History
- 2026-11-02: add by m2/dev
Computation Z6RRA41HYA
| URI | m2://inv/Z6RRA41HYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur decomposition#7ED5, Computation (definition)
History
- 2026-11-02: add by m2/dev
Z6RXKQD7HB Z6RXKQD7HB
| URI | m2://inv/Z6RXKQD7HB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#MFEE (definition). In 6HJQXZS0A6/e1, definition 6.6
History
- 2026-10-29: add by m2/v0.4.12
Formulas for generating Pythagorean triples Z6S4D2RE5Z
| URI | m2://inv/Z6S4D2RE5Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formulas for generating Pythagorean triples, Formulas for generating Pythagorean triples (statement). Also Wikidata Q5470350
History
- 2026-11-02: add by m2/dev
Z6SCH3SQZD Z6SCH3SQZD
| URI | m2://inv/Z6SCH3SQZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15472#0W0T (statement). In 5Z3FH46YSY/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
Z6SDGZVEET Z6SDGZVEET
| URI | m2://inv/Z6SDGZVEET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23004#4Q4M (statement)
History
- 2026-11-02: add by m2/v0.6.17
Z6SK9ABF2G Z6SK9ABF2G
| URI | m2://inv/Z6SK9ABF2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03499#IMCR (statement). In NAE99N03W3/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.12
The algorithm Z6SWFFYEDT
| URI | m2://inv/Z6SWFFYEDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lanczos algorithm#ZDWF, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Single Substitution is Well-Typed Z6T2V6PRF4
| URI | m2://inv/Z6T2V6PRF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#MRCL, Single Substitution is Well-Typed (statement). In CPYWHRTPKC/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
János Pach Z6TC2NH7R6
| URI | m2://inv/Z6TC2NH7R6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of books in computational geometry#JQS2, János Pach (topic)
History
- 2026-11-02: add by m2/dev
Z6TE30CZ0V Z6TE30CZ0V
| URI | m2://inv/Z6TE30CZ0V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-37 (exercise). In E9HS8K3A52, exercise, section 8.4.1
History
- 2026-11-01: add by m2/v0.6.13
Three formulas for $m<0$ Z6TJ7XN0QF
| URI | m2://inv/Z6TJ7XN0QF |
|---|---|
| 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.38838#8RVJ, Three formulas for $m<0$ (statement). In 3EH8M9GWTX/e1, theorem 6.3
History
- 2026-10-30: add by m2/v0.4.12
coversed cosine Z6TM3ZB2BZ
| URI | m2://inv/Z6TM3ZB2BZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41449335, coversed cosine (unknown). Also MathWorld Covercosine
History
- 2026-10-26: add by m2/dev
Z6TPJY3RXM Z6TPJY3RXM
| URI | m2://inv/Z6TPJY3RXM |
|---|---|
| Kind | example |
| 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.14455#4DBK (example). In 5KARPAJDCP/e1, example 6.5
History
- 2026-10-28: add by m2/v0.4.2
Properties Z6TQ3ED54M
| URI | m2://inv/Z6TQ3ED54M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double origin topology#DJKN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition Z6TTWKZS32
| URI | m2://inv/Z6TTWKZS32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Condensed mathematics#8AZO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Oppermann's conjecture Z6TZ9YVF3B
| URI | m2://inv/Z6TZ9YVF3B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brocard's conjecture#AYH0, Oppermann's conjecture (statement)
History
- 2026-11-02: add by m2/dev
State common law protection Z6V15TT87M
| URI | m2://inv/Z6V15TT87M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Email privacy#ZDB0, State common law protection (statement)
History
- 2026-11-02: add by m2/dev
Three Points, California Z6V35HYDQD
| URI | m2://inv/Z6V35HYDQD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#SH5Y, Three Points, California (unknown)
History
- 2026-11-02: add by m2/dev
Z6V3N703CM Z6V3N703CM
| URI | m2://inv/Z6V3N703CM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/tarski-thm.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 28.6
History
- 2026-11-01: add by m2/v0.6.13
Z6V67RJ78W Z6V67RJ78W
| URI | m2://inv/Z6V67RJ78W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 13
History
- 2026-11-01: add by m2/v0.6.13
Definition Z6VCDDFRGT
| URI | m2://inv/Z6VCDDFRGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extranatural transformation#495W, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of algebra Z6VNBKJEYP
| URI | m2://inv/Z6VNBKJEYP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:fundamentalthmalg, Fundamental theorem of algebra (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
Z6VQDE2R25 Z6VQDE2R25
| URI | m2://inv/Z6VQDE2R25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38844#31VH (statement). In PX8D91DQCX/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Z6VVDNPZQZ Z6VVDNPZQZ
| URI | m2://inv/Z6VVDNPZQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32207#DSCB (statement). In R94G9XD5AC/e1, corollary 5.1
History
- 2026-10-31: add by m2/v0.5.6
String-to-string correction problem Z6VXH1HGHD
| URI | m2://inv/Z6VXH1HGHD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#A793, String-to-string correction problem (unknown)
History
- 2026-11-02: add by m2/dev
Equichordal point Z6WGFNRYN5
| URI | m2://inv/Z6WGFNRYN5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5384439, Equichordal point (concept). Also MathWorld EquichordalPoin
- wikipedia: Wikipedia Equichordal point, Equichordal point (definition). Also Wikidata Q5384439
History
- 2026-10-26: add by m2/dev
Z6WHTMHRYG Z6WHTMHRYG
| URI | m2://inv/Z6WHTMHRYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#U4TG (statement). In F5STMSPR6X/e1, theorem A.2
History
- 2026-10-29: add by m2/v0.4.12
Lower bounds under MCMC Z6WMYVG6BS
| URI | m2://inv/Z6WMYVG6BS |
|---|---|
| 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.17403#R8XP, Lower bounds under MCMC (statement). In 9EMNMAW8YH/e1, theorem 18
History
- 2026-10-28: add by m2/v0.4.2
Z6WN6GDQY3 Z6WN6GDQY3
| URI | m2://inv/Z6WN6GDQY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#ZX29 (statement). In T4S7XVAJJC/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
Properties Z6WNMWM5JN
| URI | m2://inv/Z6WNMWM5JN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcum Q-function#ORHM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ore extension Z6WWVJDXNV
| URI | m2://inv/Z6WWVJDXNV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ore extension VF3PV13BA1 |
Mentions
- wikidata: Wikidata Q7100975, Ore extension (concept). Also nLab Ore extension
- wikipedia: Wikipedia Ore extension, Ore extension (definition). Also Wikidata Q7100975
History
- 2026-10-26: add by m2/dev
Walras's law Z6WYS7E2QX
| URI | m2://inv/Z6WYS7E2QX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walras's law, Walras's law (statement). Also Wikidata Q1089697
History
- 2026-11-02: add by m2/dev
Connectedness test Z6WZZM9WE6
| URI | m2://inv/Z6WZZM9WE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#CGBY, Connectedness test (statement). In 77TK7M3B9Y/e1, theorem 8
History
- 2026-10-28: add by m2/v0.4.2
Shell counting for labeled quadruples Z6X0JX29BV
| URI | m2://inv/Z6X0JX29BV |
|---|---|
| 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.06372#E637, Shell counting for labeled quadruples (statement). In G3E1P350Z6/e1, lemma 7.6
History
- 2026-10-29: add by m2/v0.4.10
Charles-Michel Marle Z6X4AVZ2YF
| URI | m2://inv/Z6X4AVZ2YF |
|---|---|
| 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 Q62795869, Charles-Michel Marle (unknown). Also nLab Charles-Michel Marle
- wikipedia: Wikipedia Charles-Michel Marle, Charles-Michel Marle (topic). Also Wikidata Q62795869
History
- 2026-10-26: add by m2/dev
Z6X9AQ70JS Z6X9AQ70JS
| URI | m2://inv/Z6X9AQ70JS |
|---|---|
| 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 2609.25409#B9SF (example)
History
- 2026-11-01: add by m2/v0.6.15
Z6XD3SQ46N Z6XD3SQ46N
| URI | m2://inv/Z6XD3SQ46N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#BEM0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ott-Heinrich Keller Z6XD789GMJ
| URI | m2://inv/Z6XD789GMJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ott-Heinrich Keller, Ott-Heinrich Keller (topic). Also Wikidata Q91648
History
- 2026-11-02: add by m2/dev
Z6XEF5207X Z6XEF5207X
| URI | m2://inv/Z6XEF5207X |
|---|---|
| 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.23595#ODT8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Methods Z6XERV6JDE
| URI | m2://inv/Z6XERV6JDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fine grained complexity#JY9Y, Methods (definition)
History
- 2026-11-02: add by m2/dev
separable polynomial Z6XNC8S6VV
| URI | m2://inv/Z6XNC8S6VV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Polynomials and power series > separable polynomial, separable polynomial (unknown). Also Mathlib Polynomial.Separable
History
- 2026-10-26: add by m2/dev
Z6XR8S0E49 Z6XR8S0E49
| URI | m2://inv/Z6XR8S0E49 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:cumhierhit (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Pearson product-moment correlation coefficient Z6Y13GBW5B
| URI | m2://inv/Z6Y13GBW5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X7HN, Pearson product-moment correlation coefficient (definition)
History
- 2026-11-02: add by m2/dev
Universal property of truncations Z6Y4JSE0AC
| URI | m2://inv/Z6Y4JSE0AC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:trunc-reflective, Universal property of truncations (statement). In N54F33XE07, lem, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Z6Y9BD2PJK Z6Y9BD2PJK
| URI | m2://inv/Z6Y9BD2PJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10086#VJYX (statement). In NP9X9CAK19/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Fast Kalman filter Z6YAA0X3W9
| URI | m2://inv/Z6YAA0X3W9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast Kalman filter, Fast Kalman filter (definition). Also Wikidata Q5436946
History
- 2026-11-02: add by m2/dev
Quantum complex network Z6YW1Y0GR1
| URI | m2://inv/Z6YW1Y0GR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum complex network, Quantum complex network (definition). Also Wikidata Q25303719
History
- 2026-11-02: add by m2/dev
John J. Deely Z6YW4TJYE1
| URI | m2://inv/Z6YW4TJYE1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#QBPG, John J. Deely (unknown)
History
- 2026-11-02: add by m2/dev
Z6Z534YBG4 Z6Z534YBG4
| URI | m2://inv/Z6Z534YBG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.07021#7DKZ (statement). In H4CM84JVPC/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.5
Serre's property FA Z6ZB0T6SR1
| URI | m2://inv/Z6ZB0T6SR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#3MHI, Serre's property FA (definition)
History
- 2026-11-02: add by m2/dev
Z6ZDEMDVTN Z6ZDEMDVTN
| URI | m2://inv/Z6ZDEMDVTN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#B3UY (statement). In ZJQB9W60T6/e1, theorem 3.10
History
- 2026-10-28: add by m2/v0.4.2
John Rognes Z6ZDW8RX2W
| URI | m2://inv/Z6ZDW8RX2W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Rognes (mathematician), John Rognes (topic). Also Wikidata Q21469528
History
- 2026-11-02: add by m2/dev
Z6ZFFGB603 Z6ZFFGB603
| URI | m2://inv/Z6ZFFGB603 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-44 (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
Paolo Gorini Z6ZHSBXQ7D
| URI | m2://inv/Z6ZHSBXQ7D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#LR64, Paolo Gorini (topic)
History
- 2026-11-02: add by m2/dev
Z6ZR5TMTPG Z6ZR5TMTPG
| URI | m2://inv/Z6ZR5TMTPG |
|---|---|
| Kind | example |
| 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 2503.16884#9YTP (example). In B984KNW591/e1, example 1.3
History
- 2026-10-27: add by m2/v0.3.5
Z6ZZGTK5WX Z6ZZGTK5WX
| URI | m2://inv/Z6ZZGTK5WX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21355#9D2G (definition). In XKJ7VKN4P0/e1, definition 2
History
- 2026-10-27: add by m2/v0.4.2