Inventory rows 13

Expected value 1306G112BS

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

Mentions

wikipedia: Wikipedia List of statistics articles#OJ3L, Expected value (definition)
wikipedia: Wikipedia List of probability topics#4P6X, Expected value (definition)

History

2026-11-02: add by m2/dev

The full $q=1$ trapezoidal profile 130AJMAR36

URI	`m2://inv/130AJMAR36`
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#NRH4, The full $q=1$ trapezoidal profile (statement)

History

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

Dot product representation of a graph 130C918SQ4

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

Mentions

wikipedia: Wikipedia Dot product representation of a graph, Dot product representation of a graph (definition). Also Wikidata Q25303817

History

2026-11-02: add by m2/dev

Wild-inertia criterion for finite monodromy, every $n$ 130EMNPRAP

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

Mentions

arxiv: arXiv 2610.04099#SRXA, Wild-inertia criterion for finite monodromy, every $n$ (statement). In QPJ6FWG5HD/e1, proposition 2.50

History

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

Veinte Reales 130GV336F7

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

Mentions

wikipedia: Wikipedia List of places with numeric names#XKMA, Veinte Reales (unknown)

History

2026-11-02: add by m2/dev

Évariste Galois 13127EFK18

URI	`m2://inv/13127EFK18`
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#4RAA, Évariste Galois (topic)

History

2026-11-02: add by m2/dev

131A2BC214 131A2BC214

URI	`m2://inv/131A2BC214`
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 2202.03009#QECN (statement). In GYEQJ534W1/e1, theorem 2

History

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

Principle 131BM03WX8

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

Mentions

wikipedia: Wikipedia Constant false alarm rate#RY79, Principle (statement)

History

2026-11-02: add by m2/dev

131FFS0W4F 131FFS0W4F

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

Mentions

arxiv: arXiv 2610.06045#Z3QN (definition). In SVKM0852RJ/e1, definition 2

History

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

Example 131G2JNC0W

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

Mentions

wikipedia: Wikipedia Approximate entropy#CKU3, Example (example)

History

2026-11-02: add by m2/dev

Group size measures 131NN51TB2

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

Mentions

wikipedia: Wikipedia List of statistics articles#D14Z, Group size measures (definition)

History

2026-11-02: add by m2/dev

13203Z3P94 13203Z3P94

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

Mentions

arxiv: arXiv 2609.20097#Q7RO (statement)

History

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

Probability of failure of localization 1322FQ74CP

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

Mentions

arxiv: arXiv 2610.06372#RZK2, Probability of failure of localization (statement). In G3E1P350Z6/e1, lemma 7.20

History

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

Bernadette Bouchon-Meunier 1326FA6HCM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ZT5R, Bernadette Bouchon-Meunier (unknown)

History

2026-11-02: add by m2/dev

1327RW9W0N 1327RW9W0N

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

Mentions

arxiv: arXiv 2609.37704#DX62 (statement). In HGTFJ325A4/e1, proposition 4.3

History

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

132EQC6KK8 132EQC6KK8

URI	`m2://inv/132EQC6KK8`
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.39700#OD01 (statement). In E7W2HDNEKJ/e1, lemma 9.16

History

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

Portal rendering 132S02HWW4

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#PPCX, Portal rendering (unknown)

History

2026-11-02: add by m2/dev

one 132WCAJNNM

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#Q78V, one (definition)

History

2026-11-02: add by m2/dev

132YF7R80V 132YF7R80V

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

Mentions

arxiv: arXiv 2610.14837#NOMJ (statement). In J4P6HXMJCH/e1, proposition 2.5

History

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

Proper rational matrix 1330XB76A7

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

Mentions

wikipedia: Wikipedia Transfer function matrix#FMCO, Proper rational matrix (unknown)

History

2026-11-02: add by m2/dev

Alex Chigogidze 1333JZJZXF

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

Mentions

wikipedia: Wikipedia Alex Chigogidze, Alex Chigogidze (topic). Also Wikidata Q20561830

History

2026-11-02: add by m2/dev

1333YTS66P 1333YTS66P

URI	`m2://inv/1333YTS66P`
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 2011.08789#PBE9 (definition). In 43AGRMP7T3/e1, definition 2.2

History

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

Mathematical biophysics 1339J4XRXN

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

Mentions

wikipedia: Wikipedia Mathematical and theoretical biology#2B5M, Mathematical biophysics (unknown)

History

2026-11-02: add by m2/dev

133D61707Z 133D61707Z

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

Mentions

arxiv: arXiv 2609.38567#3MNL (definition). In 59AXA7QFTE/e1, definition 4

History

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

133FBJKVHS 133FBJKVHS

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

Mentions

arxiv: arXiv 2609.33590#RASY (definition). In WRE0P7V6Z3/e1, definition 11.2

History

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

Sosigenes of Alexandria 133MV3G6GZ

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#SH3A, Sosigenes of Alexandria (unknown)

History

2026-11-02: add by m2/dev

Hadamard three-lines theorem 133S878V3M

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

Mentions

mathlib_1000: mathlib_1000 Q3527250, Hadamard three-lines theorem (statement). Also Mathlib Complex.HadamardThreeLines.norm_le_interpStrip_of_mem_verticalClosedStrip, Wikidata Q3527250
thousand_plus: thousand_plus Q3527250, Hadamard three-lines theorem (statement). Also Mathlib Complex.HadamardThreeLines.norm_le_interpStrip_of_mem_verticalClosedStrip, Wikidata Q3527250, Wikipedia Hadamard three-lines theorem
wikipedia: Wikipedia Hadamard three-lines theorem, Hadamard three-lines theorem (statement). Also Wikidata Q3527250

History

2026-10-26: add by m2/dev

133WKXD32M 133WKXD32M

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-54 (exercise). In E59CDZA4DP, exercise, section 10.4.1

History

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

133ZCJAN5S 133ZCJAN5S

URI	`m2://inv/133ZCJAN5S`
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.19453#YWGC (statement). In TX82YAVS5V/e1, lemma 3.1

History

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

Bin Yu 1341QBQTWP

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

Mentions

wikipedia: Wikipedia Bin Yu, Bin Yu (topic). Also Wikidata Q15995602

History

2026-11-02: add by m2/dev

Moneyball 1347YD6CTN

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

Mentions

wikipedia: Wikipedia List of films about mathematicians#76K3, Moneyball (unknown)

History

