Inventory rows C5

Ratio scale C506PZ6S60

URI	`m2://inv/C506PZ6S60`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Positive real numbers#X4YN, Ratio scale (unknown)

History

2026-11-02: add by m2/dev

Rao–Blackwell theorem C50E0Q4RE2

URI	`m2://inv/C50E0Q4RE2`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Sufficient statistic#D88L, Rao–Blackwell theorem (statement)

History

2026-11-02: add by m2/dev

C50EMG21PA C50EMG21PA

URI	`m2://inv/C50EMG21PA`
Kind	example
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02756#45EF (example). In GCQ5YCQQHD/e1, example 2.4

History

2026-10-29: add by m2/v0.4.12

Phillip Colella C50FSWR8CM

URI	`m2://inv/C50FSWR8CM`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Phillip Colella, Phillip Colella (topic). Also Wikidata Q7185650

History

2026-11-02: add by m2/dev

Arcsine law C50GHFAW65

URI	`m2://inv/C50GHFAW65`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bussgang theorem#4HX5, Arcsine law (statement)

History

2026-11-02: add by m2/dev

Buyalo-Lebedeva C50HWK4DDQ

URI	`m2://inv/C50HWK4DDQ`
Kind	statement
Layer	research
MSC	51-XX, 52-XX, 57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25468#KO31, Buyalo-Lebedeva (statement)

History

2026-11-01: add by m2/v0.6.15

Locally co-minimal distance, adapted C50JXJXWWM

URI	`m2://inv/C50JXJXWWM`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28028#MQ13, Locally co-minimal distance, adapted (statement)

History

2026-11-01: add by m2/v0.6.15

Definition C50VN7TXVD

URI	`m2://inv/C50VN7TXVD`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bitensor#L3KX, Definition (definition)

History

2026-11-02: add by m2/dev

Support function C50Z5W27GJ

URI	`m2://inv/C50Z5W27GJ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Support function 1H92CYA4ZC

Mentions

wikidata: Wikidata Q3075191, Support function (unknown). Also MathWorld SupportFunction
wikipedia: Wikipedia Support function, Support function (definition). Also Wikidata Q3075191

History

2026-10-26: add by m2/dev

Restriction model through degree $q_{\max}$ C510QSDQ16

URI	`m2://inv/C510QSDQ16`
Kind	definition
Layer	research
MSC	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 2610.09295#6C1G, Restriction model through degree $q_{\max}$ (definition). In 29X0B511NF/e1, definition 4.3

History

2026-10-29: add by m2/v0.4.10

Dwork's method C511S6QHJ2

URI	`m2://inv/C511S6QHJ2`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#KYXJ, Dwork's method (definition)

History

2026-11-02: add by m2/dev

C512A1PBXQ C512A1PBXQ

URI	`m2://inv/C512A1PBXQ`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/first-order-logic/completeness/compactness-direct.tex#prop:fsat-instances (statement). In PKGMM3P5QY, prop, section 9.8

History

2026-11-01: add by m2/v0.6.13

C512FX4NZ8 C512FX4NZ8

URI	`m2://inv/C512FX4NZ8`
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.24878#7Z2Y (statement)

History

2026-11-01: add by m2/v0.6.15

C51754K5X5 C51754K5X5

URI	`m2://inv/C51754K5X5`
Kind	statement
Layer	research
MSC	16-XX, 20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21668#S54Y (statement)

History

2026-11-02: add by m2/v0.6.18

circle C51BFBHK4F

URI	`m2://inv/C51BFBHK4F`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Circle 060W5CBZP6

Mentions

wikidata: Wikidata Q17278, circle (unknown). Also EoM Circle, MathWorld Circle, nLab circle
wikipedia: Wikipedia Circle, Circle (definition). Also Wikidata Q17278

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

Multi-species initial condition C51BQA1J6X

URI	`m2://inv/C51BQA1J6X`
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.32710#M4IU, Multi-species initial condition (statement). In KVYG6R7CGJ/e1, corollary 2.10

History

2026-10-31: add by m2/v0.5.6

Residual bound; at $\alpha=\tfrac12$ C51G3295AY

URI	`m2://inv/C51G3295AY`
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.05558#GBN1, Residual bound; at $\alpha=\tfrac12$ (statement). In VBS62KXK7J/e1, lemma 1

History

2026-10-29: add by m2/v0.4.10

C51N1KYXY0 C51N1KYXY0

URI	`m2://inv/C51N1KYXY0`
Kind	example
Layer	research
MSC	01-XX, 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.28552#N9HW (example)

History

2026-11-01: add by m2/v0.6.15

Statement of the lemma C51PFHH188

URI	`m2://inv/C51PFHH188`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Zorn's lemma#BAZ1, Statement of the lemma (statement)

History

2026-11-02: add by m2/dev

Isomap C51PJBEPDF

URI	`m2://inv/C51PJBEPDF`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Isomap, Isomap (definition). Also Wikidata Q6086067

History

2026-11-02: add by m2/dev

Example C51RN08GF0

URI	`m2://inv/C51RN08GF0`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cofree coalgebra#S5QK, Example (example)

History

2026-11-02: add by m2/dev

Related theorems C520PZEDWH

URI	`m2://inv/C520PZEDWH`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Tennis ball theorem#7KXE, Related theorems (statement)

History

2026-11-02: add by m2/dev

C52374ZAD7 C52374ZAD7

URI	`m2://inv/C52374ZAD7`
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 2609.27694#VZWR (statement)

History

2026-11-01: add by m2/v0.6.15

Directional backward Monge density C527PTBZPF

URI	`m2://inv/C527PTBZPF`
Kind	statement
Layer	research
MSC	00-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38228#QHGO, Directional backward Monge density (statement). In 9YAE8FNQST/e1, theorem 11.21

History

2026-10-30: add by m2/v0.4.12

C52B2V49E8 C52B2V49E8

URI	`m2://inv/C52B2V49E8`
Kind	definition
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.36423#RHOU (definition). In Q5Z178SAHP/e1, definition 4.2

History

2026-10-30: add by m2/v0.4.12

C52BX86021 C52BX86021

URI	`m2://inv/C52BX86021`
Kind	statement
Layer	research
MSC	11-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13528#OBAQ (statement). In TSBJEBS7SP/e1, proposition 4.1

History

2026-10-28: add by m2/v0.4.2

C52K0F18YP C52K0F18YP

URI	`m2://inv/C52K0F18YP`
Kind	statement
Layer	research
MSC	11-XX, 35-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2508.21045#VAWW (statement). In CGA36VE1C5/e1, fact 12.5.2

History

2026-10-27: add by m2/v0.3.6

C52PF71MYH C52PF71MYH

URI	`m2://inv/C52PF71MYH`
Kind	definition
Layer	research
MSC	19-XX, 46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02017#S0HW (definition). In F6C80AEXC1/e1, definition 3.7

History

2026-10-29: add by m2/v0.4.12

Properties C52WDTF3SV

URI	`m2://inv/C52WDTF3SV`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Scott continuity#GXP3, Properties (statement)

History

2026-11-02: add by m2/dev

Finality (blockchain) C52XZSNYJW

URI	`m2://inv/C52XZSNYJW`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Blockchain#6YM8, Finality (blockchain) (unknown)

History

2026-11-02: add by m2/dev

Coxeter's loxodromic sequence of tangent circles C52YQRDDZM

URI	`m2://inv/C52YQRDDZM`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q5179938, Coxeter's loxodromic sequence of tangent circles (concept). Also MathWorld CoxetersLoxodromicSequenceofTangentCircles
wikipedia: Wikipedia Coxeter's loxodromic sequence of tangent circles, Coxeter's loxodromic sequence of tangent circles (definition). Also Wikidata Q5179938

History

2026-10-26: add by m2/dev

C532MTDDSY C532MTDDSY

URI	`m2://inv/C532MTDDSY`
Kind	problem
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cactus graph#EBQX (problem)

History

2026-11-02: add by m2/dev

Cardinal multiplication C535S0N1T4

URI	`m2://inv/C535S0N1T4`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cardinal number#VTGL, Cardinal multiplication (unknown)

History

2026-11-02: add by m2/dev

countable cardinal C537PWE4ST

URI	`m2://inv/C537PWE4ST`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of set theory#KRQL, countable cardinal (definition)

History

2026-11-02: add by m2/dev

Convex-Laplacian locality with generalized boundary C538YQXWCJ

URI	`m2://inv/C538YQXWCJ`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24716#P1W8, Convex-Laplacian locality with generalized boundary (statement)

History

2026-11-01: add by m2/v0.6.15

Garlandus Compotista C53FCETPA9

