Inventory rows 9A
The cards of the rows of the inventory whose ids start with 9A. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Pauline Barrieu 9A0102G3FZ
| URI | m2://inv/9A0102G3FZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pauline Barrieu, Pauline Barrieu (topic). Also Wikidata Q96029104
History
- 2026-11-02: add by m2/dev
Donald Burkholder 9A05PSJDMY
| URI | m2://inv/9A05PSJDMY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald Burkholder, Donald Burkholder (topic). Also Wikidata Q4300810
History
- 2026-11-02: add by m2/dev
LZ77 and LZ78 9A09Z967NN
| URI | m2://inv/9A09Z967NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LZ77 and LZ78, LZ77 and LZ78 (definition). Also Wikidata Q22670963
History
- 2026-11-02: add by m2/dev
9A0MBEPZY3 9A0MBEPZY3
| URI | m2://inv/9A0MBEPZY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07340#SULO (statement). In 2HSB99DW4M/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.6
9A0RKTD148 9A0RKTD148
| URI | m2://inv/9A0RKTD148 |
|---|---|
| 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 2411.11470#GVPU (statement). In G1E3KERT6K/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.6
Gibbard–Satterthwaite theorem 9A0T948QFF
| URI | m2://inv/9A0T948QFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mechanism design#9U68, Gibbard–Satterthwaite theorem (statement)
History
- 2026-11-02: add by m2/dev
9A0VHFANGD 9A0VHFANGD
| URI | m2://inv/9A0VHFANGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#TUNE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Smallness of the error 9A102Q7Q3W
| URI | m2://inv/9A102Q7Q3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33578#L9OT, Smallness of the error (statement). In 3XTDDKY6YE/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
9A178YRK41 9A178YRK41
| URI | m2://inv/9A178YRK41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31126#PA01 (statement). In GK1V5GEHTK/e1, corollary 3.7
History
- 2026-10-31: add by m2/v0.5.6
9A1C5NW0KQ 9A1C5NW0KQ
| URI | m2://inv/9A1C5NW0KQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.13707#8MDV (definition). In 3564GWRNSF/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Runge's phenomenon 9A1E9XAKNK
| URI | m2://inv/9A1E9XAKNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runge's phenomenon, Runge's phenomenon (definition). Also Wikidata Q1990319
History
- 2026-11-02: add by m2/dev
9A1GNRP3AB 9A1GNRP3AB
| URI | m2://inv/9A1GNRP3AB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.03612#1XUU (definition). In REDG6QVHM3/e1, definition 9.8
History
- 2026-10-29: add by m2/v0.4.12
Curvature of Riemannian manifolds 9A1QEBXTRY
| URI | m2://inv/9A1QEBXTRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curvature of Riemannian manifolds, Curvature of Riemannian manifolds (definition). Also Wikidata Q40139
History
- 2026-11-02: add by m2/dev
Total sum of squares 9A1VHG4DC7
| URI | m2://inv/9A1VHG4DC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HR5W, Total sum of squares (definition)
History
- 2026-11-02: add by m2/dev
Bounded-overlap near-tightness 9A1VWC3VD7
| URI | m2://inv/9A1VWC3VD7 |
|---|---|
| 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.21523#Z1AD, Bounded-overlap near-tightness (statement)
History
- 2026-11-02: add by m2/v0.6.18
9A1YEPC0ZV 9A1YEPC0ZV
| URI | m2://inv/9A1YEPC0ZV |
|---|---|
| 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.20466#IN3B (statement). In M4ZVJWM8YA/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.4.2
9A22Q6ZKZR 9A22Q6ZKZR
| URI | m2://inv/9A22Q6ZKZR |
|---|---|
| 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.27641#DLO1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Simplicial complex 9A24P5F5Z8
| URI | m2://inv/9A24P5F5Z8 |
|---|---|
| Kind | definition |
| 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.00525#9H1E, Simplicial complex (definition). In JN34PDDXH8/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Definition 9A267KM7VJ
| URI | m2://inv/9A267KM7VJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prüfer rank#GMG2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Integro-differential equation 9A27FAX557
| URI | m2://inv/9A27FAX557 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integro-differential equation, Integro-differential equation (definition). Also Wikidata Q2380676
History
- 2026-11-02: add by m2/dev
Example 9A2K17N1YV
| URI | m2://inv/9A2K17N1YV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial theorem#6F0M, Example (example)
History
- 2026-11-02: add by m2/dev
9A2N062TZ8 9A2N062TZ8
| URI | m2://inv/9A2N062TZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20097#SESV (statement)
History
- 2026-11-02: add by m2/v0.6.18
9A2QH2T7H5 9A2QH2T7H5
| URI | m2://inv/9A2QH2T7H5 |
|---|---|
| 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 2510.12502#EJ53 (statement). In 3A4K47Y9F2/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.4.0
9A2V4MT5HC 9A2V4MT5HC
| URI | m2://inv/9A2V4MT5HC |
|---|---|
| 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.18033#YJZL (statement). In 59VRB6Y27N/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Audit study 9A35R8CVCN
| URI | m2://inv/9A35R8CVCN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Audit study, Audit study (definition). Also Wikidata Q24965317
History
- 2026-11-02: add by m2/dev
9A3K2R5RZE 9A3K2R5RZE
| URI | m2://inv/9A3K2R5RZE |
|---|---|
| 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 2112.14455#7ELJ (statement). In VDE5R8HBS1/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
Shephard's problem 9A3X71VV6M
| URI | m2://inv/9A3X71VV6M |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shephard's problem, Shephard's problem (problem). Also Wikidata Q7494442
History
- 2026-11-02: add by m2/dev
9A3XXGWE8Z 9A3XXGWE8Z
| URI | m2://inv/9A3XXGWE8Z |
|---|---|
| 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.06707#OFVT (statement). In 9TR5E527P5/e1, theorem 6.31
History
- 2026-10-29: add by m2/v0.4.10
The theorem for locally compact abelian groups 9A3ZYRB4XN
| URI | m2://inv/9A3ZYRB4XN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner's theorem#UOKR, The theorem for locally compact abelian groups (statement)
History
- 2026-11-02: add by m2/dev
Spearman's rank correlation coefficient 9A44KE62YR
| URI | m2://inv/9A44KE62YR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spearman's rank correlation coefficient DJFYTQJ3SH |
Mentions
- wikidata: Wikidata Q1126730, Spearman's rank correlation coefficient (unknown). Also MathWorld SpearmanRankCorrelationCoefficient
- wikipedia: Wikipedia Spearman's rank correlation coefficient, Spearman's rank correlation coefficient (definition). Also Wikidata Q1126730
History
- 2026-10-26: add by m2/dev
Multiplicative Chernoff bound 9A4DWWD8JK
| URI | m2://inv/9A4DWWD8JK |
|---|---|
| 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.03517#BRJJ, Multiplicative Chernoff bound (statement). In 3CGS9GSKTQ/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
alternating groups on 5 letters or more are simple 9A4EAMM62K
| URI | m2://inv/9A4EAMM62K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > alternating groups on 5 letters or more are simple, alternating groups on 5 letters or more are simple (unknown). Also Mathlib alternatingGroup.isSimpleGroup
History
- 2026-10-26: add by m2/dev
9A4V2X7SDZ 9A4V2X7SDZ
| URI | m2://inv/9A4V2X7SDZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#proof-7 (proof). In RZP28ERRZV, proof, section 22.7
History
- 2026-11-01: add by m2/v0.6.13
Jacob Tamarkin 9A4XYAF83C
| URI | m2://inv/9A4XYAF83C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacob Tamarkin, Jacob Tamarkin (topic). Also Wikidata Q372097
History
- 2026-11-02: add by m2/dev
Carlos Castillo-Chavez 9A4ZV64ZFV
| URI | m2://inv/9A4ZV64ZFV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlos Castillo-Chavez, Carlos Castillo-Chavez (topic). Also Wikidata Q5041916
History
- 2026-11-02: add by m2/dev
Example 9A5CP6JHH2
| URI | m2://inv/9A5CP6JHH2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyapunov–Malkin theorem#OF20, Example (example)
History
- 2026-11-02: add by m2/dev
Constructions 9A5EX2WX6D
| URI | m2://inv/9A5EX2WX6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal language#EK72, Constructions (definition)
History
- 2026-11-02: add by m2/dev
9A5MQYVBWY 9A5MQYVBWY
| URI | m2://inv/9A5MQYVBWY |
|---|---|
| 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.22002#M1X6 (statement). In JTND2BM263/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.2
9A5T78SJ13 9A5T78SJ13
| URI | m2://inv/9A5T78SJ13 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
Theaetetus 9A67078KZ8
| URI | m2://inv/9A67078KZ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#0HZP, Theaetetus (unknown)
History
- 2026-11-02: add by m2/dev
Definition 9A67WRP1BW
| URI | m2://inv/9A67WRP1BW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric space#T0M0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Shannon's expansion theorem 9A6H9NH8KE
| URI | m2://inv/9A6H9NH8KE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0J5Q, Shannon's expansion theorem (statement)
History
- 2026-11-02: add by m2/dev
Pafnuty Chebyshev 9A6HWY8Q09
| URI | m2://inv/9A6HWY8Q09 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#QYPO, Pafnuty Chebyshev (topic)
History
- 2026-11-02: add by m2/dev
9A6KARS8X3 9A6KARS8X3
| URI | m2://inv/9A6KARS8X3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#XTJN (statement). In WSG1ZW956E/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
9A6P5M9G7M 9A6P5M9G7M
| URI | m2://inv/9A6P5M9G7M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#WD01 (example). In 5MJ4NJ5ZCV/e1, example 3.5
History
- 2026-10-28: add by m2/v0.4.3
Bhāskara II 9A6T68WBJ1
| URI | m2://inv/9A6T68WBJ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhāskara II, Bhāskara II (topic). Also Wikidata Q213385
History
- 2026-11-02: add by m2/dev
Chinese Zhusuan 9A7D4G6104
| URI | m2://inv/9A7D4G6104 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suanpan#O9PZ, Chinese Zhusuan (unknown)
History
- 2026-11-02: add by m2/dev
9A7KVP8VYE 9A7KVP8VYE
| URI | m2://inv/9A7KVP8VYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33476#CK2K (statement). In DAQW640R25/e1, corollary 4.8
History
- 2026-10-30: add by m2/v0.4.12
Statement 9A7M444Z0F
| URI | m2://inv/9A7M444Z0F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler sequence#R2YQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Non-examples 9A7Q6T4EQM
| URI | m2://inv/9A7Q6T4EQM |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number field#73PS, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
9A7RT7GEHG 9A7RT7GEHG
| URI | m2://inv/9A7RT7GEHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#00I6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9A81CVXYBH 9A81CVXYBH
| URI | m2://inv/9A81CVXYBH |
|---|---|
| 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.16059#T92C (statement). In 51W7AECQDA/e1, corollary 6.6
History
- 2026-10-28: add by m2/v0.4.2
9A828HTPKZ 9A828HTPKZ
| URI | m2://inv/9A828HTPKZ |
|---|---|
| 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.39539#AUWA (statement). In GVR218P3ZR/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Carriquiry, Alicia L. 9A83HH5XKF
| URI | m2://inv/9A83HH5XKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#54QA, Carriquiry, Alicia L. (unknown)
History
- 2026-11-02: add by m2/dev
Two wrongs make a right 9A84HRQ27P
| URI | m2://inv/9A84HRQ27P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#UZHS, Two wrongs make a right (definition)
History
- 2026-11-02: add by m2/dev
Examples 9A84WYHRB8
| URI | m2://inv/9A84WYHRB8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monge equation#E10J, Examples (example)
History
- 2026-11-02: add by m2/dev
9A85W6E7FF 9A85W6E7FF
| URI | m2://inv/9A85W6E7FF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#09XA (statement). In PEXJPV3NP8/e1, theorem 4.15
History
- 2026-10-27: add by m2/v0.3.5
9A8BC1M72W 9A8BC1M72W
| URI | m2://inv/9A8BC1M72W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03619#EU5O (statement). In 7SRERSS1PF/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.12
Del in cylindrical and spherical coordinates 9A8JHWBVJD
| URI | m2://inv/9A8JHWBVJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Del in cylindrical and spherical coordinates, Del in cylindrical and spherical coordinates (definition). Also Wikidata Q2605462
History
- 2026-11-02: add by m2/dev
Applications 9A8M3YSPR2
| URI | m2://inv/9A8M3YSPR2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Social golfer problem#MWNX, Applications (example)
History
- 2026-11-02: add by m2/dev
Oracle complexity under approximate centers 9A900SBAJM
| URI | m2://inv/9A900SBAJM |
|---|---|
| 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.20701#4JMR, Oracle complexity under approximate centers (statement)
History
- 2026-11-02: add by m2/v0.6.18
filtration 9A96CEASEX
| URI | m2://inv/9A96CEASEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1187724, filtration (unknown). Also MathWorld Filtration
- wikipedia: Wikipedia Filtration (mathematics), Filtration (definition). Also Wikidata Q1187724
History
- 2026-10-26: add by m2/dev
Discrete Hartley transform 9A98FEKH6T
| URI | m2://inv/9A98FEKH6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Hartley transform, Discrete Hartley transform (definition). Also Wikidata Q1006531
History
- 2026-11-02: add by m2/dev
9A9EH4WEDW 9A9EH4WEDW
| URI | m2://inv/9A9EH4WEDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.20299#PSUS (statement). In P7T0W5D3W3/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Defect formula for a smooth exceptional curve 9A9H63VKRQ
| URI | m2://inv/9A9H63VKRQ |
|---|---|
| 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.21093#0QX2, Defect formula for a smooth exceptional curve (statement). In TBFPBPQV3G/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.2
Applications 9A9HAQ0680
| URI | m2://inv/9A9HAQ0680 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (functional programming)#HCDW, Applications (example)
History
- 2026-11-02: add by m2/dev
Definitions 9A9JPN4NJW
| URI | m2://inv/9A9JPN4NJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cocountable topology#K56R, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Properties 9A9JSP6ATC
| URI | m2://inv/9A9JSP6ATC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiomatic system#3UAU, Properties (statement)
History
- 2026-11-02: add by m2/dev
computation rule, propositional 9A9VRT6K45
| URI | m2://inv/9A9VRT6K45 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.5/computation-rule-propositional, computation rule, propositional (concept). In N54F33XE07, index, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Longest path problem 9A9VTHX6BT
| URI | m2://inv/9A9VTHX6BT |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#2BDK, Longest path problem (problem)
History
- 2026-11-02: add by m2/dev
9AAH15SNTV 9AAH15SNTV
| URI | m2://inv/9AAH15SNTV |
|---|---|
| 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.17518#WA4T (statement). In YA4JEWTVS4/e1, corollary 3.6
History
- 2026-10-28: add by m2/v0.4.2
Roberto Marcolongo 9AB3MRGQ58
| URI | m2://inv/9AB3MRGQ58 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#56GM, Roberto Marcolongo (topic)
- wikipedia: Wikipedia List of Italian mathematicians#NBSM, Roberto Marcolongo (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IHJU, Roberto Marcolongo (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YG44, Roberto Marcolongo (topic)
History
- 2026-11-02: add by m2/dev
Example 9AB9ECD3TB
| URI | m2://inv/9AB9ECD3TB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation ring#GA9R, Example (example)
History
- 2026-11-02: add by m2/dev
9ABGPVHZVX 9ABGPVHZVX
| URI | m2://inv/9ABGPVHZVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.27458#6TQH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Simultaneous norm-character coefficients 9ABJQ0T2CY
| URI | m2://inv/9ABJQ0T2CY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#5ID0, Simultaneous norm-character coefficients (statement). In 7NS75J7HAM/e1, lemma 9.14
History
- 2026-10-31: add by m2/v0.5.6
9ABKEZTMJJ 9ABKEZTMJJ
| URI | m2://inv/9ABKEZTMJJ |
|---|---|
| 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.11535#RZVP (statement). In 7TY4S2YSVN/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
Thresholded anytime RDC (TA-RDC 9ABNDF3B6K
| URI | m2://inv/9ABNDF3B6K |
|---|---|
| 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 2609.31607#PVND, Thresholded anytime RDC (TA-RDC (definition). In H9X9WZ17TT/e1, definition 18
History
- 2026-10-31: add by m2/v0.5.6
Properties 9ABPEAHQ2M
| URI | m2://inv/9ABPEAHQ2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Totient summatory function#ABB7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Von Mises yield criterion 9ABQBPAX3M
| URI | m2://inv/9ABQBPAX3M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Mises yield criterion, Von Mises yield criterion (statement). Also Wikidata Q1319519
History
- 2026-11-02: add by m2/dev
9AC2NSW46X 9AC2NSW46X
| URI | m2://inv/9AC2NSW46X |
|---|---|
| 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.15593#DA8C (statement). In PREJREM4BB/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.2
Definition 9AC5PW0V4V
| URI | m2://inv/9AC5PW0V4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheffer stroke#ZCL9, Definition (definition)
History
- 2026-11-02: add by m2/dev
A second-moment deletion bound 9AC6GQVV3P
| URI | m2://inv/9AC6GQVV3P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23922#52ZT, A second-moment deletion bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
9ACD4PXM82 9ACD4PXM82
| URI | m2://inv/9ACD4PXM82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.10329#FOA8 (statement). In SCSTR1Q1BW/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
$\PrPf(\Xcal)$ is a sample-smooth space 9ACESWMHQ6
| URI | m2://inv/9ACESWMHQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26270#YK7K, $\PrPf(\Xcal)$ is a sample-smooth space (statement)
History
- 2026-11-01: add by m2/v0.6.15
9ACGGTJKH6 9ACGGTJKH6
| URI | m2://inv/9ACGGTJKH6 |
|---|---|
| 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 2406.07116#U7Q6 (statement). In 5B030CB2RK/e1, proposition 8.2
History
- 2026-10-27: add by m2/v0.3.6
9ACQ0RPJX3 9ACQ0RPJX3
| URI | m2://inv/9ACQ0RPJX3 |
|---|---|
| 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.01240#VATA (statement). In XD5HCP8DHF/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Hindman's finite sums theorem 9ACQHCRA43
| URI | m2://inv/9ACQHCRA43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2609.37159#K6ZX, Hindman's finite sums theorem (statement). In SBANZ2ZJDD/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Percolation with finite overlap susceptibility 9ACSJPXQCE
| URI | m2://inv/9ACSJPXQCE |
|---|---|
| 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#WKE3, Percolation with finite overlap susceptibility (statement)
History
- 2026-11-02: add by m2/v0.6.17
9ACWRS0FV0 9ACWRS0FV0
| URI | m2://inv/9ACWRS0FV0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.19416#CQJ8 (definition). In TJVWQ0ZSGY/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
product of finitely many measures 9AD0DRM3ZD
| URI | m2://inv/9AD0DRM3ZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > product of finitely many measures, product of finitely many measures (unknown). Also Mathlib MeasureTheory.Measure.pi
History
- 2026-10-26: add by m2/dev
9ADASBK01S 9ADASBK01S
| URI | m2://inv/9ADASBK01S |
|---|---|
| Kind | definition |
| 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.05696#8UVI (definition). In MG81A9XJTQ/e1, definition II.2
History
- 2026-10-29: add by m2/v0.4.10
Mary Cordia Karl 9ADM450X44
| URI | m2://inv/9ADM450X44 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Cordia Karl, Mary Cordia Karl (topic). Also Wikidata Q28856406
History
- 2026-11-02: add by m2/dev
Antecedent variable 9ADPPJ4DJV
| URI | m2://inv/9ADPPJ4DJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antecedent variable, Antecedent variable (definition). Also Wikidata Q4771118
History
- 2026-11-02: add by m2/dev
9ADV7RYF1V 9ADV7RYF1V
| URI | m2://inv/9ADV7RYF1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#BF9Z (statement). In NGZ5AZ70NN/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
Method 9ADY5MJXYF
| URI | m2://inv/9ADY5MJXYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotational cryptanalysis#1NDC, Method (definition)
History
- 2026-11-02: add by m2/dev
9ADZD9YMQ8 9ADZD9YMQ8
| URI | m2://inv/9ADZD9YMQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03497#7N48 (statement). In RRNHC0CAC9/e1, lemma
History
- 2026-10-29: add by m2/v0.4.12
9AE0WDKETR 9AE0WDKETR
| URI | m2://inv/9AE0WDKETR |
|---|---|
| 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 1707.06795#HCTD (statement). In 32MMSEVHYN/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
9AE1B2PDCX 9AE1B2PDCX
| URI | m2://inv/9AE1B2PDCX |
|---|---|
| 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 2204.13401#3UMN (definition). In B8MJT0GGW8/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.4.0
Application 9AE2G1FD1Q
| URI | m2://inv/9AE2G1FD1Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whipple's index#D5ON, Application (example)
History
- 2026-11-02: add by m2/dev
9AE3JCWXT9 9AE3JCWXT9
| URI | m2://inv/9AE3JCWXT9 |
|---|---|
| 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 2404.06445#8GNW (statement). In 12JKZ8EN52/e1, lemma 7.10
History
- 2026-10-27: add by m2/v0.3.5
George H. Bryan 9AE9AVG46Z
| URI | m2://inv/9AE9AVG46Z |
|---|---|
| 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#9XMI, George H. Bryan (unknown)
History
- 2026-11-02: add by m2/dev
Overwhelming exception 9AEFMMX6HR
| URI | m2://inv/9AEFMMX6HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#X26B, Overwhelming exception (definition)
History
- 2026-11-02: add by m2/dev
9AEFRS6CKG 9AEFRS6CKG
| URI | m2://inv/9AEFRS6CKG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-4 (example). In E9HS8K3A52, example, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
9AEJXRPW3M 9AEJXRPW3M
| URI | m2://inv/9AEJXRPW3M |
|---|---|
| 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.07092#EIOT (statement). In JWNYJVH8XG/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
9AEP6R09TG 9AEP6R09TG
| URI | m2://inv/9AEP6R09TG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/tableaux/soundness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 34.6
History
- 2026-11-01: add by m2/v0.6.13
9AESWF7FJ5 9AESWF7FJ5
| URI | m2://inv/9AESWF7FJ5 |
|---|---|
| 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 2109.09268#WC8K (statement). In SYZFEVFHC3/e1, lemma 2.17
History
- 2026-10-27: add by m2/v0.3.5
Rank n termination 9AEYFGA9AB
| URI | m2://inv/9AEYFGA9AB |
|---|---|
| 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.32936#0OES, Rank n termination (statement). In QDBYK125AB/e1, proposition 3
History
- 2026-10-31: add by m2/v0.5.6
rectangular cuboid 9AEZCSCHGE
| URI | m2://inv/9AEZCSCHGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q262959, rectangular cuboid (unknown). Also MathWorld Cuboid
- wikipedia: Wikipedia Rectangular cuboid, Rectangular cuboid (definition). Also Wikidata Q262959
History
- 2026-10-26: add by m2/dev
9AF2XETCXZ 9AF2XETCXZ
| URI | m2://inv/9AF2XETCXZ |
|---|---|
| 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.11997#PCE8 (statement). In REVYK9ZEP2/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.3
Weak Syntactical Embedding from $ \bf FDE^{\bf S5}_{\Box\D}$ to $ \bf S5$ 9AF7VKDFK5
| URI | m2://inv/9AF7VKDFK5 |
|---|---|
| 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.08323#OH3S, Weak Syntactical Embedding from $ \bf FDE^{\bf S5}_{\Box\D}$ to $ \bf S5$ (statement). In FR51ART4NF/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Robert Mitsuhiro Takasugi 9AFKPD7522
| URI | m2://inv/9AFKPD7522 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#8FEJ, Robert Mitsuhiro Takasugi (unknown)
History
- 2026-11-02: add by m2/dev
Vijay Kumar Patodi 9AFNT30B2A
| URI | m2://inv/9AFNT30B2A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#I2JV, Vijay Kumar Patodi (topic)
History
- 2026-11-02: add by m2/dev
9AFS0C4JYA 9AFS0C4JYA
| URI | m2://inv/9AFS0C4JYA |
|---|---|
| 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.30237#YG5O (statement). In AC2VX701GX/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Automatic Lie-admissibility in dimension three 9AG29PXA1J
| URI | m2://inv/9AG29PXA1J |
|---|---|
| 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.12483#GY78, Automatic Lie-admissibility in dimension three (statement). In 159250CY6S/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
9AG4179NFH 9AG4179NFH
| URI | m2://inv/9AG4179NFH |
|---|---|
| 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 2205.09049#B0AJ (statement). In 37S7MNMZ2F/e1, corollary 30
History
- 2026-10-27: add by m2/v0.3.5
9AG5EKWD41 9AG5EKWD41
| URI | m2://inv/9AG5EKWD41 |
|---|---|
| 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.14985#4YMO (statement). In DGXJW3SCBR/e1, corollary 31
History
- 2026-10-28: add by m2/v0.4.2
small actions 9AG86CM0MH
| URI | m2://inv/9AG86CM0MH |
|---|---|
| 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.09561#M0DP, small actions (statement). In WDV5E2CVTR/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
9AG9V36Z4D 9AG9V36Z4D
| URI | m2://inv/9AG9V36Z4D |
|---|---|
| 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 2103.12669#9OCQ (statement). In ZA6XNBA90V/e1, theorem 0.6
History
- 2026-10-27: add by m2/v0.3.5
Example 9AGMC60VXV
| URI | m2://inv/9AGMC60VXV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolation attack#19OQ, Example (example)
History
- 2026-11-02: add by m2/dev
Log-normal distribution 9AGNVDFCKS
| URI | m2://inv/9AGNVDFCKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#XIBZ, Log-normal distribution (definition)
History
- 2026-11-02: add by m2/dev
Symmetry 9AGZTHX68D
| URI | m2://inv/9AGZTHX68D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-4 apeirogonal tiling#79M9, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Monotonicity 9AH2VEKM9D
| URI | m2://inv/9AH2VEKM9D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatou's lemma#QTX7, Monotonicity (statement)
History
- 2026-11-02: add by m2/dev
Using the principle of least action from the Euler-Lagrange equation 9AH5JM6M8K
| URI | m2://inv/9AH5JM6M8K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christoffel symbols#HJGW, Using the principle of least action from the Euler-Lagrange equation (statement)
History
- 2026-11-02: add by m2/dev
9AH8N8JN36 9AH8N8JN36
| URI | m2://inv/9AH8N8JN36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#1LVE (statement)
History
- 2026-11-01: add by m2/v0.6.15
9AHEXGP3MF 9AHEXGP3MF
| URI | m2://inv/9AHEXGP3MF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-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 2211.01586#UXKI (statement). In P39MF3ZJC0/e1, proposition A.3
History
- 2026-10-27: add by m2/v0.3.5
9AHJY56GWR 9AHJY56GWR
| URI | m2://inv/9AHJY56GWR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-27 (proof). In E59CDZA4DP, proof, section 11.5.1
History
- 2026-11-01: add by m2/v0.6.13
9AHJZD84WP 9AHJZD84WP
| URI | m2://inv/9AHJZD84WP |
|---|---|
| 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 2511.07697#N6LZ (statement). In 57P5P33HS3/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
9AHR9ZKV6A 9AHR9ZKV6A
| URI | m2://inv/9AHR9ZKV6A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.05684#BK0X (definition). In 1PR73ECTZB/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
Schauder estimate 9AJ073W5Q1
| URI | m2://inv/9AJ073W5Q1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#73VJ, Schauder estimate (statement). In RYWAX33Z51/e1, proposition E.1
History
- 2026-10-31: add by m2/v0.5.6
Higuchi dimension 9AJ6QRH4FD
| URI | m2://inv/9AJ6QRH4FD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higuchi dimension, Higuchi dimension (definition). Also Wikidata Q105081315
History
- 2026-11-02: add by m2/dev
A series of adjunctions. 9AJ7XPDMQA
| URI | m2://inv/9AJ7XPDMQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint functors#SI19, A series of adjunctions. (definition)
History
- 2026-11-02: add by m2/dev
Optimal pointwise correction 9AJ8WEQ0HY
| URI | m2://inv/9AJ8WEQ0HY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21256#6AU6, Optimal pointwise correction (statement)
History
- 2026-11-02: add by m2/v0.6.18
Contact bound 9AJEPW592H
| URI | m2://inv/9AJEPW592H |
|---|---|
| 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.33327#XSGV, Contact bound (statement). In A5R31P82BK/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
Multiplicity-free support $=d_Z\ge3$ 9AJFW4ZVW0
| URI | m2://inv/9AJFW4ZVW0 |
|---|---|
| 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.09341#14TK, Multiplicity-free support $=d_Z\ge3$ (statement). In DSXBMRYE0V/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
9AJGRAR8QC 9AJGRAR8QC
| URI | m2://inv/9AJGRAR8QC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11383#KVJ2 (statement). In DJBZ3V8SQ6/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.3
Fundamental Theorem of Algebra 9AJKHXZN96
| URI | m2://inv/9AJKHXZN96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 2, Fundamental Theorem of Algebra (statement). Also Mathlib Complex.exists_root
- mathlib_overview: mathlib_overview General algebra > Field theory > $\C$ is algebraically closed, $\C$ is algebraically closed (unknown). Also Mathlib Complex.exists_root
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > $\C$ is algebraically closed, $\C$ is algebraically closed (unknown). Also Mathlib Complex.exists_root
History
- 2026-10-26: add by m2/dev
Examples 9AJPW7V074
| URI | m2://inv/9AJPW7V074 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unknot#VUX7, Examples (example)
History
- 2026-11-02: add by m2/dev
9AJVN1Z14G 9AJVN1Z14G
| URI | m2://inv/9AJVN1Z14G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.05276#1HUH (definition). In 4C5XHYTRT2/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
Fixed points of isometry groups in Euclidean space 9AK4XHRJ0A
| URI | m2://inv/9AK4XHRJ0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed points of isometry groups in Euclidean space, Fixed points of isometry groups in Euclidean space (definition). Also Wikidata Q3822352
History
- 2026-11-02: add by m2/dev
9AK56K0B9W 9AK56K0B9W
| URI | m2://inv/9AK56K0B9W |
|---|---|
| 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 2411.00060#U0MD (statement). In REPP96MPBH/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
9AK6J4W50G 9AK6J4W50G
| URI | m2://inv/9AK6J4W50G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 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 2606.21391#D0Y5 (definition). In J9C7YMKJ33/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
9AK8TBD5VZ 9AK8TBD5VZ
| URI | m2://inv/9AK8TBD5VZ |
|---|---|
| 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.20028#VQL7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
An explicit warped product-type example 9AKCH8XQTZ
| URI | m2://inv/9AKCH8XQTZ |
|---|---|
| Kind | example |
| 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 2610.11911#1SGG, An explicit warped product-type example (example). In 5BYE5NYB89/e1, example 2.6
History
- 2026-10-28: add by m2/v0.4.3
Definition 9AKHGTJR3E
| URI | m2://inv/9AKHGTJR3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate equation#6LH3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications 9AKNMKZYDN
| URI | m2://inv/9AKNMKZYDN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power of three#DN4F, Applications (example)
History
- 2026-11-02: add by m2/dev
9AKV07Y4YX 9AKV07Y4YX
| URI | m2://inv/9AKV07Y4YX |
|---|---|
| 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.37706#DG2A (statement). In 6YY27KRJFN/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
\bf Fresh mass after adaptive preprocessing 9AM51EQFPV
| URI | m2://inv/9AM51EQFPV |
|---|---|
| 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#NL59, \bf Fresh mass after adaptive preprocessing (statement). In TT9BA4VMTW/e1, lemma E.5
History
- 2026-10-29: add by m2/v0.4.12
Formal definition 9AM7SY7JPP
| URI | m2://inv/9AM7SY7JPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flow (mathematics)#BHEL, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
List of Italian mathematicians 9AM9VYF2QE
| URI | m2://inv/9AM9VYF2QE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians, List of Italian mathematicians (topic). Also Wikidata Q2150922
History
- 2026-11-02: add by m2/dev
9AMBQ80TE3 9AMBQ80TE3
| URI | m2://inv/9AMBQ80TE3 |
|---|---|
| Kind | example |
| 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 2604.11825#2Q27 (example). In 6H76S52BG7/e1, example 2
History
- 2026-10-27: add by m2/v0.4.0
9AMCBJHP38 9AMCBJHP38
| URI | m2://inv/9AMCBJHP38 |
|---|---|
| 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.26357#AEM2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Degtyarev 9AMQ3AQVRS
| URI | m2://inv/9AMQ3AQVRS |
|---|---|
| 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.16408#YE8R, Degtyarev (statement). In VGQ2QT73ZF/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Matthew Foreman 9AMT1YF7C4
| URI | m2://inv/9AMT1YF7C4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IZZE, Matthew Foreman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H3ZF, Matthew Foreman (topic)
History
- 2026-11-02: add by m2/dev
Activity morphism 9AMTECAPJA
| URI | m2://inv/9AMTECAPJA |
|---|---|
| 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 2609.20478#YYNY, Activity morphism (definition)
History
- 2026-11-02: add by m2/v0.6.18
Properties 9ANG1XF7NT
| URI | m2://inv/9ANG1XF7NT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh–Ritz method#RWX3, Properties (statement)
History
- 2026-11-02: add by m2/dev
$SO_2$ Index 9ANH6B3X9W
| URI | m2://inv/9ANH6B3X9W |
|---|---|
| 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.20364#GN6Z, $SO_2$ Index (statement). In 433NXYKPG3/e1, corollary 3
History
- 2026-10-27: add by m2/v0.4.2
Generalization bound for the Sinkhorn divergence coreset 9ANK4J5DVY
| URI | m2://inv/9ANK4J5DVY |
|---|---|
| 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.01199#XTZ6, Generalization bound for the Sinkhorn divergence coreset (statement). In XZ4MRWR77Q/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Examples 9ANM4SZ4G0
| URI | m2://inv/9ANM4SZ4G0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conoid#ZBLH, Examples (example)
History
- 2026-11-02: add by m2/dev
9AP2XVJZD1 9AP2XVJZD1
| URI | m2://inv/9AP2XVJZD1 |
|---|---|
| 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#3PJZ (definition). In M0SQY5EZN5/e1, definition 4.7.7
History
- 2026-10-27: add by m2/v0.3.5
9AP55PQBKH 9AP55PQBKH
| URI | m2://inv/9AP55PQBKH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.16205#SBY2 (definition). In 3GE9PS9AH0/e1, definition 2.0.4
History
- 2026-10-27: add by m2/v0.3.5
9APE8KFZYC 9APE8KFZYC
| URI | m2://inv/9APE8KFZYC |
|---|---|
| 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#L9IU (statement). In 5VWB4A47R5/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Bicoherence 9APFCM3FWE
| URI | m2://inv/9APFCM3FWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicoherence, Bicoherence (definition). Also Wikidata Q4903705
History
- 2026-11-02: add by m2/dev
9APNM98ECT 9APNM98ECT
| URI | m2://inv/9APNM98ECT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02174#A09Y (definition). In 7JPHSV4NXW/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
9APP5FS4EN 9APP5FS4EN
| URI | m2://inv/9APP5FS4EN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32651#X7ZM (statement). In WFJXSE3VDT/e1, theorem 4.5
History
- 2026-10-31: add by m2/v0.5.6
A Topological Picturebook 9APYCR32F3
| URI | m2://inv/9APYCR32F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Topological Picturebook, A Topological Picturebook (definition). Also Wikidata Q97610225
History
- 2026-11-02: add by m2/dev
Molecular dynamics 9APZGDHC7D
| URI | m2://inv/9APZGDHC7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Molecular dynamics, Molecular dynamics (definition). Also Wikidata Q901663
History
- 2026-11-02: add by m2/dev
bramble 9AQ0Q47QV6
| URI | m2://inv/9AQ0Q47QV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#H7FK, bramble (definition)
History
- 2026-11-02: add by m2/dev
Zero, Montana 9AQ2JEHY4Q
| URI | m2://inv/9AQ2JEHY4Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#19B8, Zero, Montana (unknown)
History
- 2026-11-02: add by m2/dev
Addition Theorems 9AQ4K6KWAD
| URI | m2://inv/9AQ4K6KWAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel elliptic functions#WIKR, Addition Theorems (statement)
History
- 2026-11-02: add by m2/dev
9AQ78JK4E5 9AQ78JK4E5
| URI | m2://inv/9AQ78JK4E5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21725#76V1 (statement). In BQDZN6GRGF/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
Definition and properties 9AQEC9VREV
| URI | m2://inv/9AQEC9VREV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary logarithm#3JAP, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Jacob Palis 9AQGV9QWKK
| URI | m2://inv/9AQGV9QWKK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacob Palis, Jacob Palis (topic). Also Wikidata Q966663
History
- 2026-11-02: add by m2/dev
9AQJ7J9E2Z 9AQJ7J9E2Z
| URI | m2://inv/9AQJ7J9E2Z |
|---|---|
| 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 2610.08776#DSZZ (statement). In ZQ4M778EA7/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
topology, pointfree 9AQS34ZZA0
| URI | m2://inv/9AQS34ZZA0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/topology-pointfree, topology, pointfree (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Eileen King 9AR6Q71BWH
| URI | m2://inv/9AR6Q71BWH |
|---|---|
| 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#0W7U, Eileen King (unknown)
History
- 2026-11-02: add by m2/dev
Justin Frye 9AR6ZR6A8G
| URI | m2://inv/9AR6ZR6A8G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#TJAS, Justin Frye (unknown)
History
- 2026-11-02: add by m2/dev
multiset 9AR7YFAFGW
| URI | m2://inv/9AR7YFAFGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#SJ1R, multiset (definition)
History
- 2026-11-02: add by m2/dev
9ARNNEKRPS 9ARNNEKRPS
| URI | m2://inv/9ARNNEKRPS |
|---|---|
| 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.21800#IH9E (statement). In CMAEC39BKK/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.4.2
Marot ring 9ARW0F289A
| URI | m2://inv/9ARW0F289A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marot ring, Marot ring (definition). Also Wikidata Q6772390
History
- 2026-11-02: add by m2/dev
9AS1FC0MN7 9AS1FC0MN7
| URI | m2://inv/9AS1FC0MN7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03856#D2EE (definition). In HTBRYNPHSJ/e1, definition 3.6
History
- 2026-10-29: add by m2/v0.4.12
Hitori 9AS1P5BB6H
| URI | m2://inv/9AS1P5BB6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hitori, Hitori (definition). Also Wikidata Q971467
History
- 2026-11-02: add by m2/dev
Cospan-algebra signature 9AS7Q4XNMY
| URI | m2://inv/9AS7Q4XNMY |
|---|---|
| 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 2609.20478#WSPN, Cospan-algebra signature (definition)
History
- 2026-11-02: add by m2/v0.6.18
special linear Lie algebra 9ATM302BSK
| URI | m2://inv/9ATM302BSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7574831, special linear Lie algebra (unknown). Also MathWorld SpecialLinearLieAlgebra, nLab special linear Lie algebra
- wikipedia: Wikipedia Special linear Lie algebra, Special linear Lie algebra (definition). Also Wikidata Q7574831
History
- 2026-10-26: add by m2/dev
9ATZ8Y4WRD 9ATZ8Y4WRD
| URI | m2://inv/9ATZ8Y4WRD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.20542#JVMW (statement). In 8PZXZ8Y9FK/e1, proposition 2.8
History
- 2026-10-27: add by m2/v0.4.2
hafnian 9ATZZEC4K0
| URI | m2://inv/9ATZZEC4K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25101392, hafnian (unknown). Also nLab hafnian
- wikipedia: Wikipedia Hafnian, Hafnian (definition). Also Wikidata Q25101392
History
- 2026-10-26: add by m2/dev
Complex projective space 9AVFHRA88Q
| URI | m2://inv/9AVFHRA88Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#JL0D, Complex projective space (definition)
History
- 2026-11-02: add by m2/dev
9AVFS83QSK 9AVFS83QSK
| URI | m2://inv/9AVFS83QSK |
|---|---|
| Kind | example |
| 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.28403#G31H (example)
History
- 2026-11-01: add by m2/v0.6.15
Formal statement of the theorem 9AVGJ82FJR
| URI | m2://inv/9AVGJ82FJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greibach's theorem#TNCI, Formal statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Spatial descriptive statistics 9AVT1R05VX
| URI | m2://inv/9AVT1R05VX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7LT1, Spatial descriptive statistics (definition)
History
- 2026-11-02: add by m2/dev
9AVX3C0AVX 9AVX3C0AVX
| URI | m2://inv/9AVX3C0AVX |
|---|---|
| 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.38659#YJHX (statement). In DCJ23ZYXGK/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
9AVY4Z0JHK 9AVY4Z0JHK
| URI | m2://inv/9AVY4Z0JHK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-31 (proof). In N54F33XE07, proof, section B.5
History
- 2026-11-01: add by m2/v0.6.13
binodal 9AVYPETXBC
| URI | m2://inv/9AVYPETXBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#J3GO, binodal (definition)
History
- 2026-11-02: add by m2/dev
Maria Kokoszyńska-Lutmanowa 9AVZXMQJ3R
| URI | m2://inv/9AVZXMQJ3R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Kokoszyńska-Lutmanowa, Maria Kokoszyńska-Lutmanowa (topic). Also Wikidata Q59100249
History
- 2026-11-02: add by m2/dev
Final Value Theorem using Laplace transform of the derivative 9AWCK7XF23
| URI | m2://inv/9AWCK7XF23 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final value theorem#D9CU, Final Value Theorem using Laplace transform of the derivative (statement)
History
- 2026-11-02: add by m2/dev
Integrality; cf.\ Merris for general cographs 9AWGE7MG6K
| URI | m2://inv/9AWGE7MG6K |
|---|---|
| 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.08599#STD1, Integrality; cf.\ Merris for general cographs (statement). In DST9FWMHT6/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
Sheaf on a site 9AWH5RCM36
| URI | m2://inv/9AWH5RCM36 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck topology#8VEA, Sheaf on a site (unknown)
History
- 2026-11-02: add by m2/dev
Generalization 9AWHS2DJPC
| URI | m2://inv/9AWHS2DJPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sturm's theorem#61JF, Generalization (statement)
History
- 2026-11-02: add by m2/dev
9AWRW055XG 9AWRW055XG
| URI | m2://inv/9AWRW055XG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24584#ENIF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Primary integrality in every loop order 9AX3Z35KXC
| URI | m2://inv/9AX3Z35KXC |
|---|---|
| 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#APT1, Primary integrality in every loop order (statement). In 8PTDFHV8SQ/e1, corollary 14.10
History
- 2026-10-28: add by m2/v0.4.3
Expected value of sample information 9AX4REN792
| URI | m2://inv/9AX4REN792 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CVWL, Expected value of sample information (definition)
History
- 2026-11-02: add by m2/dev
9AX5X2YM2J 9AX5X2YM2J
| URI | m2://inv/9AX5X2YM2J |
|---|---|
| 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.03368#Z5UW (statement). In 1X4EY4YCQJ/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.12
9AXBWMBFFE 9AXBWMBFFE
| URI | m2://inv/9AXBWMBFFE |
|---|---|
| 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.20422#RWVP (statement). In HCH89W5Y2C/e1, fact
History
- 2026-10-27: add by m2/v0.4.2
Implementations 9AXN80A8BJ
| URI | m2://inv/9AXN80A8BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jarque–Bera test#32PA, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Athanasius Kircher 9AXZ4JRFEM
| URI | m2://inv/9AXZ4JRFEM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Athanasius Kircher, Athanasius Kircher (topic). Also Wikidata Q76738
History
- 2026-11-02: add by m2/dev
9AY0AGXBA9 9AY0AGXBA9
| URI | m2://inv/9AY0AGXBA9 |
|---|---|
| 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#EINO (statement). In RBQ5FNCVNZ/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Examples 9AY0MT7KX8
| URI | m2://inv/9AY0MT7KX8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic signal processing#5LI0, Examples (example)
History
- 2026-11-02: add by m2/dev
Synchronous $\Omega$-regularized $Q$-iteration 9AYGQ0NRZ6
| URI | m2://inv/9AYGQ0NRZ6 |
|---|---|
| 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.14988#JKZ0, Synchronous $\Omega$-regularized $Q$-iteration (statement). In B29M4E6KGC/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Finite telescoping 9AYGV7Z2EW
| URI | m2://inv/9AYGV7Z2EW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#VSRH, Finite telescoping (statement). In 1KRZ5ACTKE/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Ring learning with errors 9AYQMYWCCC
| URI | m2://inv/9AYQMYWCCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring learning with errors, Ring learning with errors (definition). Also Wikidata Q25303820
History
- 2026-11-02: add by m2/dev
9AYSEQ54TR 9AYSEQ54TR
| URI | m2://inv/9AYSEQ54TR |
|---|---|
| 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 2605.17536#FDUD (statement). In TG15VZ0P8R/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
A regularly varying exponential mixture 9AYV06532N
| URI | m2://inv/9AYV06532N |
|---|---|
| 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.27335#OPCF, A regularly varying exponential mixture (statement)
History
- 2026-11-01: add by m2/v0.6.15
N-2 9AYW4AQ4EA
| URI | m2://inv/9AYW4AQ4EA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#YZ4G, N-2 (definition)
History
- 2026-11-02: add by m2/dev
9AYYEMP4MZ 9AYYEMP4MZ
| URI | m2://inv/9AYYEMP4MZ |
|---|---|
| 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.28011#70M5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Notation 9AZ762BZ99
| URI | m2://inv/9AZ762BZ99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex quadratic polynomial#650N, Notation (definition)
History
- 2026-11-02: add by m2/dev
9AZE0Y0865 9AZE0Y0865
| URI | m2://inv/9AZE0Y0865 |
|---|---|
| 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.26769#5Y00 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9AZJ0XN720 9AZJ0XN720
| URI | m2://inv/9AZJ0XN720 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#proof-3 (proof). In RZP28ERRZV, proof, section 33.3.3
History
- 2026-11-01: add by m2/v0.6.13
CEK Machine 9AZNRFZH4R
| URI | m2://inv/9AZNRFZH4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CEK Machine, CEK Machine (definition). Also Wikidata Q104857237
History
- 2026-11-02: add by m2/dev
Stewart Nelson 9AZSAXR6BE
| URI | m2://inv/9AZSAXR6BE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stewart Nelson, Stewart Nelson (topic). Also Wikidata Q7615904
History
- 2026-11-02: add by m2/dev
Construction 9AZVJEZ8AW
| URI | m2://inv/9AZVJEZ8AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagram#DL8R, Construction (definition)
History
- 2026-11-02: add by m2/dev
Risk-limiting audit 9AZXDNJ7YG
| URI | m2://inv/9AZXDNJ7YG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk-limiting audit, Risk-limiting audit (definition). Also Wikidata Q7336278
History
- 2026-11-02: add by m2/dev
Applications 9AZZE1RRJV
| URI | m2://inv/9AZZE1RRJV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rademacher's theorem#T06Y, Applications (example)
History
- 2026-11-02: add by m2/dev