Inventory rows WM

primitive nth root of unity WM039KCYNA

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

Mentions

wikidata: Wikidata Q4349566, primitive nth root of unity (unknown). Also MathWorld PrimitiveRootofUnity

History

2026-10-26: add by m2/dev

Categorical proposition WM05RZNMNM

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

Mentions

wikipedia: Wikipedia Categorical proposition, Categorical proposition (statement). Also Wikidata Q1735817

History

2026-11-02: add by m2/dev

Darboux's theorem WM09RTRN2N

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

Mentions

wikipedia: Wikipedia List of theorems#ORXG, Darboux's theorem (statement)

History

2026-11-02: add by m2/dev

George W. Hart WM0AP0T7SD

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JS8P, George W. Hart (unknown)

History

2026-11-02: add by m2/dev

Spherical lens WM0BHMG840

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

Mentions

wikipedia: Wikipedia List of solids derived from the sphere#2BNX, Spherical lens (unknown)

History

2026-11-02: add by m2/dev

WM0CMGKA4N WM0CMGKA4N

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

Mentions

napkin: napkin tex/linalg/transpose.tex#def:hermitian (definition). In RZP28ERRZV, definition, section 61.5

History

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

WM0TF80GVC WM0TF80GVC

URI	`m2://inv/WM0TF80GVC`
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 math/9902147#V2WI (statement). In 7CK21JGM5A/e1, corollary 3.18

History

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

WM0TKWMTS0 WM0TKWMTS0

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

Mentions

arxiv: arXiv 2609.22825#L906 (statement)

History

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

Euclidean action groupoid WM0VJT4DVD

URI	`m2://inv/WM0VJT4DVD`
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.25987#Q4FT, Euclidean action groupoid (statement)

History

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

WM0XBPC0CT WM0XBPC0CT

URI	`m2://inv/WM0XBPC0CT`
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 2610.19854#OQP2 (statement). In D50WST4CG3/e1, theorem 3.10

History

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

WM17XDRQ3M WM17XDRQ3M

URI	`m2://inv/WM17XDRQ3M`
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.03628#98Z9 (statement). In P8KT6JV9N1/e1, theorem 6.1

History

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

WM19ES3BX7 WM19ES3BX7

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

Mentions

arxiv: arXiv 2609.31104#88W3 (statement). In 67NFPNF39Y/e1, proposition 2.4

History

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

Mixing for rough spherical velocity diffusion WM1G6WD6XY

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

Mentions

arxiv: arXiv 2610.03083#ZNN7, Mixing for rough spherical velocity diffusion (statement). In C71DZH5GBJ/e1, theorem 1.4

History

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

generating function WM1GYHVNPT

URI	`m2://inv/WM1GYHVNPT`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Generating function 0HH6JX5WZZ

Mentions

wikidata: Wikidata Q860609, generating function (unknown). Also EoM Generating_function, MathWorld GeneratingFunction, nLab generating function
wikipedia: Wikipedia Generating function, Generating function (definition). Also Wikidata Q860609

History

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

Rudolf E. Kálmán WM1MXSRD43

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JOU0, Rudolf E. Kálmán (unknown)

History

2026-11-02: add by m2/dev

WM1Y9CRWH5 WM1Y9CRWH5

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

Mentions

arxiv: arXiv 2609.32535#3QY4 (statement). In WF27F8CKD2/e1, lemma 2.6

History

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

WM24EVJCX8 WM24EVJCX8

URI	`m2://inv/WM24EVJCX8`
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#VMIU (definition)

History

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

WM2DHH4SGC WM2DHH4SGC

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

Mentions

arxiv: arXiv 2609.24465#HONO (statement)

History

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

WM2GN9G37S WM2GN9G37S

URI	`m2://inv/WM2GN9G37S`
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.01433#HPPP (definition). In 160PQ7F1AS/e1, definition 3.1

History

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

WM2KYRNQPR WM2KYRNQPR

URI	`m2://inv/WM2KYRNQPR`
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 2609.20514#PYGN (statement)

History

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

Exact complex-disk certificate WM2RHW6NME

URI	`m2://inv/WM2RHW6NME`
Kind	statement
Layer	research
MSC	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.25027#N0H6, Exact complex-disk certificate (statement)

History

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

WM31NQR0S6 WM31NQR0S6

URI	`m2://inv/WM31NQR0S6`
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.20391#6WI5 (statement). In CTAS41TRM2/e1, lemma A.1

History

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

WM3504MA0H WM3504MA0H

URI	`m2://inv/WM3504MA0H`
Kind	problem
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.16555#LGTO (problem). In WZA3H0WD16/e1, problem

History

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

WM36SCTYGM WM36SCTYGM

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

Mentions

napkin: napkin tex/alg-geom/zariski.tex#definition-2 (definition). In RZP28ERRZV, definition, section 29.3

History

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

WM36W47ACT WM36W47ACT

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

Mentions

arxiv: arXiv 2610.04466#OZ39 (statement). In EHW82CK883/e1, proposition 4.10

History

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

WM3YN9T8ZZ WM3YN9T8ZZ

URI	`m2://inv/WM3YN9T8ZZ`
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 2309.16041#JA6H (statement). In 2GD6NWJVRM/e1, lemma 4.8

History

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

WM3YSAE2N9 WM3YSAE2N9

URI	`m2://inv/WM3YSAE2N9`
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.17817#OORO (statement). In M8TSJ24RC2/e1, theorem 1.2

History

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

Halting problem WM41PPGFNC

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#4MYB, Halting problem (problem)
wikipedia: Wikipedia List of computability and complexity topics#MDEG, Halting problem (problem)

History

2026-11-02: add by m2/dev

A local boundedness estimate WM435RJXE8

URI	`m2://inv/WM435RJXE8`
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.19908#NL0M, A local boundedness estimate (statement). In AS5GND6D32/e1, lemma 4

History

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

Example WM454RY1CG

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

Mentions

wikipedia: Wikipedia Alphamagic square#9G3M, Example (example)

History

2026-11-02: add by m2/dev

Multiscale Green's function WM487207SS

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

Mentions

wikipedia: Wikipedia Multiscale Green's function, Multiscale Green's function (definition). Also Wikidata Q28456383

History

2026-11-02: add by m2/dev

WM4AEJCWW6 WM4AEJCWW6

URI	`m2://inv/WM4AEJCWW6`
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 2609.28357#5MR6 (definition)

History

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

Formulation of the theorems WM4CXWWG0Z

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

Mentions

wikipedia: Wikipedia Krylov–Bogolyubov theorem#F5ZK, Formulation of the theorems (statement)

History

2026-11-02: add by m2/dev