URI	`m2://inv/C53FCETPA9`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Garlandus Compotista, Garlandus Compotista (topic). Also Wikidata Q5523450

History

2026-11-02: add by m2/dev

Variations C53K3PC9TR

URI	`m2://inv/C53K3PC9TR`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia BCJR algorithm#7OW7, Variations (statement)

History

2026-11-02: add by m2/dev

Melpathur Narayana Bhattathiri C53RCQ6ZPY

URI	`m2://inv/C53RCQ6ZPY`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Indian mathematicians#VD5I, Melpathur Narayana Bhattathiri (unknown)

History

2026-11-02: add by m2/dev

Savitch's theorem C53SRAQA48

URI	`m2://inv/C53SRAQA48`
Kind	statement
Layer	textbook
MSC	68-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q954210, Savitch's theorem (statement). Also Wikidata Q954210
thousand_plus: thousand_plus Q954210, Savitch's theorem (statement). Also Wikidata Q954210, Wikipedia Savitch's theorem
wikipedia: Wikipedia Savitch's theorem, Savitch's theorem (statement). Also Wikidata Q954210

History

2026-10-26: add by m2/dev

Hollis Chair of Mathematicks and Natural Philosophy C53TP38W9N

URI	`m2://inv/C53TP38W9N`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hollis Chair of Mathematicks and Natural Philosophy, Hollis Chair of Mathematicks and Natural Philosophy (definition). Also Wikidata Q5881567

History

2026-11-02: add by m2/dev

Broyden–Fletcher–Goldfarb–Shanno algorithm C53XWAGHRT

URI	`m2://inv/C53XWAGHRT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Broyden–Fletcher–Goldfarb–Shanno algorithm, Broyden–Fletcher–Goldfarb–Shanno algorithm (definition). Also Wikidata Q2877013

History

2026-11-02: add by m2/dev

Example C54EN2XMGG

URI	`m2://inv/C54EN2XMGG`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Five-number summary#H2G2, Example (example)

History

2026-11-02: add by m2/dev

C54MYSC51J C54MYSC51J

URI	`m2://inv/C54MYSC51J`
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:normonedim (exercise). In E59CDZA4DP, exercise, section 11.2.4

History

2026-11-01: add by m2/v0.6.13

Applications C54TD63ZW3

URI	`m2://inv/C54TD63ZW3`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Delaunay tessellation field estimator#SNLW, Applications (example)

History

2026-11-02: add by m2/dev

C558C9T18A C558C9T18A

URI	`m2://inv/C558C9T18A`
Kind	example
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 2501.18744#KVCP (example). In YRWZ02BGEF/e1, example 5.1

History

2026-10-27: add by m2/v0.3.5

Sudoku C55EMCNHA6

URI	`m2://inv/C55EMCNHA6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#VWXA, Sudoku (definition)

History

2026-11-02: add by m2/dev

C55JFCN5TR C55JFCN5TR

URI	`m2://inv/C55JFCN5TR`
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 2111.07717#XQUD (statement). In AXFXGWG7ZG/e1, lemma 3.9

History

2026-10-27: add by m2/v0.4.0

Universal first-order tails under lower MDA C55PRT5SZP

URI	`m2://inv/C55PRT5SZP`
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 2609.29658#5FP0, Universal first-order tails under lower MDA (statement)

History

2026-11-01: add by m2/v0.6.15

C55QECBFQ6 C55QECBFQ6

URI	`m2://inv/C55QECBFQ6`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#thm:negation of quantifiers (statement). In P1C114YBXG, theorem, section F

History

2026-11-01: add by m2/v0.6.13

Generalizations C55RH8BNDH

URI	`m2://inv/C55RH8BNDH`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Multiple instance learning#89WL, Generalizations (statement)

History

2026-11-02: add by m2/dev

Standardized mean of a contrast variable C55SP4N8NH

URI	`m2://inv/C55SP4N8NH`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Standardized mean of a contrast variable, Standardized mean of a contrast variable (definition). Also Wikidata Q7598402

History

2026-11-02: add by m2/dev

C55XHEN7YW C55XHEN7YW

URI	`m2://inv/C55XHEN7YW`
Kind	statement
Layer	research
MSC	60-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13670#2YNR (statement). In 4PGTZ19B26/e1, lemma 3.10

History

2026-10-28: add by m2/v0.4.2

Media-Analyse C55YQQCBSZ

URI	`m2://inv/C55YQQCBSZ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Media-Analyse (Germany), Media-Analyse (definition). Also Wikidata Q1916128

History

2026-11-02: add by m2/dev

Gabriele Kaiser C5614FNZ77

URI	`m2://inv/C5614FNZ77`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Gabriele Kaiser, Gabriele Kaiser (topic). Also Wikidata Q50414199

History

2026-11-02: add by m2/dev

Raymond Smullyan C561JA7YX0

URI	`m2://inv/C561JA7YX0`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#17AV, Raymond Smullyan (topic)

History

2026-11-02: add by m2/dev

C564MC59QW C564MC59QW

URI	`m2://inv/C564MC59QW`
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.37762#J0ZE (statement). In 6YPMRQHMR5/e1, corollary 15

History

2026-10-30: add by m2/v0.4.12

C567VW50YP C567VW50YP

URI	`m2://inv/C567VW50YP`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 83.2

History

2026-11-01: add by m2/v0.6.13

C56D2WTZYS C56D2WTZYS

URI	`m2://inv/C56D2WTZYS`
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.35605#LNLU (statement). In X1KWTAA3M2/e1, lemma 2.6

History

2026-10-27: add by m2/v0.3.5

Signaling game C56H847M48

URI	`m2://inv/C56H847M48`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Signaling game, Signaling game (definition). Also Wikidata Q1086723

History

2026-11-02: add by m2/dev

Bretschneider Formula: Lake Garda C56HY0S40J

URI	`m2://inv/C56HY0S40J`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Wind wave model#91RO, Bretschneider Formula: Lake Garda (statement)

History

2026-11-02: add by m2/dev

C56HY9FPXH C56HY9FPXH

URI	`m2://inv/C56HY9FPXH`
Kind	definition
Layer	research
MSC	05-XX, 46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.20678#7LAI (definition)

History

2026-11-02: add by m2/v0.6.18

C56MT6AEDC C56MT6AEDC

URI	`m2://inv/C56MT6AEDC`
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.02484#M524 (statement). In D1V0MQZTFQ/e1, proposition 3.1

History

2026-10-29: add by m2/v0.4.12

Superposition principle for the discounted clock equation C56YAGZ8K7

URI	`m2://inv/C56YAGZ8K7`
Kind	statement
Layer	research
MSC	37-XX, 49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.30821#BCXV, Superposition principle for the discounted clock equation (statement). In 1MZ9XBPTFQ/e1, corollary 2

History

2026-10-31: add by m2/v0.5.6

C5729TPMRN C5729TPMRN

URI	`m2://inv/C5729TPMRN`
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 2604.23212#68CF (statement). In 4X12V9RS0D/e1, theorem 3.3

History

2026-10-27: add by m2/v0.3.5

C572ZWR24X C572ZWR24X

URI	`m2://inv/C572ZWR24X`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

active_calculus: active_calculus source/activities/act-2-1-1.xml#act-2-1-1 (exercise). In 907G4C4EJ1, activity, section 2.1.3

History

2026-11-01: add by m2/v0.6.13

C576JQCDP1 C576JQCDP1

URI	`m2://inv/C576JQCDP1`
Kind	definition
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2510.12502#QRFE (definition). In 3A4K47Y9F2/e1, definition 2.34

History

2026-10-27: add by m2/v0.4.0

C578APVN4F C578APVN4F

URI	`m2://inv/C578APVN4F`
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.24541#C2SB (statement)

History

2026-11-01: add by m2/v0.6.15

C57AM5SNGM C57AM5SNGM

URI	`m2://inv/C57AM5SNGM`
Kind	definition
Layer	research
MSC	37-XX, 46-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08426#QGT3 (definition). In YG2DPMNZ1N/e1, definition 2.5

History

2026-10-29: add by m2/v0.4.10

$\bLambda$-weighted score perturbation, $\kappa$-dependent version C57AMPS5A0

URI	`m2://inv/C57AMPS5A0`
Kind	statement
Layer	research
MSC	62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10640#KIKE, $\bLambda$-weighted score perturbation, $\kappa$-dependent version (statement). In BAQVK6N0RD/e1, lemma 10

History

2026-10-29: add by m2/v0.4.10

Leibniz–Newton calculus controversy C57GQBSZEX

