Inventory rows 5A

Enumeration 5A01FHW41X

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

Mentions

wikipedia: Wikipedia Architectonic and catoptric tessellation#X9UN, Enumeration (definition)

History

2026-11-02: add by m2/dev

5A0225AR69 5A0225AR69

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

Mentions

arxiv: arXiv 2609.30529#LHJ9 (example). In NVB15RHFAV/e1, example 1

History

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

5A04JVGWAQ 5A04JVGWAQ

URI	`m2://inv/5A04JVGWAQ`
Kind	statement
Layer	research
MSC	05-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.07280#UYBL (statement). In 1FJKW4WGEN/e1, corollary 3.5

History

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

Phase-field models on graphs 5A0ANDKSYD

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

Mentions

wikipedia: Wikipedia Phase-field models on graphs, Phase-field models on graphs (definition). Also Wikidata Q85793041

History

2026-11-02: add by m2/dev

5A0D39PG0K 5A0D39PG0K

URI	`m2://inv/5A0D39PG0K`
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 2412.01742#9KUG (statement). In GYH7R98PPA/e1, corollary 3.5

History

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

5A0F3GDK2P 5A0F3GDK2P

URI	`m2://inv/5A0F3GDK2P`
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.21017#6PHJ (statement). In 8KKYZ4NKT2/e1, theorem 23

History

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

5A0JBQX30F 5A0JBQX30F

URI	`m2://inv/5A0JBQX30F`
Kind	statement
Layer	research
MSC	13-XX, 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.23469#9E0B (statement)

History

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

Primal degeneracy at every order $d\ge2$ 5A0JYVETYF

URI	`m2://inv/5A0JYVETYF`
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.20270#URK5, Primal degeneracy at every order $d\ge2$ (statement). In GV0QGZH67P/e1, proposition 2.2

History

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

Kuratowski's theorem 5A0RZVDWAG

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

Mentions

wikipedia: Wikipedia Standard Borel space#6J3Q, Kuratowski's theorem (statement)

History

2026-11-02: add by m2/dev

Woodin cardinal 5A1005HVNW

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#GD0D, Woodin cardinal (definition)

History

2026-11-02: add by m2/dev

5A104JEM2W 5A104JEM2W

URI	`m2://inv/5A104JEM2W`
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.19360#DKIU (statement). In MFCW5CY96C/e1, proposition 29

History

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

O-minimal theory 5A14HBMWVW

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

Mentions

wikipedia: Wikipedia O-minimal theory, O-minimal theory (definition). Also Wikidata Q7072039

History

2026-11-02: add by m2/dev

5A1J5TM83X 5A1J5TM83X

URI	`m2://inv/5A1J5TM83X`
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.16705#OL9Z (statement). In B48YQVGAF5/e1, lemma 6.15

History

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

Introduction to Analysis 5A1JX49SM5

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

Mentions

wikipedia: Wikipedia List of mathematics books#DJ4Y, Introduction to Analysis (topic)

History

2026-11-02: add by m2/dev

5A1MFCJK0M 5A1MFCJK0M

URI	`m2://inv/5A1MFCJK0M`
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.11056#9NCP (statement). In 1NDB3SAG7K/e1, proposition 5.6

History

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

Property B 5A1MQRHK5F

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

Mentions

wikipedia: Wikipedia Property B, Property B (definition). Also Wikidata Q3407588

History

2026-11-02: add by m2/dev

B. V. Struminsky 5A1N8KR9FT

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

Mentions

wikipedia: Wikipedia List of works by Nikolay Bogolyubov#YH9Q, B. V. Struminsky (unknown)

History

2026-11-02: add by m2/dev

Huff, Darrell 5A1QDY6VGK

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

Mentions

wikipedia: Wikipedia List of statisticians#6ZS1, Huff, Darrell (unknown)

History

2026-11-02: add by m2/dev

5A1QSQXMYX 5A1QSQXMYX

URI	`m2://inv/5A1QSQXMYX`
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.14189#NKAZ (statement). In 39VAB08YDJ/e1, lemma 4.1

History

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

Simple Price equation (Robertson-Price identity) 5A28Z7HGK0

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

Mentions

wikipedia: Wikipedia Price equation#MGC8, Simple Price equation (Robertson-Price identity) (statement)

History

2026-11-02: add by m2/dev

5A2CXXH4W4 5A2CXXH4W4

URI	`m2://inv/5A2CXXH4W4`
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.03310#Q10Z (statement). In 2CQ2KPV3CG/e1, proposition 5.3

History

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

5A2KGE1Q29 5A2KGE1Q29

URI	`m2://inv/5A2KGE1Q29`
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 2610.09201#6VIM (statement). In JQFPH09JG8/e1, lemma 8.1

History

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

5A30G9795V 5A30G9795V

URI	`m2://inv/5A30G9795V`
Kind	statement
Layer	research
MSC	05-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 2610.22268#Y6QT (statement). In 9ZD87293QS/e1, corollary 3.31

History

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

Null distribution 5A31F9R5AM

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

Mentions

wikipedia: Wikipedia List of statistics articles#KY5A, Null distribution (definition)

History

2026-11-02: add by m2/dev

Applications 5A32Y5ZCKG

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

Mentions

wikipedia: Wikipedia Lift (data mining)#GZM2, Applications (example)

History

2026-11-02: add by m2/dev

5A33SVN96N 5A33SVN96N

URI	`m2://inv/5A33SVN96N`
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 2405.10580#IL8K (statement). In FXEJE0PWEP/e1, lemma 9.1

History

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

5A3FSFHQA7 5A3FSFHQA7

URI	`m2://inv/5A3FSFHQA7`
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 2403.15255#WSQJ (statement). In G691MXMYW0/e1, lemma 2.11

History

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

MCSim 5A3PY1XNHZ

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#JSHO, MCSim (unknown)

History

2026-11-02: add by m2/dev

5A3PZ4TRQH 5A3PZ4TRQH

URI	`m2://inv/5A3PZ4TRQH`
Kind	statement
Layer	research
MSC	17-XX, 18-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 2609.20725#C2QI (statement)

History

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

numerical differentiation 5A3YEMKAPT

URI	`m2://inv/5A3YEMKAPT`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Numerical differentiation NVH3F8FTYS

Mentions

wikidata: Wikidata Q1683292, numerical differentiation (unknown). Also MathWorld NumericalDifferentiation
wikipedia: Wikipedia Numerical differentiation, Numerical differentiation (definition). Also Wikidata Q1683292

History

2026-10-26: add by m2/dev

Ult 5A45FY425F

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

Mentions

wikipedia: Wikipedia Glossary of set theory#X38I, Ult (definition)

History

2026-11-02: add by m2/dev

5A47NB3XVD 5A47NB3XVD

URI	`m2://inv/5A47NB3XVD`
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 2501.17009#XD1A (statement). In PESAKD6SSW/e1, proposition 3.1

History

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

5A49Z0AEKK 5A49Z0AEKK

