Inventory rows 2V
The cards of the rows of the inventory whose ids start with 2V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Identity element 2V010THDVZ
| URI | m2://inv/2V010THDVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic sum#LRFI, Identity element (statement)
History
- 2026-11-02: add by m2/dev
Discrete maximum principle 2V0CD6T2KQ
| URI | m2://inv/2V0CD6T2KQ |
|---|---|
| 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.28412#CPH0, Discrete maximum principle (statement)
History
- 2026-11-01: add by m2/v0.6.15
Softening 2V0N6C2BSJ
| URI | m2://inv/2V0N6C2BSJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-body simulation#XRK1, Softening (unknown)
History
- 2026-11-02: add by m2/dev
quotient rule 2V0TSZXPTF
| URI | m2://inv/2V0TSZXPTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#8XBP, quotient rule (definition)
History
- 2026-11-02: add by m2/dev
2V0VM6V8GQ 2V0VM6V8GQ
| URI | m2://inv/2V0VM6V8GQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#UNVW (definition). In M0SQY5EZN5/e1, definition 1.5.3
History
- 2026-10-27: add by m2/v0.3.5
2V0XMQW910 2V0XMQW910
| URI | m2://inv/2V0XMQW910 |
|---|---|
| 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.02692#D6XW (statement). In P482WJSQSN/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
2V100KRT6N 2V100KRT6N
| URI | m2://inv/2V100KRT6N |
|---|---|
| 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.21358#5NC9 (statement). In XV70TXYS5A/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
Perturbations of type II cones 2V1FDT2T9C
| URI | m2://inv/2V1FDT2T9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18270#RUXC, Perturbations of type II cones (statement). In CPDMYJ0NJV/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.2
Taylor remainder bound 2V1VV6DX80
| URI | m2://inv/2V1VV6DX80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#QP6B, Taylor remainder bound (statement). In 6FY8BVP1F3/e1, lemma I.7
History
- 2026-10-29: add by m2/v0.4.12
Lagrange identity 2V1ZZZFH2F
| URI | m2://inv/2V1ZZZFH2F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison of vector algebra and geometric algebra#KPIH, Lagrange identity (statement)
History
- 2026-11-02: add by m2/dev
Correlated equilibrium 2V247M40SW
| URI | m2://inv/2V247M40SW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlated equilibrium, Correlated equilibrium (definition). Also Wikidata Q964667
History
- 2026-11-02: add by m2/dev
Gordon Agnew 2V281Q9EX1
| URI | m2://inv/2V281Q9EX1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#U2ID, Gordon Agnew (unknown)
History
- 2026-11-02: add by m2/dev
Implementations 2V2AZRJPRG
| URI | m2://inv/2V2AZRJPRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polish notation#OI26, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Calculus version of Gray's sequence 2V2CAE465Q
| URI | m2://inv/2V2CAE465Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#6F8O, Calculus version of Gray's sequence (statement). In ZPT9XCCAPQ/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
2V2EVE21G4 2V2EVE21G4
| URI | m2://inv/2V2EVE21G4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30262#M9TW (definition). In FWA5QW6FCF/e1, definition 4.11
History
- 2026-10-31: add by m2/v0.5.6
Methods 2V2NGJ8DZS
| URI | m2://inv/2V2NGJ8DZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiparametric regression#MQLR, Methods (definition)
History
- 2026-11-02: add by m2/dev
Craig A. Tracy 2V2NQWEXCC
| URI | m2://inv/2V2NQWEXCC |
|---|---|
| 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#TKKJ, Craig A. Tracy (unknown)
History
- 2026-11-02: add by m2/dev
Definition 2V2PG5W0Z9
| URI | m2://inv/2V2PG5W0Z9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized singular value decomposition#YXVN, Definition (definition)
History
- 2026-11-02: add by m2/dev
quaternion group 2V2PGRB7P4
| URI | m2://inv/2V2PGRB7P4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Quaternion group 0NRJGW864D |
Mentions
- wikidata: Wikidata Q1335680, quaternion group (definition). Also EoM Quaternion_group, MathWorld QuaternionGroup, nLab quaternion group, ProofWiki Definition:Dicyclic_Group/Quaternion_Group
- wikipedia: Wikipedia Quaternion group, Quaternion group (definition). Also Wikidata Q1335680
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
2V34BRW2BR 2V34BRW2BR
| URI | m2://inv/2V34BRW2BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36904#960Z (statement). In R9E569AVRG/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Kenichi Fukui 2V3QGJP96F
| URI | m2://inv/2V3QGJP96F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RDWN, Kenichi Fukui (unknown)
History
- 2026-11-02: add by m2/dev
2V3R5G2X40 2V3R5G2X40
| URI | m2://inv/2V3R5G2X40 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 13-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.10925#SXD8 (problem). In 9604WYX0BW/e1, problem 1.1
History
- 2026-10-28: add by m2/v0.4.3
2V4885V0MW 2V4885V0MW
| URI | m2://inv/2V4885V0MW |
|---|---|
| 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.31102#CQ3F (statement). In 7CADATJMAA/e1, proposition 3.3
History
- 2026-10-31: add by m2/v0.5.6
Definition 2V4CNNTZB3
| URI | m2://inv/2V4CNNTZB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schnorr group#P0E9, Definition (definition)
History
- 2026-11-02: add by m2/dev
De Bruijn torus 2V4PQWAV33
| URI | m2://inv/2V4PQWAV33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Bruijn torus, De Bruijn torus (definition). Also Wikidata Q5244290
History
- 2026-11-02: add by m2/dev
Definition 2V500G1WXE
| URI | m2://inv/2V500G1WXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted automaton#TBT0, Definition (definition)
History
- 2026-11-02: add by m2/dev
2V5ABWKF05 2V5ABWKF05
| URI | m2://inv/2V5ABWKF05 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/construction-of-model.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 11.1
History
- 2026-11-01: add by m2/v0.6.13
Formulas 2V5FB8FJS7
| URI | m2://inv/2V5FB8FJS7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great dodecahedron#ODGF, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Kessar--Kunugi--Mitsuhashi 2V5S61YPNK
| URI | m2://inv/2V5S61YPNK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25967#FU6E, Kessar--Kunugi--Mitsuhashi (statement)
History
- 2026-11-01: add by m2/v0.6.15
logic, propositions as types 2V5TRP8Z31
| URI | m2://inv/2V5TRP8Z31 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/logic-propositions-as-types, logic, propositions as types (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
2V5YQX6SBJ 2V5YQX6SBJ
| URI | m2://inv/2V5YQX6SBJ |
|---|---|
| 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 2502.08738#7WS9 (definition). In 9GMTVSTAVN/e1, definition 4.11
History
- 2026-10-27: add by m2/v0.3.5
2V62GNG62J 2V62GNG62J
| URI | m2://inv/2V62GNG62J |
|---|---|
| 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.16180#I5XC (statement). In FCFD59D3T6/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Lagrange polynomial 2V64V5JG00
| URI | m2://inv/2V64V5JG00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#6F26, Lagrange polynomial (definition)
- wikipedia: Wikipedia List of polynomial topics#6Q8H, Lagrange polynomial (definition)
History
- 2026-11-02: add by m2/dev
2V6FQG23PK 2V6FQG23PK
| URI | m2://inv/2V6FQG23PK |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.05392#QUJ5 (conjecture). In 58D1ZC82DW/e1, conjecture 28
History
- 2026-10-27: add by m2/v0.3.5
error equivalence 2V6GGDQREM
| URI | m2://inv/2V6GGDQREM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17678#0H7A, error equivalence (statement). In V753EAWQ3S/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
2V6HTXDD9S 2V6HTXDD9S
| URI | m2://inv/2V6HTXDD9S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#BOHR (definition)
History
- 2026-11-02: add by m2/v0.6.17
Power Function 2V6KEZDBNQ
| URI | m2://inv/2V6KEZDBNQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentiation#RKJV, Power Function (unknown)
History
- 2026-11-02: add by m2/dev
Preserving the first local moment 2V6N9FM3S0
| URI | m2://inv/2V6N9FM3S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#GW6X, Preserving the first local moment (statement). In HGTFJ325A4/e1, proposition 8.6
History
- 2026-10-30: add by m2/v0.4.12
3-rotor Enigma 2V6Q526FV0
| URI | m2://inv/2V6Q526FV0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enigma machine#1Y6G, 3-rotor Enigma (unknown)
History
- 2026-11-02: add by m2/dev
2V6QYAKFKT 2V6QYAKFKT
| URI | m2://inv/2V6QYAKFKT |
|---|---|
| Kind | definition |
| 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 0910.5574#0TCE (definition). In 2TJRBRKYAY/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
2V6SM6XR98 2V6SM6XR98
| URI | m2://inv/2V6SM6XR98 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#7CG0 (definition). In Q5Z178SAHP/e1, definition 7.2
History
- 2026-10-30: add by m2/v0.4.12
Brandt semigroup 2V6SQ7T79R
| URI | m2://inv/2V6SQ7T79R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4957188, Brandt semigroup (unknown). Also EoM Brandt_semi-group
- wikipedia: Wikipedia Brandt semigroup, Brandt semigroup (definition). Also Wikidata Q4957188
History
- 2026-10-26: add by m2/dev
Anna-Karin Tornberg 2V6V3V2KVB
| URI | m2://inv/2V6V3V2KVB |
|---|---|
| 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#I2I8, Anna-Karin Tornberg (unknown)
History
- 2026-11-02: add by m2/dev
2V6Z471B8A 2V6Z471B8A
| URI | m2://inv/2V6Z471B8A |
|---|---|
| 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.20944#IN7E (statement). In DRRKZR6CQC/e1, lemma B.2
History
- 2026-10-27: add by m2/v0.4.2
Araki–Lieb–Thirring inequality 2V73BXKN5Q
| URI | m2://inv/2V73BXKN5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace inequality#EH2K, Araki–Lieb–Thirring inequality (statement)
History
- 2026-11-02: add by m2/dev
Selmer M. Johnson 2V73CEJZSK
| URI | m2://inv/2V73CEJZSK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EWP6, Selmer M. Johnson (unknown)
History
- 2026-11-02: add by m2/dev
2V74361HXN 2V74361HXN
| URI | m2://inv/2V74361HXN |
|---|---|
| Kind | problem |
| 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.07508#1HFH (problem). In TPA3E67MKK/e1, problem 10.3
History
- 2026-10-29: add by m2/v0.4.10
2V78X49YB6 2V78X49YB6
| URI | m2://inv/2V78X49YB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#TLTN (statement). In GM3S19KFDH/e1, corollary 3.9
History
- 2026-10-30: add by m2/v0.4.12
2V7D665KB1 2V7D665KB1
| URI | m2://inv/2V7D665KB1 |
|---|---|
| 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.16225#5VB4 (statement). In H3DJV9YQW1/e1, lemma 2.12
History
- 2026-10-28: add by m2/v0.4.2
2V7EDF0RX9 2V7EDF0RX9
| URI | m2://inv/2V7EDF0RX9 |
|---|---|
| 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 0904.2051#VK00 (statement). In JYRVG8P8KC/e1, corollary 0
History
- 2026-10-27: add by m2/v0.3.5
CUE limit for equilibrium growth 2V7FGQWE05
| URI | m2://inv/2V7FGQWE05 |
|---|---|
| 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.03912#K94Y, CUE limit for equilibrium growth (statement). In RJ553C7NJM/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Frobenius solution to the hypergeometric equation 2V86JVXE2Y
| URI | m2://inv/2V86JVXE2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#COME, Frobenius solution to the hypergeometric equation (definition)
History
- 2026-11-02: add by m2/dev
Characterizations 2V87QS5ECJ
| URI | m2://inv/2V87QS5ECJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact C*-algebra#8U7P, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Persistent Strong Recovery above the Algorithmic Threshold for Every Tensor Order 2V8B7RGV7P
| URI | m2://inv/2V8B7RGV7P |
|---|---|
| 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.16705#4YRY, Persistent Strong Recovery above the Algorithmic Threshold for Every Tensor Order (statement). In B48YQVGAF5/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
2V8FH60VW5 2V8FH60VW5
| URI | m2://inv/2V8FH60VW5 |
|---|---|
| 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.07190#0KVT (statement). In ZWS6Q4467X/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
2V8QFDAN4Y 2V8QFDAN4Y
| URI | m2://inv/2V8QFDAN4Y |
|---|---|
| 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.08335#6659 (statement). In HK3YR0QKCV/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
2V8SRYBZER 2V8SRYBZER
| URI | m2://inv/2V8SRYBZER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06785#NYKP (statement). In PG6AEWX25E/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
2V913Q0KAA 2V913Q0KAA
| URI | m2://inv/2V913Q0KAA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#IFFC (problem). In NGZ5AZ70NN/e1, problem 5.17
History
- 2026-10-28: add by m2/v0.4.2
Properties 2V999SSX9S
| URI | m2://inv/2V999SSX9S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cuboctahedron#3ESR, Properties (statement)
History
- 2026-11-02: add by m2/dev
hypercube 2V9DRK1J8T
| URI | m2://inv/2V9DRK1J8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#HBV8, hypercube (definition)
History
- 2026-11-02: add by m2/dev
Luna Lomonaco 2V9EKZNT1M
| URI | m2://inv/2V9EKZNT1M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luna Lomonaco, Luna Lomonaco (topic). Also Wikidata Q107001663
History
- 2026-11-02: add by m2/dev
significand 2V9JV78R5D
| URI | m2://inv/2V9JV78R5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1096921, significand (unknown). Also MathWorld Significand
- wikipedia: Wikipedia Significand, Significand (definition). Also Wikidata Q1096921
History
- 2026-10-26: add by m2/dev
2V9XQQJ1J1 2V9XQQJ1J1
| URI | m2://inv/2V9XQQJ1J1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#1LMB (statement). In 9B5TNEBJHV/e1, lemma 1.8
History
- 2026-10-29: add by m2/v0.4.10
Fenchel's inequality 2VA0EGRFX6
| URI | m2://inv/2VA0EGRFX6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex conjugate#2PFF, Fenchel's inequality (statement)
History
- 2026-11-02: add by m2/dev
Ramanujan–Petersson conjecture 2VA647RAC5
| URI | m2://inv/2VA647RAC5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#Y4TM, Ramanujan–Petersson conjecture (statement)
History
- 2026-11-02: add by m2/dev
2VA6DR41WK 2VA6DR41WK
| URI | m2://inv/2VA6DR41WK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03814#MHFW (statement). In STPNP83RJS/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
The 2D TQFT Functor 2VA86Y144D
| URI | m2://inv/2VA86Y144D |
|---|---|
| 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.03384#PQM7, The 2D TQFT Functor (statement). In J55JTTKG84/e1, theorem 5.7
History
- 2026-10-29: add by m2/v0.4.12
Shapley–Folkman lemma 2VA8JH1XRZ
| URI | m2://inv/2VA8JH1XRZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Folkman lemma#JGUB, Shapley–Folkman lemma (statement)
History
- 2026-11-02: add by m2/dev
Properties 2VAA9F70HH
| URI | m2://inv/2VAA9F70HH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative effective Cartier divisor#8EPK, Properties (statement)
History
- 2026-11-02: add by m2/dev
2VAANGBQ99 2VAANGBQ99
| URI | m2://inv/2VAANGBQ99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.18777#XWXH (statement). In TFZDPHDF7V/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.6
2VABDS6HR1 2VABDS6HR1
| URI | m2://inv/2VABDS6HR1 |
|---|---|
| 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 2302.04566#987K (definition). In 80S2NP05HJ/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.0
Root mean square deviation 2VAF08223A
| URI | m2://inv/2VAF08223A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root mean square deviation, Root mean square deviation (definition). Also Wikidata Q29037
History
- 2026-11-02: add by m2/dev
2VAFV0KXBD 2VAFV0KXBD
| URI | m2://inv/2VAFV0KXBD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Stanley Lebergott 2VAGCCWA5C
| URI | m2://inv/2VAGCCWA5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#URO6, Stanley Lebergott (unknown)
History
- 2026-11-02: add by m2/dev
Definition 2VAGZPWRGP
| URI | m2://inv/2VAGZPWRGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power residue symbol#6YQV, Definition (definition)
History
- 2026-11-02: add by m2/dev
2VAMA9BM58 2VAMA9BM58
| URI | m2://inv/2VAMA9BM58 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2512.16003#3OER (definition). In BJGS6ZCQ12/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.6
2VAP9FVVAG 2VAP9FVVAG
| URI | m2://inv/2VAP9FVVAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#6TZ6 (statement). In VQA35Q7C00/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Gδ set 2VARYB8RKY
| URI | m2://inv/2VARYB8RKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#M3HK, Gδ set (definition)
History
- 2026-11-02: add by m2/dev
Example 2VAZPXDSSY
| URI | m2://inv/2VAZPXDSSY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to consequences#XNI1, Example (example)
History
- 2026-11-02: add by m2/dev
Tsirelson space 2VB29KKJH8
| URI | m2://inv/2VB29KKJH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsirelson space, Tsirelson space (definition). Also Wikidata Q7849771
History
- 2026-11-02: add by m2/dev
2VB8B2GYCM 2VB8B2GYCM
| URI | m2://inv/2VB8B2GYCM |
|---|---|
| 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.10107#W4I6 (statement). In ZHNJ8MSXHW/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Hellinger integral 2VBBGT65ER
| URI | m2://inv/2VBBGT65ER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hellinger integral, Hellinger integral (definition). Also Wikidata Q5707572
History
- 2026-11-02: add by m2/dev
Koecher–Vinberg theorem 2VBC0ASKN4
| URI | m2://inv/2VBC0ASKN4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koecher–Vinberg theorem, Koecher–Vinberg theorem (statement). Also Wikidata Q6425525
History
- 2026-11-02: add by m2/dev
Initialization event 2VBJDHYE2Z
| URI | m2://inv/2VBJDHYE2Z |
|---|---|
| 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.03306#06E0, Initialization event (statement). In CXQ7FKSKSB/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
2VBK25Y529 2VBK25Y529
| URI | m2://inv/2VBK25Y529 |
|---|---|
| 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 2504.13802#HADC (statement). In MH358B1GVQ/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Henri Moscovici 2VBM95CXCK
| URI | m2://inv/2VBM95CXCK |
|---|---|
| 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#96LU, Henri Moscovici (unknown)
History
- 2026-11-02: add by m2/dev
pure submodule 2VBMQPFWKH
| URI | m2://inv/2VBMQPFWKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#U27T, pure submodule (definition)
History
- 2026-11-02: add by m2/dev
Roland Glowinski 2VBQ2D6EK2
| URI | m2://inv/2VBQ2D6EK2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roland Glowinski, Roland Glowinski (topic). Also Wikidata Q555764
History
- 2026-11-02: add by m2/dev
Loop classes 2VC2D2QP8P
| URI | m2://inv/2VC2D2QP8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#U3LU, Loop classes (statement). In Y1DR0DPWD0/e1, theorem 4.15
History
- 2026-10-29: add by m2/v0.4.12
Characterization of causality 2VCH39KKEK
| URI | m2://inv/2VCH39KKEK |
|---|---|
| Kind | statement |
| 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#DA9O, Characterization of causality (statement). In KM3Q791JY0/e1, theorem 2.26
History
- 2026-10-27: add by m2/v0.4.2
Algorithms 2VCHJQ5TPB
| URI | m2://inv/2VCHJQ5TPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ear decomposition#9SY0, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Fourier transform 2VCK041G2W
| URI | m2://inv/2VCK041G2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 65M70 |
| Sources | 2 |
| Outcome | open |
| Node | Fourier transform DPVM34ADZV |
Mentions
- wikidata: Wikidata Q6520159, Fourier transform (topic). Also EoM Fourier_transform, MathWorld FourierTransform, nLab Fourier transform
- wikipedia: Wikipedia Fourier transform, Fourier transform (definition). Also Wikidata Q6520159
History
- 2026-10-26: add by m2/dev
Examples 2VCK0HR4WQ
| URI | m2://inv/2VCK0HR4WQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-fibration#27YR, Examples (example)
History
- 2026-11-02: add by m2/dev
Catmull-Rom 2VCMRVEE8F
| URI | m2://inv/2VCMRVEE8F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic Hermite spline#9EV4, Catmull-Rom (unknown)
History
- 2026-11-02: add by m2/dev
2VCN5SDZB2 2VCN5SDZB2
| URI | m2://inv/2VCN5SDZB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#5HU6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Procyclic group 2VCNBXPKX6
| URI | m2://inv/2VCNBXPKX6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Profinite group#DF3M, Procyclic group (unknown)
History
- 2026-11-02: add by m2/dev
2VCR378JAE 2VCR378JAE
| URI | m2://inv/2VCR378JAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#T51U (statement). In 5KR3MHYVV6/e1, proposition 3.12
History
- 2026-10-28: add by m2/v0.4.2
Expected fixed-comparator regret 2VCS6PFKJR
| URI | m2://inv/2VCS6PFKJR |
|---|---|
| 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.13789#L5OQ, Expected fixed-comparator regret (statement). In 803XY7QQZ4/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.2
Sz\'ekelyhidi 2VCT18HM8Y
| URI | m2://inv/2VCT18HM8Y |
|---|---|
| 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.39726#PL20, Sz\'ekelyhidi (statement). In 4CTC8A57SD/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Locally convex topological vector space 2VD0DFV58J
| URI | m2://inv/2VD0DFV58J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#LNZW, Locally convex topological vector space (definition)
History
- 2026-11-02: add by m2/dev
Examples 2VDGPJTJ9Z
| URI | m2://inv/2VDGPJTJ9Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop group#LPLC, Examples (example)
History
- 2026-11-02: add by m2/dev
Cook, Dianne 2VDM6NWKG5
| URI | m2://inv/2VDM6NWKG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#T4T3, Cook, Dianne (topic)
History
- 2026-11-02: add by m2/dev
Gigla Janashia 2VDPKS2J4K
| URI | m2://inv/2VDPKS2J4K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gigla Janashia, Gigla Janashia (topic). Also Wikidata Q25528337
History
- 2026-11-02: add by m2/dev
Canonical momentum four-vector 2VDVFYBWF0
| URI | m2://inv/2VDVFYBWF0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-momentum#30CN, Canonical momentum four-vector (unknown)
History
- 2026-11-02: add by m2/dev
2VDWF3FHX0 2VDWF3FHX0
| URI | m2://inv/2VDWF3FHX0 |
|---|---|
| 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 2508.03972#VDIO (statement). In 2JD3KNKJ1P/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Properties 2VDX68W9MB
| URI | m2://inv/2VDX68W9MB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Errera graph#PR3Q, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples 2VDXYP5714
| URI | m2://inv/2VDXYP5714 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian manifold#R0RB, Examples (example)
History
- 2026-11-02: add by m2/dev
2VE8CZK30W 2VE8CZK30W
| URI | m2://inv/2VE8CZK30W |
|---|---|
| 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#U5I9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
2VEJM0G2TJ 2VEJM0G2TJ
| URI | m2://inv/2VEJM0G2TJ |
|---|---|
| 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.14985#MT4U (example). In DGXJW3SCBR/e1, example 48
History
- 2026-10-28: add by m2/v0.4.2
800,000 2VEKXJSYN9
| URI | m2://inv/2VEKXJSYN9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 100,000#INJN, 800,000 (unknown)
History
- 2026-11-02: add by m2/dev
Uniformly convex function 2VEQ2ZDVNB
| URI | m2://inv/2VEQ2ZDVNB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex function#HXU0, Uniformly convex function (unknown)
History
- 2026-11-02: add by m2/dev
2VEQB6T1B6 2VEQB6T1B6
| URI | m2://inv/2VEQB6T1B6 |
|---|---|
| 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#VRPI (statement). In QM1T8JDK4A/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
FEAL 2VF1M53HQE
| URI | m2://inv/2VF1M53HQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FEAL, FEAL (definition). Also Wikidata Q1388053
History
- 2026-11-02: add by m2/dev
2VF30KD190 2VF30KD190
| URI | m2://inv/2VF30KD190 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#72UB (definition)
History
- 2026-11-01: add by m2/v0.6.15
Margaret Cheney 2VF3WTN2HX
| URI | m2://inv/2VF3WTN2HX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret Cheney (mathematician), Margaret Cheney (topic). Also Wikidata Q50233392
History
- 2026-11-02: add by m2/dev
Chart theorem 2VFCREAR8W
| URI | m2://inv/2VFCREAR8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21181#L25X, Chart theorem (statement). In 3D0GJXDY11/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.2
Widening Valley 2VFJFV06WS
| URI | m2://inv/2VFJFV06WS |
|---|---|
| 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 2202.02831#JLXY, Widening Valley (statement). In YA5DBTQCB1/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Definition 2VFJMBA3CE
| URI | m2://inv/2VFJMBA3CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrapolynomial#TLDJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
BMDP 2VG7Y5QBA9
| URI | m2://inv/2VG7Y5QBA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BMDP, BMDP (definition). Also Wikidata Q2468467
History
- 2026-11-02: add by m2/dev
Gerver's Sofa 2VGA6CJV3R
| URI | m2://inv/2VGA6CJV3R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131379098, Gerver's Sofa (unknown). Also MathWorld GerverSofa, OEIS A128463
History
- 2026-10-26: add by m2/dev
2VGAXYQW2E 2VGAXYQW2E
| URI | m2://inv/2VGAXYQW2E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#4JTZ (example). In 9ZSNSJRJ5N/e1, example 15
History
- 2026-10-27: add by m2/v0.4.2
Guillaume Carlier 2VGPXE4ZXZ
| URI | m2://inv/2VGPXE4ZXZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guillaume Carlier, Guillaume Carlier (topic). Also Wikidata Q102341756
History
- 2026-11-02: add by m2/dev
Examples 2VGSAXH4P2
| URI | m2://inv/2VGSAXH4P2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial network#N8PV, Examples (example)
History
- 2026-11-02: add by m2/dev
Dagmar R. Henney 2VH3Q56PPR
| URI | m2://inv/2VH3Q56PPR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dagmar R. Henney, Dagmar R. Henney (topic). Also Wikidata Q5208593
History
- 2026-11-02: add by m2/dev
2VHK1MCVMS 2VHK1MCVMS
| URI | m2://inv/2VHK1MCVMS |
|---|---|
| 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.02352#Z5B6 (statement). In EAMF68FANV/e1, corollary 6
History
- 2026-10-29: add by m2/v0.4.12
Euler transform 2VHYSRGMD6
| URI | m2://inv/2VHYSRGMD6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial transform#68QU, Euler transform (unknown)
History
- 2026-11-02: add by m2/dev
2VJA2F3SRF 2VJA2F3SRF
| URI | m2://inv/2VJA2F3SRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#4P2Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Well-posedness, comparison, and Hopf formula 2VJER1H675
| URI | m2://inv/2VJER1H675 |
|---|---|
| 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.18350#DWB3, Well-posedness, comparison, and Hopf formula (statement). In A20E8FZS21/e1, theorem 8.1
History
- 2026-10-28: add by m2/v0.4.2
2VJKMJ63TA 2VJKMJ63TA
| URI | m2://inv/2VJKMJ63TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.05392#RJCT (statement). In 58D1ZC82DW/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.5
Theorem 2VJPKG90W4
| URI | m2://inv/2VJPKG90W4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian manifold#IR0O, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Annealed upper bound for SUSY states 2VJRQ9MV7T
| URI | m2://inv/2VJRQ9MV7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#IS4E, Annealed upper bound for SUSY states (statement). In NKXTXH59P1/e1, proposition E.18
History
- 2026-10-29: add by m2/v0.4.10
2VJT49HC10 2VJT49HC10
| URI | m2://inv/2VJT49HC10 |
|---|---|
| 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 2511.15212#XBRW (statement). In W99XBH6X5N/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.0
Artin representation 2VK0349QQR
| URI | m2://inv/2VK0349QQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#96YG, Artin representation (definition)
History
- 2026-11-02: add by m2/dev
2VK093MWF2 2VK093MWF2
| URI | m2://inv/2VK093MWF2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-12 (proof). In N54F33XE07, proof, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
2VKEA2TS6W 2VKEA2TS6W
| URI | m2://inv/2VKEA2TS6W |
|---|---|
| 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.22659#28WQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
2VKFJF47PV 2VKFJF47PV
| URI | m2://inv/2VKFJF47PV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.40200#9PDP (statement). In VWNB6QJWFN/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
2VKHE2W826 2VKHE2W826
| URI | m2://inv/2VKHE2W826 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29878#7WOY (statement)
History
- 2026-11-01: add by m2/v0.6.15
2VKMJPT7M6 2VKMJPT7M6
| URI | m2://inv/2VKMJPT7M6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33584#KUH1 (statement). In 3HFBAWQCA1/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Applications 2VKS3BMS9W
| URI | m2://inv/2VKS3BMS9W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear network coding#V99Y, Applications (example)
History
- 2026-11-02: add by m2/dev
Canonical free-group form and functorial decompositions 2VM5RYHH80
| URI | m2://inv/2VM5RYHH80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#UKO9, Canonical free-group form and functorial decompositions (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stacker rainbow 2VM6BH8ZKN
| URI | m2://inv/2VM6BH8ZKN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rainbow#LEYP, Stacker rainbow (unknown)
History
- 2026-11-02: add by m2/dev
2VM6J5PR4V 2VM6J5PR4V
| URI | m2://inv/2VM6J5PR4V |
|---|---|
| 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 2305.08210#B51T (statement). In D4VDVX74FT/e1, theorem 0.6
History
- 2026-10-27: add by m2/v0.3.6
2VM7A4AB6E 2VM7A4AB6E
| URI | m2://inv/2VM7A4AB6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#YB7P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Isoduality and reciprocal scales 2VM8WR48CQ
| URI | m2://inv/2VM8WR48CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#R15R, Isoduality and reciprocal scales (statement). In T2B54J7121/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Exact $S_3$ rounding 2VMEY5B6ZD
| URI | m2://inv/2VMEY5B6ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04271#FRY4, Exact $S_3$ rounding (statement). In WBXAW9G4JB/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
\textbf{Smooth objective with convex constraints 2VMK2FCVGY
| URI | m2://inv/2VMK2FCVGY |
|---|---|
| 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.34099#GCFH, \textbf{Smooth objective with convex constraints (statement). In 4X2SAM9HR2/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Fredholm alternative \footnote{Named after the Swedish mathematician \href{https://en.wikipedia.org/wiki/Fredholm}{Erik Ivar Fredholm} (1866--1927).} 2VMQJ7R4JV
| URI | m2://inv/2VMQJ7R4JV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#thm:fredholmsimple, Fredholm alternative \footnote{Named after the Swedish mathematician \href{https://en.wikipedia.org/wiki/Fredholm}{Erik Ivar Fredholm} (1866--1927).} (statement). In E9HS8K3A52, theorem, section 5.1.4
History
- 2026-11-01: add by m2/v0.6.13
Indicator vector 2VMR1CZZFP
| URI | m2://inv/2VMR1CZZFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indicator vector, Indicator vector (definition). Also Wikidata Q17125279
History
- 2026-11-02: add by m2/dev
2VMTHX1ADR 2VMTHX1ADR
| URI | m2://inv/2VMTHX1ADR |
|---|---|
| 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.14979#IJ3J (statement). In 6NH1VVZK1N/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
2VN4E01G20 2VN4E01G20
| URI | m2://inv/2VN4E01G20 |
|---|---|
| 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 2204.01073#ZQ42 (statement). In W4TYN4PGE8/e1, proposition 6.19
History
- 2026-10-27: add by m2/v0.3.5
Hà Huy Khoái 2VNANRERT0
| URI | m2://inv/2VNANRERT0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hà Huy Khoái, Hà Huy Khoái (topic). Also Wikidata Q5962861
History
- 2026-11-02: add by m2/dev
Parzen, Emanuel 2VNG3090RX
| URI | m2://inv/2VNG3090RX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8JAD, Parzen, Emanuel (topic)
History
- 2026-11-02: add by m2/dev
Examples 2VNJAEA02A
| URI | m2://inv/2VNJAEA02A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cumulative hierarchy#4YEU, Examples (example)
History
- 2026-11-02: add by m2/dev
Paolo Ruffini 2VNJHFVYZY
| URI | m2://inv/2VNJHFVYZY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paolo Ruffini, Paolo Ruffini (topic). Also Wikidata Q318057
History
- 2026-11-02: add by m2/dev
Zaslavskii map 2VNME802B6
| URI | m2://inv/2VNME802B6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12352263, Zaslavskii map (unknown). Also MathWorld ZaslavskiiMap
History
- 2026-10-26: add by m2/dev
2VNQPRMDNS 2VNQPRMDNS
| URI | m2://inv/2VNQPRMDNS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#D57W (statement). In XJ59TDP4HA/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
2VNS4RP7XE 2VNS4RP7XE
| URI | m2://inv/2VNS4RP7XE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#OZRU (example). In 9ZSNSJRJ5N/e1, example 51
History
- 2026-10-27: add by m2/v0.4.2
2VNXJRCXBH 2VNXJRCXBH
| URI | m2://inv/2VNXJRCXBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27965#HDRP (statement)
History
- 2026-11-01: add by m2/v0.6.15
2VNZV2ZBA0 2VNZV2ZBA0
| URI | m2://inv/2VNZV2ZBA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#JESB (statement). In V5PVKDKGGG/e1, proposition 7.9
History
- 2026-10-28: add by m2/v0.4.2
Angus Macintyre 2VP3WRAM0R
| URI | m2://inv/2VP3WRAM0R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QDKC, Angus Macintyre (topic)
History
- 2026-11-02: add by m2/dev
Gergonne point 2VPDF2HX31
| URI | m2://inv/2VPDF2HX31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#FKEV, Gergonne point (definition)
History
- 2026-11-02: add by m2/dev
statistical significance 2VPGZGT6W1
| URI | m2://inv/2VPGZGT6W1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#IDA0, statistical significance (definition)
History
- 2026-11-02: add by m2/dev
Shadow-chain balance 2VPNYBKS4F
| URI | m2://inv/2VPNYBKS4F |
|---|---|
| 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.20414#CG09, Shadow-chain balance (statement). In X2NNNW8CX5/e1, lemma 7.7
History
- 2026-10-27: add by m2/v0.4.2
FIFO 2VPTZ49CC1
| URI | m2://inv/2VPTZ49CC1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in information theory#O5F5, FIFO (unknown)
History
- 2026-11-02: add by m2/dev
The Lebesgue decomposition theorem 2VPWJ3ZV78
| URI | m2://inv/2VPWJ3ZV78 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon–Nikodym theorem#N00U, The Lebesgue decomposition theorem (statement)
History
- 2026-11-02: add by m2/dev
2VPY2HQ660 2VPY2HQ660
| URI | m2://inv/2VPY2HQ660 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#T92F (statement). In AGJE43FTF8/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.4.2
EnergyPlus 2VPYAH15CJ
| URI | m2://inv/2VPYAH15CJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EnergyPlus, EnergyPlus (definition). Also Wikidata Q10847061
History
- 2026-11-02: add by m2/dev
2VPYP0VTR7 2VPYP0VTR7
| URI | m2://inv/2VPYP0VTR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#V7S0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Notakto 2VQ6KDPDV7
| URI | m2://inv/2VQ6KDPDV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Notakto, Notakto (definition). Also Wikidata Q28405772
History
- 2026-11-02: add by m2/dev
2VQC7XTYJ3 2VQC7XTYJ3
| URI | m2://inv/2VQC7XTYJ3 |
|---|---|
| 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.37562#EAR3 (statement). In PYY8DFK2JS/e1, lemma A.8
History
- 2026-10-30: add by m2/v0.4.12
Limit closure points 2VQPGNGSGB
| URI | m2://inv/2VQPGNGSGB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09086#EE1T, Limit closure points (definition). In JPC86V77CH/e1, definition 3.11
History
- 2026-10-29: add by m2/v0.4.10
2VQRRXFA12 2VQRRXFA12
| URI | m2://inv/2VQRRXFA12 |
|---|---|
| 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.23350#7X8H (statement)
History
- 2026-11-02: add by m2/v0.6.17
2VQTM1XC15 2VQTM1XC15
| URI | m2://inv/2VQTM1XC15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#BMHQ (statement). In Y1K8WE4MDP/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.10
2VQWJM70Q0 2VQWJM70Q0
| URI | m2://inv/2VQWJM70Q0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-11 (example). In RZP28ERRZV, example, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Jon Folkman 2VR1E8Y8Z7
| URI | m2://inv/2VR1E8Y8Z7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jon Folkman, Jon Folkman (topic). Also Wikidata Q6270714
History
- 2026-11-02: add by m2/dev
Elizabeth Loftus 2VR1K20PQ1
| URI | m2://inv/2VR1K20PQ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elizabeth Loftus, Elizabeth Loftus (topic). Also Wikidata Q262154
History
- 2026-11-02: add by m2/dev
Chi distribution 2VR2SPS7M2
| URI | m2://inv/2VR2SPS7M2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#MANC, Chi distribution (definition)
History
- 2026-11-02: add by m2/dev
Dmitry Ioffe 2VR3TA676F
| URI | m2://inv/2VR3TA676F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dmitry Ioffe, Dmitry Ioffe (topic). Also Wikidata Q102235183
History
- 2026-11-02: add by m2/dev
2VR4N1WMXR 2VR4N1WMXR
| URI | m2://inv/2VR4N1WMXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04874#HAIH (statement). In X365951S4Q/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.12
Caucher Birkar 2VR54BE5YT
| URI | m2://inv/2VR54BE5YT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caucher Birkar, Caucher Birkar (topic). Also Wikidata Q4121788
History
- 2026-11-02: add by m2/dev
2VR6VPTEGS 2VR6VPTEGS
| URI | m2://inv/2VR6VPTEGS |
|---|---|
| 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.13877#TVH4 (statement). In NBMA6DBKJG/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
2VREMAV89Y 2VREMAV89Y
| URI | m2://inv/2VREMAV89Y |
|---|---|
| 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.13429#2DQ1 (statement). In B2VB5T5WQD/e1, corollary 4.8
History
- 2026-10-28: add by m2/v0.4.2
2VRFYSPTWB 2VRFYSPTWB
| URI | m2://inv/2VRFYSPTWB |
|---|---|
| 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.13877#9H2T (statement). In NBMA6DBKJG/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
2VRGHRMYC6 2VRGHRMYC6
| URI | m2://inv/2VRGHRMYC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05142#DSQL (statement). In 8A0HVCGRR8/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Jiujiang 2VRK5K361J
| URI | m2://inv/2VRK5K361J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#UA09, Jiujiang (unknown)
History
- 2026-11-02: add by m2/dev
Skyscraper quotients 2VRMFY1PNX
| URI | m2://inv/2VRMFY1PNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15887#MMTB, Skyscraper quotients (statement). In 87QYNZZ67Z/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
2VRSMNWRG7 2VRSMNWRG7
| URI | m2://inv/2VRSMNWRG7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10413#6YRH (definition). In 68MTQ59QTQ/e1, definition A.1
History
- 2026-10-29: add by m2/v0.4.10
2VRVJ9E5WD 2VRVJ9E5WD
| URI | m2://inv/2VRVJ9E5WD |
|---|---|
| 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.21963#8N6N (statement). In HR9R8RPKN8/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.4.2
2VS0Y2N9S8 2VS0Y2N9S8
| URI | m2://inv/2VS0Y2N9S8 |
|---|---|
| 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#U6OY (statement). In YCV4YA6FC2/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.3
Definition and notation 2VS6AZ17BP
| URI | m2://inv/2VS6AZ17BP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Petersen graph#PXIR, Definition and notation (definition)
History
- 2026-11-02: add by m2/dev
Stephen Hawking 2VS8SNGVTD
| URI | m2://inv/2VS8SNGVTD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17714, Stephen Hawking (unknown). Also ProofWiki Mathematician:Stephen_William_Hawking
- wikipedia: Wikipedia Stephen Hawking, Stephen Hawking (topic). Also Wikidata Q17714
History
- 2026-10-26: add by m2/dev
2VSAYD0AWQ 2VSAYD0AWQ
| URI | m2://inv/2VSAYD0AWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#2B0Y (statement). In BZ54C9SKYS/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.5
Applications 2VSGGJ0C9D
| URI | m2://inv/2VSGGJ0C9D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delphi method#8KTD, Applications (example)
History
- 2026-11-02: add by m2/dev
2VSHXXN4T1 2VSHXXN4T1
| URI | m2://inv/2VSHXXN4T1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#LXZ2 (statement). In T4S7XVAJJC/e1, corollary 9.8
History
- 2026-10-29: add by m2/v0.4.12
Results 2VSK5A73FR
| URI | m2://inv/2VSK5A73FR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2017 Chilean census#6HUQ, Results (statement)
History
- 2026-11-02: add by m2/dev
Cubic honeycomb honeycomb 2VST19ZVXM
| URI | m2://inv/2VST19ZVXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#JEUU, Cubic honeycomb honeycomb (definition)
History
- 2026-11-02: add by m2/dev
BMDP 2VSW3PAXG4
| URI | m2://inv/2VSW3PAXG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#AUZG, BMDP (definition)
History
- 2026-11-02: add by m2/dev
International Prize in Statistics 2VT3VJ7Y76
| URI | m2://inv/2VT3VJ7Y76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Prize in Statistics, International Prize in Statistics (definition). Also Wikidata Q28448335
History
- 2026-11-02: add by m2/dev
2VT728NBJY 2VT728NBJY
| URI | m2://inv/2VT728NBJY |
|---|---|
| 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.08288#O5NW (statement). In CHVWYJM7RM/e1, lemma A.5
History
- 2026-10-29: add by m2/v0.4.10
Definitions 2VTA9QPPQ7
| URI | m2://inv/2VTA9QPPQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necessity and sufficiency#YU31, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Transactions of the American Mathematical Society 2VTK1X0K5X
| URI | m2://inv/2VTK1X0K5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2379946, Transactions of the American Mathematical Society (unknown). Also ProofWiki Book:Journal/Transactions_of_the_American_Mathematical_Society
- wikipedia: Wikipedia Transactions of the American Mathematical Society, Transactions of the American Mathematical Society (definition). Also Wikidata Q2379946
History
- 2026-10-26: add by m2/dev
Osterwalder–Schrader axioms 2VTNG3VNDD
| URI | m2://inv/2VTNG3VNDD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwinger function#GIKQ, Osterwalder–Schrader axioms (statement)
History
- 2026-11-02: add by m2/dev
Alperin–Brauer–Gorenstein theorem 2VV165EXJT
| URI | m2://inv/2VV165EXJT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LGK7, Alperin–Brauer–Gorenstein theorem (statement)
History
- 2026-11-02: add by m2/dev
Geometric mean theorem 2VV1HDJJSF
| URI | m2://inv/2VV1HDJJSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#6FLL, Geometric mean theorem (statement)
History
- 2026-11-02: add by m2/dev
Target bound 2VV28EXDKV
| URI | m2://inv/2VV28EXDKV |
|---|---|
| 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.22927#W9WX, Target bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
variational bicomplex 2VV4Q8PH9Z
| URI | m2://inv/2VV4Q8PH9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7915796, variational bicomplex (unknown). Also nLab variational bicomplex
- wikipedia: Wikipedia Variational bicomplex, Variational bicomplex (definition). Also Wikidata Q7915796
History
- 2026-10-26: add by m2/dev
False confidence theorem 2VV6VJ9Z26
| URI | m2://inv/2VV6VJ9Z26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#W1H5, False confidence theorem (statement)
History
- 2026-11-02: add by m2/dev
2VVC91WBVG 2VVC91WBVG
| URI | m2://inv/2VVC91WBVG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
2VVFMCNKJ3 2VVFMCNKJ3
| URI | m2://inv/2VVFMCNKJ3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-6 (proof). In N54F33XE07, proof, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
From Zero to Infinity 2VVH3NM33C
| URI | m2://inv/2VVH3NM33C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia From Zero to Infinity, From Zero to Infinity (definition). Also Wikidata Q115516580
History
- 2026-11-02: add by m2/dev
Local graphs and their differences 2VVKEMWKA7
| URI | m2://inv/2VVKEMWKA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00490#I491, Local graphs and their differences (statement). In PZJDV6SJ9E/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
2VVV68CYY8 2VVV68CYY8
| URI | m2://inv/2VVV68CYY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#WYP7 (statement). In A4VP56CT7B/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Effective epimorphism 2VVV85R24Z
| URI | m2://inv/2VVV85R24Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular category#RHX8, Effective epimorphism (unknown)
History
- 2026-11-02: add by m2/dev
gamma function 2VW1BD3795
| URI | m2://inv/2VW1BD3795 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Gamma function 0H5SYBSED9 |
Mentions
- wikidata: Wikidata Q190573, gamma function (unknown). Also EoM Gamma-function, LMFDB knowl specialfunction.gamma, MathWorld GammaFunction, nLab Gamma function
- wikipedia: Wikipedia Gamma function, Gamma function (definition). Also Wikidata Q190573
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Formulation 2VW3KGYCG4
| URI | m2://inv/2VW3KGYCG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BBGKY hierarchy#K573, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Second-order rigidity 2VW904PXGG
| URI | m2://inv/2VW904PXGG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#LTJ7, Second-order rigidity (definition). In XNJGNMS6H0/e1, definition 5.4
History
- 2026-10-28: add by m2/v0.4.2
2VWENB9E6R 2VWENB9E6R
| URI | m2://inv/2VWENB9E6R |
|---|---|
| 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 2504.00267#QA19 (statement). In 38XJWDZ2PH/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
Examples 2VWYV36ZSJ
| URI | m2://inv/2VWYV36ZSJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centroid#BGH8, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 2VX8P7S4XR
| URI | m2://inv/2VX8P7S4XR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithm of a matrix#LQKH, Definition (definition)
History
- 2026-11-02: add by m2/dev
2VXEEKVHRG 2VXEEKVHRG
| URI | m2://inv/2VXEEKVHRG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-24 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
An application 2VXEKC1PQY
| URI | m2://inv/2VXEKC1PQY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cameron–Martin theorem#7HL9, An application (example)
History
- 2026-11-02: add by m2/dev
An explicit uniform asymptotic 2VXF708TW6
| URI | m2://inv/2VXF708TW6 |
|---|---|
| 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.12641#UACX, An explicit uniform asymptotic (statement). In X5BYGZZHPF/e1, theorem B.2
History
- 2026-10-28: add by m2/v0.4.2
Four-periodicity 2VXFGBVSMJ
| URI | m2://inv/2VXFGBVSMJ |
|---|---|
| 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.03298#XFJ4, Four-periodicity (statement). In 9SBZP218SM/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
The effective case 2VXQ1MXR06
| URI | m2://inv/2VXQ1MXR06 |
|---|---|
| Kind | example |
| 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 2403.15255#59S3, The effective case (example). In G691MXMYW0/e1, example 4.1
History
- 2026-10-27: add by m2/v0.4.0
2VXQGFQ7CH 2VXQGFQ7CH
| URI | m2://inv/2VXQGFQ7CH |
|---|---|
| Kind | example |
| 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 2301.04933#9AZ6 (example). In Q70CTMCJTP/e1, example 6.2
History
- 2026-10-27: add by m2/v0.3.5
⟨ ⟩ 2VY56HMJH4
| URI | m2://inv/2VY56HMJH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#EFVF, ⟨ ⟩ (definition)
History
- 2026-11-02: add by m2/dev
2VY7BQC955 2VY7BQC955
| URI | m2://inv/2VY7BQC955 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#example:nlin-withexp (example). In E9HS8K3A52, example, section 8.2.2
History
- 2026-11-01: add by m2/v0.6.13
2VYGFF89P1 2VYGFF89P1
| URI | m2://inv/2VYGFF89P1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33651#AIZV (statement). In 69DBD2HKGK/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
2VYM5H4CAD 2VYM5H4CAD
| URI | m2://inv/2VYM5H4CAD |
|---|---|
| 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.05703#M48K (statement). In 2YS79JFD85/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Class (set theory) 2VYMTDTY7D
| URI | m2://inv/2VYMTDTY7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#DFBG, Class (set theory) (definition)
History
- 2026-11-02: add by m2/dev
Levels and the level identity 2VYVTQKX4H
| URI | m2://inv/2VYVTQKX4H |
|---|---|
| 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.06480#WZBU, Levels and the level identity (statement). In 2Y47E704Z9/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
Keystream 2VYWHPZE7M
| URI | m2://inv/2VYWHPZE7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keystream, Keystream (definition). Also Wikidata Q1509893
History
- 2026-11-02: add by m2/dev
Geller, Nancy 2VZ0ZK1FMP
| URI | m2://inv/2VZ0ZK1FMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#O1AV, Geller, Nancy (unknown)
History
- 2026-11-02: add by m2/dev
2VZ8AVKDEV 2VZ8AVKDEV
| URI | m2://inv/2VZ8AVKDEV |
|---|---|
| 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.13378#5DLB (statement). In QAH7SV1JT6/e1, theorem 3.10
History
- 2026-10-28: add by m2/v0.4.2
Structural stability in $\mathbb P^n$ 2VZF860EBS
| URI | m2://inv/2VZF860EBS |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35597#17HW, Structural stability in $\mathbb P^n$ (problem). In K424GCJ50P/e1, problem 10.4
History
- 2026-10-30: add by m2/v0.4.12
Example 2VZNZ80HXT
| URI | m2://inv/2VZNZ80HXT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Highly cototient number#EA33, Example (example)
History
- 2026-11-02: add by m2/dev
2VZYWKYG51 2VZYWKYG51
| URI | m2://inv/2VZYWKYG51 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/stokes.tex#example-3 (example). In RZP28ERRZV, example, section 46.4
History
- 2026-11-01: add by m2/v0.6.13