URI	`m2://inv/C57GQBSZEX`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Gottfried Leibniz#YBC4, Leibniz–Newton calculus controversy (unknown)

History

2026-11-02: add by m2/dev

Squared-word completeness C57NC4RYKE

URI	`m2://inv/C57NC4RYKE`
Kind	statement
Layer	research
MSC	20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27641#JM54, Squared-word completeness (statement)

History

2026-11-01: add by m2/v0.6.15

Ohio State University C57QBRJRBX

URI	`m2://inv/C57QBRJRBX`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of schools for quantitative psychology#MDLI, Ohio State University (unknown)

History

2026-11-02: add by m2/dev

Classical lower-bound example C57QQSHV1P

URI	`m2://inv/C57QQSHV1P`
Kind	statement
Layer	research
MSC	13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.00115#ZS59, Classical lower-bound example (statement). In JK8PYKCZRA/e1, proposition 8.1

History

2026-10-30: add by m2/v0.4.12

Frisch–Waugh–Lovell theorem C58AA3YB0A

URI	`m2://inv/C58AA3YB0A`
Kind	statement
Layer	textbook
MSC	91-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q1059151, FWL theorem (statement). Also Wikidata Q1059151
thousand_plus: thousand_plus Q1059151, FWL theorem (statement). Also Wikidata Q1059151, Wikipedia FWL theorem
wikipedia: Wikipedia Frisch–Waugh–Lovell theorem, Frisch–Waugh–Lovell theorem (statement). Also Wikidata Q1059151

History

2026-10-26: add by m2/dev

Euclidean division C58CXWNMGG

URI	`m2://inv/C58CXWNMGG`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Euclid#SRMF, Euclidean division (definition)

History

2026-11-02: add by m2/dev

Power-law functions C58D6AP4MP

URI	`m2://inv/C58D6AP4MP`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Power law#YEA0, Power-law functions (statement)

History

2026-11-02: add by m2/dev

C58DQ9Q6PC C58DQ9Q6PC

URI	`m2://inv/C58DQ9Q6PC`
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 2308.05715#VCOH (statement). In FC0SB9JFWH/e1, lemma 6.8

History

2026-10-27: add by m2/v0.3.5

C58EQCP46D C58EQCP46D

URI	`m2://inv/C58EQCP46D`
Kind	definition
Layer	research
MSC	35-XX, 47-XX, 58-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.09599#QLK6 (definition). In 4JYGH9XNA9/e1, definition 3.1

History

2026-10-29: add by m2/v0.4.10

Polycon C58EVTGTPC

URI	`m2://inv/C58EVTGTPC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Polycon, Polycon (definition). Also Wikidata Q104901903

History

2026-11-02: add by m2/dev

Normal subgroup C58H8DC350

URI	`m2://inv/C58H8DC350`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of group theory topics#G8YR, Normal subgroup (definition)

History

2026-11-02: add by m2/dev

Koteck\'y--Preiss criterion C58NDK1M1S

URI	`m2://inv/C58NDK1M1S`
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.10474#BFEX, Koteck\'y--Preiss criterion (statement). In MB29RAAQMG/e1, theorem 2.1

History

2026-10-29: add by m2/v0.4.10

Christof Geiß C594339YHH

URI	`m2://inv/C594339YHH`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Christof Geiß, Christof Geiß (topic). Also Wikidata Q53218095

History

2026-11-02: add by m2/dev

C595F8TQ1R C595F8TQ1R

URI	`m2://inv/C595F8TQ1R`
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.30018#8BF0 (definition)

History

2026-11-01: add by m2/v0.6.15

Rudolf Lipschitz C59CYWVVYX

URI	`m2://inv/C59CYWVVYX`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#K9ZW, Rudolf Lipschitz (topic)

History

2026-11-02: add by m2/dev

Gradient conjecture C59HD0N14J

URI	`m2://inv/C59HD0N14J`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#XAJW, Gradient conjecture (statement)

History

2026-11-02: add by m2/dev

C59HYWSTFW C59HYWSTFW

URI	`m2://inv/C59HYWSTFW`
Kind	statement
Layer	research
MSC	11-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.39293#5DON (statement). In S26QVW5613/e1, corollary 4.6.10

History

2026-10-30: add by m2/v0.4.12

join irreducible C59K3PS2RW

URI	`m2://inv/C59K3PS2RW`
Kind	definition
Layer	research
MSC	05-XX, 16-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12484#DCBA, join irreducible (definition). In GW23NX78SB/e1, definition 3.22

History

2026-10-28: add by m2/v0.4.2

C59KJHDKW2 C59KJHDKW2

URI	`m2://inv/C59KJHDKW2`
Kind	statement
Layer	research
MSC	57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27635#HTTN (statement)

History

2026-11-01: add by m2/v0.6.15

C59QSBM4BS C59QSBM4BS

URI	`m2://inv/C59QSBM4BS`
Kind	definition
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.03288#6HWO (definition). In ZHP1MFSACN/e1, definition A.5

History

2026-10-29: add by m2/v0.4.12

Stone Park C59QZZ3KSG

URI	`m2://inv/C59QZZ3KSG`
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#P16Y, Stone Park (unknown)

History

2026-11-02: add by m2/dev

Stefano Cremonesi C59SEPP7AY

URI	`m2://inv/C59SEPP7AY`
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 Q60168180, Stefano Cremonesi (unknown). Also nLab Stefano Cremonesi

History

2026-10-26: add by m2/dev

C59WBZPKPK C59WBZPKPK

URI	`m2://inv/C59WBZPKPK`
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.20077#BKNM (statement). In W5XRKWDADE/e1, lemma 3.8

History

2026-10-27: add by m2/v0.4.2

C59XDC4DEX C59XDC4DEX

URI	`m2://inv/C59XDC4DEX`
Kind	definition
Layer	research
MSC	55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15817#VHIF (definition). In NVJMA8ARHP/e1, definition 3.0.2

History

2026-10-28: add by m2/v0.4.2

Properties C5A5ECA4G9

URI	`m2://inv/C5A5ECA4G9`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Polar set#AN3J, Properties (statement)

History

2026-11-02: add by m2/dev

C5AE77PQJ3 C5AE77PQJ3

URI	`m2://inv/C5AE77PQJ3`
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.14374#SQG0 (statement). In YPTC532FEG/e1, theorem 3

History

2026-10-28: add by m2/v0.4.2

C5AE7NP9FA C5AE7NP9FA

URI	`m2://inv/C5AE7NP9FA`
Kind	statement
Layer	research
MSC	05-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.27366#J3W9 (statement)

History

2026-11-01: add by m2/v0.6.15

Computations C5ASR3NHBG

URI	`m2://inv/C5ASR3NHBG`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cone (algebraic geometry)#7ERH, Computations (definition)

History

2026-11-02: add by m2/dev

Counterexamples C5AVNDA0CG

URI	`m2://inv/C5AVNDA0CG`
Kind	example
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 2610.10017#G0D3, Counterexamples (example). In CJRBKR4JKT/e1, example 8.2

History

2026-10-29: add by m2/v0.4.10

C5AYW91NEW C5AYW91NEW

URI	`m2://inv/C5AYW91NEW`
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.20145#2BKB (statement)

History

2026-11-02: add by m2/v0.6.18

C5B24617ER C5B24617ER

URI	`m2://inv/C5B24617ER`
Kind	statement
Layer	research
MSC	51-XX, 52-XX, 57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.25468#HBJD (statement)

History

2026-11-01: add by m2/v0.6.15

C5B5ERKN0R C5B5ERKN0R

URI	`m2://inv/C5B5ERKN0R`
Kind	statement
Layer	research
MSC	35-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.13241#O5HE (statement). In DWQWQ5KTEE/e1, lemma 13

History

2026-10-28: add by m2/v0.4.2

History of quantitative psychology C5B6VAG3TD

URI	`m2://inv/C5B6VAG3TD`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quantitative psychology#8ZQY, History of quantitative psychology (unknown)

History

2026-11-02: add by m2/dev

C5BC5PGTPS C5BC5PGTPS

URI	`m2://inv/C5BC5PGTPS`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02993#8HDA (statement). In TJH58FRGEN/e1, lemma 8.16

History

2026-10-29: add by m2/v0.4.12

superellipsoid C5BEZ0V9Z1

URI	`m2://inv/C5BEZ0V9Z1`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q2329723, superellipsoid (unknown). Also MathWorld Superellipsoid
wikipedia: Wikipedia Superellipsoid, Superellipsoid (definition). Also Wikidata Q2329723

History

2026-10-26: add by m2/dev

C5BH6MC80W C5BH6MC80W

