Inventory rows NG

Properties NG060TWBY4

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

Mentions

wikipedia: Wikipedia Generalized beta distribution#8IG4, Properties (statement)

History

2026-11-02: add by m2/dev

Archimedean solid NG07SK0S5N

URI	`m2://inv/NG07SK0S5N`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Archimedean solid X7K75G78C8

Mentions

wikidata: Wikidata Q213486, Archimedean solid (definition). Also MathWorld ArchimedeanSolid, ProofWiki Definition:Archimedean_Polyhedron
wikipedia: Wikipedia Archimedean solid, Archimedean solid (definition). Also Wikidata Q213486

History

2026-10-26: add by m2/dev

François Cosserat NG08V384VR

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

Mentions

wikipedia: Wikipedia François Cosserat, François Cosserat (topic). Also Wikidata Q15675553

History

2026-11-02: add by m2/dev

Yakov Vilner NG0CSK07YF

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#R6Z9, Yakov Vilner (unknown)

History

2026-11-02: add by m2/dev

Tiger JK NG0EE9M3Z7

URI	`m2://inv/NG0EE9M3Z7`
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#VE17, Tiger JK (unknown)

History

2026-11-02: add by m2/dev

Dissipative Bose--Hubbard NG0GHFY27P

URI	`m2://inv/NG0GHFY27P`
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.01669#1EG5, Dissipative Bose--Hubbard (statement). In 41AVNP6DJ9/e1, proposition 4.1

History

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

Swap test NG0N7D3K1T

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

Mentions

wikipedia: Wikipedia List of algorithms#5732, Swap test (unknown)

History

2026-11-02: add by m2/dev

currying NG12D2PKBF

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

Mentions

wikidata: Wikidata Q1144925, currying (concept). Also nLab currying
wikipedia: Wikipedia Currying, Currying (definition). Also Wikidata Q1144925

History

2026-10-26: add by m2/dev

Nilpotency criterion NG14CRDFF8

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

Mentions

wikipedia: Wikipedia Jordan–Chevalley decomposition#YMM5, Nilpotency criterion (statement)

History

2026-11-02: add by m2/dev

NG14J2ZCRW NG14J2ZCRW

URI	`m2://inv/NG14J2ZCRW`
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.19260#93VD (statement). In PWXT7J9JX3/e1, lemma 4.7

History

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

NG1H7MWWA7 NG1H7MWWA7

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

Mentions

arxiv: arXiv 2609.33590#KDK8 (statement). In WRE0P7V6Z3/e1, lemma 14.1

History

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

Lynn Eberly NG1PYN8WK8

URI	`m2://inv/NG1PYN8WK8`
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#06WJ, Lynn Eberly (topic)

History

2026-11-02: add by m2/dev

affine Grassmannian NG1WAHYV8T

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

Mentions

wikidata: Wikidata Q4688931, affine Grassmannian (unknown). Also nLab affine Grassmannian
wikipedia: Wikipedia Affine Grassmannian, Affine Grassmannian (definition). Also Wikidata Q4688931

History

2026-10-26: add by m2/dev

NG213C0TTZ NG213C0TTZ

URI	`m2://inv/NG213C0TTZ`
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 2111.07409#5QUW (statement). In KWH4QJDPWC/e1, theorem 2.2

History

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

NG25W0VA7M NG25W0VA7M

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

Mentions

arxiv: arXiv 2610.16779#I7J6 (statement). In 1R7H0ZAHWA/e1, lemma 4.3

History

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

NG2B0QJ12N NG2B0QJ12N

URI	`m2://inv/NG2B0QJ12N`
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.28509#GZ4T (statement)

History

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

Cohomology and Noether's theorems NG2ER09KPG

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

Mentions

wikipedia: Wikipedia Lagrangian system#XTDW, Cohomology and Noether's theorems (statement)

History

2026-11-02: add by m2/dev

NG2H7F9D2G NG2H7F9D2G

URI	`m2://inv/NG2H7F9D2G`
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.21367#TY8U (statement)

History

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

Mumford measure NG2YNTRTR2

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

Mentions

wikipedia: Wikipedia Mumford measure, Mumford measure (definition). Also Wikidata Q6935402

History

2026-11-02: add by m2/dev

Joan Hutchinson NG2ZWGSP1E

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

Mentions

wikipedia: Wikipedia Joan Hutchinson, Joan Hutchinson (topic). Also Wikidata Q16106990

History

2026-11-02: add by m2/dev

$$-locality, $$-extensivity NG334J64AY

URI	`m2://inv/NG334J64AY`
Kind	definition
Layer	research
MSC	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 2609.25188#M0I1, $*$-locality, $*$-extensivity (definition)

History

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

NG34EG3V0E NG34EG3V0E

URI	`m2://inv/NG34EG3V0E`
Kind	statement
Layer	research
MSC	53-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.19333#2KRR (statement). In 5Y3HF693YB/e1, corollary 3.4

History

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

Two-diagonal form of the prescribed matrix NG3RJTEA5R

URI	`m2://inv/NG3RJTEA5R`
Kind	statement
Layer	research
MSC	05-XX, 26-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.26066#SOJB, Two-diagonal form of the prescribed matrix (statement)

History

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

Victoria Lebed NG3T91Q0PP

URI	`m2://inv/NG3T91Q0PP`
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 Q102413530, Victoria Lebed (unknown). Also nLab Victoria Lebed

History

2026-10-26: add by m2/dev

NG3TNY8HS8 NG3TNY8HS8

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

Mentions

austin_ula: austin_ula src/section7-4.xml#prop-svd-transpose (statement). In 649HGZKE96, proposition, section 7.4.2

History

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

Finite-jet families NG3YG5NTJH

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

Mentions

arxiv: arXiv 2610.09295#LUM6, Finite-jet families (definition). In 29X0B511NF/e1, definition 7.1

History

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

Polarizer NG46ZT4SA9

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

Mentions

wikipedia: Wikipedia Polarizer, Polarizer (definition). Also Wikidata Q11942175

History

2026-11-02: add by m2/dev

Goldberg polyhedron NG47RRC4R0

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

Mentions

wikipedia: Wikipedia Goldberg polyhedron, Goldberg polyhedron (object). Also Wikidata Q15735747

History

2026-11-02: add by m2/dev

Universal improvement in higher dimensions NG492VBMXG

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

Mentions

arxiv: arXiv 2609.23923#VPE6, Universal improvement in higher dimensions (statement)

History

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

Three Churches, West Virginia NG49R0XJ2J

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

Mentions

wikipedia: Wikipedia List of places with numeric names#N1BU, Three Churches, West Virginia (unknown)

History

2026-11-02: add by m2/dev

Mary N. Torrey NG4AAT1KFJ

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

Mentions

wikipedia: Wikipedia Mary N. Torrey, Mary N. Torrey (topic). Also Wikidata Q43234839

History

2026-11-02: add by m2/dev