URI	`m2://inv/5A49Z0AEKK`
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 2610.11968#GD8G (statement). In X6E7P2ACAS/e1, proposition 2.4

History

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

5A4E3VH2XN 5A4E3VH2XN

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

Mentions

arxiv: arXiv 2609.21914#KJMK (statement)

History

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

5A4XHWRKH1 5A4XHWRKH1

URI	`m2://inv/5A4XHWRKH1`
Kind	statement
Layer	research
MSC	17-XX, 57-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 2401.14143#4RNS (statement). In 7WV4JVGEN1/e1, corollary 5.6

History

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

5A50MTRB2Z 5A50MTRB2Z

URI	`m2://inv/5A50MTRB2Z`
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#H75Y (statement)

History

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

Non-example 5A55D3TH2P

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

Mentions

wikipedia: Wikipedia Formally smooth map#6EJ5, Non-example (counterexample)

History

2026-11-02: add by m2/dev

Special cases 5A5AAV1V44

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

Mentions

wikipedia: Wikipedia Pythagorean triple#RBYY, Special cases (statement)

History

2026-11-02: add by m2/dev

Periodic two-colorings 5A5BGZHX5D

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

Mentions

arxiv: arXiv 2609.26576#U0SM, Periodic two-colorings (statement)

History

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

5A5C4QRNEN 5A5C4QRNEN

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

Mentions

arxiv: arXiv 2609.01473#CVTM (example). In ABS9M47F4K/e1, example 3.26

History

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

5A5NHHJAZB 5A5NHHJAZB

URI	`m2://inv/5A5NHHJAZB`
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.37865#X9ZH (statement). In 1ADMH800X0/e1, lemma 5

History

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

5A5PVKQYYR 5A5PVKQYYR

URI	`m2://inv/5A5PVKQYYR`
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 2609.21552#8SSI (statement)

History

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

5A5XJYR2DN 5A5XJYR2DN

URI	`m2://inv/5A5XJYR2DN`
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 2210.04075#4AHS (statement). In C5DZR0TC5E/e1, theorem 2.4

History

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

Properties 5A68N5PDDM

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

Mentions

wikipedia: Wikipedia Dimension (vector space)#CVF2, Properties (statement)

History

2026-11-02: add by m2/dev

5A6CY3BWW9 5A6CY3BWW9

URI	`m2://inv/5A6CY3BWW9`
Kind	statement
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#E8HU (statement). In G3D1YR20BJ/e1, proposition 4.26

History

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

5A6HRKQ7BZ 5A6HRKQ7BZ

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

Mentions

hott_book: hott_book setmath.tex#proof-23 (proof). In N54F33XE07, proof, section C.3

History

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

18 in Judaism 5A6JPT5HEG

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

Mentions

wikipedia: Wikipedia 18 (number)#Y0R6, 18 in Judaism (unknown)

History

2026-11-02: add by m2/dev

5A6R1D3D5W 5A6R1D3D5W

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

Mentions

arxiv: arXiv 0905.2248#MZIJ (definition). In 7EWB9ZRD9Z/e1, definition 5

History

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

Affine forecast 5A6RFBP090

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

Mentions

arxiv: arXiv 2609.40077#A9V7, Affine forecast (definition). In F0HMNYB8WB/e1, definition 2.1

History

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

5A6TKSVCE7 5A6TKSVCE7

URI	`m2://inv/5A6TKSVCE7`
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.11210#HJQZ (definition). In CRFDGFZHBF/e1, definition 2.2

History

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

Van Kampen's theorem for fundamental groupoids 5A6W7K5AFH

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

Mentions

wikipedia: Wikipedia Seifert–Van Kampen theorem#EUEK, Van Kampen's theorem for fundamental groupoids (statement)

History

2026-11-02: add by m2/dev

Basic resolvent bounds on the good set 5A6ZGATYF5

URI	`m2://inv/5A6ZGATYF5`
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.30590#XRIU, Basic resolvent bounds on the good set (statement). In WYE2JVEZBT/e1, lemma 6.1

History

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

Stochastic calculus 5A70S8PP5P

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

Mentions

wikipedia: Wikipedia List of stochastic processes topics#OJYA, Stochastic calculus (definition)
wikipedia: Wikipedia List of statistics articles#QQD2, Stochastic calculus (definition)
wikipedia: Wikipedia List of probability topics#I8DC, Stochastic calculus (definition)

History

2026-11-02: add by m2/dev

Peter Gustav Lejeune Dirichlet 5A73Y7BF90

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

Mentions

wikipedia: Wikipedia Peter Gustav Lejeune Dirichlet, Peter Gustav Lejeune Dirichlet (topic). Also Wikidata Q29193

History

2026-11-02: add by m2/dev

Gauss's law 5A75D2BGXW

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

Mentions

wikipedia: Wikipedia Maxwell's equations#G1OT, Gauss's law (statement)

History

2026-11-02: add by m2/dev

Applications 5A770JZBZW

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

Mentions

wikipedia: Wikipedia Extended natural numbers#B7AU, Applications (example)

History

2026-11-02: add by m2/dev

5A7802PR8Z 5A7802PR8Z

URI	`m2://inv/5A7802PR8Z`
Kind	definition
Layer	research
MSC	20-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.06699#T7LZ (definition). In GXHKRV5BPY/e1, definition 2.11

History

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

Kähler identities 5A7NACF0DH

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

Mentions

wikipedia: Wikipedia Kähler identities, Kähler identities (definition). Also Wikidata Q115824898

History

2026-11-02: add by m2/dev

Spectral theory of ordinary differential equations 5A7P7MNAVT

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

Mentions

wikipedia: Wikipedia Spectral theory of ordinary differential equations, Spectral theory of ordinary differential equations (definition). Also Wikidata Q7575215

History

2026-11-02: add by m2/dev

5A82BRJ7X5 5A82BRJ7X5

URI	`m2://inv/5A82BRJ7X5`
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.37794#9ASJ (statement). In ACFC6XHAMQ/e1, theorem 2

History

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

5A8D4NQ7C4 5A8D4NQ7C4

URI	`m2://inv/5A8D4NQ7C4`
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.38250#PI8D (statement). In 5KDV984W48/e1, proposition 8

History

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

5A8MVCZT60 5A8MVCZT60

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

Mentions

arxiv: arXiv 2610.01924#VOQ7 (statement). In CB89152EQW/e1, theorem 0.5

History

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

Graphical path method 5A93VV8JKW

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

Mentions

wikipedia: Wikipedia Graphical path method, Graphical path method (definition). Also Wikidata Q17091090

History

2026-11-02: add by m2/dev

5A99XY8DZW 5A99XY8DZW

URI	`m2://inv/5A99XY8DZW`
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.02506#379U (statement). In 3JKRBZWJ33/e1, lemma 4.11

History

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

Bézier surface 5A9ADE3M1C

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

Mentions