URI	`m2://inv/C5BH6MC80W`
Kind	statement
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 2610.09739#IRNU (statement). In ZYNZ95FSFD/e1, proposition 1.7

History

2026-10-29: add by m2/v0.4.10

C5BN5QE7JF C5BN5QE7JF

URI	`m2://inv/C5BN5QE7JF`
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.07530#9N3W (definition). In C7QZ0VPBC8/e1, definition 2.2

History

2026-10-29: add by m2/v0.4.10

C5BQBPA6HD C5BQBPA6HD

URI	`m2://inv/C5BQBPA6HD`
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.01946#WMPP (statement). In NB1Z31FMXN/e1, lemma 2.1

History

2026-10-29: add by m2/v0.4.12

Invariant convex cone C5BQNJC6C3

URI	`m2://inv/C5BQNJC6C3`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Invariant convex cone, Invariant convex cone (definition). Also Wikidata Q17098165

History

2026-11-02: add by m2/dev

C5BWEMEBGS C5BWEMEBGS

URI	`m2://inv/C5BWEMEBGS`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

austin_ula: austin_ula src/exercises/exercises6-5.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 6.5

History

2026-11-01: add by m2/v0.6.13

C5BZE3AQ5T C5BZE3AQ5T

URI	`m2://inv/C5BZE3AQ5T`
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.28898#QGZF (statement)

History

2026-11-01: add by m2/v0.6.15

Paper tape canister C5CG9XCQ4N

URI	`m2://inv/C5CG9XCQ4N`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Punched tape#BU2U, Paper tape canister (unknown)

History

2026-11-02: add by m2/dev

C5CMFYEVAG C5CMFYEVAG

URI	`m2://inv/C5CMFYEVAG`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11619#FVR8 (statement). In HT2K76Y9WS/e1, lemma C.5

History

2026-10-28: add by m2/v0.4.3

Linked set C5CT8T0015

URI	`m2://inv/C5CT8T0015`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Linked set, Linked set (definition). Also Wikidata Q6554362

History

2026-11-02: add by m2/dev

C5CY3NTF70 C5CY3NTF70

URI	`m2://inv/C5CY3NTF70`
Kind	statement
Layer	research
MSC	05-XX, 35-XX, 47-XX, 58-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 1012.0963#CYL7 (statement). In TSA766V8F8/e1, lemma 3.7

History

2026-10-27: add by m2/v0.3.5

Friedberg–Muchnik theorem C5CY95JVQ7

URI	`m2://inv/C5CY95JVQ7`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Friedberg–Muchnik theorem#BRR4, Friedberg–Muchnik theorem (statement)

History

2026-11-02: add by m2/dev

C5D1HRHEW3 C5D1HRHEW3

URI	`m2://inv/C5D1HRHEW3`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-46 (exercise). In E59CDZA4DP, exercise, section 1.6.1

History

2026-11-01: add by m2/v0.6.13

C5DAT1CANW C5DAT1CANW

URI	`m2://inv/C5DAT1CANW`
Kind	statement
Layer	research
MSC	26-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.34852#UWYE (statement). In TZXEMCBK5V/e1, proposition 6.3

History

2026-10-30: add by m2/v0.4.12

Subjectifying and identity C5DDD37NZX

URI	`m2://inv/C5DDD37NZX`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Commognition#K8IB, Subjectifying and identity (statement)

History

2026-11-02: add by m2/dev

C5DFERFVK6 C5DFERFVK6

URI	`m2://inv/C5DFERFVK6`
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.16358#AEQC (statement). In RJA3YJ9NYK/e1, lemma 2.4

History

2026-10-28: add by m2/v0.4.2

Japan Society for Industrial and Applied Mathematics C5DGEXY7V5

URI	`m2://inv/C5DGEXY7V5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Japan Society for Industrial and Applied Mathematics, Japan Society for Industrial and Applied Mathematics (definition). Also Wikidata Q65270133

History

2026-11-02: add by m2/dev

C5DV8QNHZC C5DV8QNHZC

URI	`m2://inv/C5DV8QNHZC`
Kind	statement
Layer	research
MSC	17-XX, 19-XX, 46-XX, 47-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 2504.00596#U7GY (statement). In F8RC6AENB0/e1, proposition 3.9

History

2026-10-27: add by m2/v0.3.5

C5DVJCGK25 C5DVJCGK25

URI	`m2://inv/C5DVJCGK25`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2411.16655#MCY0 (statement). In EJHAXRV685/e1, lemma 2.9

History

2026-10-27: add by m2/v0.3.5

Corollary on odd-degree polynomials C5E2VSWMFA

URI	`m2://inv/C5E2VSWMFA`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Complex conjugate root theorem#K5XF, Corollary on odd-degree polynomials (statement)

History

2026-11-02: add by m2/dev

Microsoft CryptoAPI C5EAEBRCDZ

URI	`m2://inv/C5EAEBRCDZ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Microsoft CryptoAPI, Microsoft CryptoAPI (definition). Also Wikidata Q1142291

History

2026-11-02: add by m2/dev

Diffusion process C5ECCC8X8T

URI	`m2://inv/C5ECCC8X8T`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Diffusion process, Diffusion process (definition). Also Wikidata Q5275442

History

2026-11-02: add by m2/dev

Enumeration C5EJRDTQWJ

URI	`m2://inv/C5EJRDTQWJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lyndon word#5LPM, Enumeration (definition)

History

2026-11-02: add by m2/dev

Labs septic C5EK1JR724

URI	`m2://inv/C5EK1JR724`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Labs septic, Labs septic (definition). Also Wikidata Q19842929

History

2026-11-02: add by m2/dev

Bolyai Prize C5ERMP5BNG

URI	`m2://inv/C5ERMP5BNG`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bolyai Prize, Bolyai Prize (topic). Also Wikidata Q572685

History

2026-11-02: add by m2/dev

quotient towers C5ERX0QRBQ

URI	`m2://inv/C5ERX0QRBQ`
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.32733#PWMP, quotient towers (statement). In PCAS8S14J6/e1, proposition 3.17

History

2026-10-31: add by m2/v0.5.6

Example C5EWAYS1NT

URI	`m2://inv/C5EWAYS1NT`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Karnaugh map#OARU, Example (example)

History

2026-11-02: add by m2/dev

Bitcoin Cash C5EXSVP98P

URI	`m2://inv/C5EXSVP98P`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of bitcoin forks#NTIV, Bitcoin Cash (definition)

History

2026-11-02: add by m2/dev

C5EXVGMQSG C5EXVGMQSG

URI	`m2://inv/C5EXVGMQSG`
Kind	statement
Layer	research
MSC	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.18094#N8NZ (statement). In AYANBEWSFH/e1, proposition 2.4

History

2026-10-28: add by m2/v0.4.2

C5F35TWPZG C5F35TWPZG

URI	`m2://inv/C5F35TWPZG`
Kind	statement
Layer	research
MSC	11-XX, 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.28514#VFTY (statement)

History

2026-11-01: add by m2/v0.6.15

Nondual H\"older accelerated optimization C5FCN5T21G

URI	`m2://inv/C5FCN5T21G`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21880#8S1N, Nondual H\"older accelerated optimization (statement)

History

2026-11-02: add by m2/v0.6.18

Moments of the row-conditioned factor C5FF8SZ4J5

URI	`m2://inv/C5FF8SZ4J5`
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.28198#O0J4, Moments of the row-conditioned factor (statement)

History

2026-11-01: add by m2/v0.6.15

log C5FGGZ8V6Y

URI	`m2://inv/C5FGGZ8V6Y`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#HRRS, log (definition)

History

2026-11-02: add by m2/dev

Steven D. Strauss C5FGRGRBT3

URI	`m2://inv/C5FGRGRBT3`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#UNJ5, Steven D. Strauss (unknown)

History

2026-11-02: add by m2/dev

Further examples C5FHKYE8N0

URI	`m2://inv/C5FHKYE8N0`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quantum contextuality#J33X, Further examples (example)

History

2026-11-02: add by m2/dev

C5FP3TR21T C5FP3TR21T

URI	`m2://inv/C5FP3TR21T`
Kind	statement
Layer	research
MSC	16-XX, 46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2512.16003#S5DT (statement). In BJGS6ZCQ12/e1, proposition 7.2

History

2026-10-27: add by m2/v0.3.6

Lai–Robbins lower bound C5FRB1PH1P

URI	`m2://inv/C5FRB1PH1P`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lai–Robbins lower bound, Lai–Robbins lower bound (definition). Also Wikidata Q139760437

History

2026-11-02: add by m2/dev

Validity of weighted OPD C5FRM3Y2G1