NG4C1F8WVX NG4C1F8WVX

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-52 (exercise). In E9HS8K3A52, exercise, section 10.4.4

History

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

John Playfair NG4D4XNP7W

URI	`m2://inv/NG4D4XNP7W`
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 Q389666, John Playfair (unknown). Also ProofWiki Mathematician:John_Playfair

History

2026-10-26: add by m2/dev

MathWorld NG4FVKXTRY

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

Mentions

wikipedia: Wikipedia MathWorld, MathWorld (definition). Also Wikidata Q719112

History

2026-11-02: add by m2/dev

Proof of Stein's example NG4HR0G9FK

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

Mentions

wikipedia: Wikipedia List of statistics articles#2CO9, Proof of Stein's example (definition)

History

2026-11-02: add by m2/dev

NG4YA9084J NG4YA9084J

URI	`m2://inv/NG4YA9084J`
Kind	statement
Layer	research
MSC	11-XX, 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.33573#BQAC (statement). In ZT1Q1XDQ1W/e1, theorem 4.1

History

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

NG558TR9P5 NG558TR9P5

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

Mentions

arxiv: arXiv 2609.28993#WJSG (statement)

History

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

Proportional reduction in loss NG56M5A4FH

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

Mentions

wikipedia: Wikipedia List of statistics articles#MQYD, Proportional reduction in loss (definition)

History

2026-11-02: add by m2/dev

Properties NG5BFSYZV6

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

Mentions

wikipedia: Wikipedia Compound probability distribution#LHHS, Properties (statement)

History

2026-11-02: add by m2/dev

Closeness to zeros NG5BS3PBTD

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

Mentions

arxiv: arXiv 2609.26180#U0YN, Closeness to zeros (statement)

History

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

NG5DSZEJZF NG5DSZEJZF

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

Mentions

napkin: napkin tex/alg-geom/spec-zariski.tex#proof-3 (proof). In RZP28ERRZV, proof, section 28.5

History

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

RED signal NG5EZP7MVZ

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#65JR, RED signal (definition)

History

2026-11-02: add by m2/dev

Fundamental system of neighborhoods NG5PMSS67W

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

Mentions

wikipedia: Wikipedia Neighbourhood system#C5TT, Fundamental system of neighborhoods (unknown)

History

2026-11-02: add by m2/dev

NG5QT9GD2M NG5QT9GD2M

URI	`m2://inv/NG5QT9GD2M`
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.09672#2D1W (statement). In TXBXCPP0QH/e1, lemma 30

History

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

Ordinal number topology NG5SKP59AY

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

Mentions

wikipedia: Wikipedia List of topologies#T2KO, Ordinal number topology (definition)

History

2026-11-02: add by m2/dev

NG5SM8QAB2 NG5SM8QAB2

URI	`m2://inv/NG5SM8QAB2`
Kind	example
Layer	research
MSC	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 2405.14678#ZUFT (example). In 9ZSNSJRJ5N/e1, example 54

History

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

Philonides of Laodicea NG5T333WS3

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#UHGX, Philonides of Laodicea (topic)

History

2026-11-02: add by m2/dev

FastICA NG5YFH7Z4S

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

Mentions

wikipedia: Wikipedia FastICA, FastICA (definition). Also Wikidata Q3739974

History

2026-11-02: add by m2/dev

Interpolation in Lorentz spaces NG5ZSH8P4A

URI	`m2://inv/NG5ZSH8P4A`
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.15460#8RVW, Interpolation in Lorentz spaces (statement). In T2Z3D2VQ9B/e1, lemma 2.9

History

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

Three common neighbours on the line NG601SA4RN

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

Mentions

arxiv: arXiv 2208.13855#UZS0, Three common neighbours on the line (statement). In GJKRVZ5YN5/e1, lemma 5

History

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

Examples NG61MNHV9A

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

Mentions

wikipedia: Wikipedia Mex (mathematics)#CSV4, Examples (example)

History

2026-11-02: add by m2/dev

Properties NG64X3RZG6

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

Mentions

wikipedia: Wikipedia Continuous-time Markov chain#J6NT, Properties (statement)

History

2026-11-02: add by m2/dev

Leonidas Alaoglu NG67EPY7MK

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0QYN, Leonidas Alaoglu (topic)

History

2026-11-02: add by m2/dev

NG6C3B4FG4 NG6C3B4FG4

URI	`m2://inv/NG6C3B4FG4`
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.14783#YNIV (statement). In Y3X5XY2J65/e1, corollary 5.4

History

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

Pereira, Basilio de Bragança NG6FD217Y8

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

Mentions

wikipedia: Wikipedia List of statisticians#R680, Pereira, Basilio de Bragança (unknown)

History

2026-11-02: add by m2/dev

Gaussian logarithm NG6FNBAR9P

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

Mentions

wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#IZJB, Gaussian logarithm (definition)

History

2026-11-02: add by m2/dev

Stiefel manifold NG6HST2H06

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

Mentions

wikidata: Wikidata Q7616373, Stiefel manifold (concept). Also MathWorld StiefelManifold, nLab Stiefel manifold
wikipedia: Wikipedia Stiefel manifold, Stiefel manifold (definition). Also Wikidata Q7616373

History

2026-10-26: add by m2/dev

Uniform approximation on the bulk NG6T7P1JWE

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

Mentions

arxiv: arXiv 2610.08766#JZYZ, Uniform approximation on the bulk (statement). In QA4JM9SHPA/e1, lemma C.2

History

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

NG6TXCSGS2 NG6TXCSGS2

URI	`m2://inv/NG6TXCSGS2`
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.18287#BVCW (statement). In ZXZN6RMN38/e1, proposition 22

History

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

Mean error NG6WDVCMKN

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

Mentions

wikipedia: Wikipedia Errors and residuals#UT5W, Mean error (unknown)

History

2026-11-02: add by m2/dev

NG72RHN06W NG72RHN06W

URI	`m2://inv/NG72RHN06W`
Kind	statement
Layer	research
MSC	13-XX, 16-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.14060#SVJJ (statement). In X47RYAZF8P/e1, lemma 6.21

History

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

H\"older's inequality NG7B60B5CD

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

Mentions

arxiv: arXiv 2609.28454#WEIX, H\"older's inequality (statement)

History

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

NG7BZZ9ATX NG7BZZ9ATX

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

Mentions

hott_book: hott_book setmath.tex#ex:surjections-have-sections-impl-ac (exercise). In N54F33XE07, ex, section C.5

History

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

NG7CY1TSX4 NG7CY1TSX4

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

Mentions

napkin: napkin tex/measure/lebesgue-int.tex#definition-3 (definition). In RZP28ERRZV, definition, section 65.1

History

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

NG7KF8H1YX NG7KF8H1YX

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

Mentions

arxiv: arXiv 2201.04174#CRVO (statement). In NVTHDNQQ4Q/e1, proposition 5.2

History

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

