Inventory rows 9X

9X01D1TSEB 9X01D1TSEB

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

Mentions

arxiv: arXiv 2610.14278#D5L2 (statement). In RTE2C0PH4S/e1, proposition 2.2

History

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

Exponential Bass flow in every dimension 9X05AR7EH1

URI	`m2://inv/9X05AR7EH1`
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#X6H8, Exponential Bass flow in every dimension (statement). In 9YAE8FNQST/e1, theorem 18.9

History

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

Applications 9X0HZ14TY1

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

Mentions

wikipedia: Wikipedia Line integral#29RO, Applications (example)

History

2026-11-02: add by m2/dev

9X0T70Y49P 9X0T70Y49P

URI	`m2://inv/9X0T70Y49P`
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.20991#L9TD (statement). In H98ZC5YBSD/e1, proposition 3.3

History

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

Mu-Tao Wang 9X0TMZCKZ5

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

Mentions

wikipedia: Wikipedia List of Taiwanese mathematicians#OYHP, Mu-Tao Wang (unknown)

History

2026-11-02: add by m2/dev

9X0YFSQKT5 9X0YFSQKT5

URI	`m2://inv/9X0YFSQKT5`
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.24795#1EBN (definition)

History

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

A common base-field twist 9X12XCZRVR

URI	`m2://inv/9X12XCZRVR`
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.30301#2LO9, A common base-field twist (statement). In 7NS75J7HAM/e1, proposition 7.6

History

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

Peter Littelmann 9X163JR8ND

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

Mentions

wikipedia: Wikipedia Peter Littelmann, Peter Littelmann (topic). Also Wikidata Q7175483

History

2026-11-02: add by m2/dev

Tangent developable 9X16892ASF

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

Mentions

wikidata: Wikidata Q7682872, Tangent developable (concept). Also MathWorld TangentDevelopable
wikipedia: Wikipedia Tangent developable, Tangent developable (definition). Also Wikidata Q7682872

History

2026-10-26: add by m2/dev

9X17DCJFDM 9X17DCJFDM

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

Mentions

napkin: napkin tex/topology/constructions.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 96.4

History

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

Definition and axioms 9X17JBD6B2

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

Mentions

wikipedia: Wikipedia Matrix analysis#XP04, Definition and axioms (statement)

History

2026-11-02: add by m2/dev

9X1DE5VN69 9X1DE5VN69

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

Mentions

lebl_ra: lebl_ra ch-der.tex#exercise-38 (exercise). In E59CDZA4DP, exercise, section 3.4.2

History

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

Khabibullin's conjecture on integral inequalities 9X1E6XZGM0

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

Mentions

wikipedia: Wikipedia List of inequalities#RZP7, Khabibullin's conjecture on integral inequalities (statement)

History

2026-11-02: add by m2/dev

9X1JQVBS3Y 9X1JQVBS3Y

URI	`m2://inv/9X1JQVBS3Y`
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.26769#N8LJ (statement)

History

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

9X1KSWFWEQ 9X1KSWFWEQ

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

Mentions

arxiv: arXiv 2610.09086#JBB5 (statement). In JPC86V77CH/e1, corollary 2.3

History

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

No cubic obstruction for the conifold interval 9X1MH9EYHJ

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

Mentions

arxiv: arXiv 2609.27799#2KV3, No cubic obstruction for the conifold interval (statement)

History

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

P-adic gamma function 9X1NV9WYG2

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

Mentions

wikipedia: Wikipedia P-adic gamma function, P-adic gamma function (definition). Also Wikidata Q7116917

History

2026-11-02: add by m2/dev

Single-floor oriented comparison 9X1NVQBKWA

URI	`m2://inv/9X1NVQBKWA`
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.22301#DQ0D, Single-floor oriented comparison (statement)

History

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

Construction 9X1ZDX08EN

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

Mentions

wikipedia: Wikipedia Snub dodecahedron#GRU3, Construction (definition)

History

2026-11-02: add by m2/dev

complex vector bundle 9X1ZYRQV9Z

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

Mentions

wikidata: Wikidata Q18705746, complex vector bundle (unknown). Also MathWorld ComplexVectorBundle, nLab complex vector bundle
wikipedia: Wikipedia Complex vector bundle, Complex vector bundle (definition). Also Wikidata Q18705746

History

2026-10-26: add by m2/dev

Fowlkes–Mallows index 9X20X2X3GH

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

Mentions

wikipedia: Wikipedia Fowlkes–Mallows index, Fowlkes–Mallows index (definition). Also Wikidata Q5476477

History

2026-11-02: add by m2/dev

9X20YX3904 9X20YX3904

URI	`m2://inv/9X20YX3904`
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#JECW (statement). In 9ZD87293QS/e1, corollary 4.2

History

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

Generalizations 9X24F54CP5

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

Mentions

wikipedia: Wikipedia Stable roommates problem#M72F, Generalizations (statement)

History

2026-11-02: add by m2/dev

Gorenstein–Harada theorem 9X28V75Y0Z

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

Mentions

wikipedia: Wikipedia Gorenstein–Harada theorem, Gorenstein–Harada theorem (statement). Also Wikidata Q5586175

History

2026-11-02: add by m2/dev

9X2QDZER5Z 9X2QDZER5Z

URI	`m2://inv/9X2QDZER5Z`
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.08935#KIPV (statement). In G02N9D40B9/e1, proposition 3.3.5

History

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

Bourgain--Fremlin--Talagrand 9X2XN51RF8

URI	`m2://inv/9X2XN51RF8`
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.12908#DDJ2, Bourgain--Fremlin--Talagrand (statement). In TNC658NVMQ/e1, fact 3.5

History

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

Gabriella Pinzari 9X3AAZV0GP

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

Mentions

wikipedia: Wikipedia Gabriella Pinzari, Gabriella Pinzari (topic). Also Wikidata Q29048419

History

2026-11-02: add by m2/dev

Properties 9X3G8TB2B3

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

Mentions

wikipedia: Wikipedia Dyck language#FVS7, Properties (statement)

History

2026-11-02: add by m2/dev

Trivial bundle 9X3VBHT6M5

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

Mentions

wikipedia: Wikipedia Fiber bundle#WJ6B, Trivial bundle (unknown)

History

2026-11-02: add by m2/dev

Poincaré–Bendixson theorem 9X3Y4NET1R

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

Mentions

wikipedia: Wikipedia List of theorems#5UGC, Poincaré–Bendixson theorem (statement)

History

2026-11-02: add by m2/dev

