Inventory rows 3P

3P081W4F8Q 3P081W4F8Q

URI	`m2://inv/3P081W4F8Q`
Kind	example
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 2304.03611#JPIH (example). In 75E8ZB1CBV/e1, example 3.2.1

History

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

Abel's binomial theorem 3P0JQXS32C

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

Mentions

mathlib_1000: mathlib_1000 Q268031, Abel's binomial theorem (statement). Also Wikidata Q268031
thousand_plus: thousand_plus Q268031, Abel's binomial theorem (statement). Also Wikidata Q268031, Wikipedia Abel's binomial theorem
wikidata: Wikidata Q268031, Abel's binomial theorem (statement). Also MathWorld AbelsBinomialTheorem, MathWorld AbelsTheorem
wikipedia: Wikipedia Abel's binomial theorem, Abel's binomial theorem (statement). Also Wikidata Q268031

History

2026-10-26: add by m2/dev

Tai-Ping Liu 3P0N2DY0E5

URI	`m2://inv/3P0N2DY0E5`
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#G66M, Tai-Ping Liu (unknown)

History

2026-11-02: add by m2/dev

Eremenko, Oleksandr Emmanuilovich 3P0PQA31N3

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

Mentions

wikipedia: Wikipedia List of Ukrainian mathematicians#YB27, Eremenko, Oleksandr Emmanuilovich (topic)

History

2026-11-02: add by m2/dev

3P0TFVPDDX 3P0TFVPDDX

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

Mentions

arxiv: arXiv 2610.21092#HE48 (statement). In AGJE43FTF8/e1, lemma 4.2

History

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

3P0XPRXWN0 3P0XPRXWN0

URI	`m2://inv/3P0XPRXWN0`
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.24578#GDA4 (statement)

History

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

state vector 3P17342MDZ

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

Mentions

austin_ula: austin_ula index/2.5.4/state-vector, state vector (concept). In 649HGZKE96, index, section 2.5.4

History

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

3P1BDSAPHQ 3P1BDSAPHQ

URI	`m2://inv/3P1BDSAPHQ`
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.33941#LCWL (statement). In 64YCRQCKZN/e1, lemma 4.3

History

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

3P1D6BT18R 3P1D6BT18R

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

Mentions

arxiv: arXiv 2609.27730#79VK (statement)

History

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

Almgren–Pitts min-max theory 3P1HWHW5G8

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

Mentions

wikipedia: Wikipedia Almgren–Pitts min-max theory, Almgren–Pitts min-max theory (definition). Also Wikidata Q19903256

History

2026-11-02: add by m2/dev

3P1Q3VGZXF 3P1Q3VGZXF

URI	`m2://inv/3P1Q3VGZXF`
Kind	example
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#9EGH (example). In Q5Z178SAHP/e1, example 7.1

History

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

3P1SY9A0XM 3P1SY9A0XM

URI	`m2://inv/3P1SY9A0XM`
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 2407.08004#UPSO (statement). In TYS65EG479/e1, lemma 3.1

History

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

Generalized Procrustes analysis 3P1TAM8DSG

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

Mentions

wikipedia: Wikipedia List of statistics articles#1J3Q, Generalized Procrustes analysis (definition)

History

2026-11-02: add by m2/dev

Conservativity theorem 3P1ZMP3H61

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

Mentions

wikipedia: Wikipedia List of theorems#DSJ6, Conservativity theorem (definition)

History

2026-11-02: add by m2/dev

Applications 3P20V7W9D6

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

Mentions

wikipedia: Wikipedia Graph bandwidth#771B, Applications (example)

History

2026-11-02: add by m2/dev

3P23AVM0G4 3P23AVM0G4

URI	`m2://inv/3P23AVM0G4`
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 2610.13658#4KCF (statement). In R9BC934K3E/e1, corollary 4.2

History

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

Global Spec 3P2DJKTPK9

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

Mentions

wikipedia: Wikipedia Spectrum of a ring#4XU0, Global Spec (unknown)

History

2026-11-02: add by m2/dev

CW realization of coherent permuted gluings 3P2E5X4CT2

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

Mentions

arxiv: arXiv 2609.32733#KQC6, CW realization of coherent permuted gluings (statement). In PCAS8S14J6/e1, proposition E.4

History

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

3P2FPWDE8G 3P2FPWDE8G

URI	`m2://inv/3P2FPWDE8G`
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 2206.14762#AMXQ (statement). In ZC1B70NT4D/e1, proposition 3.3

History

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

Convergence acceleration 3P2HR686Z3

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

Mentions

arxiv: arXiv 2609.35894#LZ0Y, Convergence acceleration (statement). In 2BFQZJ0CNM/e1, theorem 2

History

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

Swedish Mathematical Society 3P2S7FYCKT

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

Mentions

wikipedia: Wikipedia Swedish Mathematical Society, Swedish Mathematical Society (definition). Also Wikidata Q1558219

History

2026-11-02: add by m2/dev

Richard Allen Hunt 3P31VC0SKT

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

Mentions

wikipedia: Wikipedia Richard Allen Hunt, Richard Allen Hunt (topic). Also Wikidata Q7323687

History

2026-11-02: add by m2/dev

Planarization 3P37A2DHVZ

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

Mentions

wikipedia: Wikipedia Planarization, Planarization (definition). Also Wikidata Q18388881

History

2026-11-02: add by m2/dev

3P39PMZDVH 3P39PMZDVH

URI	`m2://inv/3P39PMZDVH`
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.24373#BNH4 (statement)

History

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

Determined game (or Strictly determined game) 3P3DWWFSF7

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

Mentions

wikipedia: Wikipedia Glossary of game theory#U2O8, Determined game (or Strictly determined game) (definition)

History

2026-11-02: add by m2/dev

3P3EM873GD 3P3EM873GD

URI	`m2://inv/3P3EM873GD`
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.13745#LB5W (statement). In CFJH0Q39FZ/e1, theorem 7.1

History

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

3P3EXZ6P5A 3P3EXZ6P5A

URI	`m2://inv/3P3EXZ6P5A`
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.22263#XDQU (statement)