wikipedia: Wikipedia Bézier surface, Bézier surface (definition). Also Wikidata Q926066

History

2026-11-02: add by m2/dev

5A9FAATMPQ 5A9FAATMPQ

URI	`m2://inv/5A9FAATMPQ`
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#GFYT (statement). In YPTC532FEG/e1, lemma 11

History

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

Free variables and bound variables 5A9K9R4B50

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

Mentions

wikipedia: Wikipedia Free variables and bound variables, Free variables and bound variables (definition). Also Wikidata Q935944

History

2026-11-02: add by m2/dev

orientifold plane 5A9SH8D0B6

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

Mentions

wikidata: Wikidata Q3391351, orientifold plane (unknown). Also nLab orientifold plane

History

2026-10-26: add by m2/dev

5A9ZFKHD4J 5A9ZFKHD4J

URI	`m2://inv/5A9ZFKHD4J`
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 2108.03672#XN5H (statement). In EZZSZ1F071/e1, lemma 1.32

History

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

5AA052QVCA 5AA052QVCA

URI	`m2://inv/5AA052QVCA`
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.23833#U5HN (statement)

History

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

5AA8EQX6B6 5AA8EQX6B6

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

Mentions

arxiv: arXiv 2610.13629#OUK1 (statement). In PQNYA0C510/e1, lemma 2.5

History

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

Kernel, image and the rank–nullity theorem 5AACTNKMH4

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

Mentions

wikipedia: Wikipedia Linear map#G0E8, Kernel, image and the rank–nullity theorem (statement)

History

2026-11-02: add by m2/dev

5AACY2KHA1 5AACY2KHA1

URI	`m2://inv/5AACY2KHA1`
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 2609.24902#EJQP (definition)

History

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

Terminology 5AAMN4YR8G

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

Mentions

wikipedia: Wikipedia Real algebraic geometry#YQ39, Terminology (definition)

History

2026-11-02: add by m2/dev

5AAMVV6KWT 5AAMVV6KWT

URI	`m2://inv/5AAMVV6KWT`
Kind	statement
Layer	research
MSC	16-XX, 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 2609.21860#55TD (statement)

History

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

The Sun 5AANDJSS6Z

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#03WC, The Sun (unknown)

History

2026-11-02: add by m2/dev

5AAWJHK5V3 5AAWJHK5V3

URI	`m2://inv/5AAWJHK5V3`
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#2AMT (statement). In GSN5YTQS2K/e1, proposition 3.16

History

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

5AAWWND282 5AAWWND282

URI	`m2://inv/5AAWWND282`
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.10902#ASE3 (statement). In 96T1K6C3NZ/e1, lemma 7

History

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

Smale's problems 5AAWXBCTWB

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

Mentions

wikidata: Wikidata Q2664496, Smale's problems (concept). Also MathWorld SmalesProblems
wikipedia: Wikipedia Smale's problems, Smale's problems (conjecture). Also Wikidata Q2664496

History

2026-10-26: add by m2/dev

5AAX336WAP 5AAX336WAP

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 19.4

History

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

5AAXB8T4PQ 5AAXB8T4PQ

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

Mentions

arxiv: arXiv 2610.18580#RWIV (statement). In 443TZD4P0A/e1, lemma 10

History

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

5AAZT37VPB 5AAZT37VPB

URI	`m2://inv/5AAZT37VPB`
Kind	definition
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 2504.19468#MUCZ (definition). In EY54F2SX08/e1, definition 2.3

History

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

5AB4R4F4X0 5AB4R4F4X0

URI	`m2://inv/5AB4R4F4X0`
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.36412#SD9V (statement). In 6HKGGCMBCK/e1, corollary 1.7

History

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

Auto-entity extraction 5AB5F8P5GR

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

Mentions

wikipedia: Wikipedia Text mining#ZXLT, Auto-entity extraction (unknown)

History

2026-11-02: add by m2/dev

5ABAZA2MSR 5ABAZA2MSR

URI	`m2://inv/5ABAZA2MSR`
Kind	statement
Layer	research
MSC	05-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.08500#I8W7 (statement). In ZPCYW4N0EH/e1, lemma 4.2

History

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

Applications 5ABFQC2BPG

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

Mentions

wikipedia: Wikipedia FKT algorithm#69KA, Applications (example)

History

2026-11-02: add by m2/dev

5ABKKHV1S0 5ABKKHV1S0

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-5 (exercise). In E59CDZA4DP, exercise, section 1.1.4

History

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

antiprism 5ABP2TKH18

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

Mentions

wikidata: Wikidata Q1048057, antiprism (unknown). Also MathWorld Antiprism
wikipedia: Wikipedia Antiprism, Antiprism (object). Also Wikidata Q1048057

History

2026-10-26: add by m2/dev

Valery Alexeev 5ABQXPWRD3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#11JB, Valery Alexeev (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V30U, Valery Alexeev (topic)

History

2026-11-02: add by m2/dev

Example A 5ABTFVCWHC

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

Mentions

wikipedia: Wikipedia ELSV formula#757K, Example A (example)

History

2026-11-02: add by m2/dev

Disjunction introduction 5ABVHPXE2N

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

Mentions

wikipedia: Wikipedia Disjunction introduction#I6D0, Disjunction introduction (statement)

History

2026-11-02: add by m2/dev

5ABXNNC03V 5ABXNNC03V

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

Mentions

napkin: napkin tex/H113/quotient.tex#definition-5 (definition). In RZP28ERRZV, definition, section 3.3

History

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

Sir Charles Wheatstone 5AC6CNTQHJ

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

Mentions

wikipedia: Wikipedia List of cryptographers#KFVR, Sir Charles Wheatstone (unknown)

History

2026-11-02: add by m2/dev

5AC7W40YZK 5AC7W40YZK

URI	`m2://inv/5AC7W40YZK`
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.37197#CBVQ (statement). In 98ESNNP0CC/e1, theorem 4.3

History

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

Grigory Margulis 5AC8K6RX3B

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#U1U2, Grigory Margulis (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z886, Grigory Margulis (topic)

History

2026-11-02: add by m2/dev

Mónica Clapp 5ACCCCS0R0

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

Mentions

wikipedia: Wikipedia Mónica Clapp, Mónica Clapp (topic). Also Wikidata Q18977855

History

2026-11-02: add by m2/dev

5ACCD40PJF 5ACCD40PJF

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

Mentions

arxiv: arXiv 1509.00950#8O3S (proof). In MDZFW5GACV/e1, proof

History

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

Douady rabbit 5ACCTWRES5

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

Mentions

wikidata: Wikidata Q1150100, Douady rabbit (unknown). Also MathWorld DouadysRabbitFractal
wikipedia: Wikipedia Douady rabbit, Douady rabbit (definition). Also Wikidata Q1150100

History

2026-10-26: add by m2/dev

Rouché–Frobenius theorem 5ACGGPZ1YG

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

Mentions

wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#MOEH, Rouché–Frobenius theorem (statement)

