Inventory rows 9Q
The cards of the rows of the inventory whose ids start with 9Q. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Reed--Muller support 9Q016B63GF
| URI | m2://inv/9Q016B63GF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#7QJF, Reed--Muller support (statement). In N6GD8392QB/e1, lemma 11.11
History
- 2026-10-28: add by m2/v0.4.2
Cereceda's conjecture 9Q07Y055WB
| URI | m2://inv/9Q07Y055WB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#GFW7, Cereceda's conjecture (statement)
History
- 2026-11-02: add by m2/dev
9Q0KR3CW4M 9Q0KR3CW4M
| URI | m2://inv/9Q0KR3CW4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28251#J6HC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Borsuk's conjecture 9Q0PBY0XRZ
| URI | m2://inv/9Q0PBY0XRZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#Y9AU, Borsuk's conjecture (statement)
History
- 2026-11-02: add by m2/dev
9Q0PW4ESQ0 9Q0PW4ESQ0
| URI | m2://inv/9Q0PW4ESQ0 |
|---|---|
| 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.11336#G7Q9 (statement). In X1R1GDAJ0Y/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.3
Definitions 9Q0TYX9RV2
| URI | m2://inv/9Q0TYX9RV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1/3–2/3 conjecture#74L9, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Exact affine complexity 9Q10YS8ZBT
| URI | m2://inv/9Q10YS8ZBT |
|---|---|
| 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#05ZT, Exact affine complexity (statement). In 7HXP270BD0/e1, corollary 5.4
History
- 2026-10-30: add by m2/v0.4.12
9Q11T48BD6 9Q11T48BD6
| URI | m2://inv/9Q11T48BD6 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12716#EWSU (unknown). In M6BCSQSM3R/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2
9Q12RCHM5N 9Q12RCHM5N
| URI | m2://inv/9Q12RCHM5N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03208#R491 (statement). In A3CMP0TJK2/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Examples 9Q144HDZJT
| URI | m2://inv/9Q144HDZJT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functor represented by a scheme#BAE2, Examples (example)
History
- 2026-11-02: add by m2/dev
Pendulum with Nonlinear Damping 9Q1B55HMNS
| URI | m2://inv/9Q1B55HMNS |
|---|---|
| Kind | example |
| 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.17604#WSIH, Pendulum with Nonlinear Damping (example). In CZNRSB168G/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
What We Cannot Know 9Q1DE1GPMB
| URI | m2://inv/9Q1DE1GPMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia What We Cannot Know, What We Cannot Know (definition). Also Wikidata Q115588724
History
- 2026-11-02: add by m2/dev
9Q1JCCJJXD 9Q1JCCJJXD
| URI | m2://inv/9Q1JCCJJXD |
|---|---|
| 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.12873#PDMO (statement). In 9MMD2N7DQ1/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
9Q1NY1VS4A 9Q1NY1VS4A
| URI | m2://inv/9Q1NY1VS4A |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#V45T (problem). In Z5SP3NW41S/e1, problem 2.7
History
- 2026-10-30: add by m2/v0.4.12
Philippe Flajolet 9Q1VFV9D6P
| URI | m2://inv/9Q1VFV9D6P |
|---|---|
| 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 Q92695, Philippe Flajolet (unknown). Also nLab Philippe Flajolet
History
- 2026-10-26: add by m2/dev
9Q1Z9JB9AZ 9Q1Z9JB9AZ
| URI | m2://inv/9Q1Z9JB9AZ |
|---|---|
| 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.06225#1BVO (statement). In RQVG8V4FJA/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Upside potential ratio 9Q22BD0905
| URI | m2://inv/9Q22BD0905 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MKE9, Upside potential ratio (definition)
History
- 2026-11-02: add by m2/dev
Stability of high-temperature Gibbs samplers 9Q2AFX9WNN
| URI | m2://inv/9Q2AFX9WNN |
|---|---|
| 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.36016#1ARE, Stability of high-temperature Gibbs samplers (statement). In NAM9ZMPHZ9/e1, corollary 4.6
History
- 2026-10-30: add by m2/v0.4.12
Statement 9Q2AHTKSSS
| URI | m2://inv/9Q2AHTKSSS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lehmann–Scheffé theorem#HEPP, Statement (statement)
History
- 2026-11-02: add by m2/dev
9Q328RN5YT 9Q328RN5YT
| URI | m2://inv/9Q328RN5YT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.06872#7RU7 (statement). In J4H3A11MMX/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Generalizations 9Q34HD955W
| URI | m2://inv/9Q34HD955W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael selection theorem#3WW8, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Robert Wolak 9Q3DPAB7CR
| URI | m2://inv/9Q3DPAB7CR |
|---|---|
| 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 Q48847117, Robert Wolak (unknown). Also nLab Robert Wolak
History
- 2026-10-26: add by m2/dev
Vicki Hertzberg 9Q3N5Z1JSC
| URI | m2://inv/9Q3N5Z1JSC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vicki Hertzberg, Vicki Hertzberg (topic). Also Wikidata Q42311237
History
- 2026-11-02: add by m2/dev
9Q3TFRC5G3 9Q3TFRC5G3
| URI | m2://inv/9Q3TFRC5G3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#9X4T (statement). In X3RFXWN6FW/e1, lemma 5.13
History
- 2026-10-27: add by m2/v0.3.6
Elongated pentagonal orthobicupola 9Q3WHRAT52
| URI | m2://inv/9Q3WHRAT52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3AU3, Elongated pentagonal orthobicupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#4Q2G, Elongated pentagonal orthobicupola (definition)
History
- 2026-11-02: add by m2/dev
9Q3X13SF8X 9Q3X13SF8X
| URI | m2://inv/9Q3X13SF8X |
|---|---|
| Kind | problem |
| 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.21682#XJI2 (problem)
History
- 2026-11-02: add by m2/v0.6.18
bracket polynomial 9Q3XRPBYFV
| URI | m2://inv/9Q3XRPBYFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kauffman bracket JYKVYS4N32 |
Mentions
- wikidata: Wikidata Q4953698, bracket polynomial (unknown). Also MathWorld BracketPolynomial
- wikipedia: Wikipedia Bracket polynomial, Bracket polynomial (definition). Also Wikidata Q4953698
History
- 2026-10-26: add by m2/dev
Algorithm 9Q41HMXVVA
| URI | m2://inv/9Q41HMXVVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baum–Welch algorithm#Z5VF, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Arthur P. Dempster 9Q4401C8VK
| URI | m2://inv/9Q4401C8VK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#R9JQ, Arthur P. Dempster (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#O9DG, Arthur P. Dempster (topic)
History
- 2026-11-02: add by m2/dev
9Q488CMQ27 9Q488CMQ27
| URI | m2://inv/9Q488CMQ27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2302.06189#NMU8 (statement). In N5ZSHXYYV6/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Properties 9Q48N1PPR7
| URI | m2://inv/9Q48N1PPR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nevanlinna theory#R6IM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Feature selection 9Q494N5X02
| URI | m2://inv/9Q494N5X02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#3Q6T, Feature selection (definition)
History
- 2026-11-02: add by m2/dev
9Q4FBE567Y 9Q4FBE567Y
| URI | m2://inv/9Q4FBE567Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.13042#MPMF (statement). In 4QA108C07Y/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
9Q4FMRX5AB 9Q4FMRX5AB
| URI | m2://inv/9Q4FMRX5AB |
|---|---|
| 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.10413#H8KT (statement). In 68MTQ59QTQ/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.10
logical graph 9Q4G34KFE3
| URI | m2://inv/9Q4G34KFE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6667503, logical graph (unknown). Also nLab logical graph
History
- 2026-10-26: add by m2/dev
Responsive predicate 9Q4H2A1EC8
| URI | m2://inv/9Q4H2A1EC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Responsive predicate, Responsive predicate (definition). Also Wikidata Q106838674
History
- 2026-11-02: add by m2/dev
Group contraction lemma 9Q4JF2Y10Z
| URI | m2://inv/9Q4JF2Y10Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrow's impossibility theorem#L48M, Group contraction lemma (statement)
History
- 2026-11-02: add by m2/dev
9Q53TEQ3YR 9Q53TEQ3YR
| URI | m2://inv/9Q53TEQ3YR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#4W9Y (statement). In Z7E16PFFCP/e1, corollary C
History
- 2026-10-30: add by m2/v0.4.12
9Q5CBNEDK6 9Q5CBNEDK6
| URI | m2://inv/9Q5CBNEDK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/soundness.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 55.12
History
- 2026-11-01: add by m2/v0.6.13
9Q5GJDXNT6 9Q5GJDXNT6
| URI | m2://inv/9Q5GJDXNT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.27272#DXNM (statement). In BDEA3TDATY/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
9Q5KJC7A3B 9Q5KJC7A3B
| URI | m2://inv/9Q5KJC7A3B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise:noncontpartialsexist (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
Steven Roman 9Q5QQ2GPEJ
| URI | m2://inv/9Q5QQ2GPEJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steven Roman, Steven Roman (topic). Also Wikidata Q7615207
History
- 2026-11-02: add by m2/dev
target, of a path constructor 9Q5VQ2M4MB
| URI | m2://inv/9Q5VQ2M4MB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.6/target-of-a-path-constructor, target, of a path constructor (concept). In N54F33XE07, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
9Q5X5WBJG1 9Q5X5WBJG1
| URI | m2://inv/9Q5X5WBJG1 |
|---|---|
| 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 2207.12181#7C5U (statement). In FSD8NE3XSR/e1, corollary 7.10
History
- 2026-10-27: add by m2/v0.4.0
9Q5XXVWGQ2 9Q5XXVWGQ2
| URI | m2://inv/9Q5XXVWGQ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01240#3T5V (statement). In XD5HCP8DHF/e1, proposition 31
History
- 2026-10-29: add by m2/v0.4.12
9Q5XZ0V197 9Q5XZ0V197
| URI | m2://inv/9Q5XZ0V197 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20663#QIA0 (statement). In AZMX0CY5NE/e1, lemma 23
History
- 2026-10-27: add by m2/v0.4.2
9Q6096SN7X 9Q6096SN7X
| URI | m2://inv/9Q6096SN7X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#unifcauchycauchy:lemma (statement). In E59CDZA4DP, lemma, section 2.4.2
History
- 2026-11-01: add by m2/v0.6.13
9Q61CW0WJN 9Q61CW0WJN
| URI | m2://inv/9Q61CW0WJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#0HLA (statement). In VN084GGZGK/e1, proposition 3.25
History
- 2026-10-28: add by m2/v0.4.3
hexagonal bipyramid 9Q61JZQHVF
| URI | m2://inv/9Q61JZQHVF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3094168, hexagonal bipyramid (unknown). Also MathWorld HexagonalDipyramid
- wikipedia: Wikipedia Hexagonal bipyramid, Hexagonal bipyramid (object). Also Wikidata Q3094168
History
- 2026-10-26: add by m2/dev
9Q671GBZ1V 9Q671GBZ1V
| URI | m2://inv/9Q671GBZ1V |
|---|---|
| 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.07401#E360 (statement). In FQ5435B36D/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Tree 9Q67G4Q452
| URI | m2://inv/9Q67G4Q452 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree (descriptive set theory), Tree (definition). Also Wikidata Q7837528
History
- 2026-11-02: add by m2/dev
Kronecker–Weber theorem 9Q68BNDW02
| URI | m2://inv/9Q68BNDW02 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Kronecker–Weber theorem AW00HPFB54 |
Mentions
- mathlib_1000: mathlib_1000 Q1369453, Kronecker–Weber theorem (statement). Also Wikidata Q1369453
- thousand_plus: thousand_plus Q1369453, Kronecker–Weber theorem (statement). Also Wikidata Q1369453, Wikipedia Kronecker–Weber theorem
- wikidata: Wikidata Q1369453, Kronecker–Weber theorem (statement). Also nLab Kronecker-Weber theorem
- wikipedia: Wikipedia Kronecker–Weber theorem, Kronecker–Weber theorem (statement). Also Wikidata Q1369453
History
- 2026-10-26: add by m2/dev
9Q6P6D19HE 9Q6P6D19HE
| URI | m2://inv/9Q6P6D19HE |
|---|---|
| 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 math/9201244#WMVS (statement). In 7D3HCN21MK/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.5
7-demicube 9Q6PVMF2QV
| URI | m2://inv/9Q6PVMF2QV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#BU6S, 7-demicube (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#IGOR, 7-demicube (object)
History
- 2026-11-02: add by m2/dev
Well-posedness of the Dirichlet problem 9Q6Q59611J
| URI | m2://inv/9Q6Q59611J |
|---|---|
| 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.17519#6FBT, Well-posedness of the Dirichlet problem (statement). In H2DNTQ5MKV/e1, proposition 3.14
History
- 2026-10-28: add by m2/v0.4.2
type 9Q6RD3TF90
| URI | m2://inv/9Q6RD3TF90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#G6GS, type (definition)
History
- 2026-11-02: add by m2/dev
Representations 9Q6SBSXAAA
| URI | m2://inv/9Q6SBSXAAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac delta function#DMSC, Representations (definition)
History
- 2026-11-02: add by m2/dev
Computation 9Q6VT9D79Z
| URI | m2://inv/9Q6VT9D79Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum network#F4JV, Computation (definition)
History
- 2026-11-02: add by m2/dev
Conway notation 9Q6XP8KJTB
| URI | m2://inv/9Q6XP8KJTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5166744, Conway notation (unknown). Also MathWorld ConwaysKnotNotation
- wikipedia: Wikipedia Conway notation (knot theory), Conway notation (definition). Also Wikidata Q5166744
History
- 2026-10-26: add by m2/dev
Magnetic monopole 9Q6YH2FAMQ
| URI | m2://inv/9Q6YH2FAMQ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic monopole, Magnetic monopole (conjecture). Also Wikidata Q219708
History
- 2026-11-02: add by m2/dev
9Q73BZS8B0 9Q73BZS8B0
| URI | m2://inv/9Q73BZS8B0 |
|---|---|
| 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.22769#6IIB (statement)
History
- 2026-11-02: add by m2/v0.6.17
W-algebra 9Q75JDJ2BN
| URI | m2://inv/9Q75JDJ2BN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7945091, W-algebra (unknown). Also nLab W algebra
- wikipedia: Wikipedia W-algebra, W-algebra (definition). Also Wikidata Q7945091
History
- 2026-10-26: add by m2/dev
9Q75R186C4 9Q75R186C4
| URI | m2://inv/9Q75R186C4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#PPDD (statement). In 37S7MNMZ2F/e1, corollary 32
History
- 2026-10-27: add by m2/v0.3.5
Luck in Islam 9Q76AS32M5
| URI | m2://inv/9Q76AS32M5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luck#PN9B, Luck in Islam (unknown)
History
- 2026-11-02: add by m2/dev
Mordell conjecture 9Q78XA14B0
| URI | m2://inv/9Q78XA14B0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#RM3O, Mordell conjecture (statement)
- wikipedia: Wikipedia List of curves topics#51KF, Mordell conjecture (statement)
History
- 2026-11-02: add by m2/dev
9Q7CP67DAV 9Q7CP67DAV
| URI | m2://inv/9Q7CP67DAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.02275#8208 (statement). In 1QXCNGRWV1/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
9Q7G5ZBM30 9Q7G5ZBM30
| URI | m2://inv/9Q7G5ZBM30 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:mscross (exercise). In E59CDZA4DP, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
Examples 9Q7H7S0JZ0
| URI | m2://inv/9Q7H7S0JZ0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisor#N8U5, Examples (example)
History
- 2026-11-02: add by m2/dev
Icosihexagon 9Q7HNTF0HJ
| URI | m2://inv/9Q7HNTF0HJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0G1O, Icosihexagon (definition)
History
- 2026-11-02: add by m2/dev
Dannie Heineman Prize for Mathematical Physics 9Q7T65TQR1
| URI | m2://inv/9Q7T65TQR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dannie Heineman Prize for Mathematical Physics, Dannie Heineman Prize for Mathematical Physics (definition). Also Wikidata Q1164475
History
- 2026-11-02: add by m2/dev
The Aronsson PDE in general not sufficient for minimality in $\L^\infty$, cf.\ Yu 9Q7X25TVZM
| URI | m2://inv/9Q7X25TVZM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#92VB, The Aronsson PDE in general not sufficient for minimality in $\L^\infty$, cf.\ Yu (example)
History
- 2026-11-01: add by m2/v0.6.15
Implementations 9Q7X9ZZVRG
| URI | m2://inv/9Q7X9ZZVRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shabal#I2IY, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Generalized Riemann-Stieltjes integral 9Q84BTY4TX
| URI | m2://inv/9Q84BTY4TX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Stieltjes integral#E2XY, Generalized Riemann-Stieltjes integral (unknown)
History
- 2026-11-02: add by m2/dev
History of computational finance 9Q855X3HDA
| URI | m2://inv/9Q855X3HDA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational finance#CFKK, History of computational finance (unknown)
History
- 2026-11-02: add by m2/dev
pointwise convergence 9Q896GGER2
| URI | m2://inv/9Q896GGER2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.2.1/pointwise-convergence, pointwise convergence (concept). In E59CDZA4DP, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
Asymptotic minimax risk 9Q8KYZ3TMF
| URI | m2://inv/9Q8KYZ3TMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#5SPC, Asymptotic minimax risk (statement)
History
- 2026-11-01: add by m2/v0.6.15
James Garson 9Q8N4F4WQ8
| URI | m2://inv/9Q8N4F4WQ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Garson, James Garson (topic). Also Wikidata Q6134515
History
- 2026-11-02: add by m2/dev
Lisa Weissfeld 9Q8RQCX43F
| URI | m2://inv/9Q8RQCX43F |
|---|---|
| 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#PKBT, Lisa Weissfeld (topic)
History
- 2026-11-02: add by m2/dev
Properties 9Q8YGE5JAA
| URI | m2://inv/9Q8YGE5JAA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irrational rotation#7PZG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lorentzian function 9Q90QXATTP
| URI | m2://inv/9Q90QXATTP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy distribution#LGVS, Lorentzian function (unknown)
History
- 2026-11-02: add by m2/dev
9Q972J5WD8 9Q972J5WD8
| URI | m2://inv/9Q972J5WD8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#prob:hilbert_from_weak (exercise). In RZP28ERRZV, problem, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
9Q98D9RB7G 9Q98D9RB7G
| URI | m2://inv/9Q98D9RB7G |
|---|---|
| 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 2609.30482#U02Z (statement). In KWB9M5YH9G/e1, proposition 7.1
History
- 2026-10-31: add by m2/v0.5.6
Connection 9Q98GGEBH2
| URI | m2://inv/9Q98GGEBH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connection (mathematics), Connection (definition). Also Wikidata Q31924
History
- 2026-11-02: add by m2/dev
9Q9XC7CV86 9Q9XC7CV86
| URI | m2://inv/9Q9XC7CV86 |
|---|---|
| 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 2508.02432#E61A (statement). In B366ACYB37/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.5
9QA3K626K2 9QA3K626K2
| URI | m2://inv/9QA3K626K2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#D4Z3 (statement). In F1CYVYK7YB/e1, theorem 8.3
History
- 2026-10-29: add by m2/v0.4.10
Ramanujan's cos/cosh identity 9QA70GTBXH
| URI | m2://inv/9QA70GTBXH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lemniscate elliptic functions#LCHX, Ramanujan's cos/cosh identity (statement)
History
- 2026-11-02: add by m2/dev
Chiliagon 9QAC8JH1XP
| URI | m2://inv/9QAC8JH1XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#5ZU9, Chiliagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#SJC7, Chiliagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#LVM2, Chiliagon (definition)
History
- 2026-11-02: add by m2/dev
Nuclear electron 9QB1C5MZQC
| URI | m2://inv/9QB1C5MZQC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atomic number#793F, Nuclear electron (unknown)
History
- 2026-11-02: add by m2/dev
Perspective transform 9QB409NSN5
| URI | m2://inv/9QB409NSN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#KLWX, Perspective transform (definition)
History
- 2026-11-02: add by m2/dev
9QBB3V3170 9QBB3V3170
| URI | m2://inv/9QBB3V3170 |
|---|---|
| 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.21972#6WN1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition 9QBESZ02Y2
| URI | m2://inv/9QBESZ02Y2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic matroid#IY1G, Definition (definition)
History
- 2026-11-02: add by m2/dev
Su Buqing 9QBJJXFVS1
| URI | m2://inv/9QBJJXFVS1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#WH4X, Su Buqing (unknown)
History
- 2026-11-02: add by m2/dev
Spectra 9QBK5P9PKZ
| URI | m2://inv/9QBK5P9PKZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectra (mathematical association), Spectra (topic). Also Wikidata Q85802552
History
- 2026-11-02: add by m2/dev
Avoiding Curry's paradox 9QBNZ7DK89
| URI | m2://inv/9QBNZ7DK89 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Impossible world#PPIW, Avoiding Curry's paradox (statement)
History
- 2026-11-02: add by m2/dev
9QBTVB7AYG 9QBTVB7AYG
| URI | m2://inv/9QBTVB7AYG |
|---|---|
| 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 2607.27246#NY1C (statement). In G0HJ35BDKN/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
9QBVFNMZDH 9QBVFNMZDH
| URI | m2://inv/9QBVFNMZDH |
|---|---|
| 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.03856#MJ4C (statement). In HTBRYNPHSJ/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.12
9QBZ1FK1CH 9QBZ1FK1CH
| URI | m2://inv/9QBZ1FK1CH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/isomorphism.tex#thm:isom (statement). In PKGMM3P5QY, thm, section 46.2
History
- 2026-11-01: add by m2/v0.6.13
9QC1G0YCDT 9QC1G0YCDT
| URI | m2://inv/9QC1G0YCDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24523#B8H9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shinzo Watanabe 9QC2DFQ7F0
| URI | m2://inv/9QC2DFQ7F0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shinzo Watanabe, Shinzo Watanabe (topic). Also Wikidata Q11562063
History
- 2026-11-02: add by m2/dev
9QC313EMXC 9QC313EMXC
| URI | m2://inv/9QC313EMXC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#problem-8 (exercise). In P1C114YBXG, problem, section H
History
- 2026-11-01: add by m2/v0.6.13
9QC4F3MDCC 9QC4F3MDCC
| URI | m2://inv/9QC4F3MDCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#W2VP (statement). In 94RBNQA07A/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.3.5
Bass diffusion model 9QC5ZPKPRQ
| URI | m2://inv/9QC5ZPKPRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bass diffusion model, Bass diffusion model (definition). Also Wikidata Q810438
History
- 2026-11-02: add by m2/dev
Le Chatelier's principle 9QC77094CW
| URI | m2://inv/9QC77094CW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Le Chatelier's principle, Le Chatelier's principle (statement). Also Wikidata Q192690
History
- 2026-11-02: add by m2/dev
9QC7VV1NDN 9QC7VV1NDN
| URI | m2://inv/9QC7VV1NDN |
|---|---|
| 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 2601.15403#8DWN (statement). In BSWNH3NW1M/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
9QCCP2K869 9QCCP2K869
| URI | m2://inv/9QCCP2K869 |
|---|---|
| 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 1812.02599#Q8MB (statement). In W41H3EDETZ/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Alternative definitions 9QCHKYDWDS
| URI | m2://inv/9QCHKYDWDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envelope (mathematics)#HNCS, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
Examples 9QCJPDATCD
| URI | m2://inv/9QCJPDATCD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive dimension#QYMM, Examples (example)
History
- 2026-11-02: add by m2/dev
ground atom 9QCKH105JY
| URI | m2://inv/9QCKH105JY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110765082, ground atom (unknown). Also MathWorld GroundAtom
History
- 2026-10-26: add by m2/dev
9QD11AS2YY 9QD11AS2YY
| URI | m2://inv/9QD11AS2YY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 1503.05744#SPSO (statement). In 5XKHZKEGAF/e1, corollary 2.9
History
- 2026-10-27: add by m2/v0.3.5
9QD7DWY18J 9QD7DWY18J
| URI | m2://inv/9QD7DWY18J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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 2609.30033#IP2L (statement)
History
- 2026-11-01: add by m2/v0.6.15
9QD8A2D021 9QD8A2D021
| URI | m2://inv/9QD8A2D021 |
|---|---|
| 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.13580#E5XP (statement). In KEQ57N9N7Z/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
9QDBPKVQTF 9QDBPKVQTF
| URI | m2://inv/9QDBPKVQTF |
|---|---|
| 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 2109.12716#8SA5 (statement). In 6X76XBE3HV/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Cantor 9QDBVSDW9T
| URI | m2://inv/9QDBVSDW9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm-4, Cantor (statement). In N54F33XE07, thm, section C.2
History
- 2026-11-01: add by m2/v0.6.13
9QDCDNDXBN 9QDCDNDXBN
| URI | m2://inv/9QDCDNDXBN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#RMHS (definition). In 9H45HQE7AZ/e1, definition 6.3
History
- 2026-10-27: add by m2/v0.3.5
Construction of Haar measure 9QDD698RBX
| URI | m2://inv/9QDD698RBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haar measure#QB49, Construction of Haar measure (definition)
History
- 2026-11-02: add by m2/dev
Generalization 9QDJ91CQ6X
| URI | m2://inv/9QDJ91CQ6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capsule (geometry)#EMK5, Generalization (statement)
History
- 2026-11-02: add by m2/dev
9QDJZTZZ0M 9QDJZTZZ0M
| URI | m2://inv/9QDJZTZZ0M |
|---|---|
| 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 2609.36509#MVIE (statement). In DPJ15KW23C/e1, proposition 8.9
History
- 2026-10-30: add by m2/v0.4.12
9QDNCAA0N7 9QDNCAA0N7
| URI | m2://inv/9QDNCAA0N7 |
|---|---|
| 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.22218#EO8C (statement). In 338GKREFVP/e1, lemma 13
History
- 2026-10-27: add by m2/v0.4.0
modal fictionalism 9QDPAHWSK9
| URI | m2://inv/9QDPAHWSK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#EYCI, modal fictionalism (definition)
History
- 2026-11-02: add by m2/dev
9QDQ9FY7KT 9QDQ9FY7KT
| URI | m2://inv/9QDQ9FY7KT |
|---|---|
| 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.06340#MX9D (statement). In PKNZPECH82/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Rank of a partition 9QDY4RNR6G
| URI | m2://inv/9QDY4RNR6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#WDFE, Rank of a partition (definition)
History
- 2026-11-02: add by m2/dev
9QE427R35E 9QE427R35E
| URI | m2://inv/9QE427R35E |
|---|---|
| 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 2610.03835#ZILN (statement). In KAYGQMQPGS/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.12
Applications 9QE89F4DZY
| URI | m2://inv/9QE89F4DZY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–Weierstrass theorem#3JOB, Applications (example)
History
- 2026-11-02: add by m2/dev
Partition of bounded conditional mean 9QEDGN44DJ
| URI | m2://inv/9QEDGN44DJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25388#X019, Partition of bounded conditional mean (statement)
History
- 2026-11-01: add by m2/v0.6.15
9QEF5JDF9N 9QEF5JDF9N
| URI | m2://inv/9QEF5JDF9N |
|---|---|
| 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.14319#4YPU (statement). In N2FBBMPEXA/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
sigma-ideal 9QEFHVRC65
| URI | m2://inv/9QEFHVRC65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7512218, sigma-ideal (unknown). Also nLab sigma-ideal
- wikipedia: Wikipedia Sigma-ideal, Sigma-ideal (definition). Also Wikidata Q7512218
History
- 2026-10-26: add by m2/dev
9QERAYYM4R 9QERAYYM4R
| URI | m2://inv/9QERAYYM4R |
|---|---|
| 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.16554#PX5E (statement). In GWNT8HEZG1/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.6
9QEWXCQDFY 9QEWXCQDFY
| URI | m2://inv/9QEWXCQDFY |
|---|---|
| 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 2106.09062#FKT9 (statement). In 8HAH8QVKDF/e1, proposition 2.8
History
- 2026-10-27: add by m2/v0.3.6
9QEY6AT7TP 9QEY6AT7TP
| URI | m2://inv/9QEY6AT7TP |
|---|---|
| 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.24408#AHNE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Slope number 9QF58QNBYT
| URI | m2://inv/9QF58QNBYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slope number, Slope number (definition). Also Wikidata Q7541353
History
- 2026-11-02: add by m2/dev
9QF5X8E0WW 9QF5X8E0WW
| URI | m2://inv/9QF5X8E0WW |
|---|---|
| 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.09084#N89E (statement). In F5VT2K2QYX/e1, lemma 19
History
- 2026-10-29: add by m2/v0.4.10
9QF8DW0BDP 9QF8DW0BDP
| URI | m2://inv/9QF8DW0BDP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#SQV4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
9QFCNHW3JG 9QFCNHW3JG
| URI | m2://inv/9QFCNHW3JG |
|---|---|
| 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.20002#KTGW (definition)
History
- 2026-11-02: add by m2/v0.6.18
9QFK4NTT0T 9QFK4NTT0T
| URI | m2://inv/9QFK4NTT0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-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.10481#7DIZ (statement). In ETV3D93XYD/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.10
9QFV147S73 9QFV147S73
| URI | m2://inv/9QFV147S73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2610.21960#7UUO (statement). In QX77AN49J0/e1, theorem 5.6
History
- 2026-10-27: add by m2/v0.4.2
Example 9QFXMGJFFH
| URI | m2://inv/9QFXMGJFFH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-port network#M10B, Example (example)
History
- 2026-11-02: add by m2/dev
transitivity, of $<$ for surreals 9QG24NFRC9
| URI | m2://inv/9QG24NFRC9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/transitivity-of-for-surreals, transitivity, of $<$ for surreals (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Zariski geometry 9QG6EBH3MT
| URI | m2://inv/9QG6EBH3MT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8066797, Zariski geometry (concept). Also nLab Zariski geometry
- wikipedia: Wikipedia Zariski geometry, Zariski geometry (definition). Also Wikidata Q8066797
History
- 2026-10-26: add by m2/dev
9QG6K9J1C2 9QG6K9J1C2
| URI | m2://inv/9QG6K9J1C2 |
|---|---|
| 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.19437#PQ0W (statement). In 9PXXGQ978Z/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Small dodecicosidodecahedron 9QG6NBHKSH
| URI | m2://inv/9QG6NBHKSH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#FXB3, Small dodecicosidodecahedron (object)
History
- 2026-11-02: add by m2/dev
Law of large numbers 9QGCJ1KVY5
| URI | m2://inv/9QGCJ1KVY5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability theory#9QSY, Law of large numbers (statement)
History
- 2026-11-02: add by m2/dev
Proposition 1 9QGK0F2DKW
| URI | m2://inv/9QGK0F2DKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geiringer–Laman theorem#A367, Proposition 1 (statement)
History
- 2026-11-02: add by m2/dev
9QGMRBVYQ2 9QGMRBVYQ2
| URI | m2://inv/9QGMRBVYQ2 |
|---|---|
| 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.05708#XBR9 (statement). In 3BJPFGJNSS/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
9QGS995KPR 9QGS995KPR
| URI | m2://inv/9QGS995KPR |
|---|---|
| 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.25524#2RXW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Steady State is Nash Equilibrium II 9QGT70KG79
| URI | m2://inv/9QGT70KG79 |
|---|---|
| Kind | statement |
| 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#D8ZZ, Steady State is Nash Equilibrium II (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cyclotomic fast Fourier transform 9QGV2TW4QH
| URI | m2://inv/9QGV2TW4QH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#TV31, Cyclotomic fast Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
Max Koecher 9QGWJQGSMV
| URI | m2://inv/9QGWJQGSMV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max Koecher, Max Koecher (topic). Also Wikidata Q88620
History
- 2026-11-02: add by m2/dev
Landau–de Gennes theory 9QH2RNBKAF
| URI | m2://inv/9QH2RNBKAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau–de Gennes theory, Landau–de Gennes theory (definition). Also Wikidata Q129738018
History
- 2026-11-02: add by m2/dev
9QH567KA19 9QH567KA19
| URI | m2://inv/9QH567KA19 |
|---|---|
| Kind | definition |
| 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.01737#06Z0 (definition). In M4JGP708F4/e1, definition 2.15
History
- 2026-10-29: add by m2/v0.4.12
Generalizations 9QHES42CY2
| URI | m2://inv/9QHES42CY2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birch and Swinnerton-Dyer conjecture#SCZP, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
9QHPDR0PCY 9QHPDR0PCY
| URI | m2://inv/9QHPDR0PCY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#QEWE (definition)
History
- 2026-11-01: add by m2/v0.6.15
absolute square 9QHTBM0BE9
| URI | m2://inv/9QHTBM0BE9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15788139, absolute square (unknown). Also MathWorld AbsoluteSquare
History
- 2026-10-26: add by m2/dev
Definition 9QJ3AX3A54
| URI | m2://inv/9QJ3AX3A54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scatter matrix#VRXH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Claude Crépeau 9QJ48VAM0V
| URI | m2://inv/9QJ48VAM0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JBZW, Claude Crépeau (unknown)
History
- 2026-11-02: add by m2/dev
9QJ5VET4WP 9QJ5VET4WP
| URI | m2://inv/9QJ5VET4WP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-1.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
9QJCHSXHD4 9QJCHSXHD4
| URI | m2://inv/9QJCHSXHD4 |
|---|---|
| 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.07927#KZGG (statement). In GKM19DHQTM/e1, theorem 6.27
History
- 2026-10-29: add by m2/v0.4.10
Gårding domain 9QJGPEDEX4
| URI | m2://inv/9QJGPEDEX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gårding domain, Gårding domain (definition). Also Wikidata Q5625932
History
- 2026-11-02: add by m2/dev
Statement of the theorem 9QJH1WWK0Q
| URI | m2://inv/9QJH1WWK0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Roch theorem#M068, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
9QJK4CZ5YA 9QJK4CZ5YA
| URI | m2://inv/9QJK4CZ5YA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#Z3ZO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fefferman's inequality 9QJQW33VNK
| URI | m2://inv/9QJQW33VNK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#F7TO, Fefferman's inequality (unknown)
History
- 2026-11-02: add by m2/dev
Complexity Zoo 9QJQY4X2FZ
| URI | m2://inv/9QJQY4X2FZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scott Aaronson#P0QU, Complexity Zoo (unknown)
History
- 2026-11-02: add by m2/dev
9QJRZAG5CK 9QJRZAG5CK
| URI | m2://inv/9QJRZAG5CK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 10.2
History
- 2026-11-01: add by m2/v0.6.13
Path rooted score 9QJY4N301F
| URI | m2://inv/9QJY4N301F |
|---|---|
| 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.39633#XFL3, Path rooted score (statement). In B339AJZP2S/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Alessandra Carbone 9QKFNVJM10
| URI | m2://inv/9QKFNVJM10 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alessandra Carbone, Alessandra Carbone (topic). Also Wikidata Q27559542
History
- 2026-11-02: add by m2/dev
Statement of the theorem 9QKW08E147
| URI | m2://inv/9QKW08E147 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almgren's isomorphism theorem#PNE2, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
9QKXJ6GF88 9QKXJ6GF88
| URI | m2://inv/9QKXJ6GF88 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/trees.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
9QKZ30A81D 9QKZ30A81D
| URI | m2://inv/9QKZ30A81D |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 51-XX, 52-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11596#WOLW (problem). In 76850E2X7T/e1, problem 1.3
History
- 2026-10-28: add by m2/v0.4.3
Minimum distance code 9QM5A8CVA6
| URI | m2://inv/9QM5A8CVA6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decoding methods#TBVB, Minimum distance code (unknown)
History
- 2026-11-02: add by m2/dev
9QM5XET4BH 9QM5XET4BH
| URI | m2://inv/9QM5XET4BH |
|---|---|
| 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 2604.05177#GUEY (statement). In G04BKQV6YM/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Michael A. E. Dummett 9QM9C3S1ZQ
| URI | m2://inv/9QM9C3S1ZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#RUWM, Michael A. E. Dummett (unknown)
History
- 2026-11-02: add by m2/dev
9QME6VTDWY 9QME6VTDWY
| URI | m2://inv/9QME6VTDWY |
|---|---|
| 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.27295#PZGZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement 9QMG7RGTB7
| URI | m2://inv/9QMG7RGTB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kanamori–McAloon theorem#PJWC, Statement (statement)
History
- 2026-11-02: add by m2/dev
Extension from a subgroup 9QMGVG9EWY
| URI | m2://inv/9QMGVG9EWY |
|---|---|
| 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.26576#BBFK, Extension from a subgroup (statement)
History
- 2026-11-01: add by m2/v0.6.15
Oracle machine 9QMMTRKQBS
| URI | m2://inv/9QMMTRKQBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oracle machine, Oracle machine (definition). Also Wikidata Q1143357
History
- 2026-11-02: add by m2/dev
9QMRFJSVYV 9QMRFJSVYV
| URI | m2://inv/9QMRFJSVYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#BK3N (statement). In SD28S3K7BT/e1, lemma 36
History
- 2026-10-29: add by m2/v0.4.12
Tweedie distribution 9QMRKWMWFG
| URI | m2://inv/9QMRKWMWFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tweedie distribution, Tweedie distribution (definition). Also Wikidata Q7857491
History
- 2026-11-02: add by m2/dev
9QMS5HG5XS 9QMS5HG5XS
| URI | m2://inv/9QMS5HG5XS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39104#ETTZ (definition). In V2NTW27MSJ/e1, definition 2.12
History
- 2026-10-30: add by m2/v0.4.12
9QN9W8SG4Q 9QN9W8SG4Q
| URI | m2://inv/9QN9W8SG4Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-12 (proof). In N54F33XE07, proof, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
History of differential equations 9QNE0GZARM
| URI | m2://inv/9QNE0GZARM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential equation#404I, History of differential equations (unknown)
History
- 2026-11-02: add by m2/dev
Example 9QNQ00T2T9
| URI | m2://inv/9QNQ00T2T9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pedal curve#DA5E, Example (example)
History
- 2026-11-02: add by m2/dev
Riemann–Hilbert correspondence 9QNSHA5VRG
| URI | m2://inv/9QNSHA5VRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Hilbert correspondence, Riemann–Hilbert correspondence (definition). Also Wikidata Q5986522
History
- 2026-11-02: add by m2/dev
Seven-point family 9QNVVTS2RT
| URI | m2://inv/9QNVVTS2RT |
|---|---|
| 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.08252#O36E, Seven-point family (statement). In M50TGNSJJR/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
Lower closure 9QP20DXNYE
| URI | m2://inv/9QP20DXNYE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper and lower sets#Q2WP, Lower closure (unknown)
History
- 2026-11-02: add by m2/dev
Retrospective determinism 9QP484XXR9
| URI | m2://inv/9QP484XXR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#0B14, Retrospective determinism (definition)
History
- 2026-11-02: add by m2/dev
9QPHG72JGT 9QPHG72JGT
| URI | m2://inv/9QPHG72JGT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34168#PMOA (example). In 30YQV8N04M/e1, example 8.7
History
- 2026-10-30: add by m2/v0.4.12
prime link 9QPN8M5WAQ
| URI | m2://inv/9QPN8M5WAQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77347966, prime link (unknown). Also MathWorld PrimeLink
History
- 2026-10-26: add by m2/dev
gradient descent square root 9QPR6ADAB2
| URI | m2://inv/9QPR6ADAB2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > gradient descent square root, gradient descent square root (unknown)
History
- 2026-10-26: add by m2/dev
9QQ2X34G64 9QQ2X34G64
| URI | m2://inv/9QQ2X34G64 |
|---|---|
| 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.11002#LPR8 (definition). In P55JSAYR3T/e1, definition
History
- 2026-10-28: add by m2/v0.4.3
Method 9QQQZTT8B5
| URI | m2://inv/9QQQZTT8B5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy–Ramanujan–Littlewood circle method#6ZHP, Method (definition)
History
- 2026-11-02: add by m2/dev
9QQREFEFGS 9QQREFEFGS
| URI | m2://inv/9QQREFEFGS |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#JI80 (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Markov random field 9QQT44SD02
| URI | m2://inv/9QQT44SD02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov random field, Markov random field (definition). Also Wikidata Q176827
History
- 2026-11-02: add by m2/dev
Normalized logarithmic primitive on an interval 9QQWV7NX06
| URI | m2://inv/9QQWV7NX06 |
|---|---|
| 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#50JY, Normalized logarithmic primitive on an interval (statement)
History
- 2026-11-01: add by m2/v0.6.15
9QR3FW9NY5 9QR3FW9NY5
| URI | m2://inv/9QR3FW9NY5 |
|---|---|
| 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 2610.02174#0B10 (statement). In 7JPHSV4NXW/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.12
medial inverted pentagonal hexecontahedron 9QR95HNM4V
| URI | m2://inv/9QR95HNM4V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6806060, medial inverted pentagonal hexecontahedron (unknown). Also MathWorld MedialInvertedPentagonalHexecontahedron
History
- 2026-10-26: add by m2/dev
Peg solitaire 9QRCD3Q137
| URI | m2://inv/9QRCD3Q137 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#S4QE, Peg solitaire (unknown)
History
- 2026-11-02: add by m2/dev
Exact half-space crossing-bond cell 9QRKSZG9S4
| URI | m2://inv/9QRKSZG9S4 |
|---|---|
| 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#1926, Exact half-space crossing-bond cell (statement)
History
- 2026-11-02: add by m2/v0.6.18
9QRNAT5CDK 9QRNAT5CDK
| URI | m2://inv/9QRNAT5CDK |
|---|---|
| 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 1612.08394#7L3V (statement). In 1P8D88DKG5/e1, corollary 8.1
History
- 2026-10-27: add by m2/v0.3.5
Sidney Reilly 9QRRVKKHVN
| URI | m2://inv/9QRRVKKHVN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#L95W, Sidney Reilly (unknown)
History
- 2026-11-02: add by m2/dev
Dieter Vollhardt 9QRSYH7Z66
| URI | m2://inv/9QRSYH7Z66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KMKN, Dieter Vollhardt (unknown)
History
- 2026-11-02: add by m2/dev
Applications 9QS9QYP2C7
| URI | m2://inv/9QS9QYP2C7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac delta function#O1VE, Applications (example)
History
- 2026-11-02: add by m2/dev
Free KLS bound 9QSA0P3RPS
| URI | m2://inv/9QSA0P3RPS |
|---|---|
| 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#XJYM, Free KLS bound (statement). In MZ60NP20BH/e1, theorem 5.12
History
- 2026-10-27: add by m2/v0.4.0
9QSAYNX7MX 9QSAYNX7MX
| URI | m2://inv/9QSAYNX7MX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01251#KNYX (statement). In CZ2247RGQ4/e1, theorem 3.1.2
History
- 2026-10-29: add by m2/v0.4.12
Expectation of weighted level increments 9QSH3ZJX52
| URI | m2://inv/9QSH3ZJX52 |
|---|---|
| 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.06372#SVQB, Expectation of weighted level increments (statement). In G3E1P350Z6/e1, lemma 7.13
History
- 2026-10-29: add by m2/v0.4.10
CoCoA 9QSQ2KJ5H9
| URI | m2://inv/9QSQ2KJ5H9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#QTBS, CoCoA (definition)
History
- 2026-11-02: add by m2/dev
9QSVRF024Z 9QSVRF024Z
| URI | m2://inv/9QSVRF024Z |
|---|---|
| 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.08664#EMI3 (statement). In 1YY0P4ZS0T/e1, proposition 61
History
- 2026-10-29: add by m2/v0.4.10
Proposition 9QT03CZXGK
| URI | m2://inv/9QT03CZXGK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#937N, Proposition (statement)
History
- 2026-11-02: add by m2/dev
9QT1DRRH29 9QT1DRRH29
| URI | m2://inv/9QT1DRRH29 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#PPB7 (statement). In AGJE43FTF8/e1, corollary 5.7
History
- 2026-10-27: add by m2/v0.4.2
double counting 9QT448JD4M
| URI | m2://inv/9QT448JD4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#LL1S, double counting (definition)
History
- 2026-11-02: add by m2/dev
No negative invariant sections 9QT522R022
| URI | m2://inv/9QT522R022 |
|---|---|
| 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#INFA, No negative invariant sections (statement). In PZJDV6SJ9E/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
9QT61VT711 9QT61VT711
| URI | m2://inv/9QT61VT711 |
|---|---|
| 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 2609.22642#O6G7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Martin Nowak 9QT66Y78V5
| URI | m2://inv/9QT66Y78V5 |
|---|---|
| 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#GL5L, Martin Nowak (unknown)
History
- 2026-11-02: add by m2/dev
9QTEVD2BTC 9QTEVD2BTC
| URI | m2://inv/9QTEVD2BTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38323#KA7M (statement). In MER0S03A77/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
9QTF5ME0HP 9QTF5ME0HP
| URI | m2://inv/9QTF5ME0HP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#W5PY (statement). In 1QSCT53ZED/e1, corollary 6.2
History
- 2026-10-27: add by m2/v0.4.0
Properties 9QTP4VBB6W
| URI | m2://inv/9QTP4VBB6W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz space#JEM7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Entailment 9QTRTMWWAR
| URI | m2://inv/9QTRTMWWAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/semantic-notions.tex#defn-2, Entailment (definition). In PKGMM3P5QY, defn, section 67.6
History
- 2026-11-01: add by m2/v0.6.13
9QV32SCAAA 9QV32SCAAA
| URI | m2://inv/9QV32SCAAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2505.05539#1KGQ (statement). In 8SVVEVGMNE/e1, corollary 4.24
History
- 2026-10-27: add by m2/v0.3.5
9QV5T89EAA 9QV5T89EAA
| URI | m2://inv/9QV5T89EAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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 2005.03073#DPWG (statement). In P2ETMXKVDS/e1, corollary 1.13
History
- 2026-10-27: add by m2/v0.3.5
9QV78GBZ6R 9QV78GBZ6R
| URI | m2://inv/9QV78GBZ6R |
|---|---|
| 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 1806.05002#D3T0 (statement). In JBAQ7DTW7B/e1, lemma D.8
History
- 2026-10-27: add by m2/v0.3.5
position vector 9QVE989XZA
| URI | m2://inv/9QVE989XZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#TWGH, position vector (definition)
History
- 2026-11-02: add by m2/dev
Rio Rico Southeast 9QVFP69S4B
| URI | m2://inv/9QVFP69S4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#D7DC, Rio Rico Southeast (unknown)
History
- 2026-11-02: add by m2/dev
tight closure 9QVJQR7R3V
| URI | m2://inv/9QVJQR7R3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#YY0F, tight closure (definition)
History
- 2026-11-02: add by m2/dev
Clopen approximation 9QVJXS87QM
| URI | m2://inv/9QVJXS87QM |
|---|---|
| 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#0H3B, Clopen approximation (statement)
History
- 2026-11-02: add by m2/v0.6.18
Supervisory control theory 9QVPRTNXHM
| URI | m2://inv/9QVPRTNXHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supervisory control theory, Supervisory control theory (definition). Also Wikidata Q7644327
History
- 2026-11-02: add by m2/dev
Takao Yamaguchi 9QW9MBG995
| URI | m2://inv/9QW9MBG995 |
|---|---|
| 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#THUF, Takao Yamaguchi (unknown)
History
- 2026-11-02: add by m2/dev
Boris Tsygan 9QWB34D4K4
| URI | m2://inv/9QWB34D4K4 |
|---|---|
| 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 Q55813744, Boris Tsygan (unknown). Also nLab Boris Tsygan
- wikipedia: Wikipedia Boris Tsygan, Boris Tsygan (topic). Also Wikidata Q55813744
History
- 2026-10-26: add by m2/dev
applied category theory 9QWKM25W0T
| URI | m2://inv/9QWKM25W0T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85850206, applied category theory (unknown). Also nLab applied category theory
- wikipedia: Wikipedia Applied category theory, Applied category theory (definition). Also Wikidata Q85850206
History
- 2026-10-26: add by m2/dev
9QX0HGE1J7 9QX0HGE1J7
| URI | m2://inv/9QX0HGE1J7 |
|---|---|
| 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.02628#V8UN (statement). In G4S9C5M1A4/e1, corollary B.3
History
- 2026-10-29: add by m2/v0.4.12
Joel Lebowitz 9QX1XDTFAV
| URI | m2://inv/9QX1XDTFAV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#NJYB, Joel Lebowitz (unknown)
History
- 2026-11-02: add by m2/dev
Yadollah Ordokhani 9QX640KHP9
| URI | m2://inv/9QX640KHP9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yadollah Ordokhani, Yadollah Ordokhani (topic). Also Wikidata Q120965079
History
- 2026-11-02: add by m2/dev
9QX6GJ27S5 9QX6GJ27S5
| URI | m2://inv/9QX6GJ27S5 |
|---|---|
| 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.36113#3K35 (statement). In FSGSVD0XYH/e1, proposition 10
History
- 2026-10-30: add by m2/v0.4.12
directrix 9QX7B6G7BV
| URI | m2://inv/9QX7B6G7BV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12718748, directrix (unknown). Also MathWorld ConicSectionDirectrix
History
- 2026-10-26: add by m2/dev
Second fundamental theorem of welfare economics 9QXAN16YV5
| URI | m2://inv/9QXAN16YV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrow–Debreu model#E2IT, Second fundamental theorem of welfare economics (statement)
History
- 2026-11-02: add by m2/dev
9QXAQ7AY9R 9QXAQ7AY9R
| URI | m2://inv/9QXAQ7AY9R |
|---|---|
| Kind | example |
| 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.17129#G0VF (example). In TCZWAMNYCV/e1, example 1.1
History
- 2026-10-28: add by m2/v0.4.2
Stabilizers on the central cyclic cover 9QXE47J4DW
| URI | m2://inv/9QXE47J4DW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#DYU9, Stabilizers on the central cyclic cover (statement)
History
- 2026-11-02: add by m2/v0.6.18
Log-linear analysis 9QXKMCRPK6
| URI | m2://inv/9QXKMCRPK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-linear analysis, Log-linear analysis (definition). Also Wikidata Q259304
History
- 2026-11-02: add by m2/dev
Oded Schramm 9QXMB08TRQ
| URI | m2://inv/9QXMB08TRQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#EGPW, Oded Schramm (topic)
History
- 2026-11-02: add by m2/dev
Tail estimate 9QXQNB78MG
| URI | m2://inv/9QXQNB78MG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#LDMX, Tail estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
k-SVD algorithm 9QXTJ7JTJJ
| URI | m2://inv/9QXTJ7JTJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-SVD#U5LE, k-SVD algorithm (definition)
History
- 2026-11-02: add by m2/dev
The Sun 9QXYGXKW0X
| URI | m2://inv/9QXYGXKW0X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#NH4K, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
The Unimaginable Mathematics of Borges' Library of Babel 9QY4Y0PWCR
| URI | m2://inv/9QY4Y0PWCR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Unimaginable Mathematics of Borges' Library of Babel, The Unimaginable Mathematics of Borges' Library of Babel (definition). Also Wikidata Q96409675
History
- 2026-11-02: add by m2/dev
Main theorem 9QYHBZ1XVY
| URI | m2://inv/9QYHBZ1XVY |
|---|---|
| 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.21534#FM28, Main theorem (statement)
History
- 2026-11-02: add by m2/v0.6.18
MultiSwap 9QYJS081KX
| URI | m2://inv/9QYJS081KX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MultiSwap, MultiSwap (definition). Also Wikidata Q6934537
History
- 2026-11-02: add by m2/dev
slippery slope 9QYTH6A6HT
| URI | m2://inv/9QYTH6A6HT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#7MJC, slippery slope (definition)
History
- 2026-11-02: add by m2/dev
Unsupervised multiple kernel learning 9QYWB4FN57
| URI | m2://inv/9QYWB4FN57 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple kernel learning#7DG8, Unsupervised multiple kernel learning (unknown)
History
- 2026-11-02: add by m2/dev
Balding, David 9QZ01WTEFS
| URI | m2://inv/9QZ01WTEFS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#A49L, Balding, David (unknown)
History
- 2026-11-02: add by m2/dev
9QZ4N1G2J0 9QZ4N1G2J0
| URI | m2://inv/9QZ4N1G2J0 |
|---|---|
| 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.39793#3R7E (statement). In 380M45ANWF/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
77 9QZ7BBSE47
| URI | m2://inv/9QZ7BBSE47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q713167, 77 (statement). Also ProofWiki 77
History
- 2026-10-26: add by m2/dev
9QZ7XRHNH3 9QZ7XRHNH3
| URI | m2://inv/9QZ7XRHNH3 |
|---|---|
| Kind | example |
| 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.21622#CNI9 (example). In H21X3FHNYJ/e1, example 1.10
History
- 2026-10-27: add by m2/v0.4.2
9QZ82ZK92S 9QZ82ZK92S
| URI | m2://inv/9QZ82ZK92S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25896#7KBA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Criterion validity 9QZACJ4GJ7
| URI | m2://inv/9QZACJ4GJ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Validity (statistics)#HQKE, Criterion validity (statement)
History
- 2026-11-02: add by m2/dev
Algebraic properties 9QZE1EE9WW
| URI | m2://inv/9QZE1EE9WW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte 12-cage#DQ98, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Geometric combinatorics 9QZHD2FA7N
| URI | m2://inv/9QZHD2FA7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric combinatorics, Geometric combinatorics (definition). Also Wikidata Q5535478
History
- 2026-11-02: add by m2/dev
9QZHNWT96P 9QZHNWT96P
| URI | m2://inv/9QZHNWT96P |
|---|---|
| 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.14692#5TJL (statement). In NE5EH5FXRV/e1, proposition 4.14
History
- 2026-10-27: add by m2/v0.3.5
classical; Li , \S 6 9QZVGEGC3V
| URI | m2://inv/9QZVGEGC3V |
|---|---|
| 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.22298#5A69, classical; Li , \S 6 (statement)
History
- 2026-11-02: add by m2/v0.6.17