Inventory rows 9S
The cards of the rows of the inventory whose ids start with 9S. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Geometric and stalk criteria for primeness 9S018WMEDQ
| URI | m2://inv/9S018WMEDQ |
|---|---|
| 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#X6Z9, Geometric and stalk criteria for primeness (statement). In 87QYNZZ67Z/e1, proposition 10.2
History
- 2026-10-28: add by m2/v0.4.2
Hilbert's ninth problem 9S03N3HRG8
| URI | m2://inv/9S03N3HRG8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's ninth problem, Hilbert's ninth problem (conjecture). Also Wikidata Q1099555
History
- 2026-11-02: add by m2/dev
9S0BWZKCKR 9S0BWZKCKR
| URI | m2://inv/9S0BWZKCKR |
|---|---|
| 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#4XT8 (statement). In Y1DR0DPWD0/e1, theorem 5.10
History
- 2026-10-29: add by m2/v0.4.12
Torque 9S0CKYHMYG
| URI | m2://inv/9S0CKYHMYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#R62D, Torque (definition)
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#XY5G, Torque (definition)
History
- 2026-11-02: add by m2/dev
mathematician 9S0M0BRA5H
| URI | m2://inv/9S0M0BRA5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q170790, mathematician (unknown). Also ProofWiki Mathematician:Mathematicians
- wikipedia: Wikipedia Mathematician, Mathematician (definition). Also Wikidata Q170790
History
- 2026-10-26: add by m2/dev
142857 9S0NZFAZF1
| URI | m2://inv/9S0NZFAZF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 142857, 142857 (definition). Also Wikidata Q846329
History
- 2026-11-02: add by m2/dev
Panama 9S0R42KHD1
| URI | m2://inv/9S0R42KHD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Panama (cryptography), Panama (definition). Also Wikidata Q3359556
History
- 2026-11-02: add by m2/dev
Early-to-mid 20th century: algebraic developments and the Weil conjectures 9S15SYCV9R
| URI | m2://inv/9S15SYCV9R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic geometry#T7PC, Early-to-mid 20th century: algebraic developments and the Weil conjectures (statement)
History
- 2026-11-02: add by m2/dev
9S16PT4Q4Z 9S16PT4Q4Z
| URI | m2://inv/9S16PT4Q4Z |
|---|---|
| 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.16989#H0CW (statement). In 4769XNDWYS/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
Examples 9S1GTEJJ09
| URI | m2://inv/9S1GTEJJ09 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient of an abelian category#59NG, Examples (example)
History
- 2026-11-02: add by m2/dev
Soundness theorem 9S1KT692BV
| URI | m2://inv/9S1KT692BV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#S59Q, Soundness theorem (definition)
History
- 2026-11-02: add by m2/dev
Wigner's classification 9S1NVSS1HQ
| URI | m2://inv/9S1NVSS1HQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#IIIU, Wigner's classification (definition)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#XFRJ, Wigner's classification (definition)
History
- 2026-11-02: add by m2/dev
9S284Q0GMH 9S284Q0GMH
| URI | m2://inv/9S284Q0GMH |
|---|---|
| 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#GOCN (statement). In XBHQRTBH62/e1, corollary 2.7
History
- 2026-10-31: add by m2/v0.5.6
Lorna Stewart 9S2FFB93PQ
| URI | m2://inv/9S2FFB93PQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Z9H2, Lorna Stewart (topic)
History
- 2026-11-02: add by m2/dev
Integrated nested Laplace approximations 9S2K412SKH
| URI | m2://inv/9S2K412SKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J0MO, Integrated nested Laplace approximations (definition)
History
- 2026-11-02: add by m2/dev
T. E. S. Raghavan 9S2P1G7E61
| URI | m2://inv/9S2P1G7E61 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T. E. S. Raghavan, T. E. S. Raghavan (topic). Also Wikidata Q102086140
History
- 2026-11-02: add by m2/dev
Compound Poisson distribution 9S2TYDV945
| URI | m2://inv/9S2TYDV945 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N73A, Compound Poisson distribution (definition)
History
- 2026-11-02: add by m2/dev
Block tree 9S2VG9Z30A
| URI | m2://inv/9S2VG9Z30A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biconnected component#SA62, Block tree (unknown)
History
- 2026-11-02: add by m2/dev
M. Riesz extension theorem 9S2Z3J8WK7
| URI | m2://inv/9S2Z3J8WK7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#IOIC, M. Riesz extension theorem (statement)
History
- 2026-11-02: add by m2/dev
9S39JYP466 9S39JYP466
| URI | m2://inv/9S39JYP466 |
|---|---|
| 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.26386#UZBQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
9S3BGTB0YP 9S3BGTB0YP
| URI | m2://inv/9S3BGTB0YP |
|---|---|
| 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.16010#V9WQ (statement). In AQJXKF6WZP/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
9S3GAZFDNP 9S3GAZFDNP
| URI | m2://inv/9S3GAZFDNP |
|---|---|
| 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.02295#WGF1 (statement). In PEBD9ZMA1W/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.12
Siconos 9S3GS85R10
| URI | m2://inv/9S3GS85R10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siconos, Siconos (definition). Also Wikidata Q7507690
History
- 2026-11-02: add by m2/dev
Vertex 9S3GZ5WJYK
| URI | m2://inv/9S3GZ5WJYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Q8NP, Vertex (definition)
History
- 2026-11-02: add by m2/dev
almost surely 9S3HPHNGY8
| URI | m2://inv/9S3HPHNGY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Almost surely 0R46A1XY60 |
Mentions
- wikidata: Wikidata Q1434353, almost surely (unknown). Also MathWorld AlmostSurely
- wikipedia: Wikipedia Almost surely, Almost surely (definition). Also Wikidata Q1434353
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Exponential error 9S3V218598
| URI | m2://inv/9S3V218598 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#Y431, Exponential error (definition)
History
- 2026-11-02: add by m2/dev
9S3VP059Q5 9S3VP059Q5
| URI | m2://inv/9S3VP059Q5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#F0EH (statement)
History
- 2026-11-01: add by m2/v0.6.15
9S3WCR7RV6 9S3WCR7RV6
| URI | m2://inv/9S3WCR7RV6 |
|---|---|
| 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 2609.27103#D752 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9S49BS0C09 9S49BS0C09
| URI | m2://inv/9S49BS0C09 |
|---|---|
| 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.30663#B2L2 (statement). In 3JZDKWS8NK/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
U-quadratic distribution 9S4A3Q4WE6
| URI | m2://inv/9S4A3Q4WE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#WRCK, U-quadratic distribution (definition)
History
- 2026-11-02: add by m2/dev
9S4E8K31KE 9S4E8K31KE
| URI | m2://inv/9S4E8K31KE |
|---|---|
| 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.02079#71EI (statement). In CNS2J2E4T2/e1, corollary 22
History
- 2026-10-29: add by m2/v0.4.12
9S4RVA7REJ 9S4RVA7REJ
| URI | m2://inv/9S4RVA7REJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-2-1.xml#act-1-2-1 (exercise). In 907G4C4EJ1, activity, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
9S4TQYXA7K 9S4TQYXA7K
| URI | m2://inv/9S4TQYXA7K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#5GGT (definition). In Z5SP3NW41S/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
9S4XDKG9KJ 9S4XDKG9KJ
| URI | m2://inv/9S4XDKG9KJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#FV3N (statement). In 42XHT97E64/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
Applications 9S4ZQ39RYN
| URI | m2://inv/9S4ZQ39RYN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seven-dimensional space#VU5C, Applications (example)
History
- 2026-11-02: add by m2/dev
Defect bounds 9S56PGV164
| URI | m2://inv/9S56PGV164 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06739#2BME, Defect bounds (statement). In HA9B7PD0YV/e1, corollary 20
History
- 2026-10-29: add by m2/v0.4.10
Borda count 9S58QY9ZCD
| URI | m2://inv/9S58QY9ZCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borda count, Borda count (definition). Also Wikidata Q576578
History
- 2026-11-02: add by m2/dev
Wavenumber-frequency diagram 9S5ADR3QYN
| URI | m2://inv/9S5ADR3QYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#A6MW, Wavenumber-frequency diagram (unknown)
History
- 2026-11-02: add by m2/dev
Official poverty measure 9S5DXRJ1NT
| URI | m2://inv/9S5DXRJ1NT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia United States census#J1G8, Official poverty measure (unknown)
History
- 2026-11-02: add by m2/dev
9S5M5Z8H37 9S5M5Z8H37
| URI | m2://inv/9S5M5Z8H37 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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.06338#5JMO (statement). In F1CYVYK7YB/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.10
Gain-error bound 9S5RERZ83J
| URI | m2://inv/9S5RERZ83J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08764#6OPO, Gain-error bound (statement). In QVFHS1C9BW/e1, lemma \thethrm
History
- 2026-10-29: add by m2/v0.4.10
9S60RFERBZ 9S60RFERBZ
| URI | m2://inv/9S60RFERBZ |
|---|---|
| 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 0908.3266#1HNO (statement). In B0W6PMDN3N/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
Monotone VIs under mixed noise 9S654NQVV6
| URI | m2://inv/9S654NQVV6 |
|---|---|
| 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#HTIS, Monotone VIs under mixed noise (statement). In X5BYGZZHPF/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Raster graphics editor 9S6953MJZS
| URI | m2://inv/9S6953MJZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#A1RL, Raster graphics editor (unknown)
History
- 2026-11-02: add by m2/dev
Five exponentials theorem 9S695A9TKS
| URI | m2://inv/9S695A9TKS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Six exponentials theorem#XFKL, Five exponentials theorem (statement)
History
- 2026-11-02: add by m2/dev
Ulam number 9S6B55PNRW
| URI | m2://inv/9S6B55PNRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#X071, Ulam number (definition)
History
- 2026-11-02: add by m2/dev
Plaintext-aware encryption 9S6DMH7XCZ
| URI | m2://inv/9S6DMH7XCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plaintext-aware encryption, Plaintext-aware encryption (definition). Also Wikidata Q7200761
History
- 2026-11-02: add by m2/dev
9S6MK1ZG0Y 9S6MK1ZG0Y
| URI | m2://inv/9S6MK1ZG0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#9AYN (statement)
History
- 2026-11-02: add by m2/v0.6.17
9S6MWD1D1Y 9S6MWD1D1Y
| URI | m2://inv/9S6MWD1D1Y |
|---|---|
| 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.36877#DY4X (statement). In FYS6VV5M99/e1, corollary 1.4
History
- 2026-10-30: add by m2/v0.4.12
9S6V6HQN1B 9S6V6HQN1B
| URI | m2://inv/9S6V6HQN1B |
|---|---|
| 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.00113#3IFH (statement). In R9PP1Y2EP4/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
9S6ZDA0CJN 9S6ZDA0CJN
| URI | m2://inv/9S6ZDA0CJN |
|---|---|
| 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.37897#IUQ8 (statement). In RBQ5FNCVNZ/e1, corollary C.6
History
- 2026-10-30: add by m2/v0.4.12
HM–GM inequality 9S73TBVAPP
| URI | m2://inv/9S73TBVAPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia QM–AM–GM–HM inequalities#S1P4, HM–GM inequality (statement)
History
- 2026-11-02: add by m2/dev
9S74CT27G5 9S74CT27G5
| URI | m2://inv/9S74CT27G5 |
|---|---|
| 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.32282#HGBC (statement). In MF7XEPN4GV/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
Theorem 9S7AJ62NNE
| URI | m2://inv/9S7AJ62NNE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#N6AB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
9S7GMNJ4DP 9S7GMNJ4DP
| URI | m2://inv/9S7GMNJ4DP |
|---|---|
| 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#FIZE (definition). In FWA5QW6FCF/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
cutoff 9S7HNCFMAS
| URI | m2://inv/9S7HNCFMAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#568J, cutoff (definition)
History
- 2026-11-02: add by m2/dev
9S8B63NNXG 9S8B63NNXG
| URI | m2://inv/9S8B63NNXG |
|---|---|
| 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.10221#F9SY (statement). In 9Z5M655EPV/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
9S8ENDQ1P2 9S8ENDQ1P2
| URI | m2://inv/9S8ENDQ1P2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12480#PZG8 (statement). In 585QYGX4X6/e1, lemma 𝐑𝐓(d,a,b)\mathbf{RT}(d,a,b
History
- 2026-10-28: add by m2/v0.4.2
9S8G57ACDA 9S8G57ACDA
| URI | m2://inv/9S8G57ACDA |
|---|---|
| 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.31276#Q4JK (statement). In WYDHWYFRFK/e1, proposition 1.1
History
- 2026-10-31: add by m2/v0.5.6
Kuratowski's intersection theorem 9S8KSQBY68
| URI | m2://inv/9S8KSQBY68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski's intersection theorem, Kuratowski's intersection theorem (statement). Also Wikidata Q113659201
History
- 2026-11-02: add by m2/dev
9S8KTTK6S3 9S8KTTK6S3
| URI | m2://inv/9S8KTTK6S3 |
|---|---|
| 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 2606.00589#G022 (statement). In C8JAGP8VCQ/e1, lemma 2.20
History
- 2026-10-27: add by m2/v0.3.5
Abel–Jacobi theorem 9S8S1F1NTF
| URI | m2://inv/9S8S1F1NTF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel–Jacobi map#U6CA, Abel–Jacobi theorem (statement)
History
- 2026-11-02: add by m2/dev
9S8SA72FF0 9S8SA72FF0
| URI | m2://inv/9S8SA72FF0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24795#I1MR (definition)
History
- 2026-11-01: add by m2/v0.6.15
Example 9S8WHPAN4Z
| URI | m2://inv/9S8WHPAN4Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#FWI5, Example (example)
History
- 2026-11-02: add by m2/dev
9S8X81NACA 9S8X81NACA
| URI | m2://inv/9S8X81NACA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-20 (exercise). In E59CDZA4DP, exercise, section 1.3.6
History
- 2026-11-01: add by m2/v0.6.13
Rǎzvan Gelca 9S8ZYATFMJ
| URI | m2://inv/9S8ZYATFMJ |
|---|---|
| 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 Q93435431, Rǎzvan Gelca (unknown). Also nLab Razvan Gelca
History
- 2026-10-26: add by m2/dev
Commutative ring 9S926PHE1C
| URI | m2://inv/9S926PHE1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#V3U9, Commutative ring (definition)
History
- 2026-11-02: add by m2/dev
9S93MSNC8Q 9S93MSNC8Q
| URI | m2://inv/9S93MSNC8Q |
|---|---|
| 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 2606.20229#FEFY (statement). In 1B85G2QJC2/e1, theorem 8.5
History
- 2026-10-27: add by m2/v0.3.6
separation number 9S9AP9XH95
| URI | m2://inv/9S9AP9XH95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#Z6YP, separation number (definition)
History
- 2026-11-02: add by m2/dev
Reidemeister Moves 9S9BGPK6ZN
| URI | m2://inv/9S9BGPK6ZN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.3562#4ISV, Reidemeister Moves (definition). In KZH1DCS18C/e1, definition 6.7
History
- 2026-10-27: add by m2/v0.3.5
Example for d = 2 (Euler's theorem case) 9S9KXZC3B5
| URI | m2://inv/9S9KXZC3B5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glaisher's theorem#FCTF, Example for d = 2 (Euler's theorem case) (example)
History
- 2026-11-02: add by m2/dev
Example 3 9S9MEP7H5M
| URI | m2://inv/9S9MEP7H5M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebras canonically defined#PEI3, Example 3 (example)
History
- 2026-11-02: add by m2/dev
9S9QQ0VYVH 9S9QQ0VYVH
| URI | m2://inv/9S9QQ0VYVH |
|---|---|
| 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.21231#IDW8 (statement). In 4RH9PS7MN1/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.2
Teichm\"uller space and moduli space 9S9ZX8WR72
| URI | m2://inv/9S9ZX8WR72 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15926#M54M, Teichm\"uller space and moduli space (definition). In G0J92BSX4A/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Formal statement 9SA4F0NXCZ
| URI | m2://inv/9SA4F0NXCZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jensen's formula#JGNE, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Prime quadruplet 9SA5GCCWGT
| URI | m2://inv/9SA5GCCWGT |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#F6HU, Prime quadruplet (conjecture)
History
- 2026-11-02: add by m2/dev
9SA7Z63QJK 9SA7Z63QJK
| URI | m2://inv/9SA7Z63QJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10736#A9QM (statement). In NCYKB4QG5P/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.3
9SA8KZHMW3 9SA8KZHMW3
| URI | m2://inv/9SA8KZHMW3 |
|---|---|
| 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#0ZVT (example). In 9ZSNSJRJ5N/e1, example 13
History
- 2026-10-27: add by m2/v0.4.2
Proposition 9SB241YX5G
| URI | m2://inv/9SB241YX5G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function theorem#QEB4, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Improved moment estimates 9SBDZH6GQQ
| URI | m2://inv/9SBDZH6GQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#B8PY, Improved moment estimates (statement)
History
- 2026-11-01: add by m2/v0.6.15
9SBFMVM6Y0 9SBFMVM6Y0
| URI | m2://inv/9SBFMVM6Y0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1204.5958#08RA (statement). In XYCBKM4WKY/e1, lemma 39
History
- 2026-10-27: add by m2/v0.3.5
9SBRHQ2HC0 9SBRHQ2HC0
| URI | m2://inv/9SBRHQ2HC0 |
|---|---|
| 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#5Y38 (statement). In Z7E16PFFCP/e1, lemma 3.16
History
- 2026-10-30: add by m2/v0.4.12
capacity, of an edge 9SBV9CQGPT
| URI | m2://inv/9SBV9CQGPT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/13.1/capacity-of-an-edge, capacity, of an edge (concept). In QKM9DD2H56, index, section 13.1
History
- 2026-11-01: add by m2/v0.6.13
Rudolf Peierls 9SC1M1Z942
| URI | m2://inv/9SC1M1Z942 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#V1X5, Rudolf Peierls (unknown)
History
- 2026-11-02: add by m2/dev
Example 9SC3RD60DP
| URI | m2://inv/9SC3RD60DP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reed–Muller code#L0XL, Example (example)
History
- 2026-11-02: add by m2/dev
Urban wage premium 9SC4SK1JMP
| URI | m2://inv/9SC4SK1JMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urban scaling#VN1T, Urban wage premium (unknown)
History
- 2026-11-02: add by m2/dev
Finite sphere packing 9SCJXNS69G
| URI | m2://inv/9SCJXNS69G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite sphere packing, Finite sphere packing (definition). Also Wikidata Q1735601
History
- 2026-11-02: add by m2/dev
ronna 9SCQ3177PX
| URI | m2://inv/9SCQ3177PX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107914880, ronna (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/Ronna-
History
- 2026-10-26: add by m2/dev
Genedata 9SCT85YS88
| URI | m2://inv/9SCT85YS88 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#XZJQ, Genedata (unknown)
History
- 2026-11-02: add by m2/dev
Example 9SCWHP62C2
| URI | m2://inv/9SCWHP62C2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein's criterion#3A76, Example (example)
History
- 2026-11-02: add by m2/dev
9SCY4SKD42 9SCY4SKD42
| URI | m2://inv/9SCY4SKD42 |
|---|---|
| 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#UTL8 (statement). In 6DZPR52HRP/e1, proposition 4.35
History
- 2026-10-28: add by m2/v0.4.2
Egon Balas 9SD8Z1T20W
| URI | m2://inv/9SD8Z1T20W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#HINJ, Egon Balas (topic)
History
- 2026-11-02: add by m2/dev
Elliptic divisibility sequence 9SDAD7CJMX
| URI | m2://inv/9SDAD7CJMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic divisibility sequence, Elliptic divisibility sequence (definition). Also Wikidata Q5365797
History
- 2026-11-02: add by m2/dev
9SDAWAP7V3 9SDAWAP7V3
| URI | m2://inv/9SDAWAP7V3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#FZKE (statement). In S26QVW5613/e1, corollary 3.5.3
History
- 2026-10-30: add by m2/v0.4.12
Examples 9SDBCSZA3G
| URI | m2://inv/9SDBCSZA3G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of distinguished element#6Z57, Examples (example)
History
- 2026-11-02: add by m2/dev
Gender bias 9SDBDT9ZK4
| URI | m2://inv/9SDBDT9ZK4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#3UX6, Gender bias (unknown)
History
- 2026-11-02: add by m2/dev
9SDFFBA162 9SDFFBA162
| URI | m2://inv/9SDFFBA162 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:symmetricseriesweier (exercise). In VNMV985MXX, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Rape in South Sudan 9SDQSR2S2R
| URI | m2://inv/9SDQSR2S2R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#9PXH, Rape in South Sudan (unknown)
History
- 2026-11-02: add by m2/dev
Properties 9SDR5VHR5S
| URI | m2://inv/9SDR5VHR5S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Join (topology)#KY1V, Properties (statement)
History
- 2026-11-02: add by m2/dev
Roughness estimator 9SDYNFG76F
| URI | m2://inv/9SDYNFG76F |
|---|---|
| Kind | definition |
| 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#ZRA5, Roughness estimator (definition). In SV36P5P5Z3/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
9SDZHFHMP6 9SDZHFHMP6
| URI | m2://inv/9SDZHFHMP6 |
|---|---|
| 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.25391#JUTU (statement)
History
- 2026-11-01: add by m2/v0.6.15
P4-metric 9SE1WFTBDP
| URI | m2://inv/9SE1WFTBDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P4-metric, P4-metric (definition). Also Wikidata Q115814384
History
- 2026-11-02: add by m2/dev
Jon Michael Dunn 9SE92XQZ01
| URI | m2://inv/9SE92XQZ01 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6CFY, Jon Michael Dunn (unknown)
History
- 2026-11-02: add by m2/dev
Datagram Transport Layer Security 9SEADXQBRD
| URI | m2://inv/9SEADXQBRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Datagram Transport Layer Security, Datagram Transport Layer Security (definition). Also Wikidata Q1172260
History
- 2026-11-02: add by m2/dev
Definition 9SEBDDTGVB
| URI | m2://inv/9SEBDDTGVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck category#KIWA, Definition (definition)
History
- 2026-11-02: add by m2/dev
9SEBZW8KJB 9SEBZW8KJB
| URI | m2://inv/9SEBZW8KJB |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#proof-1 (proof). In RZP28ERRZV, proof, section 14.2
History
- 2026-11-01: add by m2/v0.6.13
9SEG296PEY 9SEG296PEY
| URI | m2://inv/9SEG296PEY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.21931#2HY5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
\textsf{Dyadic decomposition of initial segments 9SEHE3VV79
| URI | m2://inv/9SEHE3VV79 |
|---|---|
| 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.09404#922P, \textsf{Dyadic decomposition of initial segments (statement). In D7CZZ48FRN/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
9SEHW6FRDS 9SEHW6FRDS
| URI | m2://inv/9SEHW6FRDS |
|---|---|
| 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.01411#T1K8 (statement). In SD28S3K7BT/e1, corollary 48
History
- 2026-10-29: add by m2/v0.4.12
Parker Warner Wright 9SEN8V6DE4
| URI | m2://inv/9SEN8V6DE4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 11B-X-1371#SO8F, Parker Warner Wright (unknown)
History
- 2026-11-02: add by m2/dev
Weyl symmetry 9SEPAJ2S2W
| URI | m2://inv/9SEPAJ2S2W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#NZHC, Weyl symmetry (unknown)
History
- 2026-11-02: add by m2/dev
9SET2A9RNW 9SET2A9RNW
| URI | m2://inv/9SET2A9RNW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#example-4 (example). In RZP28ERRZV, example, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
9SEZA9YTF8 9SEZA9YTF8
| URI | m2://inv/9SEZA9YTF8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#5UZV (example). In HX63A1PH1W/e1, example 3.18
History
- 2026-10-28: add by m2/v0.4.3
Ofer Zeitouni 9SF1P8VN2H
| URI | m2://inv/9SF1P8VN2H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#U398, Ofer Zeitouni (topic)
History
- 2026-11-02: add by m2/dev
9SF4FH60T3 9SF4FH60T3
| URI | m2://inv/9SF4FH60T3 |
|---|---|
| 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.15982#2EVX (statement). In KB50SHR229/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.2
regulator 9SFABM73FM
| URI | m2://inv/9SFABM73FM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#OEGJ, regulator (definition)
History
- 2026-11-02: add by m2/dev
Robert MacPherson 9SFRF20FSX
| URI | m2://inv/9SFRF20FSX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FMH9, Robert MacPherson (topic)
History
- 2026-11-02: add by m2/dev
9SFSB8TGKM 9SFSB8TGKM
| URI | m2://inv/9SFSB8TGKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.13888#S9NU (statement). In 2G5K2GZTX7/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.4.0
Examples 9SFZSE23ZH
| URI | m2://inv/9SFZSE23ZH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal bundle#K6NL, Examples (example)
History
- 2026-11-02: add by m2/dev
9SG1QMCQ3V 9SG1QMCQ3V
| URI | m2://inv/9SG1QMCQ3V |
|---|---|
| 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.21572#T8FP (statement). In 5TSFJEF45V/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.2
Recommender system 9SG71BMEG8
| URI | m2://inv/9SG71BMEG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recommender system, Recommender system (definition). Also Wikidata Q554950
History
- 2026-11-02: add by m2/dev
9SG8K33BTW 9SG8K33BTW
| URI | m2://inv/9SG8K33BTW |
|---|---|
| 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 2610.20801#KCAH (statement). In A1GWWGRXPA/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.4.2
Vanishing at non-cubes 9SGCW0APWC
| URI | m2://inv/9SGCW0APWC |
|---|---|
| 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 2610.07905#J03H, Vanishing at non-cubes (statement). In 88GEN3Z5VG/e1, lemma 7.8
History
- 2026-10-29: add by m2/v0.4.10
Intersection number 9SGEBNDB4E
| URI | m2://inv/9SGEBNDB4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#40MG, Intersection number (definition)
History
- 2026-11-02: add by m2/dev
Syntactic monoid 9SGJC08P04
| URI | m2://inv/9SGJC08P04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Syntactic monoid, Syntactic monoid (definition). Also Wikidata Q3321297
History
- 2026-11-02: add by m2/dev
9SGS1NV6F9 9SGS1NV6F9
| URI | m2://inv/9SGS1NV6F9 |
|---|---|
| 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 2204.10840#0NIY (statement). In EMS1MAJZ4X/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.6
Geometric calculus 9SGYF6AH45
| URI | m2://inv/9SGYF6AH45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#ZKV0, Geometric calculus (definition)
History
- 2026-11-02: add by m2/dev
K3 surface 9SH7P1GCYK
| URI | m2://inv/9SH7P1GCYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#XHX5, K3 surface (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#2BFC, K3 surface (definition)
- wikipedia: Wikipedia List of manifolds#1KU8, K3 surface (definition)
History
- 2026-11-02: add by m2/dev
9SHCRQGZ8E 9SHCRQGZ8E
| URI | m2://inv/9SHCRQGZ8E |
|---|---|
| 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.29653#8RY5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A direct public-rate/key-rate inner bound 9SHJZHAHM2
| URI | m2://inv/9SHJZHAHM2 |
|---|---|
| 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.09472#O70G, A direct public-rate/key-rate inner bound (statement). In 35925M9GJW/e1, corollary 23
History
- 2026-10-29: add by m2/v0.4.10
Factive verb 9SHTF3D0QE
| URI | m2://inv/9SHTF3D0QE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presupposition#4OFZ, Factive verb (unknown)
History
- 2026-11-02: add by m2/dev
Stirling transform 9SHWJEDS56
| URI | m2://inv/9SHWJEDS56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#EUMW, Stirling transform (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#O3BD, Stirling transform (definition)
History
- 2026-11-02: add by m2/dev
Result 9SJ15AMYDT
| URI | m2://inv/9SJ15AMYDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Result, Result (definition). Also Wikidata Q2995644
History
- 2026-11-02: add by m2/dev
Properties 9SJ4KFMKYX
| URI | m2://inv/9SJ4KFMKYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monic polynomial#UZ4L, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications 9SJ4V2JJX1
| URI | m2://inv/9SJ4V2JJX1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chern–Gauss–Bonnet theorem#US20, Applications (example)
History
- 2026-11-02: add by m2/dev
9SJ6PYTP84 9SJ6PYTP84
| URI | m2://inv/9SJ6PYTP84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#J044 (statement). In V6EPE8XHAD/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.10
Research Triangle 9SJJAABKFS
| URI | m2://inv/9SJJAABKFS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#BEEO, Research Triangle (unknown)
History
- 2026-11-02: add by m2/dev
Pushforward 9SK04J9V9N
| URI | m2://inv/9SK04J9V9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pushforward (differential), Pushforward (definition). Also Wikidata Q1969983
History
- 2026-11-02: add by m2/dev
Problem 9SK5SEMG63
| URI | m2://inv/9SK5SEMG63 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schuette–Nesbitt formula#NXBM, Problem (problem)
History
- 2026-11-02: add by m2/dev
Thabit ibn Qurra 9SK7RNXTPZ
| URI | m2://inv/9SK7RNXTPZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#EO6S, Thabit ibn Qurra (topic)
History
- 2026-11-02: add by m2/dev
Example 9SK8AEF07R
| URI | m2://inv/9SK8AEF07R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression discontinuity design#Q8EI, Example (example)
History
- 2026-11-02: add by m2/dev
9SKA25XM0C 9SKA25XM0C
| URI | m2://inv/9SKA25XM0C |
|---|---|
| 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.15217#PPCC (statement). In G70Q2FB591/e1, proposition 4.30
History
- 2026-10-28: add by m2/v0.4.2
tetradecahedron 9SKBJ3M9QT
| URI | m2://inv/9SKBJ3M9QT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7706309, tetradecahedron (unknown). Also MathWorld Tetradecahedron
- wikipedia: Wikipedia Tetradecahedron, Tetradecahedron (object). Also Wikidata Q7706309
History
- 2026-10-26: add by m2/dev
9SKD3SSVTZ 9SKD3SSVTZ
| URI | m2://inv/9SKD3SSVTZ |
|---|---|
| Kind | statement |
| 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 2610.09945#CHYS (statement). In V7VCEA0VAA/e1, corollary 2.6
History
- 2026-10-29: add by m2/v0.4.10
William Whewell 9SKWQD3X3D
| URI | m2://inv/9SKWQD3X3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Whewell, William Whewell (topic). Also Wikidata Q333922
History
- 2026-11-02: add by m2/dev
9SM3Y60GZQ 9SM3Y60GZQ
| URI | m2://inv/9SM3Y60GZQ |
|---|---|
| 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.36622#JENS (statement). In 9704QPRPR6/e1, lemma 5.10
History
- 2026-10-30: add by m2/v0.4.12
9SM5DYGRVZ 9SM5DYGRVZ
| URI | m2://inv/9SM5DYGRVZ |
|---|---|
| Kind | example |
| 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.00909#LH18 (example). In Z4TD36VFPW/e1, example 1.8
History
- 2026-10-29: add by m2/v0.4.12
9SMDYP2CMK 9SMDYP2CMK
| URI | m2://inv/9SMDYP2CMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2602.15812#HH7A (statement). In GAAZD3SGPN/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
Induction 9SMFAS32MZ
| URI | m2://inv/9SMFAS32MZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21043#OF9D, Induction (statement)
History
- 2026-11-02: add by m2/v0.6.18
Betty Shannon 9SMFR0HB2T
| URI | m2://inv/9SMFR0HB2T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betty Shannon, Betty Shannon (topic). Also Wikidata Q33528466
History
- 2026-11-02: add by m2/dev
9SMGN6EZCR 9SMGN6EZCR
| URI | m2://inv/9SMGN6EZCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04382#QGJC (statement). In 7VW8XD28G1/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
9SMK6NB3B9 9SMK6NB3B9
| URI | m2://inv/9SMK6NB3B9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24593#PMIH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Covariant derivative 9SMMHJA1N3
| URI | m2://inv/9SMMHJA1N3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06310#CSBM, Covariant derivative (definition). In WR5S1V9V8J/e1, definition 4.4
History
- 2026-10-29: add by m2/v0.4.10
Explicit lens certificate 9SMQPGKPW2
| URI | m2://inv/9SMQPGKPW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#AVUQ, Explicit lens certificate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexander 9SMVCV2XB7
| URI | m2://inv/9SMVCV2XB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.3562#3D3Z, Alexander (statement). In KZH1DCS18C/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
9SMVNP4QM8 9SMVNP4QM8
| URI | m2://inv/9SMVNP4QM8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20860#HUQU (definition)
History
- 2026-11-02: add by m2/v0.6.18
Methods 9SN6B60ZH6
| URI | m2://inv/9SN6B60ZH6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Testery#7L72, Methods (definition)
History
- 2026-11-02: add by m2/dev
9SN8870PR4 9SN8870PR4
| URI | m2://inv/9SN8870PR4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21274#G0SA (statement)
History
- 2026-11-02: add by m2/v0.6.18
9SN8YQYEAF 9SN8YQYEAF
| URI | m2://inv/9SN8YQYEAF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#07AM (example). In 37B1MPV8GX/e1, example 2.14
History
- 2026-10-29: add by m2/v0.4.10
Finite Stein exponent 9SNAG8DC2D
| URI | m2://inv/9SNAG8DC2D |
|---|---|
| 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.03629#V6O1, Finite Stein exponent (statement). In T6W0HCPXFN/e1, theorem A2
History
- 2026-10-29: add by m2/v0.4.12
Definitions and Lemmas 9SNBE0SXWT
| URI | m2://inv/9SNBE0SXWT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall word#URP4, Definitions and Lemmas (statement)
History
- 2026-11-02: add by m2/dev
Imbalance forces an odd local order channel 9SNCM90EMN
| URI | m2://inv/9SNCM90EMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#T41E, Imbalance forces an odd local order channel (statement)
History
- 2026-11-02: add by m2/v0.6.17
9SNPQNS1YZ 9SNPQNS1YZ
| URI | m2://inv/9SNPQNS1YZ |
|---|---|
| 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#LU09 (statement). In VQA35Q7C00/e1, theorem 7.6
History
- 2026-10-29: add by m2/v0.4.10
9SNRZ9P13P 9SNRZ9P13P
| URI | m2://inv/9SNRZ9P13P |
|---|---|
| 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.20345#KUY9 (statement). In WVRRST04WS/e1, lemma 10
History
- 2026-10-27: add by m2/v0.4.2
cf.\ 9SP46H16F1
| URI | m2://inv/9SP46H16F1 |
|---|---|
| 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.01273#74LD, cf.\ (statement). In RAT41DDR51/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
Applications 9SP8P66YMT
| URI | m2://inv/9SP8P66YMT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sierpiński carpet#Z901, Applications (example)
History
- 2026-11-02: add by m2/dev
9SPBWA2WKK 9SPBWA2WKK
| URI | m2://inv/9SPBWA2WKK |
|---|---|
| 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.17267#YE3K (statement). In 5VWB4A47R5/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
Regular local ring 9SPCKYRRJ9
| URI | m2://inv/9SPCKYRRJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#GTDF, Regular local ring (definition)
- wikipedia: Wikipedia List of abstract algebra topics#POSM, Regular local ring (definition)
- wikipedia: Wikipedia List of commutative algebra topics#91N9, Regular local ring (definition)
- wikipedia: Wikipedia List of commutative algebra topics#HN8O, Regular local ring (definition)
History
- 2026-11-02: add by m2/dev
9SPP6XNJ7Y 9SPP6XNJ7Y
| URI | m2://inv/9SPP6XNJ7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38250#293K (statement). In 5KDV984W48/e1, corollary 17
History
- 2026-10-30: add by m2/v0.4.12
Hurwitz polynomial 9SPTEB1D3J
| URI | m2://inv/9SPTEB1D3J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1414214, Hurwitz polynomial (unknown). Also MathWorld HurwitzPolynomial
- wikipedia: Wikipedia Hurwitz polynomial, Hurwitz polynomial (definition). Also Wikidata Q1414214
History
- 2026-10-26: add by m2/dev
9SPTVJ4W01 9SPTVJ4W01
| URI | m2://inv/9SPTVJ4W01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#AYOX (statement). In 5PN85N6EJF/e1, proposition E.2
History
- 2026-10-31: add by m2/v0.5.6
holomorphic mapping 9SQQX0CW9E
| URI | m2://inv/9SQQX0CW9E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1.3/holomorphic-mapping, holomorphic mapping (concept). In VNMV985MXX, index, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Evelyn Nelson 9SQTR6D9YN
| URI | m2://inv/9SQTR6D9YN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evelyn Nelson (mathematician), Evelyn Nelson (topic). Also Wikidata Q3740765
History
- 2026-11-02: add by m2/dev
J. H. van Lint 9SQZ21TC4S
| URI | m2://inv/9SQZ21TC4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4224, J. H. van Lint (topic)
History
- 2026-11-02: add by m2/dev
9SR0DB8625 9SR0DB8625
| URI | m2://inv/9SR0DB8625 |
|---|---|
| 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.01924#YCFZ (statement). In CB89152EQW/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
Equivalent definition 9SR5Z818TS
| URI | m2://inv/9SR5Z818TS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spin(7)-manifold#WTV3, Equivalent definition (definition)
History
- 2026-11-02: add by m2/dev
Quotient ring construction 9SRBEX166C
| URI | m2://inv/9SRBEX166C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#HO8Z, Quotient ring construction (definition)
History
- 2026-11-02: add by m2/dev
Néron model 9SRDX8H5K5
| URI | m2://inv/9SRDX8H5K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Néron model, Néron model (definition). Also Wikidata Q7071448
History
- 2026-11-02: add by m2/dev
Magic square of squares 9SRESCD9WV
| URI | m2://inv/9SRESCD9WV |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#RQSZ, Magic square of squares (conjecture)
History
- 2026-11-02: add by m2/dev
9SRRPJMVWG 9SRRPJMVWG
| URI | m2://inv/9SRRPJMVWG |
|---|---|
| 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.11974#NGRD (statement). In AW6S4XZ9ZZ/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.3
9SRW3N4KXQ 9SRW3N4KXQ
| URI | m2://inv/9SRW3N4KXQ |
|---|---|
| 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.09482#QBK8 (statement). In VYMEQQVMBD/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
9SRX31YXAJ 9SRX31YXAJ
| URI | m2://inv/9SRX31YXAJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09672#2PNA (statement). In TXBXCPP0QH/e1, lemma 39
History
- 2026-10-29: add by m2/v0.4.10
Martin Bridson 9SRZJD6B4M
| URI | m2://inv/9SRZJD6B4M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#36PL, Martin Bridson (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BJOQ, Martin Bridson (topic)
History
- 2026-11-02: add by m2/dev
Algorithm 9SSKNAZ0HR
| URI | m2://inv/9SSKNAZ0HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Detrended fluctuation analysis#HE2G, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Vitali covering lemma 9SSTXXZ78T
| URI | m2://inv/9SSTXXZ78T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#9OS5, Vitali covering lemma (definition)
History
- 2026-11-02: add by m2/dev
Nasavi 9SSW5JEFMP
| URI | m2://inv/9SSW5JEFMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#4838, Nasavi (unknown)
History
- 2026-11-02: add by m2/dev
9SSWR5D846 9SSWR5D846
| URI | m2://inv/9SSWR5D846 |
|---|---|
| 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 2304.08149#2J8O (statement). In K16E32N55W/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
9ST1DD68NS 9ST1DD68NS
| URI | m2://inv/9ST1DD68NS |
|---|---|
| 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 0909.0714#UM3T (statement). In XNNM92X6A8/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
FreeOTFE 9ST7JXHVHP
| URI | m2://inv/9ST7JXHVHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FreeOTFE, FreeOTFE (definition). Also Wikidata Q732074
History
- 2026-11-02: add by m2/dev
chemical element 9ST9XFRZ1V
| URI | m2://inv/9ST9XFRZ1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11344, chemical element (definition). Also nLab chemical element, ProofWiki Definition:Chemical_Element
History
- 2026-10-26: add by m2/dev
Transpositions matrix 9STBRPCF15
| URI | m2://inv/9STBRPCF15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transpositions matrix, Transpositions matrix (definition). Also Wikidata Q110172188
History
- 2026-11-02: add by m2/dev
9STE0X6RKA 9STE0X6RKA
| URI | m2://inv/9STE0X6RKA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.16655#0M1R (statement). In EJHAXRV685/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
9STN1FD7KJ 9STN1FD7KJ
| URI | m2://inv/9STN1FD7KJ |
|---|---|
| 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 2506.08233#IGY1 (statement). In 2TXXQ2575Y/e1, theorem 4.18
History
- 2026-10-27: add by m2/v0.3.5
\bf Trapping-or-descent dichotomy 9STWNP4SHZ
| URI | m2://inv/9STWNP4SHZ |
|---|---|
| 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.02791#70Q0, \bf Trapping-or-descent dichotomy (statement). In TT9BA4VMTW/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Wasserstein convergence 9STXENXHH3
| URI | m2://inv/9STXENXHH3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20798#ZIAL, Wasserstein convergence (definition). In 947GFWDY7C/e1, definition A.2
History
- 2026-10-27: add by m2/v0.4.2
Deux-Sèvres 9SV09CKEXG
| URI | m2://inv/9SV09CKEXG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#N6AF, Deux-Sèvres (unknown)
History
- 2026-11-02: add by m2/dev
Risk per-update 9SV3ES2A3J
| URI | m2://inv/9SV3ES2A3J |
|---|---|
| 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.10393#E0KM, Risk per-update (statement). In ZGS97E3PB7/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
9SVA0Y4N7B 9SVA0Y4N7B
| URI | m2://inv/9SVA0Y4N7B |
|---|---|
| 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.23338#9S0P (statement)
History
- 2026-11-02: add by m2/v0.6.17
9SVQJBDWG0 9SVQJBDWG0
| URI | m2://inv/9SVQJBDWG0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-4.xml#example-1 (example). In 649HGZKE96, example, section 6.4.3
History
- 2026-11-01: add by m2/v0.6.13
9SVWDZ8PD9 9SVWDZ8PD9
| URI | m2://inv/9SVWDZ8PD9 |
|---|---|
| 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#77TV (statement). In E7W2HDNEKJ/e1, theorem 5.37
History
- 2026-10-30: add by m2/v0.4.12
transfer theorem 9SVYZ5SBGX
| URI | m2://inv/9SVYZ5SBGX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > transfer theorem, transfer theorem (unknown)
History
- 2026-10-26: add by m2/dev
Great rhombidodecahedron 9SX0KH323M
| URI | m2://inv/9SX0KH323M |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#A7X9, Great rhombidodecahedron (object)
History
- 2026-11-02: add by m2/dev
Formal realization of the local neighborhood 9SX10NMEVP
| URI | m2://inv/9SX10NMEVP |
|---|---|
| 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.10828#7IW2, Formal realization of the local neighborhood (statement). In 8PTDFHV8SQ/e1, lemma 14.4
History
- 2026-10-28: add by m2/v0.4.3
9SXCM2F8JR 9SXCM2F8JR
| URI | m2://inv/9SXCM2F8JR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23822#IC3N (statement)
History
- 2026-11-02: add by m2/v0.6.17
maximal consistent set 9SXMS625Y7
| URI | m2://inv/9SXMS625Y7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#C7N7, maximal consistent set (definition)
History
- 2026-11-02: add by m2/dev
Tolerance for the squared relative adjoint residual 9SXSAGN2AW
| URI | m2://inv/9SXSAGN2AW |
|---|---|
| Kind | definition |
| 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#QF8K, Tolerance for the squared relative adjoint residual (definition). In 6KAZWJ8RFX/e1, definition 4.11
History
- 2026-10-31: add by m2/v0.5.6
Samir D. Mathur 9SXTVQMRGG
| URI | m2://inv/9SXTVQMRGG |
|---|---|
| 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 Q17639097, Samir D. Mathur (unknown). Also nLab Samir Mathur
History
- 2026-10-26: add by m2/dev
Theorem 9SY27BWZF7
| URI | m2://inv/9SY27BWZF7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#HVG9, Theorem (statement)
History
- 2026-11-02: add by m2/dev
9SY6EWBZRM 9SY6EWBZRM
| URI | m2://inv/9SY6EWBZRM |
|---|---|
| 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.36334#LI9X (statement). In YVB70SBGN1/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
derivative, definition 9SYBX0K95R
| URI | m2://inv/9SYBX0K95R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.4.2/derivative-definition, derivative, definition (concept). In 907G4C4EJ1, index, section 1.4.2
History
- 2026-11-01: add by m2/v0.6.13
9SYE71Q5NW 9SYE71Q5NW
| URI | m2://inv/9SYE71Q5NW |
|---|---|
| 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.25926#FBFZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
9SYNZFH2M7 9SYNZFH2M7
| URI | m2://inv/9SYNZFH2M7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-21 (proof). In E59CDZA4DP, proof, section 1.7.1
History
- 2026-11-01: add by m2/v0.6.13
Mathematical statistics 9SYQR7ZNMC
| URI | m2://inv/9SYQR7ZNMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#DP6L, Mathematical statistics (definition)
History
- 2026-11-02: add by m2/dev
9SYTVYFMR6 9SYTVYFMR6
| URI | m2://inv/9SYTVYFMR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#5JM5 (statement). In CY1FE8W1ZW/e1, proposition 0.252
History
- 2026-10-27: add by m2/v0.3.5
Four Laws 9SYXAS9NH4
| URI | m2://inv/9SYXAS9NH4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of thought#F6BO, Four Laws (statement)
History
- 2026-11-02: add by m2/dev
Data Science and Predictive Analytics 9SZ0N518S9
| URI | m2://inv/9SZ0N518S9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data Science and Predictive Analytics, Data Science and Predictive Analytics (definition). Also Wikidata Q105424678
History
- 2026-11-02: add by m2/dev
9SZ892VC87 9SZ892VC87
| URI | m2://inv/9SZ892VC87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#QTE4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kruskal, William 9SZR72835H
| URI | m2://inv/9SZR72835H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5LG6, Kruskal, William (topic)
History
- 2026-11-02: add by m2/dev
Brauer–Suzuki theorem 9SZSBSHT57
| URI | m2://inv/9SZSBSHT57 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1739994, Brauer–Suzuki theorem (statement). Also Wikidata Q1739994
- thousand_plus: thousand_plus Q1739994, Brauer–Suzuki theorem (statement). Also Wikidata Q1739994, Wikipedia Brauer–Suzuki theorem
- wikipedia: Wikipedia Brauer–Suzuki theorem, Brauer–Suzuki theorem (statement). Also Wikidata Q1739994
History
- 2026-10-26: add by m2/dev
9SZTJV2D19 9SZTJV2D19
| URI | m2://inv/9SZTJV2D19 |
|---|---|
| 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 2203.15223#JADH (statement). In HSY17Q75DM/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5