History

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

Properties 3P3EZ83A7B

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

Mentions

wikipedia: Wikipedia Grand canonical ensemble#6C7W, Properties (statement)

History

2026-11-02: add by m2/dev

3P3GY2XADG 3P3GY2XADG

URI	`m2://inv/3P3GY2XADG`
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.10968#JFBM (statement). In KJRV9ZW833/e1, lemma A.1

History

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

3P3HY7PFQY 3P3HY7PFQY

URI	`m2://inv/3P3HY7PFQY`
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.36045#7KWA (statement). In F0E8YBV0Z0/e1, lemma 3.2

History

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

3P3QC5JEME 3P3QC5JEME

URI	`m2://inv/3P3QC5JEME`
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.07114#26W8 (statement). In HP3TM356J6/e1, proposition 6

History

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

Examples 3P42J0M64Y

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

Mentions

wikipedia: Wikipedia Tolerance relation#S7TN, Examples (example)

History

2026-11-02: add by m2/dev

Out shuffle 3P498KCZYW

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

Mentions

wikidata: Wikidata Q7111825, Out shuffle (concept). Also MathWorld Out-Shuffle

History

2026-10-26: add by m2/dev

Conley's fundamental theorem of dynamical systems 3P4B4648P6

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

Mentions

wikipedia: Wikipedia Conley's fundamental theorem of dynamical systems, Conley's fundamental theorem of dynamical systems (statement). Also Wikidata Q122143261

History

2026-11-02: add by m2/dev

3P4EW1ZB50 3P4EW1ZB50

URI	`m2://inv/3P4EW1ZB50`
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.20242#B294 (statement). In TAX627CRH2/e1, proposition 3.1

History

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

The method 3P4HMS50Z0

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

Mentions

wikipedia: Wikipedia Chakravala method#2WTL, The method (definition)

History

2026-11-02: add by m2/dev

Influence decoding 3P4J1G4YGH

URI	`m2://inv/3P4J1G4YGH`
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.04027#Y0I3, Influence decoding (statement). In DQB4YR2DFH/e1, lemma 12.5

History

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

pigeon hole principle 3P4K51M9YF

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

Mentions

applied_combinatorics: applied_combinatorics index/4.1/pigeon-hole-principle, pigeon hole principle (concept). In QKM9DD2H56, index, section 4.1

History

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

Properties 3P4MVMWMEM

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

Mentions

wikipedia: Wikipedia Directional derivative#EEKG, Properties (statement)

History

2026-11-02: add by m2/dev

Circular law 3P4ND7F6SF

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

Mentions

wikipedia: Wikipedia Circular law, Circular law (statement). Also Wikidata Q5121666

History

2026-11-02: add by m2/dev

Singular term 3P4PK8ST42

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

Mentions

wikipedia: Wikipedia Singular term, Singular term (definition). Also Wikidata Q7524254

History

2026-11-02: add by m2/dev

Color depth 3P4RFAZWW8

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#Y801, Color depth (unknown)

History

2026-11-02: add by m2/dev

Properties 3P4VAA78AS

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

Mentions

wikipedia: Wikipedia Free abelian group#1DMQ, Properties (statement)

History

2026-11-02: add by m2/dev

3P4W0JMZZ7 3P4W0JMZZ7

URI	`m2://inv/3P4W0JMZZ7`
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 2609.24638#ZYK0 (example)

History

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

open cylinder 3P4Y3VHK6V

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

Mentions

wikipedia: Wikipedia Cylinder#AWMZ, open cylinder (definition)

History

2026-11-02: add by m2/dev

Coherent equivalence 3P555EFQRQ

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

Mentions

wikipedia: Wikipedia Coherency (homotopy theory)#P3L7, Coherent equivalence (unknown)

History

2026-11-02: add by m2/dev

genus 3P55FDK0D9

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

Mentions

wikidata: Wikidata Q130419912, genus (unknown). Also MathWorld GraphGenus

History

2026-10-26: add by m2/dev

3P5633V3VT 3P5633V3VT

URI	`m2://inv/3P5633V3VT`
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-3 (exercise). In Y91XFCEVHQ, exercise, section 3.2

History

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

Khinchin's theorem on the factorization of distributions 3P572VJ534

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

Mentions

wikidata: Wikidata Q28403771, Khinchin's theorem on the factorization of distributions (statement). Also EoM Khinchin_theorem
wikipedia: Wikipedia Khinchin's theorem on the factorization of distributions, Khinchin's theorem on the factorization of distributions (statement). Also Wikidata Q28403771

History

2026-10-26: add by m2/dev

3P58V9FDNW 3P58V9FDNW

URI	`m2://inv/3P58V9FDNW`
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.07890#YPQF (statement). In 6F3GSDT2V1/e1, theorem A

History

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

epimorphism 3P5G9F0H96

URI	`m2://inv/3P5G9F0H96`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Epimorphism RVXDSY04KG

Mentions

wikidata: Wikidata Q1347208, epimorphism (unknown). Also nLab epimorphism
wikipedia: Wikipedia Epimorphism, Epimorphism (definition). Also Wikidata Q1347208

History

2026-10-26: add by m2/dev

3P5QD3S9SQ 3P5QD3S9SQ

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

Mentions

arxiv: arXiv 2610.16877#BU76 (statement). In YY4KFNMPC0/e1, corollary 3.2

History

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

Grand antiprism 3P64GGY86J

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#MWA3, Grand antiprism (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#48Q5, Grand antiprism (object)

History

2026-11-02: add by m2/dev

3P64N3FDT6 3P64N3FDT6

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

Mentions

arxiv: arXiv 2610.03865#BBAB (statement). In G3D1YR20BJ/e1, lemma 4.2

History

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

Formal definition 3P6KXRTC1F

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

Mentions

wikipedia: Wikipedia K-topology#62DF, Formal definition (definition)

History

2026-11-02: add by m2/dev

closed interval 3P6RZTGANH

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

Mentions

mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > closed interval, closed interval (unknown). Also Mathlib instIsManifoldIcc

History

2026-10-26: add by m2/dev