Multi-cap form 9X42ER3YK8

URI	`m2://inv/9X42ER3YK8`
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.25120#7PBC, Multi-cap form (statement)

History

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

F. R. W. Hunt 9X46KCPCME

URI	`m2://inv/9X46KCPCME`
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#6JT3, F. R. W. Hunt (unknown)

History

2026-11-02: add by m2/dev

9X4AQQBZSH 9X4AQQBZSH

URI	`m2://inv/9X4AQQBZSH`
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 2507.03563#ZI4T (statement). In R6DR6F68BJ/e1, theorem 5.11

History

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

rhombic triacontahedron stellations 9X4BNZSP19

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

Mentions

wikidata: Wikidata Q98446306, rhombic triacontahedron stellations (object). Also MathWorld RhombicTriacontahedronStellations

History

2026-10-26: add by m2/dev

7999 (number) 9X4D6WSXE8

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

Mentions

wikipedia: Wikipedia 7000 (number)#DECL, 7999 (number) (unknown)

History

2026-11-02: add by m2/dev

9X4GKD8F14 9X4GKD8F14

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

Mentions

arxiv: arXiv 2610.14600#46PC (statement). In CJHTDS522P/e1, proposition A.2

History

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

Bayesian average 9X4S9D00AX

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

Mentions

wikipedia: Wikipedia List of statistics articles#ENVI, Bayesian average (definition)

History

2026-11-02: add by m2/dev

Weinberg–Witten theorem 9X4TNA3472

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

Mentions

wikipedia: Wikipedia List of theorems#G7T8, Weinberg–Witten theorem (statement)

History

2026-11-02: add by m2/dev

9X4Y2ZXN7A 9X4Y2ZXN7A

URI	`m2://inv/9X4Y2ZXN7A`
Kind	definition
Layer	research
MSC	05-XX, 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 2610.17441#7BEF (definition). In 9Q8S0NWHP2/e1, definition 4.5

History

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

Nagata–Biran conjecture 9X5D42WWW2

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

Mentions

wikipedia: Wikipedia Nagata–Biran conjecture, Nagata–Biran conjecture (statement). Also Wikidata Q6958668

History

2026-11-02: add by m2/dev

9X5EB2KPMV 9X5EB2KPMV

URI	`m2://inv/9X5EB2KPMV`
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.19449#ERM8 (statement). In 8ZKPJ3CBDF/e1, theorem 1.1

History

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

Cuntz algebra 9X5HTRXYN5

URI	`m2://inv/9X5HTRXYN5`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Cuntz algebra 36Q7XH9P7W

Mentions

wikidata: Wikidata Q1144125, Cuntz algebra (unknown). Also nLab Cuntz algebra
wikipedia: Wikipedia Cuntz algebra, Cuntz algebra (definition). Also Wikidata Q1144125

History

2026-10-26: add by m2/dev

Examples 9X5KA6ZZ0W

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

Mentions

wikipedia: Wikipedia Flip graph#89EJ, Examples (example)

History

2026-11-02: add by m2/dev

9X5PZSY9R2 9X5PZSY9R2

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

Mentions

arxiv: arXiv 2610.14217#K26Y (example). In K0DHYQC5B7/e1, example 2.7

History

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

9X5TN4S2SP 9X5TN4S2SP

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

Mentions

arxiv: arXiv 2610.16875#8SKL (statement). In KS30K5JXGB/e1, corollary 4.5

History

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

9X60VW0XP8 9X60VW0XP8

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

Mentions

arxiv: arXiv 2609.28774#H1OY (statement)

History

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

9X64NZNBX6 9X64NZNBX6

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

Mentions

arxiv: arXiv 2207.12181#SCZN (statement). In FSD8NE3XSR/e1, lemma 5.5

History

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

9X6BTNM18P 9X6BTNM18P

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

Mentions

lebl_ra: lebl_ra ch-der.tex#proof-15 (proof). In E59CDZA4DP, proof, section 3.4.1

History

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

Franck Barthe 9X6GWA03YJ

URI	`m2://inv/9X6GWA03YJ`
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#RCLY, Franck Barthe (topic)

History

2026-11-02: add by m2/dev

Gallager-exponent preservation for generalized-Gaussian BPSK 9X6GZ6HCVA

URI	`m2://inv/9X6GZ6HCVA`
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.29688#DEPX, Gallager-exponent preservation for generalized-Gaussian BPSK (statement)

History

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

Tadeusz Czeżowski 9X6J53WE8F

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

Mentions

wikipedia: Wikipedia List of logicians#5QQT, Tadeusz Czeżowski (topic)

History

2026-11-02: add by m2/dev

Mantel-Haenszel procedure 9X6M89QTBS

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

Mentions

wikipedia: Wikipedia Differential item functioning#GSVD, Mantel-Haenszel procedure (unknown)

History

2026-11-02: add by m2/dev

Super-Kamiokande 9X6Q3Y13XA

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

Mentions

wikidata: Wikidata Q647227, Super-Kamiokande (unknown). Also nLab Super-Kamiokande

History

2026-10-26: add by m2/dev

symmetric sequence 9X7671VBRV

URI	`m2://inv/9X7671VBRV`
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.39395#248G, symmetric sequence (statement). In ZDVPJ1XX5Z/e1, corollary 2

History

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

9X7DB28ZDN 9X7DB28ZDN

URI	`m2://inv/9X7DB28ZDN`
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.29531#HZVX (statement)

History

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

9X7P5845K7 9X7P5845K7

URI	`m2://inv/9X7P5845K7`
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.02963#2RUK (statement). In FN8MJK3C6K/e1, theorem A.6

History

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

Conditioned factorization through a Green inverse of $\Op L^\ast$ 9X7Z5G6ZE3

URI	`m2://inv/9X7Z5G6ZE3`
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.14906#JHMU, Conditioned factorization through a Green inverse of $\Op L^\ast$ (statement). In 1F8ENX770M/e1, corollary 5.7

History

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

9X8198S356 9X8198S356

URI	`m2://inv/9X8198S356`
Kind	statement
Layer	research
MSC	20-XX, 22-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 math/0512416#L8MA (statement). In WJD9YPGGYH/e1, proposition 4.7

History

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

teleparallelism 9X8319AAXT

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

Mentions

wikidata: Wikidata Q4454070, teleparallelism (unknown). Also nLab teleparallel gravity
wikipedia: Wikipedia Teleparallelism, Teleparallelism (topic). Also Wikidata Q4454070

History

2026-10-26: add by m2/dev

