Inventory rows XR
The cards of the rows of the inventory whose ids start with XR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Fang Liu XR0211CDVC
| URI | m2://inv/XR0211CDVC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#X9OG, Fang Liu (topic)
History
- 2026-11-02: add by m2/dev
XR04ZM7Y0A XR04ZM7Y0A
| URI | m2://inv/XR04ZM7Y0A |
|---|---|
| Kind | example |
| 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#3MPA (example). In M0SQY5EZN5/e1, example 2.8.6
History
- 2026-10-27: add by m2/v0.3.5
Examples XR0BDXQRF6
| URI | m2://inv/XR0BDXQRF6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Codensity monad#Y39G, Examples (example)
History
- 2026-11-02: add by m2/dev
XR0BJ7DC9Y XR0BJ7DC9Y
| URI | m2://inv/XR0BJ7DC9Y |
|---|---|
| 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.33231#M53Y (statement). In WPDRT63QNW/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
XR0GAX2NXR XR0GAX2NXR
| URI | m2://inv/XR0GAX2NXR |
|---|---|
| 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.25717#T63Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Erd\H{o}s-R\'enyi ensemble $\GG_\ER(N,k,D)$ XR0KMN98KV
| URI | m2://inv/XR0KMN98KV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40345#07FI, Erd\H{o}s-R\'enyi ensemble $\GG_\ER(N,k,D)$ (definition). In WK0PT95WW1/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Weak Harnack inequality for $u^2$ XR0QEYZD9Y
| URI | m2://inv/XR0QEYZD9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.25801#R6P1, Weak Harnack inequality for $u^2$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
XR10NJ82JQ XR10NJ82JQ
| URI | m2://inv/XR10NJ82JQ |
|---|---|
| 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.11965#VZ6L (statement). In 48QX0QD0XR/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.3
XR10QE7RSN XR10QE7RSN
| URI | m2://inv/XR10QE7RSN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/soundness.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 19.2
History
- 2026-11-01: add by m2/v0.6.13
Kosambi–Karhunen–Loève theorem XR17TN54GB
| URI | m2://inv/XR17TN54GB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2046647, Karhunen–Loève theorem (statement). Also Wikidata Q2046647
- thousand_plus: thousand_plus Q2046647, Karhunen–Loève theorem (statement). Also Wikidata Q2046647, Wikipedia Karhunen–Loève theorem
- wikipedia: Wikipedia Kosambi–Karhunen–Loève theorem, Kosambi–Karhunen–Loève theorem (statement). Also Wikidata Q2046647
History
- 2026-10-26: add by m2/dev
XR1B0ZJ6XV XR1B0ZJ6XV
| URI | m2://inv/XR1B0ZJ6XV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_mult.ptx#proof-6 (proof). In QKM9DD2H56, proof, section B.8
History
- 2026-11-01: add by m2/v0.6.13
XR1B8058C6 XR1B8058C6
| URI | m2://inv/XR1B8058C6 |
|---|---|
| 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 2610.09949#ZM7N (definition). In VGJVFCDV8A/e1, definition 2.9
History
- 2026-10-29: add by m2/v0.4.10
Anti-psychologism XR1GDZCM1M
| URI | m2://inv/XR1GDZCM1M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anti-psychologism, Anti-psychologism (topic). Also Wikidata Q2853345
History
- 2026-11-02: add by m2/dev
Petter Jakob Bjerve XR1Q8NHQNA
| URI | m2://inv/XR1Q8NHQNA |
|---|---|
| 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#72S7, Petter Jakob Bjerve (unknown)
History
- 2026-11-02: add by m2/dev
XR24ZTSQ7M XR24ZTSQ7M
| URI | m2://inv/XR24ZTSQ7M |
|---|---|
| Kind | definition |
| 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#JOTH (definition)
History
- 2026-11-02: add by m2/v0.6.17
XR28YYFYG9 XR28YYFYG9
| URI | m2://inv/XR28YYFYG9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:pr-to-ind (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
XR2ASKR9E3 XR2ASKR9E3
| URI | m2://inv/XR2ASKR9E3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17026#8W8K (example). In 76G7J23DNZ/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
J curve (private equity) XR2FNNYSTF
| URI | m2://inv/XR2FNNYSTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J curve#AUIF, J curve (private equity) (unknown)
History
- 2026-11-02: add by m2/dev
XR2HAT6KPY XR2HAT6KPY
| URI | m2://inv/XR2HAT6KPY |
|---|---|
| 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#2HLZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
constant subdifferential XR2JAGNFPC
| URI | m2://inv/XR2JAGNFPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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 2409.03461#GBCP, constant subdifferential (statement). In XJVZSGCX5V/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Rigidity of the free improved Lichnerowicz inequality XR2NGGJ6DY
| URI | m2://inv/XR2NGGJ6DY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#253U, Rigidity of the free improved Lichnerowicz inequality (statement). In MZ60NP20BH/e1, theorem 5.10
History
- 2026-10-27: add by m2/v0.4.0
XR2QM9ZH3A XR2QM9ZH3A
| URI | m2://inv/XR2QM9ZH3A |
|---|---|
| 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.20556#GOWS (statement)
History
- 2026-11-02: add by m2/v0.6.18
XR2SJ6C532 XR2SJ6C532
| URI | m2://inv/XR2SJ6C532 |
|---|---|
| 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.07285#OHF0 (statement). In S284XRA4WK/e1, proposition E.2
History
- 2026-10-29: add by m2/v0.4.10
torus XR2ZSW2863
| URI | m2://inv/XR2ZSW2863 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.13/torus, torus (concept). In N54F33XE07, index, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
Gibbs Quotient Taylor Majorants XR3DZAJA9G
| URI | m2://inv/XR3DZAJA9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.12239#757V, Gibbs Quotient Taylor Majorants (statement). In CW9MNA6K58/e1, lemma 9.15
History
- 2026-10-28: add by m2/v0.4.2
Equivalent reformulation XR3EWN562Q
| URI | m2://inv/XR3EWN562Q |
|---|---|
| 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.11917#1C3N, Equivalent reformulation (statement). In 7BB6PY94G9/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
XR3H4E4K8N XR3H4E4K8N
| URI | m2://inv/XR3H4E4K8N |
|---|---|
| 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.14450#RU6D (statement). In ZHTGQT07PE/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
XR3MES79BH XR3MES79BH
| URI | m2://inv/XR3MES79BH |
|---|---|
| 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 1311.6044#HT6J (statement). In W4FFB6SVZD/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
XR3YHJWRD9 XR3YHJWRD9
| URI | m2://inv/XR3YHJWRD9 |
|---|---|
| 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 2610.18219#YHYH (statement). In X1AGBB90EH/e1, proposition 5.21
History
- 2026-10-28: add by m2/v0.4.2
Cut admissibility XR3YZY9Y6G
| URI | m2://inv/XR3YZY9Y6G |
|---|---|
| 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#07OM, Cut admissibility (statement). In FR51ART4NF/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.10
XR465TQQ4D XR465TQQ4D
| URI | m2://inv/XR465TQQ4D |
|---|---|
| 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.36827#PDZQ (statement). In VSHAQTB2CA/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Generalizations XR48DEHSV2
| URI | m2://inv/XR48DEHSV2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ceva's theorem#A4S1, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Theorem XR48ZP6T4T
| URI | m2://inv/XR48ZP6T4T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral equation#9CK3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Horizon chart XR4B6XGME0
| URI | m2://inv/XR4B6XGME0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horizon chart, Horizon chart (definition). Also Wikidata Q120436083
History
- 2026-11-02: add by m2/dev
Magnetic buoyancy XR4D2SW1HY
| URI | m2://inv/XR4D2SW1HY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic buoyancy, Magnetic buoyancy (definition). Also Wikidata Q117468458
History
- 2026-11-02: add by m2/dev
Halayudha XR4F28X8F9
| URI | m2://inv/XR4F28X8F9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#5YVZ, Halayudha (unknown)
History
- 2026-11-02: add by m2/dev
Kahn–Kalai–Linial theorem XR4H8CTMK8
| URI | m2://inv/XR4H8CTMK8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of Boolean functions#N0AT, Kahn–Kalai–Linial theorem (statement)
History
- 2026-11-02: add by m2/dev
Binet representation XR4JWVQE10
| URI | m2://inv/XR4JWVQE10 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#RLEL, Binet representation (statement). In 7GMD8J4200/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
Helena Rasiowa XR540DG7FC
| URI | m2://inv/XR540DG7FC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#02HT, Helena Rasiowa (topic)
- wikipedia: Wikipedia List of women logicians#YVXH, Helena Rasiowa (topic)
History
- 2026-11-02: add by m2/dev
Alfred Tajtelbaum XR5CCX5TW5
| URI | m2://inv/XR5CCX5TW5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Tarski#MZZB, Alfred Tajtelbaum (unknown)
History
- 2026-11-02: add by m2/dev
Weyl's inequality in matrix theory XR5PTRVBPH
| URI | m2://inv/XR5PTRVBPH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#VGH1, Weyl's inequality in matrix theory (statement)
History
- 2026-11-02: add by m2/dev
XR5SYQ0XGR XR5SYQ0XGR
| URI | m2://inv/XR5SYQ0XGR |
|---|---|
| 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.04809#6ZZ8 (statement). In 2VHV0RNTNV/e1, proposition 2.11
History
- 2026-10-29: add by m2/v0.4.12
XR5VADDV58 XR5VADDV58
| URI | m2://inv/XR5VADDV58 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24154#S8D3 (example)
History
- 2026-11-02: add by m2/v0.6.17
Definition XR5VS0BW7N
| URI | m2://inv/XR5VS0BW7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blackwell's informativeness theorem#K6OL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Decimal computation XR611Y9Q87
| URI | m2://inv/XR611Y9Q87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decimal#JWH7, Decimal computation (definition)
History
- 2026-11-02: add by m2/dev
XR62CFTSK3 XR62CFTSK3
| URI | m2://inv/XR62CFTSK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#62UR (statement). In 5KR3MHYVV6/e1, theorem 3.15
History
- 2026-10-28: add by m2/v0.4.2
Vitali covering theorem XR62J22E5W
| URI | m2://inv/XR62J22E5W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#A28O, Vitali covering theorem (statement)
History
- 2026-11-02: add by m2/dev
Shinichi Mochizuki XR67S0W5NY
| URI | m2://inv/XR67S0W5NY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#NG1J, Shinichi Mochizuki (topic)
History
- 2026-11-02: add by m2/dev
Proposition 43; Problem 30 XR68NDRGV9
| URI | m2://inv/XR68NDRGV9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's theorem of revolving orbits#K4BM, Proposition 43; Problem 30 (statement)
History
- 2026-11-02: add by m2/dev
Inverse-Wishart distribution XR6G0CQWT5
| URI | m2://inv/XR6G0CQWT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#0FOX, Inverse-Wishart distribution (definition)
History
- 2026-11-02: add by m2/dev
XR6Q5X0WQR XR6Q5X0WQR
| URI | m2://inv/XR6Q5X0WQR |
|---|---|
| Kind | example |
| 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.01247#ICLF (example). In 6EVNCRZ118/e1, example 10
History
- 2026-10-29: add by m2/v0.4.12
XR6T8E7BP3 XR6T8E7BP3
| URI | m2://inv/XR6T8E7BP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#8P6N (statement). In 1A01NFHBGA/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.3
R\'enyi unlearning XR6XW8MR3W
| URI | m2://inv/XR6XW8MR3W |
|---|---|
| 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.10519#Q9ZC, R\'enyi unlearning (definition). In 83MMH8VF1X/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Dedekind–Peano axioms XR6XWRN9C7
| URI | m2://inv/XR6XWRN9C7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#MVJK, Dedekind–Peano axioms (statement)
History
- 2026-11-02: add by m2/dev
XR700J7T4X XR700J7T4X
| URI | m2://inv/XR700J7T4X |
|---|---|
| Kind | statement |
| 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 2311.00918#SZGD (statement). In 2SMJ5V7FZ7/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Borel–Carathéodory theorem XR71637ER2
| URI | m2://inv/XR71637ER2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#1978, Borel–Carathéodory theorem (statement)
History
- 2026-11-02: add by m2/dev
Kary Myers XR74JJCAPN
| URI | m2://inv/XR74JJCAPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kary Myers, Kary Myers (topic). Also Wikidata Q79914878
History
- 2026-11-02: add by m2/dev
XR75KE2YY6 XR75KE2YY6
| URI | m2://inv/XR75KE2YY6 |
|---|---|
| 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.23559#DNGK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Closed form of line 6 XR7H81HG0A
| URI | m2://inv/XR7H81HG0A |
|---|---|
| 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.13773#6JVM, Closed form of line 6 (statement). In E75XQY0QFM/e1, lemma F.1
History
- 2026-10-28: add by m2/v0.4.2
Orbispace XR7N8GZ3YB
| URI | m2://inv/XR7N8GZ3YB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbifold#X5ZP, Orbispace (unknown)
History
- 2026-11-02: add by m2/dev
Remark XR7XC8T67S
| URI | m2://inv/XR7XC8T67S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor's theorem#9YT1, Remark (unknown)
History
- 2026-11-02: add by m2/dev
XR7Z3XJW6G XR7Z3XJW6G
| URI | m2://inv/XR7Z3XJW6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.11902#68KT (statement). In K66QKM4N5E/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.3
XR82KTQ3CG XR82KTQ3CG
| URI | m2://inv/XR82KTQ3CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-1-7-lim-cont-diff.xml#definition-1 (definition). In 907G4C4EJ1, definition, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
List of things named after Ernst Witt XR85TN9J7W
| URI | m2://inv/XR85TN9J7W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ernst Witt, List of things named after Ernst Witt (topic). Also Wikidata Q16907419
History
- 2026-11-02: add by m2/dev
Nonstandard finite difference scheme XR8C5AH9N6
| URI | m2://inv/XR8C5AH9N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonstandard finite difference scheme, Nonstandard finite difference scheme (definition). Also Wikidata Q7049593
History
- 2026-11-02: add by m2/dev
XR8GFV7DGR XR8GFV7DGR
| URI | m2://inv/XR8GFV7DGR |
|---|---|
| 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.23694#3U1T (statement)
History
- 2026-11-02: add by m2/v0.6.17
Eigenelements of $P_2$ XR8HA39R51
| URI | m2://inv/XR8HA39R51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.24812#B8Z8, Eigenelements of $P_2$ (statement). In F4JB0RR5JV/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
regular star polygon XR8JBKA97Q
| URI | m2://inv/XR8JBKA97Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q836708, regular star polygon (unknown). Also MathWorld StarPolygon
- wikipedia: Wikipedia Star polygon, Star polygon (definition). Also Wikidata Q836708
History
- 2026-10-26: add by m2/dev
Nu function XR8KQX5X6B
| URI | m2://inv/XR8KQX5X6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15866814, Nu function (unknown). Also MathWorld NuFunction
- wikipedia: Wikipedia Nu function, Nu function (definition). Also Wikidata Q15866814
History
- 2026-10-26: add by m2/dev
Moshe Provençal XR8TB2634M
| URI | m2://inv/XR8TB2634M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ZKJL, Moshe Provençal (unknown)
History
- 2026-11-02: add by m2/dev
XR922XJGVC XR922XJGVC
| URI | m2://inv/XR922XJGVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-1-6-second-d.xml#definition-2 (definition). In 907G4C4EJ1, definition, section 1.6.4
History
- 2026-11-01: add by m2/v0.6.13
Rice's theorem XR92ADS1NS
| URI | m2://inv/XR92ADS1NS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#LUXH, Rice's theorem (statement)
- wikipedia: Wikipedia List of mathematical logic topics#Z5W2, Rice's theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem XR99RK50JZ
| URI | m2://inv/XR99RK50JZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#A00W, Theorem (statement)
History
- 2026-11-02: add by m2/dev
XR9HTHQPRE XR9HTHQPRE
| URI | m2://inv/XR9HTHQPRE |
|---|---|
| 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.22040#W8G6 (statement). In 2QP93JHYNB/e1, proposition 8.22
History
- 2026-10-27: add by m2/v0.4.2
Noga Alon XR9MGBQ1ZC
| URI | m2://inv/XR9MGBQ1ZC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noga Alon, Noga Alon (topic). Also Wikidata Q92927
History
- 2026-11-02: add by m2/dev
XR9QMK8G7T XR9QMK8G7T
| URI | m2://inv/XR9QMK8G7T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-16 (proof). In N54F33XE07, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Late-time pointwise asymptotics XR9SGSQ6AZ
| URI | m2://inv/XR9SGSQ6AZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 2603.28861#4VVE, Late-time pointwise asymptotics (statement). In A3VQ2TNRKK/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.0
XR9TD3Y66N XR9TD3Y66N
| URI | m2://inv/XR9TD3Y66N |
|---|---|
| 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.26089#CIW2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples of stochastic cellular automaton XR9VSZTS6M
| URI | m2://inv/XR9VSZTS6M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic cellular automaton#0MIV, Examples of stochastic cellular automaton (example)
History
- 2026-11-02: add by m2/dev
XR9XNGTBNR XR9XNGTBNR
| URI | m2://inv/XR9XNGTBNR |
|---|---|
| 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.00292#EC6B (statement). In NX3EFW0D0X/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
XR9Y45MQ1E XR9Y45MQ1E
| URI | m2://inv/XR9Y45MQ1E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-73 (exercise). In E59CDZA4DP, exercise, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
Helly–Bray theorem XRA4WZ6MV6
| URI | m2://inv/XRA4WZ6MV6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5709171, Helly–Bray theorem (statement). Also Wikidata Q5709171
- thousand_plus: thousand_plus Q5709171, Helly–Bray theorem (statement). Also Wikidata Q5709171, Wikipedia Helly–Bray theorem
- wikipedia: Wikipedia Helly–Bray theorem, Helly–Bray theorem (statement). Also Wikidata Q5709171
History
- 2026-10-26: add by m2/dev
XRA5SA8AT8 XRA5SA8AT8
| URI | m2://inv/XRA5SA8AT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#4ZJS (statement). In RK0ZMDJ23T/e1, lemma 4.1.4
History
- 2026-10-31: add by m2/v0.5.6
Two-stage localized score control XRA9DT5ZWT
| URI | m2://inv/XRA9DT5ZWT |
|---|---|
| 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.09030#R1QD, Two-stage localized score control (statement). In BYN44C0X0C/e1, lemma D.2
History
- 2026-10-29: add by m2/v0.4.10
XRAVFV1N46 XRAVFV1N46
| URI | m2://inv/XRAVFV1N46 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-17 (exercise). In QKM9DD2H56, exercise, section 3
History
- 2026-11-01: add by m2/v0.6.13
continuous XRB5PSXRT4
| URI | m2://inv/XRB5PSXRT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#SG2X, continuous (definition)
History
- 2026-11-02: add by m2/dev
Application XRBC5YFYVG
| URI | m2://inv/XRBC5YFYVG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational difference equation#005F, Application (example)
History
- 2026-11-02: add by m2/dev
Kip Thorne XRBDCXM5PT
| URI | m2://inv/XRBDCXM5PT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#50IC, Kip Thorne (unknown)
History
- 2026-11-02: add by m2/dev
Otfrid Mittmann XRBGFAJC70
| URI | m2://inv/XRBGFAJC70 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#EE24, Otfrid Mittmann (topic)
History
- 2026-11-02: add by m2/dev
XRBPAZQX9G XRBPAZQX9G
| URI | m2://inv/XRBPAZQX9G |
|---|---|
| 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.32834#VUJO (statement). In N4M6B8EMCW/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
XRBPWTM0KY XRBPWTM0KY
| URI | m2://inv/XRBPWTM0KY |
|---|---|
| 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#7GY4 (statement). In WFJXSE3VDT/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
Francesco Sbrana XRBQARH6K4
| URI | m2://inv/XRBQARH6K4 |
|---|---|
| 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#F9ND, Francesco Sbrana (topic)
History
- 2026-11-02: add by m2/dev
XRBQDDTMP3 XRBQDDTMP3
| URI | m2://inv/XRBQDDTMP3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31327#A9FV (definition). In F605BQ3AYX/e1, definition 3.6
History
- 2026-10-31: add by m2/v0.5.6
3SLS XRBS2NP3NA
| URI | m2://inv/XRBS2NP3NA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous equations model#6U31, 3SLS (unknown)
History
- 2026-11-02: add by m2/dev
Erdős unit distance conjecture XRC3TRGV09
| URI | m2://inv/XRC3TRGV09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#VHLC, Erdős unit distance conjecture (definition)
History
- 2026-11-02: add by m2/dev
short five lemma XRCPCPM4RK
| URI | m2://inv/XRCPCPM4RK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7502047, short five lemma (statement). Also MathWorld ShortFiveLemma
- wikipedia: Wikipedia Short five lemma, Short five lemma (statement). Also Wikidata Q7502047
History
- 2026-10-26: add by m2/dev
Distortion floor XRCPNGANMJ
| URI | m2://inv/XRCPNGANMJ |
|---|---|
| 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.15549#5WN5, Distortion floor (statement). In S96K5CR1B7/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Prime number XRCPVH04ZM
| URI | m2://inv/XRCPVH04ZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#0163, Prime number (definition)
History
- 2026-11-02: add by m2/dev
Example XRCR118Q2F
| URI | m2://inv/XRCR118Q2F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quartile coefficient of dispersion#RZHI, Example (example)
History
- 2026-11-02: add by m2/dev
Definitions XRCTDQFCJV
| URI | m2://inv/XRCTDQFCJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector space model#TR21, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Mark Vishik XRD47JG09W
| URI | m2://inv/XRD47JG09W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark Vishik, Mark Vishik (topic). Also Wikidata Q461347
History
- 2026-11-02: add by m2/dev
Censoring deletes the contact law XRD4VS6F20
| URI | m2://inv/XRD4VS6F20 |
|---|---|
| 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.20215#U7E2, Censoring deletes the contact law (statement)
History
- 2026-11-02: add by m2/v0.6.18
Peano's axioms XRD76RYYFF
| URI | m2://inv/XRD76RYYFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#ELD7, Peano's axioms (statement)
History
- 2026-11-02: add by m2/dev
Caesar cipher XRD8WGENM8
| URI | m2://inv/XRD8WGENM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#6BAT, Caesar cipher (definition)
History
- 2026-11-02: add by m2/dev
XRDGPAES1N XRDGPAES1N
| URI | m2://inv/XRDGPAES1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.08426#OEB7 (statement). In YG2DPMNZ1N/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Weighted pointwise estimates XRDJ2M7FJ7
| URI | m2://inv/XRDJ2M7FJ7 |
|---|---|
| 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.09278#7Z8F, Weighted pointwise estimates (statement). In XREKHJHAT7/e1, proposition 4.12
History
- 2026-10-29: add by m2/v0.4.10
Necessary proposition XRDMRBAPXY
| URI | m2://inv/XRDMRBAPXY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal logic#AAS6, Necessary proposition (unknown)
History
- 2026-11-02: add by m2/dev
Bhaskara's lemma XRDPB81XRF
| URI | m2://inv/XRDPB81XRF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#HMMV, Bhaskara's lemma (statement)
History
- 2026-11-02: add by m2/dev
XRDVX59KQ4 XRDVX59KQ4
| URI | m2://inv/XRDVX59KQ4 |
|---|---|
| Kind | definition |
| 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.18847#XEN4 (definition). In DZ12XTTJSM/e1, definition 2.23
History
- 2026-10-28: add by m2/v0.4.2
XRDYDRDQTX XRDYDRDQTX
| URI | m2://inv/XRDYDRDQTX |
|---|---|
| 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 2412.14956#1OML (statement). In T8BQ6HHZYT/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Logic of graphs XRDYFB3WSQ
| URI | m2://inv/XRDYFB3WSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic of graphs, Logic of graphs (definition). Also Wikidata Q25304160
History
- 2026-11-02: add by m2/dev
Applications XRE3KA7063
| URI | m2://inv/XRE3KA7063 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surjection of Fréchet spaces#C5US, Applications (example)
History
- 2026-11-02: add by m2/dev
XREBD0X627 XREBD0X627
| URI | m2://inv/XREBD0X627 |
|---|---|
| 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.22847#XTU1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
XREJ3Z2HPR XREJ3Z2HPR
| URI | m2://inv/XREJ3Z2HPR |
|---|---|
| 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.17240#ZQTO (statement). In 59BZ4V9RQW/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
XREJEP38GY XREJEP38GY
| URI | m2://inv/XREJEP38GY |
|---|---|
| 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.06521#0QBI (statement). In NVXWD513NM/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
XREMS3Q8DP XREMS3Q8DP
| URI | m2://inv/XREMS3Q8DP |
|---|---|
| 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 2304.03611#5ZVM (statement). In 75E8ZB1CBV/e1, proposition 5.3.2
History
- 2026-10-27: add by m2/v0.4.0
XREVDWMB28 XREVDWMB28
| URI | m2://inv/XREVDWMB28 |
|---|---|
| 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.15421#ZEX5 (statement). In 3RBKH0DA74/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
XRFDAK64EF XRFDAK64EF
| URI | m2://inv/XRFDAK64EF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.02983#MZSY (statement). In HMNKENER22/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.12
XRFF976XT9 XRFF976XT9
| URI | m2://inv/XRFF976XT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03288#TRMF (statement). In ZHP1MFSACN/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.12
XRFK4CG4JY XRFK4CG4JY
| URI | m2://inv/XRFK4CG4JY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 0709.4546#24YL (statement). In 7H5Q5M7W96/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Measure (mathematics) XRFN4Z3YWP
| URI | m2://inv/XRFN4Z3YWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#ROXH, Measure (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
A non-nef solution class on a fivefold XRFR7BN4HC
| URI | m2://inv/XRFR7BN4HC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15434#9L50, A non-nef solution class on a fivefold (example). In PWF23QSGDX/e1, example 6.1
History
- 2026-10-28: add by m2/v0.4.2
Weierstrass p XRG8CST2HS
| URI | m2://inv/XRG8CST2HS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass elliptic function#HIOL, Weierstrass p (unknown)
History
- 2026-11-02: add by m2/dev
XRG9W8FTCJ XRG9W8FTCJ
| URI | m2://inv/XRG9W8FTCJ |
|---|---|
| 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.19449#WPJU (statement). In 8ZKPJ3CBDF/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.2
Henneberg surface XRGBXQ9HN1
| URI | m2://inv/XRGBXQ9HN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henneberg surface, Henneberg surface (definition). Also Wikidata Q5714786
History
- 2026-11-02: add by m2/dev
Lower numbering XRGDRZ70F3
| URI | m2://inv/XRGDRZ70F3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramification group#SUSG, Lower numbering (unknown)
History
- 2026-11-02: add by m2/dev
XRGG2K2DXS XRGG2K2DXS
| URI | m2://inv/XRGG2K2DXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#D2QA (statement). In 2QF1YG9DD0/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
Temporal mean XRGNS4S5EC
| URI | m2://inv/XRGNS4S5EC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temporal mean, Temporal mean (definition). Also Wikidata Q7698925
History
- 2026-11-02: add by m2/dev
zero vector space XRGQPE3GY7
| URI | m2://inv/XRGQPE3GY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2004761, zero vector space (definition). Also ProofWiki Definition:Trivial_Vector_Space
History
- 2026-10-26: add by m2/dev
Divisor topology XRGQRNZG3T
| URI | m2://inv/XRGQRNZG3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#8ARC, Divisor topology (definition)
History
- 2026-11-02: add by m2/dev
XRGVXWGD28 XRGVXWGD28
| URI | m2://inv/XRGVXWGD28 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#8AKI (definition). In 8M7BFVQYMM/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.3
Formal smoothness XRGXF0TTQK
| URI | m2://inv/XRGXF0TTQK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth morphism#AN8T, Formal smoothness (unknown)
History
- 2026-11-02: add by m2/dev
System of linear differential equations XRH87AZNCY
| URI | m2://inv/XRH87AZNCY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear differential equation#FGXQ, System of linear differential equations (unknown)
History
- 2026-11-02: add by m2/dev
XRHEYCHMX1 XRHEYCHMX1
| URI | m2://inv/XRHEYCHMX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16362#GG07 (statement). In 4NJ4T3DEQB/e1, theorem 4.10
History
- 2026-10-28: add by m2/v0.4.2
List of integrals of irrational algebraic functions XRHKPPNHFT
| URI | m2://inv/XRHKPPNHFT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integrals of irrational algebraic functions, List of integrals of irrational algebraic functions (topic). Also Wikidata Q579269
History
- 2026-11-02: add by m2/dev
length XRHQ9D3NW0
| URI | m2://inv/XRHQ9D3NW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#0SNZ, length (definition)
History
- 2026-11-02: add by m2/dev
Meyer's theorem XRHQ9XVWZJ
| URI | m2://inv/XRHQ9XVWZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meyer's theorem, Meyer's theorem (statement). Also Wikidata Q6826396
History
- 2026-11-02: add by m2/dev
function, identity XRHWW5C6DR
| URI | m2://inv/XRHWW5C6DR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.4/function-identity, function, identity (concept). In N54F33XE07, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Special cases XRHZM0KK24
| URI | m2://inv/XRHZM0KK24 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Box–Cox distribution#54GW, Special cases (statement)
History
- 2026-11-02: add by m2/dev
XRJ08FSF07 XRJ08FSF07
| URI | m2://inv/XRJ08FSF07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15037#7F3O (statement). In 9XCA9T80GJ/e1, theorem 6.2.4
History
- 2026-10-28: add by m2/v0.4.2
XRJ4X45WW6 XRJ4X45WW6
| URI | m2://inv/XRJ4X45WW6 |
|---|---|
| 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.35467#616G (statement). In FK89DQ9J4S/e1, lemma A.11
History
- 2026-10-30: add by m2/v0.4.12
XRJ8QRNQS4 XRJ8QRNQS4
| URI | m2://inv/XRJ8QRNQS4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.32138#ALM4 (statement). In ZG0GNHTCWB/e1, proposition 6.1
History
- 2026-10-31: add by m2/v0.5.6
Plateau positivity, uniformly in a small field XRJ9KNW026
| URI | m2://inv/XRJ9KNW026 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06480#CW1I, Plateau positivity, uniformly in a small field (statement). In 2Y47E704Z9/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.10
Magnetic permeability of free space XRJNFZVSJ1
| URI | m2://inv/XRJNFZVSJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulae involving π#W5UM, Magnetic permeability of free space (definition)
History
- 2026-11-02: add by m2/dev
Definition XRJS3SQ1MQ
| URI | m2://inv/XRJS3SQ1MQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surgery structure set#UQEG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Positive curvature on the Kervaire nine-sphere XRJTVK8175
| URI | m2://inv/XRJTVK8175 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03298#NSQG, Positive curvature on the Kervaire nine-sphere (statement). In 9SBZP218SM/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
He, Zhang and Zhang's inequality XRK6475WZC
| URI | m2://inv/XRK6475WZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev's inequality#IAF7, He, Zhang and Zhang's inequality (statement)
History
- 2026-11-02: add by m2/dev
XRKCSJNP0M XRKCSJNP0M
| URI | m2://inv/XRKCSJNP0M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/proofs-in-K.tex#ex-1 (example). In PKGMM3P5QY, ex, section 55.9
History
- 2026-11-01: add by m2/v0.6.13
Dany Leviatan XRKEG1QVK5
| URI | m2://inv/XRKEG1QVK5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dany Leviatan, Dany Leviatan (topic). Also Wikidata Q6853470
History
- 2026-11-02: add by m2/dev
XRKEYNQ657 XRKEYNQ657
| URI | m2://inv/XRKEYNQ657 |
|---|---|
| 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.32345#8DQK (statement). In 99HHD5MJME/e1, proposition 1
History
- 2026-10-31: add by m2/v0.5.6
Cauchy boundary condition XRKMETNWVY
| URI | m2://inv/XRKMETNWVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#9IOL, Cauchy boundary condition (definition)
History
- 2026-11-02: add by m2/dev
mathematics, classical XRKSHTAGBP
| URI | m2://inv/XRKSHTAGBP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.1/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
XRKVM5WJJD XRKVM5WJJD
| URI | m2://inv/XRKVM5WJJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.02019#FJLJ (statement). In PD607VXPY3/e1, corollary 15
History
- 2026-10-27: add by m2/v0.3.5
XRKYS4ZG10 XRKYS4ZG10
| URI | m2://inv/XRKYS4ZG10 |
|---|---|
| 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.14555#BHGO (statement). In NHW0VEJ09F/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Bonferroni correction XRM0VXC2FR
| URI | m2://inv/XRM0VXC2FR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bonferroni correction 8GRD2TMJRR |
Mentions
- wikidata: Wikidata Q385989, Bonferroni correction (unknown). Also MathWorld BonferroniCorrection
- wikipedia: Wikipedia Bonferroni correction, Bonferroni correction (definition). Also Wikidata Q385989
History
- 2026-10-26: add by m2/dev
XRMAVXGHGK XRMAVXGHGK
| URI | m2://inv/XRMAVXGHGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09796#Q8L4 (statement). In NAA7WFQN20/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
child XRMC7CTW0D
| URI | m2://inv/XRMC7CTW0D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.2.2/child, child (concept). In Y91XFCEVHQ, index, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
tangential quadrilateral XRME7JYD9T
| URI | m2://inv/XRME7JYD9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1064389, tangential quadrilateral (unknown). Also MathWorld TangentialQuadrilateral
- wikipedia: Wikipedia Tangential quadrilateral, Tangential quadrilateral (definition). Also Wikidata Q1064389
History
- 2026-10-26: add by m2/dev
Resolution-level and relative logarithmic models XRMGY8P2TB
| URI | m2://inv/XRMGY8P2TB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#A92G, Resolution-level and relative logarithmic models (statement)
History
- 2026-11-01: add by m2/v0.6.15
Paul Reece Rider XRMPSPK9VY
| URI | m2://inv/XRMPSPK9VY |
|---|---|
| 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#EHHC, Paul Reece Rider (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FSS4, Paul Reece Rider (unknown)
History
- 2026-11-02: add by m2/dev
Cesk machine XRMQ0JPZ47
| URI | m2://inv/XRMQ0JPZ47 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CEK Machine#9470, Cesk machine (unknown)
History
- 2026-11-02: add by m2/dev
XRMQGMHG13 XRMQGMHG13
| URI | m2://inv/XRMQGMHG13 |
|---|---|
| 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#7E54 (statement)
History
- 2026-11-01: add by m2/v0.6.15
XRMVZN9S18 XRMVZN9S18
| URI | m2://inv/XRMVZN9S18 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-31 (proof). In N54F33XE07, proof, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Victor Shoup XRMWAVRYVK
| URI | m2://inv/XRMWAVRYVK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#X6K3, Victor Shoup (topic)
History
- 2026-11-02: add by m2/dev
XRN3M8SDCP XRN3M8SDCP
| URI | m2://inv/XRN3M8SDCP |
|---|---|
| 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 2212.01916#OCD7 (statement). In XTGB5Z08YH/e1, theorem 3.26
History
- 2026-10-27: add by m2/v0.4.0
Nicolas Lerner XRNAZQ3JZB
| URI | m2://inv/XRNAZQ3JZB |
|---|---|
| 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#I1SD, Nicolas Lerner (unknown)
History
- 2026-11-02: add by m2/dev
Zhui Shu XRND7PSZQG
| URI | m2://inv/XRND7PSZQG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zu Chongzhi#B7RX, Zhui Shu (unknown)
History
- 2026-11-02: add by m2/dev
Ernest Corominas XRNE4RSDP7
| URI | m2://inv/XRNE4RSDP7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernest Corominas, Ernest Corominas (topic). Also Wikidata Q3056911
History
- 2026-11-02: add by m2/dev
XRNGEWP441 XRNGEWP441
| URI | m2://inv/XRNGEWP441 |
|---|---|
| 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#NS23 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spectral shape analysis XRNS2FFW9A
| URI | m2://inv/XRNS2FFW9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral shape analysis, Spectral shape analysis (definition). Also Wikidata Q7575207
History
- 2026-11-02: add by m2/dev
algebraic stack XRNSDWYRC6
| URI | m2://inv/XRNSDWYRC6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Algebraic stack VNX79CRH90 |
Mentions
- wikidata: Wikidata Q1687845, algebraic stack (concept). Also nLab algebraic stack, ProofWiki Definition:Artin_Stack
- wikipedia: Wikipedia Algebraic stack, Algebraic stack (definition). Also Wikidata Q1687845
History
- 2026-10-26: add by m2/dev
Pandigital number XRNVBPN1ZG
| URI | m2://inv/XRNVBPN1ZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1659695, Pandigital number (unknown). Also MathWorld PandigitalNumber
- wikipedia: Wikipedia Pandigital number, Pandigital number (definition). Also Wikidata Q1659695
History
- 2026-10-26: add by m2/dev
Moser spindle XRP9CWVNNC
| URI | m2://inv/XRP9CWVNNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1443782, Moser spindle (unknown). Also House of Graphs 702, MathWorld MoserSpindle
- wikipedia: Wikipedia Moser spindle, Moser spindle (definition). Also Wikidata Q1443782
History
- 2026-10-26: add by m2/dev
quantifier, existential XRPDD4SD93
| URI | m2://inv/XRPDD4SD93 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.7/quantifier-existential, quantifier, existential (concept). In N54F33XE07, index, section 9.7
History
- 2026-11-01: add by m2/v0.6.13
Properties XRPNBC3ZPQ
| URI | m2://inv/XRPNBC3ZPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézout domain#F3N8, Properties (statement)
History
- 2026-11-02: add by m2/dev
XRPR3ZGA88 XRPR3ZGA88
| URI | m2://inv/XRPR3ZGA88 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#3BB5 (unknown). In R2XC1SC9NZ/e1, unknown 34
History
- 2026-10-27: add by m2/v0.3.5
laser XRPRP8V3GR
| URI | m2://inv/XRPRP8V3GR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q38867, laser (unknown). Also nLab laser
History
- 2026-10-26: add by m2/dev
XRQ28RSSCG XRQ28RSSCG
| URI | m2://inv/XRQ28RSSCG |
|---|---|
| Kind | definition |
| 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.33794#A8HT (definition). In W0PQMW25VY/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
uniform time existence XRQ774V4J5
| URI | m2://inv/XRQ774V4J5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > uniform time existence, uniform time existence (unknown). Also Mathlib exists_isMIntegralCurve_of_isMIntegralCurveOn
History
- 2026-10-26: add by m2/dev
Exact scaling relation for bulk/boundary quotients XRQ8B01YF2
| URI | m2://inv/XRQ8B01YF2 |
|---|---|
| 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 2502.09121#OD2Z, Exact scaling relation for bulk/boundary quotients (statement). In 559PF7Q5BT/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
Two-prime Ramar\'e identity XRQB29QWV4
| URI | m2://inv/XRQB29QWV4 |
|---|---|
| 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.22081#AE02, Two-prime Ramar\'e identity (statement). In 7JATJ4VG9G/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.0
Ordered group XRQDMEHHNV
| URI | m2://inv/XRQDMEHHNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#4UAN, Ordered group (definition)
History
- 2026-11-02: add by m2/dev
Irving Ezra Segal XRQE38MEPY
| URI | m2://inv/XRQE38MEPY |
|---|---|
| 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#NYU6, Irving Ezra Segal (unknown)
History
- 2026-11-02: add by m2/dev
Guy Bennett XRQF0Y923Q
| URI | m2://inv/XRQF0Y923Q |
|---|---|
| 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#J0RK, Guy Bennett (unknown)
History
- 2026-11-02: add by m2/dev
Leonid Bunimovich XRQFB29XRQ
| URI | m2://inv/XRQFB29XRQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leonid Bunimovich, Leonid Bunimovich (topic). Also Wikidata Q3701311
History
- 2026-11-02: add by m2/dev
Homogeneous tree XRQQM5WBDV
| URI | m2://inv/XRQQM5WBDV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneous tree, Homogeneous tree (definition). Also Wikidata Q5891336
History
- 2026-11-02: add by m2/dev
Properties XRQRCG9CW7
| URI | m2://inv/XRQRCG9CW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultraconnected space#MS6B, Properties (statement)
History
- 2026-11-02: add by m2/dev
XRQZAP10CV XRQZAP10CV
| URI | m2://inv/XRQZAP10CV |
|---|---|
| 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 2108.05533#P17J (definition). In 14DZA4M2C6/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
equipotent XRR20R5WFY
| URI | m2://inv/XRR20R5WFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#PF71, equipotent (definition)
History
- 2026-11-02: add by m2/dev
Example XRRAKR6N82
| URI | m2://inv/XRRAKR6N82 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust measures of scale#DZFO, Example (example)
History
- 2026-11-02: add by m2/dev
XRRBN1EY6Z XRRBN1EY6Z
| URI | m2://inv/XRRBN1EY6Z |
|---|---|
| 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#1IBN (statement). In 7SRERSS1PF/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
XRREGPS1Y6 XRREGPS1Y6
| URI | m2://inv/XRREGPS1Y6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/story/russells-paradox-again.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 75.7
History
- 2026-11-01: add by m2/v0.6.13
Geroldinger--Grynkiewicz--Zhong XRRFMF9FGK
| URI | m2://inv/XRRFMF9FGK |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29878#0MVX, Geroldinger--Grynkiewicz--Zhong (problem)
History
- 2026-11-01: add by m2/v0.6.15
Jevons' number XRRN8V1MSK
| URI | m2://inv/XRRN8V1MSK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1100748, Jevons' number (unknown). Also MathWorld JevonsNumber, ProofWiki 8,616,460,799, ProofWiki Definition:Jevons'_Number
History
- 2026-10-26: add by m2/dev
XRRZTGPA2X XRRZTGPA2X
| URI | m2://inv/XRRZTGPA2X |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#433B (unknown). In QNBFHFZ3H0/e1, unknown 108
History
- 2026-10-28: add by m2/v0.4.2
Peirce decomposition XRS56XEBJ0
| URI | m2://inv/XRS56XEBJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 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.13532#4KTW, Peirce decomposition (statement). In 9B0X8YPF3P/e1, theorem 2.5
History
- 2026-10-28: add by m2/v0.4.2
knot invariant XRSE497TQ4
| URI | m2://inv/XRSE497TQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Knot invariant GZQ5ZE3X6G |
Mentions
- wikidata: Wikidata Q1862434, knot invariant (unknown). Also MathWorld KnotInvariant, nLab knot invariant
- wikipedia: Wikipedia Knot invariant, Knot invariant (definition). Also Wikidata Q1862434
History
- 2026-10-26: add by m2/dev
XRSE96FGBG XRSE96FGBG
| URI | m2://inv/XRSE96FGBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00843#2I8N (statement). In 1K7M5TD0M2/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
0.999... ≠ 1 XRSFKFJD7N
| URI | m2://inv/XRSFKFJD7N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 0.999...#375Z, 0.999... ≠ 1 (unknown)
History
- 2026-11-02: add by m2/dev
aleph numbers XRSN8DVDKX
| URI | m2://inv/XRSN8DVDKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > Cardinals > aleph numbers, aleph numbers (unknown). Also Mathlib Cardinal.aleph
History
- 2026-10-26: add by m2/dev
continuity XRSQ3P8EK2
| URI | m2://inv/XRSQ3P8EK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17678#T9JY, continuity (statement). In V753EAWQ3S/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Rajeeva Laxman Karandikar XRSQHRZWZE
| URI | m2://inv/XRSQHRZWZE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rajeeva Laxman Karandikar, Rajeeva Laxman Karandikar (topic). Also Wikidata Q16187138
History
- 2026-11-02: add by m2/dev
Signed inversion with local coefficient control XRSSACSFE3
| URI | m2://inv/XRSSACSFE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.00448#O155, Signed inversion with local coefficient control (statement). In N06J7GC05Q/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
Bézout's theorem XRSTZ04WSA
| URI | m2://inv/XRSTZ04WSA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems#N5EX, Bézout's theorem (statement)
History
- 2026-11-02: add by m2/dev
Markus Jakobsson XRSYCRR4A3
| URI | m2://inv/XRSYCRR4A3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F2XZ, Markus Jakobsson (unknown)
History
- 2026-11-02: add by m2/dev
Definition and Properties XRT0MNQCD5
| URI | m2://inv/XRT0MNQCD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information dimension#NNN6, Definition and Properties (definition)
History
- 2026-11-02: add by m2/dev
Landau's theorem XRT0PFVCW0
| URI | m2://inv/XRT0PFVCW0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch's theorem (complex analysis)#UGHR, Landau's theorem (statement)
History
- 2026-11-02: add by m2/dev
XRT4N4WKHP XRT4N4WKHP
| URI | m2://inv/XRT4N4WKHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/rules-and-proofs.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 22.13
History
- 2026-11-01: add by m2/v0.6.13
simplicial, kernel XRTAGMBKDP
| URI | m2://inv/XRTAGMBKDP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/simplicial-kernel, simplicial, kernel (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
XRTC9Z79AG XRTC9Z79AG
| URI | m2://inv/XRTC9Z79AG |
|---|---|
| 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.30957#DIAT (statement). In P5YB6R0RK3/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Examples XRTGQGV7K4
| URI | m2://inv/XRTGQGV7K4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hensel's lemma#BC99, Examples (example)
History
- 2026-11-02: add by m2/dev
XRTKMNCR0Q XRTKMNCR0Q
| URI | m2://inv/XRTKMNCR0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#Z9B0 (statement). In CGA36VE1C5/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.6
Definition XRTM0WDBF5
| URI | m2://inv/XRTM0WDBF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally convex topological vector space#HINI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Matrix Spencer with Gaussian and information guarantees XRTRYN9VBB
| URI | m2://inv/XRTRYN9VBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#S228, Matrix Spencer with Gaussian and information guarantees (statement). In 9YAE8FNQST/e1, corollary 7.7
History
- 2026-10-30: add by m2/v0.4.12
class function XRTWMFBGJS
| URI | m2://inv/XRTWMFBGJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q986909, class function (unknown). Also nLab class function
- wikipedia: Wikipedia Class function, Class function (definition). Also Wikidata Q986909
History
- 2026-10-26: add by m2/dev
XRV1PYP3MH XRV1PYP3MH
| URI | m2://inv/XRV1PYP3MH |
|---|---|
| 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.28808#L8RF (statement)
History
- 2026-11-01: add by m2/v0.6.15
convergence XRV2AJQJTR
| URI | m2://inv/XRV2AJQJTR |
|---|---|
| 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 2204.07227#L6HD, convergence (statement). In R85Z7ZZGBC/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
set, infinite XRV3JKE1F0
| URI | m2://inv/XRV3JKE1F0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.5/set-infinite, set, infinite (concept). In QKM9DD2H56, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
XRV973G4WY XRV973G4WY
| URI | m2://inv/XRV973G4WY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#SLU1 (definition). In 9704QPRPR6/e1, definition 3.15
History
- 2026-10-30: add by m2/v0.4.12
XRVBETVNFB XRVBETVNFB
| URI | m2://inv/XRVBETVNFB |
|---|---|
| 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.17759#TYQY (statement). In 7MWKMG2V8A/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
Koml\'os conjecture XRVFFQ3VM8
| URI | m2://inv/XRVFFQ3VM8 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20979#CH0Q, Koml\'os conjecture (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
Lp solve XRVMNVVD2M
| URI | m2://inv/XRVMNVVD2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lp solve, Lp solve (definition). Also Wikidata Q127102999
History
- 2026-11-02: add by m2/dev
reflexive relation XRVMSG2RSG
| URI | m2://inv/XRVMSG2RSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Reflexive relation 0X8NMST0J2 |
Mentions
- wikidata: Wikidata Q621850, reflexive relation (unknown). Also MathWorld Reflexive
- wikipedia: Wikipedia Reflexive relation, Reflexive relation (definition). Also Wikidata Q621850
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Archard equation XRVSJT1E38
| URI | m2://inv/XRVSJT1E38 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archard equation, Archard equation (definition). Also Wikidata Q3730813
History
- 2026-11-02: add by m2/dev
XRVT84ZJR6 XRVT84ZJR6
| URI | m2://inv/XRVT84ZJR6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#prob:find sim from Rel (exercise). In P1C114YBXG, problem, section H
History
- 2026-11-01: add by m2/v0.6.13
Bernard Chazelle XRW0D1W6T5
| URI | m2://inv/XRW0D1W6T5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#D91E, Bernard Chazelle (unknown)
History
- 2026-11-02: add by m2/dev
XRW4HMK9TM XRW4HMK9TM
| URI | m2://inv/XRW4HMK9TM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#UTZG (statement). In H52QQS8WZA/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Elias Allen XRWGS7SDJ5
| URI | m2://inv/XRWGS7SDJ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elias Allen, Elias Allen (topic). Also Wikidata Q5360438
History
- 2026-11-02: add by m2/dev
XRWJ2MWV2J XRWJ2MWV2J
| URI | m2://inv/XRWJ2MWV2J |
|---|---|
| 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.27715#7EEB (statement)
History
- 2026-11-01: add by m2/v0.6.15
XRWP9TQR0B XRWP9TQR0B
| URI | m2://inv/XRWP9TQR0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.37698#MYWA (statement). In HA2GG72C23/e1, theorem 0.1
History
- 2026-10-30: add by m2/v0.4.12
XRWXA24JAK XRWXA24JAK
| URI | m2://inv/XRWXA24JAK |
|---|---|
| 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.23994#7797 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Statement of the theorem XRWXHM9KA7
| URI | m2://inv/XRWXHM9KA7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski's intersection theorem#2NQS, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Example 1 XRX8TYKFC9
| URI | m2://inv/XRX8TYKFC9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewy decomposition#BJ3B, Example 1 (example)
History
- 2026-11-02: add by m2/dev
Chen, Jie XRXACVQW6Y
| URI | m2://inv/XRXACVQW6Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#4MJW, Chen, Jie (unknown)
History
- 2026-11-02: add by m2/dev
Main theorem XRXCBHKSC7
| URI | m2://inv/XRXCBHKSC7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00490#PXFF, Main theorem (statement). In PZJDV6SJ9E/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Yvan Martel XRXFS6ABDH
| URI | m2://inv/XRXFS6ABDH |
|---|---|
| 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#GHBG, Yvan Martel (topic)
History
- 2026-11-02: add by m2/dev
Examples XRXGG2CVEG
| URI | m2://inv/XRXGG2CVEG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Löwenheim number#QFDK, Examples (example)
History
- 2026-11-02: add by m2/dev
Σ0=Π0=Δ0 formulas and concepts XRXVTEYBZD
| URI | m2://inv/XRXVTEYBZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy hierarchy#8FI1, Σ0=Π0=Δ0 formulas and concepts (statement)
History
- 2026-11-02: add by m2/dev
Selection bias XRY3A3VKFE
| URI | m2://inv/XRY3A3VKFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#UA0Y, Selection bias (definition)
History
- 2026-11-02: add by m2/dev
sigmoid function XRY4C9EZ56
| URI | m2://inv/XRY4C9EZ56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q526668, sigmoid function (unknown). Also MathWorld SigmoidFunction
- wikipedia: Wikipedia Sigmoid function, Sigmoid function (definition). Also Wikidata Q526668
History
- 2026-10-26: add by m2/dev
XRY5V6WMQJ XRY5V6WMQJ
| URI | m2://inv/XRY5V6WMQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06683#FTXR (statement). In NH7VBYH6PH/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Edges XRY6G15WF4
| URI | m2://inv/XRY6G15WF4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#1SOB, Edges (definition). In WD2NCBV9F0/e1, definition 13.11
History
- 2026-10-27: add by m2/v0.3.5
Numerical methods for incompressible flow XRYDXADEHK
| URI | m2://inv/XRYDXADEHK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incompressible flow#SQIO, Numerical methods for incompressible flow (unknown)
History
- 2026-11-02: add by m2/dev
XRYKNA77CV XRYKNA77CV
| URI | m2://inv/XRYKNA77CV |
|---|---|
| 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 2301.02848#CKV6 (statement). In G6WQDW52TJ/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.6
XRYQR0PT9F XRYQR0PT9F
| URI | m2://inv/XRYQR0PT9F |
|---|---|
| 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.24845#46RB (statement)
History
- 2026-11-01: add by m2/v0.6.15
XRYXF3S0Y2 XRYXF3S0Y2
| URI | m2://inv/XRYXF3S0Y2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/interpolation.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 57.1
History
- 2026-11-01: add by m2/v0.6.13
Variants XRYXYXSVBN
| URI | m2://inv/XRYXYXSVBN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pollard's rho algorithm#G4TK, Variants (statement)
History
- 2026-11-02: add by m2/dev
Properties XRYZCR68M4
| URI | m2://inv/XRYZCR68M4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutation (algebra)#T7WG, Properties (statement)
History
- 2026-11-02: add by m2/dev
XRZ2YVCG44 XRZ2YVCG44
| URI | m2://inv/XRZ2YVCG44 |
|---|---|
| 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.12489#QPCX (statement). In FDWFVD08SE/e1, theorem 2.24
History
- 2026-10-28: add by m2/v0.4.2
XRZ3FTWHH6 XRZ3FTWHH6
| URI | m2://inv/XRZ3FTWHH6 |
|---|---|
| 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.16294#00RC (statement). In N7HRE31BBH/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Detailed balance XRZ737GHDE
| URI | m2://inv/XRZ737GHDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HINJ, Detailed balance (definition)
History
- 2026-11-02: add by m2/dev
XRZJJ3MVJB XRZJJ3MVJB
| URI | m2://inv/XRZJJ3MVJB |
|---|---|
| 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.10968#RLD7 (statement). In KJRV9ZW833/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
realizability XRZPPG5DZ5
| URI | m2://inv/XRZPPG5DZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Realizability 4H35VQ16DC |
Mentions
- wikidata: Wikidata Q3454417, realizability (unknown). Also nLab realizability
- wikipedia: Wikipedia Realizability, Realizability (definition). Also Wikidata Q3454417
History
- 2026-10-26: add by m2/dev
Variations XRZQMYEW2M
| URI | m2://inv/XRZQMYEW2M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rubik's Cube#R1EI, Variations (statement)
History
- 2026-11-02: add by m2/dev
David William Boyd XRZRRSH2K0
| URI | m2://inv/XRZRRSH2K0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LKWG, David William Boyd (topic)
History
- 2026-11-02: add by m2/dev