Prim's Algorithm NG7QT8R3K8

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphalgorithms_min-wt-span.ptx#example-2, Prim's Algorithm (example). In QKM9DD2H56, example, section 12.1.3

History

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

Algorithms NG7RYGHEVA

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

Mentions

wikipedia: Wikipedia Numerical linear algebra#G8JD, Algorithms (definition)

History

2026-11-02: add by m2/dev

Jongil Park NG7TA4ET63

URI	`m2://inv/NG7TA4ET63`
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#QQ82, Jongil Park (unknown)

History

2026-11-02: add by m2/dev

NG7VVXVRMG NG7VVXVRMG

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

Mentions

arxiv: arXiv 2609.30067#GHIS (statement)

History

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

Ailsa Keating NG7X355AYY

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

Mentions

wikipedia: Wikipedia Ailsa Keating, Ailsa Keating (topic). Also Wikidata Q102434152

History

2026-11-02: add by m2/dev

NG81VDTXAA NG81VDTXAA

URI	`m2://inv/NG81VDTXAA`
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.27078#3XF8 (statement)

History

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

Coercivity with almost regular source NG87EHCCY0

URI	`m2://inv/NG87EHCCY0`
Kind	statement
Layer	research
MSC	35-XX, 49-XX, 62-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 2609.35574#7UGP, Coercivity with almost regular source (statement). In 3Q70DMD7Z7/e1, theorem 4.4

History

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

NG8943M25C NG8943M25C

URI	`m2://inv/NG8943M25C`
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 2312.06473#IFT2 (statement). In P1MYSYHSGX/e1, lemma B.2

History

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

NG8BBN8BBE NG8BBN8BBE

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

Mentions

arxiv: arXiv 2609.25703#5GPU (example)

History

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

Joan Joslin NG8DFCZDWS

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

Mentions

wikipedia: Wikipedia Joan Joslin, Joan Joslin (topic). Also Wikidata Q55956391

History

2026-11-02: add by m2/dev

NG8DHQTR3V NG8DHQTR3V

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

Mentions

hott_book: hott_book categories.tex#ct:sig (definition). In N54F33XE07, defn, section 2.8

History

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

Definitions NG8G0RSGQV

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

Mentions

wikipedia: Wikipedia Efficient cake-cutting#NCMU, Definitions (definition)

History

2026-11-02: add by m2/dev

NG8RKEXWKA NG8RKEXWKA

URI	`m2://inv/NG8RKEXWKA`
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.02642#M6M2 (statement). In VMWV58VWKN/e1, lemma 3.9

History

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

NG8W35RE9X NG8W35RE9X

URI	`m2://inv/NG8W35RE9X`
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.07099#4PT7 (statement). In 9GNAHRCYFT/e1, lemma 3.1

History

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

NG8Y3XC4T3 NG8Y3XC4T3

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 4.1

History

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

Eric Urban NG949JCCG6

URI	`m2://inv/NG949JCCG6`
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#91TO, Eric Urban (topic)

History

2026-11-02: add by m2/dev

Damage reduction NG95DV5N7C

URI	`m2://inv/NG95DV5N7C`
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.02219#DG6V, Damage reduction (statement). In 8XMASJX0GZ/e1, proposition 4.1

History

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

Hacoversine NG95E3495M

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#AZJB, Hacoversine (definition)

History

2026-11-02: add by m2/dev

Serre's "Conjecture II" NG979BXS3N

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

Mentions

wikipedia: Wikipedia List of things named after Jean-Pierre Serre#YK5Q, Serre's "Conjecture II" (conjecture)

History

2026-11-02: add by m2/dev

NG9B1MCTAC NG9B1MCTAC

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

Mentions

arxiv: arXiv 2609.37606#F2WB (statement). In WNFW6GY38C/e1, theorem 7.1

History

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

Kendall tau distance NG9H1B4K8A

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

Mentions

wikipedia: Wikipedia List of statistics articles#A2Z6, Kendall tau distance (definition)

History

2026-11-02: add by m2/dev

Classification of the logarithmic dimple NG9HJ04DQS

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

Mentions

arxiv: arXiv 2609.28278#VP6H, Classification of the logarithmic dimple (statement)

History

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

Capped comparison NG9S5XR8NF

URI	`m2://inv/NG9S5XR8NF`
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.19982#FQ3E, Capped comparison (statement)

History

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

Chaitin's incompleteness theorem NG9TBNM8C5

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

Mentions

wikipedia: Wikipedia Kolmogorov complexity#QR5V, Chaitin's incompleteness theorem (statement)

History

2026-11-02: add by m2/dev

Río Cuarto NGA4X4Y40D

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

Mentions

wikipedia: Wikipedia List of places with numeric names#VN31, Río Cuarto (unknown)

History

2026-11-02: add by m2/dev

NGA7TV2VFX NGA7TV2VFX

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

Mentions

open_logic: open_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 62.3

History

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

NGA9NZGW2X NGA9NZGW2X

URI	`m2://inv/NGA9NZGW2X`
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.38436#FFTI (statement). In 702AF3E4AF/e1, theorem 6.2

History

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

Exit event NGAF9AP4VY

URI	`m2://inv/NGAF9AP4VY`
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.39409#Q00K, Exit event (statement). In CQ0Z7QA0A5/e1, theorem 2.9

History

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

Averaging identity NGAK3ES657

URI	`m2://inv/NGAK3ES657`
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.33027#LJ2V, Averaging identity (statement). In E2AF84709B/e1, proposition 27

History

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

NGAN7895P2 NGAN7895P2

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

Mentions

arxiv: arXiv 2610.18094#TA29 (problem). In AYANBEWSFH/e1, problem 5.10

History

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

NGAVTWM1D1 NGAVTWM1D1

URI	`m2://inv/NGAVTWM1D1`
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.37337#AYUG (statement). In 813JGZV08G/e1, lemma 5.2

History

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

Folkman graph NGAYP21MJ9

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

Mentions

wikidata: Wikidata Q3115489, Folkman graph (unknown). Also House of Graphs 1079, MathWorld FolkmanGraph
wikipedia: Wikipedia Folkman graph, Folkman graph (definition). Also Wikidata Q3115489

History

2026-10-26: add by m2/dev

NGB1NYDFZX NGB1NYDFZX

URI	`m2://inv/NGB1NYDFZX`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 53-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.22288#SRQX (statement). In X38P26DK6S/e1, proposition 4.2

History

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

non-intrusive error equivalence NGBA2QAHJ0

URI	`m2://inv/NGBA2QAHJ0`
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.17678#QEW8, non-intrusive error equivalence (statement). In V753EAWQ3S/e1, theorem 7.1

History

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

Rung 1 NGBDM4JEKV

URI	`m2://inv/NGBDM4JEKV`
Kind	statement
Layer	research
MSC	60-XX, 62-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.27766#CYQ9, Rung 1 (statement)

History

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

NGBH7XG5P0 NGBH7XG5P0

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

