Inventory rows RV
The cards of the rows of the inventory whose ids start with RV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Cauchy–Schwarz inequality (Modified Schwarz inequality for 2-positive maps) RV08QP7JRP
| URI | m2://inv/RV08QP7JRP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy–Schwarz inequality#1VWD, Cauchy–Schwarz inequality (Modified Schwarz inequality for 2-positive maps) (statement)
History
- 2026-11-02: add by m2/dev
Examples RV0DC1QK9T
| URI | m2://inv/RV0DC1QK9T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry in mathematics#VREM, Examples (example)
History
- 2026-11-02: add by m2/dev
RV0NWETF84 RV0NWETF84
| URI | m2://inv/RV0NWETF84 |
|---|---|
| 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 2610.05457#J9HJ (statement). In SV36P5P5Z3/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
profunctor RV0QXVDXXN
| URI | m2://inv/RV0QXVDXXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Profunctor EAPHAQVVD5 |
Mentions
- wikidata: Wikidata Q7248328, profunctor (unknown). Also nLab profunctor
- wikipedia: Wikipedia Profunctor, Profunctor (definition). Also Wikidata Q7248328
History
- 2026-10-26: add by m2/dev
RV0W8K904V RV0W8K904V
| URI | m2://inv/RV0W8K904V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09809#ULZJ (statement). In 7NKQ6PR78N/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
RV10YP66VP RV10YP66VP
| URI | m2://inv/RV10YP66VP |
|---|---|
| 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.23685#CE6W (statement)
History
- 2026-11-02: add by m2/v0.6.17
Schwinger representation RV118VJ9JK
| URI | m2://inv/RV118VJ9JK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feynman diagram#ZU5B, Schwinger representation (unknown)
History
- 2026-11-02: add by m2/dev
RV15HQNPVV RV15HQNPVV
| URI | m2://inv/RV15HQNPVV |
|---|---|
| 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.11377#YNGX (statement). In YCV4YA6FC2/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.3
RV160K8J2K RV160K8J2K
| URI | m2://inv/RV160K8J2K |
|---|---|
| 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.34573#TOB4 (statement). In KK7EJSSPJY/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
Yu Hong Dai RV1CCSQNDQ
| URI | m2://inv/RV1CCSQNDQ |
|---|---|
| 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#NGVY, Yu Hong Dai (unknown)
History
- 2026-11-02: add by m2/dev
RV1YRCH4RZ RV1YRCH4RZ
| URI | m2://inv/RV1YRCH4RZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#0UJ8 (definition). In 7V2PVZS04C/e1, definition 3.9
History
- 2026-10-31: add by m2/v0.5.6
Normal measure RV24THBP7C
| URI | m2://inv/RV24THBP7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal measure, Normal measure (definition). Also Wikidata Q7051817
History
- 2026-11-02: add by m2/dev
Uzbekistan RV2QB8W9B3
| URI | m2://inv/RV2QB8W9B3 |
|---|---|
| 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 Q265, Uzbekistan (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Uzbekistan
History
- 2026-10-26: add by m2/dev
order RV2SGABWB4
| URI | m2://inv/RV2SGABWB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#FVO2, order (definition)
History
- 2026-11-02: add by m2/dev
RV2V60AWNE RV2V60AWNE
| URI | m2://inv/RV2V60AWNE |
|---|---|
| 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.05506#PXJK (statement). In FT53PMB1TE/e1, lemma 3.3.2
History
- 2026-10-29: add by m2/v0.4.10
1X Advanced RV2Z0JE7RB
| URI | m2://inv/RV2Z0JE7RB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CDMA2000#FCXZ, 1X Advanced (unknown)
History
- 2026-11-02: add by m2/dev
RV30X4TYD2 RV30X4TYD2
| URI | m2://inv/RV30X4TYD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.39317#ELG2 (statement). In QM1T8JDK4A/e1, lemma 6.14
History
- 2026-10-30: add by m2/v0.4.12
How Long Is the Coast of Britain RV316PGNCX
| URI | m2://inv/RV316PGNCX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coastline paradox#W6PH, How Long Is the Coast of Britain (unknown)
History
- 2026-11-02: add by m2/dev
unimodular group RV32YZYA7V
| URI | m2://inv/RV32YZYA7V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124178631, unimodular group (unknown). Also EoM Unimodular_group, MathWorld UnimodularGroup
History
- 2026-10-26: add by m2/dev
Star of David theorem RV344HJR84
| URI | m2://inv/RV344HJR84 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7601243, Star of David theorem (statement). Also Wikidata Q7601243
- thousand_plus: thousand_plus Q7601243, Star of David theorem (statement). Also Wikidata Q7601243, Wikipedia Star of David theorem
- wikidata: Wikidata Q7601243, Star of David theorem (statement). Also MathWorld StarofDavidTheorem
- wikipedia: Wikipedia Star of David theorem, Star of David theorem (statement). Also Wikidata Q7601243
History
- 2026-10-26: add by m2/dev
Weak NP-completeness RV34G2GJHH
| URI | m2://inv/RV34G2GJHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak NP-completeness, Weak NP-completeness (definition). Also Wikidata Q7977975
History
- 2026-11-02: add by m2/dev
RV35PB2QA2 RV35PB2QA2
| URI | m2://inv/RV35PB2QA2 |
|---|---|
| Kind | definition |
| 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#XTX4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Harmonic progression RV3BHTC608
| URI | m2://inv/RV3BHTC608 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#TGQN, Harmonic progression (definition)
History
- 2026-11-02: add by m2/dev
Theorem (3) RV3FHG309M
| URI | m2://inv/RV3FHG309M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylow theorems#FH1L, Theorem (3) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Minimax estimator RV3FHS444F
| URI | m2://inv/RV3FHS444F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimax estimator, Minimax estimator (definition). Also Wikidata Q6865379
History
- 2026-11-02: add by m2/dev
Katrin Tent RV3N6YE538
| URI | m2://inv/RV3N6YE538 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0T2P, Katrin Tent (topic)
History
- 2026-11-02: add by m2/dev
RV3P1Z040K RV3P1Z040K
| URI | m2://inv/RV3P1Z040K |
|---|---|
| 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 0905.1489#MF84 (statement). In MZ18CTV65N/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Ring of polynomial functions RV3VRD9PRW
| URI | m2://inv/RV3VRD9PRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring of polynomial functions, Ring of polynomial functions (definition). Also Wikidata Q7334810
History
- 2026-11-02: add by m2/dev
Examples RV40XF5BRW
| URI | m2://inv/RV40XF5BRW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set (mathematics)#XDEV, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications RV42F6ACF8
| URI | m2://inv/RV42F6ACF8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multidimensional system#IMIN, Applications (example)
History
- 2026-11-02: add by m2/dev
RV49H5JEYB RV49H5JEYB
| URI | m2://inv/RV49H5JEYB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 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.28552#1MMU (definition)
History
- 2026-11-01: add by m2/v0.6.15
Donato Acciaioli RV4HS43MK3
| URI | m2://inv/RV4HS43MK3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donato Acciaioli, Donato Acciaioli (topic). Also Wikidata Q1240697
History
- 2026-11-02: add by m2/dev
Compact Hausdorff space RV4K4FERSV
| URI | m2://inv/RV4K4FERSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#GJHP, Compact Hausdorff space (definition)
History
- 2026-11-02: add by m2/dev
Logarithmic lemma, first order RV4K900VFE
| URI | m2://inv/RV4K900VFE |
|---|---|
| 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.15086#53UN, Logarithmic lemma, first order (statement). In V60MVF3KQ1/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Dieudonné module RV4PG2AZC8
| URI | m2://inv/RV4PG2AZC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dieudonné module, Dieudonné module (definition). Also Wikidata Q5275225
History
- 2026-11-02: add by m2/dev
RV4VAPT95Z RV4VAPT95Z
| URI | m2://inv/RV4VAPT95Z |
|---|---|
| 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.13875#5EHU (statement). In W6FK624JRQ/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Matthew O'Brien RV4WXPZ2Y1
| URI | m2://inv/RV4WXPZ2Y1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matthew O'Brien (mathematician), Matthew O'Brien (topic). Also Wikidata Q18530345
History
- 2026-11-02: add by m2/dev
Hyperprior RV55P3GPAA
| URI | m2://inv/RV55P3GPAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZA47, Hyperprior (definition)
History
- 2026-11-02: add by m2/dev
set, finite RV586QBGNE
| URI | m2://inv/RV586QBGNE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.5/set-finite, set, finite (concept). In QKM9DD2H56, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
domain RV58DGE991
| URI | m2://inv/RV58DGE991 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#Z5KP, domain (definition)
History
- 2026-11-02: add by m2/dev
Upper bounds on one-step prediction error RV5BPVFQSF
| URI | m2://inv/RV5BPVFQSF |
|---|---|
| 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.32652#41HA, Upper bounds on one-step prediction error (statement). In 6KAZWJ8RFX/e1, proposition 5.2
History
- 2026-10-31: add by m2/v0.5.6
Definitions RV5E7PJ7VN
| URI | m2://inv/RV5E7PJ7VN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex connectivity#UR9F, Definitions (definition)
History
- 2026-11-02: add by m2/dev
constructivism RV5VJXBDH7
| URI | m2://inv/RV5VJXBDH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Constructivism G958EQ8CWW |
Mentions
- wikidata: Wikidata Q1137814, constructivism (unknown). Also EoM Constructive_mathematics, nLab constructive mathematics
- wikipedia: Wikipedia Constructivism (philosophy of mathematics), Constructivism (definition). Also Wikidata Q1137814
History
- 2026-10-26: add by m2/dev
normalizer RV6FPRZMVA
| URI | m2://inv/RV6FPRZMVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 145661) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#OEY5, normalizer (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
RV6GKM95H3 RV6GKM95H3
| URI | m2://inv/RV6GKM95H3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#Q8LI (statement). In 2BET1RE1F6/e1, proposition 3.15
History
- 2026-10-31: add by m2/v0.5.6
Rizza manifold RV6P7W6NWE
| URI | m2://inv/RV6P7W6NWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rizza manifold, Rizza manifold (definition). Also Wikidata Q7339144
History
- 2026-11-02: add by m2/dev
Examples RV6YB42V0H
| URI | m2://inv/RV6YB42V0H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word problem for groups#FS2Q, Examples (example)
History
- 2026-11-02: add by m2/dev
RV6YE01EC6 RV6YE01EC6
| URI | m2://inv/RV6YE01EC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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.16094#HAJA (statement). In RHBS9QDHC3/e1, lemma 5.14
History
- 2026-10-28: add by m2/v0.4.2
Group (mathematics) RV70Y2JPJ7
| URI | m2://inv/RV70Y2JPJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#ZLOJ, Group (mathematics) (definition)
- wikipedia: Wikipedia List of abstract algebra topics#QIMN, Group (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
$\mathcal Z$-contraction RV78DQH2VH
| URI | m2://inv/RV78DQH2VH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10546#WA19, $\mathcal Z$-contraction (statement). In K5R5RRPMQ5/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.10
Luttinger's theorem RV7D294XCF
| URI | m2://inv/RV7D294XCF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luttinger's theorem, Luttinger's theorem (statement). Also Wikidata Q6705975
History
- 2026-11-02: add by m2/dev
RV7G5KZ7YP RV7G5KZ7YP
| URI | m2://inv/RV7G5KZ7YP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.16241#28BQ (statement). In WNDHZVY4WK/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Proof of Bertrand's postulate RV7MFB324S
| URI | m2://inv/RV7MFB324S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of Bertrand's postulate, Proof of Bertrand's postulate (definition). Also Wikidata Q13634063
History
- 2026-11-02: add by m2/dev
Truncation bias RV822FBJSM
| URI | m2://inv/RV822FBJSM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22338#QMPY, Truncation bias (statement)
History
- 2026-11-02: add by m2/v0.6.17
dual basis RV82BDWCS7
| URI | m2://inv/RV82BDWCS7 |
|---|---|
| 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.39511#H1LD, dual basis (statement). In 6W9H24A378/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Soundness RV84MKR9QV
| URI | m2://inv/RV84MKR9QV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/soundness.tex#thm:tableau-soundness, Soundness (statement). In PKGMM3P5QY, thm, section 55.12
History
- 2026-11-01: add by m2/v0.6.13
RV898TCN7P RV898TCN7P
| URI | m2://inv/RV898TCN7P |
|---|---|
| Kind | example |
| 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.37337#369O (example). In 813JGZV08G/e1, example 4.2
History
- 2026-10-30: add by m2/v0.4.12
Spouge's approximation RV89HFMJJ9
| URI | m2://inv/RV89HFMJJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spouge's approximation, Spouge's approximation (definition). Also Wikidata Q935210
History
- 2026-11-02: add by m2/dev
Dependence transfer for fixed absolute nonconformity scores RV8CB5SHFV
| URI | m2://inv/RV8CB5SHFV |
|---|---|
| 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.33868#LCK7, Dependence transfer for fixed absolute nonconformity scores (statement). In 7TQ3XH3X79/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
RV8CCERNJ7 RV8CCERNJ7
| URI | m2://inv/RV8CCERNJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#VEZ2 (statement). In Q5Z178SAHP/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
RV8H11316X RV8H11316X
| URI | m2://inv/RV8H11316X |
|---|---|
| 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.39274#PIKC (statement). In HVC7RVEM6V/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
RV8SFY0CD9 RV8SFY0CD9
| URI | m2://inv/RV8SFY0CD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#387H (statement). In 5350Q52F6P/e1, proposition 10.5
History
- 2026-10-28: add by m2/v0.4.2
Generalisation of the Hambly--Kumagai theorem RV8W6VFW6V
| URI | m2://inv/RV8W6VFW6V |
|---|---|
| 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.10469#0J6P, Generalisation of the Hambly--Kumagai theorem (statement). In Q39BEKW6D9/e1, theorem 2.8
History
- 2026-10-29: add by m2/v0.4.10
Weight measure and current RV8YW0DRFX
| URI | m2://inv/RV8YW0DRFX |
|---|---|
| Kind | definition |
| 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.05064#G7Y4, Weight measure and current (definition). In 11SW7NAN7M/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Applications RV92DKQTQV
| URI | m2://inv/RV92DKQTQV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control of chaos#SUM4, Applications (example)
History
- 2026-11-02: add by m2/dev
Lax–Friedrichs method RV92GWGZG2
| URI | m2://inv/RV92GWGZG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lax–Friedrichs method, Lax–Friedrichs method (definition). Also Wikidata Q6505312
History
- 2026-11-02: add by m2/dev
Carlo Cattaneo RV95T13BMD
| URI | m2://inv/RV95T13BMD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlo Cattaneo (mathematician), Carlo Cattaneo (topic). Also Wikidata Q3659176
History
- 2026-11-02: add by m2/dev
RV9SKYSQR9 RV9SKYSQR9
| URI | m2://inv/RV9SKYSQR9 |
|---|---|
| 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#U3TY (statement). In 13GSWBXPCM/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
RV9VT9VEF6 RV9VT9VEF6
| URI | m2://inv/RV9VT9VEF6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-2 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
RV9XRWFGM1 RV9XRWFGM1
| URI | m2://inv/RV9XRWFGM1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2303.09207#FV4F (definition). In 9DQKY7KGE8/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.5
purely imaginary number RVA0FMSXQF
| URI | m2://inv/RVA0FMSXQF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141512826, purely imaginary number (unknown). Also MathWorld PurelyImaginaryNumber
History
- 2026-10-26: add by m2/dev
International Congress on Mathematical Physics RVA0RBFRK7
| URI | m2://inv/RVA0RBFRK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Congress on Mathematical Physics, International Congress on Mathematical Physics (definition). Also Wikidata Q3010080
History
- 2026-11-02: add by m2/dev
Euler's differential equation RVA0YQZSA0
| URI | m2://inv/RVA0YQZSA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's differential equation, Euler's differential equation (definition). Also Wikidata Q48995728
History
- 2026-11-02: add by m2/dev
Theorem (Dilworth ≈1940, Grätzer and Schmidt 1962) RVA411JHWA
| URI | m2://inv/RVA411JHWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#GDR3, Theorem (Dilworth ≈1940, Grätzer and Schmidt 1962) (statement)
History
- 2026-11-02: add by m2/dev
RVA71G6HXF RVA71G6HXF
| URI | m2://inv/RVA71G6HXF |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#NQ9W (proof). In S1F2QW24YW/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Control limits RVANJ7Q2YH
| URI | m2://inv/RVANJ7Q2YH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X3MH, Control limits (definition)
History
- 2026-11-02: add by m2/dev
RVAPZV0WZN RVAPZV0WZN
| URI | m2://inv/RVAPZV0WZN |
|---|---|
| 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.18358#7FFP (definition). In SPZ446XNDW/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Stephen Summers RVAW6NJX9F
| URI | m2://inv/RVAW6NJX9F |
|---|---|
| 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 Q59825487, Stephen Summers (unknown). Also nLab Stephen Summers
History
- 2026-10-26: add by m2/dev
Properties RVAX9TG8EJ
| URI | m2://inv/RVAX9TG8EJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stacky curve#E4I3, Properties (statement)
History
- 2026-11-02: add by m2/dev
RVB03J5XTA RVB03J5XTA
| URI | m2://inv/RVB03J5XTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#4X5A (statement). In 1WCXV5PVZA/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.0
RVB11PF6SE RVB11PF6SE
| URI | m2://inv/RVB11PF6SE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11336#BAF4 (statement). In X1R1GDAJ0Y/e1, corollary 2.8
History
- 2026-10-28: add by m2/v0.4.3
Jacobi-like PBF realization of the Weyl matrices RVB1DK3AE4
| URI | m2://inv/RVB1DK3AE4 |
|---|---|
| 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#KD8F, Jacobi-like PBF realization of the Weyl matrices (statement)
History
- 2026-11-01: add by m2/v0.6.15
RVB3XDYV6F RVB3XDYV6F
| URI | m2://inv/RVB3XDYV6F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#17UH (definition). In RY2X22P6XW/e1, definition 34
History
- 2026-10-27: add by m2/v0.3.5
Michael E. Jung RVB4K9G7JX
| URI | m2://inv/RVB4K9G7JX |
|---|---|
| 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#QQ74, Michael E. Jung (unknown)
History
- 2026-11-02: add by m2/dev
Fast Fourier transform RVB575QERR
| URI | m2://inv/RVB575QERR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#YTP3, Fast Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
Noncentral distribution RVB6QRMMCW
| URI | m2://inv/RVB6QRMMCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncentral distribution, Noncentral distribution (definition). Also Wikidata Q7049207
History
- 2026-11-02: add by m2/dev
Ou RVBB1D3J60
| URI | m2://inv/RVBB1D3J60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20197#8AMY, Ou (statement)
History
- 2026-11-02: add by m2/v0.6.18
RVBHY1WMAE RVBHY1WMAE
| URI | m2://inv/RVBHY1WMAE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-1 (example). In E59CDZA4DP, example, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
About the Assumptions, Part II RVBJ2EB4Z1
| URI | m2://inv/RVBJ2EB4Z1 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
RVBZ7HTV2C RVBZ7HTV2C
| URI | m2://inv/RVBZ7HTV2C |
|---|---|
| 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.23779#6ZEZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Symposium on Discrete Algorithms RVC448R2T0
| URI | m2://inv/RVC448R2T0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symposium on Discrete Algorithms, Symposium on Discrete Algorithms (definition). Also Wikidata Q19605775
History
- 2026-11-02: add by m2/dev
cupolarotunda RVC44VK525
| URI | m2://inv/RVC44VK525 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18011179, cupolarotunda (unknown). Also MathWorld Cupolarotunda
History
- 2026-10-26: add by m2/dev
RVC8P83AK8 RVC8P83AK8
| URI | m2://inv/RVC8P83AK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#BDZ3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
triaugmented triangular prism RVCHP1EX6R
| URI | m2://inv/RVCHP1EX6R |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2444950, triaugmented triangular prism (object). Also MathWorld TriaugmentedTriangularPrism
- wikipedia: Wikipedia Triaugmented triangular prism, Triaugmented triangular prism (object). Also Wikidata Q2444950
History
- 2026-10-26: add by m2/dev
RVCR94ZZ1E RVCR94ZZ1E
| URI | m2://inv/RVCR94ZZ1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#8QA6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
610 RVCZRY38E4
| URI | m2://inv/RVCZRY38E4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 610 (number), 610 (definition). Also Wikidata Q783635
History
- 2026-11-02: add by m2/dev
RVD2RTXMC6 RVD2RTXMC6
| URI | m2://inv/RVD2RTXMC6 |
|---|---|
| Kind | problem |
| 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.32903#TKEG (problem). In S8NB83KQX3/e1, problem 1
History
- 2026-10-31: add by m2/v0.5.6
Robert Williams RVD4ZJK00Y
| URI | m2://inv/RVD4ZJK00Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#5FOG, Robert Williams (unknown)
History
- 2026-11-02: add by m2/dev
Two-layer network RVD65V41H3
| URI | m2://inv/RVD65V41H3 |
|---|---|
| Kind | definition |
| 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.04357#GFED, Two-layer network (definition). In 6FY8BVP1F3/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
spherical Hankel function of the second kind RVD6B1CM81
| URI | m2://inv/RVD6B1CM81 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109704414, spherical Hankel function of the second kind (unknown). Also MathWorld SphericalHankelFunctionoftheSecondKind
History
- 2026-10-26: add by m2/dev
Generalizations RVDCDMBH0S
| URI | m2://inv/RVDCDMBH0S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonabelian Hodge correspondence#H8EH, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Definition RVDGRPYFME
| URI | m2://inv/RVDGRPYFME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral curve#0EP5, Definition (definition)
History
- 2026-11-02: add by m2/dev
RVDM1M6YWD RVDM1M6YWD
| URI | m2://inv/RVDM1M6YWD |
|---|---|
| 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.31327#YRPD (statement). In F605BQ3AYX/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
RVE1C4XM7Y RVE1C4XM7Y
| URI | m2://inv/RVE1C4XM7Y |
|---|---|
| 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.21935#VP00 (statement). In YDNK7E99JW/e1, lemma 6
History
- 2026-10-27: add by m2/v0.4.2
Generalizations RVE8MW0FRB
| URI | m2://inv/RVE8MW0FRB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fat object (geometry)#9EEX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Soundness RVEAJDK5GF
| URI | m2://inv/RVEAJDK5GF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/tableaux/soundness.tex#thm:tableau-soundness, Soundness (statement). In PKGMM3P5QY, thm, section 34.6
History
- 2026-11-01: add by m2/v0.6.13
Gauge invariance and normalization RVECXM9X54
| URI | m2://inv/RVECXM9X54 |
|---|---|
| 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.03303#BF3M, Gauge invariance and normalization (statement). In VS9KKQWEMX/e1, theorem B.10
History
- 2026-10-29: add by m2/v0.4.12
Margaret Gurney RVEJ90D676
| URI | m2://inv/RVEJ90D676 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret Gurney, Margaret Gurney (topic). Also Wikidata Q60400640
History
- 2026-11-02: add by m2/dev
Completed smaller-separation cover RVEX9GH9J8
| URI | m2://inv/RVEX9GH9J8 |
|---|---|
| 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 2609.24931#CPL2, Completed smaller-separation cover (statement)
History
- 2026-11-01: add by m2/v0.6.15
Taylor series RVEXNVC2HR
| URI | m2://inv/RVEXNVC2HR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Taylor series 0225QPWRRE |
Mentions
- wikidata: Wikidata Q131187, Taylor series (concept). Also MathWorld TaylorSeries, nLab Taylor series, ProofWiki Definition:Taylor_Series
- wikipedia: Wikipedia Taylor series, Taylor series (definition). Also Wikidata Q131187
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
History of the Church–Turing thesis RVF03DGPXH
| URI | m2://inv/RVF03DGPXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of the Church–Turing thesis, History of the Church–Turing thesis (definition). Also Wikidata Q5869238
History
- 2026-11-02: add by m2/dev
Denis Talay RVF1N3RN9F
| URI | m2://inv/RVF1N3RN9F |
|---|---|
| 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#XL7Y, Denis Talay (unknown)
History
- 2026-11-02: add by m2/dev
RVF342PTVB RVF342PTVB
| URI | m2://inv/RVF342PTVB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#GTAQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Ruggiero Torelli RVF4KARYWS
| URI | m2://inv/RVF4KARYWS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruggiero Torelli, Ruggiero Torelli (topic). Also Wikidata Q2174915
History
- 2026-11-02: add by m2/dev
RVF635STR7 RVF635STR7
| URI | m2://inv/RVF635STR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#5BN2 (statement). In XBHQRTBH62/e1, lemma 1.3
History
- 2026-10-31: add by m2/v0.5.6
Sedenion RVFA3PZWP8
| URI | m2://inv/RVFA3PZWP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#WOT4, Sedenion (definition)
History
- 2026-11-02: add by m2/dev
Random Structures & Algorithms RVFEERZKBC
| URI | m2://inv/RVFEERZKBC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#9JGJ, Random Structures & Algorithms (unknown)
History
- 2026-11-02: add by m2/dev
Algorithms RVFFKMV746
| URI | m2://inv/RVFFKMV746 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular matroid#57BY, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Statistical genetics RVFHZX9S1W
| URI | m2://inv/RVFHZX9S1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FKBI, Statistical genetics (definition)
History
- 2026-11-02: add by m2/dev
Nikoloz Muskhelishvili RVFQR160C9
| URI | m2://inv/RVFQR160C9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikoloz Muskhelishvili, Nikoloz Muskhelishvili (topic). Also Wikidata Q695002
History
- 2026-11-02: add by m2/dev
RVG0VFE916 RVG0VFE916
| URI | m2://inv/RVG0VFE916 |
|---|---|
| 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.39700#PTU3 (statement). In E7W2HDNEKJ/e1, theorem 7.17
History
- 2026-10-30: add by m2/v0.4.12
Vijayan Nair RVG49HHY8V
| URI | m2://inv/RVG49HHY8V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vijayan Nair, Vijayan Nair (topic). Also Wikidata Q16980330
History
- 2026-11-02: add by m2/dev
VC-dimension bound RVG5C0GWFV
| URI | m2://inv/RVG5C0GWFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28341#PNW7, VC-dimension bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Commutative diagram RVG6RW58HB
| URI | m2://inv/RVG6RW58HB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#ZSL2, Commutative diagram (definition)
History
- 2026-11-02: add by m2/dev
poker RVGE7CWBPT
| URI | m2://inv/RVGE7CWBPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q80131, poker (unknown). Also MathWorld Poker
History
- 2026-10-26: add by m2/dev
universe RVGE8HR01H
| URI | m2://inv/RVGE8HR01H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1, universe (definition). Also ProofWiki Definition:Physical_Universe
History
- 2026-10-26: add by m2/dev
Applications RVGHGS2BZT
| URI | m2://inv/RVGHGS2BZT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#2O58, Applications (example)
History
- 2026-11-02: add by m2/dev
Nektar++ RVGZR585K2
| URI | m2://inv/RVGZR585K2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#R6MM, Nektar++ (unknown)
History
- 2026-11-02: add by m2/dev
A Brief History of Time RVH0BWCR1D
| URI | m2://inv/RVH0BWCR1D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#R5DF, A Brief History of Time (unknown)
History
- 2026-11-02: add by m2/dev
Alison Etheridge RVH4MNNY30
| URI | m2://inv/RVH4MNNY30 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#AAFL, Alison Etheridge (topic)
History
- 2026-11-02: add by m2/dev
Statement RVH6HDNS5D
| URI | m2://inv/RVH6HDNS5D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sard's theorem#8ENE, Statement (statement)
History
- 2026-11-02: add by m2/dev
RVHHK001JK RVHHK001JK
| URI | m2://inv/RVHHK001JK |
|---|---|
| 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.32832#4WFK (statement). In VS7P86QHFR/e1, lemma 5
History
- 2026-10-31: add by m2/v0.5.6
RVHKGA0ZER RVHKGA0ZER
| URI | m2://inv/RVHKGA0ZER |
|---|---|
| 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.14055#EWPZ (statement). In AKMGN13HE1/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Loewy decomposition RVHT65H1PN
| URI | m2://inv/RVHT65H1PN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewy decomposition, Loewy decomposition (definition). Also Wikidata Q17103349
History
- 2026-11-02: add by m2/dev
Dois Lajeados RVHTEQSVMD
| URI | m2://inv/RVHTEQSVMD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WLUQ, Dois Lajeados (unknown)
History
- 2026-11-02: add by m2/dev
UCSMP (University of Chicago School Mathematics Project) axioms RVHV6XFRGP
| URI | m2://inv/RVHV6XFRGP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foundations of geometry#LF2E, UCSMP (University of Chicago School Mathematics Project) axioms (statement)
History
- 2026-11-02: add by m2/dev
Poincaré map RVHVZ074J0
| URI | m2://inv/RVHVZ074J0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Poincaré map 60TDCPY4Z4 |
Mentions
- wikidata: Wikidata Q339199, Poincaré map (unknown). Also MathWorld PoincareMap
- wikipedia: Wikipedia Poincaré map, Poincaré map (definition). Also Wikidata Q339199
History
- 2026-10-26: add by m2/dev
RVHYJ6WD8J RVHYJ6WD8J
| URI | m2://inv/RVHYJ6WD8J |
|---|---|
| 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.15525#68CN (statement). In EFDRME13PT/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
RVJ2A4C7NB RVJ2A4C7NB
| URI | m2://inv/RVJ2A4C7NB |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vizing's conjecture#GOIV (problem)
History
- 2026-11-02: add by m2/dev
Theorem RVJ42T7TBF
| URI | m2://inv/RVJ42T7TBF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short integer solution problem#9RXY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
RVJDFAWX12 RVJDFAWX12
| URI | m2://inv/RVJDFAWX12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14446#O35N (statement). In AWRXXZR673/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
RVJN4BVZKA RVJN4BVZKA
| URI | m2://inv/RVJN4BVZKA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.05628#KKP4 (statement). In 9JPKTEWW4W/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.3.5
RVJRH3FG03 RVJRH3FG03
| URI | m2://inv/RVJRH3FG03 |
|---|---|
| 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 2609.27301#87EV (definition)
History
- 2026-11-01: add by m2/v0.6.15
Monique Laurent RVJVBTPZ5E
| URI | m2://inv/RVJVBTPZ5E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OOTV, Monique Laurent (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FN46, Monique Laurent (unknown)
History
- 2026-11-02: add by m2/dev
Expanded icosidodecahedron RVJYXCMBR5
| URI | m2://inv/RVJYXCMBR5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expanded icosidodecahedron, Expanded icosidodecahedron (object). Also Wikidata Q18043353
History
- 2026-11-02: add by m2/dev
Durbin, James RVK3XYBBK9
| URI | m2://inv/RVK3XYBBK9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#KXL6, Durbin, James (unknown)
History
- 2026-11-02: add by m2/dev
709 (number) RVK51K4JJM
| URI | m2://inv/RVK51K4JJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#AMIY, 709 (number) (unknown)
History
- 2026-11-02: add by m2/dev
RVK9GTXESD RVK9GTXESD
| URI | m2://inv/RVK9GTXESD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#CG60 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ronald Does RVKE92XYQ3
| URI | m2://inv/RVKE92XYQ3 |
|---|---|
| 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#V7HQ, Ronald Does (topic)
History
- 2026-11-02: add by m2/dev
Arithmetic series RVKR0DK54M
| URI | m2://inv/RVKR0DK54M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic progression#J33Q, Arithmetic series (unknown)
History
- 2026-11-02: add by m2/dev
Ivanov , Handel--Mosher RVM0QWTPS2
| URI | m2://inv/RVM0QWTPS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#N9A9, Ivanov , Handel--Mosher (statement). In 1A01NFHBGA/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
false RVM6MFJ2Z7
| URI | m2://inv/RVM6MFJ2Z7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/false, false (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
RVMDWWDEVA RVMDWWDEVA
| URI | m2://inv/RVMDWWDEVA |
|---|---|
| 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 2609.35678#JPNU (definition). In 4X4ZS7CEKD/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
finite fields RVMF0HJZRP
| URI | m2://inv/RVMF0HJZRP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > finite fields, finite fields (unknown)
History
- 2026-10-26: add by m2/dev
Approximable points RVMYP1JVJT
| URI | m2://inv/RVMYP1JVJT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-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 2610.21775#ZVR0, Approximable points (definition). In KM3Q791JY0/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.4.2
Jascha Horenstein RVMZ6WB0P1
| URI | m2://inv/RVMZ6WB0P1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#BDG3, Jascha Horenstein (unknown)
History
- 2026-11-02: add by m2/dev
RVNB51DVAA RVNB51DVAA
| URI | m2://inv/RVNB51DVAA |
|---|---|
| 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.03288#9ANE (statement). In ZHP1MFSACN/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.12
RVNBV97SWY RVNBV97SWY
| URI | m2://inv/RVNBV97SWY |
|---|---|
| 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 2609.21191#J445 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Multivariate adaptive regression splines RVNKB5Q39Q
| URI | m2://inv/RVNKB5Q39Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YEOG, Multivariate adaptive regression splines (definition)
History
- 2026-11-02: add by m2/dev
hub and spoke RVNR3ENW5C
| URI | m2://inv/RVNR3ENW5C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/hub-and-spoke, hub and spoke (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
Polynomial Bohr sets RVNRS2YTQP
| URI | m2://inv/RVNRS2YTQP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30410#QYSS, Polynomial Bohr sets (definition). In 5HZX3JVJWF/e1, definition 1.4
History
- 2026-10-31: add by m2/v0.5.6
Kernel smoother RVNSBV4FYB
| URI | m2://inv/RVNSBV4FYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel smoother, Kernel smoother (definition). Also Wikidata Q6394203
History
- 2026-11-02: add by m2/dev
Giambelli's formula RVNTC8N0SH
| URI | m2://inv/RVNTC8N0SH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giambelli's formula, Giambelli's formula (statement). Also Wikidata Q5557991
History
- 2026-11-02: add by m2/dev
RVP5TF7K1V RVP5TF7K1V
| URI | m2://inv/RVP5TF7K1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#58R3 (statement). In 9S7HGSEX6Q/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
RVPCPWA81M RVPCPWA81M
| URI | m2://inv/RVPCPWA81M |
|---|---|
| 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.22393#Q4QT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Triangular orthobicupola RVPD37DC7S
| URI | m2://inv/RVPD37DC7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#PBMO, Triangular orthobicupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#BPPN, Triangular orthobicupola (definition)
History
- 2026-11-02: add by m2/dev
Jon Barwise RVPPKPK9KX
| URI | m2://inv/RVPPKPK9KX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2RC5, Jon Barwise (topic)
History
- 2026-11-02: add by m2/dev
RVPPX2FCBM RVPPX2FCBM
| URI | m2://inv/RVPPX2FCBM |
|---|---|
| Kind | exercise |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an exercise of a paper, which becomes a node only when a node, a project or a curriculum asks for it (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#JTH9 (exercise). In XGPZ0G9E1Q/e1, exercise 10.4
History
- 2026-10-29: add by m2/v0.4.12
Complex reflection group RVPYQ2E9YP
| URI | m2://inv/RVPYQ2E9YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#3LFW, Complex reflection group (definition)
History
- 2026-11-02: add by m2/dev
RVQ0G064S1 RVQ0G064S1
| URI | m2://inv/RVQ0G064S1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#6UM3 (definition). In CGA36VE1C5/e1, definition 2.1.3
History
- 2026-10-27: add by m2/v0.3.6
conditional RVQ23R0WXE
| URI | m2://inv/RVQ23R0WXE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.1/conditional, conditional (concept). In Y91XFCEVHQ, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
RVQ2ZZ22NM RVQ2ZZ22NM
| URI | m2://inv/RVQ2ZZ22NM |
|---|---|
| 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#GJHE (statement). In 12RSHWCNMX/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Operator-product bound RVQ5MMG3GY
| URI | m2://inv/RVQ5MMG3GY |
|---|---|
| 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.23098#2H43, Operator-product bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
Marxist Dialectic RVQ79S6Z40
| URI | m2://inv/RVQ79S6Z40 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dialectic#4TUM, Marxist Dialectic (unknown)
History
- 2026-11-02: add by m2/dev
RVQ8C58E4T RVQ8C58E4T
| URI | m2://inv/RVQ8C58E4T |
|---|---|
| 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 2407.08976#148U (statement). In ZVNM9X4NNG/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
Cossey RVQA6N1SB9
| URI | m2://inv/RVQA6N1SB9 |
|---|---|
| Kind | conjecture |
| 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 2502.05771#QMTU, Cossey (conjecture). In 958KKGH89J/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.3.6
Applications RVQGJG9K2Q
| URI | m2://inv/RVQGJG9K2Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transient modelling#N610, Applications (example)
History
- 2026-11-02: add by m2/dev
RVQZ9DV4RV RVQZ9DV4RV
| URI | m2://inv/RVQZ9DV4RV |
|---|---|
| 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.07828#ZEBR (example). In TWGMVT1N1G/e1, example 5.10
History
- 2026-10-29: add by m2/v0.4.10
RVR2T5QBYG RVR2T5QBYG
| URI | m2://inv/RVR2T5QBYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#61RP (statement). In AQX7DGD360/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
Cyclic symmetry in three dimensions RVRMJ9QW94
| URI | m2://inv/RVRMJ9QW94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic symmetry in three dimensions, Cyclic symmetry in three dimensions (definition). Also Wikidata Q5198233
History
- 2026-11-02: add by m2/dev
RVRMWY7NMC RVRMWY7NMC
| URI | m2://inv/RVRMWY7NMC |
|---|---|
| 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 2504.00267#MXO5 (definition). In 38XJWDZ2PH/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
RVRVET47X8 RVRVET47X8
| URI | m2://inv/RVRVET47X8 |
|---|---|
| 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.07040#2UYK (statement). In KMNXNW7FHP/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
Definition RVRWNFH4TH
| URI | m2://inv/RVRWNFH4TH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independent and identically distributed random variables#46SP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Healthy diet RVRYNYV4X6
| URI | m2://inv/RVRYNYV4X6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#CYC4, Healthy diet (unknown)
History
- 2026-11-02: add by m2/dev
timeline of category theory and related mathematics RVRZ1SWY74
| URI | m2://inv/RVRZ1SWY74 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7806026, timeline of category theory and related mathematics (unknown). Also nLab Timeline of category theory and related mathematics
- wikipedia: Wikipedia Timeline of category theory and related mathematics, Timeline of category theory and related mathematics (topic). Also Wikidata Q7806026
History
- 2026-10-26: add by m2/dev
RVSCQGWKCJ RVSCQGWKCJ
| URI | m2://inv/RVSCQGWKCJ |
|---|---|
| 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 2508.02432#NPWD (example). In B366ACYB37/e1, example 2.2
History
- 2026-10-27: add by m2/v0.3.5
Teresa W. Haynes RVSCY2XB48
| URI | m2://inv/RVSCY2XB48 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SZPK, Teresa W. Haynes (unknown)
History
- 2026-11-02: add by m2/dev
RVSF8NBXEY RVSF8NBXEY
| URI | m2://inv/RVSF8NBXEY |
|---|---|
| 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.30819#YP4A (statement). In TE6082EE1K/e1, corollary 2
History
- 2026-10-31: add by m2/v0.5.6
Double-resolvent deterministic equivalent RVSSN9SZG1
| URI | m2://inv/RVSSN9SZG1 |
|---|---|
| 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.09044#HMIE, Double-resolvent deterministic equivalent (statement). In 4KYENHR0J8/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.10
RVSSRHRWC1 RVSSRHRWC1
| URI | m2://inv/RVSSRHRWC1 |
|---|---|
| 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.12295#F7VN (statement). In 6DZPR52HRP/e1, lemma 4.17
History
- 2026-10-28: add by m2/v0.4.2
MathFest RVSV4BADYN
| URI | m2://inv/RVSV4BADYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MathFest, MathFest (definition). Also Wikidata Q17000178
History
- 2026-11-02: add by m2/dev
Tibor Gallai RVSW534CMV
| URI | m2://inv/RVSW534CMV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tibor Gallai, Tibor Gallai (topic). Also Wikidata Q833449
History
- 2026-11-02: add by m2/dev
RVT0BB17R4 RVT0BB17R4
| URI | m2://inv/RVT0BB17R4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-30 (proof). In N54F33XE07, proof, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
convex polyhedron RVT2DC3RQA
| URI | m2://inv/RVT2DC3RQA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3753221, convex polyhedron (unknown). Also EoM Convex_polyhedron, MathWorld ConvexPolyhedron
History
- 2026-10-26: add by m2/dev
RVT3GKSTQC RVT3GKSTQC
| URI | m2://inv/RVT3GKSTQC |
|---|---|
| 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.03292#403A (statement). In SN2PBM95HT/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
Theorem RVT69C0HEE
| URI | m2://inv/RVT69C0HEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz–Pettis theorem#SLXG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem of Apollonios on conjugate diameters RVT765MR6T
| URI | m2://inv/RVT765MR6T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipse#H1ED, Theorem of Apollonios on conjugate diameters (statement)
History
- 2026-11-02: add by m2/dev
RVT9BSSK01 RVT9BSSK01
| URI | m2://inv/RVT9BSSK01 |
|---|---|
| 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.29185#F3R6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
RVTB09M1Z2 RVTB09M1Z2
| URI | m2://inv/RVTB09M1Z2 |
|---|---|
| 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.21258#9L2E (statement). In PN98BKSKZP/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
KR-theory RVTBN2YC4P
| URI | m2://inv/RVTBN2YC4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6336464, KR-theory (unknown). Also nLab KR cohomology theory
- wikipedia: Wikipedia KR-theory, KR-theory (definition). Also Wikidata Q6336464
History
- 2026-10-26: add by m2/dev
Definition RVTH0NB9PD
| URI | m2://inv/RVTH0NB9PD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex torus#AYUS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Tate conjecture RVTJP737N1
| URI | m2://inv/RVTJP737N1 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7687975, Tate conjecture (conjecture). Also nLab Tate conjecture
- wikipedia: Wikipedia Tate conjecture, Tate conjecture (conjecture). Also Wikidata Q7687975
History
- 2026-10-26: add by m2/dev
RVTN2DT54Q RVTN2DT54Q
| URI | m2://inv/RVTN2DT54Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.10558#Y87Q (statement). In GYSF9JXQCH/e1, proposition 5.11
History
- 2026-10-29: add by m2/v0.4.10
Parametrisation of the weak packet RVTNX09893
| URI | m2://inv/RVTNX09893 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.16931#SRHC, Parametrisation of the weak packet (statement). In H7DMRWBBJN/e1, theorem 8.7
History
- 2026-10-28: add by m2/v0.4.2
Parameter valuation at arbitrary weights RVV2MNE91P
| URI | m2://inv/RVV2MNE91P |
|---|---|
| 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.05652#E6MA, Parameter valuation at arbitrary weights (statement). In 8BNPFYQDQX/e1, lemma 3.13
History
- 2026-10-29: add by m2/v0.4.10
Exact law, lattice case RVV542QZ1Y
| URI | m2://inv/RVV542QZ1Y |
|---|---|
| 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.18445#RPK1, Exact law, lattice case (statement). In X63FGXZP4F/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
LOCC RVV6GC2YNX
| URI | m2://inv/RVV6GC2YNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LOCC, LOCC (definition). Also Wikidata Q6459475
History
- 2026-11-02: add by m2/dev
ANR homology manifold RVV8JK8GMM
| URI | m2://inv/RVV8JK8GMM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute neighborhood retract#0MSV, ANR homology manifold (unknown)
History
- 2026-11-02: add by m2/dev
RVVBEM2GDM RVVBEM2GDM
| URI | m2://inv/RVVBEM2GDM |
|---|---|
| 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 2401.14143#589G (definition). In 7WV4JVGEN1/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.4.0
Enea Bortolotti RVVG0EC0K0
| URI | m2://inv/RVVG0EC0K0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enea Bortolotti, Enea Bortolotti (topic). Also Wikidata Q3725178
History
- 2026-11-02: add by m2/dev
Shahn Majid RVVJ3J863Q
| URI | m2://inv/RVVJ3J863Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E4T9, Shahn Majid (unknown)
History
- 2026-11-02: add by m2/dev
Area of an ellipse RVVNVV4SR4
| URI | m2://inv/RVVNVV4SR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area#SG1E, Area of an ellipse (unknown)
History
- 2026-11-02: add by m2/dev
M-theory RVVTDV9FP0
| URI | m2://inv/RVVTDV9FP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q232184, M-theory (unknown). Also nLab M-theory
- wikipedia: Wikipedia M-theory, M-theory (definition). Also Wikidata Q232184
History
- 2026-10-26: add by m2/dev
$\AGL(1,p^d)$ RVVTTF9S84
| URI | m2://inv/RVVTTF9S84 |
|---|---|
| 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.15340#BZ14, $\AGL(1,p^d)$ (statement). In 9NVKKW8HDH/e1, theorem 2.96
History
- 2026-10-28: add by m2/v0.4.2
Localization of a ring RVVXDS7DQ3
| URI | m2://inv/RVVXDS7DQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#VEY5, Localization of a ring (definition)
- wikipedia: Wikipedia List of commutative algebra topics#9EDW, Localization of a ring (definition)
History
- 2026-11-02: add by m2/dev
Council Areas of Scotland RVVXQDKJN0
| URI | m2://inv/RVVXQDKJN0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdivisions of Scotland#FL08, Council Areas of Scotland (unknown)
History
- 2026-11-02: add by m2/dev
\theoremcite{Open Problem 2}{aliprantis1974 RVVXW0YEW3
| URI | m2://inv/RVVXW0YEW3 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#9H33, \theoremcite{Open Problem 2}{aliprantis1974 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Semistable reduction theorem RVW1J5N7ZZ
| URI | m2://inv/RVW1J5N7ZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semistable reduction theorem, Semistable reduction theorem (statement). Also Wikidata Q112274079
History
- 2026-11-02: add by m2/dev
Phase-free elimination of the Hopf differential RVW1K36BEX
| URI | m2://inv/RVW1K36BEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20197#JSAU, Phase-free elimination of the Hopf differential (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mixed Hodge structure in cohomology (Deligne's theorem) RVW543C8QW
| URI | m2://inv/RVW543C8QW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodge structure#FDSR, Mixed Hodge structure in cohomology (Deligne's theorem) (statement)
History
- 2026-11-02: add by m2/dev
Mixed-data sampling RVW8HQNZ47
| URI | m2://inv/RVW8HQNZ47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed-data sampling, Mixed-data sampling (definition). Also Wikidata Q6883960
History
- 2026-11-02: add by m2/dev
Formal statement RVWP6CN8R9
| URI | m2://inv/RVWP6CN8R9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein's example#6C3I, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
RVWQ49RKSW RVWQ49RKSW
| URI | m2://inv/RVWQ49RKSW |
|---|---|
| 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.10233#TRLL (statement). In QR9WE79ERQ/e1, proposition 1.4
History
- 2026-10-29: add by m2/v0.4.10
Findochty RVWWQ5MTPV
| URI | m2://inv/RVWWQ5MTPV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#F2EJ, Findochty (unknown)
History
- 2026-11-02: add by m2/dev
RVWXS4J4Y1 RVWXS4J4Y1
| URI | m2://inv/RVWXS4J4Y1 |
|---|---|
| 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.08935#OI3O (definition). In G02N9D40B9/e1, definition 1.4.3
History
- 2026-10-29: add by m2/v0.4.10
Formal definition RVX1WG5DND
| URI | m2://inv/RVX1WG5DND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multitape Turing machine#TRVF, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
RVXJSRAWYF RVXJSRAWYF
| URI | m2://inv/RVXJSRAWYF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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 2303.09207#MRYO (example). In 9DQKY7KGE8/e1, example A.8
History
- 2026-10-31: add by m2/v0.5.6
The standard deviation as a function of the ridge RVXNE1WK3N
| URI | m2://inv/RVXNE1WK3N |
|---|---|
| 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.14695#64XH, The standard deviation as a function of the ridge (statement). In T15EJSPCNG/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
RVXR9B0XAK RVXR9B0XAK
| URI | m2://inv/RVXR9B0XAK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-19 (exercise). In E59CDZA4DP, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
RVY3FAKEXW RVY3FAKEXW
| URI | m2://inv/RVY3FAKEXW |
|---|---|
| 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 2609.25289#QFHL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sieve D RVY6ECSATQ
| URI | m2://inv/RVY6ECSATQ |
|---|---|
| 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.16962#SM03, Sieve D (statement). In KJC9FRS3C2/e1, theorem 7.3
History
- 2026-10-28: add by m2/v0.4.2
Examples RVY9C2WXF0
| URI | m2://inv/RVY9C2WXF0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeros and poles#VULG, Examples (example)
History
- 2026-11-02: add by m2/dev
Hyperbolic motion RVYM5Q9ZXP
| URI | m2://inv/RVYM5Q9ZXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic motion, Hyperbolic motion (definition). Also Wikidata Q5957795
History
- 2026-11-02: add by m2/dev
RVYS00QKYZ RVYS00QKYZ
| URI | m2://inv/RVYS00QKYZ |
|---|---|
| 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#S587 (statement). In 7WVPJVPQH2/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Galton, Francis RVYVWQWM4Q
| URI | m2://inv/RVYVWQWM4Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#PCTW, Galton, Francis (topic)
History
- 2026-11-02: add by m2/dev
Dijoin RVYYB8BP8Z
| URI | m2://inv/RVYYB8BP8Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dijoin, Dijoin (definition). Also Wikidata Q115806012
History
- 2026-11-02: add by m2/dev
Quotient disks and attaching map RVZ2YQJ5WW
| URI | m2://inv/RVZ2YQJ5WW |
|---|---|
| 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.38126#H639, Quotient disks and attaching map (statement). In QNVKW32G02/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
RVZ72ZDQGS RVZ72ZDQGS
| URI | m2://inv/RVZ72ZDQGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#W2NA (statement). In Z7E16PFFCP/e1, corollary 3.31
History
- 2026-10-30: add by m2/v0.4.12
planar unit distance problem RVZ8QAM35Y
| URI | m2://inv/RVZ8QAM35Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#8W4X, planar unit distance problem (definition)
History
- 2026-11-02: add by m2/dev
RVZH21WXK2 RVZH21WXK2
| URI | m2://inv/RVZH21WXK2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-4.xml#ula-preview-7-4 (exercise). In 649HGZKE96, exploration, section 7.4.1
History
- 2026-11-01: add by m2/v0.6.13
RVZP4WJRX3 RVZP4WJRX3
| URI | m2://inv/RVZP4WJRX3 |
|---|---|
| Kind | example |
| 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.36088#PKYY (example). In QJD3MZMJHW/e1, example 6.2
History
- 2026-10-30: add by m2/v0.4.12
Rogers polynomials RVZQ71QQ33
| URI | m2://inv/RVZQ71QQ33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#V2YG, Rogers polynomials (definition)
History
- 2026-11-02: add by m2/dev
The Fano plane RVZS5RHKMV
| URI | m2://inv/RVZS5RHKMV |
|---|---|
| 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 2610.20649#H005, The Fano plane (statement). In XDTM624YPE/e1, corollary 13.3
History
- 2026-10-27: add by m2/v0.4.2
RVZTJSK7CQ RVZTJSK7CQ
| URI | m2://inv/RVZTJSK7CQ |
|---|---|
| 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.11383#6G8S (statement). In DJBZ3V8SQ6/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
Proposition RVZX4ARTD1
| URI | m2://inv/RVZX4ARTD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal polytope#XWGH, Proposition (statement)
History
- 2026-11-02: add by m2/dev