Weil–Châtelet group 3P6W7DB2BK

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

Mentions

wikipedia: Wikipedia List of things named after André Weil#D1BQ, Weil–Châtelet group (definition)

History

2026-11-02: add by m2/dev

Calderón–Zygmund lemma 3P715ECW7V

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

Mentions

wikipedia: Wikipedia Calderón–Zygmund lemma, Calderón–Zygmund lemma (statement). Also Wikidata Q1707076

History

2026-11-02: add by m2/dev

UFD 3P7194Y2JV

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

Mentions

lebl_scv: lebl_scv index/6.4/ufd, UFD (concept). In VNMV985MXX, index, section 6.4

History

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

Achievability 3P73C5NH98

URI	`m2://inv/3P73C5NH98`
Kind	statement
Layer	research
MSC	81-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 2610.06742#LYBP, Achievability (statement). In 24FJ7C8WPN/e1, theorem 3

History

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

Weber's theorem 3P75P3EAJP

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

Mentions

mathlib_1000: mathlib_1000 Q7978735, Weber's theorem (Algebraic curves) (statement). Also Wikidata Q7978735
thousand_plus: thousand_plus Q7978735, Weber's theorem (statement). Also Wikidata Q7978735, Wikipedia Weber's theorem (Algebraic curves)
wikidata: Wikidata Q7978735, Weber's theorem (statement). Also MathWorld WebersTheorem
wikipedia: Wikipedia Weber's theorem (algebraic curves), Weber's theorem (statement). Also Wikidata Q7978735

History

2026-10-26: add by m2/dev

Compatible (algebra) 3P7AZ4BHPN

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

Mentions

wikipedia: Wikipedia Congruence relation#85L6, Compatible (algebra) (unknown)

History

2026-11-02: add by m2/dev

Hugo Hadwiger 3P7S51RN60

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JRSM, Hugo Hadwiger (topic)

History

2026-11-02: add by m2/dev

