Inventory rows ZX
The cards of the rows of the inventory whose ids start with ZX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Theorem ZX0J46HC69
| URI | m2://inv/ZX0J46HC69 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparsity matroid#NW6N, Theorem (statement)
History
- 2026-11-02: add by m2/dev
generalized helicoid ZX0QSM2ETZ
| URI | m2://inv/ZX0QSM2ETZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19308803, generalized helicoid (unknown). Also MathWorld GeneralizedHelicoid
History
- 2026-10-26: add by m2/dev
Fixed-terminal equivalence ZX0S972HD3
| URI | m2://inv/ZX0S972HD3 |
|---|---|
| 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.04027#QF1E, Fixed-terminal equivalence (statement). In DQB4YR2DFH/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
ZX0ZMCG063 ZX0ZMCG063
| URI | m2://inv/ZX0ZMCG063 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
ZX10ZP3G6B ZX10ZP3G6B
| URI | m2://inv/ZX10ZP3G6B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08837#8D6R (definition). In KBH265QSBT/e1, definition 7.9
History
- 2026-10-29: add by m2/v0.4.10
Yuri Petunin ZX11N3G1Q2
| URI | m2://inv/ZX11N3G1Q2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yuri Petunin, Yuri Petunin (topic). Also Wikidata Q4361799
History
- 2026-11-02: add by m2/dev
Computing stackability ZX1G94J9BR
| URI | m2://inv/ZX1G94J9BR |
|---|---|
| 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.31811#AWAP, Computing stackability (statement). In A8ZBZW9RNA/e1, corollary 3.5
History
- 2026-10-31: add by m2/v0.5.6
Joint Embedding Predictive Architecture ZX1MM77Y66
| URI | m2://inv/ZX1MM77Y66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-supervised learning#1Q3L, Joint Embedding Predictive Architecture (unknown)
History
- 2026-11-02: add by m2/dev
Properties ZX1ZRN88RM
| URI | m2://inv/ZX1ZRN88RM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak coloring#8KUK, Properties (statement)
History
- 2026-11-02: add by m2/dev
quantum Bayesianism ZX23EB60WH
| URI | m2://inv/ZX23EB60WH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7268978, quantum Bayesianism (unknown). Also nLab Bayesian interpretation of quantum mechanics
History
- 2026-10-26: add by m2/dev
Phase line ZX249FSG7A
| URI | m2://inv/ZX249FSG7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase line (mathematics), Phase line (definition). Also Wikidata Q7180953
History
- 2026-11-02: add by m2/dev
ZX25K9RWJS ZX25K9RWJS
| URI | m2://inv/ZX25K9RWJS |
|---|---|
| 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.14086#TBBU (statement). In J6EZ2RQW2F/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Dois Vizinhos ZX27PEQCBD
| URI | m2://inv/ZX27PEQCBD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ET0K, Dois Vizinhos (unknown)
History
- 2026-11-02: add by m2/dev
Initial configuration ZX2DHJ7BMW
| URI | m2://inv/ZX2DHJ7BMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/configuration.tex#defn-2, Initial configuration (definition). In PKGMM3P5QY, defn, section 85.4
History
- 2026-11-01: add by m2/v0.6.13
Olivier Guéant ZX2E123QZJ
| URI | m2://inv/ZX2E123QZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olivier Guéant, Olivier Guéant (topic). Also Wikidata Q24950692
History
- 2026-11-02: add by m2/dev
Population viability analysis ZX2EQPV30K
| URI | m2://inv/ZX2EQPV30K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population viability analysis, Population viability analysis (definition). Also Wikidata Q655530
History
- 2026-11-02: add by m2/dev
Same-topology latent-tree Ising ZX2FF9KQ28
| URI | m2://inv/ZX2FF9KQ28 |
|---|---|
| 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.24235#N9IN, Same-topology latent-tree Ising (statement)
History
- 2026-11-01: add by m2/v0.6.15
Old-coordinate incidences in the principal part ZX2T0ZE1FC
| URI | m2://inv/ZX2T0ZE1FC |
|---|---|
| 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.25101#H44O, Old-coordinate incidences in the principal part (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZX2Z1GYSC1 ZX2Z1GYSC1
| URI | m2://inv/ZX2Z1GYSC1 |
|---|---|
| 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.25543#YI6U (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZX43PX7AHM ZX43PX7AHM
| URI | m2://inv/ZX43PX7AHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#PDBN (statement). In MS7M2BJS9X/e1, theorem 4.21
History
- 2026-10-29: add by m2/v0.4.10
solidus ZX451XWHHB
| URI | m2://inv/ZX451XWHHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3803935, solidus (unknown). Also MathWorld Solidus
History
- 2026-10-26: add by m2/dev
Ralph Bunche ZX4EMF1DRP
| URI | m2://inv/ZX4EMF1DRP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#J8NI, Ralph Bunche (unknown)
History
- 2026-11-02: add by m2/dev
ZX4M76CQXA ZX4M76CQXA
| URI | m2://inv/ZX4M76CQXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26675#1YC2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZX4RVS1D9K ZX4RVS1D9K
| URI | m2://inv/ZX4RVS1D9K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#NSTL (statement). In M8F4PDHH3S/e1, lemma A.7
History
- 2026-10-27: add by m2/v0.3.5
ZX53R7QP98 ZX53R7QP98
| URI | m2://inv/ZX53R7QP98 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise:finitelymanyweierequal (exercise). In E59CDZA4DP, exercise, section 1.7.3
History
- 2026-11-01: add by m2/v0.6.13
ZX5A8YRR6D ZX5A8YRR6D
| URI | m2://inv/ZX5A8YRR6D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14667#9UBB (definition). In EV886Y8PD7/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Applications ZX5B2RXKPR
| URI | m2://inv/ZX5B2RXKPR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang–Mills equations#OFS4, Applications (example)
History
- 2026-11-02: add by m2/dev
ZX5E133H0G ZX5E133H0G
| URI | m2://inv/ZX5E133H0G |
|---|---|
| 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.28848#LDP7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jim Gray ZX5MPZ9BX2
| URI | m2://inv/ZX5MPZ9BX2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1VLQ, Jim Gray (unknown)
History
- 2026-11-02: add by m2/dev
Evolutionary algorithm ZX5NR1VTQK
| URI | m2://inv/ZX5NR1VTQK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#47XP, Evolutionary algorithm (unknown)
History
- 2026-11-02: add by m2/dev
ZX5SJ06HB9 ZX5SJ06HB9
| URI | m2://inv/ZX5SJ06HB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#CCND (statement). In NSP90G5XCQ/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.12
Plancherel theorem for spherical functions ZX5Y5BEYTR
| URI | m2://inv/ZX5Y5BEYTR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#W9QT, Plancherel theorem for spherical functions (statement)
History
- 2026-11-02: add by m2/dev
ZX66S646QW ZX66S646QW
| URI | m2://inv/ZX66S646QW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#O22L (statement). In M0SQY5EZN5/e1, lemma 3.0.7
History
- 2026-10-27: add by m2/v0.3.5
Nonidentifiability from finitely many positive radii ZX6935QGE9
| URI | m2://inv/ZX6935QGE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27961#DPRP, Nonidentifiability from finitely many positive radii (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alain Desrosières ZX6J8GFVBQ
| URI | m2://inv/ZX6J8GFVBQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alain Desrosières, Alain Desrosières (topic). Also Wikidata Q2829742
History
- 2026-11-02: add by m2/dev
\textbf{Rigid-motion equivalence of embeddings ZX6QBZMRFD
| URI | m2://inv/ZX6QBZMRFD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17032#A615, \textbf{Rigid-motion equivalence of embeddings (definition). In MXPK9A2HK2/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Chris Caldwell (mathematician) ZX6V1S3YHV
| URI | m2://inv/ZX6V1S3YHV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of websites founded before 1995#BJDI, Chris Caldwell (mathematician) (unknown)
History
- 2026-11-02: add by m2/dev
Statement ZX6XJ594RA
| URI | m2://inv/ZX6XJ594RA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Space hierarchy theorem#4AF9, Statement (statement)
History
- 2026-11-02: add by m2/dev
ZX784NH9F7 ZX784NH9F7
| URI | m2://inv/ZX784NH9F7 |
|---|---|
| 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.04271#QYIU (statement). In WBXAW9G4JB/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Picone identity ZX84YV76WB
| URI | m2://inv/ZX84YV76WB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picone identity, Picone identity (statement). Also Wikidata Q3791816
History
- 2026-11-02: add by m2/dev
Computation ZX87Y348V6
| URI | m2://inv/ZX87Y348V6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dot product#73GK, Computation (definition)
History
- 2026-11-02: add by m2/dev
ZX8B53ANKC ZX8B53ANKC
| URI | m2://inv/ZX8B53ANKC |
|---|---|
| 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 2511.17751#6NGX (statement). In J39X0NB31S/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
$\code{18}{4}{4}$: component is not shape ZX8CY9VYK6
| URI | m2://inv/ZX8CY9VYK6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39395#50HH, $\code{18}{4}{4}$: component is not shape (example). In ZDVPJ1XX5Z/e1, example 5
History
- 2026-10-30: add by m2/v0.4.12
Interior eigenvalues and approximation ZX8J8PWWXC
| URI | m2://inv/ZX8J8PWWXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31768#JDVQ, Interior eigenvalues and approximation (statement). In WC7ZECEE3P/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
ZX8N6ZWSHZ ZX8N6ZWSHZ
| URI | m2://inv/ZX8N6ZWSHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#F3DN (statement). In H71AJ341B3/e1, theorem 5.2
History
- 2026-10-31: add by m2/v0.5.6
ZX8SZ0E1B9 ZX8SZ0E1B9
| URI | m2://inv/ZX8SZ0E1B9 |
|---|---|
| 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 2311.16795#NWY6 (definition). In P6AM09F3S8/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.6
Transfinite induction ZX8VSEV8HP
| URI | m2://inv/ZX8VSEV8HP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#theorem-5, Transfinite induction (statement). In RZP28ERRZV, theorem, section 92.5
History
- 2026-11-01: add by m2/v0.6.13
ZX8WZCHRTX ZX8WZCHRTX
| URI | m2://inv/ZX8WZCHRTX |
|---|---|
| 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 2610.15744#GOTL (definition). In NV3PBZGBB7/e1, definition 1.4
History
- 2026-10-28: add by m2/v0.4.2
ZX8Z9VCPA6 ZX8Z9VCPA6
| URI | m2://inv/ZX8Z9VCPA6 |
|---|---|
| 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 2609.32174#ZS15 (statement). In GHKR740SG3/e1, theorem 11.2
History
- 2026-10-31: add by m2/v0.5.6
Luca Valerio ZX9AYHWFP5
| URI | m2://inv/ZX9AYHWFP5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#I61N, Luca Valerio (topic)
History
- 2026-11-02: add by m2/dev
ZX9BHE08N3 ZX9BHE08N3
| URI | m2://inv/ZX9BHE08N3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20410#7ZO6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZX9DVGHG6Z ZX9DVGHG6Z
| URI | m2://inv/ZX9DVGHG6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24542#DLIT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Suslin cardinal ZX9FW1AWT4
| URI | m2://inv/ZX9FW1AWT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suslin cardinal, Suslin cardinal (definition). Also Wikidata Q7649120
History
- 2026-11-02: add by m2/dev
A8 polytope ZX9MKA65S9
| URI | m2://inv/ZX9MKA65S9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A8 polytope, A8 polytope (definition). Also Wikidata Q17098528
History
- 2026-11-02: add by m2/dev
ZX9NDDSSNZ ZX9NDDSSNZ
| URI | m2://inv/ZX9NDDSSNZ |
|---|---|
| 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.01561#AGK6 (statement). In W4G7BCHYEW/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Convergence to the optimal value operator ZX9PB9VAB6
| URI | m2://inv/ZX9PB9VAB6 |
|---|---|
| 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.03242#WWFB, Convergence to the optimal value operator (statement). In MJE6HRC6PX/e1, theorem 6.5
History
- 2026-10-29: add by m2/v0.4.12
ZX9PJ723FB ZX9PJ723FB
| URI | m2://inv/ZX9PJ723FB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32058#CLKW (statement). In N0G73NM4WC/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Definition ZX9SG13N1T
| URI | m2://inv/ZX9SG13N1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Pareto distribution#24J6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Corinna Ulcigrai ZX9TSVTWJM
| URI | m2://inv/ZX9TSVTWJM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Corinna Ulcigrai, Corinna Ulcigrai (topic). Also Wikidata Q1132859
History
- 2026-11-02: add by m2/dev
Paul Chester Kainen ZX9W1Q7SGN
| URI | m2://inv/ZX9W1Q7SGN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Chester Kainen, Paul Chester Kainen (topic). Also Wikidata Q7149814
History
- 2026-11-02: add by m2/dev
Collapsing direction ZX9X10XGJ3
| URI | m2://inv/ZX9X10XGJ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#JZVQ, Collapsing direction (definition). In ZJ6VQCRDVR/e1, definition 17
History
- 2026-10-29: add by m2/v0.4.12
ZX9Z82GNCK ZX9Z82GNCK
| URI | m2://inv/ZX9Z82GNCK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#ZIJA (definition)
History
- 2026-11-02: add by m2/v0.6.18
ZX9ZEP86AQ ZX9ZEP86AQ
| URI | m2://inv/ZX9ZEP86AQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-72 (exercise). In E59CDZA4DP, exercise, section 4.6.3
History
- 2026-11-01: add by m2/v0.6.13
ZXA0XJ12F1 ZXA0XJ12F1
| URI | m2://inv/ZXA0XJ12F1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/opps.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 69.4
History
- 2026-11-01: add by m2/v0.6.13
ZXA7F41NXN ZXA7F41NXN
| URI | m2://inv/ZXA7F41NXN |
|---|---|
| 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.12640#TIIT (statement). In QP9FE1D6PG/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
Bid-invariant bonus makes low bids dominate honest slam bids ZXA8EDMKX8
| URI | m2://inv/ZXA8EDMKX8 |
|---|---|
| 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.26265#L10X, Bid-invariant bonus makes low bids dominate honest slam bids (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition ZXA91R4S7Y
| URI | m2://inv/ZXA91R4S7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski distance#0XNR, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZXA9W1DKPK ZXA9W1DKPK
| URI | m2://inv/ZXA9W1DKPK |
|---|---|
| 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.30519#CFOV (statement). In GQQZNRYK15/e1, proposition 3.5
History
- 2026-10-31: add by m2/v0.5.6
ZXAQ19PE3D ZXAQ19PE3D
| URI | m2://inv/ZXAQ19PE3D |
|---|---|
| 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.19296#TZAD (statement). In WFR2WNW8NB/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
ZXAQAZDDY2 ZXAQAZDDY2
| URI | m2://inv/ZXAQAZDDY2 |
|---|---|
| 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.09522#FOUM (statement). In KKR9167FPT/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.10
On notations ZXB09Q40B7
| URI | m2://inv/ZXB09Q40B7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radical axis#OOJE, On notations (definition)
History
- 2026-11-02: add by m2/dev
ZXB6H76XFQ ZXB6H76XFQ
| URI | m2://inv/ZXB6H76XFQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
ZXBC7008J7 ZXBC7008J7
| URI | m2://inv/ZXBC7008J7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/using-addition.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 72.1
History
- 2026-11-01: add by m2/v0.6.13
ZXBG5VDY01 ZXBG5VDY01
| URI | m2://inv/ZXBG5VDY01 |
|---|---|
| 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.26896#J0H5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hyper Domination Index ZXBKVHN008
| URI | m2://inv/ZXBKVHN008 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10221#HXEQ, Hyper Domination Index (definition). In 9Z5M655EPV/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10
Morgan Prize ZXBP3PRYBQ
| URI | m2://inv/ZXBP3PRYBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morgan Prize, Morgan Prize (definition). Also Wikidata Q2005981
History
- 2026-11-02: add by m2/dev
ZXBVSDATKY ZXBVSDATKY
| URI | m2://inv/ZXBVSDATKY |
|---|---|
| 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.28075#FGLG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorems ZXBW5AWDR7
| URI | m2://inv/ZXBW5AWDR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heap (mathematics)#M1WL, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Sandra Dingli ZXBXTVFY6S
| URI | m2://inv/ZXBXTVFY6S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sandra Dingli, Sandra Dingli (topic). Also Wikidata Q7416592
History
- 2026-11-02: add by m2/dev
ZXC0J7N5K9 ZXC0J7N5K9
| URI | m2://inv/ZXC0J7N5K9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#NYHR (statement). In TB1294GY5X/e1, proposition 5.21
History
- 2026-10-27: add by m2/v0.4.2
ZXC4EHYXHY ZXC4EHYXHY
| URI | m2://inv/ZXC4EHYXHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#J8T1 (statement). In VNE8N0D2FB/e1, proposition 4.12
History
- 2026-10-31: add by m2/v0.5.6
ZXC8XDY17G ZXC8XDY17G
| URI | m2://inv/ZXC8XDY17G |
|---|---|
| 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.20510#2WQ4 (statement). In 24KCRT4VT2/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.4.2
ZXCBTQNNKE ZXCBTQNNKE
| URI | m2://inv/ZXCBTQNNKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16704#Y55K (statement). In Q7CWPC7PXY/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Empty function ZXCFF9STWG
| URI | m2://inv/ZXCFF9STWG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function (mathematics)#XT9H, Empty function (unknown)
History
- 2026-11-02: add by m2/dev
ZXCH76T743 ZXCH76T743
| URI | m2://inv/ZXCH76T743 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#H7V1 (definition). In 8Z47D12KSX/e1, definition 12.1
History
- 2026-10-29: add by m2/v0.4.10
Tree size of a two-block split ZXCHNC3QXC
| URI | m2://inv/ZXCHNC3QXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15265#OGR6, Tree size of a two-block split (statement). In TCQ1JBR84Y/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
69 ZXCRW1AM66
| URI | m2://inv/ZXCRW1AM66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 69 (number), 69 (definition). Also Wikidata Q713048
History
- 2026-11-02: add by m2/dev
ZXD7SQQBB9 ZXD7SQQBB9
| URI | m2://inv/ZXD7SQQBB9 |
|---|---|
| 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.23128#XYR8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZXD8X5TGX2 ZXD8X5TGX2
| URI | m2://inv/ZXD8X5TGX2 |
|---|---|
| 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.12413#BX0J (statement). In 6EJ8J60SP8/e1, theorem 16
History
- 2026-10-28: add by m2/v0.4.2
ZXDBQ6TZXV ZXDBQ6TZXV
| URI | m2://inv/ZXDBQ6TZXV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#55KM (definition). In H72E12TYHA/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.0
Gheorghe Păun ZXDEJAJ9SC
| URI | m2://inv/ZXDEJAJ9SC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QGZL, Gheorghe Păun (unknown)
History
- 2026-11-02: add by m2/dev
Directional stability of the Reeb Transform ZXDH8AXZQP
| URI | m2://inv/ZXDH8AXZQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#O2DQ, Directional stability of the Reeb Transform (statement). In ZJ6VQCRDVR/e1, corollary 7
History
- 2026-10-29: add by m2/v0.4.12
Democratic Republic of the Congo ZXDPE3M242
| URI | m2://inv/ZXDPE3M242 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by past and projected future population#4CCZ, Democratic Republic of the Congo (unknown)
History
- 2026-11-02: add by m2/dev
County of Two Hills No. 21 ZXDZDBF404
| URI | m2://inv/ZXDZDBF404 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#RTS9, County of Two Hills No. 21 (unknown)
History
- 2026-11-02: add by m2/dev
ZXE2YPXS5N ZXE2YPXS5N
| URI | m2://inv/ZXE2YPXS5N |
|---|---|
| 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.19464#6EWK (statement). In G8JCZ109A9/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Properties ZXE36P3Q9M
| URI | m2://inv/ZXE36P3Q9M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive map#QJKU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Theorem: The L-function of a Maass form ZXEC87672E
| URI | m2://inv/ZXEC87672E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maass wave form#BXOE, Theorem: The L-function of a Maass form (statement)
History
- 2026-11-02: add by m2/dev
ZXEEJFP16C ZXEEJFP16C
| URI | m2://inv/ZXEEJFP16C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00916#YU3R (statement). In 3MMFCTKPPJ/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.12
ZXEGQVG0FF ZXEGQVG0FF
| URI | m2://inv/ZXEGQVG0FF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#85QW (statement). In XM98BX97RT/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Wang Fan ZXEHF11GSK
| URI | m2://inv/ZXEHF11GSK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#2TQH, Wang Fan (unknown)
History
- 2026-11-02: add by m2/dev
Local Gan–Gross–Prasad conjecture ZXEJZG9S8C
| URI | m2://inv/ZXEJZG9S8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gan–Gross–Prasad conjecture#6AD0, Local Gan–Gross–Prasad conjecture (statement)
History
- 2026-11-02: add by m2/dev
Nonchaotic behavior of quadratic differential systems ZXEPS8ANZF
| URI | m2://inv/ZXEPS8ANZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaos theory#JEJS, Nonchaotic behavior of quadratic differential systems (unknown)
History
- 2026-11-02: add by m2/dev
empty category ZXET4RT9WQ
| URI | m2://inv/ZXET4RT9WQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5374730, empty category (unknown). Also nLab empty category
History
- 2026-10-26: add by m2/dev
An example of a description number ZXEZ9JJX8K
| URI | m2://inv/ZXEZ9JJX8K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Description number#M5D9, An example of a description number (example)
History
- 2026-11-02: add by m2/dev
ZXF4V4PTD6 ZXF4V4PTD6
| URI | m2://inv/ZXF4V4PTD6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-15 (proof). In N54F33XE07, proof, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Thomas Robert Malthus ZXF73YG5BZ
| URI | m2://inv/ZXF73YG5BZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13526, Thomas Robert Malthus (unknown). Also EoM Malthus,_Thomas_Robert
History
- 2026-10-26: add by m2/dev
Lions–Lax–Milgram theorem ZXFDF0SDS8
| URI | m2://inv/ZXFDF0SDS8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BNR9, Lions–Lax–Milgram theorem (statement)
History
- 2026-11-02: add by m2/dev
Gaussian convex order as a continuous-time condition ZXFDM21G3P
| URI | m2://inv/ZXFDM21G3P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#GF59, Gaussian convex order as a continuous-time condition (statement). In 9YAE8FNQST/e1, corollary 15.2
History
- 2026-10-30: add by m2/v0.4.12
ZXFGADD0KM ZXFGADD0KM
| URI | m2://inv/ZXFGADD0KM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#8E3Z (statement). In VQA35Q7C00/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Construction ZXFHB7E91H
| URI | m2://inv/ZXFHB7E91H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double origin topology#68XC, Construction (definition)
History
- 2026-11-02: add by m2/dev
Rao–Blackwell theorem ZXFSBEVVDX
| URI | m2://inv/ZXFSBEVVDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9FZZ, Rao–Blackwell theorem (statement)
- wikipedia: Wikipedia List of mathematical proofs#9GFU, Rao–Blackwell theorem (statement)
- wikipedia: Wikipedia List of inequalities#W6RN, Rao–Blackwell theorem (statement)
History
- 2026-11-02: add by m2/dev
ZXFVH9QAMX ZXFVH9QAMX
| URI | m2://inv/ZXFVH9QAMX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00409#8RIC (statement). In YQT2APQPWD/e1, lemma 8.2
History
- 2026-10-30: add by m2/v0.4.12
Ernst August Weiß ZXG11B5CD5
| URI | m2://inv/ZXG11B5CD5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernst August Weiß, Ernst August Weiß (topic). Also Wikidata Q19597127
History
- 2026-11-02: add by m2/dev
\'Alvarez-Kordyukov ZXG28KQ7TK
| URI | m2://inv/ZXG28KQ7TK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#YSDB, \'Alvarez-Kordyukov (statement). In 7CK21JGM5A/e1, lemma 5.16
History
- 2026-10-27: add by m2/v0.3.5
Identity axiom ZXG8MW7XCK
| URI | m2://inv/ZXG8MW7XCK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operad#9WIZ, Identity axiom (statement)
History
- 2026-11-02: add by m2/dev
Genetic drift ZXGCCVP3A0
| URI | m2://inv/ZXGCCVP3A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genetic drift, Genetic drift (definition). Also Wikidata Q486420
History
- 2026-11-02: add by m2/dev
ZXGNPH6Y8P ZXGNPH6Y8P
| URI | m2://inv/ZXGNPH6Y8P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20944#4K4N (definition). In DRRKZR6CQC/e1, definition
History
- 2026-10-27: add by m2/v0.4.2
step function ZXGSFK61TQ
| URI | m2://inv/ZXGSFK61TQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Step function 0AJXYH4DDQ |
Mentions
- wikidata: Wikidata Q917657, step function (definition). Also MathWorld StepFunction, nLab step function, ProofWiki Definition:Step_Function
- wikipedia: Wikipedia Step function, Step function (definition). Also Wikidata Q917657
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
ZXGXSKCBFZ ZXGXSKCBFZ
| URI | m2://inv/ZXGXSKCBFZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04694#45OU (definition). In W9A0Z2NBMA/e1, definition 6
History
- 2026-10-29: add by m2/v0.4.12
Formal statement ZXH5MZMS1G
| URI | m2://inv/ZXH5MZMS1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard factorization theorem#8NOI, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
strict 2-category ZXHAB773NY
| URI | m2://inv/ZXHAB773NY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | 2-category CQACXG10JZ |
Mentions
- wikidata: Wikidata Q4596935, strict 2-category (unknown). Also nLab 2-category, nLab strict 2-category
- wikipedia: Wikipedia 2-category, 2-category (definition). Also Wikidata Q4596935
History
- 2026-10-26: add by m2/dev
Mahlo ordinal ZXHDMM654Y
| URI | m2://inv/ZXHDMM654Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large countable ordinal#C25C, Mahlo ordinal (unknown)
History
- 2026-11-02: add by m2/dev
ZXHESW9SR8 ZXHESW9SR8
| URI | m2://inv/ZXHESW9SR8 |
|---|---|
| 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.05142#2VM9 (statement). In 8A0HVCGRR8/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
ZXHJBG5PED ZXHJBG5PED
| URI | m2://inv/ZXHJBG5PED |
|---|---|
| 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.34613#EMFA (statement). In JPR86T9Y78/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
Harald Cramér ZXHM9J1PZJ
| URI | m2://inv/ZXHM9J1PZJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harald Cramér, Harald Cramér (topic). Also Wikidata Q471777
History
- 2026-11-02: add by m2/dev
Empirical risk minimization ZXHN1W7HSW
| URI | m2://inv/ZXHN1W7HSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical risk minimization, Empirical risk minimization (definition). Also Wikidata Q5374254
History
- 2026-11-02: add by m2/dev
ZXHNNFCS4S ZXHNNFCS4S
| URI | m2://inv/ZXHNNFCS4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 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.38017#GEH4 (statement). In SYFKJC9X5M/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Reflected Brownian motion ZXHT59XHFA
| URI | m2://inv/ZXHT59XHFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflected Brownian motion, Reflected Brownian motion (definition). Also Wikidata Q7307228
History
- 2026-11-02: add by m2/dev
ZXHT9H4DJA ZXHT9H4DJA
| URI | m2://inv/ZXHT9H4DJA |
|---|---|
| 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.40156#G3K9 (statement). In PP8BEHWK33/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
ZXHWRDCNJN ZXHWRDCNJN
| URI | m2://inv/ZXHWRDCNJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#DVZL (statement). In TC5QA4AB4Z/e1, corollary 4.41
History
- 2026-10-30: add by m2/v0.4.12
Alternative definitions ZXJ0WR503Y
| URI | m2://inv/ZXJ0WR503Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius group#SGYB, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
Aleksander Grużewski ZXJ1C4EZYA
| URI | m2://inv/ZXJ1C4EZYA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NGZJ, Aleksander Grużewski (unknown)
History
- 2026-11-02: add by m2/dev
$a_{R}$ map ZXJ2M3QX8N
| URI | m2://inv/ZXJ2M3QX8N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28454#1NES, $a_{R}$ map (definition)
History
- 2026-11-01: add by m2/v0.6.15
ZXJ4TRNAT4 ZXJ4TRNAT4
| URI | m2://inv/ZXJ4TRNAT4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#proof-4 (proof). In Y91XFCEVHQ, proof, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
second kind ZXJ5DSADF8
| URI | m2://inv/ZXJ5DSADF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#SJNH, second kind (definition)
History
- 2026-11-02: add by m2/dev
ZXJ7RWYDC9 ZXJ7RWYDC9
| URI | m2://inv/ZXJ7RWYDC9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#CESC (statement). In XYCBKM4WKY/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
ZXJ96EC3BB ZXJ96EC3BB
| URI | m2://inv/ZXJ96EC3BB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#1E9Z (statement). In WRE0P7V6Z3/e1, lemma 9.8
History
- 2026-10-30: add by m2/v0.4.12
Kalb–Ramond field ZXJBP05ECQ
| URI | m2://inv/ZXJBP05ECQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#MFS5, Kalb–Ramond field (unknown)
History
- 2026-11-02: add by m2/dev
Enumerations of specific permutation classes ZXJE5JSZ4V
| URI | m2://inv/ZXJE5JSZ4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enumerations of specific permutation classes, Enumerations of specific permutation classes (definition). Also Wikidata Q5380895
History
- 2026-11-02: add by m2/dev
ZXJJFF1GGD ZXJJFF1GGD
| URI | m2://inv/ZXJJFF1GGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#0ZA3 (statement). In XXN6KKXPYF/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
ZXJQVT9CDZ ZXJQVT9CDZ
| URI | m2://inv/ZXJQVT9CDZ |
|---|---|
| Kind | conjecture |
| 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.07445#DIK3 (conjecture). In F1BM3Q8125/e1, conjecture 4.1
History
- 2026-10-29: add by m2/v0.4.10
Robert Arnott Wilson ZXK3BZF6RG
| URI | m2://inv/ZXK3BZF6RG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Arnott Wilson, Robert Arnott Wilson (topic). Also Wikidata Q24251
History
- 2026-11-02: add by m2/dev
Convexity from concave section supports ZXK67432W4
| URI | m2://inv/ZXK67432W4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26129#29AX, Convexity from concave section supports (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZXK6T9WY7M ZXK6T9WY7M
| URI | m2://inv/ZXK6T9WY7M |
|---|---|
| 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.10745#AFVI (statement). In 5MJ4NJ5ZCV/e1, corollary 2.29
History
- 2026-10-28: add by m2/v0.4.3
Hopf coordinates ZXKCNMB5NC
| URI | m2://inv/ZXKCNMB5NC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-sphere#7HC4, Hopf coordinates (unknown)
History
- 2026-11-02: add by m2/dev
ZXKKJM5RK8 ZXKKJM5RK8
| URI | m2://inv/ZXKKJM5RK8 |
|---|---|
| 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 2303.10963#2ROY (statement). In F32XWYWG8E/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
ZXKMKP3P1E ZXKMKP3P1E
| URI | m2://inv/ZXKMKP3P1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34845#3510 (statement). In SBZNH932ZV/e1, theorem 2.10
History
- 2026-10-30: add by m2/v0.4.12
R. James Milgram ZXKNMJR8N9
| URI | m2://inv/ZXKNMJR8N9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PEBI, R. James Milgram (unknown)
History
- 2026-11-02: add by m2/dev
Hilton's theorem ZXKNR3GCXC
| URI | m2://inv/ZXKNR3GCXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilton's theorem, Hilton's theorem (statement). Also Wikidata Q5764405
History
- 2026-11-02: add by m2/dev
ZXM3H23J3N ZXM3H23J3N
| URI | m2://inv/ZXM3H23J3N |
|---|---|
| Kind | conjecture |
| 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.37450#ALKQ (conjecture). In FP05Z6EBV4/e1, conjecture 4.2
History
- 2026-10-30: add by m2/v0.4.12
Asymptotic analysis ZXM3YZ25N8
| URI | m2://inv/ZXM3YZ25N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#2LH5, Asymptotic analysis (definition)
History
- 2026-11-02: add by m2/dev
Eremenko--Lyubich ; Goldberg--Keen ZXM4ZNSF1Z
| URI | m2://inv/ZXM4ZNSF1Z |
|---|---|
| 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 2609.23834#XLRY, Eremenko--Lyubich ; Goldberg--Keen (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZXM72JA5NT ZXM72JA5NT
| URI | m2://inv/ZXM72JA5NT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13931#TCYS (statement). In EXA79VR78Q/e1, theorem 2.14
History
- 2026-10-28: add by m2/v0.4.2
ZXM77ZKSH4 ZXM77ZKSH4
| URI | m2://inv/ZXM77ZKSH4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#9HR8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Generalized Vandermonde's identity ZXMN45KDPR
| URI | m2://inv/ZXMN45KDPR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vandermonde's identity#MBB0, Generalized Vandermonde's identity (statement)
History
- 2026-11-02: add by m2/dev
ZXMWJNR96Z ZXMWJNR96Z
| URI | m2://inv/ZXMWJNR96Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#OQCU (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZXMWPV4C03 ZXMWPV4C03
| URI | m2://inv/ZXMWPV4C03 |
|---|---|
| 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 2112.05010#JZSP (statement). In 4SZNPS3Z00/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.6
ZXN5ZRJKXA ZXN5ZRJKXA
| URI | m2://inv/ZXN5ZRJKXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#3JG4 (statement). In TB1294GY5X/e1, proposition 1.14
History
- 2026-10-27: add by m2/v0.4.2
codimension ZXN6Y7YWZQ
| URI | m2://inv/ZXN6Y7YWZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1778247, codimension (unknown). Also EoM Codimension, MathWorld Codimension, nLab codimension
- wikipedia: Wikipedia Codimension, Codimension (definition). Also Wikidata Q1778247
History
- 2026-10-26: add by m2/dev
ZXN8VNJHRY ZXN8VNJHRY
| URI | m2://inv/ZXN8VNJHRY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-1.xml#activity-1 (exercise). In 649HGZKE96, activity, section 6.1.2
History
- 2026-11-01: add by m2/v0.6.13
ZXNBBV9JHP ZXNBBV9JHP
| URI | m2://inv/ZXNBBV9JHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#RN6D (statement). In 49V3ANDZTY/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.3.5
The Einstein equivalence principle ZXNG3J9YD7
| URI | m2://inv/ZXNG3J9YD7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternatives to general relativity#CERY, The Einstein equivalence principle (statement)
History
- 2026-11-02: add by m2/dev
ZXNM11SB20 ZXNM11SB20
| URI | m2://inv/ZXNM11SB20 |
|---|---|
| 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#UD6U (statement). In WS5KWBEG5Q/e1, theorem 5
History
- 2026-10-27: add by m2/v0.4.0
Left tail ZXNTH754J2
| URI | m2://inv/ZXNTH754J2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31345#IQZ3, Left tail (statement). In R4MX33WNRX/e1, theorem 3.6
History
- 2026-10-31: add by m2/v0.5.6
ZXNVRR7HXV ZXNVRR7HXV
| URI | m2://inv/ZXNVRR7HXV |
|---|---|
| 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.16886#YIT6 (statement). In Y8QQAH7VCF/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
ZXNY22BAJG ZXNY22BAJG
| URI | m2://inv/ZXNY22BAJG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/localization.tex#proof-4 (proof). In RZP28ERRZV, proof, section 21.7
History
- 2026-11-01: add by m2/v0.6.13
connected component ZXP42QE4R7
| URI | m2://inv/ZXP42QE4R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#RC44, connected component (definition)
History
- 2026-11-02: add by m2/dev
ZXP4KW1E3T ZXP4KW1E3T
| URI | m2://inv/ZXP4KW1E3T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/interpolation/separation.tex#lem:sep1 (statement). In PKGMM3P5QY, lem, section 47.2
History
- 2026-11-01: add by m2/v0.6.13
ZXP6Z1B1B4 ZXP6Z1B1B4
| URI | m2://inv/ZXP6Z1B1B4 |
|---|---|
| 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.36181#51AT (statement). In 1KSE33PVS6/e1, proposition 86
History
- 2026-10-30: add by m2/v0.4.12
ZXPD1AD7C5 ZXPD1AD7C5
| URI | m2://inv/ZXPD1AD7C5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#JJCM (statement). In V6EPE8XHAD/e1, lemma A.6
History
- 2026-10-29: add by m2/v0.4.10
Exact optimality for one returned output ZXPDKM8FRZ
| URI | m2://inv/ZXPDKM8FRZ |
|---|---|
| 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.31607#S56X, Exact optimality for one returned output (statement). In H9X9WZ17TT/e1, theorem 6
History
- 2026-10-31: add by m2/v0.5.6
Removing a bounded entropy defect ZXPJX1ZHFV
| URI | m2://inv/ZXPJX1ZHFV |
|---|---|
| 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.03683#2MKI, Removing a bounded entropy defect (statement). In 14AMXF6X2V/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.12
ZXPP9XP0F7 ZXPP9XP0F7
| URI | m2://inv/ZXPP9XP0F7 |
|---|---|
| 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 2411.07061#8K0C (statement). In S988ZVA1QE/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.6
ZXPPYMN3RH ZXPPYMN3RH
| URI | m2://inv/ZXPPYMN3RH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25129#98JR (definition)
History
- 2026-11-01: add by m2/v0.6.15
May Beenken ZXPW1EAC9S
| URI | m2://inv/ZXPW1EAC9S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia May Beenken, May Beenken (topic). Also Wikidata Q28648726
History
- 2026-11-02: add by m2/dev
ZXPZESQQ3Q ZXPZESQQ3Q
| URI | m2://inv/ZXPZESQQ3Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/lindenbaums-lemma.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 51.3
History
- 2026-11-01: add by m2/v0.6.13
infinity ZXQ21H8S79
| URI | m2://inv/ZXQ21H8S79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#RSNQ, infinity (definition)
History
- 2026-11-02: add by m2/dev
ZXQ22RAKGF ZXQ22RAKGF
| URI | m2://inv/ZXQ22RAKGF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-3-2-2.xml#act-3-2-2 (exercise). In 907G4C4EJ1, activity, section 3.2.2
History
- 2026-11-01: add by m2/v0.6.13
ZXQ2ZS6NYX ZXQ2ZS6NYX
| URI | m2://inv/ZXQ2ZS6NYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#P276 (statement). In 9ZD87293QS/e1, lemma 3.29
History
- 2026-10-27: add by m2/v0.4.0
Argument from incredulity ZXQ5TABR2Z
| URI | m2://inv/ZXQ5TABR2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from incredulity, Argument from incredulity (definition). Also Wikidata Q85742893
History
- 2026-11-02: add by m2/dev
subscript ZXQBMT21G1
| URI | m2://inv/ZXQBMT21G1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11712069, subscript (unknown). Also MathWorld Subscript
History
- 2026-10-26: add by m2/dev
IQR ZXQCZYDAXD
| URI | m2://inv/ZXQCZYDAXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Midhinge#YJV7, IQR (definition)
History
- 2026-11-02: add by m2/dev
Entropy function and $\phi$-divergence ZXQF2SW3VP
| URI | m2://inv/ZXQF2SW3VP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07162#NZ75, Entropy function and $\phi$-divergence (definition). In MQEB9ZHQAT/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Gianguido Dall'Agata ZXQN4XT9A9
| URI | m2://inv/ZXQN4XT9A9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q57001239, Gianguido Dall'Agata (unknown). Also nLab Gianguido Dall'Agata
History
- 2026-10-26: add by m2/dev
ZXQR1CJVVR ZXQR1CJVVR
| URI | m2://inv/ZXQR1CJVVR |
|---|---|
| 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.16853#CGXZ (statement). In Y43AAKZ7E6/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
ZXQSED6MEQ ZXQSED6MEQ
| URI | m2://inv/ZXQSED6MEQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/morphism.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 86.7
History
- 2026-11-01: add by m2/v0.6.13
Agrippa code ZXR2109PZ8
| URI | m2://inv/ZXR2109PZ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerology#QMOL, Agrippa code (unknown)
History
- 2026-11-02: add by m2/dev
ZXR7R6ZJ5T ZXR7R6ZJ5T
| URI | m2://inv/ZXR7R6ZJ5T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#S9S2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Herman Verlinde ZXR8RZJPX5
| URI | m2://inv/ZXR8RZJPX5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q794633, Herman Verlinde (unknown). Also nLab Herman Verlinde
History
- 2026-10-26: add by m2/dev
Elizaveta Levina ZXR8ZZZXWR
| URI | m2://inv/ZXR8ZZZXWR |
|---|---|
| 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#NRV2, Elizaveta Levina (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#Y2PE, Elizaveta Levina (topic)
History
- 2026-11-02: add by m2/dev
ZXR99YEFHC ZXR99YEFHC
| URI | m2://inv/ZXR99YEFHC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22759#52NR (definition)
History
- 2026-11-02: add by m2/v0.6.17
ZXR9JHH1AW ZXR9JHH1AW
| URI | m2://inv/ZXR9JHH1AW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33250#Q3R1 (statement). In JCTD510XJ0/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
ZXRJ42DVNQ ZXRJ42DVNQ
| URI | m2://inv/ZXRJ42DVNQ |
|---|---|
| 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.39505#JEFZ (statement). In WAXS6FS388/e1, theorem E
History
- 2026-10-30: add by m2/v0.4.12
Pointed version ZXRWWC4PYQ
| URI | m2://inv/ZXRWWC4PYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-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.03865#6X0S, Pointed version (statement). In G3D1YR20BJ/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.12
Singular support ZXRWYKEAX6
| URI | m2://inv/ZXRWYKEAX6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support (mathematics)#HMQX, Singular support (unknown)
History
- 2026-11-02: add by m2/dev
ZXS0Y5VN5S ZXS0Y5VN5S
| URI | m2://inv/ZXS0Y5VN5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#MWP6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZXSC58SW04 ZXSC58SW04
| URI | m2://inv/ZXSC58SW04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#6VHN (statement). In X923ZEY423/e1, lemma 1.6.5
History
- 2026-10-27: add by m2/v0.3.5
ZXSK36QDYS ZXSK36QDYS
| URI | m2://inv/ZXSK36QDYS |
|---|---|
| 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 2306.08237#VZY3 (statement). In E22A2MFR4Y/e1, theorem B.1
History
- 2026-10-27: add by m2/v0.3.6
ZXSP5ZCBVR ZXSP5ZCBVR
| URI | m2://inv/ZXSP5ZCBVR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#TEDQ (definition). In V7SN19J84T/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Examples ZXSQDDXEQV
| URI | m2://inv/ZXSQDDXEQV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple space#F6XI, Examples (example)
History
- 2026-11-02: add by m2/dev
Martin's maximum ZXT00FDVZC
| URI | m2://inv/ZXT00FDVZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statements independent of ZFC#5P9S, Martin's maximum (definition)
History
- 2026-11-02: add by m2/dev
Non-examples ZXT2FYCWE1
| URI | m2://inv/ZXT2FYCWE1 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete intersection#IG3H, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Half-period identity ZXT3R6G9GA
| URI | m2://inv/ZXT3R6G9GA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22305#5C9Q, Half-period identity (statement). In P6FTXTV09Q/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.0
ZXTAS5KVSR ZXTAS5KVSR
| URI | m2://inv/ZXTAS5KVSR |
|---|---|
| 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 2609.24023#TUBG (definition)
History
- 2026-11-02: add by m2/v0.6.17
Cocurvature ZXTC9VDZD3
| URI | m2://inv/ZXTC9VDZD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cocurvature, Cocurvature (definition). Also Wikidata Q5139919
History
- 2026-11-02: add by m2/dev
Hao Helen Zhang ZXTCN0X2B5
| URI | m2://inv/ZXTCN0X2B5 |
|---|---|
| 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#KCI5, Hao Helen Zhang (topic)
History
- 2026-11-02: add by m2/dev
Properties ZXTJ6M1A65
| URI | m2://inv/ZXTJ6M1A65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer matrix#YHS9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Probable error ZXTMG59KJB
| URI | m2://inv/ZXTMG59KJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WQJR, Probable error (definition)
History
- 2026-11-02: add by m2/dev
ZXTQ6MT2E5 ZXTQ6MT2E5
| URI | m2://inv/ZXTQ6MT2E5 |
|---|---|
| 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 2405.09294#YC8Y (statement). In 2WZQC0TKVK/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
Mihalis Dafermos ZXTQXJMJ72
| URI | m2://inv/ZXTQXJMJ72 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mihalis Dafermos, Mihalis Dafermos (topic). Also Wikidata Q6845224
History
- 2026-11-02: add by m2/dev
ZXTSHGWSJC ZXTSHGWSJC
| URI | m2://inv/ZXTSHGWSJC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#PTS4 (example). In 8SVVEVGMNE/e1, example 5.4
History
- 2026-10-27: add by m2/v0.3.5
ZXTSK49EK4 ZXTSK49EK4
| URI | m2://inv/ZXTSK49EK4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#1PFW (definition). In 9B0X8YPF3P/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
ZXTTNN3D9G ZXTTNN3D9G
| URI | m2://inv/ZXTTNN3D9G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-34 (exercise). In E59CDZA4DP, exercise, section 1.4.4
History
- 2026-11-01: add by m2/v0.6.13
Causality of the synthesis ZXTVQGCKEE
| URI | m2://inv/ZXTVQGCKEE |
|---|---|
| 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.21808#W4HU, Causality of the synthesis (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition ZXTZF261G2
| URI | m2://inv/ZXTZF261G2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth function#XIXV, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZXV6KHAG9S ZXV6KHAG9S
| URI | m2://inv/ZXV6KHAG9S |
|---|---|
| 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 math/9201244#IH5W (statement). In 7D3HCN21MK/e1, fact 3.8
History
- 2026-10-27: add by m2/v0.3.5
Applying Bayes' theorem ZXV750R7X9
| URI | m2://inv/ZXV750R7X9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive probability#A8T9, Applying Bayes' theorem (statement)
History
- 2026-11-02: add by m2/dev
ZXV8EJKM6G ZXV8EJKM6G
| URI | m2://inv/ZXV8EJKM6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17736#FOJ5 (statement). In 2F182H14AM/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
ZXV916EN19 ZXV916EN19
| URI | m2://inv/ZXV916EN19 |
|---|---|
| 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.04935#N8R0 (statement). In 7WVPJVPQH2/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Generalization ZXVH075WVR
| URI | m2://inv/ZXVH075WVR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-price sealed-bid auction#5SCU, Generalization (statement)
History
- 2026-11-02: add by m2/dev
ZXVJ8P0PGY ZXVJ8P0PGY
| URI | m2://inv/ZXVJ8P0PGY |
|---|---|
| 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.26500#HME1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZXVM4WZE9P ZXVM4WZE9P
| URI | m2://inv/ZXVM4WZE9P |
|---|---|
| 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.32478#Q4QH (statement). In 5QBSYDC2XH/e1, theorem 3.3
History
- 2026-10-31: add by m2/v0.5.6
Properties ZXVRT4A7W8
| URI | m2://inv/ZXVRT4A7W8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlson symmetric form#VLBL, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZXVS8Z69XN ZXVS8Z69XN
| URI | m2://inv/ZXVS8Z69XN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2601.13782#WG6B (statement). In 12RSHWCNMX/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
Zariski surface ZXVYBTY53Q
| URI | m2://inv/ZXVYBTY53Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#ZRKU, Zariski surface (definition)
History
- 2026-11-02: add by m2/dev
Addition theorem for position ZXVYMCJE5X
| URI | m2://inv/ZXVYMCJE5X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid body#HE9M, Addition theorem for position (statement)
History
- 2026-11-02: add by m2/dev
Matroid oracle ZXVZJW9HAP
| URI | m2://inv/ZXVZJW9HAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid oracle, Matroid oracle (definition). Also Wikidata Q6787905
History
- 2026-11-02: add by m2/dev
cardinal number, exponentiation of ZXW23CNGA8
| URI | m2://inv/ZXW23CNGA8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.2/cardinal-number-exponentiation-of, cardinal number, exponentiation of (concept). In N54F33XE07, index, section C.2
History
- 2026-11-01: add by m2/v0.6.13
Quadratic free energy ZXW3SXGHDC
| URI | m2://inv/ZXW3SXGHDC |
|---|---|
| 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#29M2, Quadratic free energy (statement). In NCYKB4QG5P/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.3
ZXW4MT5197 ZXW4MT5197
| URI | m2://inv/ZXW4MT5197 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#QMT7 (statement). In RYWAX33Z51/e1, lemma 5.11
History
- 2026-10-31: add by m2/v0.5.6
Learning theory (statistics) ZXW4P5CR6S
| URI | m2://inv/ZXW4P5CR6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GTK9, Learning theory (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Maximal entropy random walk ZXW88N67J6
| URI | m2://inv/ZXW88N67J6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal entropy random walk, Maximal entropy random walk (definition). Also Wikidata Q30591435
History
- 2026-11-02: add by m2/dev
open formula ZXW9JN7GH7
| URI | m2://inv/ZXW9JN7GH7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q830486, open formula (unknown). Also MathWorld OpenSententialFormula
- wikipedia: Wikipedia Open formula, Open formula (statement). Also Wikidata Q830486
History
- 2026-10-26: add by m2/dev
ZXWAW1891C ZXWAW1891C
| URI | m2://inv/ZXWAW1891C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.02634#4ZBX (statement). In EZ6PAF0MXH/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Victor Vâlcovici ZXWGX6TYPT
| URI | m2://inv/ZXWGX6TYPT |
|---|---|
| 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#ITAQ, Victor Vâlcovici (topic)
History
- 2026-11-02: add by m2/dev
Naum Il'ich Feldman ZXWJKGN9BR
| URI | m2://inv/ZXWJKGN9BR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naum Il'ich Feldman, Naum Il'ich Feldman (topic). Also Wikidata Q37732550
History
- 2026-11-02: add by m2/dev
Construction ZXWN1NV6D8
| URI | m2://inv/ZXWN1NV6D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crossed product#NSEG, Construction (definition)
History
- 2026-11-02: add by m2/dev
ZXWSMRRVNT ZXWSMRRVNT
| URI | m2://inv/ZXWSMRRVNT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#QAB6 (statement). In 42XHT97E64/e1, corollary 6.11
History
- 2026-10-29: add by m2/v0.4.12
Smith conjecture ZXWSNPKCRD
| URI | m2://inv/ZXWSNPKCRD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#G040, Smith conjecture (statement)
History
- 2026-11-02: add by m2/dev
ZXWTF3XDBJ ZXWTF3XDBJ
| URI | m2://inv/ZXWTF3XDBJ |
|---|---|
| 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.13852#RN0U (statement). In SXTGSAH3WF/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Frobenius group ZXWZKTNWF6
| URI | m2://inv/ZXWZKTNWF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius group, Frobenius group (definition). Also Wikidata Q1457165
History
- 2026-11-02: add by m2/dev
ZXX9P3GSXV ZXX9P3GSXV
| URI | m2://inv/ZXX9P3GSXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11031#Y0BG (statement). In 9DMJXFRQN9/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.3
ZXXGQNP404 ZXXGQNP404
| URI | m2://inv/ZXXGQNP404 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.08081#9P6X (statement). In FJ8XVQ6F0T/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.4.0
Accountancy token ZXXK98KMSE
| URI | m2://inv/ZXXK98KMSE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of ancient numeral systems#JMEA, Accountancy token (unknown)
History
- 2026-11-02: add by m2/dev
Kaplansky conjecture ZXXP39SJNM
| URI | m2://inv/ZXXP39SJNM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farrell–Jones conjecture#EKFJ, Kaplansky conjecture (statement)
History
- 2026-11-02: add by m2/dev
Motz's problem ZXXP674Y98
| URI | m2://inv/ZXXP674Y98 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#HJRA, Motz's problem (problem)
History
- 2026-11-02: add by m2/dev
Péter Varjú ZXXVWY3AQR
| URI | m2://inv/ZXXVWY3AQR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Péter Varjú, Péter Varjú (topic). Also Wikidata Q25929454
History
- 2026-11-02: add by m2/dev
ZXXWTGRA1B ZXXWTGRA1B
| URI | m2://inv/ZXXWTGRA1B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.00412#YIMP (definition). In APD8GE0E4F/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Graph intersection number ZXXXSJJZPP
| URI | m2://inv/ZXXXSJJZPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#5DVG, Graph intersection number (definition)
History
- 2026-11-02: add by m2/dev
Topological Rokhlin lemmas ZXY7MJ4CDQ
| URI | m2://inv/ZXY7MJ4CDQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rokhlin lemma#RKUK, Topological Rokhlin lemmas (statement)
History
- 2026-11-02: add by m2/dev
ZXYR5W7MEB ZXYR5W7MEB
| URI | m2://inv/ZXYR5W7MEB |
|---|---|
| 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.03520#TK2L (statement). In CSRZ9CWK69/e1, lemma 8.10
History
- 2026-10-29: add by m2/v0.4.12
ZXZ1452K6M ZXZ1452K6M
| URI | m2://inv/ZXZ1452K6M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#proof-7 (proof). In RZP28ERRZV, proof, section 30.4
History
- 2026-11-01: add by m2/v0.6.13
Examples ZXZA44DWMG
| URI | m2://inv/ZXZA44DWMG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formally étale morphism#BQ18, Examples (example)
History
- 2026-11-02: add by m2/dev
The Sylow theorems ZXZH619CQT
| URI | m2://inv/ZXZH619CQT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/sylow.tex#theorem-1, The Sylow theorems (statement). In RZP28ERRZV, theorem, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
ZXZS099N6G ZXZS099N6G
| URI | m2://inv/ZXZS099N6G |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#IVV9 (example). In 37B1MPV8GX/e1, example 8.9
History
- 2026-10-29: add by m2/v0.4.10