Mentions

arxiv: arXiv 2610.16541#DIRL (statement). In D0XH7W96T3/e1, proposition 5.4

History

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

NGC7XNRAW2 NGC7XNRAW2

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

Mentions

arxiv: arXiv 2102.12931#WYI0 (statement). In PQHTR84RAJ/e1, proposition 3.18

History

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

NGCAW2B1VT NGCAW2B1VT

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

Mentions

arxiv: arXiv 2609.20678#UOPC (statement)

History

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

NGCB1QA928 NGCB1QA928

URI	`m2://inv/NGCB1QA928`
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 2207.07461#45TQ (statement). In GAG532VMPF/e1, lemma 4.3.6

History

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

NGCGVATAFZ NGCGVATAFZ

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

Mentions

arxiv: arXiv 2410.16036#V0VF (statement). In S1T3VFXE05/e1, proposition 3.2

History

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

Example NGCKGYB9KN

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

Mentions

wikipedia: Wikipedia De Moivre's formula#O5JO, Example (example)

History

2026-11-02: add by m2/dev

NGCMND3DTS NGCMND3DTS

URI	`m2://inv/NGCMND3DTS`
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 2502.17203#B9MH (statement). In 3YCED562CH/e1, proposition 3

History

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

Non-standard calculus NGD1N15G12

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#4XHU, Non-standard calculus (definition)

History

2026-11-02: add by m2/dev

Pi (letter) NGD1Z7GXVF

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

Mentions

wikipedia: Wikipedia List of topics related to π#Y2LK, Pi (letter) (unknown)

History

2026-11-02: add by m2/dev

duodecimic NGD9CZQ3S6

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#TUU0, duodecimic (definition)

History

2026-11-02: add by m2/dev

NGDQYA9BM7 NGDQYA9BM7

URI	`m2://inv/NGDQYA9BM7`
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.07370#XH8C (definition). In Q94QXG67CK/e1, definition VII.1

History

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

Opinion polling for the next South Korean legislative election NGDSHT4DKS

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

Mentions

wikipedia: Wikipedia Opinion polling for the next South Korean legislative election, Opinion polling for the next South Korean legislative election (definition). Also Wikidata Q133865325

History

2026-11-02: add by m2/dev

Extensions NGDSPBJR3Q

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

Mentions

wikipedia: Wikipedia Gibbard's theorem#SFRR, Extensions (statement)

History

2026-11-02: add by m2/dev

Mills form of the Brown--Xia condition NGDT59B040

URI	`m2://inv/NGDT59B040`
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.25380#FJUQ, Mills form of the Brown--Xia condition (statement)

History

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

Max Simon NGE807QASE

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#SR4F, Max Simon (topic)

History

2026-11-02: add by m2/dev

V. P. Palamodov NGE8G6737V

URI	`m2://inv/NGE8G6737V`
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#MCIZ, V. P. Palamodov (topic)

History

2026-11-02: add by m2/dev

NGEDV6WZAK NGEDV6WZAK

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

Mentions

arxiv: arXiv 2609.36389#5ATN (definition). In N1S169J2MV/e1, definition 6

History

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

NGEEVWGKVX NGEEVWGKVX

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

Mentions

arxiv: arXiv 2609.39293#459B (definition). In S26QVW5613/e1, definition 5.4.1

History

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

LMS Journal of Computation and Mathematics NGEKGBHC3N

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

Mentions

wikipedia: Wikipedia LMS Journal of Computation and Mathematics, LMS Journal of Computation and Mathematics (definition). Also Wikidata Q15461284

History

2026-11-02: add by m2/dev

sequence NGENC7GQMM

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

Mentions

mathlib_overview: mathlib_overview Data structures > List-like structures > sequence, sequence (unknown). Also Mathlib Stream'.Seq

History

2026-10-26: add by m2/dev

Curse of dimensionality NGER57XQ8Y

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#5WXX, Curse of dimensionality (definition)

History

2026-11-02: add by m2/dev

Fichera's existence principle NGETQSMC3C

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

Mentions

wikipedia: Wikipedia Fichera's existence principle, Fichera's existence principle (statement). Also Wikidata Q25305595

History

2026-11-02: add by m2/dev

Vault 7 NGF6D7WV0C

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

Mentions

wikipedia: Wikipedia Vault 7, Vault 7 (definition). Also Wikidata Q28912981

History

2026-11-02: add by m2/dev

brane scan NGFFG2XC2A

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

Mentions

wikidata: Wikidata Q42305758, brane scan (unknown). Also nLab brane scan

History

2026-10-26: add by m2/dev

cardinality of the continuum NGFJDF5AC0

URI	`m2://inv/NGFJDF5AC0`
Kind	statement
Layer	textbook
MSC	03-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Cardinality of the continuum 0WC28W9DNM

Mentions

mathlib_100: mathlib_100 22, The Non-Denumerability of the Continuum (statement). Also Mathlib Cardinal.not_countable_real
mathlib_1000: mathlib_1000 Q22952648, Uncountability of the continuum (statement). Also Mathlib Cardinal.not_countable_real, Wikidata Q22952648
thousand_plus: thousand_plus Q22952648, Uncountability of the continuum (statement). Also Mathlib Cardinal.not_countable_real, Wikidata Q22952648
wikidata: Wikidata Q22952648, cardinality of the continuum (definition). Also EoM Continuum,_cardinality_of_the, ProofWiki Definition:Cardinality_of_Continuum
wikipedia: Wikipedia Cardinality of the continuum, Cardinality of the continuum (definition). Also Wikidata Q22952648

History

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

spectral theory NGFPAP4S14

URI	`m2://inv/NGFPAP4S14`
Kind	definition
Layer	textbook
MSC	47A10
Sources	2
Outcome	open
Node	Spectral theory K5VZ67T9J8

Mentions

wikidata: Wikidata Q2409122, spectral theory (topic). Also EoM Spectral_theory, MathWorld SpectralTheory, nLab spectral theory
wikipedia: Wikipedia Spectral theory, Spectral theory (definition). Also Wikidata Q2409122

History

2026-10-26: add by m2/dev

NGG85DR20J NGG85DR20J

URI	`m2://inv/NGG85DR20J`
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 2311.16205#6V7V (statement). In 3GE9PS9AH0/e1, theorem 5.3.1

History

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

incomparability NGGB4TPDMM

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#PJTB, incomparability (definition)

History

2026-11-02: add by m2/dev

Wolfowitz, Jacob NGGFWVJZHT

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

Mentions

wikipedia: Wikipedia List of statisticians#W2WM, Wolfowitz, Jacob (unknown)

History

2026-11-02: add by m2/dev

NGGHZ6F3DK NGGHZ6F3DK

URI	`m2://inv/NGGHZ6F3DK`
Kind	statement
Layer	research
MSC	35-XX, 46-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.05391#ZWFF (statement). In 9B5TNEBJHV/e1, lemma 2.10