9X83T24NH7 9X83T24NH7

URI	`m2://inv/9X83T24NH7`
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 2610.04730#EE85 (statement). In QHFP0837Q8/e1, theorem 2.8

History

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

9X88NN2093 9X88NN2093

URI	`m2://inv/9X88NN2093`
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.14741#FV6E (statement). In RK1VPWWX9E/e1, theorem 3.3

History

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

Lax pair 9X8D0YFZT4

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

Mentions

wikipedia: Wikipedia Lax pair, Lax pair (definition). Also Wikidata Q4115796

History

2026-11-02: add by m2/dev

Noether normalization lemma 9X8QC1KNZP

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

Mentions

wikipedia: Wikipedia List of commutative algebra topics#2RR0, Noether normalization lemma (statement)

History

2026-11-02: add by m2/dev

⊖ 9X8TB2XZHJ

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#U3TO, ⊖ (definition)

History

2026-11-02: add by m2/dev

9X92J13WA1 9X92J13WA1

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

Mentions

arxiv: arXiv 2610.06338#1XXL (statement). In F1CYVYK7YB/e1, theorem 8.2

History

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

Theorem 9X986H68NV

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

Mentions

wikipedia: Wikipedia Knapsack problem#0K6V, Theorem (statement)

History

2026-11-02: add by m2/dev

9X9AE39400 9X9AE39400

URI	`m2://inv/9X9AE39400`
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.27800#03K5 (statement)

History

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

9X9FBQ1RAN 9X9FBQ1RAN

URI	`m2://inv/9X9FBQ1RAN`
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.10937#1CE9 (definition). In 6VVK3YTABP/e1, definition 2.10

History

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

Examples 9X9H22A3BV

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

Mentions

wikipedia: Wikipedia Fatou–Bieberbach domain#525M, Examples (example)

History

2026-11-02: add by m2/dev

Examples 9X9HZH04R9

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

Mentions

wikipedia: Wikipedia Quadratic Lie algebra#B3RV, Examples (example)

History

2026-11-02: add by m2/dev

Examples 9X9JSN0X5Y

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

Mentions

wikipedia: Wikipedia Foster's reactance theorem#3P7W, Examples (example)

History

2026-11-02: add by m2/dev

9X9QQZSFND 9X9QQZSFND

URI	`m2://inv/9X9QQZSFND`
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.30113#OUG0 (statement)

History

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

Rogers–Ramanujan continued fraction 9X9VTBK6S4

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

Mentions

wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#BR6P, Rogers–Ramanujan continued fraction (definition)

History

2026-11-02: add by m2/dev

9X9W66AG8X 9X9W66AG8X

URI	`m2://inv/9X9W66AG8X`
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.08385#JQ1N (statement). In D979582ST2/e1, corollary 1

History

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

mnemonic 9XA2EERPRS

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

Mentions

wikidata: Wikidata Q191062, mnemonic (definition). Also MathWorld Mnemonic, ProofWiki Definition:Mnemonic

History

2026-10-26: add by m2/dev

Examples 9XA3QBGQ5Y

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

Mentions

wikipedia: Wikipedia Radon measure#RTQE, Examples (example)

History

2026-11-02: add by m2/dev

9XA4NQ1VZV 9XA4NQ1VZV

URI	`m2://inv/9XA4NQ1VZV`
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.23093#JLWU (statement)

History

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

Karpelevi\v{c}, in Ito form 9XABS6VVQR

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

Mentions

arxiv: arXiv 2609.26058#DMUS, Karpelevi\v{c}, in Ito form (statement)

History

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

9XAQB2PSEC 9XAQB2PSEC

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

Mentions

arxiv: arXiv 2610.01915#IXQX (statement). In 6HJQXZS0A6/e1, lemma 4.12

History

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

9XAQTR2CYC 9XAQTR2CYC

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

Mentions

arxiv: arXiv 2610.15037#QZHM (statement). In 9XCA9T80GJ/e1, lemma 5.2.2

History

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

