Inventory rows N2
The cards of the rows of the inventory whose ids start with N2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Properties N2069Z5SMG
| URI | m2://inv/N2069Z5SMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter–Todd lattice#JZHC, Properties (statement)
History
- 2026-11-02: add by m2/dev
N20B8X86VE N20B8X86VE
| URI | m2://inv/N20B8X86VE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#FLKP (statement). In YXRKS451PK/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
Variable Assignment N20JKA7TVH
| URI | m2://inv/N20JKA7TVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#defn-1, Variable Assignment (definition). In PKGMM3P5QY, defn, section 67.5
History
- 2026-11-01: add by m2/v0.6.13
Joseph L. Walsh N20VVDHJF1
| URI | m2://inv/N20VVDHJF1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph L. Walsh, Joseph L. Walsh (topic). Also Wikidata Q1336492
History
- 2026-11-02: add by m2/dev
Loss for KRRR N20XE05W84
| URI | m2://inv/N20XE05W84 |
|---|---|
| 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 2102.11076#Y6WW, Loss for KRRR (definition). In T9HZXHTQBJ/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.6
Del N20YWZ17A0
| URI | m2://inv/N20YWZ17A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#KGJ3, Del (definition)
History
- 2026-11-02: add by m2/dev
N21AFXW97W N21AFXW97W
| URI | m2://inv/N21AFXW97W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#UJG9 (statement). In 73QW05MWQB/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Sigma-compact space N21F5ZQ55V
| URI | m2://inv/N21F5ZQ55V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#V4Q8, Sigma-compact space (definition)
History
- 2026-11-02: add by m2/dev
Order-sorted unification N221GA9VVZ
| URI | m2://inv/N221GA9VVZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unification (computer science)#B0PG, Order-sorted unification (unknown)
History
- 2026-11-02: add by m2/dev
Ursell function N222PH06DF
| URI | m2://inv/N222PH06DF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0Q1T, Ursell function (definition)
History
- 2026-11-02: add by m2/dev
Matilde Marcolli N2243J9T6V
| URI | m2://inv/N2243J9T6V |
|---|---|
| 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 Q1908842, Matilde Marcolli (unknown). Also nLab Matilde Marcolli
History
- 2026-10-26: add by m2/dev
N22AQWP1K5 N22AQWP1K5
| URI | m2://inv/N22AQWP1K5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#SS8P (statement). In M4ZVJWM8YA/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.4.2
N22G879SW4 N22G879SW4
| URI | m2://inv/N22G879SW4 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#SPNQ (problem)
History
- 2026-11-01: add by m2/v0.6.15
N22N5YDEJ5 N22N5YDEJ5
| URI | m2://inv/N22N5YDEJ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#8R01 (statement). In 4AQ48WSBDQ/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
N22SNMBMAS N22SNMBMAS
| URI | m2://inv/N22SNMBMAS |
|---|---|
| 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 2601.18223#92EC (statement). In ZRXE7EJA93/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
Examples N22V3YGA5V
| URI | m2://inv/N22V3YGA5V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbit portrait#A7SE, Examples (example)
History
- 2026-11-02: add by m2/dev
Jill Gibson N22VEEEAF6
| URI | m2://inv/N22VEEEAF6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#3CNA, Jill Gibson (unknown)
History
- 2026-11-02: add by m2/dev
Hypothesis test N22WV62N3Q
| URI | m2://inv/N22WV62N3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kendall rank correlation coefficient#711D, Hypothesis test (statement)
History
- 2026-11-02: add by m2/dev
N22YQFV6CY N22YQFV6CY
| URI | m2://inv/N22YQFV6CY |
|---|---|
| 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.22311#G3NX (statement)
History
- 2026-11-02: add by m2/v0.6.17
N23EHRA5H8 N23EHRA5H8
| URI | m2://inv/N23EHRA5H8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#mv:prop:swapders (statement). In E59CDZA4DP, prop, section 11.6
History
- 2026-11-01: add by m2/v0.6.13
N23EYDB7YV N23EYDB7YV
| URI | m2://inv/N23EYDB7YV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.07240#KINP (statement). In D0F1GK5AHW/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
cf.\ Theorem 5.14 in and Theorem 1 N23FXMST8J
| URI | m2://inv/N23FXMST8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.09810#IDEM, cf.\ Theorem 5.14 in and Theorem 1 (statement). In T1VFA7TXPA/e1, theorem 26
History
- 2026-10-27: add by m2/v0.3.5
N23NXMQH09 N23NXMQH09
| URI | m2://inv/N23NXMQH09 |
|---|---|
| Kind | definition |
| 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 2610.07957#J6J9 (definition). In RXFKX8M8P0/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
N23SFX6BTD N23SFX6BTD
| URI | m2://inv/N23SFX6BTD |
|---|---|
| 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.17269#5LRV (statement). In HENEGTGCJ9/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Definition N23VVTXGS3
| URI | m2://inv/N23VVTXGS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwartz space#613R, Definition (definition)
History
- 2026-11-02: add by m2/dev
N240YMA08P N240YMA08P
| URI | m2://inv/N240YMA08P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22073#IZ0Z (statement). In MVWSXXCXB7/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.4.2
Chasles–Cayley–Brill formula N2410WPSYB
| URI | m2://inv/N2410WPSYB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#NNRV, Chasles–Cayley–Brill formula (statement)
History
- 2026-11-02: add by m2/dev
Tamar Schlick N241W9WYKA
| URI | m2://inv/N241W9WYKA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tamar Schlick, Tamar Schlick (topic). Also Wikidata Q20979378
History
- 2026-11-02: add by m2/dev
A priori bound N247F1NGAP
| URI | m2://inv/N247F1NGAP |
|---|---|
| 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.25301#5I8W, A priori bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
N247XBB2Z7 N247XBB2Z7
| URI | m2://inv/N247XBB2Z7 |
|---|---|
| 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.24795#L444 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variants N24HF5JRXZ
| URI | m2://inv/N24HF5JRXZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasitrace#TRZR, Variants (statement)
History
- 2026-11-02: add by m2/dev
Fink protocol N24JT4ES0B
| URI | m2://inv/N24JT4ES0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fink protocol, Fink protocol (definition). Also Wikidata Q25303748
History
- 2026-11-02: add by m2/dev
N24SS8FP8K N24SS8FP8K
| URI | m2://inv/N24SS8FP8K |
|---|---|
| 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.37897#GK56 (statement). In RBQ5FNCVNZ/e1, corollary C.7
History
- 2026-10-30: add by m2/v0.4.12
Example N2516WTVDP
| URI | m2://inv/N2516WTVDP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservation form#UNXZ, Example (example)
History
- 2026-11-02: add by m2/dev
Peter H. Haynes N257MB9JG9
| URI | m2://inv/N257MB9JG9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter H. Haynes, Peter H. Haynes (topic). Also Wikidata Q7174597
History
- 2026-11-02: add by m2/dev
Zeev Rudnick N25EHDS4GK
| URI | m2://inv/N25EHDS4GK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UK2V, Zeev Rudnick (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YNPC, Zeev Rudnick (topic)
History
- 2026-11-02: add by m2/dev
N25EZ4WBFP N25EZ4WBFP
| URI | m2://inv/N25EZ4WBFP |
|---|---|
| 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#LPQ4 (statement). In 48QX0QD0XR/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.3
Rotating calipers N25FF4M7FA
| URI | m2://inv/N25FF4M7FA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#D0WQ, Rotating calipers (unknown)
History
- 2026-11-02: add by m2/dev
N25KYCHE5J N25KYCHE5J
| URI | m2://inv/N25KYCHE5J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-6 (example). In E9HS8K3A52, example, section 10.3
History
- 2026-11-01: add by m2/v0.6.13
Impure property N25N5NK3ZC
| URI | m2://inv/N25N5NK3ZC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Property (philosophy)#W0XI, Impure property (unknown)
History
- 2026-11-02: add by m2/dev
Wenxuan Zhong N25PV7C1RB
| URI | m2://inv/N25PV7C1RB |
|---|---|
| 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#XXGJ, Wenxuan Zhong (topic)
History
- 2026-11-02: add by m2/dev
N25SA6M623 N25SA6M623
| URI | m2://inv/N25SA6M623 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#lem:box2 (statement). In PKGMM3P5QY, lem, section 51.4
History
- 2026-11-01: add by m2/v0.6.13
NTRUSign N25SGTEGG8
| URI | m2://inv/N25SGTEGG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NTRUSign, NTRUSign (definition). Also Wikidata Q1796708
History
- 2026-11-02: add by m2/dev
Lie algebra ideal N2602R5P7X
| URI | m2://inv/N2602R5P7X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25488798, Lie algebra ideal (unknown). Also nLab Lie ideal
History
- 2026-10-26: add by m2/dev
N2607SJ0YY N2607SJ0YY
| URI | m2://inv/N2607SJ0YY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre's conjecture#YV1G (problem)
History
- 2026-11-02: add by m2/dev
N265BK2N4R N265BK2N4R
| URI | m2://inv/N265BK2N4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#NV7R (statement). In F3BKXXPR3K/e1, lemma 3.15
History
- 2026-10-27: add by m2/v0.4.2
↿ N267T74KJ4
| URI | m2://inv/N267T74KJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#3E0Q, ↿ (definition)
History
- 2026-11-02: add by m2/dev
Conel Hugh O'Donel Alexander N26NCDTV8D
| URI | m2://inv/N26NCDTV8D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conel Hugh O'Donel Alexander, Conel Hugh O'Donel Alexander (topic). Also Wikidata Q539878
History
- 2026-11-02: add by m2/dev
HyperLogLog++ N26QF011ZG
| URI | m2://inv/N26QF011ZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HyperLogLog#OO2P, HyperLogLog++ (unknown)
History
- 2026-11-02: add by m2/dev
Guy Medal in Gold N27748HX62
| URI | m2://inv/N27748HX62 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guy Medal#2QNE, Guy Medal in Gold (unknown)
History
- 2026-11-02: add by m2/dev
The Ceremony (cryptography) N277DM6RWK
| URI | m2://inv/N277DM6RWK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zcash#N47G, The Ceremony (cryptography) (unknown)
History
- 2026-11-02: add by m2/dev
N277QZDSA9 N277QZDSA9
| URI | m2://inv/N277QZDSA9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37197#GD70 (definition). In 98ESNNP0CC/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
strong induction N27G1G9F9G
| URI | m2://inv/N27G1G9F9G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.9.2/strong-induction, strong induction (concept). In E59CDZA4DP, index, section 11.9.2
History
- 2026-11-01: add by m2/v0.6.13
Julia Pevtsova N27K7AWZAE
| URI | m2://inv/N27K7AWZAE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julia Pevtsova, Julia Pevtsova (topic). Also Wikidata Q30974287
History
- 2026-11-02: add by m2/dev
N27PGWF662 N27PGWF662
| URI | m2://inv/N27PGWF662 |
|---|---|
| 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.37208#8YQY (statement). In 7MCBCP4T0B/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12
Johannes Runnenburg N285PYM2J3
| URI | m2://inv/N285PYM2J3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes Runnenburg, Johannes Runnenburg (topic). Also Wikidata Q15429380
History
- 2026-11-02: add by m2/dev
P-curvature N28BXJR5VY
| URI | m2://inv/N28BXJR5VY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-curvature, P-curvature (definition). Also Wikidata Q25305564
History
- 2026-11-02: add by m2/dev
concavity N28J0E66YM
| URI | m2://inv/N28J0E66YM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.6.4/concavity, concavity (concept). In 907G4C4EJ1, index, section 1.6.4
History
- 2026-11-01: add by m2/v0.6.13
N28N71AFS9 N28N71AFS9
| URI | m2://inv/N28N71AFS9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13864#P22P (definition). In ZGZGGGCWD3/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
N28PCFPN8M N28PCFPN8M
| URI | m2://inv/N28PCFPN8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34458#VRG5 (statement). In 2KQ85H6MS4/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Rayleigh–Faber–Krahn inequality N28PEH6QKP
| URI | m2://inv/N28PEH6QKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#BTBE, Rayleigh–Faber–Krahn inequality (statement)
History
- 2026-11-02: add by m2/dev
Necessity of a logarithmic factor for fixed-query methods N28Z1PZ4VJ
| URI | m2://inv/N28Z1PZ4VJ |
|---|---|
| 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.35631#CPOB, Necessity of a logarithmic factor for fixed-query methods (statement). In 9NCX0S6MTP/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
Robustness with respect to the Lam\'e ratio N29367RBTT
| URI | m2://inv/N29367RBTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38871#SFVL, Robustness with respect to the Lam\'e ratio (statement). In X705R2Q780/e1, theorem 4.12
History
- 2026-10-30: add by m2/v0.4.12
An SOS certificate for the fitted quartic, on the reduced family N2971RGA1K
| URI | m2://inv/N2971RGA1K |
|---|---|
| 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.25120#ZL34, An SOS certificate for the fitted quartic, on the reduced family (statement)
History
- 2026-11-01: add by m2/v0.6.15
N298BVDZAV N298BVDZAV
| URI | m2://inv/N298BVDZAV |
|---|---|
| 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.12012#WHP5 (statement). In 1RXGXBQAHS/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
Existential quantification N29DJCKHN0
| URI | m2://inv/N29DJCKHN0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Existential quantification#H8DC, Existential quantification (statement)
History
- 2026-11-02: add by m2/dev
Alena Varmužová N29FMSZAK0
| URI | m2://inv/N29FMSZAK0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alena Varmužová, Alena Varmužová (topic). Also Wikidata Q27062101
History
- 2026-11-02: add by m2/dev
Example N29STM2BM7
| URI | m2://inv/N29STM2BM7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vantieghems theorem#SCQZ, Example (example)
History
- 2026-11-02: add by m2/dev
Lemma 4 N29Z0A6MB2
| URI | m2://inv/N29Z0A6MB2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of Bertrand's postulate#DT3W, Lemma 4 (statement)
History
- 2026-11-02: add by m2/dev
LaTeX N2A25XCC4A
| URI | m2://inv/N2A25XCC4A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#88P2, LaTeX (unknown)
History
- 2026-11-02: add by m2/dev
Tetrahedron N2A3R30TP1
| URI | m2://inv/N2A3R30TP1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulas in elementary geometry#EQNK, Tetrahedron (object)
History
- 2026-11-02: add by m2/dev
Cartan--Thullen\index{Cartan--Thullen theorem} N2A62A0WBS
| URI | m2://inv/N2A62A0WBS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:cartthul, Cartan--Thullen\index{Cartan--Thullen theorem} (statement). In VNMV985MXX, thm, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
N2A8SE6026 N2A8SE6026
| URI | m2://inv/N2A8SE6026 |
|---|---|
| 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#D17G (statement). In WD2NCBV9F0/e1, proposition 7.17
History
- 2026-10-27: add by m2/v0.3.5
N2A93RF53F N2A93RF53F
| URI | m2://inv/N2A93RF53F |
|---|---|
| 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 1907.01440#VEYI (statement). In QDRYC6WJJ7/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
HHL algorithm N2AFJF9P5A
| URI | m2://inv/N2AFJF9P5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HHL algorithm, HHL algorithm (definition). Also Wikidata Q17083575
History
- 2026-11-02: add by m2/dev
N2AKE0E6EJ N2AKE0E6EJ
| URI | m2://inv/N2AKE0E6EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#7SMT (statement). In V5PVKDKGGG/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.2
N2AM88ABWV N2AM88ABWV
| URI | m2://inv/N2AM88ABWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#YCVZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Frequentist probability N2AR8KNFFC
| URI | m2://inv/N2AR8KNFFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequentist probability, Frequentist probability (definition). Also Wikidata Q1455566
History
- 2026-11-02: add by m2/dev
universal N2ATHP9R8J
| URI | m2://inv/N2ATHP9R8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#CKUW, universal (definition)
History
- 2026-11-02: add by m2/dev
Brioschi covariant N2AZ8ATCBF
| URI | m2://inv/N2AZ8ATCBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#SW78, Brioschi covariant (definition)
History
- 2026-11-02: add by m2/dev
Examples N2B3RFRHQ9
| URI | m2://inv/N2B3RFRHQ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomposition of spectrum (functional analysis)#DHST, Examples (example)
History
- 2026-11-02: add by m2/dev
Quadratic Formula N2B4GFCHAC
| URI | m2://inv/N2B4GFCHAC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/quintic.tex#example-1, Quadratic Formula (example). In RZP28ERRZV, example, section 42.3
History
- 2026-11-01: add by m2/v0.6.13
Odd prime length N2B8J49YFY
| URI | m2://inv/N2B8J49YFY |
|---|---|
| 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.17006#U41S, Odd prime length (statement). In YY81ZEJ82P/e1, corollary 7.5
History
- 2026-10-28: add by m2/v0.4.2
particular proposition N2B9MWAT6N
| URI | m2://inv/N2B9MWAT6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SHGG, particular proposition (definition)
History
- 2026-11-02: add by m2/dev
N2BH69TNGC N2BH69TNGC
| URI | m2://inv/N2BH69TNGC |
|---|---|
| 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.36423#EOJ1 (statement). In Q5Z178SAHP/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
N2BJCPE71R N2BJCPE71R
| URI | m2://inv/N2BJCPE71R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26410#KZOU (statement)
History
- 2026-11-01: add by m2/v0.6.15
N2BMB79RD8 N2BMB79RD8
| URI | m2://inv/N2BMB79RD8 |
|---|---|
| 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.00339#RJZF (statement). In ZRG6NY1ECH/e1, lemma 12
History
- 2026-10-30: add by m2/v0.4.12
N2C069STC1 N2C069STC1
| URI | m2://inv/N2C069STC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.11906#N9DI (statement). In 8S9TEAPCDJ/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
Kling–Gupta efficiency N2CACKHPJ8
| URI | m2://inv/N2CACKHPJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kling–Gupta efficiency, Kling–Gupta efficiency (definition). Also Wikidata Q115757573
History
- 2026-11-02: add by m2/dev
Statement N2CC2G7HPF
| URI | m2://inv/N2CC2G7HPF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded mean oscillation#AQO3, Statement (statement)
History
- 2026-11-02: add by m2/dev
N2CEV7C0CZ N2CEV7C0CZ
| URI | m2://inv/N2CEV7C0CZ |
|---|---|
| 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.15416#Z76U (statement). In W9JJQYHQ7J/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Richard B. McHugh N2CRW9BC4Q
| URI | m2://inv/N2CRW9BC4Q |
|---|---|
| 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#GC2F, Richard B. McHugh (topic)
History
- 2026-11-02: add by m2/dev
N2D6F3D7EN N2D6F3D7EN
| URI | m2://inv/N2D6F3D7EN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/opps.tex#cantorcor (statement). In PKGMM3P5QY, cor, section 69.4
History
- 2026-11-01: add by m2/v0.6.13
Ma--Minda N2DB8F64D5
| URI | m2://inv/N2DB8F64D5 |
|---|---|
| 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 2610.20849#HAG9, Ma--Minda (statement). In HK7FV97MFD/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
open pair N2DJ5JQ44G
| URI | m2://inv/N2DJ5JQ44G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#4TQM, open pair (definition)
History
- 2026-11-02: add by m2/dev
Kurtz N2DQ5A7RXD
| URI | m2://inv/N2DQ5A7RXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39946#KU8B, Kurtz (statement). In ZTREM09NFT/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
N2E0RM0TND N2E0RM0TND
| URI | m2://inv/N2E0RM0TND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.12309#82Y4 (statement). In ZR53K3E0FR/e1, proposition 13
History
- 2026-10-27: add by m2/v0.3.6
\textbf{(Sized endofunctors have initial algebras N2E2EJX7Z6
| URI | m2://inv/N2E2EJX7Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.03252#LAJN, \textbf{(Sized endofunctors have initial algebras (statement). In 2E47BDDDR4/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5
Properties N2E2XQMGAP
| URI | m2://inv/N2E2XQMGAP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completely positive map#AO09, Properties (statement)
History
- 2026-11-02: add by m2/dev
N2E8JBBXDJ N2E8JBBXDJ
| URI | m2://inv/N2E8JBBXDJ |
|---|---|
| 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 2609.28824#S1MG (statement)
History
- 2026-11-01: add by m2/v0.6.15
hyperverse N2EE8Q19V0
| URI | m2://inv/N2EE8Q19V0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#RN5H, hyperverse (definition)
History
- 2026-11-02: add by m2/dev
N2EEN6N061 N2EEN6N061
| URI | m2://inv/N2EEN6N061 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#problem-5 (exercise). In P1C114YBXG, problem, section A
History
- 2026-11-01: add by m2/v0.6.13
Alvin E. Roth N2EJ1CNR3E
| URI | m2://inv/N2EJ1CNR3E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GIAJ, Alvin E. Roth (unknown)
History
- 2026-11-02: add by m2/dev
N2ES9GHS6M N2ES9GHS6M
| URI | m2://inv/N2ES9GHS6M |
|---|---|
| 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.05333#I2ZU (statement). In N37WKFTR7Q/e1, theorem G.8
History
- 2026-10-29: add by m2/v0.4.10
N2F97XMSSC N2F97XMSSC
| URI | m2://inv/N2F97XMSSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#MGF8 (statement). In CGA36VE1C5/e1, lemma 3.13.1
History
- 2026-10-27: add by m2/v0.3.6
Siegel's theorem N2FHAVAR41
| URI | m2://inv/N2FHAVAR41 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski–Hlawka theorem#GIQZ, Siegel's theorem (statement)
History
- 2026-11-02: add by m2/dev
Moving-average model N2FNCNJR86
| URI | m2://inv/N2FNCNJR86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving-average model, Moving-average model (definition). Also Wikidata Q1088984
History
- 2026-11-02: add by m2/dev
Large deviations of Gaussian random functions N2FYWQK2T9
| URI | m2://inv/N2FYWQK2T9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GGNF, Large deviations of Gaussian random functions (definition)
History
- 2026-11-02: add by m2/dev
The ambient space N2G8WN0J0A
| URI | m2://inv/N2G8WN0J0A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#C3OU, The ambient space (example). In RPC7VG3KHQ/e1, example 9.9
History
- 2026-10-30: add by m2/v0.4.12
Isaak Markovich Khalatnikov N2GARYT59D
| URI | m2://inv/N2GARYT59D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#T86K, Isaak Markovich Khalatnikov (unknown)
History
- 2026-11-02: add by m2/dev
N2GAYJFTKT N2GAYJFTKT
| URI | m2://inv/N2GAYJFTKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#DISL (statement). In XK6H7F2F13/e1, proposition 4.21
History
- 2026-10-30: add by m2/v0.4.12
N2GCVBS4GC N2GCVBS4GC
| URI | m2://inv/N2GCVBS4GC |
|---|---|
| Kind | example |
| 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#LNCA (example). In SBZNH932ZV/e1, example 4.1
History
- 2026-10-30: add by m2/v0.4.12
N2GJT1GYEF N2GJT1GYEF
| URI | m2://inv/N2GJT1GYEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#J954 (statement). In X765ZXXVC3/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
N2GTK1WGRP N2GTK1WGRP
| URI | m2://inv/N2GTK1WGRP |
|---|---|
| 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.23238#YUAU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Euler's first law N2GWK8XSDS
| URI | m2://inv/N2GWK8XSDS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's laws of motion#GM3L, Euler's first law (statement)
History
- 2026-11-02: add by m2/dev
N2H2Q2SPR3 N2H2Q2SPR3
| URI | m2://inv/N2H2Q2SPR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#8M8B (statement). In 4WPYBTARS2/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.12
Stan Ackermans N2H9FM2HJV
| URI | m2://inv/N2H9FM2HJV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stan Ackermans, Stan Ackermans (topic). Also Wikidata Q2516479
History
- 2026-11-02: add by m2/dev
Harmonius graph N2HCXX9XJR
| URI | m2://inv/N2HCXX9XJR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph labeling#ETWC, Harmonius graph (unknown)
History
- 2026-11-02: add by m2/dev
N2HDAXQ003 N2HDAXQ003
| URI | m2://inv/N2HDAXQ003 |
|---|---|
| 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 1804.06366#31QX (statement). In 89XYDVXG38/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
N2HFRYYYV0 N2HFRYYYV0
| URI | m2://inv/N2HFRYYYV0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1612.08394#2JI4 (definition). In 1P8D88DKG5/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
N2HKD35YZS N2HKD35YZS
| URI | m2://inv/N2HKD35YZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#NVXR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shakashaka N2HKQAJB68
| URI | m2://inv/N2HKQAJB68 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#ND55, Shakashaka (unknown)
History
- 2026-11-02: add by m2/dev
Diagrammatology N2HMGS9J4P
| URI | m2://inv/N2HMGS9J4P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagrammatology, Diagrammatology (topic). Also Wikidata Q18351590
History
- 2026-11-02: add by m2/dev
N2HRKYX6YN N2HRKYX6YN
| URI | m2://inv/N2HRKYX6YN |
|---|---|
| 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 2201.10697#DMBH (statement). In WN2Z20ZV49/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.6
N2HRPRS37F N2HRPRS37F
| URI | m2://inv/N2HRPRS37F |
|---|---|
| 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.01946#CMDH (statement). In NB1Z31FMXN/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Algorithms N2J48XB2CD
| URI | m2://inv/N2J48XB2CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete logarithm#6FX7, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
N2J5H24FST N2J5H24FST
| URI | m2://inv/N2J5H24FST |
|---|---|
| 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.06556#CJ1G (statement). In KW8C7VE9XR/e1, theorem 11
History
- 2026-10-29: add by m2/v0.4.10
Spectrum in $S^{\dagger}(card)$ N2J82K2ASE
| URI | m2://inv/N2J82K2ASE |
|---|---|
| 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 2609.24902#6CZK, Spectrum in $S^{\dagger}(card)$ (definition)
History
- 2026-11-01: add by m2/v0.6.15
N2JCA5QB55 N2JCA5QB55
| URI | m2://inv/N2JCA5QB55 |
|---|---|
| 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.15744#OX30 (statement). In NV3PBZGBB7/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.2
N2JHG3QV2B N2JHG3QV2B
| URI | m2://inv/N2JHG3QV2B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27872#HDLI (statement)
History
- 2026-11-01: add by m2/v0.6.15
N2JQK1JBD5 N2JQK1JBD5
| URI | m2://inv/N2JQK1JBD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.23812#LOTB (statement). In D8XZBXJPR5/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
Ramsey-Turán theory N2JZ50X232
| URI | m2://inv/N2JZ50X232 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramsey-Turán theory, Ramsey-Turán theory (definition). Also Wikidata Q113396090
History
- 2026-11-02: add by m2/dev
Properties N2KEEA53RT
| URI | m2://inv/N2KEEA53RT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of algebraic varieties#66Q4, Properties (statement)
History
- 2026-11-02: add by m2/dev
N2KPX0JKY6 N2KPX0JKY6
| URI | m2://inv/N2KPX0JKY6 |
|---|---|
| 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.35950#VI2Y (statement). In BZN1G5W5FX/e1, theorem 14.2
History
- 2026-10-30: add by m2/v0.4.12
Converse N2KQGK6H04
| URI | m2://inv/N2KQGK6H04 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle inequality#QUHC, Converse (statement)
History
- 2026-11-02: add by m2/dev
Indestructibility N2KQMM2B8S
| URI | m2://inv/N2KQMM2B8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Laver#NEM3, Indestructibility (unknown)
History
- 2026-11-02: add by m2/dev
Hypercubes N2KZWK02PJ
| URI | m2://inv/N2KZWK02PJ |
|---|---|
| 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.01240#MVIJ, Hypercubes (statement). In XD5HCP8DHF/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
ample line bundle N2M5PT2874
| URI | m2://inv/N2M5PT2874 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ample line bundle RRK8P6TXG2 |
Mentions
- wikidata: Wikidata Q4748472, ample line bundle (unknown). Also EoM Ample_sheaf, nLab ample sheaf
- wikipedia: Wikipedia Ample line bundle, Ample line bundle (definition). Also Wikidata Q4748472
History
- 2026-10-26: add by m2/dev
N2M69M29WR N2M69M29WR
| URI | m2://inv/N2M69M29WR |
|---|---|
| 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.15217#RZ9F (statement). In G70Q2FB591/e1, proposition 4.32
History
- 2026-10-28: add by m2/v0.4.2
Algorithms N2MHAFJ9QS
| URI | m2://inv/N2MHAFJ9QS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequential decoding#NKEZ, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
N2MJY2R5E7 N2MJY2R5E7
| URI | m2://inv/N2MJY2R5E7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-propositional.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
N2N1D96D19 N2N1D96D19
| URI | m2://inv/N2N1D96D19 |
|---|---|
| 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 2608.23797#2X8K (definition). In PZCA01JXVR/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.3.5
N2NA0JV2DS N2NA0JV2DS
| URI | m2://inv/N2NA0JV2DS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#7SRM (statement). In SYZFEVFHC3/e1, lemma 2.19
History
- 2026-10-27: add by m2/v0.3.5
Galois inner products N2NB5A6K7W
| URI | m2://inv/N2NB5A6K7W |
|---|---|
| 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.08664#RE8K, Galois inner products (definition). In 1YY0P4ZS0T/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.10
Parametric continuity N2NC4GMYE1
| URI | m2://inv/N2NC4GMYE1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of continuity-related mathematical topics#TM09, Parametric continuity (unknown)
History
- 2026-11-02: add by m2/dev
Peter McCullagh N2NJXPD9G1
| URI | m2://inv/N2NJXPD9G1 |
|---|---|
| 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#ZVB6, Peter McCullagh (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#IBUD, Peter McCullagh (topic)
History
- 2026-11-02: add by m2/dev
N2NK8M41MZ N2NK8M41MZ
| URI | m2://inv/N2NK8M41MZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28046#POSS (statement)
History
- 2026-11-01: add by m2/v0.6.15
N2NRAZV5Z2 N2NRAZV5Z2
| URI | m2://inv/N2NRAZV5Z2 |
|---|---|
| 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 2405.02275#ZNGO (statement). In 1QXCNGRWV1/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
Identification if and only if strict crossing N2NVEH6RYZ
| URI | m2://inv/N2NVEH6RYZ |
|---|---|
| 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.33472#QQ7S, Identification if and only if strict crossing (statement). In WBQQBZ4FCJ/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
Cesare Arzelà N2P19WAG3D
| URI | m2://inv/N2P19WAG3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cesare Arzelà, Cesare Arzelà (topic). Also Wikidata Q525674
History
- 2026-11-02: add by m2/dev
Local densities at prime arguments N2P9G61EAJ
| URI | m2://inv/N2P9G61EAJ |
|---|---|
| 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.07214#UXD6, Local densities at prime arguments (statement). In 669PBFJX0Z/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
Circuit-size energy bounds N2PCZXPNB6
| URI | m2://inv/N2PCZXPNB6 |
|---|---|
| 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.02166#NYM0, Circuit-size energy bounds (statement). In R6RF3P6D5A/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
N2PDKCG0RM N2PDKCG0RM
| URI | m2://inv/N2PDKCG0RM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.08900#KQEZ (statement). In 8X74NB6XBC/e1, corollary 3.8
History
- 2026-10-27: add by m2/v0.4.0
N2PFCEPW24 N2PFCEPW24
| URI | m2://inv/N2PFCEPW24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21037#YGJX (statement). In PYB2RFYVVE/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Height zeta function N2PPW2CYX4
| URI | m2://inv/N2PPW2CYX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Height zeta function, Height zeta function (definition). Also Wikidata Q5699096
History
- 2026-11-02: add by m2/dev
\texttt{Entropy contraction by microscopic constrained log-Sobolev inequality N2PQPHBV7J
| URI | m2://inv/N2PQPHBV7J |
|---|---|
| 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.06343#3ND8, \texttt{Entropy contraction by microscopic constrained log-Sobolev inequality (statement). In R8176XJ535/e1, theorem 1.11
History
- 2026-10-29: add by m2/v0.4.10
Solids with icosahedral symmetry N2PW6TNFK3
| URI | m2://inv/N2PW6TNFK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solids with icosahedral symmetry, Solids with icosahedral symmetry (definition). Also Wikidata Q7558036
History
- 2026-11-02: add by m2/dev
N2PWE02ET7 N2PWE02ET7
| URI | m2://inv/N2PWE02ET7 |
|---|---|
| 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.03477#CFZD (statement). In GXN3D4G4HE/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
N2PYQ67JZM N2PYQ67JZM
| URI | m2://inv/N2PYQ67JZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#PAIG (statement). In FEE70SSD96/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
N2Q2H5JBAP N2Q2H5JBAP
| URI | m2://inv/N2Q2H5JBAP |
|---|---|
| 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#SWOG (statement). In 3EH8M9GWTX/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
knight N2Q3RF47XQ
| URI | m2://inv/N2Q3RF47XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136, knight (definition). Also ProofWiki Definition:Chess/Piece/Knight
History
- 2026-10-26: add by m2/dev
Definition N2Q7BF2H4V
| URI | m2://inv/N2Q7BF2H4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical biconditional#5OQY, Definition (definition)
History
- 2026-11-02: add by m2/dev
N2QATSFWDR N2QATSFWDR
| URI | m2://inv/N2QATSFWDR |
|---|---|
| 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 2609.21034#I6SH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Semantic Judgment for Subtyping N2QE42DS4H
| URI | m2://inv/N2QE42DS4H |
|---|---|
| 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 2610.21131#B7N0, Semantic Judgment for Subtyping (definition). In CPYWHRTPKC/e1, definition 6.32
History
- 2026-10-27: add by m2/v0.4.2
Wavelet for multidimensional signals analysis N2QW2XTQ0V
| URI | m2://inv/N2QW2XTQ0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wavelet for multidimensional signals analysis, Wavelet for multidimensional signals analysis (definition). Also Wikidata Q22115653
History
- 2026-11-02: add by m2/dev
Bingham distribution N2R1DTK8B8
| URI | m2://inv/N2R1DTK8B8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4M11, Bingham distribution (definition)
History
- 2026-11-02: add by m2/dev
N2R73FGRTR N2R73FGRTR
| URI | m2://inv/N2R73FGRTR |
|---|---|
| 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.22338#S496 (statement)
History
- 2026-11-02: add by m2/v0.6.17
N2R95C1P43 N2R95C1P43
| URI | m2://inv/N2R95C1P43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.14312#8H6Y (statement). In SEPBZN2DRH/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
N2RBW8R19J N2RBW8R19J
| URI | m2://inv/N2RBW8R19J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#Q5XA (statement). In 9B0X8YPF3P/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.2
Patricia Greenspan N2RDJCB2K5
| URI | m2://inv/N2RDJCB2K5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patricia Greenspan, Patricia Greenspan (topic). Also Wikidata Q16972694
History
- 2026-11-02: add by m2/dev
N2RDW0VE5D N2RDW0VE5D
| URI | m2://inv/N2RDW0VE5D |
|---|---|
| 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.09171#AZKX (statement). In 5ZPSZFE08Q/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Further examples N2RECR9QX0
| URI | m2://inv/N2RECR9QX0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greedy algorithm#ONT7, Further examples (example)
History
- 2026-11-02: add by m2/dev
N2RMNVX8TG N2RMNVX8TG
| URI | m2://inv/N2RMNVX8TG |
|---|---|
| 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 2206.05392#L2HT (statement). In 58D1ZC82DW/e1, theorem 33
History
- 2026-10-27: add by m2/v0.3.5
integration by parts N2RMZXY6XM
| URI | m2://inv/N2RMZXY6XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#538Z, integration by parts (definition)
History
- 2026-11-02: add by m2/dev
N2RR0EQ1ZD N2RR0EQ1ZD
| URI | m2://inv/N2RR0EQ1ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#C6BD (statement). In FK89DQ9J4S/e1, corollary 4.8
History
- 2026-10-30: add by m2/v0.4.12
N2RV7SY5V7 N2RV7SY5V7
| URI | m2://inv/N2RV7SY5V7 |
|---|---|
| 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.30410#5VZR (statement). In 5HZX3JVJWF/e1, lemma 2.6
History
- 2026-10-31: add by m2/v0.5.6
Publication bias N2S0KY2X3M
| URI | m2://inv/N2S0KY2X3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Publication bias, Publication bias (definition). Also Wikidata Q919364
History
- 2026-11-02: add by m2/dev
Construction N2S13WRN3H
| URI | m2://inv/N2S13WRN3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Granny knot (mathematics)#1D89, Construction (definition)
History
- 2026-11-02: add by m2/dev
Applications N2S15N18VZ
| URI | m2://inv/N2S15N18VZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector space model#CXCU, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition N2SPCYQTRT
| URI | m2://inv/N2SPCYQTRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of representations#O41N, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dupin cyclide N2SQGY3HBX
| URI | m2://inv/N2SQGY3HBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6YM4, Dupin cyclide (definition)
- wikipedia: Wikipedia List of surfaces#N338, Dupin cyclide (definition)
History
- 2026-11-02: add by m2/dev
Generalizations N2SRZ2S0TZ
| URI | m2://inv/N2SRZ2S0TZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Hurwitz formula#GC3P, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
N2SSFQ257V N2SSFQ257V
| URI | m2://inv/N2SSFQ257V |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10973#AHAY (unknown). In H8NGNDP0XT/e1, unknown 2
History
- 2026-10-28: add by m2/v0.4.3
Missing data N2SV1W4KH9
| URI | m2://inv/N2SV1W4KH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Missing data, Missing data (definition). Also Wikidata Q6878417
History
- 2026-11-02: add by m2/dev
N2T0K5KVDP N2T0K5KVDP
| URI | m2://inv/N2T0K5KVDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#ASK1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Translated OPI Proxy N2T4GETNVA
| URI | m2://inv/N2T4GETNVA |
|---|---|
| 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.12357#6P7T, Translated OPI Proxy (statement). In 1F26AF81XP/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
N2T6EEQ2Y0 N2T6EEQ2Y0
| URI | m2://inv/N2T6EEQ2Y0 |
|---|---|
| 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 2609.22394#IZ4D (statement)
History
- 2026-11-02: add by m2/v0.6.17
Selig Brodetsky N2T9KM1AP1
| URI | m2://inv/N2T9KM1AP1 |
|---|---|
| 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#XC8X, Selig Brodetsky (topic)
History
- 2026-11-02: add by m2/dev
Indian buffet process N2TA8YAMZZ
| URI | m2://inv/N2TA8YAMZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indian buffet process, Indian buffet process (definition). Also Wikidata Q30675511
History
- 2026-11-02: add by m2/dev
N2TBVVR5BN N2TBVVR5BN
| URI | m2://inv/N2TBVVR5BN |
|---|---|
| Kind | definition |
| 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.31276#Y3UQ (definition). In WYDHWYFRFK/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
Reeb Transform N2TMVBWT1K
| URI | m2://inv/N2TMVBWT1K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#16B6, Reeb Transform (definition). In ZJ6VQCRDVR/e1, definition 14
History
- 2026-10-29: add by m2/v0.4.12
Comparability N2TNKT0GV1
| URI | m2://inv/N2TNKT0GV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparability, Comparability (definition). Also Wikidata Q5155608
History
- 2026-11-02: add by m2/dev
N2TVGMKGEV N2TVGMKGEV
| URI | m2://inv/N2TVGMKGEV |
|---|---|
| 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 2601.15010#EWPX (statement). In K3WJ6ZN184/e1, proposition 6.6
History
- 2026-10-27: add by m2/v0.3.5
N2V4CG6YF8 N2V4CG6YF8
| URI | m2://inv/N2V4CG6YF8 |
|---|---|
| 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.16245#AOMR (statement). In 60CQJN845D/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
N2V4WMBWYW N2V4WMBWYW
| URI | m2://inv/N2V4WMBWYW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19590#HVEM (statement). In AZFARX0CXG/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
N2V8ATCHE1 N2V8ATCHE1
| URI | m2://inv/N2V8ATCHE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/representing-tms.tex#prop:mlessk (statement). In PKGMM3P5QY, prop, section 86.9
History
- 2026-11-01: add by m2/v0.6.13
decreasing sequence N2VN4A5YVP
| URI | m2://inv/N2VN4A5YVP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q138568936, decreasing sequence (unknown). Also EoM Decreasing_sequence
History
- 2026-10-26: add by m2/dev
Applications N2VR9TYYE1
| URI | m2://inv/N2VR9TYYE1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet distance#1RDF, Applications (example)
History
- 2026-11-02: add by m2/dev
game value N2VXHH5YBD
| URI | m2://inv/N2VXHH5YBD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6678209, game value (concept). Also MathWorld GameValue
History
- 2026-10-26: add by m2/dev
Weak formulation N2W18NBKDH
| URI | m2://inv/N2W18NBKDH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35-XX |
| Sources | 6 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32561#HNZO, Lax--Milgram theorem (statement). In NBT0ZCHBB6/e1, theorem 2
- mathlib_1000: mathlib_1000 Q9993851, Lax–Milgram theorem (statement). Also Mathlib IsCoercive.continuousLinearEquivOfBilin, Wikidata Q9993851
- mathlib_overview: mathlib_overview Analysis > Hilbert spaces > Lax-Milgram theorem, Lax-Milgram theorem (unknown). Also Mathlib IsCoercive.continuousLinearEquivOfBilin
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > Lax-Milgram theorem, Lax-Milgram theorem (unknown). Also Mathlib IsCoercive.continuousLinearEquivOfBilin
- thousand_plus: thousand_plus Q9993851, Lax–Milgram theorem (statement). Also Mathlib IsCoercive.continuousLinearEquivOfBilin, Wikidata Q9993851, Wikipedia Lax–Milgram theorem
- wikipedia: Wikipedia Weak formulation, Weak formulation (definition). Also Wikidata Q9993851
History
- 2026-10-26: add by m2/dev
Exsecant N2W4W8WB3B
| URI | m2://inv/N2W4W8WB3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#YUE0, Exsecant (definition)
History
- 2026-11-02: add by m2/dev
Formulation N2W5XC2FRA
| URI | m2://inv/N2W5XC2FRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principle of sufficient reason#F1XY, Formulation (definition)
History
- 2026-11-02: add by m2/dev
N2W7MQX0MF N2W7MQX0MF
| URI | m2://inv/N2W7MQX0MF |
|---|---|
| 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.21455#UOEG (statement). In CY0E87QDED/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.2
Duas Bocas Biological Reserve N2W89YGCCX
| URI | m2://inv/N2W89YGCCX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Z5P3, Duas Bocas Biological Reserve (unknown)
History
- 2026-11-02: add by m2/dev
N2WFJKK6CE N2WFJKK6CE
| URI | m2://inv/N2WFJKK6CE |
|---|---|
| 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.06544#QO4V (statement). In VCRB27RMN6/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
Christof Schuette N2WPPJGGKD
| URI | m2://inv/N2WPPJGGKD |
|---|---|
| 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#3DBG, Christof Schuette (topic)
History
- 2026-11-02: add by m2/dev
Landau notation N2X0WG2NT1
| URI | m2://inv/N2X0WG2NT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9050777, Landau notation (definition). Also MathWorld LandauSymbols, ProofWiki Definition:Landau_Symbols
History
- 2026-10-26: add by m2/dev
Problem Solving Anxiety N2X91WC948
| URI | m2://inv/N2X91WC948 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics Anxiety Rating Scale#WPK7, Problem Solving Anxiety (problem)
History
- 2026-11-02: add by m2/dev
N2XD6WPZ6B N2XD6WPZ6B
| URI | m2://inv/N2XD6WPZ6B |
|---|---|
| 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-26 (exercise). In E59CDZA4DP, exercise, section 11.2.4
History
- 2026-11-01: add by m2/v0.6.13
N2XFHEZKF8 N2XFHEZKF8
| URI | m2://inv/N2XFHEZKF8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24638#N5QU (example)
History
- 2026-11-01: add by m2/v0.6.15
N2XQXGVB84 N2XQXGVB84
| URI | m2://inv/N2XQXGVB84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11596#OZ2Z (statement). In 76850E2X7T/e1, theorem 2.15
History
- 2026-10-28: add by m2/v0.4.3
RSA Security N2Y27PMYBK
| URI | m2://inv/N2Y27PMYBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA Security, RSA Security (definition). Also Wikidata Q2061730
History
- 2026-11-02: add by m2/dev
NSA Police N2Y2YNKTHY
| URI | m2://inv/N2Y2YNKTHY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Security Agency#ARZD, NSA Police (unknown)
History
- 2026-11-02: add by m2/dev
N2Y3Z5AY2S N2Y3Z5AY2S
| URI | m2://inv/N2Y3Z5AY2S |
|---|---|
| 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#NQ2F (statement). In ZD7BWDKT84/e1, proposition 8.2
History
- 2026-10-29: add by m2/v0.4.10
N2Y6YXJN8C N2Y6YXJN8C
| URI | m2://inv/N2Y6YXJN8C |
|---|---|
| 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.21475#LZOD (definition). In TTRSZVT4VX/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.4.2
Linear regression N2Y7SP6E7Y
| URI | m2://inv/N2Y7SP6E7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1VUV, Linear regression (definition)
History
- 2026-11-02: add by m2/dev
N2YQZ10KN1 N2YQZ10KN1
| URI | m2://inv/N2YQZ10KN1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#F9I9 (definition). In DDNP38CHQJ/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Ciprian Manolescu N2YVCQ7B83
| URI | m2://inv/N2YVCQ7B83 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ciprian Manolescu, Ciprian Manolescu (topic). Also Wikidata Q560828
History
- 2026-11-02: add by m2/dev
Ellen Hayes N2YXPBGXPP
| URI | m2://inv/N2YXPBGXPP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#YMCT, Ellen Hayes (topic)
History
- 2026-11-02: add by m2/dev
N2YY9PVMQP N2YY9PVMQP
| URI | m2://inv/N2YY9PVMQP |
|---|---|
| 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.00103#W9KY (statement). In S7RDXJWP1A/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
Inequality for the Laplace operator N2YZYGKJN6
| URI | m2://inv/N2YZYGKJN6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kato's inequality#6IH4, Inequality for the Laplace operator (statement)
History
- 2026-11-02: add by m2/dev
N2Z53672S0 N2Z53672S0
| URI | m2://inv/N2Z53672S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.23072#GUDB (statement). In FW08HEAPKW/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Deux-Montagnes, Quebec N2ZAEFV8JV
| URI | m2://inv/N2ZAEFV8JV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GH56, Deux-Montagnes, Quebec (unknown)
History
- 2026-11-02: add by m2/dev
Maria Chudnovsky N2ZBRSN7RW
| URI | m2://inv/N2ZBRSN7RW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#WQP0, Maria Chudnovsky (topic)
History
- 2026-11-02: add by m2/dev
Shevtsova N2ZEQ1AJ56
| URI | m2://inv/N2ZEQ1AJ56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#ZY6K, Shevtsova (statement). In 43TBS9P2PX/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
N2ZJR01BY7 N2ZJR01BY7
| URI | m2://inv/N2ZJR01BY7 |
|---|---|
| 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#IR5V (statement)
History
- 2026-11-02: add by m2/v0.6.18
N2ZM3Z5SR7 N2ZM3Z5SR7
| URI | m2://inv/N2ZM3Z5SR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1902.04230#HFAA (statement). In 22JZ68FGCW/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Chevalley basis N2ZPBE9SCQ
| URI | m2://inv/N2ZPBE9SCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chevalley basis, Chevalley basis (definition). Also Wikidata Q5094304
History
- 2026-11-02: add by m2/dev
N2ZTP04NYK N2ZTP04NYK
| URI | m2://inv/N2ZTP04NYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#definition-3 (definition). In RZP28ERRZV, definition, section 33.3.1
History
- 2026-11-01: add by m2/v0.6.13