History

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

NGGJ2XXH8N NGGJ2XXH8N

URI	`m2://inv/NGGJ2XXH8N`
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 2609.25004#NYLJ (statement)

History

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

Bitcoin Satoshi Vision NGGRSJQB8X

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

Mentions

wikipedia: Wikipedia List of bitcoin forks#MSKI, Bitcoin Satoshi Vision (definition)

History

2026-11-02: add by m2/dev

Discrete series representation NGGVEQEQ5S

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

Mentions

wikipedia: Wikipedia List of representation theory topics#K41T, Discrete series representation (definition)
wikipedia: Wikipedia List of harmonic analysis topics#P27X, Discrete series representation (definition)

History

2026-11-02: add by m2/dev

Definitions NGH0J91ZTY

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

Mentions

wikipedia: Wikipedia Directed acyclic graph#6UJR, Definitions (definition)

History

2026-11-02: add by m2/dev

NGH1G16C23 NGH1G16C23

URI	`m2://inv/NGH1G16C23`
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.16235#IZG4 (example). In RNGNWGMX85/e1, example 3.17

History

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

Alexander von Brill NGH34ZP3AM

URI	`m2://inv/NGH34ZP3AM`
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#AXAC, Alexander von Brill (topic)
wikipedia: Wikipedia List of German mathematicians#ZRUX, Alexander von Brill (topic)

History

2026-11-02: add by m2/dev

IsaPlanner NGH3KKQENX

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

Mentions

wikipedia: Wikipedia IsaPlanner, IsaPlanner (definition). Also Wikidata Q6075663

History

2026-11-02: add by m2/dev

random variable NGH5NSF6BZ

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

Mentions

applied_combinatorics: applied_combinatorics index/10.4/random-variable, random variable (concept). In QKM9DD2H56, index, section 10.4

History

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

P. L. Uljanov NGH99K67C9

URI	`m2://inv/NGH99K67C9`
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#Q445, P. L. Uljanov (unknown)

History

2026-11-02: add by m2/dev

NGHA6KPE0Y NGHA6KPE0Y

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-14 (exercise). In E9HS8K3A52, exercise, section 2.1.3

History

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

NGHDZVWYZ5 NGHDZVWYZ5

URI	`m2://inv/NGHDZVWYZ5`
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#0GZ6 (statement). In RK1VPWWX9E/e1, lemma C.1

History

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

Engineering statistics NGHE1B6A9Z

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

Mentions

wikipedia: Wikipedia Engineering statistics, Engineering statistics (definition). Also Wikidata Q5377902

History

2026-11-02: add by m2/dev

attaching map NGHG246GDM

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

Mentions

hott_book: hott_book index/5.6/attaching-map, attaching map (concept). In N54F33XE07, index, section 5.6

History

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

Sharp endpoint deficit NGHH9XWDYZ

URI	`m2://inv/NGHH9XWDYZ`
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#WY8J, Sharp endpoint deficit (statement). In 9YAE8FNQST/e1, theorem 16.9

History

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

Curve lengths and systole NGHNT52GB9

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

Mentions

arxiv: arXiv 2610.15926#5NKR, Curve lengths and systole (definition). In G0J92BSX4A/e1, definition 2.3

History

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

U75 NGHPW0R3Y2

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

Mentions

wikipedia: Wikipedia List of uniform polyhedra by Schwarz triangle#0U0K, U75 (object)

History

2026-11-02: add by m2/dev

NGHW0F9TQW NGHW0F9TQW

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

Mentions

arxiv: arXiv 2609.27798#H6JJ (statement)

History

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

NGHXZ07MDA NGHXZ07MDA

URI	`m2://inv/NGHXZ07MDA`
Kind	definition
Layer	research
MSC	46-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 2510.01873#W2YN (definition). In FVZZDPEYNM/e1, definition 4.2
arxiv: arXiv 2609.23167#HSJJ (definition)

History

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

Definition NGHY33TDC1

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

Mentions

wikipedia: Wikipedia Wiener process#PDNJ, Definition (definition)

History

2026-11-02: add by m2/dev

NGHZ37YN8M NGHZ37YN8M

URI	`m2://inv/NGHZ37YN8M`
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.03222#W1QQ (statement). In BB0JGNK4YF/e1, theorem 3.1

History

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

NGJ351J3RS NGJ351J3RS

URI	`m2://inv/NGJ351J3RS`
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.15421#6AY4 (statement). In 3RBKH0DA74/e1, corollary 2.5

History

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

NGJ4FW6D7V NGJ4FW6D7V

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

Mentions

arxiv: arXiv 2609.34856#44E8 (statement). In MRR92GQNZE/e1, proposition 5.7

History

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

Beulah Armstrong NGJCS018ME

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

Mentions

wikipedia: Wikipedia Beulah Armstrong, Beulah Armstrong (topic). Also Wikidata Q93422080

History

2026-11-02: add by m2/dev

Cliodynamics NGJG1VGE7P

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

Mentions

wikipedia: Wikipedia Cliodynamics, Cliodynamics (definition). Also Wikidata Q766002

History

2026-11-02: add by m2/dev

Differentially private analysis of graphs NGJK4XJSM1

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

Mentions

wikipedia: Wikipedia Differentially private analysis of graphs, Differentially private analysis of graphs (definition). Also Wikidata Q65057618

History

2026-11-02: add by m2/dev

NGJKWPB6VB NGJKWPB6VB

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

Mentions

austin_ula: austin_ula src/section7-2.xml#preview-quadforms (exercise). In 649HGZKE96, exploration, section 7.2.1

History

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

NGJSCR32AV NGJSCR32AV

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

Mentions

arxiv: arXiv 2610.06556#7XU3 (definition). In KW8C7VE9XR/e1, definition 25

History

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