Boundary and stationary-point estimates WM4H9EBQ8X

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

Mentions

arxiv: arXiv 2609.24931#SRJK, Boundary and stationary-point estimates (statement)

History

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

WM4P7R8KQX WM4P7R8KQX

URI	`m2://inv/WM4P7R8KQX`
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.03520#S2YC (statement). In CSRZ9CWK69/e1, lemma 8.5

History

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

WM4PH9BBQS WM4PH9BBQS

URI	`m2://inv/WM4PH9BBQS`
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.32104#W04G (statement). In YRJSYFXNM8/e1, theorem 1.2

History

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

Sub-distance property WM4RAWP2N9

URI	`m2://inv/WM4RAWP2N9`
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.05867#RZYI, Sub-distance property (statement). In E2TP3AKTNV/e1, theorem 3

History

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

Hans Rademacher WM4S8Z155J

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#5Y99, Hans Rademacher (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7WII, Hans Rademacher (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BI0A, Hans Rademacher (topic)

History

2026-11-02: add by m2/dev

WM4SHSF60J WM4SHSF60J

URI	`m2://inv/WM4SHSF60J`
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 2606.00589#Q68M (statement). In C8JAGP8VCQ/e1, lemma 9.3

History

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

WM5403SYHE WM5403SYHE

URI	`m2://inv/WM5403SYHE`
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 2609.33469#AJWK (statement). In TC5QA4AB4Z/e1, corollary 4.40

History

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

First variation of area formula WM57ZV7H6X

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

Mentions

wikipedia: Wikipedia First variation of area formula, First variation of area formula (statement). Also Wikidata Q5454260

History

2026-11-02: add by m2/dev

Blanca WM588YPGR5

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#2IU3, Blanca (unknown)

History

2026-11-02: add by m2/dev

equilibrium solution WM5A92AP01

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

Mentions

lebl_diffyqs: lebl_diffyqs index/8.1.1/equilibrium-solution, equilibrium solution (concept). In E9HS8K3A52, index, section 8.1.1

History

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

WM5J96T7SG WM5J96T7SG

URI	`m2://inv/WM5J96T7SG`
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.39104#F2QX (statement). In V2NTW27MSJ/e1, theorem 2.19

History

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

Anthony Fedorov WM5K581ZE7

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#ENCM, Anthony Fedorov (unknown)

History

2026-11-02: add by m2/dev

Excluded point topology WM5NN1ZFV3

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

Mentions

wikipedia: Wikipedia Excluded point topology, Excluded point topology (definition). Also Wikidata Q5419668

History

2026-11-02: add by m2/dev

Eells–Kuiper manifold WM5QNTMW7T

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

Mentions

wikipedia: Wikipedia Eells–Kuiper manifold, Eells–Kuiper manifold (definition). Also Wikidata Q4298888

History

2026-11-02: add by m2/dev

WM5RNMFV2N WM5RNMFV2N

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

Mentions

arxiv: arXiv 2609.22784#N85O (definition)

History

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

Partition function WM5RXZPG5G

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

Mentions

wikipedia: Wikipedia Partition function (mathematics), Partition function (definition). Also Wikidata Q7140635

History

2026-11-02: add by m2/dev

West African Ebola virus epidemic timeline of reported cases and deaths WM5ZNT7EH6

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

Mentions

wikipedia: Wikipedia West African Ebola virus epidemic timeline of reported cases and deaths, West African Ebola virus epidemic timeline of reported cases and deaths (definition). Also Wikidata Q21012048

History

2026-11-02: add by m2/dev

Newton da Costa WM632PV2EN

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

Mentions

wikipedia: Wikipedia List of logicians#LG44, Newton da Costa (topic)

History

2026-11-02: add by m2/dev

Axiom of Pasch WM63FSY9PT

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

Mentions

wikipedia: Wikipedia Tarski's axioms#KH1K, Axiom of Pasch (statement)

History

2026-11-02: add by m2/dev

Carnot's theorem WM68G28DAB

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

Mentions

wikipedia: Wikipedia Carnot's theorem (perpendiculars), Carnot's theorem (statement). Also Wikidata Q62913479

History

2026-11-02: add by m2/dev

WM68N1QMQ1 WM68N1QMQ1

URI	`m2://inv/WM68N1QMQ1`
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.10078#6WPA (statement). In YVGRZK1HRS/e1, proposition 3.1

History

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

The Geometry of an Art WM69FNV5DN

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

Mentions

wikipedia: Wikipedia The Geometry of an Art, The Geometry of an Art (definition). Also Wikidata Q106610047

History

2026-11-02: add by m2/dev

Ham sandwich theorem WM6HQMWR10

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

Mentions

wikipedia: Wikipedia List of theorems#2MQJ, Ham sandwich theorem (statement)

History

2026-11-02: add by m2/dev

WM6PKAKC53 WM6PKAKC53

URI	`m2://inv/WM6PKAKC53`
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 math/9802134#SDHV (statement). In 235B1J1ETB/e1, lemma 3.9

History

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

Loop braid group WM6WY3S1R6

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

Mentions

wikipedia: Wikipedia Loop braid group, Loop braid group (definition). Also Wikidata Q17098636

History

2026-11-02: add by m2/dev

WM6ZRGZXH8 WM6ZRGZXH8

URI	`m2://inv/WM6ZRGZXH8`
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#B3NB (statement). In R03K2N7FRF/e1, theorem 3.5

History

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

valuation WM703YYCYV

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

Mentions

wikipedia: Wikipedia Glossary of number theory#KAW3, valuation (definition)

History

2026-11-02: add by m2/dev

WM74DDEPVH WM74DDEPVH

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

Mentions

arxiv: arXiv 2609.34289#KASW (statement). In 9RBATD2Z1F/e1, corollary 4.4

History

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

Arakelov height WM7DWJW87Y

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

Mentions

wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#FT8H, Arakelov height (definition)

History

2026-11-02: add by m2/dev

FIPS 140-2 Level 1 WM7E9875XF

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

Mentions

wikipedia: Wikipedia FIPS 140-2#ZOOZ, FIPS 140-2 Level 1 (unknown)

History

2026-11-02: add by m2/dev

Isochron WM7GM1H5X8

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

Mentions

wikipedia: Wikipedia Isochron, Isochron (definition). Also Wikidata Q17098413

History

2026-11-02: add by m2/dev

WM7K6MPDFT WM7K6MPDFT

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

Mentions

arxiv: arXiv 2610.07828#LD87 (statement). In TWGMVT1N1G/e1, theorem 9.6

History

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

André Gérardin WM7RDNRE7H

