Inventory rows 9B
The cards of the rows of the inventory whose ids start with 9B. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
9B08VZSGNQ 9B08VZSGNQ
| URI | m2://inv/9B08VZSGNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#LN74 (statement). In ABS9M47F4K/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.6
9B0DBWTSB0 9B0DBWTSB0
| URI | m2://inv/9B0DBWTSB0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#J8UI (definition). In D6XA7JXZF3/e1, definition 4.8
History
- 2026-10-27: add by m2/v0.3.5
Essays in Eugenics 9B0FPF5N89
| URI | m2://inv/9B0FPF5N89 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Galton#2NQZ, Essays in Eugenics (unknown)
History
- 2026-11-02: add by m2/dev
equivariant bundle 9B0NGTDTV8
| URI | m2://inv/9B0NGTDTV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16909066, equivariant bundle (unknown). Also nLab equivariant bundle
- wikipedia: Wikipedia Equivariant bundle, Equivariant bundle (definition). Also Wikidata Q16909066
History
- 2026-10-26: add by m2/dev
Exponential dichotomy 9B0PK7WE1P
| URI | m2://inv/9B0PK7WE1P |
|---|---|
| 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.18078#XBON, Exponential dichotomy (definition). In YVK8EFSYNJ/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
The Paradoxes of the Infinite 9B0TJ3TT1G
| URI | m2://inv/9B0TJ3TT1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7756075, The Paradoxes of the Infinite (unknown). Also ProofWiki Book:Bernhard_Bolzano/Paradoxien_des_Unendlichen
- wikipedia: Wikipedia Paradoxes of the Infinite, Paradoxes of the Infinite (definition). Also Wikidata Q7756075
History
- 2026-10-26: add by m2/dev
Enumeration 9B0VN1G53G
| URI | m2://inv/9B0VN1G53G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claw-free graph#YOLF, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
Noisy-channel coding theorem 9B0VNNGNKB
| URI | m2://inv/9B0VNNGNKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary symmetric channel#H1X7, Noisy-channel coding theorem (statement)
History
- 2026-11-02: add by m2/dev
Von Neumann bicommutant theorem 9B0WWAATET
| URI | m2://inv/9B0WWAATET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GYZ9, Von Neumann bicommutant theorem (statement)
History
- 2026-11-02: add by m2/dev
square triangular number 9B17WJW680
| URI | m2://inv/9B17WJW680 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1885380, square triangular number (unknown). Also MathWorld SquareTriangularNumber, OEIS A001110
- wikipedia: Wikipedia Square triangular number, Square triangular number (definition). Also Wikidata Q1885380
History
- 2026-10-26: add by m2/dev
Claus Montonen 9B1CBBJQ88
| URI | m2://inv/9B1CBBJQ88 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q23749629, Claus Montonen (unknown). Also nLab Claus Montonen
History
- 2026-10-26: add by m2/dev
Fundamental theorem 9B1EEDPVW9
| URI | m2://inv/9B1EEDPVW9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of Hilbert spaces#EM8O, Fundamental theorem (statement)
History
- 2026-11-02: add by m2/dev
9B1FWM0JDS 9B1FWM0JDS
| URI | m2://inv/9B1FWM0JDS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#TJA8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
9B1NYD8355 9B1NYD8355
| URI | m2://inv/9B1NYD8355 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#exercise-11 (exercise). In RZP28ERRZV, exercise, section 9.9.3
History
- 2026-11-01: add by m2/v0.6.13
Sieve misspecification 9B1XM9Q6HT
| URI | m2://inv/9B1XM9Q6HT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14695#Y7J9, Sieve misspecification (statement). In T15EJSPCNG/e1, proposition \thechapter.C.1
History
- 2026-10-28: add by m2/v0.4.2
Albert Schwarz 9B1YG1WW1A
| URI | m2://inv/9B1YG1WW1A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#KVFL, Albert Schwarz (topic)
History
- 2026-11-02: add by m2/dev
Axioms 9B239T8EBW
| URI | m2://inv/9B239T8EBW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axioms (journal), Axioms (statement). Also Wikidata Q50808388
History
- 2026-11-02: add by m2/dev
Ester Samuel-Cahn 9B2AKTG5J9
| URI | m2://inv/9B2AKTG5J9 |
|---|---|
| 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#O3SW, Ester Samuel-Cahn (topic)
History
- 2026-11-02: add by m2/dev
Superalgebra 9B2EC7Y6Q0
| URI | m2://inv/9B2EC7Y6Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superalgebra, Superalgebra (definition). Also Wikidata Q3977654
History
- 2026-11-02: add by m2/dev
LaTeX 9B2F7C15P2
| URI | m2://inv/9B2F7C15P2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5310, LaTeX (unknown). Also ProofWiki Symbols:LaTeX_Commands
History
- 2026-10-26: add by m2/dev
9B2WR3DPY2 9B2WR3DPY2
| URI | m2://inv/9B2WR3DPY2 |
|---|---|
| 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.04323#6JIK (statement). In 3Z0D2NCJ0B/e1, lemma 21
History
- 2026-10-29: add by m2/v0.4.12
Dirichlet energy and its variation formulas 9B2XRDNFCJ
| URI | m2://inv/9B2XRDNFCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic map#9J05, Dirichlet energy and its variation formulas (statement)
History
- 2026-11-02: add by m2/dev
Definition 9B2ZQNYYPM
| URI | m2://inv/9B2ZQNYYPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex function#H7PJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
9B36VQ28PG 9B36VQ28PG
| URI | m2://inv/9B36VQ28PG |
|---|---|
| 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.15402#OGJX (statement). In WSE8SEHVXG/e1, theorem 13
History
- 2026-10-28: add by m2/v0.4.2
Lori E. Dodd 9B38MNEGBN
| URI | m2://inv/9B38MNEGBN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lori E. Dodd, Lori E. Dodd (topic). Also Wikidata Q37243588
History
- 2026-11-02: add by m2/dev
9B3AEE2DEW 9B3AEE2DEW
| URI | m2://inv/9B3AEE2DEW |
|---|---|
| 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.26477#VX9H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extensions 9B3EDGCAPP
| URI | m2://inv/9B3EDGCAPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SABR volatility model#5COQ, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Variants 9B3F7B4HB6
| URI | m2://inv/9B3F7B4HB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Run-length encoding#T1P5, Variants (statement)
History
- 2026-11-02: add by m2/dev
self-conjugate 9B3HR8PMAY
| URI | m2://inv/9B3HR8PMAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#MHSB, self-conjugate (definition)
History
- 2026-11-02: add by m2/dev
9B3QAYSMZE 9B3QAYSMZE
| URI | m2://inv/9B3QAYSMZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#2BYT (statement). In JW8HH6EPG2/e1, proposition 3.48
History
- 2026-10-29: add by m2/v0.4.10
9B3YD07574 9B3YD07574
| URI | m2://inv/9B3YD07574 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:not-lem (statement). In N54F33XE07, cor, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
Definition 9B4AQ08C22
| URI | m2://inv/9B4AQ08C22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic mean#KAHN, Definition (definition)
History
- 2026-11-02: add by m2/dev
9B4C4R8DXQ 9B4C4R8DXQ
| URI | m2://inv/9B4C4R8DXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03327#0FBQ (statement). In EBNXA84CPM/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Lao Statistics Bureau 9B4F9P9BYA
| URI | m2://inv/9B4F9P9BYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lao Statistics Bureau, Lao Statistics Bureau (definition). Also Wikidata Q10974105
History
- 2026-11-02: add by m2/dev
Forward chaining 9B4NNZWAZT
| URI | m2://inv/9B4NNZWAZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forward chaining, Forward chaining (definition). Also Wikidata Q777433
History
- 2026-11-02: add by m2/dev
9B4QTXB6FR 9B4QTXB6FR
| URI | m2://inv/9B4QTXB6FR |
|---|---|
| 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.14837#TCTU (statement). In J4P6HXMJCH/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
9B4V9F28CV 9B4V9F28CV
| URI | m2://inv/9B4V9F28CV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01958#Y3G3 (statement). In NQFYT2M6YZ/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.12
Variance inequality under positive curvature upper bound 9B52VS0VGB
| URI | m2://inv/9B52VS0VGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#LFN1, Variance inequality under positive curvature upper bound (statement). In FTPW1SZ8D3/e1, theorem A.2
History
- 2026-10-30: add by m2/v0.4.12
Lipschitz continuity 9B575J2VYT
| URI | m2://inv/9B575J2VYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#HXNP, Lipschitz continuity (definition)
- wikipedia: Wikipedia List of general topology topics#6IP8, Lipschitz continuity (definition)
History
- 2026-11-02: add by m2/dev
Jean-Louis Colliot-Thélène 9B578DSNEH
| URI | m2://inv/9B578DSNEH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#R4H1, Jean-Louis Colliot-Thélène (topic)
History
- 2026-11-02: add by m2/dev
9B5E2XJFA2 9B5E2XJFA2
| URI | m2://inv/9B5E2XJFA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06300#YIBY (statement). In 751KSRS7WT/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
directed graph 9B5F4MJKB0
| URI | m2://inv/9B5F4MJKB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Directed graph 0KFYGSHHF5 |
Mentions
- wikidata: Wikidata Q1137726, directed graph (definition). Also EoM Graph,_oriented, MathWorld DirectedGraph, ProofWiki Definition:Directed_Graph
- wikipedia: Wikipedia Directed graph, Directed graph (definition). Also Wikidata Q1137726
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Finite matrix groupoids 9B5VW3CGXZ
| URI | m2://inv/9B5VW3CGXZ |
|---|---|
| Kind | example |
| 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.00789#I7RM, Finite matrix groupoids (example). In 4WPYBTARS2/e1, example 6.3
History
- 2026-10-29: add by m2/v0.4.12
Algebraic-Dynamical Correspondence of Linearized Structure 9B69NAZSBB
| URI | m2://inv/9B69NAZSBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05354#L5YX, Algebraic-Dynamical Correspondence of Linearized Structure (statement). In TZ5BMDXRQZ/e1, theorem 4.13
History
- 2026-10-29: add by m2/v0.4.10
9B6DP905ZG 9B6DP905ZG
| URI | m2://inv/9B6DP905ZG |
|---|---|
| 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.26307#YKNZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Censoring 9B6G069S0P
| URI | m2://inv/9B6G069S0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Censoring (statistics), Censoring (definition). Also Wikidata Q189813
History
- 2026-11-02: add by m2/dev
9B6MEC9FPD 9B6MEC9FPD
| URI | m2://inv/9B6MEC9FPD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20860#235F (definition)
History
- 2026-11-02: add by m2/v0.6.18
9B6MJDP8RB 9B6MJDP8RB
| URI | m2://inv/9B6MJDP8RB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#BCK8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Abstract rewriting system 9B70EWBSP1
| URI | m2://inv/9B70EWBSP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract rewriting system, Abstract rewriting system (definition). Also Wikidata Q2136420
History
- 2026-11-02: add by m2/dev
Elderton, Ethel M. 9B71B8V8YT
| URI | m2://inv/9B71B8V8YT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#P7WG, Elderton, Ethel M. (topic)
History
- 2026-11-02: add by m2/dev
Markov's Inequality 9B761T7WBK
| URI | m2://inv/9B761T7WBK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_central-tendency.ptx#thm_markov, Markov's Inequality (statement). In QKM9DD2H56, theorem, section 10.5
History
- 2026-11-01: add by m2/v0.6.13
9B7C1S06QS 9B7C1S06QS
| URI | m2://inv/9B7C1S06QS |
|---|---|
| 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.04252#JV96 (statement). In ZF0Z61VQ96/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
Fixed-depth resolvent representation 9B7DQEB093
| URI | m2://inv/9B7DQEB093 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#B81M, Fixed-depth resolvent representation (statement). In RHBS9QDHC3/e1, corollary 5.12
History
- 2026-10-28: add by m2/v0.4.2
Computational group theory 9B7PMKM23J
| URI | m2://inv/9B7PMKM23J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#QCUW, Computational group theory (definition)
History
- 2026-11-02: add by m2/dev
Daniela Kühn 9B7S48SD8W
| URI | m2://inv/9B7S48SD8W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniela Kühn, Daniela Kühn (topic). Also Wikidata Q5219228
History
- 2026-11-02: add by m2/dev
Carol Walker 9B81MTEYZP
| URI | m2://inv/9B81MTEYZP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carol Walker, Carol Walker (topic). Also Wikidata Q102158554
History
- 2026-11-02: add by m2/dev
Definition 9B84X9RJSN
| URI | m2://inv/9B84X9RJSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signature operator#L8G3, Definition (definition)
History
- 2026-11-02: add by m2/dev
9B8S7N3HF2 9B8S7N3HF2
| URI | m2://inv/9B8S7N3HF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#PIBW (statement). In 7CK21JGM5A/e1, lemma 5.7
History
- 2026-10-27: add by m2/v0.4.2
Overlap for infinite-activity density families 9B8TQXR9XR
| URI | m2://inv/9B8TQXR9XR |
|---|---|
| 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.19421#8P9I, Overlap for infinite-activity density families (statement). In 3S1VFGYWQE/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.2
9B8W36Z432 9B8W36Z432
| URI | m2://inv/9B8W36Z432 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 91.7
History
- 2026-11-01: add by m2/v0.6.13
9B90H5AKW9 9B90H5AKW9
| URI | m2://inv/9B90H5AKW9 |
|---|---|
| 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.10937#LKK4 (statement). In 6VVK3YTABP/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.3
Jürgen Jost 9B917Z7P1X
| URI | m2://inv/9B917Z7P1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q108439, Jürgen Jost (unknown). Also nLab Jürgen Jost
- wikipedia: Wikipedia Jürgen Jost, Jürgen Jost (topic). Also Wikidata Q108439
History
- 2026-10-26: add by m2/dev
Spiridon Popescu 9B91BXJ575
| URI | m2://inv/9B91BXJ575 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spiridon Popescu, Spiridon Popescu (topic). Also Wikidata Q12741181
History
- 2026-11-02: add by m2/dev
9B979N2P9Q 9B979N2P9Q
| URI | m2://inv/9B979N2P9Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 22.2
History
- 2026-11-01: add by m2/v0.6.13
NC = P problem 9B98JXCF8G
| URI | m2://inv/9B98JXCF8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#5GZP, NC = P problem (definition)
History
- 2026-11-02: add by m2/dev
Zariski's main theorem for quasifinite morphisms 9B9F3KSTFY
| URI | m2://inv/9B9F3KSTFY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski's main theorem#LYYC, Zariski's main theorem for quasifinite morphisms (statement)
History
- 2026-11-02: add by m2/dev
Isabel Fernández 9B9MV3DATA
| URI | m2://inv/9B9MV3DATA |
|---|---|
| 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#8FNO, Isabel Fernández (topic)
History
- 2026-11-02: add by m2/dev
9B9NXS9GRN 9B9NXS9GRN
| URI | m2://inv/9B9NXS9GRN |
|---|---|
| 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.33679#254S (statement). In 3N9E9T6AF5/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
9BA46WD9TB 9BA46WD9TB
| URI | m2://inv/9BA46WD9TB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01958#J6C9 (statement). In NQFYT2M6YZ/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
Non-linear least squares 9BA6P82PPD
| URI | m2://inv/9BA6P82PPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JZWT, Non-linear least squares (definition)
History
- 2026-11-02: add by m2/dev
Paul A.M. Dirac 9BAKXT4MFD
| URI | m2://inv/9BAKXT4MFD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#LE7L, Paul A.M. Dirac (topic)
History
- 2026-11-02: add by m2/dev
9BB10NYNY8 9BB10NYNY8
| URI | m2://inv/9BB10NYNY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#ZLGH (statement). In F0E8YBV0Z0/e1, lemma 6.14
History
- 2026-10-30: add by m2/v0.4.12
9BB32YKYG2 9BB32YKYG2
| URI | m2://inv/9BB32YKYG2 |
|---|---|
| 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 2109.08858#2YXH (statement). In E6795TKR6R/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
9BB3GG22Q4 9BB3GG22Q4
| URI | m2://inv/9BB3GG22Q4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04431#ADDQ (definition). In 3PSAWXCCJ8/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.12
9BB8DAQWMD 9BB8DAQWMD
| URI | m2://inv/9BB8DAQWMD |
|---|---|
| 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 2306.08237#ZH5A (statement). In E22A2MFR4Y/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.6
S-matrix 9BBEH0Q0AS
| URI | m2://inv/9BBEH0Q0AS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q581505, S-matrix (unknown). Also nLab S-matrix
- wikipedia: Wikipedia S-matrix, S-matrix (definition). Also Wikidata Q581505
History
- 2026-10-26: add by m2/dev
Walter Feit 9BBGJMGDDW
| URI | m2://inv/9BBGJMGDDW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q949521, Walter Feit (unknown). Also nLab Walter Feit
History
- 2026-10-26: add by m2/dev
Eugen Weber 9BBMNA70A2
| URI | m2://inv/9BBMNA70A2 |
|---|---|
| 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#U7OP, Eugen Weber (unknown)
History
- 2026-11-02: add by m2/dev
SYZ conjecture 9BBW8245SZ
| URI | m2://inv/9BBW8245SZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SYZ conjecture, SYZ conjecture (statement). Also Wikidata Q7395295
History
- 2026-11-02: add by m2/dev
9BBYS1QEMN 9BBYS1QEMN
| URI | m2://inv/9BBYS1QEMN |
|---|---|
| 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.36818#VSJ6 (statement). In SK6AP2B9JH/e1, corollary 6.7
History
- 2026-10-30: add by m2/v0.4.12
Abhay Ashtekar 9BC1ZZDXR4
| URI | m2://inv/9BC1ZZDXR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#NZCB, Abhay Ashtekar (unknown)
History
- 2026-11-02: add by m2/dev
Discrete $\sfb^\cvx$-EVI 9BCBTXJB8E
| URI | m2://inv/9BCBTXJB8E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.20998#EUEG, Discrete $\sfb^\cvx$-EVI (definition)
History
- 2026-11-02: add by m2/v0.6.18
join 9BCC4MAGJT
| URI | m2://inv/9BCC4MAGJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#2J31, join (definition)
History
- 2026-11-02: add by m2/dev
Qianshan 9BCCD4NJ7P
| URI | m2://inv/9BCCD4NJ7P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GVQ9, Qianshan (unknown)
History
- 2026-11-02: add by m2/dev
Explicit improved clock 9BCDSP6Z18
| URI | m2://inv/9BCDSP6Z18 |
|---|---|
| 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.18884#WZ7G, Explicit improved clock (statement). In 8WM10QMA9E/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Real projective line 9BCDY312FW
| URI | m2://inv/9BCDY312FW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#VN7M, Real projective line (definition)
History
- 2026-11-02: add by m2/dev
Exponential integral 9BCMXCQ15P
| URI | m2://inv/9BCMXCQ15P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#8ZMQ, Exponential integral (definition)
- wikipedia: Wikipedia List of mathematical functions#3YB3, Exponential integral (definition)
History
- 2026-11-02: add by m2/dev
Example 9BCPQ402E4
| URI | m2://inv/9BCPQ402E4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithms for calculating variance#GGN4, Example (example)
History
- 2026-11-02: add by m2/dev
center of curvature 9BCQG6MRPZ
| URI | m2://inv/9BCQG6MRPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3775868, center of curvature (unknown). Also MathWorld CurvatureCenter
- wikipedia: Wikipedia Center of curvature, Center of curvature (definition). Also Wikidata Q3775868
History
- 2026-10-26: add by m2/dev
9BCQZZT22V 9BCQZZT22V
| URI | m2://inv/9BCQZZT22V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-16 (example). In VNMV985MXX, example, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
9BCZECH2KR 9BCZECH2KR
| URI | m2://inv/9BCZECH2KR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#fact-1 (statement). In RZP28ERRZV, fact, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
9BD19PMAST 9BD19PMAST
| URI | m2://inv/9BD19PMAST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.23503#LCNB (statement)
History
- 2026-11-02: add by m2/v0.6.17
Multiplicity formula 9BD2AJFBMF
| URI | m2://inv/9BD2AJFBMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08599#KTAR, Multiplicity formula (statement). In DST9FWMHT6/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
Freightos Baltic Index 9BD7MZDMZD
| URI | m2://inv/9BD7MZDMZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freightos Baltic Index, Freightos Baltic Index (definition). Also Wikidata Q109229388
History
- 2026-11-02: add by m2/dev
9BDJT3Y4X3 9BDJT3Y4X3
| URI | m2://inv/9BDJT3Y4X3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.01087#HIPS (statement). In 7QXAZXGNPQ/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.12
Examples 9BDY4EE4VY
| URI | m2://inv/9BDY4EE4VY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function#SCR8, Examples (example)
History
- 2026-11-02: add by m2/dev
Differential discriminant identities 9BDY913FQM
| URI | m2://inv/9BDY913FQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20197#WG5F, Differential discriminant identities (statement)
History
- 2026-11-02: add by m2/v0.6.18
Temporal logic of actions 9BE3RQ48J7
| URI | m2://inv/9BE3RQ48J7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temporal logic of actions, Temporal logic of actions (definition). Also Wikidata Q2403081
History
- 2026-11-02: add by m2/dev
Schwarz's lemma 9BE58573C4
| URI | m2://inv/9BE58573C4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/schwarz-s-lemma, Schwarz's lemma (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
9BE7HVRC9K 9BE7HVRC9K
| URI | m2://inv/9BE7HVRC9K |
|---|---|
| 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 2011.06637#F5NE (statement). In KFCJ5CFP3G/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.3.5
Energy spaces 9BEGVPVZ92
| URI | m2://inv/9BEGVPVZ92 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22384#LVOI, Energy spaces (definition)
History
- 2026-11-02: add by m2/v0.6.17
9BEVAWSDW3 9BEVAWSDW3
| URI | m2://inv/9BEVAWSDW3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05623#GU3G (definition). In 7PFNKZYB7D/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Necessary variation for compact real hypersurfaces 9BEWP9RZRM
| URI | m2://inv/9BEWP9RZRM |
|---|---|
| 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.00077#RW2A, Necessary variation for compact real hypersurfaces (statement). In C04B15GH1T/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
List of game theorists 9BF04ETE0C
| URI | m2://inv/9BF04ETE0C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#ROYY, List of game theorists (unknown)
- wikipedia: Wikipedia Lists of mathematicians#PXHC, List of game theorists (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 9BF60EPWBJ
| URI | m2://inv/9BF60EPWBJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Container method#3M0D, Theorem (statement)
History
- 2026-11-02: add by m2/dev
9BFMJ9F8RC 9BFMJ9F8RC
| URI | m2://inv/9BFMJ9F8RC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#Z0DH (definition). In G02N9D40B9/e1, definition 3.4.1
History
- 2026-10-29: add by m2/v0.4.10
zenith angle 9BFPWHMTTD
| URI | m2://inv/9BFPWHMTTD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3352195, zenith angle (unknown). Also MathWorld ZenithAngle
History
- 2026-10-26: add by m2/dev
doxastic modal logic 9BFQGV4DPG
| URI | m2://inv/9BFQGV4DPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TG4A, doxastic modal logic (definition)
History
- 2026-11-02: add by m2/dev
Injectivity and Gaussianity under covariance slackness 9BFRJRXCPW
| URI | m2://inv/9BFRJRXCPW |
|---|---|
| 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.01855#REJ5, Injectivity and Gaussianity under covariance slackness (statement). In MM8P5CJR18/e1, proposition 5.21
History
- 2026-10-29: add by m2/v0.4.12
9BFW0SZJ2V 9BFW0SZJ2V
| URI | m2://inv/9BFW0SZJ2V |
|---|---|
| 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.03011#ZSKH (statement). In VE8FB6K8EN/e1, proposition 7
History
- 2026-10-29: add by m2/v0.4.12
9BG16P9J99 9BG16P9J99
| URI | m2://inv/9BG16P9J99 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.06366#IOTS (proof). In 89XYDVXG38/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Ruth Gentry 9BG5MC3QAQ
| URI | m2://inv/9BG5MC3QAQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Gentry, Ruth Gentry (topic). Also Wikidata Q22915111
History
- 2026-11-02: add by m2/dev
9BG6NJHVBB 9BG6NJHVBB
| URI | m2://inv/9BG6NJHVBB |
|---|---|
| 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 2112.05010#M6JE (statement). In 4SZNPS3Z00/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.6
9BG8BZ56XT 9BG8BZ56XT
| URI | m2://inv/9BG8BZ56XT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#OBOB (definition). In 9TR5E527P5/e1, definition 6.13
History
- 2026-10-29: add by m2/v0.4.10
Theorem (linear convergence of gradient descent) 9BGDJBNG26
| URI | m2://inv/9BGDJBNG26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łojasiewicz inequality#XTC4, Theorem (linear convergence of gradient descent) (statement)
History
- 2026-11-02: add by m2/dev
9BGEJ8C7PV 9BGEJ8C7PV
| URI | m2://inv/9BGEJ8C7PV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0902.4012#NBAY (statement). In 6FH16YESRH/e1, lemma 1.4
History
- 2026-10-27: add by m2/v0.3.5
Shelah 9BGQGD5N8E
| URI | m2://inv/9BGQGD5N8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22002#QIM6, Shelah (statement). In JTND2BM263/e1, fact 1.1
History
- 2026-10-27: add by m2/v0.4.2
injective hull 9BGXZH82SG
| URI | m2://inv/9BGXZH82SG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Injective hull QCJN05GN64 |
Mentions
- wikidata: Wikidata Q6034324, injective hull (unknown). Also nLab injective hull
- wikipedia: Wikipedia Injective hull, Injective hull (definition). Also Wikidata Q6034324
History
- 2026-10-26: add by m2/dev
Applications 9BH147AKQT
| URI | m2://inv/9BH147AKQT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi polynomials#YBGU, Applications (example)
History
- 2026-11-02: add by m2/dev
Euler's Formula 9BH1ZXBGQE
| URI | m2://inv/9BH1ZXBGQE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_planar.ptx#theorem-1, Euler's Formula (statement). In QKM9DD2H56, theorem, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
link 9BHFF6H77N
| URI | m2://inv/9BHFF6H77N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6554239, link (concept). Also MathWorld SimplicialComplexLink
- wikipedia: Wikipedia Link (simplicial complex), Link (definition). Also Wikidata Q6554239
History
- 2026-10-26: add by m2/dev
9BHP1HECFH 9BHP1HECFH
| URI | m2://inv/9BHP1HECFH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28020#0SSN (statement)
History
- 2026-11-01: add by m2/v0.6.15
9BHV20YW8R 9BHV20YW8R
| URI | m2://inv/9BHV20YW8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10973#7TTI (statement). In H8NGNDP0XT/e1, corollary 20
History
- 2026-10-28: add by m2/v0.4.3
constructive proof 9BJ2SF2HXA
| URI | m2://inv/9BJ2SF2HXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Constructive proof 01XM7JEKHY |
Mentions
- wikidata: Wikidata Q3044470, constructive proof (unknown). Also MathWorld ConstructiveProof
- wikipedia: Wikipedia Constructive proof, Constructive proof (definition). Also Wikidata Q3044470
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
9BJ60D7N6W 9BJ60D7N6W
| URI | m2://inv/9BJ60D7N6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10233#5P4A (statement). In QR9WE79ERQ/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
9BJ726084X 9BJ726084X
| URI | m2://inv/9BJ726084X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#DPGF (statement). In PA6JQDSKQT/e1, proposition 3.30
History
- 2026-10-28: add by m2/v0.4.2
edge contraction 9BJAACV38A
| URI | m2://inv/9BJAACV38A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1397646, edge contraction (definition). Also MathWorld EdgeContraction, ProofWiki Definition:Edge_Contraction
- wikipedia: Wikipedia Edge contraction, Edge contraction (definition). Also Wikidata Q1397646
History
- 2026-10-26: add by m2/dev
Euler's idoneal numbers 9BJCEDDTR4
| URI | m2://inv/9BJCEDDTR4 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#N4HT, Euler's idoneal numbers (conjecture)
History
- 2026-11-02: add by m2/dev
Example 9BJHNBG3EQ
| URI | m2://inv/9BJHNBG3EQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reed–Solomon error correction#ZH1Q, Example (example)
History
- 2026-11-02: add by m2/dev
Mellin transform 9BJMPNS6BS
| URI | m2://inv/9BJMPNS6BS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier-related transforms#QKYZ, Mellin transform (definition)
History
- 2026-11-02: add by m2/dev
Definition 9BJMZZHTEK
| URI | m2://inv/9BJMZZHTEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension of a scheme#CJ0P, Definition (definition)
History
- 2026-11-02: add by m2/dev
Integral curve 9BJT0ESPHA
| URI | m2://inv/9BJT0ESPHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral curve, Integral curve (definition). Also Wikidata Q1665406
History
- 2026-11-02: add by m2/dev
White surface 9BJYVGGXYY
| URI | m2://inv/9BJYVGGXYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia White surface, White surface (definition). Also Wikidata Q7995701
History
- 2026-11-02: add by m2/dev
In-place matrix transposition 9BK1HSSANQ
| URI | m2://inv/9BK1HSSANQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#WUF1, In-place matrix transposition (unknown)
History
- 2026-11-02: add by m2/dev
Finite information 9BK9WEDM8E
| URI | m2://inv/9BK9WEDM8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20683#C0VZ, Finite information (statement)
History
- 2026-11-02: add by m2/v0.6.18
Horizontal derivatives of the shifts 9BKMS67C77
| URI | m2://inv/9BKMS67C77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#KZ0Z, Horizontal derivatives of the shifts (statement). In RYWAX33Z51/e1, corollary 8.2
History
- 2026-10-31: add by m2/v0.5.6
9BKSTW3VP4 9BKSTW3VP4
| URI | m2://inv/9BKSTW3VP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#UJ0F (statement). In 3A4K47Y9F2/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.0
Refined Gauss--Lobatto inequality 9BM35HHMCD
| URI | m2://inv/9BM35HHMCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2609.34918#ZLWY, Refined Gauss--Lobatto inequality (statement). In B3MNVE9149/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
9BM5M9HYPN 9BM5M9HYPN
| URI | m2://inv/9BM5M9HYPN |
|---|---|
| Kind | statement |
| 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 2610.15169#AJ2X (statement). In V7SN19J84T/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
9BMAP6G9S0 9BMAP6G9S0
| URI | m2://inv/9BMAP6G9S0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#def:countable (definition). In P1C114YBXG, definition, section 1
History
- 2026-11-01: add by m2/v0.6.13
Davenport–Schmidt theorem 9BMKFQ3NQ8
| URI | m2://inv/9BMKFQ3NQ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JM1O, Davenport–Schmidt theorem (statement)
History
- 2026-11-02: add by m2/dev
Paul Neményi 9BMM76YJVC
| URI | m2://inv/9BMM76YJVC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#MB7I, Paul Neményi (unknown)
History
- 2026-11-02: add by m2/dev
9BMP0ZRT8A 9BMP0ZRT8A
| URI | m2://inv/9BMP0ZRT8A |
|---|---|
| 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 2605.30285#IS7M (statement). In YMY0NNSM27/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
Theorem 9BMQRR6GZZ
| URI | m2://inv/9BMQRR6GZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krener's theorem#YGCU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
9BMS8YGPKN 9BMS8YGPKN
| URI | m2://inv/9BMS8YGPKN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#S3R0 (example). In 6WJ0R9YEBR/e1, example D
History
- 2026-10-28: add by m2/v0.4.2
9BMYS16A90 9BMYS16A90
| URI | m2://inv/9BMYS16A90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#X2EV (statement)
History
- 2026-11-02: add by m2/v0.6.18
9BN7WF0CJR 9BN7WF0CJR
| URI | m2://inv/9BN7WF0CJR |
|---|---|
| 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 1011.1990#OLNM (statement). In GV0JBN5DWQ/e1, lemma B.3
History
- 2026-10-27: add by m2/v0.3.5
9BNF85JG4Q 9BNF85JG4Q
| URI | m2://inv/9BNF85JG4Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.23812#N6TS (definition). In D8XZBXJPR5/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
social golfer problem 9BNFQW0W4T
| URI | m2://inv/9BNFQW0W4T |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q108470864, social golfer problem (problem). Also MathWorld SocialGolferProblem
- wikipedia: Wikipedia Social golfer problem, Social golfer problem (problem). Also Wikidata Q108470864
History
- 2026-10-26: add by m2/dev
Union-class separation 9BNNTZ7Z3W
| URI | m2://inv/9BNNTZ7Z3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.00295#WERO, Union-class separation (statement). In 7HXP270BD0/e1, theorem 3.9
History
- 2026-10-30: add by m2/v0.4.12
Errors-in-variables models 9BNS0YNHBF
| URI | m2://inv/9BNS0YNHBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#44HH, Errors-in-variables models (definition)
History
- 2026-11-02: add by m2/dev
Association for Symbolic Logic 9BNTXPF352
| URI | m2://inv/9BNTXPF352 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set theory topics#6JVW, Association for Symbolic Logic (definition)
History
- 2026-11-02: add by m2/dev
Computational statistics 9BNVAE43JB
| URI | m2://inv/9BNVAE43JB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational statistics, Computational statistics (definition). Also Wikidata Q5157340
History
- 2026-11-02: add by m2/dev
9BP5NTPDQ3 9BP5NTPDQ3
| URI | m2://inv/9BP5NTPDQ3 |
|---|---|
| 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.16877#JL9K (statement). In YY4KFNMPC0/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Properties 9BP5TSZSWJ
| URI | m2://inv/9BP5TSZSWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperboloid#QR8C, Properties (statement)
History
- 2026-11-02: add by m2/dev
Core variables and notation 9BP8RFFKQE
| URI | m2://inv/9BP8RFFKQE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03288#E11Q, Core variables and notation (definition). In ZHP1MFSACN/e1, definition 6.6
History
- 2026-10-29: add by m2/v0.4.12
Golden Rule savings rate 9BPMA15YG4
| URI | m2://inv/9BPMA15YG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden Rule savings rate, Golden Rule savings rate (definition). Also Wikidata Q1535347
History
- 2026-11-02: add by m2/dev
Takao Nishizeki 9BPNFW31BA
| URI | m2://inv/9BPNFW31BA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Takao Nishizeki, Takao Nishizeki (topic). Also Wikidata Q17210838
History
- 2026-11-02: add by m2/dev
9BPT1VM9DK 9BPT1VM9DK
| URI | m2://inv/9BPT1VM9DK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-14 (exercise). In E59CDZA4DP, exercise, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
9BPVSZY317 9BPVSZY317
| URI | m2://inv/9BPVSZY317 |
|---|---|
| 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 2404.05965#EKOQ (statement). In GD1GED3FZ3/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Example 9BQ0X9HDTB
| URI | m2://inv/9BQ0X9HDTB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LU decomposition#VW3K, Example (example)
History
- 2026-11-02: add by m2/dev
Population-error continuity along a direction set 9BQ4R30JTN
| URI | m2://inv/9BQ4R30JTN |
|---|---|
| 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.11309#9WUX, Population-error continuity along a direction set (statement). In TTEAQA1XXR/e1, lemma C.21
History
- 2026-10-28: add by m2/v0.4.3
9BQGAKK2ER 9BQGAKK2ER
| URI | m2://inv/9BQGAKK2ER |
|---|---|
| Kind | example |
| 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 2205.06433#VSCB (example). In 628PJKD3EV/e1, example 2.13
History
- 2026-10-27: add by m2/v0.3.5
Coxeter graph 9BQJTDD1Z6
| URI | m2://inv/9BQJTDD1Z6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115477, Coxeter graph (unknown). Also House of Graphs 981, MathWorld CoxeterGraph
- wikipedia: Wikipedia Coxeter graph, Coxeter graph (definition). Also Wikidata Q3115477
History
- 2026-10-26: add by m2/dev
9BQKCRD0ZR 9BQKCRD0ZR
| URI | m2://inv/9BQKCRD0ZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#6SYA (statement). In RBQ5FNCVNZ/e1, corollary 7.8
History
- 2026-10-30: add by m2/v0.4.12
Florin Diacu 9BQKFGN4BE
| URI | m2://inv/9BQKFGN4BE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AA3Z, Florin Diacu (topic)
History
- 2026-11-02: add by m2/dev
W-test 9BQPB3RG20
| URI | m2://inv/9BQPB3RG20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W-test, W-test (definition). Also Wikidata Q25105168
History
- 2026-11-02: add by m2/dev
NCAR Command Language 9BQPSSY4XP
| URI | m2://inv/9BQPSSY4XP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#I322, NCAR Command Language (unknown)
History
- 2026-11-02: add by m2/dev
9BR24DA93R 9BR24DA93R
| URI | m2://inv/9BR24DA93R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#lemma:sameonRn (statement). In VNMV985MXX, lemma, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Alexander's theorem 9BR9CPZ65C
| URI | m2://inv/9BR9CPZ65C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19360789, Alexander's theorem (statement). Also EoM Alexander_theorem_on_braids, MathWorld AlexandersTheorem
- wikipedia: Wikipedia Alexander's theorem, Alexander's theorem (statement). Also Wikidata Q19360789
History
- 2026-10-26: add by m2/dev
Ultrafilter lemma 9BRDASTF5A
| URI | m2://inv/9BRDASTF5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#QVF3, Ultrafilter lemma (definition)
- wikipedia: Wikipedia List of order theory topics#HL6Z, Ultrafilter lemma (definition)
- wikipedia: Wikipedia List of lemmas#ETS5, Ultrafilter lemma (definition)
History
- 2026-11-02: add by m2/dev
Sommerfeld effect 9BRKG46T3E
| URI | m2://inv/9BRKG46T3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sommerfeld effect, Sommerfeld effect (definition). Also Wikidata Q85802041
History
- 2026-11-02: add by m2/dev
Step-line recurrence matrix 9BRM1VJXD5
| URI | m2://inv/9BRM1VJXD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.26110#2O0V, Step-line recurrence matrix (statement)
History
- 2026-11-01: add by m2/v0.6.15
9BRPR01QHF 9BRPR01QHF
| URI | m2://inv/9BRPR01QHF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0804.3628#5JR7 (statement). In E2WHVW5VSD/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Higher Topos Theory 9BRYE546XA
| URI | m2://inv/9BRYE546XA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher Topos Theory, Higher Topos Theory (definition). Also Wikidata Q19572089
History
- 2026-11-02: add by m2/dev
Caddy Works 9BS5D4VE16
| URI | m2://inv/9BS5D4VE16 |
|---|---|
| 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#SF7U, Caddy Works (unknown)
History
- 2026-11-02: add by m2/dev
Window synthesis and informativity 9BSGRY4710
| URI | m2://inv/9BSGRY4710 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25431#57GQ, Window synthesis and informativity (definition)
History
- 2026-11-01: add by m2/v0.6.15
Notation 9BSHN0HTCZ
| URI | m2://inv/9BSHN0HTCZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal lattice#IQTN, Notation (definition)
History
- 2026-11-02: add by m2/dev
Notation 9BSJRT831Y
| URI | m2://inv/9BSJRT831Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan normal form#P2JC, Notation (definition)
History
- 2026-11-02: add by m2/dev
Tree isomorphisms 9BSKFC6T0D
| URI | m2://inv/9BSKFC6T0D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#BVS2, Tree isomorphisms (definition). In SMJMAQ2S3J/e1, definition 22
History
- 2026-10-27: add by m2/v0.4.0
9BSM7QDFYH 9BSM7QDFYH
| URI | m2://inv/9BSM7QDFYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#G6QR (statement). In A1GWWGRXPA/e1, theorem 5.13
History
- 2026-10-27: add by m2/v0.4.2
9BSMEVTK3Q 9BSMEVTK3Q
| URI | m2://inv/9BSMEVTK3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#12LJ (statement). In 9TR5E527P5/e1, theorem 6.24
History
- 2026-10-29: add by m2/v0.4.10
Bernhard Minnigerode 9BSPJY5VM9
| URI | m2://inv/9BSPJY5VM9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernhard Minnigerode, Bernhard Minnigerode (topic). Also Wikidata Q94785467
History
- 2026-11-02: add by m2/dev
cardinal function 9BSVRYR32E
| URI | m2://inv/9BSVRYR32E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cardinal function XVNJPJ53W8 |
Mentions
- wikidata: Wikidata Q4352241, cardinal function (unknown). Also EoM Cardinal_characteristic
- wikipedia: Wikipedia Cardinal function, Cardinal function (definition). Also Wikidata Q4352241
History
- 2026-10-26: add by m2/dev
9BSW02XP7K 9BSW02XP7K
| URI | m2://inv/9BSW02XP7K |
|---|---|
| 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 2309.15228#MNK2 (statement). In 4778KMFZAF/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
9BT48QS6AP 9BT48QS6AP
| URI | m2://inv/9BT48QS6AP |
|---|---|
| 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 2101.07846#1SL1 (statement). In 9XTXH6H1N7/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
9BT7QXW92N 9BT7QXW92N
| URI | m2://inv/9BT7QXW92N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Clinical trial 9BT8RZ1A0A
| URI | m2://inv/9BT8RZ1A0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clinical trial, Clinical trial (definition). Also Wikidata Q30612
History
- 2026-11-02: add by m2/dev
Josh Scherer 9BTBZ7Z74F
| URI | m2://inv/9BTBZ7Z74F |
|---|---|
| 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#12Z9, Josh Scherer (unknown)
History
- 2026-11-02: add by m2/dev
9BTDZNHDGW 9BTDZNHDGW
| URI | m2://inv/9BTDZNHDGW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-2-4-2.xml#act-2-4-2 (exercise). In 907G4C4EJ1, activity, section 2.4.2
History
- 2026-11-01: add by m2/v0.6.13
Cyclic group 9BTNHNTNXW
| URI | m2://inv/9BTNHNTNXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of small groups#XP8D, Cyclic group (definition)
History
- 2026-11-02: add by m2/dev
9BTR15AY0X 9BTR15AY0X
| URI | m2://inv/9BTR15AY0X |
|---|---|
| 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.21934#83UC (statement). In YKD51BX3XB/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
Guo, Ying 9BTR8D9DT5
| URI | m2://inv/9BTR8D9DT5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5WW6, Guo, Ying (unknown)
History
- 2026-11-02: add by m2/dev
MOLAP 9BTW2HRG3P
| URI | m2://inv/9BTW2HRG3P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Online analytical processing#26EH, MOLAP (unknown)
History
- 2026-11-02: add by m2/dev
Killing form 9BV2K1KE61
| URI | m2://inv/9BV2K1KE61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q634557, Killing form (unknown). Also MathWorld KillingForm, nLab Killing form
- wikipedia: Wikipedia Killing form, Killing form (definition). Also Wikidata Q634557
History
- 2026-10-26: add by m2/dev
Definition 9BV3G3YDD1
| URI | m2://inv/9BV3G3YDD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Besov space#22BL, Definition (definition)
History
- 2026-11-02: add by m2/dev
9BV7NJK6HR 9BV7NJK6HR
| URI | m2://inv/9BV7NJK6HR |
|---|---|
| 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.10086#MVVH (statement). In NP9X9CAK19/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
the existence of Morse Lyapunov functions 9BVAZ8J6CR
| URI | m2://inv/9BVAZ8J6CR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05626#9EJJ, the existence of Morse Lyapunov functions (statement). In PMZEF75W7S/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
9BVB4JD1QX 9BVB4JD1QX
| URI | m2://inv/9BVB4JD1QX |
|---|---|
| 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 2406.01499#9EJT (statement). In B32K3KBEKC/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
9BVDHKWBE9 9BVDHKWBE9
| URI | m2://inv/9BVDHKWBE9 |
|---|---|
| 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.33185#TN3Z (statement). In QX30H2WNA7/e1, lemma 7.5
History
- 2026-10-30: add by m2/v0.4.12
9BVDK8V8XP 9BVDK8V8XP
| URI | m2://inv/9BVDK8V8XP |
|---|---|
| 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.30165#U2HJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
9BVEPCTH5N 9BVEPCTH5N
| URI | m2://inv/9BVEPCTH5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#XZRW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 9BVG9J9RJ9
| URI | m2://inv/9BVG9J9RJ9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes estimator#KVQ2, Properties (statement)
History
- 2026-11-02: add by m2/dev
Exact power asymptotics 9BVJY8MARH
| URI | m2://inv/9BVJY8MARH |
|---|---|
| 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.31557#RFKG, Exact power asymptotics (statement). In 72NCNYBW2T/e1, lemma 5
History
- 2026-10-31: add by m2/v0.5.6
Variants 9BVNF6QX15
| URI | m2://inv/9BVNF6QX15 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential operator#CK6Z, Variants (statement)
History
- 2026-11-02: add by m2/dev
9BVR0SXMM3 9BVR0SXMM3
| URI | m2://inv/9BVR0SXMM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#S7MB (statement). In 9B5TNEBJHV/e1, lemma 2.22
History
- 2026-10-29: add by m2/v0.4.10
Chet Samian 9BVXFJ2AQ2
| URI | m2://inv/9BVXFJ2AQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#81SC, Chet Samian (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations 9BVXTYBARB
| URI | m2://inv/9BVXTYBARB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform#EIH3, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
9BW535NTNA 9BW535NTNA
| URI | m2://inv/9BW535NTNA |
|---|---|
| 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.10325#KHLP (statement). In 66CDJ94PGW/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Application 9BWC15DVVB
| URI | m2://inv/9BWC15DVVB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional Fourier transform#5EAS, Application (example)
History
- 2026-11-02: add by m2/dev
fallacy of four terms 9BWKVPHZTK
| URI | m2://inv/9BWKVPHZTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#F2YE, fallacy of four terms (definition)
History
- 2026-11-02: add by m2/dev
9BWQ08K29G 9BWQ08K29G
| URI | m2://inv/9BWQ08K29G |
|---|---|
| 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.15405#NENU (statement). In 9QCYCXVF5W/e1, proposition 4.12
History
- 2026-10-28: add by m2/v0.4.2
Type error 9BX2SK2B2D
| URI | m2://inv/9BX2SK2B2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type system#S439, Type error (unknown)
History
- 2026-11-02: add by m2/dev
9BX62GN07N 9BX62GN07N
| URI | m2://inv/9BX62GN07N |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#proof-8 (proof). In Y91XFCEVHQ, proof, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
9BX62SSRXZ 9BX62SSRXZ
| URI | m2://inv/9BX62SSRXZ |
|---|---|
| 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.22205#5F56 (statement). In 7REABAAQED/e1, lemma
History
- 2026-10-27: add by m2/v0.4.0
2011 Italian census 9BXFCFTD2C
| URI | m2://inv/9BXFCFTD2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2011 Italian census, 2011 Italian census (definition). Also Wikidata Q15715120
History
- 2026-11-02: add by m2/dev
9BXH00A6MM 9BXH00A6MM
| URI | m2://inv/9BXH00A6MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#ZF4X (statement). In PF5JJ9DS8Q/e1, proposition 7.2.4
History
- 2026-10-28: add by m2/v0.4.2
Dudley's theorem 9BXH75GRTP
| URI | m2://inv/9BXH75GRTP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX, 62-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15111#U82M, Dudley's Theorem (statement). In 6RE6JYE4GP/e1, theorem F.3
- mathlib_1000: mathlib_1000 Q5311783, Dudley's theorem (statement). Also Wikidata Q5311783
- thousand_plus: thousand_plus Q5311783, Dudley's theorem (statement). Also Wikidata Q5311783, Wikipedia Dudley's theorem
- wikipedia: Wikipedia Dudley's theorem, Dudley's theorem (statement). Also Wikidata Q5311783
History
- 2026-10-26: add by m2/dev
- 2026-10-31: merge by m2/v0.5.6
Single-linkage clustering 9BXHQAHP13
| URI | m2://inv/9BXHQAHP13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Single-linkage clustering, Single-linkage clustering (definition). Also Wikidata Q7523744
History
- 2026-11-02: add by m2/dev
9BXHR2PCGA 9BXHR2PCGA
| URI | m2://inv/9BXHR2PCGA |
|---|---|
| Kind | statement |
| 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.18242#E6YN (statement). In VVC2FHQZZR/e1, proposition 2.8
History
- 2026-10-28: add by m2/v0.4.2
Vincent Moncrief 9BXT5FFH22
| URI | m2://inv/9BXT5FFH22 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#8QA8, Vincent Moncrief (unknown)
History
- 2026-11-02: add by m2/dev
Kähler differential 9BY8G2JNNP
| URI | m2://inv/9BY8G2JNNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#IVZG, Kähler differential (definition)
- wikipedia: Wikipedia List of commutative algebra topics#5U0X, Kähler differential (definition)
History
- 2026-11-02: add by m2/dev
9BYBFKHN1G 9BYBFKHN1G
| URI | m2://inv/9BYBFKHN1G |
|---|---|
| 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 1008.4254#HNEB (statement). In SXTX59QBVT/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Shu Yang 9BYTPZF50X
| URI | m2://inv/9BYTPZF50X |
|---|---|
| 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#9SZG, Shu Yang (topic)
History
- 2026-11-02: add by m2/dev
9BYVTF8SX3 9BYVTF8SX3
| URI | m2://inv/9BYVTF8SX3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#WRYH (definition). In Q5Z178SAHP/e1, definition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Gödel logic 9BZCZ0FH26
| URI | m2://inv/9BZCZ0FH26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gödel logic, Gödel logic (definition). Also Wikidata Q18347776
History
- 2026-11-02: add by m2/dev
9BZR0Z4JAZ 9BZR0Z4JAZ
| URI | m2://inv/9BZR0Z4JAZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20783#0BX0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
9BZRJM2RDX 9BZRJM2RDX
| URI | m2://inv/9BZRJM2RDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#thm:preimages open sets (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Nisnevich topology 9BZT73YDRY
| URI | m2://inv/9BZT73YDRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies on the category of schemes#PG2D, Nisnevich topology (definition)
History
- 2026-11-02: add by m2/dev