URI	`m2://inv/C5FRM3Y2G1`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.38025#M7YI, Validity of weighted OPD (statement). In B7CAM06Q77/e1, theorem 3

History

2026-10-30: add by m2/v0.4.12

Odd greedy expansion C5FYRFDT75

URI	`m2://inv/C5FYRFDT75`
Kind	conjecture
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Odd greedy expansion, Odd greedy expansion (conjecture). Also Wikidata Q7077447

History

2026-11-02: add by m2/dev

C5FZBZNCHQ C5FZBZNCHQ

URI	`m2://inv/C5FZBZNCHQ`
Kind	conjecture
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.27524#SQ89 (conjecture)

History

2026-11-01: add by m2/v0.6.15

C5G0RPEZAC C5G0RPEZAC

URI	`m2://inv/C5G0RPEZAC`
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 2305.10921#PJUX (statement). In PD5PJ0EYG6/e1, theorem 2.1

History

2026-10-27: add by m2/v0.3.5

algebraic closure C5G2YF35SP

URI	`m2://inv/C5G2YF35SP`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Algebraic closure 0MCXX29HWY

Mentions

wikidata: Wikidata Q428290, algebraic closure (unknown). Also EoM Algebraic_closure, LMFDB knowl nf.algebraic_closure, MathWorld AlgebraicClosure
wikipedia: Wikipedia Algebraic closure, Algebraic closure (definition). Also Wikidata Q428290

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

The $\ij{i,j}_T$ component of a $\C$-transfer system C5G6W9M2AV

URI	`m2://inv/C5G6W9M2AV`
Kind	definition
Layer	research
MSC	05-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 2401.13523#X9IJ, The $\ij{i,j}_T$ component of a $\C$-transfer system (definition). In DDA62XQTWW/e1, definition 2.18

History

2026-10-27: add by m2/v0.3.5

C5G82E1DYW C5G82E1DYW

URI	`m2://inv/C5G82E1DYW`
Kind	statement
Layer	research
MSC	19-XX, 37-XX, 46-XX, 47-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31883#4YVN (statement). In XBHQRTBH62/e1, lemma 2.2

History

2026-10-31: add by m2/v0.5.6

Noetherian chain C5GG7QEDNS

URI	`m2://inv/C5GG7QEDNS`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Pfaffian function#AQA2, Noetherian chain (unknown)

History

2026-11-02: add by m2/dev

Byeong Park C5GHWJ5ZT8

URI	`m2://inv/C5GHWJ5ZT8`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0F9W, Byeong Park (topic)

History

2026-11-02: add by m2/dev

Edmund Ryszard Puczyłowski C5GS1QDH9K

URI	`m2://inv/C5GS1QDH9K`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Edmund Ryszard Puczyłowski, Edmund Ryszard Puczyłowski (topic). Also Wikidata Q25933351

History

2026-11-02: add by m2/dev

Donald Ylvisaker C5GVE196JD

URI	`m2://inv/C5GVE196JD`
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#FGP8, Donald Ylvisaker (topic)

History

2026-11-02: add by m2/dev

Density C5GXH8BR7Y

URI	`m2://inv/C5GXH8BR7Y`
Kind	statement
Layer	research
MSC	35-XX, 65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20106#B335, Density (statement). In 6HMZ36ZBXA/e1, lemma 6.10

History

2026-10-27: add by m2/v0.4.2

James R. Norris C5H9W16SZS

URI	`m2://inv/C5H9W16SZS`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia James R. Norris, James R. Norris (topic). Also Wikidata Q6141696

History

2026-11-02: add by m2/dev

Uniform Hessian conditioning C5HA3YP98C

URI	`m2://inv/C5HA3YP98C`
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.27181#X47T, Uniform Hessian conditioning (statement)

History

2026-11-01: add by m2/v0.6.15

Examples C5HHXBDDG1

URI	`m2://inv/C5HHXBDDG1`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Double complex#NWTY, Examples (example)

History

2026-11-02: add by m2/dev

C5HVK0AAHX C5HVK0AAHX

URI	`m2://inv/C5HVK0AAHX`
Kind	example
Layer	research
MSC	81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.36016#HVY8 (example). In NAM9ZMPHZ9/e1, example A.7

History

2026-10-30: add by m2/v0.4.12

Operator bounds C5HXTN77KX

URI	`m2://inv/C5HXTN77KX`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 46-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29712#542A, Operator bounds (statement)

History

2026-11-01: add by m2/v0.6.15

C5J0Z2H957 C5J0Z2H957

URI	`m2://inv/C5J0Z2H957`
Kind	statement
Layer	research
MSC	37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.18078#IM10 (statement). In YVK8EFSYNJ/e1, lemma D.2

History

2026-10-28: add by m2/v0.4.2

C5J149XM5K C5J149XM5K

URI	`m2://inv/C5J149XM5K`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#example-3 (example). In E9HS8K3A52, example, section 6.3.1

History

2026-11-01: add by m2/v0.6.13

Existential closure C5J21CDZMC

URI	`m2://inv/C5J21CDZMC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Existential closure, Existential closure (definition). Also Wikidata Q105615241

History

2026-11-02: add by m2/dev

C5J3JATP5Q C5J3JATP5Q

URI	`m2://inv/C5J3JATP5Q`
Kind	statement
Layer	research
MSC	13-XX, 14-XX, 16-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15887#AKB0 (statement). In 87QYNZZ67Z/e1, lemma 4.4

History

2026-10-28: add by m2/v0.4.2

Erdős–Anning theorem C5JA5K59G3

URI	`m2://inv/C5JA5K59G3`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Paul Erdős#BOP9, Erdős–Anning theorem (statement)

History

2026-11-02: add by m2/dev

convergence in mean C5JF2KBV07

URI	`m2://inv/C5JF2KBV07`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Convergence in mean 0A2HNZC44K

Mentions

wikidata: Wikidata Q91264859, convergence in mean (unknown). Also MathWorld ConvergenceinMean

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

Properties C5JMS5K46V

URI	`m2://inv/C5JMS5K46V`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Paracompact space#XP5P, Properties (statement)

History

2026-11-02: add by m2/dev

Ideal C5JWEHQ94N

URI	`m2://inv/C5JWEHQ94N`
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 2610.17137#GX2W, Ideal (definition). In GKHSE92M91/e1, definition 15

History

2026-10-28: add by m2/v0.4.2

C5JWYB09N6 C5JWYB09N6

URI	`m2://inv/C5JWYB09N6`
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.03050#5VHG (statement). In WXBRJN9PHQ/e1, corollary 5.3

History

2026-10-29: add by m2/v0.4.12

C5JZKF7HFC C5JZKF7HFC

URI	`m2://inv/C5JZKF7HFC`
Kind	statement
Layer	research
MSC	55-XX, 57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16606#J9ZM (statement). In A798V7TX99/e1, theorem 5.10

History

2026-10-28: add by m2/v0.4.2

C5K6J66P25 C5K6J66P25

URI	`m2://inv/C5K6J66P25`
Kind	statement
Layer	research
MSC	53-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.08222#OBVU (statement). In A4192ETKBD/e1, proposition 1

History

2026-10-29: add by m2/v0.4.10

Exact Row/Column Projection Identities C5KC1C16KK

URI	`m2://inv/C5KC1C16KK`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.04264#V5W2, Exact Row/Column Projection Identities (statement). In 5YRJ4HGY4N/e1, lemma 10

History

2026-10-29: add by m2/v0.4.12

Applications of tortuosity C5KG0ZWVYW

URI	`m2://inv/C5KG0ZWVYW`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Tortuosity#8309, Applications of tortuosity (example)

History

2026-11-02: add by m2/dev

Examples C5KG3GSH58

URI	`m2://inv/C5KG3GSH58`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Coherent set of characters#BFEC, Examples (example)

History

2026-11-02: add by m2/dev

C5KQGS34QJ C5KQGS34QJ

URI	`m2://inv/C5KQGS34QJ`
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.31604#U6MI (statement). In GSN5YTQS2K/e1, proposition 1.3

History

2026-10-31: add by m2/v0.5.6

Basic principles C5KY1AJJ6F

URI	`m2://inv/C5KY1AJJ6F`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Old quantum theory#51G7, Basic principles (statement)

History

2026-11-02: add by m2/dev

Extensions C5KZ0F81NJ

URI	`m2://inv/C5KZ0F81NJ`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Congestion game#FXO1, Extensions (statement)

History

2026-11-02: add by m2/dev

C5M71DGP29 C5M71DGP29

URI	`m2://inv/C5M71DGP29`
Kind	statement
Layer	research
MSC	18-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.39317#VMKN (statement). In QM1T8JDK4A/e1, proposition 2.6