URI	`m2://inv/WM7RDNRE7H`
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#0Q5V, André Gérardin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9U3U, André Gérardin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DYCG, André Gérardin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J6E7, André Gérardin (topic)

History

2026-11-02: add by m2/dev

Exact statistics WM7ZPP3Z7G

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

Mentions

wikipedia: Wikipedia Exact statistics, Exact statistics (definition). Also Wikidata Q5419224

History

2026-11-02: add by m2/dev

Gil Kalai WM87M3AD8Z

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

Mentions

wikipedia: Wikipedia Gil Kalai, Gil Kalai (topic). Also Wikidata Q92816

History

2026-11-02: add by m2/dev

Euler's theorem WM8CQJ0Y6C

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

Mentions

wikipedia: Wikipedia Euler's totient function#Q5UB, Euler's theorem (statement)

History

2026-11-02: add by m2/dev

Lorentzian manifold WM8T7C2KWZ

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

Mentions

wikidata: Wikidata Q1666609, Lorentzian manifold (unknown). Also MathWorld LorentzianManifold

History

2026-10-26: add by m2/dev

WM8TDZ31BK WM8TDZ31BK

URI	`m2://inv/WM8TDZ31BK`
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.24845#7OD9 (definition)

History

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

ANOVA on ranks WM8VJ1ABD9

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

Mentions

wikipedia: Wikipedia ANOVA on ranks, ANOVA on ranks (definition). Also Wikidata Q17002209

History

2026-11-02: add by m2/dev

WM8Z8FC9DA WM8Z8FC9DA

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

Mentions

arxiv: arXiv 2402.17852#LEAV (statement). In 1WCXV5PVZA/e1, theorem 4.9

History

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

Cryptography Research WM90X5D6TC

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

Mentions

wikipedia: Wikipedia Cryptography Research, Cryptography Research (definition). Also Wikidata Q4036730

History

2026-11-02: add by m2/dev

Spectrogram WM92DKKJXY

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

Mentions

wikipedia: Wikipedia Spectrogram, Spectrogram (definition). Also Wikidata Q578970

History

2026-11-02: add by m2/dev

WM97G8RXH0 WM97G8RXH0

URI	`m2://inv/WM97G8RXH0`
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.31274#QDQQ (statement). In RK0ZMDJ23T/e1, lemma 1.1.15

History

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

WM9H7ZS4VN WM9H7ZS4VN

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#ex:relation on finite (example). In P1C114YBXG, example, section H

History

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

WM9KDWXYPJ WM9KDWXYPJ

URI	`m2://inv/WM9KDWXYPJ`
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.06108#Y5Z4 (statement). In D3WKY1PW64/e1, lemma 3.18

History

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

WM9PEKZG37 WM9PEKZG37

URI	`m2://inv/WM9PEKZG37`
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.25129#I981 (statement)

History

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

WM9VZTAZT5 WM9VZTAZT5

URI	`m2://inv/WM9VZTAZT5`
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 1009.2043#NJF3 (statement). In 7DCNHRBK5A/e1, theorem 6.2

History

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

Chain rule WM9W0K8Z9H

URI	`m2://inv/WM9W0K8Z9H`
Kind	statement
Layer	research
MSC	35-XX, 46-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 2610.21775#ZM9U, Chain rule (statement). In KM3Q791JY0/e1, theorem 3.33

History

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

WMA3TS0632 WMA3TS0632

URI	`m2://inv/WMA3TS0632`
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.40017#AW10 (statement). In MBHJA0HT06/e1, proposition 2.1

History

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

Adapted-clock occupation estimate WMA6GSZYQK

URI	`m2://inv/WMA6GSZYQK`
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.33154#BLP4, Adapted-clock occupation estimate (statement). In N28DEYRBW7/e1, lemma H.1

History

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

The ridge-density clause of $\mathsf W_{\mathrm{pd}}$ is load-bearing WMACVYNY4D

URI	`m2://inv/WMACVYNY4D`
Kind	example
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.04357#3LRR, The ridge-density clause of $\mathsf W_{\mathrm{pd}}$ is load-bearing (example). In 6FY8BVP1F3/e1, example E.1

History

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

WMADHYMED0 WMADHYMED0

URI	`m2://inv/WMADHYMED0`
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.39455#45YC (statement). In HW4Y4TMEZ3/e1, proposition 6.1

History

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