History

2026-11-02: add by m2/dev

5ACSS72Z4P 5ACSS72Z4P

URI	`m2://inv/5ACSS72Z4P`
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 2305.06030#7SJA (statement). In 2Q0CNQ8DQB/e1, lemma 2.1

History

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

Hoeffding's lemma 5ACTWFZW2K

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

Mentions

wikipedia: Wikipedia List of statistics articles#PWUO, Hoeffding's lemma (statement)
wikipedia: Wikipedia List of inequalities#VZKO, Hoeffding's lemma (statement)

History

2026-11-02: add by m2/dev

boson star 5ACV27THWF

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

Mentions

wikidata: Wikidata Q130402, boson star (unknown). Also nLab boson star

History

2026-10-26: add by m2/dev

Joseph H. M. Steenbrink 5ACZX5HNRC

URI	`m2://inv/5ACZX5HNRC`
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#XIVE, Joseph H. M. Steenbrink (topic)

History

2026-11-02: add by m2/dev

James Mills Peirce 5AD1DG0DFW

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

Mentions

wikipedia: Wikipedia James Mills Peirce, James Mills Peirce (topic). Also Wikidata Q48969320

History

2026-11-02: add by m2/dev

5ADBH5ND15 5ADBH5ND15

URI	`m2://inv/5ADBH5ND15`
Kind	example
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 2610.21181#4KPO (example). In 3D0GJXDY11/e1, example 2.3

History

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

ratio distribution 5ADF72EGAK

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

Mentions

wikidata: Wikidata Q7295737, ratio distribution (unknown). Also MathWorld RatioDistribution
wikipedia: Wikipedia Ratio distribution, Ratio distribution (definition). Also Wikidata Q7295737

History

2026-10-26: add by m2/dev

Examples 5ADG88B9YE

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

Mentions

wikipedia: Wikipedia Central force#1WE1, Examples (example)

History

2026-11-02: add by m2/dev

Logic for Computable Functions 5ADHV4W2GA

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

Mentions

wikipedia: Wikipedia Logic for Computable Functions, Logic for Computable Functions (definition). Also Wikidata Q6667462

History

2026-11-02: add by m2/dev

Statement of the theorem 5ADJ4M9TV1

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

Mentions

wikipedia: Wikipedia Boole's expansion theorem#14ES, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

5ADS61EQ89 5ADS61EQ89

URI	`m2://inv/5ADS61EQ89`
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 2609.22011#0NKZ (statement)

History

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

Exponential decay 5ADSJ2VHZB

URI	`m2://inv/5ADSJ2VHZB`
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.02933#9PT4, Exponential decay (statement). In QSYZKPFRAN/e1, proposition 5.1

History

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

SIGSALY 5ADZXCMG59

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

Mentions

wikipedia: Wikipedia SIGSALY, SIGSALY (definition). Also Wikidata Q6120011

History

2026-11-02: add by m2/dev

5AE2T47QFJ 5AE2T47QFJ

URI	`m2://inv/5AE2T47QFJ`
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.08226#Y8EN (statement). In V6EPE8XHAD/e1, lemma 12.4

History

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

porism 5AE383N0HC

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#PQ5W, porism (definition)

History

2026-11-02: add by m2/dev

Commutative Law of Multiplication 5AE6BS7Q0P

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_mult.ptx#theorem-4, Commutative Law of Multiplication (statement). In QKM9DD2H56, theorem, section B.8

History

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

5AE6RWKDM0 5AE6RWKDM0

URI	`m2://inv/5AE6RWKDM0`
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.20488#5H4G (statement)

History

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

5AE7KEBJTQ 5AE7KEBJTQ

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

Mentions

austin_ula: austin_ula src/section6-2.xml#example-2 (example). In 649HGZKE96, example, section 6.2.3

History

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

5AE81C4454 5AE81C4454

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

Mentions

napkin: napkin tex/alg-geom/localization.tex#proof-1 (proof). In RZP28ERRZV, proof, section 21.5

History

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

5AE8TCJDCX 5AE8TCJDCX

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

Mentions

napkin: napkin tex/H113/action.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 1.4

History

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

Non-sampling error 5AEBTGYCB1

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

Mentions

wikipedia: Wikipedia Non-sampling error, Non-sampling error (definition). Also Wikidata Q7049018

History

2026-11-02: add by m2/dev

5AEH7F21D3 5AEH7F21D3

URI	`m2://inv/5AEH7F21D3`
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.04411#ZHHG (statement). In 6AY8SX3XBW/e1, lemma 3.1

History

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

CoCoA 5AEKTDZ2HQ

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

Mentions

wikipedia: Wikipedia CoCoA, CoCoA (definition). Also Wikidata Q3681793

History

2026-11-02: add by m2/dev