History

2026-10-30: add by m2/v0.4.12

Natural density C5MEHZTNY3

URI	`m2://inv/C5MEHZTNY3`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Natural density, Natural density (definition). Also Wikidata Q752723

History

2026-11-02: add by m2/dev

C5N139SJ8K C5N139SJ8K

URI	`m2://inv/C5N139SJ8K`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2112.05010#X13V (statement). In 4SZNPS3Z00/e1, proposition 5.11

History

2026-10-27: add by m2/v0.3.6

Examples C5NPKT51Q7

URI	`m2://inv/C5NPKT51Q7`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia ∞-groupoid#CQC2, Examples (example)

History

2026-11-02: add by m2/dev

C5NRYTMD2F C5NRYTMD2F

URI	`m2://inv/C5NRYTMD2F`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21043#I91M (statement)

History

2026-11-02: add by m2/v0.6.18

Riesz representation theorem C5NT1HQ8ER

URI	`m2://inv/C5NT1HQ8ER`
Kind	statement
Layer	textbook
MSC	46-XX
Sources	6
Outcome	open
Node	Riesz representation theorem TTC40N49M6

Mentions

mathlib_1000: mathlib_1000 Q1357684, Riesz representation theorem (statement). Also Mathlib InnerProductSpace.toDual, Wikidata Q1357684
mathlib_overview: mathlib_overview Analysis > Hilbert spaces > Fréchet-Riesz representation of the dual of a Hilbert space, Fréchet-Riesz representation of the dual of a Hilbert space (unknown). Also Mathlib InnerProductSpace.toDual
mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > dual isomorphism in the Euclidean case, dual isomorphism in the Euclidean case (unknown). Also Mathlib InnerProductSpace.toDual
mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > Riesz representation theorem, Riesz representation theorem (unknown). Also Mathlib InnerProductSpace.toDual
thousand_plus: thousand_plus Q1357684, Riesz representation theorem (statement). Also Mathlib InnerProductSpace.toDual, Wikidata Q1357684, Wikipedia Riesz representation theorem
wikidata: Wikidata Q1357684, Riesz representation theorem (statement). Also EoM Riesz_representation_theorem, nLab Riesz representation theorem
wikipedia: Wikipedia Riesz representation theorem, Riesz representation theorem (statement). Also Wikidata Q1357684

History

2026-10-26: add by m2/dev

Periodic compounding C5NV62BKDC

URI	`m2://inv/C5NV62BKDC`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Compound interest#VX20, Periodic compounding (unknown)

History

2026-11-02: add by m2/dev

C5P258QA5Z C5P258QA5Z

URI	`m2://inv/C5P258QA5Z`
Kind	statement
Layer	research
MSC	37-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.23972#386A (statement)

History

2026-11-02: add by m2/v0.6.17

Balance theorem C5PAY6BWNC

URI	`m2://inv/C5PAY6BWNC`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Balance theorem, Balance theorem (statement). Also Wikidata Q4849976

History

2026-11-02: add by m2/dev

Camille Jordan C5PGV1NR35

URI	`m2://inv/C5PGV1NR35`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of real analysis topics#EW4N, Camille Jordan (topic)

History

2026-11-02: add by m2/dev

C5PHQ162VG C5PHQ162VG

URI	`m2://inv/C5PHQ162VG`
Kind	statement
Layer	research
MSC	11-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05032#NINI (statement). In DDNK8D4359/e1, lemma 5.2

History

2026-10-29: add by m2/v0.4.12

Maria Westdickenberg C5PMYPYA8R

URI	`m2://inv/C5PMYPYA8R`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Maria Westdickenberg, Maria Westdickenberg (topic). Also Wikidata Q79234939

History

2026-11-02: add by m2/dev

Reach estimate C5PQ3AJ3AK

URI	`m2://inv/C5PQ3AJ3AK`
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.15511#W9JF, Reach estimate (statement). In TZM08VJAQT/e1, lemma 2.10

History

2026-10-28: add by m2/v0.4.2

C5Q2QQB2HH C5Q2QQB2HH

URI	`m2://inv/C5Q2QQB2HH`
Kind	statement
Layer	research
MSC	05-XX, 94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22394#5IR3 (statement)

History

2026-11-02: add by m2/v0.6.17

unit of force C5Q4A3A0DB

URI	`m2://inv/C5Q4A3A0DB`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q15976022, unit of force (definition). Also ProofWiki Definition:SI/Force

History

2026-10-26: add by m2/dev

C5QB3X34V5 C5QB3X34V5

URI	`m2://inv/C5QB3X34V5`
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.39169#DL5Y (statement). In ANHWXYPQFX/e1, proposition 4.10

History

2026-10-30: add by m2/v0.4.12

C5QVHKSZ57 C5QVHKSZ57

URI	`m2://inv/C5QVHKSZ57`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book homotopy.tex#lem:fibration-over-pushout (statement). In N54F33XE07, lem, section 7.5.1

History

2026-11-01: add by m2/v0.6.13

C5QVP44VNT C5QVP44VNT

URI	`m2://inv/C5QVP44VNT`
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.07828#Y2AM (statement). In TWGMVT1N1G/e1, proposition 2.8

History

2026-10-29: add by m2/v0.4.10

Hyperharmonic number C5QX72HN9X

URI	`m2://inv/C5QX72HN9X`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hyperharmonic number, Hyperharmonic number (definition). Also Wikidata Q17145840

History

2026-11-02: add by m2/dev

C5QXE2DAXT C5QXE2DAXT

URI	`m2://inv/C5QXE2DAXT`
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 2607.26169#ODGE (statement). In Q46QV3B0NF/e1, lemma 3.2

History

2026-10-27: add by m2/v0.3.5

Wilhelm Specht C5R1D1TYWA

URI	`m2://inv/C5R1D1TYWA`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Wilhelm Specht, Wilhelm Specht (topic). Also Wikidata Q84762

History

2026-11-02: add by m2/dev

Algorithm C5R4YFDBB7

URI	`m2://inv/C5R4YFDBB7`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Jacobi method#95H9, Algorithm (definition)

History

2026-11-02: add by m2/dev

C5R6N1G26H C5R6N1G26H

URI	`m2://inv/C5R6N1G26H`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-31 (exercise). In E9HS8K3A52, exercise, section 8.4.1

History

2026-11-01: add by m2/v0.6.13

Vertex-scale relation C5RBS74K3C

URI	`m2://inv/C5RBS74K3C`
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#DMBZ, Vertex-scale relation (statement)

History

2026-11-01: add by m2/v0.6.15

Special cases C5RC5CTDRX

URI	`m2://inv/C5RC5CTDRX`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Mercator series#NNQY, Special cases (statement)

History

2026-11-02: add by m2/dev

C5RC6XBMAZ C5RC6XBMAZ

URI	`m2://inv/C5RC6XBMAZ`
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.06529#328O (statement). In JFQY4CYHKP/e1, lemma 4.2

History

2026-10-29: add by m2/v0.4.10

direct limit C5RJTWY2TV

URI	`m2://inv/C5RJTWY2TV`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Direct limit X9HEQ29Q49

Mentions

wikidata: Wikidata Q906015, direct limit (unknown). Also MathWorld DirectLimit, nLab direct limit
wikipedia: Wikipedia Direct limit, Direct limit (definition). Also Wikidata Q906015

History

2026-10-26: add by m2/dev

Ambigram C5RVNCA4SN

URI	`m2://inv/C5RVNCA4SN`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ambigram, Ambigram (definition). Also Wikidata Q221552

History

2026-11-02: add by m2/dev

C5RW1G6Y2P C5RW1G6Y2P

URI	`m2://inv/C5RW1G6Y2P`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32440#SMKC (statement). In 8WP6FQHZBM/e1, theorem 1.1

History

2026-10-31: add by m2/v0.5.6

C5RYZ8VY6C C5RYZ8VY6C

URI	`m2://inv/C5RYZ8VY6C`
Kind	statement
Layer	research
MSC	35-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.31393#7T4T (statement). In ED0WC9Z55C/e1, corollary 1.1

History

2026-10-31: add by m2/v0.5.6

Properties C5S819ZYKS

URI	`m2://inv/C5S819ZYKS`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hilbert symbol#4XG3, Properties (statement)

History

2026-11-02: add by m2/dev

Global mean-contact plane C5S91AZBCS

URI	`m2://inv/C5S91AZBCS`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24931#GT6H, Global mean-contact plane (statement)

History

2026-11-01: add by m2/v0.6.15

C5SEB5SK9F C5SEB5SK9F