*{Definition 12.1 NGJTA29E80

URI	`m2://inv/NGJTA29E80`
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 2609.27518#8HEJ, *{Definition 12.1 (definition)

History

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

NGJY7QRSHG NGJY7QRSHG

URI	`m2://inv/NGJY7QRSHG`
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.05354#SN0R (statement). In TZ5BMDXRQZ/e1, fact 5.4

History

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

circuit NGK3XT6X6H

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#495I, circuit (definition)

History

2026-11-02: add by m2/dev

Emptiness over $\R$ is not $1\in\Ical$ NGKAFGDGPF

URI	`m2://inv/NGKAFGDGPF`
Kind	statement
Layer	research
MSC	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 2609.27966#GBPD, Emptiness over $\R$ is not $1\in\Ical$ (statement)

History

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

Giuseppe Suzzi NGKG0F1XKS

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

Mentions

wikipedia: Wikipedia Giuseppe Suzzi, Giuseppe Suzzi (topic). Also Wikidata Q20140435

History

2026-11-02: add by m2/dev

Amedeo Agostini NGKJMQRXB8

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

Mentions

wikipedia: Wikipedia Amedeo Agostini, Amedeo Agostini (topic). Also Wikidata Q3613870

History

2026-11-02: add by m2/dev

University of Madras NGKQ5H2FXY

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

Mentions

wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#6L7C, University of Madras (unknown)

History

2026-11-02: add by m2/dev

NGKTNE6NRS NGKTNE6NRS

URI	`m2://inv/NGKTNE6NRS`
Kind	definition
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 1809.06512#E7D2 (definition). In RY2X22P6XW/e1, definition 21

History

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

NGM2RZ4JSX NGM2RZ4JSX

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

Mentions

hott_book: hott_book categories.tex#proof-28 (proof). In N54F33XE07, proof, section 2.9

History

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

NGM41YN9DA NGM41YN9DA

URI	`m2://inv/NGM41YN9DA`
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.12817#FX07 (statement). In FPSGZ5S6YF/e1, theorem 2.5

History

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

SASTRA Ramanujan Prize NGM5W5KDQP

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

Mentions

wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#NQMP, SASTRA Ramanujan Prize (unknown)

History

2026-11-02: add by m2/dev

Linear span NGMDG14Z9M

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#LTJH, Linear span (definition)

History

2026-11-02: add by m2/dev

NGMEGPC9XV NGMEGPC9XV

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

Mentions

hott_book: hott_book categories.tex#proof-8 (proof). In N54F33XE07, proof, section 2.2

History

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

762 (number) NGMG21RJTF

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

Mentions

wikipedia: Wikipedia 700 (number)#YQBF, 762 (number) (unknown)

History

2026-11-02: add by m2/dev

NGMM6FBQRF NGMM6FBQRF

URI	`m2://inv/NGMM6FBQRF`
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 2508.19709#IWLC (statement). In 57PQWSSZMY/e1, lemma 5.2

History

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

David J. Thomson NGMMY20VVQ

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

Mentions

wikipedia: Wikipedia David J. Thomson, David J. Thomson (topic). Also Wikidata Q5235506

History

2026-11-02: add by m2/dev

Marchenko–Pastur distribution NGN8V72TNB

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

Mentions

wikipedia: Wikipedia List of probability distributions#P724, Marchenko–Pastur distribution (definition)

History

2026-11-02: add by m2/dev

NGN99YE09K NGN99YE09K

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 58.4

History

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

Examples NGNC493EZA

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

Mentions

wikipedia: Wikipedia Non-associative algebra#KXLQ, Examples (example)

History

2026-11-02: add by m2/dev

Logistic function NGNGYV07ZC

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

Mentions

wikipedia: Wikipedia Logistic function, Logistic function (definition). Also Wikidata Q1052379

History

2026-11-02: add by m2/dev

Local and Asymptotic Stability NGNPDGZNVF

URI	`m2://inv/NGNPDGZNVF`
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.17604#0V2C, Local and Asymptotic Stability (definition). In CZNRSB168G/e1, definition 1

History

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

Primitive root modulo n NGP3FC55RB

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

Mentions

wikipedia: Wikipedia List of number theory topics#S5X4, Primitive root modulo n (definition)

History

2026-11-02: add by m2/dev

NGP8S8VC0J NGP8S8VC0J

URI	`m2://inv/NGP8S8VC0J`
Kind	statement
Layer	research
MSC	37-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 2607.25960#686Q (statement). In 13GSWBXPCM/e1, theorem 1.6

History

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

Russell Leong NGPECSXTQN

URI	`m2://inv/NGPECSXTQN`
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#CYD7, Russell Leong (unknown)

History

2026-11-02: add by m2/dev

Si Phraya NGPFPVMS4Q

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

Mentions

wikipedia: Wikipedia List of places with numeric names#5TXK, Si Phraya (unknown)

History

2026-11-02: add by m2/dev

Triacontagon NGPKFGG3HG

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#2N5E, Triacontagon (definition)

History

2026-11-02: add by m2/dev

Martin Rocek NGPMHKWWPC

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

Mentions

wikipedia: Wikipedia List of string theory topics#O7I4, Martin Rocek (unknown)

History

2026-11-02: add by m2/dev

Properties NGPRN4GAVF

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

Mentions

wikipedia: Wikipedia Regularly ordered#J1EU, Properties (statement)

History

2026-11-02: add by m2/dev

NGPRZHTD1C NGPRZHTD1C

URI	`m2://inv/NGPRZHTD1C`
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#W9JV (statement). In JPC86V77CH/e1, theorem 5.1

History

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

NGQ7V8NDHN NGQ7V8NDHN

URI	`m2://inv/NGQ7V8NDHN`
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#W1NP (statement). In FV78KV64B9/e1, theorem 7.2

History

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

Tensegrity icosahedron NGQB30QRJS

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

Mentions

wikipedia: Wikipedia Tensegrity#YMPK, Tensegrity icosahedron (unknown)

History

2026-11-02: add by m2/dev

Ambient and correspondence definitions, \mycite{Chapter 7}{BBI NGQFRJ0ZSJ

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

Mentions

arxiv: arXiv 2610.17400#NTF5, Ambient and correspondence definitions, \mycite{Chapter 7}{BBI (statement). In 8VDXGR4SVD/e1, lemma 2.4

History

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

NGQGN51S0V NGQGN51S0V

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

Mentions

arxiv: arXiv 2609.03601#XGM4 (statement). In F7TDYCHCSE/e1, lemma 5.9

History

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

NGQHHA7QWT NGQHHA7QWT

URI	`m2://inv/NGQHHA7QWT`
Kind	example
Layer	research
MSC	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 2609.25188#ATM8 (example)

History

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

Spin(7)-manifold NGQHZMJ0WM

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

Mentions

wikipedia: Wikipedia Spin(7)-manifold, Spin(7)-manifold (definition). Also Wikidata Q7577346

History

2026-11-02: add by m2/dev

Improved Ball-Box Theorem NGQK0DYKCE

URI	`m2://inv/NGQK0DYKCE`
Kind	statement
Layer	research
MSC	20-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 2503.00560#5JDS, Improved Ball-Box Theorem (statement). In KH1H3TSWPS/e1, corollary 3.2

History

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

NGR2PFM722 NGR2PFM722

URI	`m2://inv/NGR2PFM722`
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.16060#WVZI (statement). In X0BTF9HPGM/e1, lemma 3.13

History

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

NGR5CZ6JMH NGR5CZ6JMH

URI	`m2://inv/NGR5CZ6JMH`
Kind	statement
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#DZTR (statement). In 9DQKY7KGE8/e1, proposition 4.13

History

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

Hodge bundle NGRHSGYCZR

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

Mentions

wikidata: Wikidata Q5876053, Hodge bundle (concept). Also nLab Hodge bundle
wikipedia: Wikipedia Hodge bundle, Hodge bundle (definition). Also Wikidata Q5876053

History

2026-10-26: add by m2/dev

NGRM1JEGTB NGRM1JEGTB

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

Mentions

arxiv: arXiv 1512.06981#F4FN (statement). In X923ZEY423/e1, proposition 1.2.3

History

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

Harish-Chandra's Schwartz space NGRMCC0TQK

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

Mentions

wikipedia: Wikipedia Harish-Chandra's Schwartz space, Harish-Chandra's Schwartz space (definition). Also Wikidata Q17021083

History

2026-11-02: add by m2/dev

Yff central circle NGRYYTNNSC

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

Mentions

wikipedia: Wikipedia Yff center of congruence#ZG60, Yff central circle (unknown)

History

2026-11-02: add by m2/dev

NGS0V0R3DD NGS0V0R3DD

URI	`m2://inv/NGS0V0R3DD`
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 2310.09889#U20B (statement). In BMNZKPSC48/e1, theorem 2

History

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

Statement NGS1FKVXK5

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

Mentions

wikipedia: Wikipedia Ignatov's theorem#9FZ3, Statement (statement)

History

2026-11-02: add by m2/dev

Definition NGS4XQMPHT

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

Mentions

wikipedia: Wikipedia Moyal product#KQ7M, Definition (definition)

History

2026-11-02: add by m2/dev

Tadeusz Kotarbiński NGS7NDGXS2

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

Mentions

wikipedia: Wikipedia Tadeusz Kotarbiński, Tadeusz Kotarbiński (topic). Also Wikidata Q714839

History

2026-11-02: add by m2/dev

Construction NGS97PKHFF

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

Mentions

wikipedia: Wikipedia 3 21 polytope#ICTD, Construction (definition)

History

2026-11-02: add by m2/dev

Riemannian foliation NGSB8139G6

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#D3FO, Riemannian foliation (unknown)

History

2026-11-02: add by m2/dev

Polynomial greatest common divisor NGSEKHR9ZK

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

Mentions

wikipedia: Wikipedia Polynomial greatest common divisor, Polynomial greatest common divisor (definition). Also Wikidata Q7226640

History

2026-11-02: add by m2/dev

‡ NGSKNHVBX6

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

Mentions

wikidata: Wikidata Q87523318, ‡ (unknown). Also MathWorld DoubleDagger

History

2026-10-26: add by m2/dev

NGSN9SZCEB NGSN9SZCEB

URI	`m2://inv/NGSN9SZCEB`
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.08193#7GBR (statement). In 8XAKGH8S2D/e1, corollary 3.20

History

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

powers of 2 NGSRJN550H

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

Mentions

levin_dmoi: levin_dmoi index/3.1/powers-of-2, powers of 2 (concept). In Y91XFCEVHQ, index, section 3.1

History

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

Brill's theorem NGSVMPFMPS

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

Mentions

wikipedia: Wikipedia Discriminant of an algebraic number field#UE9B, Brill's theorem (unknown)

History

2026-11-02: add by m2/dev

NGSW4JG9M9 NGSW4JG9M9

URI	`m2://inv/NGSW4JG9M9`
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#66WK (statement). In E7W2HDNEKJ/e1, theorem 7.18

History

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

NGSWZG097G NGSWZG097G

URI	`m2://inv/NGSWZG097G`
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.05184#DA7J (statement). In JK425E1F77/e1, theorem 1.1

History

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

NGSYVCVF19 NGSYVCVF19

URI	`m2://inv/NGSYVCVF19`
Kind	definition
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.16931#LL1S (definition). In H7DMRWBBJN/e1, definition 2.1

History

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

Reduction to $k=1$ by blocks NGT0PXHJYM

URI	`m2://inv/NGT0PXHJYM`
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#WCF3, Reduction to $k=1$ by blocks (statement)

History

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

Trevor Evans NGT1MA9RP5

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

Mentions

wikipedia: Wikipedia Trevor Evans (mathematician), Trevor Evans (topic). Also Wikidata Q102114107

History

2026-11-02: add by m2/dev

Methods NGT85119YN

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

Mentions

wikipedia: Wikipedia Multicriteria classification#NYKT, Methods (definition)

History

2026-11-02: add by m2/dev

Forum Research NGT8TXGR4N

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

Mentions

wikipedia: Wikipedia List of polling organizations#ONO0, Forum Research (unknown)

History

2026-11-02: add by m2/dev

Remark NGTBJ1HQJ0

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

Mentions

wikipedia: Wikipedia Artin transfer (group theory)#ZK2J, Remark (unknown)

History

2026-11-02: add by m2/dev

Formulation NGTC4CFK2V

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

Mentions

wikipedia: Wikipedia Cobordism hypothesis#HG44, Formulation (definition)

History

2026-11-02: add by m2/dev

Examples NGTGVHTZ6R

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

Mentions

wikipedia: Wikipedia Phase-space formulation#WT6Q, Examples (example)

History

2026-11-02: add by m2/dev

NGTHY0ZAXY NGTHY0ZAXY

URI	`m2://inv/NGTHY0ZAXY`
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.26386#I228 (statement)

History

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

NGTKBTCSNH NGTKBTCSNH

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#defn-6 (definition). In E59CDZA4DP, defn, section 2.4.3

History

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

NGTNJJ59EN NGTNJJ59EN

URI	`m2://inv/NGTNJJ59EN`
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 2311.01874#XB2U (statement). In A4TR95VGX2/e1, proposition 13

History

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

Reciprocity laws NGTP1QT0QX

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

Mentions

wikipedia: Wikipedia Algebraic number theory#QQHP, Reciprocity laws (statement)

History

2026-11-02: add by m2/dev

NGTWCPW2GA NGTWCPW2GA

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

Mentions

arxiv: arXiv 2610.19437#LVXO (statement). In 9PXXGQ978Z/e1, lemma 4.14

History

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

NGTWEZAN72 NGTWEZAN72

URI	`m2://inv/NGTWEZAN72`
Kind	unknown
Layer	research
MSC	11-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2205.15365#LE0M (unknown). In R2XC1SC9NZ/e1, unknown 31

History

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

NGTZD7JA2X NGTZD7JA2X

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

Mentions

arxiv: arXiv 2609.31276#EASO (statement). In WYDHWYFRFK/e1, proposition 5.1

History

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

Binomial ring NGV5S9JPVV

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

Mentions

wikipedia: Wikipedia Binomial ring, Binomial ring (definition). Also Wikidata Q4914495

History

2026-11-02: add by m2/dev

Peter Topping NGV7E700SH

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

Mentions

wikipedia: Wikipedia Peter Topping, Peter Topping (topic). Also Wikidata Q7177353

History

2026-11-02: add by m2/dev

The source and target Frobenius categories NGVJ5P1N21

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

Mentions

arxiv: arXiv 2609.30637#A9LH, The source and target Frobenius categories (definition). In 6G1KBA0SXV/e1, definition 3.22

History

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

NGVKE021KK NGVKE021KK

URI	`m2://inv/NGVKE021KK`
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.29521#ZS3O (statement)

History

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

Frank Morley NGVNV9EK50

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

Mentions

wikipedia: Wikipedia Frank Morley, Frank Morley (topic). Also Wikidata Q1384903

History

2026-11-02: add by m2/dev

NGVTM1CD4X NGVTM1CD4X

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-11 (exercise). In QKM9DD2H56, exercise, section 5

History

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

Damped harmonic oscillator NGWA28J00H

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

Mentions

wikipedia: Wikipedia Harmonic oscillator#BB51, Damped harmonic oscillator (unknown)

History

2026-11-02: add by m2/dev

Surface fitting NGWV3BNVNF

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

Mentions

wikipedia: Wikipedia Curve fitting#9HG3, Surface fitting (unknown)

History

2026-11-02: add by m2/dev

NGWXM2QP8F NGWXM2QP8F

URI	`m2://inv/NGWXM2QP8F`
Kind	example
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 2311.01874#TH58 (example). In A4TR95VGX2/e1, example 2

History

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

EBRW NGX2HGG456

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

Mentions

wikipedia: Wikipedia SAT#X8F3, EBRW (unknown)

History

2026-11-02: add by m2/dev

Matrix-free methods NGX9B4GGKF

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

Mentions

wikipedia: Wikipedia Matrix-free methods, Matrix-free methods (definition). Also Wikidata Q4080929

History

2026-11-02: add by m2/dev

NGXBB5NVD4 NGXBB5NVD4

URI	`m2://inv/NGXBB5NVD4`
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#NP8P (statement). In ACFC6XHAMQ/e1, lemma 14

History

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

Covering lemma NGXQW5T6PD

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

Mentions

wikipedia: Wikipedia Calderón–Zygmund lemma#BT5Z, Covering lemma (statement)

History

2026-11-02: add by m2/dev

NGXV413H63 NGXV413H63

URI	`m2://inv/NGXV413H63`
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 2011.06637#ZFBC (statement). In KFCJ5CFP3G/e1, lemma 4.1

History

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

NGXV501GHG NGXV501GHG

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/representable-comp.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 30.1

History

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

Application NGYASXNAQA

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

Mentions

wikipedia: Wikipedia Gender Parity Index#2SCC, Application (example)

History

2026-11-02: add by m2/dev

NGYE5NJG4Y NGYE5NJG4Y

URI	`m2://inv/NGYE5NJG4Y`
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.07855#TL1I (statement). In 1VT8CVVCM7/e1, lemma 4.2

History

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

Ysabel Jurado NGYEA21H65

URI	`m2://inv/NGYEA21H65`
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#5KI0, Ysabel Jurado (unknown)

History

2026-11-02: add by m2/dev

NGYMN1ADNW NGYMN1ADNW

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#exercise-24 (exercise). In E59CDZA4DP, exercise, section 8.3.4

History

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

Três Ranchos NGYPH15MHD

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

Mentions

wikipedia: Wikipedia List of places with numeric names#TGXP, Três Ranchos (unknown)

History

2026-11-02: add by m2/dev

NGYR304FP6 NGYR304FP6

URI	`m2://inv/NGYR304FP6`
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.15525#49YX (statement). In EFDRME13PT/e1, theorem 9.2

History

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

Offline private key protocol NGYSS7D3HN

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

Mentions

wikipedia: Wikipedia Offline private key protocol, Offline private key protocol (definition). Also Wikidata Q7079639

History

2026-11-02: add by m2/dev

Choi–Williams distribution function NGYSV4DWW5

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

Mentions

wikipedia: Wikipedia Choi–Williams distribution function, Choi–Williams distribution function (definition). Also Wikidata Q5104099

History

2026-11-02: add by m2/dev

Construction NGZ3X933KF

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

Mentions

wikipedia: Wikipedia Homology sphere#UKL9, Construction (definition)

History

2026-11-02: add by m2/dev

Émile Léonard Mathieu NGZ7TY4FGM

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

Mentions

wikidata: Wikidata Q286161, Émile Léonard Mathieu (unknown). Also ProofWiki Mathematician:Émile_Léonard_Mathieu
wikipedia: Wikipedia Émile Léonard Mathieu, Émile Léonard Mathieu (topic). Also Wikidata Q286161

History

2026-10-26: add by m2/dev

NGZ809E378 NGZ809E378

URI	`m2://inv/NGZ809E378`
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 1011.1990#NSSH (statement). In GV0JBN5DWQ/e1, theorem D.1

History

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

NGZBJE6FYG NGZBJE6FYG

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#mv:ex1 (exercise). In E9HS8K3A52, exercise, section 6.4.4

History

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

Construction NGZKZFWD9D

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

Mentions

wikipedia: Wikipedia 3D4#GHSK, Construction (definition)

History

2026-11-02: add by m2/dev

Implementations NGZRTMQ9P0

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

Mentions

wikipedia: Wikipedia Nested sampling algorithm#W80Y, Implementations (definition)

History

2026-11-02: add by m2/dev

NGZVZ1ANRH NGZVZ1ANRH

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

Mentions

hott_book: hott_book equivalences.tex#proof-31 (proof). In N54F33XE07, proof, section 3.9

History

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

Properties NG060TWBY4

Mentions

History

Archimedean solid NG07SK0S5N

Mentions

History

François Cosserat NG08V384VR

Mentions

History

Yakov Vilner NG0CSK07YF

Mentions

History

Tiger JK NG0EE9M3Z7

Mentions

History

Dissipative Bose--Hubbard NG0GHFY27P

Mentions

History

Swap test NG0N7D3K1T

Mentions

History

currying NG12D2PKBF

Mentions

History

Nilpotency criterion NG14CRDFF8

Mentions

History

NG14J2ZCRW NG14J2ZCRW

Mentions

History

NG1H7MWWA7 NG1H7MWWA7

Mentions

History

Lynn Eberly NG1PYN8WK8

Mentions

History

affine Grassmannian NG1WAHYV8T

Mentions

History

NG213C0TTZ NG213C0TTZ

Mentions

History

NG25W0VA7M NG25W0VA7M

Mentions

History

NG2B0QJ12N NG2B0QJ12N

Mentions

History

Cohomology and Noether's theorems NG2ER09KPG

Mentions

History

NG2H7F9D2G NG2H7F9D2G

Mentions

History

Mumford measure NG2YNTRTR2

Mentions

History

Joan Hutchinson NG2ZWGSP1E

Mentions

History

$*$-locality, $*$-extensivity NG334J64AY

Mentions

History

NG34EG3V0E NG34EG3V0E

Mentions

History

Two-diagonal form of the prescribed matrix NG3RJTEA5R

Mentions

History

Victoria Lebed NG3T91Q0PP

Mentions

History

NG3TNY8HS8 NG3TNY8HS8

Mentions

History

Finite-jet families NG3YG5NTJH

Mentions

History

Polarizer NG46ZT4SA9

Mentions

$$-locality, $$-extensivity NG334J64AY