2026-11-02: add by m2/dev

134BDD3BRZ 134BDD3BRZ

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

Mentions

open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#ex-2 (example). In PKGMM3P5QY, ex, section 83.5

History

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

134CZGQWQY 134CZGQWQY

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

Mentions

arxiv: arXiv 2609.22825#E2DU (statement)

History

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

Quasi-empiricism in mathematics 134M0SD0SS

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

Mentions

wikipedia: Wikipedia Quasi-empiricism in mathematics, Quasi-empiricism in mathematics (definition). Also Wikidata Q1960493

History

2026-11-02: add by m2/dev

134SMQYXV9 134SMQYXV9

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

Mentions

arxiv: arXiv 2610.02628#STM5 (statement). In G4S9C5M1A4/e1, theorem 3.5

History

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

134TT0CYM5 134TT0CYM5

URI	`m2://inv/134TT0CYM5`
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.30410#UF3K (statement). In 5HZX3JVJWF/e1, theorem 1.1

History

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

134VDMMH1E 134VDMMH1E

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

Mentions

arxiv: arXiv 2610.10570#N974 (definition). In V0MA250K2P/e1, definition

History

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

1350C3H1KB 1350C3H1KB

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

Mentions

arxiv: arXiv 2609.21914#64DZ (definition)

History

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

1354J8RH2T 1354J8RH2T

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

Mentions

arxiv: arXiv 2610.01737#CS42 (definition). In M4JGP708F4/e1, definition 3.22

History

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

1355PWZK81 1355PWZK81

URI	`m2://inv/1355PWZK81`
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 2310.10361#AUMX (statement). In 65ED1ZXG98/e1, lemma 2.1

History

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

Syntactic completeness 1357GSGGHW

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

Mentions

wikipedia: Wikipedia Completeness (logic)#9AXS, Syntactic completeness (unknown)

History

2026-11-02: add by m2/dev

135CD11Z33 135CD11Z33

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

Mentions

arxiv: arXiv 2610.12633#L6BI (statement). In NGZ5AZ70NN/e1, lemma 3.12

History

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

Definition 135Q3JCKV0

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

Mentions

wikipedia: Wikipedia Sérsic profile#S4H6, Definition (definition)

History

2026-11-02: add by m2/dev

Paul Guldin 135R9BC0VD

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#YRP2, Paul Guldin (topic)

History

2026-11-02: add by m2/dev

135XEKA2GE 135XEKA2GE

URI	`m2://inv/135XEKA2GE`
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 0902.4887#VPLY (statement). In MYQ05J9R20/e1, proposition 2.9

History

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

Jiří Patera 135YMG876Q

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

Mentions

wikipedia: Wikipedia Jiří Patera (mathematician), Jiří Patera (topic). Also Wikidata Q1230856

History

2026-11-02: add by m2/dev

135Z9F699A 135Z9F699A

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

Mentions

arxiv: arXiv 2609.31294#4HA9 (statement). In 6GK9EJMWY4/e1, theorem 1.3

History

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

uniqueness, of identity types 135Z9NKE4E

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

Mentions

hott_book: hott_book index/8.2/uniqueness-of-identity-types, uniqueness, of identity types (concept). In N54F33XE07, index, section 8.2

History

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

1368HC09M6 1368HC09M6

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#example-1 (example). In P1C114YBXG, example, section 1

History

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

Defeng Sun 136C8QFMK3

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

Mentions

wikipedia: Wikipedia Defeng Sun, Defeng Sun (topic). Also Wikidata Q58320158

History

2026-11-02: add by m2/dev

136CWZN3QE 136CWZN3QE

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

Mentions

arxiv: arXiv 2610.04809#9M8J (statement). In 2VHV0RNTNV/e1, theorem 8.15

History

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

136NPDWVYF 136NPDWVYF

URI	`m2://inv/136NPDWVYF`
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.02141#80A6 (statement). In 5AB8YPS19N/e1, corollary 5.4

History

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

Nesbitt's inequality 136XGAWCG1

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

Mentions

wikipedia: Wikipedia Nesbitt's inequality, Nesbitt's inequality (statement). Also Wikidata Q370642

History

2026-11-02: add by m2/dev

Callebaut's Inequality 136ZFBK2NK

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

Mentions

wikipedia: Wikipedia Cauchy–Schwarz inequality#AMHH, Callebaut's Inequality (statement)

History

2026-11-02: add by m2/dev

Arnold, Vladimir Igorevich 1370E5HHR7

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

Mentions

wikipedia: Wikipedia List of Ukrainian mathematicians#A05W, Arnold, Vladimir Igorevich (topic)

History

2026-11-02: add by m2/dev

The intermediate value theorem 1371Z4CA7S

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

Mentions

wikipedia: Wikipedia Constructive analysis#K1CZ, The intermediate value theorem (statement)

History

2026-11-02: add by m2/dev