Irena Peeva WMAGW33RA1

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4Z02, Irena Peeva (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#75Z8, Irena Peeva (topic)

History

2026-11-02: add by m2/dev

Marie D. Eldridge WMAVPT9SVV

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

Mentions

wikipedia: Wikipedia Marie D. Eldridge, Marie D. Eldridge (topic). Also Wikidata Q43900193

History

2026-11-02: add by m2/dev

WMAYXRJTAV WMAYXRJTAV

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

Mentions

arxiv: arXiv 2609.28323#Z7QE (statement)

History

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

Birch and Swinnerton-Dyer conjecture WMAZX0DNET

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

Mentions

wikipedia: Wikipedia Hasse–Weil zeta function#R3XA, Birch and Swinnerton-Dyer conjecture (statement)

History

2026-11-02: add by m2/dev

ideal point WMB1JXK2AX

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

Mentions

wikidata: Wikidata Q11831792, ideal point (unknown). Also MathWorld IdealPoint
wikipedia: Wikipedia Ideal point, Ideal point (definition). Also Wikidata Q11831792

History

2026-10-26: add by m2/dev

WMB8Q261XW WMB8Q261XW

URI	`m2://inv/WMB8Q261XW`
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#WP4M (definition). In 8SVVEVGMNE/e1, definition 4.4

History

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

Sergey Bernstein WMB99ZRQS8

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#Q7JH, Sergey Bernstein (topic)

History

2026-11-02: add by m2/dev

birational map WMBF9EGTVW

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

Mentions

wikidata: Wikidata Q124684348, birational map (unknown). Also EoM Birational_mapping, nLab birational map

History

2026-10-26: add by m2/dev

Empirical cutoff separation and weighted good events WMBHYYH343

URI	`m2://inv/WMBHYYH343`
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.05388#IBLD, Empirical cutoff separation and weighted good events (statement). In 4HJK1986EJ/e1, lemma C.9

History

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

Complement map WMBVBDMVW2

URI	`m2://inv/WMBVBDMVW2`
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.21403#821T, Complement map (statement)

History

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

Method WMC3TWMHTR

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

Mentions

wikipedia: Wikipedia Power series solution of differential equations#NZ8S, Method (definition)

History

2026-11-02: add by m2/dev

Minkowski segments are short WMC4K4HS0G

URI	`m2://inv/WMC4K4HS0G`
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.26129#BHUL, Minkowski segments are short (statement)

History

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

Bias of an estimator WMC6JHW36Q

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#4IO1, Bias of an estimator (definition)

History

2026-11-02: add by m2/dev

WMC7PXYQMD WMC7PXYQMD

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

Mentions

arxiv: arXiv 2609.33476#6LID (definition). In DAQW640R25/e1, definition 3.1

History

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

WMC9EECW5A WMC9EECW5A

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

Mentions

arxiv: arXiv 2610.19285#3JP6 (statement). In 6DJR9DKY5W/e1, lemma 6.1

History

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

KenKen WMCV9VM8RH

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

Mentions

wikipedia: Wikipedia KenKen, KenKen (definition). Also Wikidata Q372499

History

2026-11-02: add by m2/dev

Examples WMD05PFR5S

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

Mentions

wikipedia: Wikipedia Reflexive space#VLE1, Examples (example)

History

2026-11-02: add by m2/dev

An elementary small-entropy parent bound WMD2D6ZXT6

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

Mentions

arxiv: arXiv 2609.24931#ARZS, An elementary small-entropy parent bound (statement)

History

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

WMD9ZNG04K WMD9ZNG04K

URI	`m2://inv/WMD9ZNG04K`
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.20134#6CS4 (statement)

History

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

WMDBFX9M45 WMDBFX9M45

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#cor-1 (statement). In E59CDZA4DP, cor, section 2.1.3

History

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

Richard M. Dudley WMDDC1BA67

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QJ5G, Richard M. Dudley (topic)
wikipedia: Wikipedia List of fellows of the American Statistical Association#R4NF, Richard M. Dudley (topic)

History

2026-11-02: add by m2/dev

Kernel--Hessian identity with correction WMDE7NBJMQ

URI	`m2://inv/WMDE7NBJMQ`
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#CHG7, Kernel--Hessian identity with correction (statement)

History

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

Vector optimization WMDZY2JC8T

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

Mentions

wikipedia: Wikipedia Vector optimization, Vector optimization (definition). Also Wikidata Q7917833

History

2026-11-02: add by m2/dev

Lang–Trotter conjecture WME53C7RPD

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

Mentions

wikipedia: Wikipedia Sato–Tate conjecture#1ORK, Lang–Trotter conjecture (unknown)

History

2026-11-02: add by m2/dev

Definitions WME8WTCN1D

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

Mentions

wikipedia: Wikipedia Besov measure#7TE5, Definitions (definition)

History

2026-11-02: add by m2/dev

conifold WMEA1T0S88

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

Mentions

wikidata: Wikidata Q5161070, conifold (unknown). Also nLab conifold transition
wikipedia: Wikipedia Conifold, Conifold (definition). Also Wikidata Q5161070

History

2026-10-26: add by m2/dev

WMEBFZC0GP WMEBFZC0GP

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

Mentions

arxiv: arXiv 2609.31604#3QPG (statement). In GSN5YTQS2K/e1, proposition 3.11

History

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

Algebraic cycles and the Hodge conjecture WMEBTR4YA5

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

Mentions

wikipedia: Wikipedia Hodge theory#ZYTL, Algebraic cycles and the Hodge conjecture (statement)

History

2026-11-02: add by m2/dev

WMEC2ZVGG0 WMEC2ZVGG0

URI	`m2://inv/WMEC2ZVGG0`
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.28020#0QTD (statement)

History

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

424 (number) WMEE8HWM5H

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

Mentions

wikipedia: Wikipedia 400 (number)#8LQ9, 424 (number) (unknown)

History

2026-11-02: add by m2/dev

WMEFK57Z71 WMEFK57Z71

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

Mentions

arxiv: arXiv 2610.09900#QJXQ (statement). In ATSYBWEMMP/e1, lemma 6.1

History

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

WMEMD7V6Y8 WMEMD7V6Y8

URI	`m2://inv/WMEMD7V6Y8`
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.20656#YSCM (statement)

History

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

Bondy's theorem WMEQQT91KX

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

Mentions

wikipedia: Wikipedia List of theorems#4M9X, Bondy's theorem (statement)

History

2026-11-02: add by m2/dev

WMER1RFEQA WMER1RFEQA

URI	`m2://inv/WMER1RFEQA`
Kind	statement
Layer	research
MSC	53-XX, 57-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.17045#RLIS (statement). In PA6JQDSKQT/e1, theorem 5.2

History

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

Strain-rate tensor WMFA64NQQA

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

Mentions

wikipedia: Wikipedia Strain-rate tensor, Strain-rate tensor (definition). Also Wikidata Q7621125

History

2026-11-02: add by m2/dev

A principle relating symmetric polynomials and symmetric functions WMFAMFD5ZN

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

Mentions

wikipedia: Wikipedia Ring of symmetric functions#I4SX, A principle relating symmetric polynomials and symmetric functions (statement)

History

2026-11-02: add by m2/dev

Expansion over orientations WMFBBDG09M

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

Mentions

arxiv: arXiv 2610.08500#FNRX, Expansion over orientations (statement). In ZPCYW4N0EH/e1, lemma 4.4

History

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

Noisy-cavity reduction WMFDGK8PXK

URI	`m2://inv/WMFDGK8PXK`
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#IK41, Noisy-cavity reduction (statement)

History

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

Chris Freiling WMFP5VXGZG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#14IN, Chris Freiling (topic)

History

2026-11-02: add by m2/dev

WMFXV7MNMK WMFXV7MNMK

URI	`m2://inv/WMFXV7MNMK`
Kind	example
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 2508.07340#ZEIB (example). In 2HSB99DW4M/e1, example 5.3

History

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

geometric group theory WMFZKQ77H0

URI	`m2://inv/WMFZKQ77H0`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Geometric group theory 2T3218RXTD

Mentions

wikidata: Wikidata Q2662474, geometric group theory (unknown). Also nLab geometric group theory
wikipedia: Wikipedia Geometric group theory, Geometric group theory (topic). Also Wikidata Q2662474

History

2026-10-26: add by m2/dev

Ricci Eigenvalue Characterization of ERP WMG1AFTTKR

URI	`m2://inv/WMG1AFTTKR`
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.34154#HJSV, Ricci Eigenvalue Characterization of ERP (statement). In VPET0W9RFS/e1, proposition 3.5

History

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

Fulkerson Prize WMG451CCKR

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

Mentions

wikipedia: Wikipedia Fulkerson Prize, Fulkerson Prize (definition). Also Wikidata Q1004305

History

2026-11-02: add by m2/dev

Implementations WMGJ0G0CSH

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

Mentions

wikipedia: Wikipedia Point in polygon#RZNW, Implementations (definition)

History

2026-11-02: add by m2/dev

WMGJA4C79Q WMGJA4C79Q

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

Mentions

arxiv: arXiv 2609.27320#5KFB (statement)

History

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

Examples WMGJK8408S

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

Mentions

wikipedia: Wikipedia Lie superalgebra#RJVK, Examples (example)

History

2026-11-02: add by m2/dev

WMH20K4SXZ WMH20K4SXZ

URI	`m2://inv/WMH20K4SXZ`
Kind	statement
Layer	research
MSC	11-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 2004.12552#5D6M (statement). In TWPE10CZ1S/e1, corollary 2.7

History

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

WMH4NFV7GK WMH4NFV7GK

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

Mentions

arxiv: arXiv 2610.05259#51PN (statement). In X1J5HKPS3R/e1, lemma 3.16

History

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

WMH64Y4X2V WMH64Y4X2V

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/expotough.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 69.2

History

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

Resolvable space WMHH15EVTC

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

Mentions

wikipedia: Wikipedia Resolvable space, Resolvable space (definition). Also Wikidata Q16977124

History

2026-11-02: add by m2/dev

WMHH45BWSD WMHH45BWSD

URI	`m2://inv/WMHH45BWSD`
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.20135#1JO1 (statement). In ZQQEN3J866/e1, lemma 4.2

History

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

"Quod erat demonstrandum" WMHN7N025C

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#17D0, "Quod erat demonstrandum" (definition)

History

2026-11-02: add by m2/dev

WMHR1FQDEF WMHR1FQDEF

URI	`m2://inv/WMHR1FQDEF`
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.17135#5GPA (statement). In XX1J2REXY2/e1, proposition 2.3

History

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

Zero suppression WMHT218VF8

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

Mentions

wikipedia: Wikipedia Zero suppression, Zero suppression (definition). Also Wikidata Q3892969

History

2026-11-02: add by m2/dev

Hollow Earth WMHW85CQSX

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#XMZE, Hollow Earth (unknown)

History

2026-11-02: add by m2/dev

Dixon's identity WMHYAVMSD7

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

Mentions

wikipedia: Wikipedia MacMahon's master theorem#QMSS, Dixon's identity (statement)

History

2026-11-02: add by m2/dev

WMJ6NHPBXS WMJ6NHPBXS

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

Mentions

arxiv: arXiv 2610.00914#QOHU (statement). In TQ9CKHBTWN/e1, corollary 1.6

History

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

Global joint convexity WMJ97J8NQH

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

Mentions

arxiv: arXiv 2609.24931#JG81, Global joint convexity (statement)

History

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

Metric Structures for Riemannian and Non-Riemannian Spaces WMJHBAAWST

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

Mentions

wikipedia: Wikipedia Metric Structures for Riemannian and Non-Riemannian Spaces, Metric Structures for Riemannian and Non-Riemannian Spaces (definition). Also Wikidata Q6824313

History

2026-11-02: add by m2/dev

Fuzzy classification WMJKCXFEMH

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

Mentions

wikipedia: Wikipedia Fuzzy classification, Fuzzy classification (definition). Also Wikidata Q1475696

History

2026-11-02: add by m2/dev

The elliptic curve $y^2 = x^3 - x$ WMJMCSANNN

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

Mentions

napkin: napkin tex/riemann-surface/affine-projective.tex#example-4, The elliptic curve $y^2 = x^3 - x$ (example). In RZP28ERRZV, example, section 82.1

History

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

WMJR7E638V WMJR7E638V

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

Mentions

arxiv: arXiv 2609.26452#TAYQ (example)

History

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

WMJRDERZX3 WMJRDERZX3

URI	`m2://inv/WMJRDERZX3`
Kind	definition
Layer	research
MSC	18-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 2403.16388#C92J (definition). In HH4ADHZ8XD/e1, definition 3.3

History

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

Euclidean planes in three-dimensional space WMJT9DZB27

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

Mentions

wikipedia: Wikipedia Euclidean planes in three-dimensional space, Euclidean planes in three-dimensional space (definition). Also Wikidata Q116980063

History

2026-11-02: add by m2/dev

List of things named after Élie Cartan WMK1J3DDW3

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#C9KX, List of things named after Élie Cartan (topic)

History

2026-11-02: add by m2/dev

Gauss lens WMK2JVZZWK

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

Mentions

wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#VC7R, Gauss lens (unknown)

History

2026-11-02: add by m2/dev

WMK6FWP4QC WMK6FWP4QC

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

Mentions

open_logic: open_logic content/first-order-logic/sequent-calculus/provability-quantifiers.tex#prop:provability-quantifiers (statement). In PKGMM3P5QY, prop, section 17.9

History

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

Properties WMK85B1GB7

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

Mentions

wikipedia: Wikipedia Gumbel distribution#F3NY, Properties (statement)

History

2026-11-02: add by m2/dev

WMKEHP27EY WMKEHP27EY

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

Mentions

arxiv: arXiv 2609.32174#PQ7I (definition). In GHKR740SG3/e1, definition 15.8

History

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

WMKEZS239D WMKEZS239D

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

Mentions

arxiv: arXiv 2608.23797#HK4B (definition). In PZCA01JXVR/e1, definition 6.3

History

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

WMM2PH90B2 WMM2PH90B2

URI	`m2://inv/WMM2PH90B2`
Kind	statement
Layer	research
MSC	05-XX, 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 2610.16605#B8GR (statement). In KZ175036B5/e1, proposition 3.7

History

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

Use WMM5KBAEP4

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

Mentions

wikipedia: Wikipedia Koszul complex#PPPP, Use (example)

History

2026-11-02: add by m2/dev

WMM7GJN57J WMM7GJN57J

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

Mentions

arxiv: arXiv 2610.15648#GERF (statement). In 5TM775V8HQ/e1, lemma 7

History

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

WMM8Z1R1K9 WMM8Z1R1K9

URI	`m2://inv/WMM8Z1R1K9`
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.26401#BSKC (statement)

History

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

Definition WMMRHYVZGT

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

Mentions

wikipedia: Wikipedia Toric variety#SZ1K, Definition (definition)

History

2026-11-02: add by m2/dev

Intellectual Property Law and Technology Policy WMN2X7Q9XH

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

Mentions

wikipedia: Wikipedia Michael Ian Shamos#5JH7, Intellectual Property Law and Technology Policy (statement)

History

2026-11-02: add by m2/dev

Wolfgang Heinrich Johannes Fuchs WMNM18HD4J

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#T96K, Wolfgang Heinrich Johannes Fuchs (topic)
wikipedia: Wikipedia List of German mathematicians#NEW5, Wolfgang Heinrich Johannes Fuchs (topic)

History

2026-11-02: add by m2/dev

Pascal's triangle WMNSWXJXWY

URI	`m2://inv/WMNSWXJXWY`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Pascal's triangle 05DME4TZ3K

Mentions

wikidata: Wikidata Q177051, Pascal's triangle (definition). Also EoM Pascal_triangle, MathWorld PascalsTriangle, OEIS A007318, ProofWiki Definition:Pascal's_Triangle
wikipedia: Wikipedia Pascal's triangle, Pascal's triangle (definition). Also Wikidata Q177051

History

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

Richard Melvin Schoen WMNWPTYCNH

URI	`m2://inv/WMNWPTYCNH`
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#ITQE, Richard Melvin Schoen (unknown)

History

2026-11-02: add by m2/dev

Lanconelli-Morbidelli WMNWX9GW35

URI	`m2://inv/WMNWX9GW35`
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.17863#2TQM, Lanconelli-Morbidelli (statement). In Y8XQT02BBF/e1, theorem 5.2

History

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

WMNY13Y83T WMNY13Y83T

URI	`m2://inv/WMNY13Y83T`
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 1004.4564#JEZW (statement). In BZ54C9SKYS/e1, theorem 6.2

History

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

Brinkmann graph WMP2RGRGQK

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

Mentions

wikidata: Wikidata Q3115474, Brinkmann graph (unknown). Also House of Graphs 960, MathWorld BrinkmannGraph
wikipedia: Wikipedia Brinkmann graph, Brinkmann graph (definition). Also Wikidata Q3115474

History

2026-10-26: add by m2/dev

WMP5C2FG7B WMP5C2FG7B

URI	`m2://inv/WMP5C2FG7B`
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.22205#HXJQ (definition). In 7REABAAQED/e1, definition

History

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

WMP6PYQC6E WMP6PYQC6E

URI	`m2://inv/WMP6PYQC6E`
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.30575#VX3V (statement). In 6WFFY0QM27/e1, theorem 1.8

History

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

Triple point WMP7SATE6K

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

Mentions

wikipedia: Wikipedia Triple point, Triple point (definition). Also Wikidata Q106410

History

2026-11-02: add by m2/dev

Private measure on the interval WMP8SVE2EP

URI	`m2://inv/WMP8SVE2EP`
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 2204.09167#WBJA, Private measure on the interval (statement). In S1MENYEAG5/e1, theorem 5.4

History

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

Example WMP9A91BGJ

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

Mentions

wikipedia: Wikipedia Rainbow table#UW0C, Example (example)

History

2026-11-02: add by m2/dev

Daniel Pedoe WMPESMJB9F

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#A10M, Daniel Pedoe (topic)

History

2026-11-02: add by m2/dev

WMPFRWKYBF WMPFRWKYBF

URI	`m2://inv/WMPFRWKYBF`
Kind	statement
Layer	research
MSC	05-XX, 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.36022#EUO0 (statement). In ENH5XNBQWH/e1, corollary 1.10

History

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

Stone's representation theorem for Boolean algebras WMPH47JNVN

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

Mentions

wikipedia: Wikipedia Stone space#EIV4, Stone's representation theorem for Boolean algebras (statement)

History

2026-11-02: add by m2/dev

Closed point WMPH6YQGXH

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

Mentions

wikipedia: Wikipedia Closed point, Closed point (definition). Also Wikidata Q138775471

History

2026-11-02: add by m2/dev

WMPNJ4GBC4 WMPNJ4GBC4

URI	`m2://inv/WMPNJ4GBC4`
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.36423#H6PG (statement). In Q5Z178SAHP/e1, lemma 3.3

History

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

Steady state WMQ5F84NKN

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

Mentions

wikipedia: Wikipedia Steady state, Steady state (definition). Also Wikidata Q5788637

History

2026-11-02: add by m2/dev

WMQ8ZXWEB3 WMQ8ZXWEB3

URI	`m2://inv/WMQ8ZXWEB3`
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.08599#CZX8 (statement). In DST9FWMHT6/e1, theorem 4.7

History

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

Israel Michael Sigal WMQH0XQRCQ

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

Mentions

wikipedia: Wikipedia Israel Michael Sigal, Israel Michael Sigal (topic). Also Wikidata Q4502309

History

2026-11-02: add by m2/dev

Graham's number WMQNFDBQ87

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

Mentions

wikidata: Wikidata Q733169, Graham's number (unknown). Also MathWorld GrahamsNumber
wikipedia: Wikipedia Graham's number, Graham's number (definition). Also Wikidata Q733169

History

2026-10-26: add by m2/dev

second derivative test WMQPTV13HP

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

Mentions

wikipedia: Wikipedia Glossary of calculus#56E4, second derivative test (definition)

History

2026-11-02: add by m2/dev

Variants WMQT98JBC8

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

Mentions

wikipedia: Wikipedia Support function#VVDM, Variants (statement)

History

2026-11-02: add by m2/dev

Henk van der Vorst WMR5AD3V6F

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

Mentions

wikipedia: Wikipedia Henk van der Vorst, Henk van der Vorst (topic). Also Wikidata Q1975906

History

2026-11-02: add by m2/dev

Isserlis's theorem WMR722S7MJ

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

Mentions

wikipedia: Wikipedia Isserlis's theorem, Isserlis's theorem (statement). Also Wikidata Q4491919

History

2026-11-02: add by m2/dev

WMR8RBF3PG WMR8RBF3PG

URI	`m2://inv/WMR8RBF3PG`
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#F70E (statement)

History

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

Signal-to-noise ratio WMRCF2CW8J

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

Mentions

wikipedia: Wikipedia Signal-to-noise ratio, Signal-to-noise ratio (definition). Also Wikidata Q738628

History

2026-11-02: add by m2/dev

Stress WMRFC2Q08T

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

Mentions

wikipedia: Wikipedia Stress (mechanics), Stress (definition). Also Wikidata Q206175

History

2026-11-02: add by m2/dev

colimit, of sets WMRP5C1S99

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

Mentions

hott_book: hott_book index/C.1.1/colimit-of-sets, colimit, of sets (concept). In N54F33XE07, index, section C.1.1

History

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

WMRXY0Y9CA WMRXY0Y9CA

URI	`m2://inv/WMRXY0Y9CA`
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.39455#Y4RL (statement). In HW4Y4TMEZ3/e1, lemma 6.3

History

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

Ad nauseam WMRY9MRBD8

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

Mentions

wikipedia: Wikipedia Ad nauseam, Ad nauseam (definition). Also Wikidata Q345802

History

2026-11-02: add by m2/dev

Curvature in the one-step parameter WMS18RG6HD

URI	`m2://inv/WMS18RG6HD`
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.37479#PRNX, Curvature in the one-step parameter (statement). In P3RTT99C41/e1, lemma 7.6

History

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

Ahlfors finiteness theorem WMS2EKSDTT

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

Mentions

wikipedia: Wikipedia Ahlfors finiteness theorem, Ahlfors finiteness theorem (statement). Also Wikidata Q4695185

History

2026-11-02: add by m2/dev

WMS4DZ6XNF WMS4DZ6XNF

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

Mentions

arxiv: arXiv 2610.07812#YGAE (statement). In PVX8WBBXW5/e1, proposition 2.3

History

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

Stable block averaging WMS4P0CF5Y

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

Mentions

arxiv: arXiv 2610.00137#1OTS, Stable block averaging (statement). In NKW6YQ04QW/e1, lemma 7.1

History

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

hexad WMS7P6XD6J

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#WGCM, hexad (definition)

History

2026-11-02: add by m2/dev

WMS8AKXC8T WMS8AKXC8T

URI	`m2://inv/WMS8AKXC8T`
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.11395#J4FQ (statement). In T3W7SMWQ73/e1, proposition 8

History

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

WMSGCHJPXH WMSGCHJPXH

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

Mentions

arxiv: arXiv 2609.34382#1U80 (definition). In MEF2VCAYXS/e1, definition 2.3

History

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

WMSHX017XG WMSHX017XG

URI	`m2://inv/WMSHX017XG`
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.09704#1Y39 (statement). In FNG4B47MRV/e1, theorem 2.4

History

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

Discrete-series distinction WMSNR30QNN

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

Mentions

arxiv: arXiv 2610.05364#EQSZ, Discrete-series distinction (statement). In TPYRE2ARMD/e1, theorem 3.2

History

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

Properties WMSPWG86QW

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

Mentions

wikipedia: Wikipedia Plurisubharmonic function#COOI, Properties (statement)

History

2026-11-02: add by m2/dev

Monotonicity in the order WMSQVQKDCF

URI	`m2://inv/WMSQVQKDCF`
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#BH5D, Monotonicity in the order (statement)

History

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

Shear strain WMSZMRB93V

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

Mentions

wikipedia: Wikipedia Strain (mechanics)#HRXP, Shear strain (unknown)

History

2026-11-02: add by m2/dev

WMT1EXHFWS WMT1EXHFWS

URI	`m2://inv/WMT1EXHFWS`
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#BZXP (statement)

History

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

WMT3V7W59D WMT3V7W59D

URI	`m2://inv/WMT3V7W59D`
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.19358#Z5QO (statement). In N3QZZ7BD0V/e1, lemma 7

History

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

WMT5XB4QFP WMT5XB4QFP

URI	`m2://inv/WMT5XB4QFP`
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#5FC7 (statement). In HJC1JJZRSH/e1, lemma 3.2

History

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

WMTMVYV985 WMTMVYV985

URI	`m2://inv/WMTMVYV985`
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.36423#IZII (statement). In Q5Z178SAHP/e1, corollary 7.1

History

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

Statement WMTNDFWYAN

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

Mentions

wikipedia: Wikipedia Sperner's theorem#5YUF, Statement (statement)

History

2026-11-02: add by m2/dev

Universal vertex WMTVHDMHV2

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

Mentions

wikipedia: Wikipedia Universal vertex, Universal vertex (definition). Also Wikidata Q26789594

History

2026-11-02: add by m2/dev

Properties WMV33XCK6Z

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

Mentions

wikipedia: Wikipedia Pullback bundle#GCYL, Properties (statement)

History

2026-11-02: add by m2/dev

WMVA993WS2 WMVA993WS2

URI	`m2://inv/WMVA993WS2`
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.08865#S9MH (statement). In SJ5JKGH94M/e1, theorem 2

History

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

Contact analysis WMVCQTR1P8

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

Mentions

wikipedia: Wikipedia Contact analysis, Contact analysis (definition). Also Wikidata Q5164819

History

2026-11-02: add by m2/dev

bracket WMVG09VSAZ

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#7OTE, bracket (definition)

History

2026-11-02: add by m2/dev

Amicable numbers WMVHFPFHBJ

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#2RAL, Amicable numbers (definition)

History

2026-11-02: add by m2/dev

WMVKW7XNYW WMVKW7XNYW

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

Mentions

arxiv: arXiv 2609.31907#SMG9 (definition). In 6B2PCEGCYZ/e1, definition 4.1

History

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

Moser–De Bruijn sequence WMVMZYEXBW

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

Mentions

wikidata: Wikidata Q28405345, Moser–De Bruijn sequence (object). Also MathWorld Moser-deBruijnSequence, OEIS A000695
wikipedia: Wikipedia Moser–de Bruijn sequence, Moser–de Bruijn sequence (definition). Also Wikidata Q28405345

History

2026-10-26: add by m2/dev

(aperiodic, invertible, independent base) WMVNEE9241

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

Mentions

wikipedia: Wikipedia Rokhlin lemma#7QZL, (aperiodic, invertible, independent base) (statement)

History

2026-11-02: add by m2/dev

WMVNJY4NXC WMVNJY4NXC

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

Mentions

hott_book: hott_book reals.tex#RC-archimedean-ordered-field (statement). In N54F33XE07, thm, section B.3.3

History

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

WMVPKREY1B WMVPKREY1B

URI	`m2://inv/WMVPKREY1B`
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#PZQ3 (statement). In 8TSZ2E32K3/e1, lemma 6.5

History

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

Homogeneous polynomial WMVS1NSAJA

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

Mentions

wikipedia: Wikipedia List of polynomial topics#S9TZ, Homogeneous polynomial (definition)

History

2026-11-02: add by m2/dev

Chinese remainder theorem WMVXAJCBFR

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

Mentions

wikipedia: Wikipedia List of theorems#ZJ1R, Chinese remainder theorem (statement)

History

2026-11-02: add by m2/dev

WMW8V3YW5N WMW8V3YW5N

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

Mentions

napkin: napkin tex/measure/measure-space.tex#example-1 (example). In RZP28ERRZV, example, section 67.4

History

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

WMWJS768FW WMWJS768FW

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

Mentions

active_calculus: active_calculus source/sec-5-4-parts.xml#Ex-5-4-IBP (example). In 907G4C4EJ1, example, section 5.4.2

History

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

recursion principle, for dependent pair type WMWYV34PSH

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

Mentions

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

History

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

WMX1NA9GJV WMX1NA9GJV

URI	`m2://inv/WMX1NA9GJV`
Kind	definition
Layer	research
MSC	14-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 2401.11433#HITE (definition). In JNA2B803FH/e1, definition 2.1

History

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

WMX3B7NPDX WMX3B7NPDX

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

Mentions

open_logic: open_logic content/sets-functions-relations/size-of-sets/zig-zag.tex#sfr:siz:zigzag:prob:posint-n (exercise). In PKGMM3P5QY, prob, section 85.1

History

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

Partition function in one short block WMX7EBGHV1

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

Mentions

arxiv: arXiv 2609.39699#Z74H, Partition function in one short block (statement). In 6M4TMC8G6X/e1, lemma 13

History

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

Rainer Weiss WMXB8RKE3A

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#O86V, Rainer Weiss (unknown)

History

2026-11-02: add by m2/dev

WMXBGY9Z3Q WMXBGY9Z3Q

URI	`m2://inv/WMXBGY9Z3Q`
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 2504.10954#R08W (statement). In HVQYHGJQ7R/e1, theorem 1

History

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

Lurdes Inoue WMXJ3K9MRP

URI	`m2://inv/WMXJ3K9MRP`
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#HS0V, Lurdes Inoue (topic)

History

2026-11-02: add by m2/dev

László Babai WMXV8HEZX6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#YWZ0, László Babai (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8UNL, László Babai (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JOG1, László Babai (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XG9H, László Babai (topic)

History

2026-11-02: add by m2/dev

WMXWY7M138 WMXWY7M138

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

Mentions

arxiv: arXiv 2610.20542#9ZJT (statement). In 8PZXZ8Y9FK/e1, theorem

History

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

Rate three for rotation-segmented processes WMXWZKS780

URI	`m2://inv/WMXWZKS780`
Kind	statement
Layer	research
MSC	11-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.37368#CUBI, Rate three for rotation-segmented processes (statement). In FRMCKEGVJZ/e1, theorem 12

History

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

nonconvex great rhombicosidodecahedron WMXXNWWPVE

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

Mentions

wikidata: Wikidata Q2718494, nonconvex great rhombicosidodecahedron (unknown). Also MathWorld UniformGreatRhombicosidodecahedron
wikipedia: Wikipedia Nonconvex great rhombicosidodecahedron, Nonconvex great rhombicosidodecahedron (object). Also Wikidata Q2718494

History

2026-10-26: add by m2/dev

WMXYM2WNHY WMXYM2WNHY

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

Mentions

arxiv: arXiv 2609.21414#UVZ5 (statement)

History

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

WMY1DZKPD5 WMY1DZKPD5

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

Mentions

arxiv: arXiv 2605.16669#1OBU (statement). In 1463YCCRP5/e1, proposition 3.3

History

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

WMY1WMG0MY WMY1WMG0MY

URI	`m2://inv/WMY1WMG0MY`
Kind	example
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.20285#6EE3 (example). In RQA728RB77/e1, example 9

History

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

*{Propositions 2.4.2 and 2.4.4 WMY52J0M8Q

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

Mentions

arxiv: arXiv 2610.02669#TMSV, *{Propositions 2.4.2 and 2.4.4 (statement). In NSBSWH6XB4/e1, proposition 5.1

History

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

Negation normal form WMY59391XE

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

Mentions

wikipedia: Wikipedia Negation normal form, Negation normal form (definition). Also Wikidata Q1640479

History

2026-11-02: add by m2/dev

Measurable Riemann mapping theorem WMY6PFCJ34

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

Mentions

wikipedia: Wikipedia Quasiconformal mapping#HPN7, Measurable Riemann mapping theorem (statement)

History

2026-11-02: add by m2/dev

WMYD7D95EV WMYD7D95EV

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

Mentions

arxiv: arXiv 2609.28824#F3D8 (statement)

History

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

The Lady Tasting Tea WMYGC4VX5C

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

Mentions

wikipedia: Wikipedia The Lady Tasting Tea, The Lady Tasting Tea (definition). Also Wikidata Q7745155

History

2026-11-02: add by m2/dev

WMYNDP69KN WMYNDP69KN

URI	`m2://inv/WMYNDP69KN`
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.13392#DWG8 (statement). In 2FVND41HVS/e1, corollary 5.12

History

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

List of inequalities WMYNN6BDRW

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#ITU3, List of inequalities (topic)
wikipedia: Wikipedia List of theorems#WJ9O, List of inequalities (topic)

History

2026-11-02: add by m2/dev

WMYPEF7PSY WMYPEF7PSY

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

Mentions

arxiv: arXiv 2610.04317#3M7E (statement). In CF1X73QQ11/e1, lemma 4.2

History

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

Way Kuo WMYSQXA9VX

URI	`m2://inv/WMYSQXA9VX`
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#S5RS, Way Kuo (unknown)

History

2026-11-02: add by m2/dev

topological dynamics WMYT9G5JV7

URI	`m2://inv/WMYT9G5JV7`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Topological dynamics 5X6E97EMFR

Mentions

wikidata: Wikidata Q7825032, topological dynamics (unknown). Also nLab topological dynamics
wikipedia: Wikipedia Topological dynamics, Topological dynamics (topic). Also Wikidata Q7825032

History

2026-10-26: add by m2/dev

WMYTBXN5GR WMYTBXN5GR

URI	`m2://inv/WMYTBXN5GR`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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.31090#3M6E (statement). In SMTJDX0Q6R/e1, lemma 8.8

History

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

Lefschetz decomposition for $X$ WMYTF48XYG

URI	`m2://inv/WMYTF48XYG`
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.01731#AJF3, Lefschetz decomposition for $X$ (statement). In 3TJ2FWXQ0D/e1, proposition 3.7

History

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

Definition WMZ4S94SYP

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

Mentions

wikipedia: Wikipedia Pseudoelementary class#SH5R, Definition (definition)

History

2026-11-02: add by m2/dev

WMZ7N1N51F WMZ7N1N51F

URI	`m2://inv/WMZ7N1N51F`
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.20025#8H8K (statement). In 4W1WR4JB89/e1, theorem 2.1

History

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

WMZ9PG354V WMZ9PG354V

URI	`m2://inv/WMZ9PG354V`
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#C65B (statement)

History

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

WMZCTH4N5V WMZCTH4N5V

URI	`m2://inv/WMZCTH4N5V`
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.25656#TCXZ (statement)

History

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

Definitions WMZH074654

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

Mentions

wikipedia: Wikipedia McKelvey–Schofield chaos theorem#IIRH, Definitions (definition)

History

2026-11-02: add by m2/dev

Symplectic topology WMZTQPJX2F

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#I5E4, Symplectic topology (topic)

History

2026-11-02: add by m2/dev

WMZZGWHBH7 WMZZGWHBH7

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 3.2

History

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