Inventory rows JV
The cards of the rows of the inventory whose ids start with JV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Moritz Pasch JV00M0TXPR
| URI | m2://inv/JV00M0TXPR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moritz Pasch, Moritz Pasch (topic). Also Wikidata Q61759
History
- 2026-11-02: add by m2/dev
JV01NE045R JV01NE045R
| URI | m2://inv/JV01NE045R |
|---|---|
| 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.10736#JYUQ (statement). In NCYKB4QG5P/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.3
JV08DE2CW7 JV08DE2CW7
| URI | m2://inv/JV08DE2CW7 |
|---|---|
| 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.18106#5FY9 (statement). In VZDPG7NJCX/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.2
JV0B4T4AJW JV0B4T4AJW
| URI | m2://inv/JV0B4T4AJW |
|---|---|
| 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 1103.1038#QYUO (statement). In T9VMNNPS0H/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.6
Institute of Statistical Mathematics JV0T75Z5AV
| URI | m2://inv/JV0T75Z5AV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Statistical Mathematics, Institute of Statistical Mathematics (definition). Also Wikidata Q4853066
History
- 2026-11-02: add by m2/dev
Maria Emelianenko JV0X9J7ZHF
| URI | m2://inv/JV0X9J7ZHF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Emelianenko, Maria Emelianenko (topic). Also Wikidata Q67175857
History
- 2026-11-02: add by m2/dev
JV16R83DAR JV16R83DAR
| URI | m2://inv/JV16R83DAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 1001.1196#4XLW (statement). In BCB418GV9C/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
JV18JTE1GS JV18JTE1GS
| URI | m2://inv/JV18JTE1GS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22218#XNUY (statement). In 338GKREFVP/e1, proposition 23
History
- 2026-10-27: add by m2/v0.4.0
Mary Ann Weitnauer JV1908FTS2
| URI | m2://inv/JV1908FTS2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YHK6, Mary Ann Weitnauer (unknown)
History
- 2026-11-02: add by m2/dev
Distributed parameter system JV1BP9XFVW
| URI | m2://inv/JV1BP9XFVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributed parameter system, Distributed parameter system (definition). Also Wikidata Q1482001
History
- 2026-11-02: add by m2/dev
JV1EHM8EPE JV1EHM8EPE
| URI | m2://inv/JV1EHM8EPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17850#39CY (statement). In WS5KWBEG5Q/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.0
JV1S00DD5M JV1S00DD5M
| URI | m2://inv/JV1S00DD5M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 98.5
History
- 2026-11-01: add by m2/v0.6.13
Examples JV1YPMA39P
| URI | m2://inv/JV1YPMA39P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iwasawa group#7XP1, Examples (example)
History
- 2026-11-02: add by m2/dev
JV24R83VC6 JV24R83VC6
| URI | m2://inv/JV24R83VC6 |
|---|---|
| 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.11145#SNQS (statement). In 2KME4YY99M/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
Definitions JV25GRV6Z2
| URI | m2://inv/JV25GRV6Z2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Message authentication code#VOJ9, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Gerbe JV2FQANHR7
| URI | m2://inv/JV2FQANHR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerbe, Gerbe (definition). Also Wikidata Q118705
History
- 2026-11-02: add by m2/dev
Mergelyan JV2GDPW3D6
| URI | m2://inv/JV2GDPW3D6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:mergelyan, Mergelyan (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
Definitions JV2W9HTV29
| URI | m2://inv/JV2W9HTV29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid analytic space#8CJM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Small spin-level compactification JV30CKZCY7
| URI | m2://inv/JV30CKZCY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00490#ZDAX, Small spin-level compactification (statement). In PZJDV6SJ9E/e1, proposition 8.3
History
- 2026-10-30: add by m2/v0.4.12
JV33XP3YTD JV33XP3YTD
| URI | m2://inv/JV33XP3YTD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#A4H3 (example). In 9EMCPF1F2T/e1, example 53
History
- 2026-10-29: add by m2/v0.4.10
triangular representation JV39V022BY
| URI | m2://inv/JV39V022BY |
|---|---|
| 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.00902#05VN, triangular representation (statement). In 1BYMXTH5MW/e1, lemma 9.3
History
- 2026-10-29: add by m2/v0.4.12
JV3HF66C8X JV3HF66C8X
| URI | m2://inv/JV3HF66C8X |
|---|---|
| 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.08149#UPWI (statement). In E128PFR76Q/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Statement JV3N1NZ10E
| URI | m2://inv/JV3N1NZ10E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer's height zero conjecture#QFRS, Statement (statement)
History
- 2026-11-02: add by m2/dev
FGM with rational coefficients; conjecture in Table 1 JV3Y7Y4DS8
| URI | m2://inv/JV3Y7Y4DS8 |
|---|---|
| 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.35762#TFV9, FGM with rational coefficients; conjecture in Table 1 (statement). In C9QEPN1E56/e1, theorem 5.4
History
- 2026-10-30: add by m2/v0.4.12
Definitions JV3ZY6C0V9
| URI | m2://inv/JV3ZY6C0V9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment measure#LVIE, Definitions (definition)
History
- 2026-11-02: add by m2/dev
BATON JV404JXVXD
| URI | m2://inv/JV404JXVXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BATON, BATON (definition). Also Wikidata Q3631710
History
- 2026-11-02: add by m2/dev
ZF JV43PZT745
| URI | m2://inv/JV43PZT745 |
|---|---|
| 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.25291#I9YF, ZF (statement)
History
- 2026-11-01: add by m2/v0.6.15
JV4C9R70A0 JV4C9R70A0
| URI | m2://inv/JV4C9R70A0 |
|---|---|
| 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.20866#FXXH (statement)
History
- 2026-11-02: add by m2/v0.6.18
JV4DY47D9X JV4DY47D9X
| URI | m2://inv/JV4DY47D9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#XS4K (statement). In TTRSZVT4VX/e1, proposition 2.18
History
- 2026-10-27: add by m2/v0.4.2
Schreier vector JV4FFADC0V
| URI | m2://inv/JV4FFADC0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#2UPM, Schreier vector (definition)
- wikipedia: Wikipedia List of permutation topics#PLSG, Schreier vector (definition)
History
- 2026-11-02: add by m2/dev
clique number JV4N0XB9TJ
| URI | m2://inv/JV4N0XB9TJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.4.2/clique-number, clique number (concept). In QKM9DD2H56, index, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
Definitions JV4Z23ZY69
| URI | m2://inv/JV4Z23ZY69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rademacher complexity#EL30, Definitions (definition)
History
- 2026-11-02: add by m2/dev
JV4ZM8M6XY JV4ZM8M6XY
| URI | m2://inv/JV4ZM8M6XY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 62.6
History
- 2026-11-01: add by m2/v0.6.13
JV53525HAR JV53525HAR
| URI | m2://inv/JV53525HAR |
|---|---|
| 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 2609.31274#L6AG (definition). In RK0ZMDJ23T/e1, definition 2.1.1
History
- 2026-10-31: add by m2/v0.5.6
Deterministic Boolean benign degeneracy JV57CGGYJ3
| URI | m2://inv/JV57CGGYJ3 |
|---|---|
| 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.20270#IGGF, Deterministic Boolean benign degeneracy (statement). In GV0QGZH67P/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.2
JV58CGW0RW JV58CGW0RW
| URI | m2://inv/JV58CGW0RW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16655#R4MY (statement). In EJHAXRV685/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
derivative, arcsine JV5A2R66PH
| URI | m2://inv/JV5A2R66PH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.6.4/derivative-arcsine, derivative, arcsine (concept). In 907G4C4EJ1, index, section 2.6.4
History
- 2026-11-01: add by m2/v0.6.13
Scaled chi-squared distribution JV5N12NWCY
| URI | m2://inv/JV5N12NWCY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance#DHQV, Scaled chi-squared distribution (unknown)
History
- 2026-11-02: add by m2/dev
Inliers near the stationary AMP iterate JV5PHPK6T5
| URI | m2://inv/JV5PHPK6T5 |
|---|---|
| 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.20798#YO71, Inliers near the stationary AMP iterate (statement). In 947GFWDY7C/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.4.2
Loga cylindrical slide rule JV5S0XPVND
| URI | m2://inv/JV5S0XPVND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slide rule#8J1J, Loga cylindrical slide rule (unknown)
History
- 2026-11-02: add by m2/dev
Bag exclusion JV5SB0KEYN
| URI | m2://inv/JV5SB0KEYN |
|---|---|
| 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.21388#XZYB, Bag exclusion (statement)
History
- 2026-11-02: add by m2/v0.6.18
JV5SJK8K10 JV5SJK8K10
| URI | m2://inv/JV5SJK8K10 |
|---|---|
| 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 2109.12716#MED6 (statement). In 6X76XBE3HV/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Product conjecture for the product of two spheres JV5ZBQXFW7
| URI | m2://inv/JV5ZBQXFW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf conjectures#R6RW, Product conjecture for the product of two spheres (statement)
History
- 2026-11-02: add by m2/dev
Hermitian return JV67035XQM
| URI | m2://inv/JV67035XQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2609.26286#VID5, Hermitian return (statement)
History
- 2026-11-01: add by m2/v0.6.15
normal plane JV69ZA460M
| URI | m2://inv/JV69ZA460M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18354546, normal plane (unknown). Also MathWorld NormalPlane
- wikipedia: Wikipedia Normal plane (geometry), Normal plane (definition). Also Wikidata Q18354546
History
- 2026-10-26: add by m2/dev
JV6BXWHBRK JV6BXWHBRK
| URI | m2://inv/JV6BXWHBRK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-5 (exercise). In P1C114YBXG, problem, section G
History
- 2026-11-01: add by m2/v0.6.13
permutation model JV6WECE0JF
| URI | m2://inv/JV6WECE0JF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18085712, permutation model (unknown). Also nLab permutation model
- wikipedia: Wikipedia Permutation model, Permutation model (definition). Also Wikidata Q18085712
History
- 2026-10-26: add by m2/dev
Finite iterates over stably compact carriers JV6Y7HZ3XT
| URI | m2://inv/JV6Y7HZ3XT |
|---|---|
| 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.14446#NDZM, Finite iterates over stably compact carriers (statement). In AWRXXZR673/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
JV71VQPJAG JV71VQPJAG
| URI | m2://inv/JV71VQPJAG |
|---|---|
| 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.10452#GBWD (statement). In 2F4PNP1V3B/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
The spin-glass free energy to second order JV74E95WJY
| URI | m2://inv/JV74E95WJY |
|---|---|
| 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.37479#NC7K, The spin-glass free energy to second order (statement). In P3RTT99C41/e1, proposition 7.9
History
- 2026-10-30: add by m2/v0.4.12
JV7KF9RE6D JV7KF9RE6D
| URI | m2://inv/JV7KF9RE6D |
|---|---|
| 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 2609.26134#IJCG (statement)
History
- 2026-11-01: add by m2/v0.6.15
JV7NA7K8BX JV7NA7K8BX
| URI | m2://inv/JV7NA7K8BX |
|---|---|
| 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 2511.08099#THNG (statement). In 5NK801XBGA/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Example JV7R67HTWH
| URI | m2://inv/JV7R67HTWH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Systolic freedom#V2NC, Example (example)
History
- 2026-11-02: add by m2/dev
JV7XNQEQC8 JV7XNQEQC8
| URI | m2://inv/JV7XNQEQC8 |
|---|---|
| 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.09129#P0C4 (statement). In Z1RZSF68XZ/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
David Madigan JV809M0NT0
| URI | m2://inv/JV809M0NT0 |
|---|---|
| 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#C9S3, David Madigan (topic)
History
- 2026-11-02: add by m2/dev
JV83QHC3AY JV83QHC3AY
| URI | m2://inv/JV83QHC3AY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23884#YW1G (statement)
History
- 2026-11-02: add by m2/v0.6.17
JV8EHGS6S3 JV8EHGS6S3
| URI | m2://inv/JV8EHGS6S3 |
|---|---|
| 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.20087#G8CV (definition). In ZRE2WQR5XA/e1, definition II.1
History
- 2026-10-27: add by m2/v0.4.2
First-order conditions at equilibrium JV8KTVD9M1
| URI | m2://inv/JV8KTVD9M1 |
|---|---|
| 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.06490#6JQL, First-order conditions at equilibrium (statement). In NKXTXH59P1/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Theorem JV8MCX26ZY
| URI | m2://inv/JV8MCX26ZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prokhorov's theorem#G0BU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Generation cost needed to improve the benchmark JV8N4GYA3P
| URI | m2://inv/JV8N4GYA3P |
|---|---|
| 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.30808#0DFA, Generation cost needed to improve the benchmark (statement). In 4JCFPV48VG/e1, corollary 5.2
History
- 2026-10-31: add by m2/v0.5.6
JV8PTVY7VF JV8PTVY7VF
| URI | m2://inv/JV8PTVY7VF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#KFFO (statement). In A02X6MX28Y/e1, proposition 6.8
History
- 2026-10-28: add by m2/v0.4.2
Julia set JV8V8YTTR7
| URI | m2://inv/JV8V8YTTR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 37-02 |
| Sources | 2 |
| Outcome | open |
| Node | Julia set 5M4S7P04GR |
Mentions
- wikidata: Wikidata Q848427, Julia set (topic). Also EoM Julia_set, MathWorld JuliaSet, nLab Julia set
- wikipedia: Wikipedia Julia set, Julia set (definition). Also Wikidata Q848427
History
- 2026-10-26: add by m2/dev
Book JV95HPS9HH
| URI | m2://inv/JV95HPS9HH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Book (graph theory), Book (definition). Also Wikidata Q4942925
History
- 2026-11-02: add by m2/dev
Michael Green JV96WRGYQ9
| URI | m2://inv/JV96WRGYQ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#UOC6, Michael Green (unknown)
History
- 2026-11-02: add by m2/dev
JV9BNDEPEX JV9BNDEPEX
| URI | m2://inv/JV9BNDEPEX |
|---|---|
| Kind | problem |
| 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.23630#R794 (problem)
History
- 2026-11-02: add by m2/v0.6.17
Statement JV9CEC92AJ
| URI | m2://inv/JV9CEC92AJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange multiplier#5T2N, Statement (statement)
History
- 2026-11-02: add by m2/dev
JV9ET9NRMP JV9ET9NRMP
| URI | m2://inv/JV9ET9NRMP |
|---|---|
| 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 2610.06785#RFEI (statement). In PG6AEWX25E/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
Abelian Final Value Theorem JV9JTYE3AP
| URI | m2://inv/JV9JTYE3AP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final value theorem#NFTC, Abelian Final Value Theorem (statement)
History
- 2026-11-02: add by m2/dev
Equivalences between unconditional and conditional stochastic equivariance of GPs JV9T9STNJT
| URI | m2://inv/JV9T9STNJT |
|---|---|
| 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.21085#A5CX, Equivalences between unconditional and conditional stochastic equivariance of GPs (statement)
History
- 2026-11-02: add by m2/v0.6.18
National Institute of Statistics and Censuses of Argentina JV9VWP1V7S
| URI | m2://inv/JV9VWP1V7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Institute of Statistics and Censuses of Argentina, National Institute of Statistics and Censuses of Argentina (definition). Also Wikidata Q1665219
History
- 2026-11-02: add by m2/dev
A History of Pi JV9XNXAD8R
| URI | m2://inv/JV9XNXAD8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A History of Pi, A History of Pi (definition). Also Wikidata Q4657329
History
- 2026-11-02: add by m2/dev
Local linear convergence JVA1KREWMB
| URI | m2://inv/JVA1KREWMB |
|---|---|
| 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.33206#5CE7, Local linear convergence (statement). In VRPEECJF2P/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
Stanisław Trybuła JVA8Z8S6BE
| URI | m2://inv/JVA8Z8S6BE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2PL9, Stanisław Trybuła (unknown)
History
- 2026-11-02: add by m2/dev
Cassini projection JVA92JGBSE
| URI | m2://inv/JVA92JGBSE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5049440, Cassini projection (unknown). Also MathWorld CassiniProjection
History
- 2026-10-26: add by m2/dev
JVACRCF3TD JVACRCF3TD
| URI | m2://inv/JVACRCF3TD |
|---|---|
| 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.21900#TOWM (definition)
History
- 2026-11-02: add by m2/v0.6.17
Dual property strategy JVAE0NEZJ9
| URI | m2://inv/JVAE0NEZJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonexistent objects#F0E8, Dual property strategy (unknown)
History
- 2026-11-02: add by m2/dev
Statistical classification JVAMBE05HC
| URI | m2://inv/JVAMBE05HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical classification, Statistical classification (definition). Also Wikidata Q1744628
History
- 2026-11-02: add by m2/dev
atomic physics JVAWPGK0K5
| URI | m2://inv/JVAWPGK0K5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81V45 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q26383, atomic physics (topic). Also ProofWiki Definition:Atomic_Physics
History
- 2026-10-26: add by m2/dev
JVAWWVR605 JVAWWVR605
| URI | m2://inv/JVAWWVR605 |
|---|---|
| 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 2506.07061#NLBF (statement). In G2PA4KAGRP/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.3.6
JVB8CJW09D JVB8CJW09D
| URI | m2://inv/JVB8CJW09D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 13.8
History
- 2026-11-01: add by m2/v0.6.13
ENNAMCQ JVB9H95PBZ
| URI | m2://inv/JVB9H95PBZ |
|---|---|
| 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.39736#4G12, ENNAMCQ (definition). In BB1XJ47PVW/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
Distinction without a difference JVBDPK2K22
| URI | m2://inv/JVBDPK2K22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distinction without a difference, Distinction without a difference (definition). Also Wikidata Q5282968
History
- 2026-11-02: add by m2/dev
Frederic T. Chong JVBGTKK1J5
| URI | m2://inv/JVBGTKK1J5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BQEV, Frederic T. Chong (unknown)
History
- 2026-11-02: add by m2/dev
planet JVBH9814ZT
| URI | m2://inv/JVBH9814ZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q634, planet (definition). Also ProofWiki Definition:Planet
History
- 2026-10-26: add by m2/dev
Siegmund Günther JVBRDMM6ES
| URI | m2://inv/JVBRDMM6ES |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegmund Günther, Siegmund Günther (topic). Also Wikidata Q96665
History
- 2026-11-02: add by m2/dev
JVC1NRAAY9 JVC1NRAAY9
| URI | m2://inv/JVC1NRAAY9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-12 (example). In E59CDZA4DP, example, section 10.3.4
History
- 2026-11-01: add by m2/v0.6.13
Multiplicative partition JVC2RKWYPY
| URI | m2://inv/JVC2RKWYPY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#1B33, Multiplicative partition (definition)
History
- 2026-11-02: add by m2/dev
JVC5DM3WHG JVC5DM3WHG
| URI | m2://inv/JVC5DM3WHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#6WFA (statement)
History
- 2026-11-02: add by m2/v0.6.18
JVC6QXFSJT JVC6QXFSJT
| URI | m2://inv/JVC6QXFSJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33651#2WV8 (statement). In 69DBD2HKGK/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
Reciprocal lattice JVC9EE0PGY
| URI | m2://inv/JVC9EE0PGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocal lattice, Reciprocal lattice (definition). Also Wikidata Q164129
History
- 2026-11-02: add by m2/dev
JVCFHTRZ0C JVCFHTRZ0C
| URI | m2://inv/JVCFHTRZ0C |
|---|---|
| Kind | definition |
| 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#3GA0 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Einar Steingrímsson JVCH2QXRED
| URI | m2://inv/JVCH2QXRED |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einar Steingrímsson, Einar Steingrímsson (topic). Also Wikidata Q102169196
History
- 2026-11-02: add by m2/dev
The Riemann-Roch theorem JVCJNP1DCE
| URI | m2://inv/JVCJNP1DCE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/riemann-roch.tex#theorem-1, The Riemann-Roch theorem (statement). In RZP28ERRZV, theorem, section 87.5
History
- 2026-11-01: add by m2/v0.6.13
Replacement of half-density components JVCKDX1WNN
| URI | m2://inv/JVCKDX1WNN |
|---|---|
| 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.26576#GHAC, Replacement of half-density components (statement)
History
- 2026-11-01: add by m2/v0.6.15
JVCP75V79F JVCP75V79F
| URI | m2://inv/JVCP75V79F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#EUPB (statement). In SCSTR1Q1BW/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
JVD3X8Q1YK JVD3X8Q1YK
| URI | m2://inv/JVD3X8Q1YK |
|---|---|
| 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.31794#IR0T (statement). In MW2Y7V0RND/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Statistical inference and hypothesis testing JVD5F7XKGD
| URI | m2://inv/JVD5F7XKGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instrumental variables#BVNQ, Statistical inference and hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
JVD7V6KRBD JVD7V6KRBD
| URI | m2://inv/JVD7V6KRBD |
|---|---|
| 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.21231#SSZC (definition). In 4RH9PS7MN1/e1, definition 4
History
- 2026-10-27: add by m2/v0.4.2
graphic matroid JVDFJHNHCD
| URI | m2://inv/JVDFJHNHCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5597156, graphic matroid (unknown). Also MathWorld GraphicMatroid
- wikipedia: Wikipedia Graphic matroid, Graphic matroid (definition). Also Wikidata Q5597156
History
- 2026-10-26: add by m2/dev
JVDMS2JFNY JVDMS2JFNY
| URI | m2://inv/JVDMS2JFNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#84BG (statement). In ZA6XNBA90V/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.3.5
Hong Wang JVDQAKT2Q2
| URI | m2://inv/JVDQAKT2Q2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hong Wang, Hong Wang (topic). Also Wikidata Q132968784
History
- 2026-11-02: add by m2/dev
JVDXC77QPR JVDXC77QPR
| URI | m2://inv/JVDXC77QPR |
|---|---|
| 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 2302.07710#IPS5 (statement). In WD3CVPPH6H/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
symplectic map JVDYM1S4F9
| URI | m2://inv/JVDYM1S4F9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107303302, symplectic map (unknown). Also MathWorld SymplecticMap
History
- 2026-10-26: add by m2/dev
Quarter 8-cubic honeycomb JVE5BHHNNN
| URI | m2://inv/JVE5BHHNNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quarter 8-cubic honeycomb, Quarter 8-cubic honeycomb (definition). Also Wikidata Q28001204
History
- 2026-11-02: add by m2/dev
JVE8J9M4RG JVE8J9M4RG
| URI | m2://inv/JVE8J9M4RG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-30 (exercise). In E9HS8K3A52, exercise, section 2.3.6
History
- 2026-11-01: add by m2/v0.6.13
Inscribed square problem JVEDKZ84HT
| URI | m2://inv/JVEDKZ84HT |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#7BW6, Inscribed square problem (conjecture)
History
- 2026-11-02: add by m2/dev
Outer product JVEH8H8K2B
| URI | m2://inv/JVEH8H8K2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outer product, Outer product (definition). Also Wikidata Q1268589
History
- 2026-11-02: add by m2/dev
JVEMSGT666 JVEMSGT666
| URI | m2://inv/JVEMSGT666 |
|---|---|
| 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.21305#GPTR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition JVF2WF7042
| URI | m2://inv/JVF2WF7042 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IP (complexity)#F2R3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Implementations JVF43G5QCF
| URI | m2://inv/JVF43G5QCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synthetic minority oversampling technique#CCRO, Implementations (definition)
History
- 2026-11-02: add by m2/dev
JVF4Q9FDHR JVF4Q9FDHR
| URI | m2://inv/JVF4Q9FDHR |
|---|---|
| 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.16193#NV7B (statement). In 1Q0A9HSTVP/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
JVF4WT2MR2 JVF4WT2MR2
| URI | m2://inv/JVF4WT2MR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#1IWJ (statement). In A93R925Z24/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
simplicial approximation JVF97DYVPS
| URI | m2://inv/JVF97DYVPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#FVB2, simplicial approximation (definition)
History
- 2026-11-02: add by m2/dev
consequentia mirabilis JVFDZPCKA1
| URI | m2://inv/JVFDZPCKA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#IUJG, consequentia mirabilis (definition)
History
- 2026-11-02: add by m2/dev
Epsilon calculus JVFHTK65A4
| URI | m2://inv/JVFHTK65A4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epsilon calculus, Epsilon calculus (definition). Also Wikidata Q5383976
History
- 2026-11-02: add by m2/dev
Holonomy and trace maps JVFJJ1VM0Z
| URI | m2://inv/JVFJJ1VM0Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#08RG, Holonomy and trace maps (definition). In A02X6MX28Y/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
JVFP98GRNE JVFP98GRNE
| URI | m2://inv/JVFP98GRNE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03619#57Q5 (statement). In 7SRERSS1PF/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
JVFPV0SX5V JVFPV0SX5V
| URI | m2://inv/JVFPV0SX5V |
|---|---|
| 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.22469#LMBM (statement)
History
- 2026-11-02: add by m2/v0.6.17
JVFPVFM14M JVFPVFM14M
| URI | m2://inv/JVFPVFM14M |
|---|---|
| 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#N0T4 (statement). In 3A4K47Y9F2/e1, lemma 3.19
History
- 2026-10-27: add by m2/v0.4.0
clique tree JVFQHGXAHG
| URI | m2://inv/JVFQHGXAHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#MLG1, clique tree (definition)
History
- 2026-11-02: add by m2/dev
JVFR5TPZB4 JVFR5TPZB4
| URI | m2://inv/JVFR5TPZB4 |
|---|---|
| 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 2210.02261#MTLC (statement). In TT74R659T0/e1, theorem 0.4
History
- 2026-10-27: add by m2/v0.3.5
Orthogonal array testing JVFTJREHE2
| URI | m2://inv/JVFTJREHE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q12R, Orthogonal array testing (definition)
History
- 2026-11-02: add by m2/dev
JVFWKCN5NR JVFWKCN5NR
| URI | m2://inv/JVFWKCN5NR |
|---|---|
| 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.27715#1GMZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
algebraic space JVFXP007M8
| URI | m2://inv/JVFXP007M8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Algebraic space MTV9TFKF3X |
Mentions
- wikidata: Wikidata Q4724016, algebraic space (unknown). Also EoM Algebraic_space, nLab algebraic space
- wikipedia: Wikipedia Algebraic space, Algebraic space (definition). Also Wikidata Q4724016
History
- 2026-10-26: add by m2/dev
Napierian logarithm JVFYED97AE
| URI | m2://inv/JVFYED97AE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5575737, Napierian logarithm (unknown). Also MathWorld NapierianLogarithm
- wikipedia: Wikipedia Napierian logarithm, Napierian logarithm (definition). Also Wikidata Q5575737
History
- 2026-10-26: add by m2/dev
Variation diminishing property JVG49W27QK
| URI | m2://inv/JVG49W27QK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variation diminishing property, Variation diminishing property (definition). Also Wikidata Q7915786
History
- 2026-11-02: add by m2/dev
JVG4MPATHB JVG4MPATHB
| URI | m2://inv/JVG4MPATHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0411039#9WHX (statement). In ZTBDXSKFFW/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
JVG5DRFNR4 JVG5DRFNR4
| URI | m2://inv/JVG5DRFNR4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26401#E4GB (definition)
History
- 2026-11-01: add by m2/v0.6.15
Cantelli's inequality JVGA1NRZN3
| URI | m2://inv/JVGA1NRZN3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev's inequality#1GL3, Cantelli's inequality (statement)
History
- 2026-11-02: add by m2/dev
\coqident{Partiality}{PCF}{smallstep'}, \coqident{Partiality}{PCF}{smallstep JVGH9EFV1K
| URI | m2://inv/JVGH9EFV1K |
|---|---|
| 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 1904.09810#VFO4, \coqident{Partiality}{PCF}{smallstep'}, \coqident{Partiality}{PCF}{smallstep (definition). In T1VFA7TXPA/e1, definition 33
History
- 2026-10-27: add by m2/v0.3.5
Szeg\Ho kernel, unit disc JVGVEDRF6F
| URI | m2://inv/JVGVEDRF6F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/5.2/szeg-ho-kernel-unit-disc, Szeg\Ho kernel, unit disc (concept). In VNMV985MXX, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
JVGW43S19J JVGW43S19J
| URI | m2://inv/JVGW43S19J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-4.xml#prop-rank-transpose (statement). In 649HGZKE96, proposition, section 7.4.3
History
- 2026-11-01: add by m2/v0.6.13
Scan statistic JVGXQNJ8FK
| URI | m2://inv/JVGXQNJ8FK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scan statistic, Scan statistic (definition). Also Wikidata Q16967898
History
- 2026-11-02: add by m2/dev
JVH1GD0YQ1 JVH1GD0YQ1
| URI | m2://inv/JVH1GD0YQ1 |
|---|---|
| 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.32033#PGE0 (statement). In 17W5G060QX/e1, proposition 6.1
History
- 2026-10-31: add by m2/v0.5.6
Rape in Iceland JVH2H2QWGA
| URI | m2://inv/JVH2H2QWGA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#89OO, Rape in Iceland (unknown)
History
- 2026-11-02: add by m2/dev
Four loops; {\rm \Icorref{cor:nfive JVHJS3BAWW
| URI | m2://inv/JVHJS3BAWW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10821#0ZOB, Four loops; {\rm \Icorref{cor:nfive (statement). In RWNP4FEE65/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.3
Alfred J. Lotka JVHKJ24X2T
| URI | m2://inv/JVHKJ24X2T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred J. Lotka, Alfred J. Lotka (topic). Also Wikidata Q470674
History
- 2026-11-02: add by m2/dev
Continuity JVHKNAVSE9
| URI | m2://inv/JVHKNAVSE9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Utility maximization problem#3C2L, Continuity (statement)
History
- 2026-11-02: add by m2/dev
JVHKNCD873 JVHKNCD873
| URI | m2://inv/JVHKNCD873 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#KE35 (statement). In V7SN19J84T/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
Lower semi-continuity JVHPYFQZ53
| URI | m2://inv/JVHPYFQZ53 |
|---|---|
| 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.18270#ZNDW, Lower semi-continuity (statement). In CPDMYJ0NJV/e1, lemma 9.3
History
- 2026-10-28: add by m2/v0.4.2
JVHRACCR1K JVHRACCR1K
| URI | m2://inv/JVHRACCR1K |
|---|---|
| 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.37479#BXKY (statement). In P3RTT99C41/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Czado, Claudia JVHZKMAJB7
| URI | m2://inv/JVHZKMAJB7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#SC89, Czado, Claudia (unknown)
History
- 2026-11-02: add by m2/dev
Implementation JVJ3CB5M79
| URI | m2://inv/JVJ3CB5M79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luhn mod N algorithm#9708, Implementation (definition)
History
- 2026-11-02: add by m2/dev
JVJ3YWVE1R JVJ3YWVE1R
| URI | m2://inv/JVJ3YWVE1R |
|---|---|
| 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.02628#Z3K4 (statement). In G4S9C5M1A4/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.12
JVJ993E8W0 JVJ993E8W0
| URI | m2://inv/JVJ993E8W0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-10 (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
The partial ordering of divisors JVJM8EX129
| URI | m2://inv/JVJM8EX129 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/riemann-roch.tex#definition-5, The partial ordering of divisors (definition). In RZP28ERRZV, definition, section 87.4
History
- 2026-11-01: add by m2/v0.6.13
JVJQ7RZN26 JVJQ7RZN26
| URI | m2://inv/JVJQ7RZN26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09672#PSLL (statement). In TXBXCPP0QH/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
Stolper–Samuelson theorem JVJQRHHRNW
| URI | m2://inv/JVJQRHHRNW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q977912, Stolper–Samuelson theorem (statement). Also Wikidata Q977912
- thousand_plus: thousand_plus Q977912, Stolper–Samuelson theorem (statement). Also Wikidata Q977912, Wikipedia Stolper–Samuelson theorem
- wikipedia: Wikipedia Stolper–Samuelson theorem, Stolper–Samuelson theorem (statement). Also Wikidata Q977912
History
- 2026-10-26: add by m2/dev
JVJTKJZDS9 JVJTKJZDS9
| URI | m2://inv/JVJTKJZDS9 |
|---|---|
| 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#GPW8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
JVJTN6YM9D JVJTN6YM9D
| URI | m2://inv/JVJTN6YM9D |
|---|---|
| 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.09809#F4NV (definition). In 7NKQ6PR78N/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
JVJVHC4MES JVJVHC4MES
| URI | m2://inv/JVJVHC4MES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#B5JT (statement). In 5350Q52F6P/e1, proposition 7.8
History
- 2026-10-28: add by m2/v0.4.2
Mean time between failures JVK5SEKBJW
| URI | m2://inv/JVK5SEKBJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean time between failures, Mean time between failures (definition). Also Wikidata Q754940
History
- 2026-11-02: add by m2/dev
JVK78VPSJW JVK78VPSJW
| URI | m2://inv/JVK78VPSJW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 22.7
History
- 2026-11-01: add by m2/v0.6.13
Whole-strip radial moments JVKFM5HJAK
| URI | m2://inv/JVKFM5HJAK |
|---|---|
| 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.02436#SZ28, Whole-strip radial moments (statement). In J9WZBK6KAY/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.12
JVKJQAK0K0 JVKJQAK0K0
| URI | m2://inv/JVKJQAK0K0 |
|---|---|
| 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.33124#45KH (statement). In P27HYGQDAN/e1, theorem 15
History
- 2026-10-30: add by m2/v0.4.12
Komlós' theorem JVKV80SZ2R
| URI | m2://inv/JVKV80SZ2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Komlós' theorem#94RO, Komlós' theorem (statement)
History
- 2026-11-02: add by m2/dev
Bose JVKYTPJVFJ
| URI | m2://inv/JVKYTPJVFJ |
|---|---|
| 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.11757#VFLZ, Bose (statement). In VSJRVTHWWA/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.3
Octahedral prism JVKZSHPD9A
| URI | m2://inv/JVKZSHPD9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octahedral prism, Octahedral prism (definition). Also Wikidata Q7076741
History
- 2026-11-02: add by m2/dev
Definition JVM7YYHGTD
| URI | m2://inv/JVM7YYHGTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contou-Carrère symbol#T36Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
Satisfaction JVMDWFBAD8
| URI | m2://inv/JVMDWFBAD8 |
|---|---|
| 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-5, Satisfaction (definition). In PKGMM3P5QY, defn, section 67.5
History
- 2026-11-01: add by m2/v0.6.13
JVME6TAHKQ JVME6TAHKQ
| URI | m2://inv/JVME6TAHKQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/shor.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 76.2
History
- 2026-11-01: add by m2/v0.6.13
Hugo Rossi JVMGZPC73D
| URI | m2://inv/JVMGZPC73D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hugo Rossi, Hugo Rossi (topic). Also Wikidata Q15222792
History
- 2026-11-02: add by m2/dev
Interior classical tangent cones JVMJ18FCCS
| URI | m2://inv/JVMJ18FCCS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#DZJ3, Interior classical tangent cones (definition). In AKB3CNDA0F/e1, definition 4.14
History
- 2026-10-29: add by m2/v0.4.12
Dirichlet kernel JVMJQTX3RD
| URI | m2://inv/JVMJQTX3RD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#NNOL, Dirichlet kernel (definition)
History
- 2026-11-02: add by m2/dev
Hanan grid JVMQEGXGWG
| URI | m2://inv/JVMQEGXGWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanan grid, Hanan grid (definition). Also Wikidata Q5646908
History
- 2026-11-02: add by m2/dev
Definition JVMRN5F651
| URI | m2://inv/JVMRN5F651 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit (category theory)#L8BV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Heinrich Heesch JVMYY20WGX
| URI | m2://inv/JVMYY20WGX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich Heesch, Heinrich Heesch (topic). Also Wikidata Q78102
History
- 2026-11-02: add by m2/dev
Reduction to a finite-dimensional complex JVN37GTB1J
| URI | m2://inv/JVN37GTB1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#8VT1, Reduction to a finite-dimensional complex (statement). In TBFPBPQV3G/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.4.2
Nonparametric regression JVN7W71P0P
| URI | m2://inv/JVN7W71P0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonparametric regression, Nonparametric regression (definition). Also Wikidata Q3455886
History
- 2026-11-02: add by m2/dev
Duality (order theory) JVN9XDJ7HN
| URI | m2://inv/JVN9XDJ7HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#FB5E, Duality (order theory) (definition)
- wikipedia: Wikipedia List of order theory topics#VISE, Duality (order theory) (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#7985, Duality (order theory) (definition)
History
- 2026-11-02: add by m2/dev
Midsequent Theorem JVNB8NDTZJ
| URI | m2://inv/JVNB8NDTZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/midsequent.tex#thm:midsequent, Midsequent Theorem (statement). In PKGMM3P5QY, thm, section 57.3
History
- 2026-11-01: add by m2/v0.6.13
Ocho Ríos JVNJH24CCJ
| URI | m2://inv/JVNJH24CCJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FY3R, Ocho Ríos (unknown)
History
- 2026-11-02: add by m2/dev
JVNWYGQG45 JVNWYGQG45
| URI | m2://inv/JVNWYGQG45 |
|---|---|
| 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 2609.26738#USVB (statement)
History
- 2026-11-01: add by m2/v0.6.15
JVP020A8ZM JVP020A8ZM
| URI | m2://inv/JVP020A8ZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#BOA7 (statement). In 2BET1RE1F6/e1, theorem 4.8
History
- 2026-10-31: add by m2/v0.5.6
Raphael M. Robinson JVP351162S
| URI | m2://inv/JVP351162S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raphael M. Robinson, Raphael M. Robinson (topic). Also Wikidata Q1257572
History
- 2026-11-02: add by m2/dev
axiom of determinacy JVP5MFKMNG
| URI | m2://inv/JVP5MFKMNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Axiom of determinacy PEXTM3MJ5Z |
Mentions
- wikidata: Wikidata Q4830558, axiom of determinacy (unknown). Also nLab axiom of determinacy
- wikipedia: Wikipedia Axiom of determinacy, Axiom of determinacy (statement). Also Wikidata Q4830558
History
- 2026-10-26: add by m2/dev
Amplifier complex JVP5XDEJWZ
| URI | m2://inv/JVP5XDEJWZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#133S, Amplifier complex (definition). In WD2NCBV9F0/e1, definition 11.2
History
- 2026-10-27: add by m2/v0.3.5
JVPJR1TEPZ JVPJR1TEPZ
| URI | m2://inv/JVPJR1TEPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#defn-6 (definition). In E59CDZA4DP, defn, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
function JVPPK3FART
| URI | m2://inv/JVPPK3FART |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.9.3/function, function (concept). In E59CDZA4DP, index, section 11.9.3
History
- 2026-11-01: add by m2/v0.6.13
JVQ4NN9Z1T JVQ4NN9Z1T
| URI | m2://inv/JVQ4NN9Z1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#prop:volrectdet (statement). In E59CDZA4DP, prop, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
JVQSQC2YT6 JVQSQC2YT6
| URI | m2://inv/JVQSQC2YT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#TU56 (statement). In 2BET1RE1F6/e1, lemma 4.6
History
- 2026-10-31: add by m2/v0.5.6
Cut point JVQV4NDZQH
| URI | m2://inv/JVQV4NDZQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#LGHE, Cut point (definition)
History
- 2026-11-02: add by m2/dev
The arithmetic Riemann–Roch theorem JVR2C3PRXJ
| URI | m2://inv/JVR2C3PRXJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arakelov theory#I5ST, The arithmetic Riemann–Roch theorem (statement)
History
- 2026-11-02: add by m2/dev
Neural Code JVR40FK3ZK
| URI | m2://inv/JVR40FK3ZK |
|---|---|
| Kind | definition |
| 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.30279#H2Q3, Neural Code (definition). In DPWKG7FD0H/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
JVR68DA6BW JVR68DA6BW
| URI | m2://inv/JVR68DA6BW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/fixpoints.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 37.9
History
- 2026-11-01: add by m2/v0.6.13
JVR6NVSDD9 JVR6NVSDD9
| URI | m2://inv/JVR6NVSDD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.22636#IDDW (statement). In 2X2A6MT0QD/e1, theorem 5.16
History
- 2026-10-27: add by m2/v0.3.5
Generation time is preserved under exact coarsening JVR7NWBA6N
| URI | m2://inv/JVR7NWBA6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15466#LMOX, Generation time is preserved under exact coarsening (statement). In KJ7V6XG4M7/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Complete log-linear coordinates of the dependence nucleus JVRBKZQG7H
| URI | m2://inv/JVRBKZQG7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12805#UUL9, Complete log-linear coordinates of the dependence nucleus (statement). In M7F1BBDMNQ/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Johann Jakob Burckhardt JVRD3VTSBX
| URI | m2://inv/JVRD3VTSBX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Jakob Burckhardt, Johann Jakob Burckhardt (topic). Also Wikidata Q1694851
History
- 2026-11-02: add by m2/dev
Margarete Kahn JVRM1FMN7Y
| URI | m2://inv/JVRM1FMN7Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#N1LM, Margarete Kahn (topic)
History
- 2026-11-02: add by m2/dev
JVRNWJ3M85 JVRNWJ3M85
| URI | m2://inv/JVRNWJ3M85 |
|---|---|
| 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.06899#FYMA (statement). In 5Z2K9JGFSS/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Fuzzy measure theory JVRSMKJTNG
| URI | m2://inv/JVRSMKJTNG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy measure theory, Fuzzy measure theory (topic). Also Wikidata Q4455138
History
- 2026-11-02: add by m2/dev
JVRV5HCWG4 JVRV5HCWG4
| URI | m2://inv/JVRV5HCWG4 |
|---|---|
| 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.13734#7BCB (statement). In XB23QP7GK9/e1, theorem 3.10
History
- 2026-10-28: add by m2/v0.4.2
Heptic 8-cube JVRYCXCS27
| URI | m2://inv/JVRYCXCS27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 8-polytope#SP9W, Heptic 8-cube (unknown)
History
- 2026-11-02: add by m2/dev
JVS0AYSVVP JVS0AYSVVP
| URI | m2://inv/JVS0AYSVVP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 59.3.2
History
- 2026-11-01: add by m2/v0.6.13
Toshiki Mabuchi JVS24WA0MA
| URI | m2://inv/JVS24WA0MA |
|---|---|
| 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#FB89, Toshiki Mabuchi (topic)
History
- 2026-11-02: add by m2/dev
JVS8DV2820 JVS8DV2820
| URI | m2://inv/JVS8DV2820 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#QYK0 (statement). In Y1DR0DPWD0/e1, corollary 3.7
History
- 2026-10-29: add by m2/v0.4.12
JVSF0PWWVW JVSF0PWWVW
| URI | m2://inv/JVSF0PWWVW |
|---|---|
| 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 2605.17536#KBT5 (statement). In TG15VZ0P8R/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Dependent map JVSFAM1P8E
| URI | m2://inv/JVSFAM1P8E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#lem:mapdep, Dependent map (statement). In N54F33XE07, lem, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Categorical Homotopy Theory JVSV2TVSSH
| URI | m2://inv/JVSV2TVSSH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q64356095, Categorical Homotopy Theory (unknown). Also nLab Categorical Homotopy Theory
History
- 2026-10-26: add by m2/dev
\bar x chart JVT0XG8BY8
| URI | m2://inv/JVT0XG8BY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CIZM, \bar x chart (definition)
History
- 2026-11-02: add by m2/dev
JVT40CX4W3 JVT40CX4W3
| URI | m2://inv/JVT40CX4W3 |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#5G4O (statement). In ZA6XNBA90V/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
JVT427QA8K JVT427QA8K
| URI | m2://inv/JVT427QA8K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.01742#M2AV (example). In GYH7R98PPA/e1, example 3.8
History
- 2026-10-27: add by m2/v0.3.5
Karen Michalowicz JVT5PDJGR6
| URI | m2://inv/JVT5PDJGR6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karen Michalowicz, Karen Michalowicz (topic). Also Wikidata Q135468857
History
- 2026-11-02: add by m2/dev
JVTGSEY778 JVTGSEY778
| URI | m2://inv/JVTGSEY778 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#VZDL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Forecast bias JVTGV1NWC4
| URI | m2://inv/JVTGV1NWC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forecast bias, Forecast bias (definition). Also Wikidata Q5468157
History
- 2026-11-02: add by m2/dev
Pardon, Kirby--Edwards JVTM5SYAJ8
| URI | m2://inv/JVTM5SYAJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04820#N68K, Pardon, Kirby--Edwards (statement). In 9EJ71MW89B/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
JVTTMA76K3 JVTTMA76K3
| URI | m2://inv/JVTTMA76K3 |
|---|---|
| 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.25880#5TYA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dalene Stangl JVTVBXQBWA
| URI | m2://inv/JVTVBXQBWA |
|---|---|
| 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#G74P, Dalene Stangl (topic)
History
- 2026-11-02: add by m2/dev
Variants JVTYJD2CAQ
| URI | m2://inv/JVTYJD2CAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strip packing problem#2KF9, Variants (statement)
History
- 2026-11-02: add by m2/dev
Euler–Rodrigues formula JVV0ZPRN2A
| URI | m2://inv/JVV0ZPRN2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Rodrigues formula, Euler–Rodrigues formula (statement). Also Wikidata Q5409009
History
- 2026-11-02: add by m2/dev
Definition JVV77EMDJB
| URI | m2://inv/JVV77EMDJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Treewidth#W8R4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fractal-generating software JVV9P5DP3R
| URI | m2://inv/JVV9P5DP3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal-generating software, Fractal-generating software (definition). Also Wikidata Q1440548
History
- 2026-11-02: add by m2/dev
Haïm Brezis JVVM7DRCB7
| URI | m2://inv/JVVM7DRCB7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1FVW, Haïm Brezis (topic)
History
- 2026-11-02: add by m2/dev
Louise Doris Adams JVVQPW9D9R
| URI | m2://inv/JVVQPW9D9R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louise Doris Adams, Louise Doris Adams (topic). Also Wikidata Q57239288
History
- 2026-11-02: add by m2/dev
abfarad JVVVXRX4PF
| URI | m2://inv/JVVVXRX4PF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12783919, abfarad (definition). Also ProofWiki Definition:Abfarad
History
- 2026-10-26: add by m2/dev
LZ-78 JVVW77KRV2
| URI | m2://inv/JVVW77KRV2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LZ77 and LZ78#UNB9, LZ-78 (unknown)
History
- 2026-11-02: add by m2/dev
JVW1P9121A JVW1P9121A
| URI | m2://inv/JVW1P9121A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08682#J1EE (statement). In Y306A1GPM5/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.10
JVW28MPN0Z JVW28MPN0Z
| URI | m2://inv/JVW28MPN0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.07285#Q4UF (statement). In S284XRA4WK/e1, lemma D.4
History
- 2026-10-29: add by m2/v0.4.10
JVW5NNG25N JVW5NNG25N
| URI | m2://inv/JVW5NNG25N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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 2401.13523#ECZO (example). In DDA62XQTWW/e1, example 2.8
History
- 2026-10-27: add by m2/v0.3.5
Boolean valuation JVWHC0DXAK
| URI | m2://inv/JVWHC0DXAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpretation (logic)#JGOL, Boolean valuation (unknown)
History
- 2026-11-02: add by m2/dev
Maclaurin spheroid JVWHDQS7M2
| URI | m2://inv/JVWHDQS7M2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maclaurin spheroid, Maclaurin spheroid (definition). Also Wikidata Q1882430
History
- 2026-11-02: add by m2/dev
JVWP87W3E2 JVWP87W3E2
| URI | m2://inv/JVWP87W3E2 |
|---|---|
| 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#7UPI (statement). In JWNYJVH8XG/e1, corollary 3.30
History
- 2026-10-29: add by m2/v0.4.10
JVWTXMXAFV JVWTXMXAFV
| URI | m2://inv/JVWTXMXAFV |
|---|---|
| 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 2403.15043#1BYO (statement). In QDE21RT0T2/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.3.5
JVWVVH8F21 JVWVVH8F21
| URI | m2://inv/JVWVVH8F21 |
|---|---|
| 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 2609.28195#YOAF (statement)
History
- 2026-11-01: add by m2/v0.6.15
nonary JVWW034A6A
| URI | m2://inv/JVWW034A6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3057662, nonary (definition). Also ProofWiki Definition:Nonary_Notation
History
- 2026-10-26: add by m2/dev
Algorithms JVX3WN0ZJG
| URI | m2://inv/JVX3WN0ZJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twin-width#HZ6S, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
JVXB01Y4FT JVXB01Y4FT
| URI | m2://inv/JVXB01Y4FT |
|---|---|
| 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.24878#PKS2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Affine control-to-state map JVXC1YRZ17
| URI | m2://inv/JVXC1YRZ17 |
|---|---|
| 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.00033#UIKC, Affine control-to-state map (statement). In SHMMW4JXZ1/e1, lemma 13
History
- 2026-10-30: add by m2/v0.4.12
Hall plane JVXD6Z0ZGD
| URI | m2://inv/JVXD6Z0ZGD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall plane, Hall plane (definition). Also Wikidata Q5642723
History
- 2026-11-02: add by m2/dev
Graph sandwich problem JVXJQGPPN6
| URI | m2://inv/JVXJQGPPN6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph sandwich problem, Graph sandwich problem (problem). Also Wikidata Q5597096
History
- 2026-11-02: add by m2/dev
Theorem JVXPXKBKKH
| URI | m2://inv/JVXPXKBKKH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton–Gauss line#22OY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Minimum k-spanning tree JVXR6MPG9Y
| URI | m2://inv/JVXR6MPG9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#0BPS, Minimum k-spanning tree (definition)
History
- 2026-11-02: add by m2/dev
Samuel Foster JVXRSKJT9P
| URI | m2://inv/JVXRSKJT9P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel Foster, Samuel Foster (topic). Also Wikidata Q7411401
History
- 2026-11-02: add by m2/dev
JVXVRDWG03 JVXVRDWG03
| URI | m2://inv/JVXVRDWG03 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21005#JI60 (definition). In E63NRC7MBE/e1, definition 2.29
History
- 2026-10-27: add by m2/v0.4.2
Concentration JVXXFKTWKZ
| URI | m2://inv/JVXXFKTWKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00453#K4O9, Concentration (statement). In ESPJMBH2R2/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Definition JVXZDA4P4W
| URI | m2://inv/JVXZDA4P4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semimodule#GXOM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Adapted JVZ0C5TAE9
| URI | m2://inv/JVZ0C5TAE9 |
|---|---|
| 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.40345#X7F9, Adapted (statement). In WK0PT95WW1/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Statement JVZAYPR0JE
| URI | m2://inv/JVZAYPR0JE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lusternik–Schnirelmann theorem#UY8F, Statement (statement)
History
- 2026-11-02: add by m2/dev
JVZDJ2RB49 JVZDJ2RB49
| URI | m2://inv/JVZDJ2RB49 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#0IDI (statement). In CC6S1HVK0T/e1, proposition B.6
History
- 2026-10-28: add by m2/v0.4.2
JVZEM3E9F4 JVZEM3E9F4
| URI | m2://inv/JVZEM3E9F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#9Q1L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition JVZHV83DHV
| URI | m2://inv/JVZHV83DHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barrier function#RD36, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Bifundamental representation JVZY4N3P6Y
| URI | m2://inv/JVZY4N3P6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#1OAC, Bifundamental representation (definition)
History
- 2026-11-02: add by m2/dev