Inventory rows JA
The cards of the rows of the inventory whose ids start with JA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Atiyah conjecture on configurations JA08XEDKS0
| URI | m2://inv/JA08XEDKS0 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#JRPQ, Atiyah conjecture on configurations (conjecture)
History
- 2026-11-02: add by m2/dev
JA0BMYYEBY JA0BMYYEBY
| URI | m2://inv/JA0BMYYEBY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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.20522#F9CK (definition)
History
- 2026-11-02: add by m2/v0.6.18
the proof JA0EAV4812
| URI | m2://inv/JA0EAV4812 |
|---|---|
| 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 2610.10206#X2RQ, the proof (statement). In 8TRCP1482Q/e1, proposition B.3
History
- 2026-10-29: add by m2/v0.4.10
JA0HQYQEP9 JA0HQYQEP9
| URI | m2://inv/JA0HQYQEP9 |
|---|---|
| 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.26477#SF07 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JA0KT54KXE JA0KT54KXE
| URI | m2://inv/JA0KT54KXE |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#ILPV (problem)
History
- 2026-11-02: add by m2/v0.6.18
Todd Arbogast JA0TB3264C
| URI | m2://inv/JA0TB3264C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Todd Arbogast, Todd Arbogast (topic). Also Wikidata Q18684201
History
- 2026-11-02: add by m2/dev
JA10WCTRT8 JA10WCTRT8
| URI | m2://inv/JA10WCTRT8 |
|---|---|
| Kind | example |
| 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#TMMK (example). In EZ6PAF0MXH/e1, example 7.3.1
History
- 2026-10-27: add by m2/v0.3.5
Anubis JA138HAQE4
| URI | m2://inv/JA138HAQE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anubis (cipher), Anubis (definition). Also Wikidata Q474108
History
- 2026-11-02: add by m2/dev
Future-rank pruning JA192H77A8
| URI | m2://inv/JA192H77A8 |
|---|---|
| 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.03353#E4J3, Future-rank pruning (statement). In 8W61T5CSRB/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
JA1AVW4J2M JA1AVW4J2M
| URI | m2://inv/JA1AVW4J2M |
|---|---|
| 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.05442#01AH (statement). In WEPE51JCHZ/e1, proposition 9.8
History
- 2026-10-29: add by m2/v0.4.10
JA1C0YRFY8 JA1C0YRFY8
| URI | m2://inv/JA1C0YRFY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29148#EWO9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
AGM method JA1JAVTC9V
| URI | m2://inv/JA1JAVTC9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#0TS5, AGM method (definition)
History
- 2026-11-02: add by m2/dev
JA1YKSA8S2 JA1YKSA8S2
| URI | m2://inv/JA1YKSA8S2 |
|---|---|
| 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.31527#0LUJ (statement). In ZQ2YZ4P6P5/e1, proposition 4.3
History
- 2026-10-31: add by m2/v0.5.6
Stanislav A. Molchanov JA1Z6ESJYM
| URI | m2://inv/JA1Z6ESJYM |
|---|---|
| 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#MSAN, Stanislav A. Molchanov (topic)
History
- 2026-11-02: add by m2/dev
Definition JA21C1Q8PF
| URI | m2://inv/JA21C1Q8PF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Certified dominating set#NRR5, Definition (definition)
History
- 2026-11-02: add by m2/dev
William George Carr JA240Z5TAJ
| URI | m2://inv/JA240Z5TAJ |
|---|---|
| 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#WKL6, William George Carr (unknown)
History
- 2026-11-02: add by m2/dev
JA2DBS5J69 JA2DBS5J69
| URI | m2://inv/JA2DBS5J69 |
|---|---|
| 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.33162#Q24O (statement). In RPC7VG3KHQ/e1, proposition 8.3
History
- 2026-10-30: add by m2/v0.4.12
Strict spacelikeness at the boundary JA2F1K3GAZ
| URI | m2://inv/JA2F1K3GAZ |
|---|---|
| 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 2609.25449#11JD, Strict spacelikeness at the boundary (statement). In 9JHMTYGWFQ/e1, proposition 10.4
History
- 2026-10-27: add by m2/v0.3.6
Theorem JA2FEG09DF
| URI | m2://inv/JA2FEG09DF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension (graph theory)#X3N7, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Shaul Tchernichovsky JA2FYWGSEF
| URI | m2://inv/JA2FYWGSEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#YL6N, Shaul Tchernichovsky (unknown)
History
- 2026-11-02: add by m2/dev
Tuna Altınel JA31CVGWHQ
| URI | m2://inv/JA31CVGWHQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tuna Altınel, Tuna Altınel (topic). Also Wikidata Q64827898
History
- 2026-11-02: add by m2/dev
Formulation JA335SMRAG
| URI | m2://inv/JA335SMRAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous-time random walk#PRP7, Formulation (definition)
History
- 2026-11-02: add by m2/dev
JA339YQ5CC JA339YQ5CC
| URI | m2://inv/JA339YQ5CC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02436#7IIH (statement). In J9WZBK6KAY/e1, lemma 3.14
History
- 2026-10-29: add by m2/v0.4.12
Rokhlin JA348N6B8V
| URI | m2://inv/JA348N6B8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#VOKR, Rokhlin (definition)
History
- 2026-11-02: add by m2/dev
JA392NH4VB JA392NH4VB
| URI | m2://inv/JA392NH4VB |
|---|---|
| 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 2207.11097#4RTU (statement). In 13H5BTAXHF/e1, corollary 8
History
- 2026-10-27: add by m2/v0.3.5
Dirichlet function JA3BNXGDYD
| URI | m2://inv/JA3BNXGDYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#OMZV, Dirichlet function (definition)
History
- 2026-11-02: add by m2/dev
Young JA3HB0YD8A
| URI | m2://inv/JA3HB0YD8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#1VRU, Young (definition)
History
- 2026-11-02: add by m2/dev
Methodology and Computing in Applied Probability JA3MFKWYJA
| URI | m2://inv/JA3MFKWYJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#N7CI, Methodology and Computing in Applied Probability (unknown)
History
- 2026-11-02: add by m2/dev
JA3P1V5HD3 JA3P1V5HD3
| URI | m2://inv/JA3P1V5HD3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07608#FZSU (statement). In X8FQD4TEVG/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
JA3Y7C2SXV JA3Y7C2SXV
| URI | m2://inv/JA3Y7C2SXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#BT07 (statement). In KR7WXN4EWR/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Definition JA49T88HQK
| URI | m2://inv/JA49T88HQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme point#K48S, Definition (definition)
History
- 2026-11-02: add by m2/dev
V. Volodarsky JA4AB3XX70
| URI | m2://inv/JA4AB3XX70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#ZWBW, V. Volodarsky (unknown)
History
- 2026-11-02: add by m2/dev
JA4E4EAJHW JA4E4EAJHW
| URI | m2://inv/JA4E4EAJHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.01087#8W6T (statement). In 7QXAZXGNPQ/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Edge row formula JA4EYY5MF4
| URI | m2://inv/JA4EYY5MF4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#BKE2, Edge row formula (statement). In XNJGNMS6H0/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Szegő polynomial JA4G4BFQ73
| URI | m2://inv/JA4G4BFQ73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szegő polynomial, Szegő polynomial (definition). Also Wikidata Q7664537
History
- 2026-11-02: add by m2/dev
NUTS statistical regions of Albania JA4PBQ8MNQ
| URI | m2://inv/JA4PBQ8MNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NUTS statistical regions of Albania, NUTS statistical regions of Albania (definition). Also Wikidata Q18922758
History
- 2026-11-02: add by m2/dev
The spectrum as a weighted problem JA4PFGNCRX
| URI | m2://inv/JA4PFGNCRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22356#UF3G, The spectrum as a weighted problem (statement)
History
- 2026-11-02: add by m2/v0.6.17
JA4ZBWGEFB JA4ZBWGEFB
| URI | m2://inv/JA4ZBWGEFB |
|---|---|
| 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 2509.10268#G0MT (statement). In YR15TN4V4F/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
JA5BZB2JKN JA5BZB2JKN
| URI | m2://inv/JA5BZB2JKN |
|---|---|
| Kind | definition |
| 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 2110.06338#20WS (definition). In W1VVK7WDPK/e1, definition
History
- 2026-10-27: add by m2/v0.4.0
JA5GC430CX JA5GC430CX
| URI | m2://inv/JA5GC430CX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17571#J3Z4 (statement). In SWFN2HCEE7/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
JA5MCZXC2H JA5MCZXC2H
| URI | m2://inv/JA5MCZXC2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#VPEO (statement). In DPJ15KW23C/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Fixed points and convergence JA5QGSHGF5
| URI | m2://inv/JA5QGSHGF5 |
|---|---|
| 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.19953#SSHH, Fixed points and convergence (statement). In CHPJWBREES/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
JA5RM2X7F4 JA5RM2X7F4
| URI | m2://inv/JA5RM2X7F4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#proposition-2 (statement). In RZP28ERRZV, proposition, section 28.5
History
- 2026-11-01: add by m2/v0.6.13
spectrum JA5TY3GC1Y
| URI | m2://inv/JA5TY3GC1Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spectrum 1GHF4EKBXS |
Mentions
- wikidata: Wikidata Q7575269, spectrum (concept). Also nLab spectrum
- wikipedia: Wikipedia Spectrum (topology), Spectrum (definition). Also Wikidata Q7575269
History
- 2026-10-26: add by m2/dev
JA5VRJABBM JA5VRJABBM
| URI | m2://inv/JA5VRJABBM |
|---|---|
| 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.28203#YGKZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gambler's ruin JA60Q5B01S
| URI | m2://inv/JA60Q5B01S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K93V, Gambler's ruin (definition)
- wikipedia: Wikipedia List of probability topics#7ZGJ, Gambler's ruin (definition)
History
- 2026-11-02: add by m2/dev
Mean directional accuracy JA615YNHQH
| URI | m2://inv/JA615YNHQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean directional accuracy, Mean directional accuracy (definition). Also Wikidata Q25351861
History
- 2026-11-02: add by m2/dev
JA633WPZ0M JA633WPZ0M
| URI | m2://inv/JA633WPZ0M |
|---|---|
| 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#6FCM (statement). In JCTD510XJ0/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
dual graviton JA65M2JFAD
| URI | m2://inv/JA65M2JFAD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30639112, dual graviton (unknown). Also nLab dual graviton
History
- 2026-10-26: add by m2/dev
JA67DEMA5S JA67DEMA5S
| URI | m2://inv/JA67DEMA5S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.10963#J69I (definition). In F32XWYWG8E/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
JA6KB1ZH6Z JA6KB1ZH6Z
| URI | m2://inv/JA6KB1ZH6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25457#GPPE (statement)
History
- 2026-11-01: add by m2/v0.6.15
JA6XA1GMZZ JA6XA1GMZZ
| URI | m2://inv/JA6XA1GMZZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-12 (proof). In N54F33XE07, proof, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Examples JA6YE7XHB2
| URI | m2://inv/JA6YE7XHB2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal transformation#7TE2, Examples (example)
History
- 2026-11-02: add by m2/dev
Proof of \olref{thm:lob} JA77Z8ZYZS
| URI | m2://inv/JA77Z8ZYZS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/lob-thm.tex#proof-1, Proof of \olref{thm:lob} (proof). In PKGMM3P5QY, proof, section 28.2
History
- 2026-11-01: add by m2/v0.6.13
Giovanni Giambelli JA7J74Z5GT
| URI | m2://inv/JA7J74Z5GT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Giambelli, Giovanni Giambelli (topic). Also Wikidata Q5563870
History
- 2026-11-02: add by m2/dev
JA7JW6KAX6 JA7JW6KAX6
| URI | m2://inv/JA7JW6KAX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28195#SVIS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Director string JA7K9597BA
| URI | m2://inv/JA7K9597BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Director string, Director string (definition). Also Wikidata Q5280581
History
- 2026-11-02: add by m2/dev
Baire category theorem JA7S2KQNAV
| URI | m2://inv/JA7S2KQNAV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General topology#W4T9, Baire category theorem (statement)
History
- 2026-11-02: add by m2/dev
Jensen's Inequality JA7W2WS69W
| URI | m2://inv/JA7W2WS69W |
|---|---|
| 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.30105#JM99, Jensen's Inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kuratowski Prize JA80KDFCBD
| URI | m2://inv/JA80KDFCBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski Prize, Kuratowski Prize (definition). Also Wikidata Q9193597
History
- 2026-11-02: add by m2/dev
supernova JA875VYJ8P
| URI | m2://inv/JA875VYJ8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3937, supernova (unknown). Also nLab supernova
History
- 2026-10-26: add by m2/dev
Barbara Burke Hubbard JA88CWEHGQ
| URI | m2://inv/JA88CWEHGQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barbara Burke Hubbard, Barbara Burke Hubbard (topic). Also Wikidata Q105688755
History
- 2026-11-02: add by m2/dev
Formulation of the theorem JA8HKXTMX8
| URI | m2://inv/JA8HKXTMX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casey's theorem#F3NC, Formulation of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Wall–Sun–Sun prime JA8JAW4ATR
| URI | m2://inv/JA8JAW4ATR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q925617, Wall–Sun–Sun prime (unknown). Also MathWorld Wall-Sun-SunPrime
- wikipedia: Wikipedia Wall–Sun–Sun prime, Wall–Sun–Sun prime (conjecture). Also Wikidata Q925617
History
- 2026-10-26: add by m2/dev
Examples JA8NX8BQQD
| URI | m2://inv/JA8NX8BQQD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kervaire invariant#71Z4, Examples (example)
History
- 2026-11-02: add by m2/dev
Relative risk reduction JA91BW7VMT
| URI | m2://inv/JA91BW7VMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative risk reduction, Relative risk reduction (definition). Also Wikidata Q7310800
History
- 2026-11-02: add by m2/dev
JA93YJJCV5 JA93YJJCV5
| URI | m2://inv/JA93YJJCV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#SB3I (statement)
History
- 2026-11-01: add by m2/v0.6.15
JA99TDK8MW JA99TDK8MW
| URI | m2://inv/JA99TDK8MW |
|---|---|
| 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.01599#O9Y4 (statement). In K2KYNCWER3/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.12
JA9D95P3H8 JA9D95P3H8
| URI | m2://inv/JA9D95P3H8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#8X7Z (statement). In 13GSWBXPCM/e1, theorem 2.12
History
- 2026-10-27: add by m2/v0.3.5
Geometric Braids JA9GRPZ1VH
| URI | m2://inv/JA9GRPZ1VH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 1209.3562#A0SJ, Geometric Braids (definition). In KZH1DCS18C/e1, definition 6.10
History
- 2026-10-27: add by m2/v0.3.5
JA9JKP7WH3 JA9JKP7WH3
| URI | m2://inv/JA9JKP7WH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.08900#V7DB (statement). In 8X74NB6XBC/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.4.0
Pranab K. Sen JA9KR8K911
| URI | m2://inv/JA9KR8K911 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pranab K. Sen, Pranab K. Sen (topic). Also Wikidata Q3909884
History
- 2026-11-02: add by m2/dev
Compositorial JAA3G68XZ7
| URI | m2://inv/JAA3G68XZ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primorial#D3HG, Compositorial (unknown)
History
- 2026-11-02: add by m2/dev
Birkhoff's representation theorem JAA5SQG8QP
| URI | m2://inv/JAA5SQG8QP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 06-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17005116, Birkhoff's representation theorem (statement). Also Mathlib LatticeHom.birkhoffSet, Wikidata Q17005116
- thousand_plus: thousand_plus Q17005116, Birkhoff's representation theorem (statement). Also Mathlib LatticeHom.birkhoffSet, Wikidata Q17005116, Wikipedia Birkhoff's representation theorem
- wikipedia: Wikipedia Birkhoff's representation theorem, Birkhoff's representation theorem (statement). Also Wikidata Q17005116
History
- 2026-10-26: add by m2/dev
Confounding JAAAK7R60E
| URI | m2://inv/JAAAK7R60E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confounding, Confounding (definition). Also Wikidata Q1125472
History
- 2026-11-02: add by m2/dev
JAAH6PZJ4H JAAH6PZJ4H
| URI | m2://inv/JAAH6PZJ4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08149#FE01 (statement). In E128PFR76Q/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
Kao Cheng-yan JAAHJZ13RJ
| URI | m2://inv/JAAHJZ13RJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1IWD, Kao Cheng-yan (unknown)
History
- 2026-11-02: add by m2/dev
JAAKR79JTS JAAKR79JTS
| URI | m2://inv/JAAKR79JTS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#ZY1Z (definition). In M0SQY5EZN5/e1, definition 2.6.4
History
- 2026-10-27: add by m2/v0.3.5
Chinese remainder theorem JAAPDMJ51D
| URI | m2://inv/JAAPDMJ51D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secret sharing using the Chinese remainder theorem#C552, Chinese remainder theorem (statement)
History
- 2026-11-02: add by m2/dev
Formulation JAARRXJPMK
| URI | m2://inv/JAARRXJPMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trilinear interpolation#B0ZQ, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Conjecture D (numerical equivalence vs. homological equivalence) JAAV3VV604
| URI | m2://inv/JAAV3VV604 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard conjectures on algebraic cycles#OGQN, Conjecture D (numerical equivalence vs. homological equivalence) (statement)
History
- 2026-11-02: add by m2/dev
Frullani integral JAAWVA1VH0
| URI | m2://inv/JAAWVA1VH0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Frullani integral A58Z1DQ593 |
Mentions
- wikidata: Wikidata Q1470953, Frullani integral (concept). Also MathWorld FrullanisIntegral, ProofWiki Frullani's_Integral
- wikipedia: Wikipedia Frullani integral, Frullani integral (definition). Also Wikidata Q1470953
History
- 2026-10-26: add by m2/dev
Moment systems on the two-sided Christoffel rectangle JAB3TX5HQW
| URI | m2://inv/JAB3TX5HQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#RV9W, Moment systems on the two-sided Christoffel rectangle (statement)
History
- 2026-11-01: add by m2/v0.6.15
James Glimm JAB82Y95ZV
| URI | m2://inv/JAB82Y95ZV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4AH3, James Glimm (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TN4O, James Glimm (topic)
History
- 2026-11-02: add by m2/dev
JABH5FPQ8X JABH5FPQ8X
| URI | m2://inv/JABH5FPQ8X |
|---|---|
| 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 2104.04145#II28 (statement). In 7TNHVC586V/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
disturbance-budget safety certificate JABM2CVFVT
| URI | m2://inv/JABM2CVFVT |
|---|---|
| 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.28364#M51T, disturbance-budget safety certificate (statement)
History
- 2026-11-01: add by m2/v0.6.15
JABR3Y81ZF JABR3Y81ZF
| URI | m2://inv/JABR3Y81ZF |
|---|---|
| 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 2502.02777#126E (statement). In D8T5GDXERW/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
JABS8JDMM9 JABS8JDMM9
| URI | m2://inv/JABS8JDMM9 |
|---|---|
| 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 1905.00573#D8BB (statement). In 74RNQVBM2G/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.3.5
Algorithms JAC2K1YYJF
| URI | m2://inv/JAC2K1YYJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid partitioning#SBL2, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Chi-squared distribution JAC4N14GHE
| URI | m2://inv/JAC4N14GHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MWP4, Chi-squared distribution (definition)
History
- 2026-11-02: add by m2/dev
Lynn Harold Loomis JAC4XDPWKX
| URI | m2://inv/JAC4XDPWKX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lynn Harold Loomis, Lynn Harold Loomis (topic). Also Wikidata Q1878869
History
- 2026-11-02: add by m2/dev
Proof of Proposition 3.5 JAC5BGYBDC
| URI | m2://inv/JAC5BGYBDC |
|---|---|
| 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 2609.31278#ZRYN, Proof of Proposition 3.5 (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
JAC6GE43DZ JAC6GE43DZ
| URI | m2://inv/JAC6GE43DZ |
|---|---|
| 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.28336#5LH7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JAC73M7KV0 JAC73M7KV0
| URI | m2://inv/JAC73M7KV0 |
|---|---|
| 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.35320#XPSQ (statement). In QJ6AEW93RB/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
JACSR39QX8 JACSR39QX8
| URI | m2://inv/JACSR39QX8 |
|---|---|
| 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.37124#RPOR (statement). In 2QF1YG9DD0/e1, corollary 3.14
History
- 2026-10-30: add by m2/v0.4.12
JAD4ZGWY7Z JAD4ZGWY7Z
| URI | m2://inv/JAD4ZGWY7Z |
|---|---|
| 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.01912#BHPD (definition). In CTE1C9KYPY/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
JAD51QV8KK JAD51QV8KK
| URI | m2://inv/JAD51QV8KK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#example-3 (example). In RZP28ERRZV, example, section 28.2
History
- 2026-11-01: add by m2/v0.6.13
JADJ6H0YSQ JADJ6H0YSQ
| URI | m2://inv/JADJ6H0YSQ |
|---|---|
| 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#G7TX (statement). In 9YAE8FNQST/e1, corollary 22.4
History
- 2026-10-30: add by m2/v0.4.12
JADTP10633 JADTP10633
| URI | m2://inv/JADTP10633 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27151#OCLO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties JADVF1A83V
| URI | m2://inv/JADVF1A83V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic pseudo-Boolean optimization#HOZY, Properties (statement)
History
- 2026-11-02: add by m2/dev
tungsten-186 JADVXESSJ2
| URI | m2://inv/JADVXESSJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18882871, tungsten-186 (definition). Also ProofWiki Definition:Tungsten/186
History
- 2026-10-26: add by m2/dev
JADXZGN7QA JADXZGN7QA
| URI | m2://inv/JADXZGN7QA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-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.09333#SK4R (definition). In Z9HC1EDTQP/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
neighborhood JAE5MC32EQ
| URI | m2://inv/JAE5MC32EQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#AVB4, neighborhood (definition)
History
- 2026-11-02: add by m2/dev
JAE72SGD8K JAE72SGD8K
| URI | m2://inv/JAE72SGD8K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21140#QA9G (definition)
History
- 2026-11-02: add by m2/v0.6.18
JAECYTY3P5 JAECYTY3P5
| URI | m2://inv/JAECYTY3P5 |
|---|---|
| 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#QGCC (statement)
History
- 2026-11-02: add by m2/v0.6.17
JAEKK74FD3 JAEKK74FD3
| URI | m2://inv/JAEKK74FD3 |
|---|---|
| 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#Q3ZC (statement). In SBZNH932ZV/e1, lemma 10.1
History
- 2026-10-30: add by m2/v0.4.12
JAESWTZ026 JAESWTZ026
| URI | m2://inv/JAESWTZ026 |
|---|---|
| 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.20577#ABYL (statement). In 3P13XJQSVK/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
JAETVJN9F0 JAETVJN9F0
| URI | m2://inv/JAETVJN9F0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#DIR0 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Carnot's theorem JAF0K515GZ
| URI | m2://inv/JAF0K515GZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OJ22, Carnot's theorem (statement)
History
- 2026-11-02: add by m2/dev
JAF6SBGYP3 JAF6SBGYP3
| URI | m2://inv/JAF6SBGYP3 |
|---|---|
| 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.33383#ZFYH (statement). In 8AHWRHTP5G/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Gabriella Tarantello JAFAKS4CP8
| URI | m2://inv/JAFAKS4CP8 |
|---|---|
| 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#AYI7, Gabriella Tarantello (topic)
History
- 2026-11-02: add by m2/dev
JAFD220PXF JAFD220PXF
| URI | m2://inv/JAFD220PXF |
|---|---|
| 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 2609.21914#WF3X (statement)
History
- 2026-11-02: add by m2/v0.6.17
Quadratically constrained quadratic program JAFHFSQQVE
| URI | m2://inv/JAFHFSQQVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratically constrained quadratic program, Quadratically constrained quadratic program (definition). Also Wikidata Q7268373
History
- 2026-11-02: add by m2/dev
JAFN7APDGB JAFN7APDGB
| URI | m2://inv/JAFN7APDGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15643#MUHV (statement). In 7QFBJCRPW1/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
characteristic space JAG1MGHX4E
| URI | m2://inv/JAG1MGHX4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#2Y0Y, characteristic space (definition)
- wikipedia: Wikipedia Eigenvalues and eigenvectors#T3H4, eigenspace (definition)
History
- 2026-11-02: add by m2/dev
JAGB9EKT8M JAGB9EKT8M
| URI | m2://inv/JAGB9EKT8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.38556#YEV1 (statement). In GC2H0HS7ZM/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Examples JAGCQREHHD
| URI | m2://inv/JAGCQREHHD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall–Higman theorem#KLH4, Examples (example)
History
- 2026-11-02: add by m2/dev
JAGEEV5AME JAGEEV5AME
| URI | m2://inv/JAGEEV5AME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-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.20725#KN1F (statement)
History
- 2026-11-02: add by m2/v0.6.18
JAGEQJH2MK JAGEQJH2MK
| URI | m2://inv/JAGEQJH2MK |
|---|---|
| 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.20760#FWRE (statement). In 6G9JSJ5JMP/e1, theorem 5
History
- 2026-10-27: add by m2/v0.4.2
JAGGAFWPDM JAGGAFWPDM
| URI | m2://inv/JAGGAFWPDM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#ZFIW (statement). In CC6S1HVK0T/e1, lemma 5.24
History
- 2026-10-28: add by m2/v0.4.2
A torsion-free threshold for contraction multigraphs JAGTZJ4TZ4
| URI | m2://inv/JAGTZJ4TZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#SAST, A torsion-free threshold for contraction multigraphs (statement). In Y1DR0DPWD0/e1, lemma 7.14
History
- 2026-10-29: add by m2/v0.4.12
JAGTZQ0XG2 JAGTZQ0XG2
| URI | m2://inv/JAGTZQ0XG2 |
|---|---|
| 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.03555#7R4C (statement). In 9JZJTRRVR1/e1, proposition 2.22
History
- 2026-10-29: add by m2/v0.4.12
Explicit Clifford reduction at $d=2$; original JAGWZCFSKB
| URI | m2://inv/JAGWZCFSKB |
|---|---|
| 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.02392#HHGE, Explicit Clifford reduction at $d=2$; original (statement). In W066HQZQBF/e1, theorem 19
History
- 2026-10-29: add by m2/v0.4.12
Definition JAGYZMN828
| URI | m2://inv/JAGYZMN828 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circulant matrix#TCWW, Definition (definition)
History
- 2026-11-02: add by m2/dev
JAGZ15KJVT JAGZ15KJVT
| URI | m2://inv/JAGZ15KJVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#5UCC (statement). In F6C80AEXC1/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.12
Proposed explanations for the law JAH27VZKN6
| URI | m2://inv/JAH27VZKN6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleiber's law#7DYQ, Proposed explanations for the law (statement)
History
- 2026-11-02: add by m2/dev
Generation on rational points JAH54EFNW7
| URI | m2://inv/JAH54EFNW7 |
|---|---|
| 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 2609.21534#MV3K, Generation on rational points (statement)
History
- 2026-11-02: add by m2/v0.6.18
JAH9GFYQZ2 JAH9GFYQZ2
| URI | m2://inv/JAH9GFYQZ2 |
|---|---|
| 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 2609.24853#O3KL (statement)
History
- 2026-11-01: add by m2/v0.6.15
JAHFBDCXZ8 JAHFBDCXZ8
| URI | m2://inv/JAHFBDCXZ8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-4.xml#activity-2 (exercise). In 649HGZKE96, activity, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
JAHGSF6C9J JAHGSF6C9J
| URI | m2://inv/JAHGSF6C9J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-19 (exercise). In Y91XFCEVHQ, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Henry George theorem JAHHXNA1C0
| URI | m2://inv/JAHHXNA1C0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry George theorem, Henry George theorem (statement). Also Wikidata Q5721923
History
- 2026-11-02: add by m2/dev
JAHZ06JGTZ JAHZ06JGTZ
| URI | m2://inv/JAHZ06JGTZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#K2BH (definition). In 37S7MNMZ2F/e1, definition 28
History
- 2026-10-27: add by m2/v0.3.5
Compositional data JAJ2E4V2XP
| URI | m2://inv/JAJ2E4V2XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DJEE, Compositional data (definition)
History
- 2026-11-02: add by m2/dev
Eugene Trubowitz JAJB82F148
| URI | m2://inv/JAJB82F148 |
|---|---|
| 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#GRYF, Eugene Trubowitz (unknown)
History
- 2026-11-02: add by m2/dev
Ladders and trees JAJJQ7D06Y
| URI | m2://inv/JAJJQ7D06Y |
|---|---|
| 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.11002#PQHU, Ladders and trees (definition). In P55JSAYR3T/e1, definition
History
- 2026-10-28: add by m2/v0.4.3
Xhezair Teliti JAJTGEGWJ1
| URI | m2://inv/JAJTGEGWJ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xhezair Teliti, Xhezair Teliti (topic). Also Wikidata Q16751049
History
- 2026-11-02: add by m2/dev
JAJTGGTD8F JAJTGGTD8F
| URI | m2://inv/JAJTGGTD8F |
|---|---|
| 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.40189#WII8 (statement). In K2MDWD9V46/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
JAK1M06CRQ JAK1M06CRQ
| URI | m2://inv/JAK1M06CRQ |
|---|---|
| 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.30018#PM1R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples JAK6GCK40C
| URI | m2://inv/JAK6GCK40C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological divisor of zero#C7IA, Examples (example)
History
- 2026-11-02: add by m2/dev
disjoint JAKASV8HQ2
| URI | m2://inv/JAKASV8HQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#UTN8, disjoint (definition)
History
- 2026-11-02: add by m2/dev
Linear same-scale comparison with physical local errors JAKBMVJNY4
| URI | m2://inv/JAKBMVJNY4 |
|---|---|
| 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.16351#XVVM, Linear same-scale comparison with physical local errors (statement). In 1QSV7EQE3T/e1, theorem S25
History
- 2026-10-28: add by m2/v0.4.2
JAKEWWJTNX JAKEWWJTNX
| URI | m2://inv/JAKEWWJTNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35762#YPHP (statement). In C9QEPN1E56/e1, lemma F.13
History
- 2026-10-30: add by m2/v0.4.12
JAKH69QA0B JAKH69QA0B
| URI | m2://inv/JAKH69QA0B |
|---|---|
| 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#V029 (statement)
History
- 2026-11-01: add by m2/v0.6.15
JAKN8ZBNC3 JAKN8ZBNC3
| URI | m2://inv/JAKN8ZBNC3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08334#05HH (definition). In FQ3DS8B3H1/e1, definition 2.9
History
- 2026-10-29: add by m2/v0.4.10
JAKS8N7PXD JAKS8N7PXD
| URI | m2://inv/JAKS8N7PXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14318#TEGZ (statement). In HA4SZZJ831/e1, corollary 5.1
History
- 2026-10-28: add by m2/v0.4.2
JAKTX63AAB JAKTX63AAB
| URI | m2://inv/JAKTX63AAB |
|---|---|
| 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.24522#9IXW (statement)
History
- 2026-11-01: add by m2/v0.6.15
JAM1WAPACN JAM1WAPACN
| URI | m2://inv/JAM1WAPACN |
|---|---|
| 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.01843#QEDD (statement). In EDG9ZFDSWK/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
JAM1YHWGSX JAM1YHWGSX
| URI | m2://inv/JAM1YHWGSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15723#XJCJ (statement). In A3KXZ2GBHN/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Unconscious bias JAM5169SWQ
| URI | m2://inv/JAM5169SWQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#EO5Z, Unconscious bias (unknown)
History
- 2026-11-02: add by m2/dev
Harald Cramér JAM8DPJTSY
| URI | m2://inv/JAM8DPJTSY |
|---|---|
| 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#ZK0G, Harald Cramér (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#WY32, Harald Cramér (topic)
History
- 2026-11-02: add by m2/dev
JAMGF0YS9J JAMGF0YS9J
| URI | m2://inv/JAMGF0YS9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25843#1P3J (statement)
History
- 2026-11-01: add by m2/v0.6.15
JAMJAMF7PW JAMJAMF7PW
| URI | m2://inv/JAMJAMF7PW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06645#6HJD (statement). In 79H1DEK4M9/e1, corollary 9.1
History
- 2026-10-29: add by m2/v0.4.10
Eugène Cosserat JAMYZB0Y02
| URI | m2://inv/JAMYZB0Y02 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eugène Cosserat, Eugène Cosserat (topic). Also Wikidata Q2380105
History
- 2026-11-02: add by m2/dev
Sequential stability of the QML objective JAN0BWZYGP
| URI | m2://inv/JAN0BWZYGP |
|---|---|
| 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.12271#CT0G, Sequential stability of the QML objective (statement). In WGCET6KSQ7/e1, lemma 41
History
- 2026-10-27: add by m2/v0.3.6
JAN18WF17C JAN18WF17C
| URI | m2://inv/JAN18WF17C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36444#H65E (statement). In 4DJE72VPJP/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
Proof of {\olref[nen]{thm:nonenum-pownat}} by reduction JAN58C5N7R
| URI | m2://inv/JAN58C5N7R |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/reduction.tex#proof-1, Proof of {\olref[nen]{thm:nonenum-pownat}} by reduction (proof). In PKGMM3P5QY, proof, section 83.13
History
- 2026-11-01: add by m2/v0.6.13
Product market regulation indicator JANRX7H7F4
| URI | m2://inv/JANRX7H7F4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product market regulation indicator, Product market regulation indicator (definition). Also Wikidata Q130580985
History
- 2026-11-02: add by m2/dev
Example JAP1NBFV68
| URI | m2://inv/JAP1NBFV68 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Watson's lemma#MVQW, Example (example)
History
- 2026-11-02: add by m2/dev
Baudhayana JAP2X0ARZW
| URI | m2://inv/JAP2X0ARZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#RB05, Baudhayana (topic)
History
- 2026-11-02: add by m2/dev
Statistical data JAP2YN12EG
| URI | m2://inv/JAP2YN12EG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics#RE6L, Statistical data (unknown)
History
- 2026-11-02: add by m2/dev
Paweł Horodecki JAP60PWF9E
| URI | m2://inv/JAP60PWF9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RAXO, Paweł Horodecki (unknown)
History
- 2026-11-02: add by m2/dev
JAP61VHC1G JAP61VHC1G
| URI | m2://inv/JAP61VHC1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38250#EHJD (statement). In 5KDV984W48/e1, proposition 14
History
- 2026-10-30: add by m2/v0.4.12
JAP8DG6WFC JAP8DG6WFC
| URI | m2://inv/JAP8DG6WFC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9802134#NHMQ (definition). In 235B1J1ETB/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
JAPA145N85 JAPA145N85
| URI | m2://inv/JAPA145N85 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#C9GB (statement). In DWQWQ5KTEE/e1, lemma 27
History
- 2026-10-28: add by m2/v0.4.2
JAPBC45FCC JAPBC45FCC
| URI | m2://inv/JAPBC45FCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.24701#OOGE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dominating algebra exists in small dimensions JAPDJX7V9T
| URI | m2://inv/JAPDJX7V9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40054#OLUX, Dominating algebra exists in small dimensions (statement). In CA4C9PFM1E/e1, proposition 4.0.4
History
- 2026-10-30: add by m2/v0.4.12
JAPGAVW6G5 JAPGAVW6G5
| URI | m2://inv/JAPGAVW6G5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10481#PD9O (statement). In ETV3D93XYD/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
F1 score JAPHS047R0
| URI | m2://inv/JAPHS047R0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XRJC, F1 score (definition)
History
- 2026-11-02: add by m2/dev
List of uniform polyhedra by spherical triangle JAPM0PV3SD
| URI | m2://inv/JAPM0PV3SD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra by spherical triangle, List of uniform polyhedra by spherical triangle (topic). Also Wikidata Q6644219
History
- 2026-11-02: add by m2/dev
JAPXYXXG5R JAPXYXXG5R
| URI | m2://inv/JAPXYXXG5R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.03972#0YH0 (example). In 2JD3KNKJ1P/e1, example 4.11
History
- 2026-10-27: add by m2/v0.3.5
Michinori Yamashita JAQ2XQ3Q65
| URI | m2://inv/JAQ2XQ3Q65 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michinori Yamashita, Michinori Yamashita (topic). Also Wikidata Q6837911
History
- 2026-11-02: add by m2/dev
unibranch JAQ76KSC0X
| URI | m2://inv/JAQ76KSC0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#PCO8, unibranch (definition)
History
- 2026-11-02: add by m2/dev
Self-oscillation JAQ883T7VM
| URI | m2://inv/JAQ883T7VM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-oscillation, Self-oscillation (definition). Also Wikidata Q1047845
History
- 2026-11-02: add by m2/dev
JAQ9KA7D45 JAQ9KA7D45
| URI | m2://inv/JAQ9KA7D45 |
|---|---|
| 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.11047#EXV8 (definition). In MNQAZ70XTH/e1, definition 4.4
History
- 2026-10-28: add by m2/v0.4.3
Applications JAQATXNV1Y
| URI | m2://inv/JAQATXNV1Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social Institutions and Gender Index#0YAL, Applications (example)
History
- 2026-11-02: add by m2/dev
JAQCHDPW3Q JAQCHDPW3Q
| URI | m2://inv/JAQCHDPW3Q |
|---|---|
| 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.00660#MD87 (statement). In FF8A8FP4FB/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
JAQFR2ZJYJ JAQFR2ZJYJ
| URI | m2://inv/JAQFR2ZJYJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-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 2208.05276#360Y (definition). In 4C5XHYTRT2/e1, definition 1.5
History
- 2026-10-27: add by m2/v0.3.5
List of Italian mathematicians JAQMPGVHRR
| URI | m2://inv/JAQMPGVHRR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#M0J2, List of Italian mathematicians (topic)
History
- 2026-11-02: add by m2/dev
Implementations JAQTPKTAK2
| URI | m2://inv/JAQTPKTAK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BLAKE (hash function)#AA9R, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Definition JAR3C4XTBP
| URI | m2://inv/JAR3C4XTBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young measure#R82X, Definition (definition)
History
- 2026-11-02: add by m2/dev
JAR4PGRZ63 JAR4PGRZ63
| URI | m2://inv/JAR4PGRZ63 |
|---|---|
| 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 2211.14214#QQNQ (statement). In SY85Y9E45A/e1, lemma 51
History
- 2026-10-27: add by m2/v0.3.5
JARERAX0E0 JARERAX0E0
| URI | m2://inv/JARERAX0E0 |
|---|---|
| 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.17677#8L4H (statement). In 5E9G06XJKC/e1, lemma G.28
History
- 2026-10-28: add by m2/v0.4.2
JARGG3VZ6A JARGG3VZ6A
| URI | m2://inv/JARGG3VZ6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.04835#B9M9 (statement). In P6PHR4W23S/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
Giffen, Robert JARJ7M13NW
| URI | m2://inv/JARJ7M13NW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TZ7P, Giffen, Robert (topic)
History
- 2026-11-02: add by m2/dev
Leonard Nelson JARJK0AJ9F
| URI | m2://inv/JARJK0AJ9F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DTAU, Leonard Nelson (unknown)
History
- 2026-11-02: add by m2/dev
isometry JARYECVXRN
| URI | m2://inv/JARYECVXRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#3DH7, isometry (definition)
History
- 2026-11-02: add by m2/dev
A restricted gadget JAS7V0ETDG
| URI | m2://inv/JAS7V0ETDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#SJ94, A restricted gadget (statement). In ZZER8ZBSCR/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
Lattice path JASB3DMKCC
| URI | m2://inv/JASB3DMKCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice path, Lattice path (definition). Also Wikidata Q18888837
History
- 2026-11-02: add by m2/dev
Closed geodesic JASPDQDM7V
| URI | m2://inv/JASPDQDM7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed geodesic, Closed geodesic (definition). Also Wikidata Q10288828
History
- 2026-11-02: add by m2/dev
Hoffman–Singleton graph JASZ3G01BJ
| URI | m2://inv/JASZ3G01BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3090387, Hoffman–Singleton graph (unknown). Also House of Graphs 1173, MathWorld Hoffman-SingletonGraph
- wikipedia: Wikipedia Hoffman–Singleton graph, Hoffman–Singleton graph (definition). Also Wikidata Q3090387
History
- 2026-10-26: add by m2/dev
Working, Holbrook JASZ4D1DJP
| URI | m2://inv/JASZ4D1DJP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZA8N, Working, Holbrook (topic)
History
- 2026-11-02: add by m2/dev
JAT4SQNE77 JAT4SQNE77
| URI | m2://inv/JAT4SQNE77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#8CPI (statement). In BDN507RN7J/e1, corollary 3.8.12
History
- 2026-10-30: add by m2/v0.4.12
Michael Luby JAT6K5KEWW
| URI | m2://inv/JAT6K5KEWW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5W15, Michael Luby (topic)
History
- 2026-11-02: add by m2/dev
Methodological pragmatism JATCAS7RJR
| URI | m2://inv/JATCAS7RJR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pragmatism#BYUG, Methodological pragmatism (unknown)
History
- 2026-11-02: add by m2/dev
Tensor product JATQV7SHG2
| URI | m2://inv/JATQV7SHG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#W80G, Tensor product (definition)
History
- 2026-11-02: add by m2/dev
JATXTBMDJ4 JATXTBMDJ4
| URI | m2://inv/JATXTBMDJ4 |
|---|---|
| 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.13518#7K6M (statement). In 613TY6V089/e1, lemma 14
History
- 2026-10-28: add by m2/v0.4.2
L-matrix JAV1691X6S
| URI | m2://inv/JAV1691X6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-matrix, L-matrix (definition). Also Wikidata Q28455756
History
- 2026-11-02: add by m2/dev
JAV6EWDQ43 JAV6EWDQ43
| URI | m2://inv/JAV6EWDQ43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05018#81R4 (statement). In QFZSPBES9B/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.12
JAV6Z98YGX JAV6Z98YGX
| URI | m2://inv/JAV6Z98YGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10873#VHL4 (statement). In AYG8HYGW6V/e1, lemma G.6
History
- 2026-10-28: add by m2/v0.4.3
LINPACK JAVDQYMERR
| URI | m2://inv/JAVDQYMERR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical libraries#ZAJV, LINPACK (unknown)
History
- 2026-11-02: add by m2/dev
Variation of Hodge structure JAVNNSH72K
| URI | m2://inv/JAVNNSH72K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge structure#YPVR, Variation of Hodge structure (statement)
History
- 2026-11-02: add by m2/dev
JAVP7R4DNY JAVP7R4DNY
| URI | m2://inv/JAVP7R4DNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#definition-2 (definition). In RZP28ERRZV, definition, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
glaciology JAVYWT9B52
| URI | m2://inv/JAVYWT9B52 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 86A40 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q52120, glaciology (topic)
History
- 2026-10-26: add by m2/dev
JAVZJ78S6T JAVZJ78S6T
| URI | m2://inv/JAVZJ78S6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00339#RU7F (statement). In ZRG6NY1ECH/e1, lemma 16
History
- 2026-10-30: add by m2/v0.4.12
Logarithmic local maximum principle JAVZMVYN3Z
| URI | m2://inv/JAVZMVYN3Z |
|---|---|
| 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.09494#W8M7, Logarithmic local maximum principle (statement). In H297EPZQQB/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.10
JAW0H8C0XT JAW0H8C0XT
| URI | m2://inv/JAW0H8C0XT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 53.2
History
- 2026-11-01: add by m2/v0.6.13
Antisymmetric tensor JAWFWSDFSV
| URI | m2://inv/JAWFWSDFSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#KSHB, Antisymmetric tensor (definition)
History
- 2026-11-02: add by m2/dev
Exact recurrence for the normalized moments JAWPZA919M
| URI | m2://inv/JAWPZA919M |
|---|---|
| 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.02531#XBW3, Exact recurrence for the normalized moments (statement). In 44EQ0MZE8G/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Stable solution JAWRVW3R0F
| URI | m2://inv/JAWRVW3R0F |
|---|---|
| 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.14652#RKIO, Stable solution (definition). In A50CHJ6Q4V/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Construction of t-norms JAWXM8A3YP
| URI | m2://inv/JAWXM8A3YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Construction of t-norms, Construction of t-norms (definition). Also Wikidata Q5164474
History
- 2026-11-02: add by m2/dev
PU learning JAWZDGHQ85
| URI | m2://inv/JAWZDGHQ85 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-class classification#I03V, PU learning (unknown)
History
- 2026-11-02: add by m2/dev
JAX4A5PSDS JAX4A5PSDS
| URI | m2://inv/JAX4A5PSDS |
|---|---|
| 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 2110.14727#OWKG (statement). In EZTB8NZGVT/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.0
Generalization JAXFS2195X
| URI | m2://inv/JAXFS2195X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Refinable function#OLO9, Generalization (statement)
History
- 2026-11-02: add by m2/dev
JAXM7VNPYV JAXM7VNPYV
| URI | m2://inv/JAXM7VNPYV |
|---|---|
| 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.01860#7UR8 (statement). In 8HYS0MFE25/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Hugh Herbert Wolfenden JAXNH5XF39
| URI | m2://inv/JAXNH5XF39 |
|---|---|
| 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#UFLM, Hugh Herbert Wolfenden (unknown)
History
- 2026-11-02: add by m2/dev
JAXT9RV8MA JAXT9RV8MA
| URI | m2://inv/JAXT9RV8MA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11847#6PBB (problem). In MP2YM69XW8/e1, problem 1
History
- 2026-10-28: add by m2/v0.4.3
JAY0KRKQ2K JAY0KRKQ2K
| URI | m2://inv/JAY0KRKQ2K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#lem-8 (statement). In N54F33XE07, lem, section C.4
History
- 2026-11-01: add by m2/v0.6.13
JAY1WWHDDM JAY1WWHDDM
| URI | m2://inv/JAY1WWHDDM |
|---|---|
| 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 2007.14459#03TR (statement). In SGQ7VFEZ22/e1, proposition 2.11
History
- 2026-10-27: add by m2/v0.3.5
RGL (software package) JAY442GTFD
| URI | m2://inv/JAY442GTFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R (programming language)#FWDP, RGL (software package) (unknown)
History
- 2026-11-02: add by m2/dev
Continuity JAY9WWANEH
| URI | m2://inv/JAY9WWANEH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian process#1E22, Continuity (statement)
History
- 2026-11-02: add by m2/dev
Rolf Niedermeier JAYGFDQC6J
| URI | m2://inv/JAYGFDQC6J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#63PM, Rolf Niedermeier (unknown)
History
- 2026-11-02: add by m2/dev
Stein–Strömberg theorem JAYH7HY7Y3
| URI | m2://inv/JAYH7HY7Y3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#OJXW, Stein–Strömberg theorem (statement)
History
- 2026-11-02: add by m2/dev
JAYHYE658Q JAYHYE658Q
| URI | m2://inv/JAYHYE658Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-5-5-other-opt.xml#ex-5-5-table-c (example). In 907G4C4EJ1, example, section 5.5.3
History
- 2026-11-01: add by m2/v0.6.13
Examples JAYQNWHNMN
| URI | m2://inv/JAYQNWHNMN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented Dickey–Fuller test#ZL4B, Examples (example)
History
- 2026-11-02: add by m2/dev
Uniform lower volume JAYTDARQVQ
| URI | m2://inv/JAYTDARQVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#CMS6, Uniform lower volume (statement)
History
- 2026-11-01: add by m2/v0.6.15
FreeOTP JAZ0B2S6AD
| URI | m2://inv/JAZ0B2S6AD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FreeOTP, FreeOTP (definition). Also Wikidata Q24883063
History
- 2026-11-02: add by m2/dev
Properties JAZ524HHDQ
| URI | m2://inv/JAZ524HHDQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipartite double cover#2HZD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Weyl's criterion for equidistribution JAZ54V3SBN
| URI | m2://inv/JAZ54V3SBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#QC0N, Weyl's criterion for equidistribution (definition)
History
- 2026-11-02: add by m2/dev
Q JAZ80J478S
| URI | m2://inv/JAZ80J478S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#CSCU, Q (definition)
History
- 2026-11-02: add by m2/dev
JAZHKXQ4CJ JAZHKXQ4CJ
| URI | m2://inv/JAZHKXQ4CJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#definition-3 (definition). In P1C114YBXG, definition, section K
History
- 2026-11-01: add by m2/v0.6.13
David Eppstein JAZRQFG0T6
| URI | m2://inv/JAZRQFG0T6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Eppstein, David Eppstein (topic). Also Wikidata Q3017847
History
- 2026-11-02: add by m2/dev
JAZV14MARD JAZV14MARD
| URI | m2://inv/JAZV14MARD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.03661#0Q86 (statement). In ESDKTYDHC8/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.12