URI	`m2://inv/C5SEB5SK9F`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16583#8UW9 (statement). In 4RPXT0YCS5/e1, lemma 3.3

History

2026-10-28: add by m2/v0.4.2

Properties C5SP5R28ZD

URI	`m2://inv/C5SP5R28ZD`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Second-countable space#KJPP, Properties (statement)

History

2026-11-02: add by m2/dev

C5SPNW86C5 C5SPNW86C5

URI	`m2://inv/C5SPNW86C5`
Kind	statement
Layer	research
MSC	53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23873#1N0O (statement)

History

2026-11-02: add by m2/v0.6.17

Wen--Xu C5SQVN6HXN

URI	`m2://inv/C5SQVN6HXN`
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.05868#YC75, Wen--Xu (statement). In WXD0FASTA7/e1, lemma 2.3

History

2026-10-29: add by m2/v0.4.10

C5STVEWPE6 C5STVEWPE6

URI	`m2://inv/C5STVEWPE6`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.18777#2MVX (statement). In TFZDPHDF7V/e1, theorem A.1

History

2026-10-27: add by m2/v0.3.6

C5T1380BER C5T1380BER

URI	`m2://inv/C5T1380BER`
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.13833#15TW (definition). In VD4JP4HVBX/e1, definition 6.17

History

2026-10-28: add by m2/v0.4.2

C5T42YBMW5 C5T42YBMW5

URI	`m2://inv/C5T42YBMW5`
Kind	statement
Layer	research
MSC	05-XX, 16-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12484#RSOW (statement). In GW23NX78SB/e1, lemma 4.17

History

2026-10-28: add by m2/v0.4.2

Arthur Mattuck C5T8K0X9T6

URI	`m2://inv/C5T8K0X9T6`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#HVET, Arthur Mattuck (unknown)

History

2026-11-02: add by m2/dev

Mixed model C5T9DQ1Y5A

URI	`m2://inv/C5T9DQ1Y5A`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#GOWQ, Mixed model (definition)

History

2026-11-02: add by m2/dev

Fuensanta Aroca C5TEJG5ZKV

URI	`m2://inv/C5TEJG5ZKV`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fuensanta Aroca, Fuensanta Aroca (topic). Also Wikidata Q102553947

History

2026-11-02: add by m2/dev

C5TQSFQ63T C5TQSFQ63T

URI	`m2://inv/C5TQSFQ63T`
Kind	statement
Layer	research
MSC	65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32505#BZQT (statement). In N8MYP1Z659/e1, proposition 5.2

History

2026-10-31: add by m2/v0.5.6

Thorsten Altenkirch C5TSR45ENX

URI	`m2://inv/C5TSR45ENX`
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 Q22087167, Thorsten Altenkirch (unknown). Also nLab Thorsten Altenkirch

History

2026-10-26: add by m2/dev

Carl Ludwig Siegel C5TVXAH2WG

URI	`m2://inv/C5TVXAH2WG`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#HKFL, Carl Ludwig Siegel (topic)

History

2026-11-02: add by m2/dev

C5TXYQ03T5 C5TXYQ03T5

URI	`m2://inv/C5TXYQ03T5`
Kind	statement
Layer	research
MSC	05-XX, 20-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.04305#NB7G (statement). In Y1DR0DPWD0/e1, lemma 4.2

History

2026-10-29: add by m2/v0.4.12

C5VAJKKFP7 C5VAJKKFP7

URI	`m2://inv/C5VAJKKFP7`
Kind	example
Layer	research
MSC	20-XX, 57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.09162#N95D (example). In TAPS8P2VYS/e1, example 1.9

History

2026-10-29: add by m2/v0.4.10

Kahn's flow conjecture C5VBPPJ55A

URI	`m2://inv/C5VBPPJ55A`
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.23595#O8IR, Kahn's flow conjecture (statement)

History

2026-11-02: add by m2/v0.6.17

Statement of the theorem C5VG09N4MV

URI	`m2://inv/C5VG09N4MV`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hardy–Littlewood Tauberian theorem#LTB4, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Howard Masur C5VGP1SE1B

URI	`m2://inv/C5VGP1SE1B`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Howard Masur, Howard Masur (topic). Also Wikidata Q18625765

History

2026-11-02: add by m2/dev

Maier's theorem C5VHSRJQVX

URI	`m2://inv/C5VHSRJQVX`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q6735549, Maier's theorem (statement). Also Wikidata Q6735549
thousand_plus: thousand_plus Q6735549, Maier's theorem (statement). Also Wikidata Q6735549, Wikipedia Maier's theorem
wikipedia: Wikipedia Maier's theorem, Maier's theorem (statement). Also Wikidata Q6735549

History

2026-10-26: add by m2/dev

Determinantal conjecture C5VMDYN91A

URI	`m2://inv/C5VMDYN91A`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#245U, Determinantal conjecture (statement)

History

2026-11-02: add by m2/dev

C5VQNX35AE C5VQNX35AE

URI	`m2://inv/C5VQNX35AE`
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.16821#8RQ2 (statement). In EFSGMHG5BW/e1, theorem A

History

2026-10-28: add by m2/v0.4.2

Fractal curve C5VS0HXVDJ

URI	`m2://inv/C5VS0HXVDJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fractal curve, Fractal curve (definition). Also Wikidata Q96378256

History

2026-11-02: add by m2/dev

C5W0NQCMGV C5W0NQCMGV

URI	`m2://inv/C5W0NQCMGV`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05784#YR1M (statement). In 6NVP3YRWVA/e1, theorem 2.3

History

2026-10-29: add by m2/v0.4.10

C5W1ME8VSM C5W1ME8VSM

URI	`m2://inv/C5W1ME8VSM`
Kind	definition
Layer	research
MSC	35-XX, 49-XX, 60-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2501.01612#JTR9 (definition). In A5KESSK05N/e1, definition 2.3

History

2026-10-27: add by m2/v0.3.5

$n$-connected object C5W4JSR8WP

URI	`m2://inv/C5W4JSR8WP`
Kind	definition
Layer	research
MSC	18-XX, 55-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.03865#XPLI, $n$-connected object (definition). In G3D1YR20BJ/e1, definition A.14

History

2026-10-29: add by m2/v0.4.12

Universally measurable set C5W84SE94M

URI	`m2://inv/C5W84SE94M`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of properties of sets of reals#UCU6, Universally measurable set (definition)
wikipedia: Wikipedia List of types of sets#8VSW, Universally measurable set (definition)

History

2026-11-02: add by m2/dev

Éva Tardos C5W9P5DCM0

URI	`m2://inv/C5W9P5DCM0`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#5FIN, Éva Tardos (topic)

History

2026-11-02: add by m2/dev

Block code on configuration C5WDFP7TRG

URI	`m2://inv/C5WDFP7TRG`
Kind	definition
Layer	research
MSC	60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv math/0003117#0H45, Block code on configuration (definition). In WD2NCBV9F0/e1, definition 4.16

History

2026-10-27: add by m2/v0.3.5

C5WE1Q90VT C5WE1Q90VT

URI	`m2://inv/C5WE1Q90VT`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/proof-theory/sequent-calculus/proof-examples.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 61.10

History

2026-11-01: add by m2/v0.6.13

Evaluation functionals of RKHS C5WM4DJ0C4

URI	`m2://inv/C5WM4DJ0C4`
Kind	definition
Layer	research
MSC	62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2410.12994#VSRQ, Evaluation functionals of RKHS (definition). In DF7NRQSDH9/e1, definition 1

History

2026-10-27: add by m2/v0.3.5

Bounded-dimension BB families C5WP6MFWKK

URI	`m2://inv/C5WP6MFWKK`
Kind	statement
Layer	research
MSC	94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.39121#5N1V, Bounded-dimension BB families (statement). In A42CWWRZJE/e1, corollary 5

History

2026-10-30: add by m2/v0.4.12

Construction C5WQAVD4WD

URI	`m2://inv/C5WQAVD4WD`
Kind	definition
Layer	textbook
Sources	1
Outcome	deferred (the cue heading names a section and not one item)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Simple group#X6AI, Construction (definition)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

C5WTC2C73H C5WTC2C73H

URI	`m2://inv/C5WTC2C73H`
Kind	statement
Layer	research
MSC	11-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.23343#WXLV (statement)

History

2026-11-02: add by m2/v0.6.17

C5WW79EZV5 C5WW79EZV5

URI	`m2://inv/C5WW79EZV5`
Kind	statement
Layer	research
MSC	11-XX, 13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32138#RBMJ (statement). In ZG0GNHTCWB/e1, proposition 3.2

History

2026-10-31: add by m2/v0.5.6