Algorithm \(\FindPlaneH\ 3P7WQ8GPDJ

URI	`m2://inv/3P7WQ8GPDJ`
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.08664#J7W3, Algorithm \(\FindPlaneH\ (definition). In 1YY0P4ZS0T/e1, definition 21

History

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

David Firth 3P82W2JHF3

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

Mentions

wikipedia: Wikipedia David Firth (statistician), David Firth (topic). Also Wikidata Q19957783

History

2026-11-02: add by m2/dev

Hyperbolic angle 3P83A8Y50K

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

Mentions

wikipedia: Wikipedia List of calculus topics#43YX, Hyperbolic angle (definition)

History

2026-11-02: add by m2/dev

Radial deformation in cyclic spectral coordinates 3P8G9CTP0V

URI	`m2://inv/3P8G9CTP0V`
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#GB9J, Radial deformation in cyclic spectral coordinates (statement)

History

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

Examples 3P8JR6T6VS

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

Mentions

wikipedia: Wikipedia K-regular sequence#P7OJ, Examples (example)

History

2026-11-02: add by m2/dev

Choice of polynomial corrections 3P8SECW973

URI	`m2://inv/3P8SECW973`
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.15805#97PE, Choice of polynomial corrections (statement). In 2XVWG0Z18V/e1, lemma 7.1

History

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

3P8XX6CYRF 3P8XX6CYRF

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-227 (exercise). In VNMV985MXX, exercise, section 4.4

History

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

commutative diagram 3P8Y8CGM13

URI	`m2://inv/3P8Y8CGM13`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Commutative diagram WV898P4X16

Mentions

wikidata: Wikidata Q621542, commutative diagram (definition). Also MathWorld CommutativeDiagram, nLab commutative diagram, ProofWiki Definition:Commutative_Diagram
wikipedia: Wikipedia Commutative diagram, Commutative diagram (definition). Also Wikidata Q621542

History

2026-10-26: add by m2/dev

Physical interpretation of the von Mises yield criterion 3P91SR0AMK

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

Mentions

wikipedia: Wikipedia Von Mises yield criterion#01MF, Physical interpretation of the von Mises yield criterion (statement)

History

2026-11-02: add by m2/dev

3P97C9JTYE 3P97C9JTYE

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

Mentions

arxiv: arXiv 2610.22268#WM5D (statement). In 9ZD87293QS/e1, proposition 3.10

History

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

3P9FP0AHWR 3P9FP0AHWR

URI	`m2://inv/3P9FP0AHWR`
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.25431#E65E (statement)

History

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

Compound of five small rhombihexahedra 3P9JFFNKWW

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

Mentions

wikipedia: Wikipedia Compound of five small rhombihexahedra, Compound of five small rhombihexahedra (definition). Also Wikidata Q5156862

History

2026-11-02: add by m2/dev

Complementarity theory 3P9S3P5A09

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

Mentions

wikipedia: Wikipedia Complementarity theory, Complementarity theory (definition). Also Wikidata Q5156417

History

2026-11-02: add by m2/dev

Heteroscedasticity 3PA20TA4B6

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

Mentions

wikipedia: Wikipedia List of statistics articles#GZML, Heteroscedasticity (definition)

History

2026-11-02: add by m2/dev

3PA7XK2JSJ 3PA7XK2JSJ

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

Mentions

napkin: napkin tex/rep-theory/rep-alg.tex#definition-9 (definition). In RZP28ERRZV, definition, section 80.4

History

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

Smarandache–Wellin number 3PACZPQ8MF

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

Mentions

wikidata: Wikidata Q1091176, Smarandache–Wellin number (unknown). Also MathWorld Smarandache-WellinNumber, OEIS A019518
wikipedia: Wikipedia Smarandache–Wellin number, Smarandache–Wellin number (definition). Also Wikidata Q1091176

History

2026-10-26: add by m2/dev

3PAF0273J9 3PAF0273J9

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

Mentions

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

History

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

Baldassarre Boncompagni 3PB27HMT7W

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#MXG8, Baldassarre Boncompagni (unknown)

History

2026-11-02: add by m2/dev

Z function 3PB4VRH567

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

Mentions

wikidata: Wikidata Q8063364, Z function (unknown). Also LMFDB knowl lfunction.zfunction
wikipedia: Wikipedia Z function, Z function (definition). Also Wikidata Q8063364

History

2026-10-26: add by m2/dev

Constructivist analysis 3PBD9NSSN3

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#024O, Constructivist analysis (definition)

History

2026-11-02: add by m2/dev

Galves–Löcherbach model 3PBGMA256P

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

Mentions

wikipedia: Wikipedia Galves–Löcherbach model, Galves–Löcherbach model (definition). Also Wikidata Q24575409

History

2026-11-02: add by m2/dev

Shih-Hsien Yu 3PBRQJSGVV

URI	`m2://inv/3PBRQJSGVV`
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#DRFR, Shih-Hsien Yu (unknown)

History

2026-11-02: add by m2/dev

3PBYA59AS8 3PBYA59AS8

URI	`m2://inv/3PBYA59AS8`
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 0905.3937#49MQ (statement). In 9Z920GVSA7/e1, theorem 2.3

History

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

An easier condition implying axis-supported MRV 3PC189WKZ7

URI	`m2://inv/3PC189WKZ7`
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.29658#MJOY, An easier condition implying axis-supported MRV (statement)

History

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

3PCACZBKRH 3PCACZBKRH

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

Mentions

arxiv: arXiv 1805.04646#CS6A (definition). In WDDY7P9T66/e1, definition 2.3

History

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

3PCP4C81FK 3PCP4C81FK

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

Mentions

arxiv: arXiv 2609.21703#ZBUW (definition)

History

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

3PCQD41V2P 3PCQD41V2P

URI	`m2://inv/3PCQD41V2P`
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.19852#M50V (statement). In SPW2D8X2PG/e1, corollary 1

History

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

Law of large numbers 3PCV4FDAR5

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

Mentions

wikipedia: Wikipedia List of statistics articles#33SA, Law of large numbers (statement)

History

2026-11-02: add by m2/dev

Order decomposition 3PCV7Q317Q

URI	`m2://inv/3PCV7Q317Q`
Kind	statement
Layer	research
MSC	05-XX, 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.13063#G9OZ, Order decomposition (statement). In R5AFFWBMAF/e1, proposition 3.2

History

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

partial derivatives commute 3PCVDMGQ8V

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

Mentions

mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > partial derivatives commute, partial derivatives commute (unknown). Also Mathlib second_derivative_symmetric

History

2026-10-26: add by m2/dev

Monadic second-order logic 3PCVSGJV2A

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

Mentions

wikipedia: Wikipedia Monadic second-order logic, Monadic second-order logic (definition). Also Wikidata Q26899137

History

2026-11-02: add by m2/dev

Examples 3PDAHG1DMN

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

Mentions

wikipedia: Wikipedia Associative property#FU0N, Examples (example)

History

2026-11-02: add by m2/dev

3PDPMG3VXZ 3PDPMG3VXZ

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

Mentions

arxiv: arXiv 2610.04870#ZUVZ (statement). In X765ZXXVC3/e1, lemma 3.12

History

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

Dominici, Francesca 3PDYGKNDTB

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

Mentions

wikipedia: Wikipedia List of statisticians#SENH, Dominici, Francesca (topic)

History

2026-11-02: add by m2/dev

3PE6A1SN13 3PE6A1SN13

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

Mentions

arxiv: arXiv 2610.18084#BQKY (definition). In PKPT8NY665/e1, definition 1.3

History

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

3PE841CYQJ 3PE841CYQJ

URI	`m2://inv/3PE841CYQJ`
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 2410.18564#9X0R (statement). In MC8ZBZ14PM/e1, fact 2.3

History

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

3PEENM30R4 3PEENM30R4

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

Mentions

arxiv: arXiv 2610.12633#9U2A (statement). In NGZ5AZ70NN/e1, lemma 4.8

History

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

3PEV4GDYNJ 3PEV4GDYNJ

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

Mentions

arxiv: arXiv 2411.07061#ZG4V (statement). In S988ZVA1QE/e1, corollary 6

History

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

Extrapolation 3PEXZZPTJ1

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

Mentions

wikipedia: Wikipedia Extrapolation, Extrapolation (definition). Also Wikidata Q744069

History

2026-11-02: add by m2/dev

3PF2R71S81 3PF2R71S81

URI	`m2://inv/3PF2R71S81`
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.01932#MHUD (statement). In XDKWW6NR0K/e1, lemma 4.2

History

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

Jordan-Dedekind chain condition 3PF42NSF15

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

Mentions

wikipedia: Wikipedia Lattice (order)#J2SV, Jordan-Dedekind chain condition (unknown)

History

2026-11-02: add by m2/dev

3PF79BND18 3PF79BND18

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

Mentions

arxiv: arXiv 2610.01208#WKDD (statement). In 317GZJ38HS/e1, corollary 5.13

History

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

our notation 3PFJZWJ7DK

URI	`m2://inv/3PFJZWJ7DK`
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#ITSU, our notation (definition). In S26QVW5613/e1, definition 3.2.1

History

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

Eberlein–Šmulian theorem 3PFK4CQM9A

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

Mentions

wikipedia: Wikipedia Banach space#E4NE, Eberlein–Šmulian theorem (statement)

History

2026-11-02: add by m2/dev

Alexander Beilinson 3PFN09FDB7

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#5H5K, Alexander Beilinson (topic)

History

2026-11-02: add by m2/dev

Valiant–Vazirani theorem 3PFSKBZVD7

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

Mentions

wikipedia: Wikipedia List of theorems#LRQE, Valiant–Vazirani theorem (statement)

History

2026-11-02: add by m2/dev

Bullet graph 3PFW0YHP67

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

Mentions

wikipedia: Wikipedia Bullet graph, Bullet graph (definition). Also Wikidata Q4996822

History

2026-11-02: add by m2/dev

496 (Number) 3PG6K00BCK

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

Mentions

wikipedia: Wikipedia 400 (number)#Q5MV, 496 (Number) (unknown)

History

2026-11-02: add by m2/dev

Kirillov 3PG71V9H7E

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#R4BL, Kirillov (definition)

History

2026-11-02: add by m2/dev

Definitions 3PG95WCYX3

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

Mentions

wikipedia: Wikipedia Rational function#ZDGN, Definitions (definition)

History

2026-11-02: add by m2/dev

3PGAAAN056 3PGAAAN056

URI	`m2://inv/3PGAAAN056`
Kind	statement
Layer	research
MSC	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 2610.18302#1XJ2 (statement). In VJTRH1S4JA/e1, lemma 2.23

History

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

Observational study 3PGAP79Q4M

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

Mentions

wikipedia: Wikipedia Observational study, Observational study (topic). Also Wikidata Q818574

History

2026-11-02: add by m2/dev

R. Tyrrell Rockafellar 3PGP8M58WY

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

Mentions

wikipedia: Wikipedia R. Tyrrell Rockafellar, R. Tyrrell Rockafellar (topic). Also Wikidata Q2129819

History

2026-11-02: add by m2/dev

About equal 3PGXDT8Y12

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

Mentions

wikipedia: Wikipedia Approximation#C2DP, About equal (unknown)

History

2026-11-02: add by m2/dev

$k$-th order partial derivatives 3PH1RPQ58N

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

Mentions

mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > $k$-th order partial derivatives, $k$-th order partial derivatives (unknown)

History

2026-10-26: add by m2/dev

Balian–Low theorem 3PH1W0QRY3

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

Mentions

mathlib_1000: mathlib_1000 Q3527008, Balian–Low theorem (statement). Also Wikidata Q3527008
thousand_plus: thousand_plus Q3527008, Balian–Low theorem (statement). Also Wikidata Q3527008, Wikipedia Balian–Low theorem
wikipedia: Wikipedia Balian–Low theorem, Balian–Low theorem (statement). Also Wikidata Q3527008

History

2026-10-26: add by m2/dev

RadioGatun32 3PHB8SG8Z5

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

Mentions

wikipedia: Wikipedia RadioGatún#WU7K, RadioGatun32 (unknown)

History

2026-11-02: add by m2/dev

rooted graph 3PHER367AR

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

Mentions

wikidata: Wikidata Q7366593, rooted graph (unknown). Also MathWorld RootedGraph
wikipedia: Wikipedia Rooted graph, Rooted graph (definition). Also Wikidata Q7366593

History

2026-10-26: add by m2/dev

3PHT4SJA6B 3PHT4SJA6B

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-222 (exercise). In VNMV985MXX, exercise, section 4.4

History

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

elementary symmetric polynomial 3PHT76YZR6

URI	`m2://inv/3PHT76YZR6`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Elementary symmetric polynomial 0X5QVCF06N

Mentions

wikidata: Wikidata Q2235316, elementary symmetric polynomial (unknown). Also EoM Elementary_symmetric_polynomial, MathWorld ElementarySymmetricPolynomial, nLab elementary symmetric polynomial
wikipedia: Wikipedia Elementary symmetric polynomial, Elementary symmetric polynomial (definition). Also Wikidata Q2235316

History

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

3PHZ5VH9ZJ 3PHZ5VH9ZJ

URI	`m2://inv/3PHZ5VH9ZJ`
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.23671#J3GG (statement)

History

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

3PJ1MN8ARN 3PJ1MN8ARN

URI	`m2://inv/3PJ1MN8ARN`
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 2610.00789#R1TB (definition). In 4WPYBTARS2/e1, definition 2.32

History

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

3PJ9Z17EEY 3PJ9Z17EEY

URI	`m2://inv/3PJ9Z17EEY`
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.22344#MNLL (statement)

History

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

3PJBHFHY3V 3PJBHFHY3V

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

Mentions

open_logic: open_logic content/incompleteness/incompleteness-provability/lob-thm.tex#thm:lob (statement). In PKGMM3P5QY, thm, section 28.2

History

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

3PJNJHYR7H 3PJNJHYR7H

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

Mentions

arxiv: arXiv 2609.33512#6INS (statement). In WYHZMYZT31/e1, lemma 3.17

History

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

3PKACK16RF 3PKACK16RF

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

Mentions

arxiv: arXiv 2610.21365#J9ZW (statement). In FCMMB2EVAP/e1, theorem 5.2

History

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

3PKBFXM4CJ 3PKBFXM4CJ

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

Mentions

arxiv: arXiv 2504.07573#TJMU (example). In 78X5SKJX8J/e1, example 7.9

History

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

Edward, Prince of Wales 3PKCYE26A8

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

Mentions

wikipedia: Wikipedia List of presidents of the Royal Statistical Society#66RX, Edward, Prince of Wales (unknown)

History

2026-11-02: add by m2/dev

Connected ring 3PKDRR8KMV

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

Mentions

wikipedia: Wikipedia Connected ring, Connected ring (definition). Also Wikidata Q5161412

History

2026-11-02: add by m2/dev

Equation after projection 3PKMA1TV6R

URI	`m2://inv/3PKMA1TV6R`
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.32829#VSVW, Equation after projection (statement). In RYWAX33Z51/e1, lemma 7.8

History

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

3PKRS4X6K6 3PKRS4X6K6

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

Mentions

napkin: napkin tex/set-theory/forcing.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 90.2

History

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

3PKTG82SJR 3PKTG82SJR

URI	`m2://inv/3PKTG82SJR`
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.21929#GZLS (statement). In 2PP4XRVS0J/e1, theorem 8.2

History

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

3PKV2PNWY4 3PKV2PNWY4

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

Mentions

arxiv: arXiv 2407.04161#QX2D (statement). In JBZJ7NPQ4G/e1, proposition 3.7

History

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

path 3PKV3T0A2M

URI	`m2://inv/3PKV3T0A2M`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Path 03NAMV1DHJ

Mentions

wikidata: Wikidata Q1415372, path (unknown). Also MathWorld GraphPath
wikipedia: Wikipedia Path (graph theory), Path (definition). Also Wikidata Q1415372

History

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

3PKYW0QE6X 3PKYW0QE6X

URI	`m2://inv/3PKYW0QE6X`
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.29152#0XL8 (statement)

History

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

Yakov Eliashberg 3PM3H8069N

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

Mentions

wikipedia: Wikipedia Yakov Eliashberg, Yakov Eliashberg (topic). Also Wikidata Q1399503

History

2026-11-02: add by m2/dev

Volterra sweeping process 3PM59YE6E8

URI	`m2://inv/3PM59YE6E8`
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.27414#W23H, Volterra sweeping process (statement)

History

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

Examples 3PM6KNWAWX

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

Mentions

wikipedia: Wikipedia Conserved current#AWX6, Examples (example)

History

2026-11-02: add by m2/dev

Applications 3PM7N1B01G

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

Mentions

wikipedia: Wikipedia Malmquist bias#DBPJ, Applications (example)

History

2026-11-02: add by m2/dev

3PMHFPA4NK 3PMHFPA4NK

URI	`m2://inv/3PMHFPA4NK`
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#X8HN (statement). In MBHJA0HT06/e1, proposition 3.4

History

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

Method 3PMXD4PK1Y

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

Mentions

wikipedia: Wikipedia Binomial options pricing model#W4YA, Method (definition)

History

2026-11-02: add by m2/dev

Clinical trial 3PN0A39BDB

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

Mentions

wikipedia: Wikipedia List of statistics articles#6Z3T, Clinical trial (definition)

History

2026-11-02: add by m2/dev

3PN5S314T3 3PN5S314T3

URI	`m2://inv/3PN5S314T3`
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.02993#LDV1 (statement). In TJH58FRGEN/e1, theorem 1.3

History

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

Philosophia Mathematica 3PNA20MTYB

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

Mentions

wikipedia: Wikipedia Philosophia Mathematica, Philosophia Mathematica (definition). Also Wikidata Q7186165

History

2026-11-02: add by m2/dev

Lemon 3PNDD8534N

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

Mentions

wikidata: Wikidata Q85776234, Lemon (unknown). Also MathWorld LemonSurface
wikipedia: Wikipedia Lemon (geometry), Lemon (definition). Also Wikidata Q85776234

History

2026-10-26: add by m2/dev

row space 3PNG8CXK1X

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#696K, row space (definition)

History

2026-11-02: add by m2/dev

Lusser's law 3PNQDAF4D2

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

Mentions

wikipedia: Wikipedia Lusser's law, Lusser's law (statement). Also Wikidata Q6705237

History

2026-11-02: add by m2/dev

Shortest total path length spanning tree 3PNYX1WFS4

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#TOMF, Shortest total path length spanning tree (unknown)

History

2026-11-02: add by m2/dev

Example 3PP2E476Y4

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

Mentions

wikipedia: Wikipedia Direct stiffness method#CSUH, Example (example)

History

2026-11-02: add by m2/dev

List of random number generators 3PP2G92HVZ

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

Mentions

wikipedia: Wikipedia List of random number generators, List of random number generators (topic). Also Wikidata Q1864774

History

2026-11-02: add by m2/dev

3PPC0EN727 3PPC0EN727

URI	`m2://inv/3PPC0EN727`
Kind	statement
Layer	research
MSC	14-XX, 20-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.03756#R0Z6 (statement). In 2381M4GBTT/e1, proposition 6.7

History

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

3PPRNKFBR7 3PPRNKFBR7

URI	`m2://inv/3PPRNKFBR7`
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 2012.06334#IXN2 (statement). In QD725J6HV4/e1, lemma 1

History

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

satisfiability 3PPWZZX8HQ

URI	`m2://inv/3PPWZZX8HQ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Satisfiability QN7M1JCGT9

Mentions

wikidata: Wikidata Q1350299, satisfiability (unknown). Also MathWorld Satisfiable
wikipedia: Wikipedia Satisfiability, Satisfiability (definition). Also Wikidata Q1350299

History

2026-10-26: add by m2/dev

3PQ0EWYH39 3PQ0EWYH39

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

Mentions

arxiv: arXiv 2610.08837#I9S5 (statement). In KBH265QSBT/e1, lemma 8.11

History

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

3PQ22TX3NC 3PQ22TX3NC

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

Mentions

arxiv: arXiv 2609.36423#OF58 (definition). In Q5Z178SAHP/e1, definition 3.12

History

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

Oka theorem 3PQ3556YR8

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

Mentions

wikipedia: Wikipedia Plurisubharmonic function#O6J3, Oka theorem (statement)

History

2026-11-02: add by m2/dev

Galois geometry 3PQ8A0ND8H

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#0Y19, Galois geometry (definition)

History

2026-11-02: add by m2/dev

Binary utility and Bayes error 3PQPA6MW4R

URI	`m2://inv/3PQPA6MW4R`
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#HEGD, Binary utility and Bayes error (statement). In 9YAE8FNQST/e1, corollary 26.9

History

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

3PQX0EXW2F 3PQX0EXW2F

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

Mentions

arxiv: arXiv 2610.21092#R2ZI (statement). In AGJE43FTF8/e1, proposition 4.21

History

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

3PQXFAV2T2 3PQXFAV2T2

URI	`m2://inv/3PQXFAV2T2`
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.28024#G02V (statement)

History

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

3PR2VGX2CN 3PR2VGX2CN

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

Mentions

arxiv: arXiv 2610.04135#SO5L (statement). In 587PWJ6W5D/e1, corollary 3

History

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

3PR765F596 3PR765F596

URI	`m2://inv/3PR765F596`
Kind	example
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.28848#TGYR (example)

History

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

commutative monoid 3PRG2E1FTB

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

Mentions

wikidata: Wikidata Q19934355, commutative monoid (unknown). Also MathWorld CommutativeMonoid, nLab commutative monoid

History

2026-10-26: add by m2/dev

Existence of relaxed minimizers 3PRRMP0V3V

URI	`m2://inv/3PRRMP0V3V`
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.00033#39Z4, Existence of relaxed minimizers (statement). In SHMMW4JXZ1/e1, lemma 7

History

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

Bott cannibalistic class 3PRS1G732K

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

Mentions

wikipedia: Wikipedia Bott cannibalistic class, Bott cannibalistic class (definition). Also Wikidata Q4948979

History

2026-11-02: add by m2/dev

3PRZK3793D 3PRZK3793D

URI	`m2://inv/3PRZK3793D`
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 2505.04063#UAKT (statement). In TFH7T63DX9/e1, lemma S.9

History

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

Charles C. Pugh 3PSAZKEADN

URI	`m2://inv/3PSAZKEADN`
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#HMV8, Charles C. Pugh (topic)

History

2026-11-02: add by m2/dev

Pseudo-real representation 3PSDCPRD2M

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

Mentions

wikipedia: Wikipedia List of representation theory topics#WD2O, Pseudo-real representation (definition)

History

2026-11-02: add by m2/dev

3PSDRHMS4R 3PSDRHMS4R

URI	`m2://inv/3PSDRHMS4R`
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.15847#UJJJ (statement). In BTV3DAMX28/e1, theorem 3

History

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

3PSH0TRXFT 3PSH0TRXFT

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

Mentions

hott_book: hott_book homotopy.tex#proof-34 (proof). In N54F33XE07, proof, section 7.6

History

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

3PSM5TFPAH 3PSM5TFPAH

URI	`m2://inv/3PSM5TFPAH`
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.07963#GR7Z (statement). In HAGJKEZ1CK/e1, theorem 2.8

History

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

Coefficient 3PSS0H3V8P

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

Mentions

wikipedia: Wikipedia List of polynomial topics#3C5S, Coefficient (definition)

History

2026-11-02: add by m2/dev

3PSXF4VGXG 3PSXF4VGXG

URI	`m2://inv/3PSXF4VGXG`
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 2603.28861#0UK9 (statement). In A3VQ2TNRKK/e1, proposition A.7

History

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

Properties 3PSXFG2BJJ

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

Mentions

wikipedia: Wikipedia Taxicab geometry#SALT, Properties (statement)

History

2026-11-02: add by m2/dev

Sethi model 3PSZ1SP620

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

Mentions

wikipedia: Wikipedia List of statistics articles#91FY, Sethi model (definition)

History

2026-11-02: add by m2/dev

Definition 3PTAB1BNJY

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

Mentions

wikipedia: Wikipedia Kontsevich invariant#DNGA, Definition (definition)

History

2026-11-02: add by m2/dev

3PTESX28RM 3PTESX28RM

URI	`m2://inv/3PTESX28RM`
Kind	statement
Layer	research
MSC	19-XX, 37-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.31883#I7LZ (statement). In XBHQRTBH62/e1, proposition 3.5

History

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

3PTSRA0A0H 3PTSRA0A0H

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-28 (exercise). In QKM9DD2H56, exercise, section 2

History

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

Linearized controllability around $w$ 3PTTYXJ24C

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

Mentions

arxiv: arXiv 2610.11968#TRXZ, Linearized controllability around $w$ (statement). In X6E7P2ACAS/e1, theorem 1.4

History

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

Relationship to the law of the excluded middle 3PTVBHP9HM

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

Mentions

wikipedia: Wikipedia Principle of bivalence#NLSF, Relationship to the law of the excluded middle (statement)

History

2026-11-02: add by m2/dev

Timeline of Mathcounts 3PTX46YN3C

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

Mentions

wikipedia: Wikipedia Mathcounts#9Z9C, Timeline of Mathcounts (unknown)

History

2026-11-02: add by m2/dev

Heine 3PV0QX5JY8

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#C1BG, Heine (definition)

History

2026-11-02: add by m2/dev

Deutsche Mathematik 3PV0VQNACJ

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

Mentions

wikipedia: Wikipedia Deutsche Mathematik, Deutsche Mathematik (definition). Also Wikidata Q1203464

History

2026-11-02: add by m2/dev

3PV5S8SK8Q 3PV5S8SK8Q

URI	`m2://inv/3PV5S8SK8Q`
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.38206#N574 (statement). In F71MS1F637/e1, theorem 4.11

History

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

Polynomial-time implementation 3PV5TQCWWF

URI	`m2://inv/3PV5TQCWWF`
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.20701#Y3HI, Polynomial-time implementation (statement)

History

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

Vaccine trial 3PV6MJMA97

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

Mentions

wikipedia: Wikipedia Vaccine trial, Vaccine trial (definition). Also Wikidata Q7907956

History

2026-11-02: add by m2/dev

Population Clock 3PV78PRPHP

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

Mentions

wikipedia: Wikipedia United States Census Bureau#1Z4N, Population Clock (unknown)

History

2026-11-02: add by m2/dev

Theorem (Ruzsa triangle inequality) 3PVCZHVC70

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

Mentions

wikipedia: Wikipedia Ruzsa triangle inequality#MJG7, Theorem (Ruzsa triangle inequality) (statement)

History

2026-11-02: add by m2/dev

function, injective 3PVNGRVF7B

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

Mentions

applied_combinatorics: applied_combinatorics index/4.1/function-injective, function, injective (concept). In QKM9DD2H56, index, section 4.1

History

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

Edwin Bidwell Wilson 3PVPMGB3QP

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

Mentions

wikipedia: Wikipedia Edwin Bidwell Wilson, Edwin Bidwell Wilson (topic). Also Wikidata Q912906

History

2026-11-02: add by m2/dev

Irena Peeva 3PVRTK8NQS

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

Mentions

wikipedia: Wikipedia Irena Peeva, Irena Peeva (topic). Also Wikidata Q17285695

History

2026-11-02: add by m2/dev

3PVTMGVZRK 3PVTMGVZRK

URI	`m2://inv/3PVTMGVZRK`
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.35682#5PDV (statement). In 7XM8WXVBWK/e1, proposition 2.7

History

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

The Drunkard's Walk 3PVVB2PNR7

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

Mentions

wikipedia: Wikipedia The Drunkard's Walk, The Drunkard's Walk (definition). Also Wikidata Q18011319

History

2026-11-02: add by m2/dev

3PVWH8M398 3PVWH8M398

URI	`m2://inv/3PVWH8M398`
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 2504.00267#HCOP (statement). In 38XJWDZ2PH/e1, theorem 4.19

History

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

Transfer entropy 3PW2TA09RG

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

Mentions

wikipedia: Wikipedia Transfer entropy, Transfer entropy (definition). Also Wikidata Q17147155

History

2026-11-02: add by m2/dev

Computations 3PW6S9NFHC

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

Mentions

wikipedia: Wikipedia Bruhat decomposition#C7GB, Computations (definition)

History

2026-11-02: add by m2/dev

3PW8WM3RXX 3PW8WM3RXX

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

Mentions

arxiv: arXiv 2610.04809#VI9Z (statement). In 2VHV0RNTNV/e1, corollary 2.10

History

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

3PWA02ZVRM 3PWA02ZVRM

URI	`m2://inv/3PWA02ZVRM`
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 2204.01073#VF2A (statement). In W4TYN4PGE8/e1, lemma 2.7

History

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

Brascamp–Lieb inequality 3PWE12M9VG

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

Mentions

wikipedia: Wikipedia List of inequalities#M4EV, Brascamp–Lieb inequality (statement)

History

2026-11-02: add by m2/dev

Sample complexity of the Sinkhorn divergence 3PWF2C5ETZ

URI	`m2://inv/3PWF2C5ETZ`
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.01199#AB0U, Sample complexity of the Sinkhorn divergence (statement). In XZ4MRWR77Q/e1, lemma 1

History

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

A6 lattice 3PX1FWPAQ8

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

Mentions

wikipedia: Wikipedia 6-simplex honeycomb#3YYF, A6 lattice (unknown)

History

2026-11-02: add by m2/dev

Example 3PX4Q8Y6PY

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

Mentions

wikipedia: Wikipedia Sociable number#YRBF, Example (example)

History

2026-11-02: add by m2/dev

Parallel analysis 3PX8J20494

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

Mentions

wikipedia: Wikipedia Parallel analysis, Parallel analysis (definition). Also Wikidata Q60792852

History

2026-11-02: add by m2/dev

3PXB8JC1H0 3PXB8JC1H0

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/trakhtenbrot.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 86.10

History

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

Submodule criteria 3PXK94NKQK

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

Mentions

arxiv: arXiv 2610.15887#956O, Submodule criteria (statement). In 87QYNZZ67Z/e1, proposition 2.1

History

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

Bézier triangle 3PXTCP64R0

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#MUGM, Bézier triangle (definition)

History

2026-11-02: add by m2/dev

3PXZN4B3Y5 3PXZN4B3Y5

URI	`m2://inv/3PXZN4B3Y5`
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 2610.13792#IH5N (definition). In ZH0PFTZ12Y/e1, definition 4.6

History

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

Variations 3PYD17DBYF

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

Mentions

wikipedia: Wikipedia Lanczos algorithm#6VPB, Variations (statement)

History

2026-11-02: add by m2/dev

3PYGSVJCJK 3PYGSVJCJK

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

Mentions

hott_book: hott_book categories.tex#ct:cat-eq-iso (statement). In N54F33XE07, lem, section 2.4

History

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

Classical height 3PYHEK2SVK

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

Mentions

wikipedia: Wikipedia Height function#K38L, Classical height (unknown)

History

2026-11-02: add by m2/dev

MUS lifting 3PYM7923HJ

URI	`m2://inv/3PYM7923HJ`
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.10950#DZXK, MUS lifting (statement). In P392PEVRAY/e1, lemma 4.3

History

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

Apollonius of Perga 3PYQ93VHAZ

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#N5FR, Apollonius of Perga (topic)
wikipedia: Wikipedia List of publications in mathematics#HUII, Apollonius of Perga (topic)

History

2026-11-02: add by m2/dev

3PYQCK1CA3 3PYQCK1CA3

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

Mentions

arxiv: arXiv 2610.16554#20H1 (statement). In GWNT8HEZG1/e1, proposition 2.13

History

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

3PZ4A2XBWC 3PZ4A2XBWC

URI	`m2://inv/3PZ4A2XBWC`
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.38532#DQD0 (statement). In X7YYWCZFTV/e1, fact 3.2

History

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

3PZ4ZVQSNM 3PZ4ZVQSNM

URI	`m2://inv/3PZ4ZVQSNM`
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.16399#VBY1 (statement). In 2N87D4KTSY/e1, lemma 2.3

History

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

Modulus of smoothness 3PZERQFWT0

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

Mentions

wikipedia: Wikipedia Modulus of smoothness, Modulus of smoothness (definition). Also Wikidata Q25109621

History

2026-11-02: add by m2/dev

Stable polynomial 3PZHW3RQ48

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

Mentions

wikipedia: Wikipedia Stable polynomial, Stable polynomial (definition). Also Wikidata Q13424738

History

2026-11-02: add by m2/dev

Sharp extremal contact 3PZJF58CTZ

URI	`m2://inv/3PZJF58CTZ`
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.26152#ADBX, Sharp extremal contact (statement)

History

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

Peter Roquette 3PZKAWWAQG

URI	`m2://inv/3PZKAWWAQG`
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#B8IE, Peter Roquette (topic)

History

2026-11-02: add by m2/dev

3PZM92A85Q 3PZM92A85Q

URI	`m2://inv/3PZM92A85Q`
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.11047#NP90 (statement). In MNQAZ70XTH/e1, lemma 10.1

History

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

3PZNN5604C 3PZNN5604C

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

Mentions

arxiv: arXiv 2610.09354#XI4O (statement). In 5VAJC29KA2/e1, proposition 4.8

History

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

Kelmans–Seymour conjecture 3PZR6EMGFW

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#8UOV, Kelmans–Seymour conjecture (statement)

History

2026-11-02: add by m2/dev

Examples 3PZR7E6YDD

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

Mentions

wikipedia: Wikipedia Schinzel's hypothesis H#0FVR, Examples (example)

History

2026-11-02: add by m2/dev

Randomness 3PZSVJRCEA

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

Mentions

wikipedia: Wikipedia List of statistics articles#03VE, Randomness (definition)

History

2026-11-02: add by m2/dev