\coqident{MoreFoundations}{Wtypes}{picompact_empty}, \coqident{MoreFoundations}{Wtypes}{picompact_unit 1372W7PVG2

URI	`m2://inv/1372W7PVG2`
Kind	example
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 1904.09810#FB87, \coqident{MoreFoundations}{Wtypes}{picompact_empty}, \coqident{MoreFoundations}{Wtypes}{picompact_unit (example). In T1VFA7TXPA/e1, example 65

History

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

Paillier cryptosystem 13761CAEA3

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

Mentions

wikipedia: Wikipedia Paillier cryptosystem, Paillier cryptosystem (definition). Also Wikidata Q594646

History

2026-11-02: add by m2/dev

Uniform character normalization 137CTZ8GN2

URI	`m2://inv/137CTZ8GN2`
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.35986#XQLO, Uniform character normalization (statement). In PBX6AMPVT2/e1, lemma A.2

History

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

137FC9HEPZ 137FC9HEPZ

URI	`m2://inv/137FC9HEPZ`
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.30664#CD7I (statement). In ZZGDNKDVJW/e1, lemma 6.2

History

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

Horizon bias and planning depth 137G69A20J

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

Mentions

arxiv: arXiv 2610.14988#T94T, Horizon bias and planning depth (statement). In B29M4E6KGC/e1, corollary J.1

History

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

Cauchy's convergence test 137MR4C9TE

URI	`m2://inv/137MR4C9TE`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Cauchy criterion for series 06PVXMY0TH

Mentions

wikidata: Wikidata Q859102, Cauchy's convergence test (statement). Also MathWorld CauchyCriterion
wikipedia: Wikipedia Cauchy's convergence test, Cauchy's convergence test (definition). Also Wikidata Q859102

History

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

Gras conjecture 137P39W66X

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

Mentions

wikipedia: Wikipedia Gras conjecture, Gras conjecture (statement). Also Wikidata Q5597382

History

2026-11-02: add by m2/dev

primal complex 137RDV194D

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

Mentions

arxiv: arXiv 2409.03461#ZJG4, primal complex (definition). In XJVZSGCX5V/e1, definition 3

History

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

Zeuthen strategy 1382VRFECP

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

Mentions

wikipedia: Wikipedia Zeuthen strategy, Zeuthen strategy (definition). Also Wikidata Q2897241

History

2026-11-02: add by m2/dev

Formal definition 13859DR4P5

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

Mentions

wikipedia: Wikipedia Random dynamical system#6HDQ, Formal definition (definition)

History

2026-11-02: add by m2/dev

Examples 138A02WY32

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

Mentions

wikipedia: Wikipedia Orbit (dynamics)#KDJH, Examples (example)

History

2026-11-02: add by m2/dev

138B5240J7 138B5240J7

URI	`m2://inv/138B5240J7`
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 2407.04161#2HSK (statement). In JBZJ7NPQ4G/e1, proposition 6.12

History

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

Applications 138DCS7DHF

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

Mentions

wikipedia: Wikipedia Kullback–Leibler Upper Confidence Bound#5KZE, Applications (example)

History

2026-11-02: add by m2/dev

Isomorphism of qm-spaces 138E4VNKX1

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

Mentions

arxiv: arXiv 2609.27752#6SON, Isomorphism of qm-spaces (definition)

History

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

Google DeepMind 138N3W0VZT

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

Mentions

wikipedia: Wikipedia List of mathematical discoveries by artificial intelligence#EDF7, Google DeepMind (unknown)

History

2026-11-02: add by m2/dev

138NAQ906D 138NAQ906D

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

Mentions

arxiv: arXiv 2609.20028#XHZ4 (statement)

History

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

138SS79MHF 138SS79MHF

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

Mentions

arxiv: arXiv 2609.27360#D2IL (statement)

History

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

Tetrahedral-cubic honeycomb 138TVQ5MJ0

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

Mentions

wikipedia: Wikipedia Tetrahedral-cubic honeycomb, Tetrahedral-cubic honeycomb (definition). Also Wikidata Q17077885

History

2026-11-02: add by m2/dev

138WHHYSJ0 138WHHYSJ0

URI	`m2://inv/138WHHYSJ0`
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 2509.05577#KH5U (statement). In EFWBREMZAP/e1, theorem 0.5

History

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

Standard template 138ZNWK6S5

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

Mentions

arxiv: arXiv 2403.16840#NP1R, Standard template (definition). In K4CZQDD0G7/e1, definition 2.4

History

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

Gibbs averages and response along the branch 1396M39F86

URI	`m2://inv/1396M39F86`
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.18350#WTX1, Gibbs averages and response along the branch (statement). In A20E8FZS21/e1, lemma 3.1

History

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

Newton-meter 1397PZX8MA

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

Mentions

active_calculus: active_calculus index/6.4.1/newton-meter, Newton-meter (concept). In 907G4C4EJ1, index, section 6.4.1

History

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

Applications 1397SW31FE

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

Mentions

wikipedia: Wikipedia Microplane model for constitutive laws of materials#YH12, Applications (example)

History

2026-11-02: add by m2/dev

Few rounds 139CVFXGN1

URI	`m2://inv/139CVFXGN1`
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.12641#IVU4, Few rounds (statement). In X5BYGZZHPF/e1, theorem J.11

History

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

Scheme of Separation 139F9RDZWY

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

Mentions

open_logic: open_logic content/set-theory/z/separation.tex#axiom-1, Scheme of Separation (statement). In PKGMM3P5QY, axiom, section 76.8

History

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

Erdős–Kaplansky theorem 139H05DAFH

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

Mentions

wikipedia: Wikipedia Erdős–Kaplansky theorem, Erdős–Kaplansky theorem (statement). Also Wikidata Q3526981

History

2026-11-02: add by m2/dev

New rhetoric 139RBP8A27

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

Mentions

wikipedia: Wikipedia New rhetoric, New rhetoric (definition). Also Wikidata Q3345183

History

2026-11-02: add by m2/dev

Any finite collection of curves 139RR5TCZV

URI	`m2://inv/139RR5TCZV`
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 2512.19872#JG0M, Any finite collection of curves (statement). In DG9TF5X0EG/e1, theorem 6

History

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

Anyon-insertion functor 139Y2NYCFB

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

Mentions

arxiv: arXiv 2610.08787#YUMA, Anyon-insertion functor (definition). In CCQ5XXWYDZ/e1, definition III.2

History

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

Simultaneous replacement of exceptional restrictions 13A3B0535Q

URI	`m2://inv/13A3B0535Q`
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.00099#CGPM, Simultaneous replacement of exceptional restrictions (statement). In NNBY2AEHP4/e1, proposition 4.3

History

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

Special cases 13A7J5XFH9

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

Mentions

wikipedia: Wikipedia Markovian arrival process#FIAG, Special cases (statement)

History

2026-11-02: add by m2/dev

Definition 13A7JY1XX3

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

Mentions

wikipedia: Wikipedia Maass wave form#WKX2, Definition (definition)

History

2026-11-02: add by m2/dev

Well Ordered Property of the Positive Integers 13AC0DJ8KT

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

Mentions

applied_combinatorics: applied_combinatorics source/s_induction_posintsord.ptx#princ_well-order, Well Ordered Property of the Positive Integers (statement). In QKM9DD2H56, principle, section 3.2

History

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

Gradient-index optics 13AJQ9PHW6

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

Mentions

wikipedia: Wikipedia Gradient-index optics, Gradient-index optics (definition). Also Wikidata Q1541210

History

2026-11-02: add by m2/dev

Bernard Benjamin 13AQWGZ0BJ

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

Mentions

wikipedia: Wikipedia List of actuaries#CNC2, Bernard Benjamin (unknown)

History

2026-11-02: add by m2/dev

13AZV3FHW6 13AZV3FHW6

URI	`m2://inv/13AZV3FHW6`
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.33512#8UXW (statement). In WYHZMYZT31/e1, lemma 3.7

History

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

One-to-one breakpoints 13B1ZCSSGC

URI	`m2://inv/13B1ZCSSGC`
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.25704#6O61, One-to-one breakpoints (statement)

History

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

13BJV7CVD8 13BJV7CVD8

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

Mentions

arxiv: arXiv 2609.30165#VO2Z (statement)

History

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

13BTN4TFWZ 13BTN4TFWZ

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

Mentions

arxiv: arXiv 2610.15631#08FG (statement). In AF465QFRGQ/e1, lemma V.1

History

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

Donald Prell 13C2NTB6SD

URI	`m2://inv/13C2NTB6SD`
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#FG1Y, Donald Prell (unknown)

History

2026-11-02: add by m2/dev

Adaptive chosen-ciphertext attack 13C3XTGCNK

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

Mentions

wikipedia: Wikipedia Adaptive chosen-ciphertext attack, Adaptive chosen-ciphertext attack (definition). Also Wikidata Q4680729

History

2026-11-02: add by m2/dev

13CA73DK6F 13CA73DK6F

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

Mentions

hott_book: hott_book logic.tex#defn:1type (definition). In N54F33XE07, defn, section 9.1

History

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

Krasnov, van Hamel 13CEFF91P8

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

Mentions

arxiv: arXiv 2610.18562#DKSE, Krasnov, van Hamel (statement). In 793KXAR957/e1, theorem 1.1

History

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

Julia F. Knight 13CHT7ACWX

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

Mentions

wikipedia: Wikipedia Julia F. Knight, Julia F. Knight (topic). Also Wikidata Q15708693

History

2026-11-02: add by m2/dev

13CJF17K9Z 13CJF17K9Z

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

Mentions

arxiv: arXiv 2502.14306#59IV (statement). In ZNBQD5WH1M/e1, theorem 2.2

History

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

13CQQD8M1A 13CQQD8M1A

URI	`m2://inv/13CQQD8M1A`
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.21600#19LC (statement). In EGAXXGHQNK/e1, corollary 1

History

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

Lies, damned lies, and statistics 13CSX8N2S7

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

Mentions

wikipedia: Wikipedia Lies, damned lies, and statistics, Lies, damned lies, and statistics (definition). Also Wikidata Q2663549

History

2026-11-02: add by m2/dev

Definition 13D5HYXWMV

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

Mentions

wikipedia: Wikipedia Adjoint representation#8ENQ, Definition (definition)

History

2026-11-02: add by m2/dev

The $p$th power automorphism 13D8RQZJ5P

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

Mentions

napkin: napkin tex/alg-NT/finite-field.tex#theorem-4, The $p$th power automorphism (statement). In RZP28ERRZV, theorem, section 12.4

History

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

13DNE6F903 13DNE6F903

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

Mentions

arxiv: arXiv 2610.12736#GVFW (statement). In 5350Q52F6P/e1, proposition 2.10

History

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

13DS5R7J8P 13DS5R7J8P

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

Mentions

arxiv: arXiv 2610.16203#UJO3 (statement). In 43TBS9P2PX/e1, proposition 3.8

History

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

13DZ03ZXRJ 13DZ03ZXRJ

URI	`m2://inv/13DZ03ZXRJ`
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.20050#3RFI (statement). In T41GD0Y0GX/e1, lemma 4.2

History

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

Compact profile space, the Arzel\`a--Ascoli theorem \mycite{Sections 3.5--3.7}{TuzhilinLectures 13EBAM7HGC

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

Mentions

arxiv: arXiv 2610.17400#O3PV, Compact profile space, the Arzel\`a--Ascoli theorem \mycite{Sections 3.5--3.7}{TuzhilinLectures (statement). In 8VDXGR4SVD/e1, lemma 5.1

History

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

Exact second spectral moment cost 13ECGDVHY0

URI	`m2://inv/13ECGDVHY0`
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.16680#86LZ, Exact second spectral moment cost (statement). In H29YHXQZV6/e1, proposition 4

History

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

Remark 13EE37029G

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

Mentions

wikipedia: Wikipedia Chern class#XD2Q, Remark (unknown)

History

2026-11-02: add by m2/dev

Kodaira vanishing theorem 13EE4K5MZS

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#RRXN, Kodaira vanishing theorem (definition)

History

2026-11-02: add by m2/dev

Joel Hass 13EQS24ZDJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#3FMJ, Joel Hass (topic)

History

2026-11-02: add by m2/dev

High-obliquity hypothesis 13EVE8KJRP

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

Mentions

wikipedia: Wikipedia Snowball Earth#5909, High-obliquity hypothesis (statement)

History

2026-11-02: add by m2/dev

Affine--centered NNS workload 13FDDPRVR3

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

Mentions

arxiv: arXiv 2609.37482#QSQZ, Affine--centered NNS workload (statement). In 9QDRMZX8EY/e1, lemma 23

History

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

13FHDDSK8F 13FHDDSK8F

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

Mentions

arxiv: arXiv 2609.28781#2ZG2 (statement)

History

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

13FNQM09E0 13FNQM09E0

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

Mentions

arxiv: arXiv 2609.27965#35Q8 (statement)

History

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

A non-rigid finite input detected as infinite after middle convolution 13FS1CRB2P

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

Mentions

arxiv: arXiv 2609.25805#HC7M, A non-rigid finite input detected as infinite after middle convolution (example)

History

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

Examples 13G4F2RM2D

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

Mentions

wikipedia: Wikipedia Stack (mathematics)#YG38, Examples (example)

History

2026-11-02: add by m2/dev

13G9RGHJKM 13G9RGHJKM

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#example-1 (example). In P1C114YBXG, example, section H

History

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

Irena Lasiecka 13GDKMBGFE

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

Mentions

wikipedia: Wikipedia Irena Lasiecka, Irena Lasiecka (topic). Also Wikidata Q18708380

History

2026-11-02: add by m2/dev

Talagrand's inequality 13GNBNCPQX

URI	`m2://inv/13GNBNCPQX`
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.11760#QIJ7, Talagrand's inequality (statement). In NBNERWXW53/e1, lemma S12.1

History

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

13GQ7SZTX8 13GQ7SZTX8

URI	`m2://inv/13GQ7SZTX8`
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.00247#4KWU (statement). In ZAM4S2XS9F/e1, theorem 2.5

History

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

Definition 13GXNAX1N1

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

Mentions

wikipedia: Wikipedia Covering number#AY6S, Definition (definition)

History

2026-11-02: add by m2/dev

Properties 13H0WYA6VG

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

Mentions

wikipedia: Wikipedia Tweedie distribution#Z8ZR, Properties (statement)

History

2026-11-02: add by m2/dev

13HAV6RJ2A 13HAV6RJ2A

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

Mentions

arxiv: arXiv 2609.26762#CHZ1 (statement)

History

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

13HENJ15QQ 13HENJ15QQ

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

Mentions

arxiv: arXiv 2303.14022#ZRIV (definition). In NSYR6W27FP/e1, definition 2.8

History

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

Chafee–Infante equation 13HR1R3TY9

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

Mentions

wikipedia: Wikipedia Chafee–Infante equation, Chafee–Infante equation (definition). Also Wikidata Q15838906

History

2026-11-02: add by m2/dev

Formal definition 13HRAV861S

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

Mentions

wikipedia: Wikipedia Game theory#JQVV, Formal definition (definition)

History

2026-11-02: add by m2/dev

13HRK5W4XW 13HRK5W4XW

URI	`m2://inv/13HRK5W4XW`
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#QT5M (statement)

History

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

localizing subcategory 13HSF3NQX1

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

Mentions

wikidata: Wikidata Q25303774, localizing subcategory (unknown). Also nLab localizing subcategory
wikipedia: Wikipedia Localizing subcategory, Localizing subcategory (definition). Also Wikidata Q25303774

History

2026-10-26: add by m2/dev

Convection 13JG4MTR9B

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

Mentions

wikipedia: Wikipedia Convection (heat transfer), Convection (definition). Also Wikidata Q918227

History

2026-11-02: add by m2/dev

13JKB7VNYX 13JKB7VNYX

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

Mentions

arxiv: arXiv 2302.05529#R1ZC (definition). In 9VPMHV0M4R/e1, definition 1.11

History

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

Global mixed derivative bound 13JX6WWJPS

URI	`m2://inv/13JX6WWJPS`
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#0YKP, Global mixed derivative bound (statement)

History

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

13JZNJD1NM 13JZNJD1NM

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

Mentions

arxiv: arXiv 2610.17565#WU0P (statement). In C422901XCN/e1, fact 2.5

History

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

Gaussian comparison with quadratic confinement 13KCAPEA5E

URI	`m2://inv/13KCAPEA5E`
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#5RQK, Gaussian comparison with quadratic confinement (statement). In KVYG6R7CGJ/e1, lemma 3.5

History

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

13KDYY7K7X 13KDYY7K7X

URI	`m2://inv/13KDYY7K7X`
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.12633#0LNX (definition). In NGZ5AZ70NN/e1, definition 2.1

History

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

Levi-Civita symbol 13KHTCHG39

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

Mentions

wikipedia: Wikipedia Glossary of tensor theory#O8VA, Levi-Civita symbol (definition)

History

2026-11-02: add by m2/dev

Applications 13KN26M4H5

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

Mentions

wikipedia: Wikipedia Total internal reflection#WXGZ, Applications (example)

History

2026-11-02: add by m2/dev

13KPC9MVC1 13KPC9MVC1

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-35 (exercise). In E59CDZA4DP, exercise, section 9.3.4

History

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

13KPX9H475 13KPX9H475

URI	`m2://inv/13KPX9H475`
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.23526#V780 (statement)

History

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

Perturbing unit service 13KSF44TGP

URI	`m2://inv/13KSF44TGP`
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.25084#2PEY, Perturbing unit service (statement)

History

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

Fluctuation theorem 13KTNV7K59

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

Mentions

mathlib_1000: mathlib_1000 Q900831, Fluctuation theorem (statement). Also Wikidata Q900831
thousand_plus: thousand_plus Q900831, Fluctuation theorem (statement). Also Wikidata Q900831, Wikipedia Fluctuation theorem
wikipedia: Wikipedia Fluctuation theorem, Fluctuation theorem (statement). Also Wikidata Q900831

History

2026-10-26: add by m2/dev

13KV6XA15H 13KV6XA15H

URI	`m2://inv/13KV6XA15H`
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 math/0003117#BFSX (statement). In WD2NCBV9F0/e1, proposition 7.12

History

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

13KZ7PQNRW 13KZ7PQNRW

URI	`m2://inv/13KZ7PQNRW`
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.20588#21FU (statement)

History

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

Robert Wallace 13KZAKVBFE

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

Mentions

wikipedia: Wikipedia Robert Wallace (minister), Robert Wallace (topic). Also Wikidata Q15994811

History

2026-11-02: add by m2/dev

transcendental element 13M0HZ0GD6

URI	`m2://inv/13M0HZ0GD6`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Transcendental element 00SW8B91E7

Mentions

wikidata: Wikidata Q8774711, transcendental element (unknown). Also MathWorld TranscendentalElement

History

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

Coherence 13MNEFKWHC

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

Mentions

wikipedia: Wikipedia Coherence (signal processing), Coherence (definition). Also Wikidata Q1778784

History

2026-11-02: add by m2/dev

13N1S82YAY 13N1S82YAY

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

Mentions

arxiv: arXiv 2609.31365#TZ51 (statement). In 19GENJ3NCP/e1, theorem 5.4

History

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

You-Dong Liang 13NE9R5S4D

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

Mentions

wikipedia: Wikipedia You-Dong Liang, You-Dong Liang (topic). Also Wikidata Q20737947

History

2026-11-02: add by m2/dev

Donald W. Loveland 13NKGA70H1

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

Mentions

wikipedia: Wikipedia Donald W. Loveland, Donald W. Loveland (topic). Also Wikidata Q5295258

History

2026-11-02: add by m2/dev

13NMFPE0K5 13NMFPE0K5

URI	`m2://inv/13NMFPE0K5`
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.21116#8E1P (statement)

History

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

Example 13NQQY1YTQ

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

Mentions

wikipedia: Wikipedia Bayesian programming#SK2P, Example (example)

History

2026-11-02: add by m2/dev

compound of five tetrahedra 13NWDT3QE7

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

Mentions

wikidata: Wikidata Q1105465, compound of five tetrahedra (unknown). Also MathWorld Tetrahedron5-Compound
wikipedia: Wikipedia Compound of five tetrahedra, Compound of five tetrahedra (object). Also Wikidata Q1105465

History

2026-10-26: add by m2/dev

13P1G4GCC3 13P1G4GCC3

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

Mentions

arxiv: arXiv 2504.02065#DBNB (example). In 60CK7P5F36/e1, example 2.6

History

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

Extended base-phase inequality 13PGK8ZT3G

URI	`m2://inv/13PGK8ZT3G`
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.37164#9R0B, Extended base-phase inequality (statement). In B2PG75FSQJ/e1, lemma 6.3

History

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

13PTK5WSQ7 13PTK5WSQ7

URI	`m2://inv/13PTK5WSQ7`
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.21692#TFEB (statement). In CT4N0JGDP4/e1, lemma 4.4

History

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

differential algebraic equation 13PW553EGE

URI	`m2://inv/13PW553EGE`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Differential-algebraic system of equations EY362KR0KB

Mentions

wikidata: Wikidata Q955889, differential algebraic equation (unknown). Also MathWorld Differential-AlgebraicEquation
wikipedia: Wikipedia Differential-algebraic system of equations, Differential-algebraic system of equations (definition). Also Wikidata Q955889

History

2026-10-26: add by m2/dev

inverse function theorem 13PWF4DRQF

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

Mentions

lebl_ra: lebl_ra index/3.4.1/inverse-function-theorem, inverse function theorem (concept). In E59CDZA4DP, index, section 3.4.1

History

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

13PWR08KF0 13PWR08KF0

URI	`m2://inv/13PWR08KF0`
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.18673#XFOV (statement). In 7ZFD9XRKA1/e1, theorem 3.8

History

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

Mary Lucy Cartwright 13PZBTCES6

URI	`m2://inv/13PZBTCES6`
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#4VQB, Mary Lucy Cartwright (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#851E, Mary Lucy Cartwright (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BETF, Mary Lucy Cartwright (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZV2W, Mary Lucy Cartwright (topic)

History

2026-11-02: add by m2/dev

The handicap principle 13Q9ZHZXEV

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

Mentions

wikipedia: Wikipedia Competitive altruism#Y246, The handicap principle (statement)

History

2026-11-02: add by m2/dev

13QA7HGEBY 13QA7HGEBY

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

Mentions

arxiv: arXiv 2609.25742#TFE6 (statement)

History

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

The Cherlin–Zilber conjecture 13QCPMHC1E

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

Mentions

wikipedia: Wikipedia Stable group#AXS4, The Cherlin–Zilber conjecture (statement)

History

2026-11-02: add by m2/dev

Tarjan's strongly connected components algorithm 13QDA7DJ1P

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

Mentions

wikipedia: Wikipedia Tarjan's strongly connected components algorithm, Tarjan's strongly connected components algorithm (definition). Also Wikidata Q1972285

History

2026-11-02: add by m2/dev

homoscedasticity 13QDRVZJ3W

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

Mentions

wikidata: Wikidata Q1054836, homoscedasticity (unknown). Also MathWorld Homoscedastic

History

2026-10-26: add by m2/dev

Exact fixed-$N$ recursion for the correction 13QG1TD2PQ

URI	`m2://inv/13QG1TD2PQ`
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.25060#T1V1, Exact fixed-$N$ recursion for the correction (statement)

History

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

13QJWE5B1W 13QJWE5B1W

URI	`m2://inv/13QJWE5B1W`
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 2503.08018#IWF1 (statement). In TN93YFN45W/e1, proposition 2.5

History

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

Kähler Banach submanifold 13QK5BFY08

URI	`m2://inv/13QK5BFY08`
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.03384#JNGP, Kähler Banach submanifold (statement). In J55JTTKG84/e1, corollary 4.10

History

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

Bayesian network 13QTCR2XSE

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

Mentions

wikipedia: Wikipedia Bayesian network, Bayesian network (definition). Also Wikidata Q812540

History

2026-11-02: add by m2/dev

correspondence 13QVDTJMKX

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#SMDS, correspondence (definition)

History

2026-11-02: add by m2/dev

Hilbert's discarded axiom 13QWD6CCVN

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

Mentions

wikipedia: Wikipedia Hilbert's axioms#0VF4, Hilbert's discarded axiom (statement)

History

2026-11-02: add by m2/dev

13QXPFGP0W 13QXPFGP0W

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

Mentions

lebl_scv: lebl_scv scv.tex#defn-3 (definition). In VNMV985MXX, defn, section 1.2

History

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

Azat Miftakhov 13QYK95JCA

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

Mentions

wikipedia: Wikipedia Azat Miftakhov, Azat Miftakhov (topic). Also Wikidata Q69997210

History

2026-11-02: add by m2/dev

13R5KV6GG6 13R5KV6GG6

URI	`m2://inv/13R5KV6GG6`
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 2610.06321#ZQT3 (statement). In PGV1116XX4/e1, theorem version

History

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

Erik Ivar Fredholm 13RD0N1D6D

URI	`m2://inv/13RD0N1D6D`
Kind	topic
Layer	textbook
Sources	2
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q453594, Erik Ivar Fredholm (unknown). Also ProofWiki Mathematician:Erik_Ivar_Fredholm
wikipedia: Wikipedia Erik Ivar Fredholm, Erik Ivar Fredholm (topic). Also Wikidata Q453594

History

2026-10-26: add by m2/dev

Structure of the design code as a $G$-module 13RDXTQWJR

URI	`m2://inv/13RDXTQWJR`
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.15340#5OP4, Structure of the design code as a $G$-module (statement). In 9NVKKW8HDH/e1, theorem 3.28

History

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

Exact single lag optimum 13RF6PSEEW

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

Mentions

arxiv: arXiv 2610.02843#QL2E, Exact single lag optimum (statement). In 2XC1KQXA9H/e1, proposition 1

History

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

All and only 13RFQWZ0GG

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

Mentions

wikipedia: Wikipedia If and only if#NSN3, All and only (unknown)

History

2026-11-02: add by m2/dev

Examples 13RG1Q994Y

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

Mentions

wikipedia: Wikipedia Exchangeable random variables#PY51, Examples (example)

History

2026-11-02: add by m2/dev

13RGKN3AQZ 13RGKN3AQZ

URI	`m2://inv/13RGKN3AQZ`
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.17602#4KYC (statement). In BH62508WHJ/e1, lemma 2

History

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

13RMCNS3ZM 13RMCNS3ZM

URI	`m2://inv/13RMCNS3ZM`
Kind	statement
Layer	research
MSC	20-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.03424#HUPX (statement). In Q6HRJP4AWA/e1, theorem 1.3

History

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

Intuitionistic type theory 13RQA9C5A5

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#T1GT, Intuitionistic type theory (definition)

History

2026-11-02: add by m2/dev

$S_1< 0$ for $\ell_1$ regularization and $\sigma>0$ 13RT7KEMF1

URI	`m2://inv/13RT7KEMF1`
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.38453#LQSZ, $S_1< 0$ for $\ell_1$ regularization and $\sigma>0$ (statement). In DWKWF242Y0/e1, proposition 7

History

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

Statistical Accounts of Scotland 13RTHNRY6X

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

Mentions

wikipedia: Wikipedia Statistical Accounts of Scotland, Statistical Accounts of Scotland (definition). Also Wikidata Q7604367

History

2026-11-02: add by m2/dev

Hypothesis tests 13RYD374A9

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

Mentions

wikipedia: Wikipedia Efficiency (statistics)#JRQT, Hypothesis tests (statement)

History

2026-11-02: add by m2/dev

13S0SKH1X3 13S0SKH1X3

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

Mentions

arxiv: arXiv 2610.20663#V4EW (statement). In AZMX0CY5NE/e1, theorem 10

History

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

function 13S3BYVD9V

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

Mentions

wikipedia: Wikipedia Glossary of logic#4KYG, function (definition)

History

2026-11-02: add by m2/dev

Prolog 13S6QBVWYR

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

Mentions

wikipedia: Wikipedia Prolog, Prolog (definition). Also Wikidata Q163468

History

2026-11-02: add by m2/dev

13SMS30E2C 13SMS30E2C

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

Mentions

arxiv: arXiv 2610.12736#TSYA (definition). In 5350Q52F6P/e1, definition 8.4

History

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

Implementable frozen-tilt estimate 13SR07DYHE

URI	`m2://inv/13SR07DYHE`
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.03633#RXLL, Implementable frozen-tilt estimate (statement). In X3E4D61X4V/e1, lemma B.1

History

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

Reference trajectory 13T0ECQCAF

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

Mentions

arxiv: arXiv 2610.14988#XIUU, Reference trajectory (statement). In B29M4E6KGC/e1, lemma H.1

History

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

Ripley, Brian Daniel 13T0KWGYPQ

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

Mentions

wikipedia: Wikipedia List of statisticians#0YGB, Ripley, Brian Daniel (topic)

History

2026-11-02: add by m2/dev

pure set 13T9DG4TCS

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

Mentions

wikipedia: Wikipedia Glossary of set theory#V5PZ, pure set (definition)

History

2026-11-02: add by m2/dev

Examples 13TATBQKFW

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

Mentions

wikipedia: Wikipedia Differential algebra#4V8E, Examples (example)

History

2026-11-02: add by m2/dev

Definition 13THMMFBQ0

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

Mentions

wikipedia: Wikipedia Mixed complementarity problem#I4UI, Definition (definition)

History

2026-11-02: add by m2/dev

Pole at infinity 13TK8R44B9

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

Mentions

wikipedia: Wikipedia Zeros and poles#ME55, Pole at infinity (unknown)

History

2026-11-02: add by m2/dev

Richard Kadison 13TKYZA1KV

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#A8G0, Richard Kadison (topic)

History

2026-11-02: add by m2/dev

Enumeration 13TSFED0TJ

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

Mentions

wikipedia: Wikipedia Partition matroid#6MKB, Enumeration (definition)

History

2026-11-02: add by m2/dev

13V6E671WM 13V6E671WM

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

Mentions

arxiv: arXiv 2609.36509#ZCCX (statement). In DPJ15KW23C/e1, corollary 4.7

History

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

13V7ZEV6S0 13V7ZEV6S0

URI	`m2://inv/13V7ZEV6S0`
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 1810.06028#S7OW (statement). In ZPFHH6YJG3/e1, theorem 4

History

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

dimension 13VAXBAP34

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#H63X, dimension (definition)

History

2026-11-02: add by m2/dev

13VJXPRME0 13VJXPRME0

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

Mentions

arxiv: arXiv 2610.16962#FB66 (statement). In KJC9FRS3C2/e1, theorem 3.1

History

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

13VM3M8FYT 13VM3M8FYT

URI	`m2://inv/13VM3M8FYT`
Kind	statement
Layer	research
MSC	16-XX, 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 2610.21507#PLE6 (statement). In 879ZDHVK7N/e1, theorem 4.12

History

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

Yvon Maday 13VW86V3ZS

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HBB7, Yvon Maday (unknown)

History

2026-11-02: add by m2/dev

Percentage point 13W1BYFJRC

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

Mentions

wikipedia: Wikipedia List of statistics articles#XX0V, Percentage point (definition)

History

2026-11-02: add by m2/dev

Statement of Liouville's formula 13W6CPFCRK

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

Mentions

wikipedia: Wikipedia Liouville's formula#WN3O, Statement of Liouville's formula (statement)

History

2026-11-02: add by m2/dev

13WBA4GX6N 13WBA4GX6N

URI	`m2://inv/13WBA4GX6N`
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.39615#J5F0 (statement). In RNXRAZYR3S/e1, corollary 3.5

History

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

13WBHY24CP 13WBHY24CP

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#ques-9 (exercise). In RZP28ERRZV, ques, section 9.9.1

History

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

Probabilistic forecasting 13WRGHDCXQ

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

Mentions

wikipedia: Wikipedia Probabilistic forecasting, Probabilistic forecasting (definition). Also Wikidata Q7246855

History

2026-11-02: add by m2/dev

Mirror symmetry conjecture 13WTQ4ZESN

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

Mentions

wikipedia: Wikipedia Mirror symmetry conjecture, Mirror symmetry conjecture (statement). Also Wikidata Q97366912

History

2026-11-02: add by m2/dev

Finite heads, including characteristic two 13WWHSTC7V

URI	`m2://inv/13WWHSTC7V`
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.05652#NJOL, Finite heads, including characteristic two (statement). In 8BNPFYQDQX/e1, corollary 19.4

History

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

Simplicial homotopy group 13XAB818YH

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

Mentions

wikipedia: Wikipedia Simplicial homotopy#BZQJ, Simplicial homotopy group (unknown)

History

2026-11-02: add by m2/dev

quantale 13XD82C66Q

URI	`m2://inv/13XD82C66Q`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Quantale DA619M38C3

Mentions

wikidata: Wikidata Q7268888, quantale (unknown). Also EoM Quantale, nLab quantale
wikipedia: Wikipedia Quantale, Quantale (definition). Also Wikidata Q7268888

History

2026-10-26: add by m2/dev

13XT5DG8EA 13XT5DG8EA

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

Mentions

arxiv: arXiv 2610.14985#4INJ (definition). In DGXJW3SCBR/e1, definition 53

History

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

Nutz--Wang--Zhang inputs 13XTGAHHZ8

URI	`m2://inv/13XTGAHHZ8`
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#CMKF, Nutz--Wang--Zhang inputs (statement). In 9YAE8FNQST/e1, proposition 11.23

History

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

13XVGMKRVT 13XVGMKRVT

URI	`m2://inv/13XVGMKRVT`
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 2011.14561#PZNO (statement). In V2XJJJX1Z8/e1, corollary 2.6

History

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

Chris Godsil 13Y4XWXKDV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ISHG, Chris Godsil (topic)

History

2026-11-02: add by m2/dev

Institute of Mathematics, UFRJ 13Y7TWN0T6

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

Mentions

wikipedia: Wikipedia Institute of Mathematics, UFRJ, Institute of Mathematics, UFRJ (definition). Also Wikidata Q10302894

History

2026-11-02: add by m2/dev

Local automata 13YAGF520R

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

Mentions

wikipedia: Wikipedia Deterministic finite automaton#7UIY, Local automata (unknown)

History

2026-11-02: add by m2/dev

Ultraviolet-tail continuation 13YB3B8F9H

URI	`m2://inv/13YB3B8F9H`
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.02714#F0XL, Ultraviolet-tail continuation (statement). In R9AXCJWK8F/e1, theorem 2

History

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

Marshallian demand function 13YBKPR22Z

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

Mentions

wikipedia: Wikipedia Marshallian demand function, Marshallian demand function (definition). Also Wikidata Q1902828

History

2026-11-02: add by m2/dev

simple curve 13YEXXC0TB

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

Mentions

wikidata: Wikidata Q116796842, simple curve (unknown). Also MathWorld SimpleCurve

History

2026-10-26: add by m2/dev

13YPR1VMDH 13YPR1VMDH

URI	`m2://inv/13YPR1VMDH`
Kind	statement
Layer	research
MSC	05-XX, 51-XX, 52-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 2208.13855#YMN8 (statement). In GJKRVZ5YN5/e1, lemma 21

History

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

13YRP4A7FW 13YRP4A7FW

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

Mentions

arxiv: arXiv 2610.08091#INDD (statement). In MS13WE3CSD/e1, theorem 2.19

History

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

13YSCT1PNG 13YSCT1PNG

URI	`m2://inv/13YSCT1PNG`
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.24030#YKK2 (statement)

History

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

situation semantics 13YVTQ9BQB

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

Mentions

wikipedia: Wikipedia Glossary of logic#O69Q, situation semantics (definition)

History

2026-11-02: add by m2/dev

Katherine Heinrich 13YW9WZ6AV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#FBS8, Katherine Heinrich (topic)

History

2026-11-02: add by m2/dev

The $A_-$ classes stratify, and the degeneration is local 13Z1GGSDXF

URI	`m2://inv/13Z1GGSDXF`
Kind	statement
Layer	research
MSC	17-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 2610.18512#WRD0, The $A_-$ classes stratify, and the degeneration is local (statement). In 11JNM66Z09/e1, fact 11.9

History

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

13Z2CHNJ1J 13Z2CHNJ1J

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

Mentions

arxiv: arXiv 2002.11125#TD0O (statement). In ME61RVCACP/e1, theorem 7.1

History

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

Octadecahedron 13Z7T6E4KK

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

Mentions

wikipedia: Wikipedia Octadecahedron, Octadecahedron (object). Also Wikidata Q6607152

History

2026-11-02: add by m2/dev

13ZC9X463D 13ZC9X463D

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/provability-propositional.tex#prop:provability-lif (statement). In PKGMM3P5QY, prop, section 22.8

History

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

Artin reciprocity 13ZNFS4RDP

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#NQ49, Artin reciprocity (definition)
wikipedia: Wikipedia List of things named after Emil Artin#O8GP, Artin reciprocity (definition)

History

2026-11-02: add by m2/dev

Continuity 13ZSD2PX0X

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

Mentions

wikipedia: Wikipedia Multivariable calculus#TSG9, Continuity (statement)

History

2026-11-02: add by m2/dev

Definition 13ZXBX9GM1

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

Mentions

wikipedia: Wikipedia Category of Markov kernels#9W4U, Definition (definition)

History

2026-11-02: add by m2/dev

Expected value 1306G112BS

Mentions

History

The full \(q=1\) trapezoidal profile 130AJMAR36

Mentions

History

Dot product representation of a graph 130C918SQ4

Mentions

History

Wild-inertia criterion for finite monodromy, every $n$ 130EMNPRAP

Mentions

History

Veinte Reales 130GV336F7

Mentions

History

Évariste Galois 13127EFK18

Mentions

History

131A2BC214 131A2BC214

Mentions

History

Principle 131BM03WX8

Mentions

History

131FFS0W4F 131FFS0W4F

Mentions

History

Example 131G2JNC0W

Mentions

History

Group size measures 131NN51TB2

Mentions

History

13203Z3P94 13203Z3P94

Mentions

History

Probability of failure of localization 1322FQ74CP

Mentions

History

Bernadette Bouchon-Meunier 1326FA6HCM

Mentions

History

1327RW9W0N 1327RW9W0N

Mentions

History

132EQC6KK8 132EQC6KK8

Mentions

History

Portal rendering 132S02HWW4

Mentions

History

one 132WCAJNNM

Mentions

History

132YF7R80V 132YF7R80V

Mentions

History

Proper rational matrix 1330XB76A7

Mentions

History

Alex Chigogidze 1333JZJZXF

Mentions

History

1333YTS66P 1333YTS66P

Mentions

History

Mathematical biophysics 1339J4XRXN

Mentions

History

133D61707Z 133D61707Z

Mentions

History

133FBJKVHS 133FBJKVHS

Mentions

History

Sosigenes of Alexandria 133MV3G6GZ

Mentions

History

Hadamard three-lines theorem 133S878V3M

Mentions