unique, factorization system C5WWQ0HWY3

URI	`m2://inv/C5WWQ0HWY3`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/6.6/unique-factorization-system, unique, factorization system (concept). In N54F33XE07, index, section 6.6

History

2026-11-01: add by m2/v0.6.13

C5WZS37MQ4 C5WZS37MQ4

URI	`m2://inv/C5WZS37MQ4`
Kind	statement
Layer	research
MSC	05-XX, 94-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22394#S3QF (statement)

History

2026-11-02: add by m2/v0.6.17

Akra–Bazzi method C5X6M8FP7F

URI	`m2://inv/C5X6M8FP7F`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of mathematics-based methods#3JRR, Akra–Bazzi method (definition)

History

2026-11-02: add by m2/dev

Polynomial components and normality for Laguerre of the second kind C5X7EMRX8K

URI	`m2://inv/C5X7EMRX8K`
Kind	statement
Layer	research
MSC	26-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.22027#9GDO, Polynomial components and normality for Laguerre of the second kind (statement)

History

2026-11-02: add by m2/v0.6.17

C5XD8BTCX4 C5XD8BTCX4

URI	`m2://inv/C5XD8BTCX4`
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.23538#646N (statement)

History

2026-11-02: add by m2/v0.6.17

TV-distance between mixtures of product distributions C5XDRPHF02

URI	`m2://inv/C5XDRPHF02`
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.24235#GJ45, TV-distance between mixtures of product distributions (statement)

History

2026-11-01: add by m2/v0.6.15

C5XGHYHYNB C5XGHYHYNB

URI	`m2://inv/C5XGHYHYNB`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.37606#Z9IE (statement). In WNFW6GY38C/e1, lemma 5.1

History

2026-10-30: add by m2/v0.4.12

Integral linear operator C5XGRBW6MM

URI	`m2://inv/C5XGRBW6MM`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Integral linear operator, Integral linear operator (definition). Also Wikidata Q96382180

History

2026-11-02: add by m2/dev

Keychain C5XQDT2Q3W

URI	`m2://inv/C5XQDT2Q3W`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Keychain (software), Keychain (definition). Also Wikidata Q250173

History

2026-11-02: add by m2/dev

conference matrix C5XRNHK3XF

URI	`m2://inv/C5XRNHK3XF`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1125095, conference matrix (unknown). Also MathWorld C-Matrix
wikipedia: Wikipedia Conference matrix, Conference matrix (definition). Also Wikidata Q1125095

History

2026-10-26: add by m2/dev

Olog C5XT16M2X0

URI	`m2://inv/C5XT16M2X0`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Olog, Olog (definition). Also Wikidata Q7088492

History

2026-11-02: add by m2/dev

Serre relations C5XX89Q1BC

URI	`m2://inv/C5XX89Q1BC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of things named after Jean-Pierre Serre#8QZS, Serre relations (definition)

History

2026-11-02: add by m2/dev

C5XZHTZNWZ C5XZHTZNWZ

URI	`m2://inv/C5XZHTZNWZ`
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.25973#3OF0 (statement)

History

2026-11-01: add by m2/v0.6.15

C5Y27PZWZ6 C5Y27PZWZ6

URI	`m2://inv/C5Y27PZWZ6`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

active_calculus: active_calculus source/activities/act-3-1-2.xml#act-3-1-2 (exercise). In 907G4C4EJ1, activity, section 3.1.2

History

2026-11-01: add by m2/v0.6.13

Solutions of multi-objective optimization problems C5Y5CBRY1D

URI	`m2://inv/C5Y5CBRY1D`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Multi-objective optimization#C0IG, Solutions of multi-objective optimization problems (unknown)

History

2026-11-02: add by m2/dev

Projective line over a ring C5Y75W5641

URI	`m2://inv/C5Y75W5641`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Projective line over a ring, Projective line over a ring (definition). Also Wikidata Q7249472

History

2026-11-02: add by m2/dev

C5YAYD5BHT C5YAYD5BHT

URI	`m2://inv/C5YAYD5BHT`
Kind	statement
Layer	research
MSC	14-XX, 35-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15434#BOJL (statement). In PWF23QSGDX/e1, corollary 5.5

History

2026-10-28: add by m2/v0.4.2

* C5YG06E5K8

URI	`m2://inv/C5YG06E5K8`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of set theory#9SUM, * (definition)

History

2026-11-02: add by m2/dev

Terminology C5YGGQG9CW

URI	`m2://inv/C5YGGQG9CW`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Huffman coding#V0V1, Terminology (definition)

History

2026-11-02: add by m2/dev

C5YQ565VQB C5YQ565VQB

URI	`m2://inv/C5YQ565VQB`
Kind	statement
Layer	research
MSC	20-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.18070#6BQ4 (statement). In RASQS0FG8A/e1, proposition 2.3

History

2026-10-28: add by m2/v0.4.2

Cartesian spaces, and the point C5YQ63A127

URI	`m2://inv/C5YQ63A127`
Kind	example
Layer	research
MSC	18-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26270#7XRM, Cartesian spaces, and the point (example)

History

2026-11-01: add by m2/v0.6.15

Baruch Solomon Löwenstein C5YQV6PXEC

URI	`m2://inv/C5YQV6PXEC`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Baruch Solomon Löwenstein, Baruch Solomon Löwenstein (topic). Also Wikidata Q55604948

History

2026-11-02: add by m2/dev

C5YSF87QKV C5YSF87QKV

URI	`m2://inv/C5YSF87QKV`
Kind	statement
Layer	research
MSC	49-XX, 51-XX, 52-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.13950#H11T (statement). In 8E5S3VJ8P4/e1, proposition 4

History

2026-10-28: add by m2/v0.4.2

Approximation algorithms for the max-cut problem C5YVFPDQVF

URI	`m2://inv/C5YVFPDQVF`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Maximum cut#B8WP, Approximation algorithms for the max-cut problem (unknown)

History

2026-11-02: add by m2/dev

C5Z0JB59C9 C5Z0JB59C9

URI	`m2://inv/C5Z0JB59C9`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/addition.tex#ordsumnotcommute (statement). In PKGMM3P5QY, prop, section 71.8

History

2026-11-01: add by m2/v0.6.13

I know that I know nothing C5Z4VKHWDX

URI	`m2://inv/C5Z4VKHWDX`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q259588, I know that I know nothing (statement). Also MathWorld SocratesParadox, ProofWiki Socratic_Paradox/Paradox_1
wikipedia: Wikipedia I know that I know nothing, I know that I know nothing (definition). Also Wikidata Q259588

History

2026-10-26: add by m2/dev

C5Z826SKGB C5Z826SKGB

URI	`m2://inv/C5Z826SKGB`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

austin_ula: austin_ula src/section4-2.xml#activity-2 (exercise). In 649HGZKE96, activity, section 4.2.3

History

2026-11-01: add by m2/v0.6.13

C5ZBXQA6VP C5ZBXQA6VP

URI	`m2://inv/C5ZBXQA6VP`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_scv: lebl_scv scv.tex#exercise-12 (exercise). In VNMV985MXX, exercise, section 1.2

History

2026-11-01: add by m2/v0.6.13

C5ZCQX0CKS C5ZCQX0CKS

URI	`m2://inv/C5ZCQX0CKS`
Kind	statement
Layer	research
MSC	14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.35467#3OI1 (statement). In FK89DQ9J4S/e1, lemma 5.2

History

2026-10-30: add by m2/v0.4.12

Classical solvability, \texorpdfstring C5ZDPV3ZM1

URI	`m2://inv/C5ZDPV3ZM1`
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.18252#5LT4, Classical solvability, \texorpdfstring (statement). In PSQ3CNVK2D/e1, lemma 2.2

History

2026-10-28: add by m2/v0.4.2

C5ZNN9GDBQ C5ZNN9GDBQ

URI	`m2://inv/C5ZNN9GDBQ`
Kind	statement
Layer	research
MSC	62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20944#HK7R (statement). In DRRKZR6CQC/e1, lemma A.9

History

2026-10-27: add by m2/v0.4.2

in terms of Turing machines C5ZQ3XYT91

URI	`m2://inv/C5ZQ3XYT91`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_overview: mathlib_overview Logic and computation > Computability > computable function > in terms of Turing machines, in terms of Turing machines (unknown). Also Mathlib Turing.TM2Computable

History

2026-10-26: add by m2/dev

pound per square inch C5ZT1P1NKM

URI	`m2://inv/C5ZT1P1NKM`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q626299, pound per square inch (definition). Also ProofWiki Definition:FPS/Pressure/Pound_per_Square_Inch

History

2026-10-26: add by m2/dev