Steven Lalley 5AERCPMSNX

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GWN5, Steven Lalley (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#83AM, Steven Lalley (unknown)

History

2026-11-02: add by m2/dev

Weierstrass coordinates 5AETTRXPJK

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

Mentions

wikipedia: Wikipedia Coordinate systems for the hyperbolic plane#3V0N, Weierstrass coordinates (unknown)

History

2026-11-02: add by m2/dev

Quotient tree 5AEV1K0V13

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

Mentions

arxiv: arXiv 2312.05005#1NLE, Quotient tree (definition). In SMJMAQ2S3J/e1, definition 27

History

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

5AEZAV8P5J 5AEZAV8P5J

URI	`m2://inv/5AEZAV8P5J`
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.23562#3R4N (statement)

History

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

Zipf's law 5AF82G329R

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

Mentions

wikidata: Wikidata Q205472, Zipf's law (statement). Also MathWorld ZipfsLaw
wikipedia: Wikipedia Zipf's law, Zipf's law (statement). Also Wikidata Q205472

History

2026-10-26: add by m2/dev

Properties 5AFA5K1HHH

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

Mentions

wikipedia: Wikipedia Latin square#YBCH, Properties (statement)

History

2026-11-02: add by m2/dev

Charles W. Trigg 5AFCPBH312

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

Mentions

wikipedia: Wikipedia Charles W. Trigg, Charles W. Trigg (topic). Also Wikidata Q94906731

History

2026-11-02: add by m2/dev

Algorithm 5AFD420X3M

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

Mentions

wikipedia: Wikipedia Chien search#HH56, Algorithm (definition)

History

2026-11-02: add by m2/dev

5AFDZB4GSC 5AFDZB4GSC

URI	`m2://inv/5AFDZB4GSC`
Kind	statement
Layer	research
MSC	20-XX, 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.20932#LMRP (statement). In FV78KV64B9/e1, lemma 5.3

History

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

Lingua generalis 5AFQVXTYZH

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

Mentions

wikipedia: Wikipedia Lingua generalis, Lingua generalis (definition). Also Wikidata Q16918502

History

2026-11-02: add by m2/dev

[ ] 5AFSHHC38P

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

Mentions

wikipedia: Wikipedia Glossary of set theory#2FI2, [ ] (definition)

History

2026-11-02: add by m2/dev

Analytic finiteness 5AFWT96ZZA

URI	`m2://inv/5AFWT96ZZA`
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 2609.25915#923V, Analytic finiteness (statement)

History

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

BACH 5AGA4427AP

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

Mentions

wikipedia: Wikipedia Glossary of set theory#CHGP, BACH (definition)

History

2026-11-02: add by m2/dev

Ulrik Buchholtz 5AGF4J5KRM

URI	`m2://inv/5AGF4J5KRM`
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 Q59749232, Ulrik Buchholtz (unknown). Also nLab Ulrik Buchholtz

History

2026-10-26: add by m2/dev

type, function 5AGF5TNGT8

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

Mentions

hott_book: hott_book index/4.2.4/type-function, type, function (concept). In N54F33XE07, index, section 4.2.4

History

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

Rayleigh's equation 5AGFEG7S25

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

Mentions

wikipedia: Wikipedia Rayleigh's equation (fluid dynamics), Rayleigh's equation (definition). Also Wikidata Q28457791

History

2026-11-02: add by m2/dev

Empirical and theoretical ingredients for the scientific induction of Planck's law 5AGGDD8VYC

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

Mentions

wikipedia: Wikipedia Planck's law#72V0, Empirical and theoretical ingredients for the scientific induction of Planck's law (statement)

History

2026-11-02: add by m2/dev

Chain Rule 5AGGH7J19S

URI	`m2://inv/5AGGH7J19S`
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.17129#7K88, Chain Rule (statement). In TCZWAMNYCV/e1, corollary 6.20

History

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

Marino Pannelli 5AGJ8YYW0J

URI	`m2://inv/5AGJ8YYW0J`
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#7MKP, Marino Pannelli (topic)

History

2026-11-02: add by m2/dev

Pseudomathematics 5AGJJH0MP2

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

Mentions

wikipedia: Wikipedia Pseudomathematics, Pseudomathematics (definition). Also Wikidata Q3321560

History

2026-11-02: add by m2/dev

singular point 5AGKP2JFHJ

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

Mentions

lebl_scv: lebl_scv index/6.5/singular-point, singular point (concept). In VNMV985MXX, index, section 6.5

History

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

homotopy equivalence 5AH22WYT48

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#0VUQ, homotopy equivalence (definition)

History

2026-11-02: add by m2/dev

5AH2WT239V 5AH2WT239V

URI	`m2://inv/5AH2WT239V`
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.21540#DC85 (statement)

History

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

rank of a matrix 5AH385RGHD

URI	`m2://inv/5AH385RGHD`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Rank of a matrix 0EWQEYRVA8

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > rank of a matrix, rank of a matrix (unknown). Also Mathlib Matrix.rank

History

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

Definitions 5AH4BNR9TB

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

Mentions

wikipedia: Wikipedia Steinhaus–Moser notation#UL2Z, Definitions (definition)

History

2026-11-02: add by m2/dev

5AH620ZX6Q 5AH620ZX6Q

URI	`m2://inv/5AH620ZX6Q`
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.21649#E4V1 (statement)

History

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

Hyperbolic law of Haversines 5AH8BH45BQ

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

Mentions

wikipedia: Wikipedia Hyperbolic law of cosines#55ER, Hyperbolic law of Haversines (statement)

History

2026-11-02: add by m2/dev

5AH8DXNN50 5AH8DXNN50

URI	`m2://inv/5AH8DXNN50`
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 2609.30519#0VX2 (statement). In GQQZNRYK15/e1, lemma 2.6

History

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

5AH90F2EPJ 5AH90F2EPJ

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-21 (exercise). In E9HS8K3A52, exercise, section 7.2.7

History

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

cos + i sin 5AHAW3M73D

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#PESF, cos + i sin (definition)

History

2026-11-02: add by m2/dev

Derived set 5AHG38TWEY

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

Mentions

wikipedia: Wikipedia Glossary of general topology#RO6O, Derived set (definition)

History

2026-11-02: add by m2/dev

5AJ2P454KZ 5AJ2P454KZ

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

Mentions

arxiv: arXiv 2610.17815#5J4O (statement). In GJ7N2EWACX/e1, proposition 4.2

History

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

The $k^{\text{th}}$ Distributional Anti-Derivative $P_{\eta}^{[k]}$, for any $k \in \mathbb{Z}$; see pages 138 and 158 5AJ6HN76CX

URI	`m2://inv/5AJ6HN76CX`
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 2609.22759#UQ73, The $k^{\text{th}}$ Distributional Anti-Derivative $P_{\eta}^{[k]}$, for any $k \in \mathbb{Z}$; see pages 138 and 158 (definition)

History

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

Kuratowski closure axioms 5AJQN5CA4P

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

Mentions

wikipedia: Wikipedia List of general topology topics#8XY1, Kuratowski closure axioms (statement)
wikipedia: Wikipedia List of things named after Kazimierz Kuratowski#L96R, Kuratowski closure axioms (statement)

History

2026-11-02: add by m2/dev

5AJS2S4E99 5AJS2S4E99

URI	`m2://inv/5AJS2S4E99`
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.39948#XO5P (statement). In 6R7CBG955V/e1, lemma 3.2

History

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

Markov blanket 5AJWMYCJ6E

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

Mentions

wikipedia: Wikipedia List of statistics articles#W1X4, Markov blanket (definition)

History

2026-11-02: add by m2/dev

Waiting time paradox 5AJY9C9NF6

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

Mentions

wikipedia: Wikipedia Residual time#GETN, Waiting time paradox (statement)

History

2026-11-02: add by m2/dev

5AJZM609HD 5AJZM609HD

URI	`m2://inv/5AJZM609HD`
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.33953#WQD4 (statement). In QS8R9BEJ8N/e1, lemma 3.8

History

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

Master identity 5AK4F53R4R

URI	`m2://inv/5AK4F53R4R`
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.25543#FWNJ, Master identity (statement)

History

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

5AK5P4F7J5 5AK5P4F7J5

URI	`m2://inv/5AK5P4F7J5`
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.10406#CX1S (statement). In VQA35Q7C00/e1, lemma 7.3

History

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

Exact central deficit law 5AK6J7JY1E

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

Mentions

arxiv: arXiv 2610.10557#Y8YF, Exact central deficit law (statement). In D2MXWDTHWS/e1, theorem 4

History

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

Cryptographically secure pseudorandom number generator 5AKD1DESGK

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

Mentions

wikipedia: Wikipedia Cryptographically secure pseudorandom number generator, Cryptographically secure pseudorandom number generator (definition). Also Wikidata Q1790389

History

2026-11-02: add by m2/dev

Differentiated energy constraint 5AKDHTSRWQ

URI	`m2://inv/5AKDHTSRWQ`
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.00241#9LT6, Differentiated energy constraint (statement). In VBRQTN2RXN/e1, lemma 5.1

History

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

5AKH1FJG54 5AKH1FJG54

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

Mentions

hott_book: hott_book homotopy.tex#cor:omega-s1 (statement). In N54F33XE07, cor, section 7.1.4

History

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

Szegő limit formula 5AKHVHZ7PS

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

Mentions

wikipedia: Wikipedia Fredholm determinant#R9CW, Szegő limit formula (statement)

History

2026-11-02: add by m2/dev

Hex 5AKJ6QNHDT

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

Mentions

wikidata: Wikidata Q844874, Hex (definition). Also MathWorld GameofHex, ProofWiki Definition:Hex_(Game)
wikipedia: Wikipedia Hex (board game), Hex (definition). Also Wikidata Q844874

History

2026-10-26: add by m2/dev

Coordinate descent 5AKKMBSR4B

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

Mentions

wikipedia: Wikipedia Coordinate descent, Coordinate descent (definition). Also Wikidata Q5168004

History

2026-11-02: add by m2/dev

Vladimir Boltyansky 5AKMTR2MRV

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

Mentions

wikipedia: Wikipedia Vladimir Boltyansky, Vladimir Boltyansky (topic). Also Wikidata Q376679

History

2026-11-02: add by m2/dev

Long-Reid 5AKTGYAJSK

URI	`m2://inv/5AKTGYAJSK`
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 1709.08958#PHJ1, Long-Reid (statement). In H46J8XRDFJ/e1, theorem 2.2.1

History

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

5AKWH5D43X 5AKWH5D43X

URI	`m2://inv/5AKWH5D43X`
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.12105#D17G (statement). In 289HM2RXT3/e1, proposition 4.7

History

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

Mark Stephen Handcock 5AMGCRMRD8

URI	`m2://inv/5AMGCRMRD8`
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#A9Z5, Mark Stephen Handcock (topic)

History

2026-11-02: add by m2/dev

equivariant algebraic K-theory 5AMV83DD1C

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

Mentions

wikidata: Wikidata Q17012383, equivariant algebraic K-theory (unknown). Also nLab equivariant algebraic K-theory
wikipedia: Wikipedia Equivariant algebraic K-theory, Equivariant algebraic K-theory (definition). Also Wikidata Q17012383

History

2026-10-26: add by m2/dev

Minimisation 5AMVNJ1PMA

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

Mentions

wikipedia: Wikipedia Minimisation (clinical trials), Minimisation (definition). Also Wikidata Q6865391

History

2026-11-02: add by m2/dev

5AN0D77818 5AN0D77818

URI	`m2://inv/5AN0D77818`
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.04135#CP2E (statement). In 587PWJ6W5D/e1, lemma 1

History

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

Schönberg–Chandrasekhar limit 5AN0EH7Z4Z

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

Mentions

wikipedia: Wikipedia Schönberg–Chandrasekhar limit, Schönberg–Chandrasekhar limit (definition). Also Wikidata Q3704789

History

2026-11-02: add by m2/dev

5AN5ADEGVR 5AN5ADEGVR

URI	`m2://inv/5AN5ADEGVR`
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.13833#4L0W (statement). In VD4JP4HVBX/e1, proposition 7.12

History

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

type, dependent pair 5AN75J5XFS

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

Mentions

hott_book: hott_book index/A.6/type-dependent-pair, type, dependent pair (concept). In N54F33XE07, index, section A.6

History

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

Heine–Cantor theorem 5AN7AXJXZ8

URI	`m2://inv/5AN7AXJXZ8`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	5
Outcome	node (a node has the same name as the row)
Node	Heine–Cantor theorem 06B8BNJCD6

Mentions

mathlib_1000: mathlib_1000 Q765987, Heine–Cantor theorem (statement). Also Mathlib CompactSpace.uniformContinuous_of_continuous, Wikidata Q765987
mathlib_overview: mathlib_overview Topology > Uniform notions > Heine-Cantor theorem, Heine-Cantor theorem (unknown). Also Mathlib CompactSpace.uniformContinuous_of_continuous
mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > Heine-Cantor theorem, Heine-Cantor theorem (unknown). Also Mathlib CompactSpace.uniformContinuous_of_continuous
thousand_plus: thousand_plus Q765987, Heine–Cantor theorem (statement). Also Mathlib CompactSpace.uniformContinuous_of_continuous, Wikidata Q765987, Wikipedia Heine–Cantor theorem
wikipedia: Wikipedia Heine–Cantor theorem, Heine–Cantor theorem (statement). Also Wikidata Q765987

History

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

Systems of axioms 5ANB9B9BT7

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

Mentions

wikipedia: Wikipedia Affine geometry#VBK0, Systems of axioms (statement)

History

2026-11-02: add by m2/dev

5AND8BY6T1 5AND8BY6T1

URI	`m2://inv/5AND8BY6T1`
Kind	definition
Layer	research
MSC	13-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 2206.11797#DT43 (definition). In 8SJWWZN4FH/e1, definition 3.1

History

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

Isham, Valerie 5ANEWA6JP5

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

Mentions

wikipedia: Wikipedia List of statisticians#TJ2M, Isham, Valerie (unknown)

History

2026-11-02: add by m2/dev

5ANH412NVQ 5ANH412NVQ

URI	`m2://inv/5ANH412NVQ`
Kind	problem
Layer	research
MSC	17-XX, 57-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.20558#B01P (problem). In 46370P3Y9S/e1, problem 2

History

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

5ANXKMZFW2 5ANXKMZFW2

URI	`m2://inv/5ANXKMZFW2`
Kind	definition
Layer	research
MSC	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 2303.09207#DEA4 (definition). In 9DQKY7KGE8/e1, definition B.14

History

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

5AP1AXPPBM 5AP1AXPPBM

URI	`m2://inv/5AP1AXPPBM`
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 2609.27078#LJ1W (definition)

History

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

Jerome Gauntlett 5AP4ZVGBJG

URI	`m2://inv/5AP4ZVGBJG`
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 Q73546944, Jerome Gauntlett (unknown). Also nLab Jerome Gauntlett

History

2026-10-26: add by m2/dev

Microdata (statistics) 5AP54QAHET

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

Mentions

wikipedia: Wikipedia List of statistics articles#68Y7, Microdata (statistics) (definition)

History

2026-11-02: add by m2/dev

5AP8CBV11T 5AP8CBV11T

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

Mentions

arxiv: arXiv 2609.20783#EMAO (statement)

History

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

inner product space $L^2$ 5AP9EGBPW5

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

Mentions

mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > inner product space $L^2$, inner product space $L^2$ (unknown). Also Mathlib MeasureTheory.L2.innerProductSpace

History

2026-10-26: add by m2/dev

5APJ38NYJH 5APJ38NYJH

URI	`m2://inv/5APJ38NYJH`
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#V5KD (statement). In E7W2HDNEKJ/e1, corollary H.2

History

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

Peter Franek 5APJ8BP69D

URI	`m2://inv/5APJ8BP69D`
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 Q59833330, Peter Franek (unknown). Also nLab Peter Franek

History

2026-10-26: add by m2/dev

5APM0R9Z7M 5APM0R9Z7M

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

Mentions

arxiv: arXiv 2404.05965#2TUL (statement). In GD1GED3FZ3/e1, proposition 5.3

History

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

Interpolation theorem 5APR3RT8TQ

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

Mentions

wikipedia: Wikipedia Polynomial interpolation#N89K, Interpolation theorem (statement)

History

2026-11-02: add by m2/dev

Subsonic implies ellipticity 5APTSWM5QS

URI	`m2://inv/5APTSWM5QS`
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.01883#AG2K, Subsonic implies ellipticity (statement). In CYV4P9TDV0/e1, lemma 4.2

History

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

5APVXACRVR 5APVXACRVR

URI	`m2://inv/5APVXACRVR`
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 2404.05451#INM6 (statement). In 5YMFYAFFJ7/e1, theorem C

History

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

Properties 5APZM7BNMW

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

Mentions

wikipedia: Wikipedia Gram matrix#21XT, Properties (statement)

History

2026-11-02: add by m2/dev

5AQ3SXW50C 5AQ3SXW50C

URI	`m2://inv/5AQ3SXW50C`
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 2011.07352#QJ8B (definition). In 3VPC1GGZ3E/e1, definition 4.8

History

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

Inverse tangent integral 5AQBA29ZEF

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

Mentions

wikipedia: Wikipedia List of mathematical functions#CLLY, Inverse tangent integral (definition)

History

2026-11-02: add by m2/dev

5AQF49JNH0 5AQF49JNH0

URI	`m2://inv/5AQF49JNH0`
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.06466#8UEX (statement). In 6W451V3N75/e1, lemma 7.1

History

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

5AQKFGVY8Q 5AQKFGVY8Q

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

Mentions

arxiv: arXiv 2609.35102#LZDQ (statement). In XK6H7F2F13/e1, corollary 4.11

History

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

Blum axioms 5AQN7F5ZVB

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

Mentions

wikipedia: Wikipedia Blum axioms, Blum axioms (statement). Also Wikidata Q4059945

History

2026-11-02: add by m2/dev

Caustic 5AQV18GK5T

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

Mentions

wikipedia: Wikipedia Caustic (optics), Caustic (definition). Also Wikidata Q1236244

History

2026-11-02: add by m2/dev

Levi Hedge 5AQVPBFRER

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

Mentions

wikipedia: Wikipedia Levi Hedge, Levi Hedge (topic). Also Wikidata Q6535430

History

2026-11-02: add by m2/dev

5AQYK8W06B 5AQYK8W06B

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

Mentions

arxiv: arXiv 2610.11545#C228 (statement). In VN084GGZGK/e1, proposition 3.22

History

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

5ARK2QRWGZ 5ARK2QRWGZ

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

Mentions

arxiv: arXiv 2609.20042#J3DF (statement)

History

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

Klein quartic 5ARNDTVQ5T

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

Mentions

wikipedia: Wikipedia List of curves#UTN2, Klein quartic (definition)

History

2026-11-02: add by m2/dev

5ARY382P93 5ARY382P93

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

Mentions

arxiv: arXiv 2610.16002#FO1D (statement). In MWXDTQ7XC4/e1, corollary 2.4

History

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

5ARZF41S2V 5ARZF41S2V

URI	`m2://inv/5ARZF41S2V`
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#I3TY (statement). In 19GENJ3NCP/e1, proposition 3.2

History

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

Area of a geodesic polygon 5ARZJET357

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

Mentions

wikipedia: Wikipedia Geodesics on an ellipsoid#69QV, Area of a geodesic polygon (unknown)

History

2026-11-02: add by m2/dev

binding number 5AS75JXSX7

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

Mentions

wikidata: Wikidata Q131581195, binding number (unknown). Also MathWorld BindingNumber

History

2026-10-26: add by m2/dev

Theorem 5AS7NCZ587

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

Mentions

wikipedia: Wikipedia Acyclic model#F9CS, Theorem (statement)

History

2026-11-02: add by m2/dev

5ASB41PZ5F 5ASB41PZ5F

URI	`m2://inv/5ASB41PZ5F`
Kind	definition
Layer	research
MSC	11-XX, 20-XX, 22-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.35543#QOA0 (definition). In WSG1ZW956E/e1, definition 2.1

History

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

5ASTQJQ1AT 5ASTQJQ1AT

URI	`m2://inv/5ASTQJQ1AT`
Kind	definition
Layer	research
MSC	05-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 2610.12326#8PDD (definition). In 9S7HGSEX6Q/e1, definition 3.6

History

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

Maike Buchin 5ASVGPSNGY

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#LXC8, Maike Buchin (unknown)

History

2026-11-02: add by m2/dev

Surface triangulation 5ASXACYG0F

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

Mentions

wikipedia: Wikipedia Surface triangulation, Surface triangulation (definition). Also Wikidata Q15713605

History

2026-11-02: add by m2/dev

Properties 5AT3BHAT2V

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

Mentions

wikipedia: Wikipedia Truncated tetrahedron#NVAL, Properties (statement)

History

2026-11-02: add by m2/dev

Edge cycle cover 5AT438DYJ8

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

Mentions

wikipedia: Wikipedia Edge cycle cover, Edge cycle cover (definition). Also Wikidata Q5337694

History

2026-11-02: add by m2/dev

5AT5JKJAVM 5AT5JKJAVM

URI	`m2://inv/5AT5JKJAVM`
Kind	statement
Layer	research
MSC	11-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.13877#FURF (statement). In NBMA6DBKJG/e1, lemma 6.15

History

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

augmented truncated cube 5ATMKY4E16

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

Mentions

wikidata: Wikidata Q614036, augmented truncated cube (object). Also MathWorld AugmentedTruncatedCube
wikipedia: Wikipedia Augmented truncated cube, Augmented truncated cube (definition). Also Wikidata Q614036

History

2026-10-26: add by m2/dev

Admissible and ample families of bisections 5ATSZSTYR2

URI	`m2://inv/5ATSZSTYR2`
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 2609.25987#B047, Admissible and ample families of bisections (definition)

History

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

Rebecca Waldecker 5AV2ZKKSVA

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

Mentions

wikipedia: Wikipedia Rebecca Waldecker, Rebecca Waldecker (topic). Also Wikidata Q98429969

History

2026-11-02: add by m2/dev

5AVAXMQ4K2 5AVAXMQ4K2

URI	`m2://inv/5AVAXMQ4K2`
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.36186#K7SO (statement). In 30PQN6JP7W/e1, theorem 17

History

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

5AVB60PAZ8 5AVB60PAZ8

URI	`m2://inv/5AVB60PAZ8`
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.01273#JDRI (statement). In RAT41DDR51/e1, lemma 4.3

History

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

5AVCPERA83 5AVCPERA83

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

Mentions

arxiv: arXiv 2610.10828#G4XZ (statement). In 8PTDFHV8SQ/e1, theorem 12.1

History

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

Definition 5AVCWR1ZQ8

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

Mentions

wikipedia: Wikipedia Field (mathematics)#N93J, Definition (definition)

History

2026-11-02: add by m2/dev

5AVE4GNQHA 5AVE4GNQHA

URI	`m2://inv/5AVE4GNQHA`
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.27168#6VPP (statement)

History

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

Threshold policy 5AVN25JV4F

URI	`m2://inv/5AVN25JV4F`
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.18935#VYH2, Threshold policy (statement). In HPEEJY1S3S/e1, theorem 16

History

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

Example 5AVNTMT3JT

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

Mentions

wikipedia: Wikipedia Simplicial homology#PAGK, Example (example)

History

2026-11-02: add by m2/dev

Definitions 5AVQFFQJFJ

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

Mentions

wikipedia: Wikipedia Elliptic operator#U6EE, Definitions (definition)

History

2026-11-02: add by m2/dev

*-regular semigroup 5AVSHRAP6B

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

Mentions

wikipedia: Wikipedia Semigroup with involution#XIB3, *-regular semigroup (unknown)

History

2026-11-02: add by m2/dev

Lemma 5AVV4FTXVT

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

Mentions

wikipedia: Wikipedia Bellman–Ford algorithm#JY5P, Lemma (statement)

History

2026-11-02: add by m2/dev

5AWCKMYVXS 5AWCKMYVXS

URI	`m2://inv/5AWCKMYVXS`
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.03310#3D5T (statement). In 2CQ2KPV3CG/e1, theorem 1.1

History

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

5AWHY6JAZH 5AWHY6JAZH

URI	`m2://inv/5AWHY6JAZH`
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 2609.25983#CWOK (statement)

History

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

Cayley–Purser algorithm 5AWK2R5RSF

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

Mentions

wikidata: Wikidata Q1051982, Cayley–Purser algorithm (unknown). Also MathWorld Cayley-PurserAlgorithm
wikipedia: Wikipedia Cayley–Purser algorithm, Cayley–Purser algorithm (definition). Also Wikidata Q1051982

History

2026-10-26: add by m2/dev

Alexander Grothendieck 5AXFNWR133

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#300M, Alexander Grothendieck (topic)

History

2026-11-02: add by m2/dev

Dirichlet average 5AXJ02JME8

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

Mentions

wikipedia: Wikipedia Dirichlet average, Dirichlet average (definition). Also Wikidata Q65091264

History

2026-11-02: add by m2/dev

Aharonov–Bohm effect 5AXMPQR7MR

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

Mentions

wikipedia: Wikipedia Aharonov–Bohm effect, Aharonov–Bohm effect (definition). Also Wikidata Q400083

History

2026-11-02: add by m2/dev

Demographics of Alderney 5AXMVM8YE8

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

Mentions

wikipedia: Wikipedia Demographics of Alderney, Demographics of Alderney (topic). Also Wikidata Q85850444

History

2026-11-02: add by m2/dev

Simplicial sphere 5AXN3J6XX0

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

Mentions

wikipedia: Wikipedia Simplicial sphere, Simplicial sphere (definition). Also Wikidata Q7520908

History

2026-11-02: add by m2/dev

Ali Reza Ashrafi 5AXVSF7C4J

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

Mentions

wikipedia: Wikipedia Ali Reza Ashrafi, Ali Reza Ashrafi (topic). Also Wikidata Q43232311

History

2026-11-02: add by m2/dev

5AXYCA9SAJ 5AXYCA9SAJ

URI	`m2://inv/5AXYCA9SAJ`
Kind	definition
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 2109.09268#3SJO (definition). In SYZFEVFHC3/e1, definition 3.2

History

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

5AY2H4YHGQ 5AY2H4YHGQ

URI	`m2://inv/5AY2H4YHGQ`
Kind	statement
Layer	research
MSC	16-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.27420#L5CL (statement)

History

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

The Cauchy-Schwarz Inequality 5AY2NHK57Q

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

Mentions

mathlib_100: mathlib_100 78, The Cauchy-Schwarz Inequality (statement). Also Mathlib inner_mul_inner_self_le, Mathlib norm_inner_le_norm
mathlib_overview: mathlib_overview Analysis > Hilbert spaces > Cauchy-Schwarz inequality, Cauchy-Schwarz inequality (unknown). Also Mathlib inner_mul_inner_self_le
mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > Cauchy-Schwarz inequality, Cauchy-Schwarz inequality (unknown). Also Mathlib inner_mul_inner_self_le

History

2026-10-26: add by m2/dev

Analytic signal 5AYBSX64BE

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

Mentions

wikipedia: Wikipedia Analytic signal, Analytic signal (definition). Also Wikidata Q485394

History

2026-11-02: add by m2/dev

Augusto Sagnotti 5AYJN0MH3J

URI	`m2://inv/5AYJN0MH3J`
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 Q17986856, Augusto Sagnotti (unknown). Also nLab Augusto Sagnotti

History

2026-10-26: add by m2/dev

5AYZYHR11E 5AYZYHR11E

URI	`m2://inv/5AYZYHR11E`
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#5R7K (statement). In EFSGMHG5BW/e1, theorem 4.1

History

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

5AZ5CR6KHP 5AZ5CR6KHP

URI	`m2://inv/5AZ5CR6KHP`
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 2411.10658#YH9O (statement). In 3PY22ABV4Y/e1, lemma 2

History

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

heat 5AZ5SCN50S

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

Mentions

wikidata: Wikidata Q44432, heat (definition). Also ProofWiki Definition:Heat
wikipedia: Wikipedia Heat, Heat (definition). Also Wikidata Q44432

History

2026-10-26: add by m2/dev

Cauchy condensation test 5AZ9SY5A3S

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

Mentions

wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#H8W5, Cauchy condensation test (definition)

History

2026-11-02: add by m2/dev

Carl Wolfgang Benjamin Goldschmidt 5AZCE9TPR0

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#B4TA, Carl Wolfgang Benjamin Goldschmidt (topic)

History

2026-11-02: add by m2/dev

5AZGN6JAV6 5AZGN6JAV6

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

Mentions

napkin: napkin tex/calculus/limits.tex#example-8 (example). In RZP28ERRZV, example, section 32.6

History

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

vector calculus 5AZK44KRGE

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

Mentions

wikipedia: Wikipedia Glossary of calculus#5J5V, vector calculus (definition)

History

2026-11-02: add by m2/dev

First-order logic 5AZKEY540J

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#F4ZP, First-order logic (definition)

History

2026-11-02: add by m2/dev

Unions from a fixed collection of classes 5AZRZ8YX1J

URI	`m2://inv/5AZRZ8YX1J`
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.25101#GWDO, Unions from a fixed collection of classes (statement)

History

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