\probname{ExactCover 9XAXTB84BP

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

Mentions

arxiv: arXiv 2609.38436#BC9Y, \probname{ExactCover (problem). In 702AF3E4AF/e1, problem 3.1

History

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

9XB31F5FWN 9XB31F5FWN

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

Mentions

arxiv: arXiv 2405.05684#YITU (definition). In 1PR73ECTZB/e1, definition 8

History

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

9XB9Y5C14F 9XB9Y5C14F

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

Mentions

arxiv: arXiv 2609.28552#1ZYK (statement)

History

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

Basic properties 9XBDVAKBS8

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

Mentions

wikipedia: Wikipedia Bounded variation#C12U, Basic properties (statement)

History

2026-11-02: add by m2/dev

Law of total cumulance 9XC1AQ5ZVD

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

Mentions

wikipedia: Wikipedia Law of total cumulance, Law of total cumulance (statement). Also Wikidata Q6503512

History

2026-11-02: add by m2/dev

9XCD7PV5ZD 9XCD7PV5ZD

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

Mentions

napkin: napkin tex/topology/cover-project.tex#proof-2 (proof). In RZP28ERRZV, proof, section 97.3

History

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

Product expansion 9XCDP315XT

URI	`m2://inv/9XCDP315XT`
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 2609.28028#TKGP, Product expansion (definition)

History

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

Nicole Berline 9XCF6FEHKV

URI	`m2://inv/9XCF6FEHKV`
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 Q6451683, Nicole Berline (unknown). Also nLab Nicole Berline

History

2026-10-26: add by m2/dev

Radiative forcing 9XCG8S5RE2

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

Mentions

wikipedia: Wikipedia Radiative forcing, Radiative forcing (definition). Also Wikidata Q1463606

History

2026-11-02: add by m2/dev

Relative identity bases 9XCKM215XS

URI	`m2://inv/9XCKM215XS`
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#ULLU, Relative identity bases (statement). In E7W2HDNEKJ/e1, corollary H.19

History

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

Karl Weierstrass 9XCM0X54PD

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

Mentions

wikipedia: Wikipedia List of conjectures#T0KD, Karl Weierstrass (topic)

History

2026-11-02: add by m2/dev

9XCN0PJAB9 9XCN0PJAB9

URI	`m2://inv/9XCN0PJAB9`
Kind	definition
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.10511#EKCH (definition). In BTX64QG716/e1, definition 3.5

History

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

9XCT6EX4Z7 9XCT6EX4Z7

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

Mentions

arxiv: arXiv 2601.15403#XGTP (statement). In BSWNH3NW1M/e1, proposition 8.4

History

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

9XD0ZQXMDR 9XD0ZQXMDR

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

Mentions

applied_combinatorics: applied_combinatorics source/s_induction_proofs.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 3.8

History

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

9XD1NEFCMA 9XD1NEFCMA

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#example-4 (example). In E9HS8K3A52, example, section 3.1.4

History

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

Reflection seismology 9XD70TYKH3

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

Mentions

wikipedia: Wikipedia Reflection seismology, Reflection seismology (definition). Also Wikidata Q1500431

History

2026-11-02: add by m2/dev

Modular conjecture 9XD78A617V

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

Mentions

wikipedia: Wikipedia Lindemann–Weierstrass theorem#Z3BO, Modular conjecture (statement)

History

2026-11-02: add by m2/dev

Piezoelectricity 9XD8WK4ZS9

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

Mentions

wikipedia: Wikipedia Piezoelectricity, Piezoelectricity (definition). Also Wikidata Q183759

History

2026-11-02: add by m2/dev

9XDTQM26SX 9XDTQM26SX

URI	`m2://inv/9XDTQM26SX`
Kind	definition
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 2309.08900#1ZFS (definition). In 8X74NB6XBC/e1, definition 2.7

History

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

Generalizations 9XDVHF0FA7

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

Mentions

wikipedia: Wikipedia Parallel transport#TFXO, Generalizations (statement)

History

2026-11-02: add by m2/dev

Energy solution 9XE0CP1N1E

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

Mentions

arxiv: arXiv 2610.15528#KBU2, Energy solution (definition). In G9GEE64N32/e1, definition 2.2

History

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

Curve-fitting compaction 9XE3V4V7A5

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#1E28, Curve-fitting compaction (unknown)

History

2026-11-02: add by m2/dev

9XEN489PJ3 9XEN489PJ3

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

Mentions

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

History

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

Definition 9XERN9KMDM

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

Mentions

wikipedia: Wikipedia Tarski monster group#AY2N, Definition (definition)

History

2026-11-02: add by m2/dev

9XETQR0BQT 9XETQR0BQT

URI	`m2://inv/9XETQR0BQT`
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.35323#1NRW (statement). In 5CKPXBWSCX/e1, proposition 2.17

History

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

9XF2DQNM2X 9XF2DQNM2X

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

Mentions

arxiv: arXiv 2610.07695#9ZIL (statement). In 8Z47D12KSX/e1, theorem 12.5

History

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

9XFAMW1BME 9XFAMW1BME

URI	`m2://inv/9XFAMW1BME`
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.29227#24SL (statement)

History

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

9XFCGBEV12 9XFCGBEV12

URI	`m2://inv/9XFCGBEV12`
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.30363#OQXB (statement). In QHBBP180QJ/e1, proposition 4

History

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

Occurs check 9XFY008HWV

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

Mentions

wikipedia: Wikipedia Occurs check, Occurs check (definition). Also Wikidata Q1664622

History

2026-11-02: add by m2/dev

Hyperbolic homology $3$-sphere 9XG4GPJYGH

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

Mentions

arxiv: arXiv 2610.18530#VQB6, Hyperbolic homology $3$-sphere (example). In HSXWVKPCQV/e1, example 3.3

History

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

Carola Wenk 9XG5JCR2EB

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#98GE, Carola Wenk (unknown)

History

2026-11-02: add by m2/dev

Change of Bound Variable 9XG82Q2EC3

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#lem:ChangeBdVar, Change of Bound Variable (statement). In PKGMM3P5QY, lem, section 8.10

History

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

National Statistics Socio-economic Classification 9XGECHCXY7

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

Mentions

wikipedia: Wikipedia National Statistics Socio-economic Classification, National Statistics Socio-economic Classification (definition). Also Wikidata Q6978693

History

2026-11-02: add by m2/dev

Menger's theorem 9XGJ72T9JB

URI	`m2://inv/9XGJ72T9JB`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.01946#EEVW, Menger's theorem (statement). In NB1Z31FMXN/e1, lemma 3.1
arxiv: arXiv 2610.20391#VI81, Menger's Theorem (statement). In CTAS41TRM2/e1, theorem 3.1
mathlib_1000: mathlib_1000 Q928813, Menger's theorem (statement). Also Wikidata Q928813
thousand_plus: thousand_plus Q928813, Menger's theorem (statement). Also Wikidata Q928813, Wikipedia Menger's theorem
wikipedia: Wikipedia Menger's theorem, Menger's theorem (statement). Also Wikidata Q928813

History

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

Gregory Eskin 9XGR4BQH7Q

URI	`m2://inv/9XGR4BQH7Q`
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#HWVQ, Gregory Eskin (topic)

History

2026-11-02: add by m2/dev

Weyl expansion 9XGW99YGH9

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

Mentions

wikipedia: Wikipedia Weyl expansion, Weyl expansion (definition). Also Wikidata Q96414616

History

2026-11-02: add by m2/dev

9XH3VS19XN 9XH3VS19XN

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

Mentions

arxiv: arXiv 2610.13100#JONL (statement). In CC6S1HVK0T/e1, proposition 5.15

History

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

Non-signaling simulation 9XH6H6BAHW

URI	`m2://inv/9XH6H6BAHW`
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 2609.34213#YEHA, Non-signaling simulation (definition). In KGP6NAY0NS/e1, definition 1

History

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

Hollowization of a traceless matrix 9XH7W2RZV5

URI	`m2://inv/9XH7W2RZV5`
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.40355#D5FI, Hollowization of a traceless matrix (statement). In SBP98GWKC8/e1, lemma 4

History

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

Examples 9XHNNXA8R4

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

Mentions

wikipedia: Wikipedia Similarity system of triangles#3PY2, Examples (example)

History

2026-11-02: add by m2/dev

Applications 9XHZ4DFZFZ

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

Mentions

wikipedia: Wikipedia Price equation#WJ9N, Applications (example)

History

2026-11-02: add by m2/dev

Construction 9XHZMWXZRZ

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

Mentions

wikipedia: Wikipedia Gyroelongated pentagonal pyramid#5H76, Construction (definition)

History

2026-11-02: add by m2/dev

Riemann zeta function 9XJ0QCA40S

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

Mentions

wikipedia: Wikipedia List of mathematical series#MGX2, Riemann zeta function (definition)

History

2026-11-02: add by m2/dev

Prevalence 9XJ5BVBTAJ

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

Mentions

wikipedia: Wikipedia List of statistics articles#EDWE, Prevalence (definition)

History

2026-11-02: add by m2/dev

9XJ6FQ5GR6 9XJ6FQ5GR6

URI	`m2://inv/9XJ6FQ5GR6`
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.23332#Z40V (statement)

History

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

Localized empirical quantile estimate 9XJ6KCD90G

URI	`m2://inv/9XJ6KCD90G`
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.12740#TLDX, Localized empirical quantile estimate (statement). In HKYRZSZPEC/e1, proposition 4.3

History

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

Contribution from vectors of full support 9XJ9QT2NNP

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

Mentions

arxiv: arXiv 2610.12619#3ISV, Contribution from vectors of full support (statement). In 7F8KACT5AJ/e1, lemma 4.4

History

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

9XJCSB0HTW 9XJCSB0HTW

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

Mentions

arxiv: arXiv 2610.10930#8GUD (statement). In HX63A1PH1W/e1, proposition 8.29

History

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

9XJF2Z035D 9XJF2Z035D

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

Mentions

napkin: napkin tex/alg-geom/mor-scheme.tex#example-1 (example). In RZP28ERRZV, example, section 22.4.1

History

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

Examples 9XJH3VM8TM

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

Mentions

wikipedia: Wikipedia Homomorphism density#JT3K, Examples (example)

History

2026-11-02: add by m2/dev

Statistical randomness 9XJK175ARB

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

Mentions

wikipedia: Wikipedia Statistical randomness, Statistical randomness (definition). Also Wikidata Q7604411

History

2026-11-02: add by m2/dev

taxicab number 9XJK4TA1NQ

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

Mentions

wikidata: Wikidata Q1462591, taxicab number (unknown). Also MathWorld TaxicabNumber, OEIS A011541
wikipedia: Wikipedia Taxicab number, Taxicab number (definition). Also Wikidata Q1462591

History

2026-10-26: add by m2/dev

Examples 9XJM7DS58N

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

Mentions

wikipedia: Wikipedia Comodule over a Hopf algebroid#CHH1, Examples (example)

History

2026-11-02: add by m2/dev

9XJX0ZZGE5 9XJX0ZZGE5

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

Mentions

arxiv: arXiv 2610.06755#0WSR (statement). In DKEX05SEXS/e1, theorem 1.1

History

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

Algorithm 9XK0E2WPA9

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

Mentions

wikipedia: Wikipedia Leapfrog integration#RUXY, Algorithm (definition)

History

2026-11-02: add by m2/dev

9XK1ABBHBD 9XK1ABBHBD

URI	`m2://inv/9XK1ABBHBD`
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.10107#9AL6 (statement). In ZHNJ8MSXHW/e1, theorem 7.1

History

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

9XK2AMFZJY 9XK2AMFZJY

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

Mentions

arxiv: arXiv 2610.01615#O1MR (statement). In CJYRXT18TD/e1, proposition 3.1

History

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

9XK2S66RRT 9XK2S66RRT

URI	`m2://inv/9XK2S66RRT`
Kind	statement
Layer	research
MSC	14-XX, 18-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.37520#447N (statement). In BDN507RN7J/e1, proposition 5.2.5

History

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

envelope 9XKA2Y56RX

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#PSQV, envelope (definition)

History

2026-11-02: add by m2/dev

Geop 9XKBNTXW8K

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

Mentions

wikipedia: Wikipedia Geopotential#XYH1, Geop (unknown)

History

2026-11-02: add by m2/dev

regular character 9XKDH241VR

URI	`m2://inv/9XKDH241VR`
Kind	topic
Layer	textbook
MSC	20C15
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q24964251, regular character (topic)

History

2026-10-26: add by m2/dev

John Maynard Keynes 9XKENSPMZR

URI	`m2://inv/9XKENSPMZR`
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 Q9317, John Maynard Keynes (unknown). Also EoM Keynes,_John_Maynard

History

2026-10-26: add by m2/dev

9XKGJZJWVY 9XKGJZJWVY

URI	`m2://inv/9XKGJZJWVY`
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.04772#KP6V (statement). In WW08CYN4D4/e1, lemma 2.3

History

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

Padua points 9XKQ0YT987

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

Mentions

wikipedia: Wikipedia Padua points, Padua points (definition). Also Wikidata Q7123977

History

2026-11-02: add by m2/dev

Sequential space 9XKQ31T7BT

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

Mentions

wikipedia: Wikipedia Sequential space, Sequential space (definition). Also Wikidata Q2740469

History

2026-11-02: add by m2/dev

9XKT3M2MF0 9XKT3M2MF0

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-8 (proof). In VNMV985MXX, proof, section 1.3

History

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

9XKWKJ58Z4 9XKWKJ58Z4

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

Mentions

arxiv: arXiv 2609.24065#KWWZ (problem)

History

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

Twisted sheaf 9XM2GYG8HV

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

Mentions

wikipedia: Wikipedia Twisted sheaf, Twisted sheaf (definition). Also Wikidata Q28458060

History

2026-11-02: add by m2/dev

9XM3KFZ3K6 9XM3KFZ3K6

URI	`m2://inv/9XM3KFZ3K6`
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.29824#5309 (statement)

History

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

9XM484ZJX4 9XM484ZJX4

URI	`m2://inv/9XM484ZJX4`
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 2506.16491#TL96 (statement). In P9J6P06Y40/e1, lemma 4.25

History

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

Design principles 9XM741C7QA

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

Mentions

wikipedia: Wikipedia HMAC#WCUO, Design principles (statement)

History

2026-11-02: add by m2/dev

John Edwin Luecke 9XMEJZ578N

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#G7G7, John Edwin Luecke (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4Q3X, John Edwin Luecke (topic)

History

2026-11-02: add by m2/dev

Clàudia Valls 9XMJ1W01NC

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

Mentions

wikipedia: Wikipedia Clàudia Valls, Clàudia Valls (topic). Also Wikidata Q64005396

History

2026-11-02: add by m2/dev

9XMJ4CBW3A 9XMJ4CBW3A

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

Mentions

arxiv: arXiv 2610.21725#JV5U (statement). In BQDZN6GRGF/e1, theorem 5.5

History

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

The Weak Axiom of Revealed Preference (WARP) 9XMMVMMW6R

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

Mentions

wikipedia: Wikipedia Revealed preference#18DR, The Weak Axiom of Revealed Preference (WARP) (statement)

History

2026-11-02: add by m2/dev

Non-malleable affine extractors 9XN1AFVXBR

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

Mentions

arxiv: arXiv 2610.02407#X78H, Non-malleable affine extractors (statement). In ZZER8ZBSCR/e1, corollary 5.29

History

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

Generalization 9XN1RB0XK5

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

Mentions

wikipedia: Wikipedia Mediant (mathematics)#C24O, Generalization (statement)

History

2026-11-02: add by m2/dev

mathematics, formalized 9XN236G3VX

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

Mentions

hott_book: hott_book index/u1.u5/mathematics-formalized, mathematics, formalized (concept). In N54F33XE07, index, section u1.u5

History

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

Relative-entropy labeling cost 9XN3HTGZH3

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

Mentions

arxiv: arXiv 2610.14081#0JNS, Relative-entropy labeling cost (statement). In DCCKKQ7Y21/e1, corollary VII.2

History

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

9XN5HW6A60 9XN5HW6A60

URI	`m2://inv/9XN5HW6A60`
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 2607.28337#MX7N (statement). In 7ZJFWBTBKM/e1, theorem 4.2.3

History

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

Stating the theorem 9XN68AG5KS

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

Mentions

wikipedia: Wikipedia Rank–nullity theorem#6NFJ, Stating the theorem (statement)

History

2026-11-02: add by m2/dev

30 9XN762YGKX

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

Mentions

wikidata: Wikidata Q42817, 30 (unknown). Also MathWorld 30
wikipedia: Wikipedia 30 (number), 30 (definition). Also Wikidata Q42817

History

2026-10-26: add by m2/dev

Giovanni Ceva 9XNAAHY5HJ

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

Mentions

wikipedia: Wikipedia Giovanni Ceva, Giovanni Ceva (topic). Also Wikidata Q451293

History

2026-11-02: add by m2/dev

9XNAGTVM1M 9XNAGTVM1M

URI	`m2://inv/9XNAGTVM1M`
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#V2HI (statement). In 2VHV0RNTNV/e1, theorem 8.18

History

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

Assouad dimension 9XP0J553DK

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

Mentions

wikipedia: Wikipedia Assouad dimension, Assouad dimension (definition). Also Wikidata Q17002467

History

2026-11-02: add by m2/dev

9XP17G7Y7B 9XP17G7Y7B

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

Mentions

arxiv: arXiv 2404.06445#87UV (statement). In 12JKZ8EN52/e1, statement 4.4.2

History

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

9XP77CDSK9 9XP77CDSK9

URI	`m2://inv/9XP77CDSK9`
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 2105.13129#VEA4 (statement). In J5Z1JD5VKR/e1, lemma 3.1

History

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

Mikhail Samuilovich Livsic 9XP8E3NHNP

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

Mentions

wikipedia: Wikipedia Mikhail Samuilovich Livsic, Mikhail Samuilovich Livsic (topic). Also Wikidata Q16218855

History

2026-11-02: add by m2/dev

9XPC01Z7Q2 9XPC01Z7Q2

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

Mentions

arxiv: arXiv 2609.25289#5LXY (statement)

History

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

Small rhombidodecacron 9XPDRP0ZJC

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#HGYI, Small rhombidodecacron (object)

History

2026-11-02: add by m2/dev

9XPH68VWM3 9XPH68VWM3

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

Mentions

arxiv: arXiv 2609.35396#MOWG (statement). In 51N4SF53EV/e1, corollary 2.11

History

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

Generic L\^e numbers 9XPNXPH53G

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

Mentions

arxiv: arXiv 2610.07528#JOA9, Generic L\^e numbers (definition). In WVX0T502A1/e1, definition 2.3

History

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

International Study Center 9XPT71JW5G

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

Mentions

wikipedia: Wikipedia List of research centers at Boston College#1BNW, International Study Center (unknown)

History

2026-11-02: add by m2/dev

9XPX8GDKD0 9XPX8GDKD0

URI	`m2://inv/9XPX8GDKD0`
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.23341#W1QN (statement)

History

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

inverse problem 9XQ098VZP5

URI	`m2://inv/9XQ098VZP5`
Kind	problem
Layer	textbook
Sources	2
Outcome	open
Node	Inverse problem PCMW7KN5P4

Mentions

wikidata: Wikidata Q1567213, inverse problem (unknown). Also MathWorld InverseProblem
wikipedia: Wikipedia Inverse problem, Inverse problem (problem). Also Wikidata Q1567213

History

2026-10-26: add by m2/dev

9XQ2M2C72J 9XQ2M2C72J

URI	`m2://inv/9XQ2M2C72J`
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#2M4E (statement). In J55JTTKG84/e1, lemma 4.3

History

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

Two cancellation identities 9XQ87VHX0H

URI	`m2://inv/9XQ87VHX0H`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.05164#SCSV, Two cancellation identities (statement). In JY6RYSNXMJ/e1, lemma 17

History

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

9XQAFT6KC9 9XQAFT6KC9

URI	`m2://inv/9XQAFT6KC9`
Kind	statement
Layer	research
MSC	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.22560#YLJZ (statement)

History

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

Pointwise regularization modulus 9XQGJ3FQDV

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

Mentions

arxiv: arXiv 2610.14988#JWLG, Pointwise regularization modulus (definition). In B29M4E6KGC/e1, definition G.2

History

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

9XQM0FGNK2 9XQM0FGNK2

URI	`m2://inv/9XQM0FGNK2`
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#FNDB (statement). In E7W2HDNEKJ/e1, theorem 5.20

History

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

Symmetry 9XQN9PREG5

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

Mentions

wikipedia: Wikipedia Geometry#KP2M, Symmetry (statement)

History

2026-11-02: add by m2/dev

9XQPY9PTRE 9XQPY9PTRE

URI	`m2://inv/9XQPY9PTRE`
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.09001#RDYC (statement). In HJC1JJZRSH/e1, lemma 4.9

History

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

Paola Sebastiani 9XQXPVS0RS

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#EL3N, Paola Sebastiani (unknown)

History

2026-11-02: add by m2/dev

9XR37J6BEA 9XR37J6BEA

URI	`m2://inv/9XR37J6BEA`
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.40096#QLQR (statement). In XFE35F9NEV/e1, proposition 2.6

History

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

notation for differentiation 9XR4RZS7P5

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

Mentions

wikipedia: Wikipedia Glossary of calculus#4KZ7, notation for differentiation (definition)

History

2026-11-02: add by m2/dev

Rothamsted Experimental Station 9XR4S0337J

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

Mentions

wikipedia: Wikipedia List of statistics articles#WHDR, Rothamsted Experimental Station (definition)

History

2026-11-02: add by m2/dev

9XR50KS663 9XR50KS663

URI	`m2://inv/9XR50KS663`
Kind	statement
Layer	research
MSC	03-XX, 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 math/0406514#PFQ7 (statement). In CY1FE8W1ZW/e1, proposition 0.171

History

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

9XRB1FWJFV 9XRB1FWJFV

URI	`m2://inv/9XRB1FWJFV`
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 2610.19088#MK9H (definition). In 90QTB4CC31/e1, definition 2.2

History

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

Prime end 9XRCB5YGEG

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

Mentions

wikipedia: Wikipedia Prime end, Prime end (definition). Also Wikidata Q7243367

History

2026-11-02: add by m2/dev

9XRD2P57QS 9XRD2P57QS

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

Mentions

napkin: napkin tex/homology/singular.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 55.4

History

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

Shabat polynomial 9XRNKPWJVC

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

Mentions

wikipedia: Wikipedia Dessin d'enfant#MMTE, Shabat polynomial (unknown)

History

2026-11-02: add by m2/dev

Kenny Easley 9XRYHA6DW3

URI	`m2://inv/9XRYHA6DW3`
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#W4OK, Kenny Easley (unknown)

History

2026-11-02: add by m2/dev

Continuous stochastic process 9XS4FWRPPC

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

Mentions

wikipedia: Wikipedia List of stochastic processes topics#D8UU, Continuous stochastic process (definition)
wikipedia: Wikipedia List of statistics articles#ETR1, Continuous stochastic process (definition)

History

2026-11-02: add by m2/dev

9XS5EA0B16 9XS5EA0B16

URI	`m2://inv/9XS5EA0B16`
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.16492#7ZRY (statement). In XQZ3X5A955/e1, lemma 5.2

History

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

9XS8XTG0X5 9XS8XTG0X5

URI	`m2://inv/9XS8XTG0X5`
Kind	statement
Layer	research
MSC	16-XX, 20-XX, 22-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.11800#VE51 (statement). In 8TSZ2E32K3/e1, lemma 6.1

History

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

9XSBNSYDSJ 9XSBNSYDSJ

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

Mentions

arxiv: arXiv 2609.39269#AR2O (definition). In HS4X20TX33/e1, definition 0.10

History

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

9XSGSTNN1Z 9XSGSTNN1Z

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

Mentions

open_logic: open_logic content/sets-functions-relations/size-of-sets/equinumerous-sets.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 83.6

History

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

Lever rule 9XSP4337RZ

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

Mentions

wikipedia: Wikipedia Lever rule, Lever rule (definition). Also Wikidata Q1781829

History

2026-11-02: add by m2/dev

Bertram Walsh 9XSQ7EWMX3

URI	`m2://inv/9XSQ7EWMX3`
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#LEDS, Bertram Walsh (topic)

History

2026-11-02: add by m2/dev

Compactness of divisor components 9XSQRF3PGA

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

Mentions

arxiv: arXiv 2407.02022#OX6C, Compactness of divisor components (statement). In RZDNWV9E29/e1, theorem 2.1

History

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

19th century in geometry 9XSYBQVK25

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

Mentions

wikipedia: Wikipedia Timeline of geometry#H4F9, 19th century in geometry (unknown)

History

2026-11-02: add by m2/dev

9XT7QXQ8EP 9XT7QXQ8EP

URI	`m2://inv/9XT7QXQ8EP`
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 2610.20558#6R7K (statement). In 46370P3Y9S/e1, lemma 6.16

History

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

Karnaugh map 9XT9RP6TSK

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#DRVA, Karnaugh map (definition)

History

2026-11-02: add by m2/dev

9XTBGN8C5N 9XTBGN8C5N

URI	`m2://inv/9XTBGN8C5N`
Kind	example
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#PFXE (example). In 19GENJ3NCP/e1, example 2.2

History

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

MFEM 9XTDMCEN41

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#8RIE, MFEM (unknown)
wikipedia: Wikipedia List of open-source software for mathematics#JJUC, MFEM (unknown)

History

2026-11-02: add by m2/dev

9XTGAE6SCD 9XTGAE6SCD

URI	`m2://inv/9XTGAE6SCD`
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 2604.10080#ILJY (statement). In KM2FWKP93A/e1, corollary 4.13

History

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

Floer homology 9XTJJWDRJJ

URI	`m2://inv/9XTJJWDRJJ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Floer homology NCKFPAGHXF

Mentions

wikidata: Wikidata Q652525, Floer homology (unknown). Also nLab Floer homology
wikipedia: Wikipedia Floer homology, Floer homology (definition). Also Wikidata Q652525

History

2026-10-26: add by m2/dev

Karl Rubin 9XTKP9ATTG

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#RLUC, Karl Rubin (unknown)

History

2026-11-02: add by m2/dev

strict hierarchy 9XTV9FCX43

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

Mentions

arxiv: arXiv 2609.32733#KKZ1, strict hierarchy (statement). In PCAS8S14J6/e1, proposition D.7

History

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

9XTY8527SB 9XTY8527SB

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

Mentions

arxiv: arXiv 2505.05539#DU4I (definition). In 8SVVEVGMNE/e1, definition 4.2

History

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

Norm of the Test Function 9XV7W81HV8

URI	`m2://inv/9XV7W81HV8`
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.13222#QIUS, Norm of the Test Function (statement). In Z6WA2R0J50/e1, lemma D.5

History

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

reachable 9XVD0XTMSM

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#YZ0J, reachable (definition)

History

2026-11-02: add by m2/dev

Corollary 9XVFGH8Y0B

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

Mentions

wikipedia: Wikipedia Law of total expectation#LX5V, Corollary (statement)

History

2026-11-02: add by m2/dev

9XVHA8S4B0 9XVHA8S4B0

URI	`m2://inv/9XVHA8S4B0`
Kind	statement
Layer	research
MSC	46-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 2609.24131#P0V3 (statement)

History

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

9XVYH9YGF5 9XVYH9YGF5

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

Mentions

open_logic: open_logic content/computability/computability-theory/universal-part-function.tex#thm:univ-comp (statement). In PKGMM3P5QY, thm, section 3.17

History

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

9XVZ3JAJKP 9XVZ3JAJKP

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

Mentions

arxiv: arXiv 2610.01912#C38Q (example). In CTE1C9KYPY/e1, example 2.9

History

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

9XW50TMZYM 9XW50TMZYM

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

Mentions

arxiv: arXiv 2309.17091#CC2K (statement). In N0JJM098W2/e1, corollary 2

History

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

Jan Kmenta 9XW933T5YF

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#MPCM, Jan Kmenta (unknown)

History

2026-11-02: add by m2/dev

9XW9B9P4C7 9XW9B9P4C7

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

Mentions

arxiv: arXiv 2609.26262#JK68 (statement)

History

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

Eknath Prabhakar Ghate 9XWAZ10KFX

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

Mentions

wikipedia: Wikipedia Eknath Prabhakar Ghate, Eknath Prabhakar Ghate (topic). Also Wikidata Q15616146

History

2026-11-02: add by m2/dev

Hermite spline 9XWC26RKY1

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

Mentions

wikipedia: Wikipedia Hermite spline, Hermite spline (definition). Also Wikidata Q5741918

History

2026-11-02: add by m2/dev

Combinatorial optimization 9XWGHS4JHF

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#ZUK5, Combinatorial optimization (topic)

History

2026-11-02: add by m2/dev

Computation 9XWGQXM4HC

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

Mentions

wikipedia: Wikipedia Gottfried Wilhelm Leibniz#4TH4, Computation (definition)

History

2026-11-02: add by m2/dev

9XWTTR0ESG 9XWTTR0ESG

URI	`m2://inv/9XWTTR0ESG`
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 2604.10080#XQV2 (statement). In KM2FWKP93A/e1, theorem 3.9

History

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

Enumeration 9XX2NVT386

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

Mentions

wikipedia: Wikipedia Unit distance graph#5QMR, Enumeration (definition)

History

2026-11-02: add by m2/dev

Tests of general relativity 9XX4DQW25W

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

Mentions

wikipedia: Wikipedia Tests of general relativity, Tests of general relativity (definition). Also Wikidata Q2297564

History

2026-11-02: add by m2/dev

9XXATH78JB 9XXATH78JB

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

Mentions

arxiv: arXiv 2610.15593#16B6 (statement). In PREJREM4BB/e1, lemma 3.14

History

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

Bottleneck traveling salesman 9XXFV5VRB6

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#M45W, Bottleneck traveling salesman (unknown)

History

2026-11-02: add by m2/dev

Algebraic signal processing 9XXJ6H41C6

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

Mentions

wikipedia: Wikipedia Algebraic signal processing, Algebraic signal processing (definition). Also Wikidata Q4724015

History

2026-11-02: add by m2/dev

9XXKR57WY6 9XXKR57WY6

URI	`m2://inv/9XXKR57WY6`
Kind	statement
Layer	research
MSC	05-XX, 60-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.38243#9V4Y (statement). In R03K2N7FRF/e1, lemma C.6

History

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

Jung-Ying Tzeng 9XXKZB39EE

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

Mentions

wikipedia: Wikipedia Jung-Ying Tzeng, Jung-Ying Tzeng (topic). Also Wikidata Q42951880

History

2026-11-02: add by m2/dev

9XXTQDRTMC 9XXTQDRTMC

URI	`m2://inv/9XXTQDRTMC`
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 2609.20140#QGTZ (statement)

History

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

Type-based controllability 9XY8SCZD8H

URI	`m2://inv/9XY8SCZD8H`
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 2610.21653#0QW5, Type-based controllability (definition). In 266RE655Z2/e1, definition 1

History

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

Truncated 6-orthoplexes 9XYCHQXGPP

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

Mentions

wikipedia: Wikipedia Truncated 6-orthoplexes, Truncated 6-orthoplexes (definition). Also Wikidata Q7847861

History

2026-11-02: add by m2/dev

Leopoldt's conjecture 9XYD5TWG3M

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#0WLP, Leopoldt's conjecture (conjecture)

History

2026-11-02: add by m2/dev

Beltrami's theorem 9XYREQ0RVT

URI	`m2://inv/9XYREQ0RVT`
Kind	statement
Layer	textbook
MSC	53-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q4884789, Beltrami's theorem (statement). Also Wikidata Q4884789
thousand_plus: thousand_plus Q4884789, Beltrami's theorem (statement). Also Wikidata Q4884789, Wikipedia Beltrami's theorem
wikidata: Wikidata Q4884789, Beltrami's theorem (statement). Also MathWorld BeltramisTheorem
wikipedia: Wikipedia Beltrami's theorem, Beltrami's theorem (statement). Also Wikidata Q4884789

History

2026-10-26: add by m2/dev

9XYRZTH29C 9XYRZTH29C

URI	`m2://inv/9XYRZTH29C`
Kind	statement
Layer	research
MSC	03-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 1209.3562#UWV1 (statement). In KZH1DCS18C/e1, theorem 6.12

History

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

Compact one-step closure risk bound 9XZ5ASWSRX

URI	`m2://inv/9XZ5ASWSRX`
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.32652#W4HO, Compact one-step closure risk bound (statement). In 6KAZWJ8RFX/e1, theorem 5.12

History

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

Zeldovich regularization 9XZ8FNY7Q4

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

Mentions

wikipedia: Wikipedia Zeldovich regularization, Zeldovich regularization (definition). Also Wikidata Q127040109

History

2026-11-02: add by m2/dev

residue class 9XZD72Y9N4

URI	`m2://inv/9XZD72Y9N4`
Kind	definition
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Residue class 01RSTGNTXG

Mentions

wikidata: Wikidata Q68026154, residue class (definition). Also MathWorld ResidueClass, ProofWiki Definition:Residue_Class

History

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

Related conjectures 9XZQG88DP8

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

Mentions

wikipedia: Wikipedia Imbalance conjecture#BKIA, Related conjectures (statement)

History

2026-11-02: add by m2/dev

9XZTCZMBRW 9XZTCZMBRW

URI	`m2://inv/9XZTCZMBRW`
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 2406.07116#M5PM (statement). In 5B030CB2RK/e1, proposition A.9

History

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

Conjugate radius 9XZTW54NQE

URI	`m2://inv/9XZTW54NQE`
Kind	definition
Layer	research
MSC	30-XX, 32-XX, 51-XX, 52-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.24610#QR8S, Conjugate radius (definition)

History

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

9XZW5FDWZ8 9XZW5FDWZ8

URI	`m2://inv/9XZW5FDWZ8`
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.21039#D2IQ (statement)

History

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

One-epoch $\beta_1,\beta_2\to1$ RR-Adam approximation 9XZYQE95W7

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

Mentions

arxiv: arXiv 2610.11309#T2LB, One-epoch $\beta_1,\beta_2\to1$ RR-Adam approximation (statement). In TTEAQA1XXR/e1, proposition 3.5

History

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