Inventory rows F3

F30DFN5GBF F30DFN5GBF

URI	`m2://inv/F30DFN5GBF`
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#Y3DI (statement). In 9RBATD2Z1F/e1, corollary 3.12

History

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

W.T. Gowers F30S1FH80A

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

Mentions

wikipedia: Wikipedia List of Banach spaces#5NLZ, W.T. Gowers (topic)

History

2026-11-02: add by m2/dev

F30W7KRPGT F30W7KRPGT

URI	`m2://inv/F30W7KRPGT`
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.08658#XNS3 (statement). In 7PK5WS7246/e1, proposition 4.1

History

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

Theorem: existence and uniqueness of PT random measures F30XHBZCPW

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

Mentions

wikipedia: Wikipedia Poisson-type random measure#5GYK, Theorem: existence and uniqueness of PT random measures (statement)

History

2026-11-02: add by m2/dev

Boris Dubrovin F310PDEH86

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

Mentions

wikipedia: Wikipedia Boris Dubrovin (mathematician), Boris Dubrovin (topic). Also Wikidata Q893614

History

2026-11-02: add by m2/dev

Algebraic geometry of projective spaces F314Y20Y0W

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

Mentions

wikipedia: Wikipedia Algebraic geometry of projective spaces, Algebraic geometry of projective spaces (definition). Also Wikidata Q4724002

History

2026-11-02: add by m2/dev

Morse–Kelley set theory F316DBXBN1

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

Mentions

wikipedia: Wikipedia List of first-order theories#7NCF, Morse–Kelley set theory (definition)

History

2026-11-02: add by m2/dev

F318DAZFPP F318DAZFPP

URI	`m2://inv/F318DAZFPP`
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#S88Z (statement). In W4TYN4PGE8/e1, lemma 6.13

History

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

Diagonal $N$-invariance F3199SBEMW

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

Mentions

arxiv: arXiv 2609.29877#Z6VL, Diagonal $N$-invariance (statement)

History

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

Delaporte distribution F31A0D8SQE

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZI1Y, Delaporte distribution (definition)

History

2026-11-02: add by m2/dev

F31B3Y4JQ5 F31B3Y4JQ5

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

Mentions

arxiv: arXiv 2609.25275#1MIE (statement)

History

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

Holly Krieger F31D0QPJ3M

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

Mentions

wikipedia: Wikipedia Holly Krieger, Holly Krieger (topic). Also Wikidata Q62773096

History

2026-11-02: add by m2/dev

Linear torus F31ESZR0RV

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

Mentions

wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#SK3D, Linear torus (definition)

History

2026-11-02: add by m2/dev

Statement F31P1E1A27

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

Mentions

wikipedia: Wikipedia Forster–Swan theorem#YP4S, Statement (statement)

History

2026-11-02: add by m2/dev

Riesz sequence F31R06WKCV

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

Mentions

wikipedia: Wikipedia Riesz sequence, Riesz sequence (definition). Also Wikidata Q4075274

History

2026-11-02: add by m2/dev

diversity F31SNC1FZX

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#PMOK, diversity (definition)

History

2026-11-02: add by m2/dev

Width, index, descent F326M85PF6

URI	`m2://inv/F326M85PF6`
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.30323#TVD9, Width, index, descent (definition). In HDJ6N25XVT/e1, definition 2.3

History

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

Triangular billiards F32909YAPN

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

Mentions

wikipedia: Wikipedia Triangular billiards, Triangular billiards (definition). Also Wikidata Q138024802

History

2026-11-02: add by m2/dev

Definition F32T9MC92P

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

Mentions

wikipedia: Wikipedia Direct sum of matrices#YR9D, Definition (definition)

History

2026-11-02: add by m2/dev

Erdős–Borwein constant F32T9T48RM

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

Mentions

wikidata: Wikidata Q1349661, Erdős–Borwein constant (object). Also MathWorld Erdos-BorweinConstant
wikipedia: Wikipedia Erdős–Borwein constant, Erdős–Borwein constant (definition). Also Wikidata Q1349661

History

2026-10-26: add by m2/dev

Lagrange reversion theorem F32VY4NXHM

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

Mentions

wikipedia: Wikipedia List of theorems#4JUI, Lagrange reversion theorem (statement)

History

2026-11-02: add by m2/dev

F32ZJSEZF5 F32ZJSEZF5

URI	`m2://inv/F32ZJSEZF5`
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.17553#GZ68 (statement). In ETMBHKF5A9/e1, lemma 5.11

History

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

Preorder F333MHC33V

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

Mentions

wikipedia: Wikipedia List of order structures in mathematics#C4S0, Preorder (definition)

History

2026-11-02: add by m2/dev

Definition F336XHYBC7

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

Mentions

wikipedia: Wikipedia Hrushovski construction#PYV5, Definition (definition)

History

2026-11-02: add by m2/dev

F33E8JVKV8 F33E8JVKV8

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

Mentions

arxiv: arXiv 2609.33590#O9DL (statement). In WRE0P7V6Z3/e1, corollary 1.21

History

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

F33HZTT2WZ F33HZTT2WZ

URI	`m2://inv/F33HZTT2WZ`
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.07260#8RZB (statement). In 33KABVV985/e1, theorem 1.1

History

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

Criterion for local analyticity F33KZQKC5K

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

Mentions

wikipedia: Wikipedia Fourier–Bros–Iagolnitzer transform#80LY, Criterion for local analyticity (statement)

History

2026-11-02: add by m2/dev

Evgeny Remez F33P5A69GS

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#A0B8, Evgeny Remez (unknown)

History

2026-11-02: add by m2/dev

Spectral transfer F33VQ6H73S

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

Mentions

arxiv: arXiv 2610.15432#IY8T, Spectral transfer (definition). In D1DFM4WYEW/e1, definition 7.1

History

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

A fourteen-vertex non-completely-positive certificate F3433EB0AP

URI	`m2://inv/F3433EB0AP`
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.36827#87N8, A fourteen-vertex non-completely-positive certificate (example). In VSHAQTB2CA/e1, example 3.10

History

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

Applications F34B5XBG5N

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

Mentions

wikipedia: Wikipedia M-matrix#94KT, Applications (example)

History

2026-11-02: add by m2/dev

F34GX8MA73 F34GX8MA73

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

Mentions

arxiv: arXiv 2610.03327#6DMV (statement). In EBNXA84CPM/e1, lemma 3.4

History

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

F34H30D0MX F34H30D0MX

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

Mentions

arxiv: arXiv math/0512416#S06K (statement). In WJD9YPGGYH/e1, lemma 2.4

History

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

F34HDHR406 F34HDHR406

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

Mentions

arxiv: arXiv 2610.13518#RSJU (statement). In 613TY6V089/e1, lemma 7

History

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

F34M264DPQ F34M264DPQ

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

Mentions

applied_combinatorics: applied_combinatorics source/s_probability_intro.ptx#example-1 (example). In QKM9DD2H56, example, section 10.1

History

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

Uncertainty principle F34NEQ737G

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

Mentions

wikipedia: Wikipedia Quantum mechanics#G3X3, Uncertainty principle (statement)

History

2026-11-02: add by m2/dev

Empty product F34P5AH2EC

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

Mentions

wikipedia: Wikipedia Empty product, Empty product (definition). Also Wikidata Q1812172

History

2026-11-02: add by m2/dev

F34VDEPZYB F34VDEPZYB

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

Mentions

wikipedia: Wikipedia Siméon Denis Poisson#K3BD (problem)

History

2026-11-02: add by m2/dev

William Craig F34WBVZFNH

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

Mentions

wikipedia: Wikipedia William Craig (philosopher), William Craig (topic). Also Wikidata Q8007226

History

2026-11-02: add by m2/dev

Reduced C*-algebra F34XVHPYPT

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

Mentions

wikipedia: Wikipedia Group algebra of a locally compact group#B2MH, Reduced C*-algebra (unknown)

History

2026-11-02: add by m2/dev

F355G3QGTR F355G3QGTR

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

Mentions

arxiv: arXiv 2609.33406#ABR8 (statement). In B23TX8G4E4/e1, lemma 4.7

History

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

F359547KT8 F359547KT8

URI	`m2://inv/F359547KT8`
Kind	definition
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 1002.0879#8WVO (definition). In M0SQY5EZN5/e1, definition 4.7.4

History

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

Algorithm F35A0SN65Q

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

Mentions

wikipedia: Wikipedia Edmonds–Karp algorithm#MUVX, Algorithm (definition)

History

2026-11-02: add by m2/dev

Theorem F35D6QZH1K

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

Mentions

wikipedia: Wikipedia Łojasiewicz inequality#2IIC, Theorem (statement)

History

2026-11-02: add by m2/dev

F35K9W33H8 F35K9W33H8

URI	`m2://inv/F35K9W33H8`
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.35360#8HLO (statement). In 770AQ8T366/e1, theorem 1.3

History

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

Gauss's lemma F35V8DWQAS

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

Mentions

wikipedia: Wikipedia List of theorems#XWB3, Gauss's lemma (statement)
wikipedia: Wikipedia List of lemmas#SDZM, Gauss's lemma (Riemannian geometry) (statement)

History

2026-11-02: add by m2/dev

F35WQ3G1H2 F35WQ3G1H2

URI	`m2://inv/F35WQ3G1H2`
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.04264#TD2L (statement). In 5YRJ4HGY4N/e1, proposition 6

History

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

Change of variable F35XEW3569

URI	`m2://inv/F35XEW3569`
Kind	statement
Layer	research
MSC	51-XX, 52-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 2211.04407#Z5OJ, Change of variable (statement). In XCZS191H6Q/e1, lemma 3

History

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

Examples F35YV8YQH1

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

Mentions

wikipedia: Wikipedia Statistical manifold#X9S3, Examples (example)

History

2026-11-02: add by m2/dev

F366R3TZE9 F366R3TZE9

URI	`m2://inv/F366R3TZE9`
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 2610.13931#ALO2 (definition). In EXA79VR78Q/e1, definition 2.3

History

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

F36BV5N8R8 F36BV5N8R8

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

Mentions

arxiv: arXiv 2609.27931#J9DZ (statement)

History

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

Lianne Sheppard F36GCM3P4K

URI	`m2://inv/F36GCM3P4K`
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#ZK95, Lianne Sheppard (topic)

History

2026-11-02: add by m2/dev

James P. M. Ntozi F36HBPYS4R

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

Mentions

wikipedia: Wikipedia James P. M. Ntozi, James P. M. Ntozi (topic). Also Wikidata Q84925001

History

2026-11-02: add by m2/dev

No extreme points F36K0Y0WPS

URI	`m2://inv/F36K0Y0WPS`
Kind	example
Layer	research
MSC	46-XX, 49-XX, 60-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 2606.21391#9JP0, No extreme points (example). In J9C7YMKJ33/e1, example 4.17

History

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

Salinon F36MFA1AEF

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

Mentions

wikidata: Wikidata Q962703, Salinon (unknown). Also MathWorld Salinon
wikipedia: Wikipedia Salinon, Salinon (definition). Also Wikidata Q962703

History

2026-10-26: add by m2/dev

Categorical mixture model F36P1RZA1R

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

Mentions

wikipedia: Wikipedia Mixture model#ITQO, Categorical mixture model (unknown)

History

2026-11-02: add by m2/dev

FC-group F36QQEGTJZ

URI	`m2://inv/F36QQEGTJZ`
Kind	definition
Layer	textbook
Sources	1
Outcome	deferred (the item has its own article, page 4966938)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of group theory#GY4A, FC-group (definition)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

F36S8EX5X1 F36S8EX5X1

URI	`m2://inv/F36S8EX5X1`
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.32338#9OTS (definition). In HVY45JQRNK/e1, definition 2.26

History

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

Hasse–Weil zeta function F36VWG6JXP

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

Mentions

wikipedia: Wikipedia List of zeta functions#P1M9, Hasse–Weil zeta function (definition)

History

2026-11-02: add by m2/dev

plane geometry F36YZSYV05

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

Mentions

wikidata: Wikidata Q3760348, plane geometry (definition). Also MathWorld PlaneGeometry, nLab plane geometry, ProofWiki Definition:Plane_Geometry

History

2026-10-26: add by m2/dev

Bolyai–Gerwien theorem F371HTX5ZM

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

Mentions

wikipedia: Wikipedia List of theorems#5SHL, Bolyai–Gerwien theorem (statement)

History

2026-11-02: add by m2/dev

F37E0TJD87 F37E0TJD87

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_seq-recurrence.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 3.4

History

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

Theta F37E56R1E5

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

Mentions

wikipedia: Wikipedia Theta (set theory), Theta (definition). Also Wikidata Q8083984

History

2026-11-02: add by m2/dev

Mittag-Leffler summation F37GQZGVT2

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

Mentions

wikipedia: Wikipedia Mittag-Leffler summation, Mittag-Leffler summation (definition). Also Wikidata Q6883441

History

2026-11-02: add by m2/dev

differentiable, infinitely F37HRXJWP4

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

Mentions

lebl_ra: lebl_ra index/3.3.2/differentiable-infinitely, differentiable, infinitely (concept). In E59CDZA4DP, index, section 3.3.2

History

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

F37JSBG07J F37JSBG07J

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

Mentions

arxiv: arXiv 2609.26479#JMJJ (statement)

History

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

Notation F37KH2FQZ5

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

Mentions

wikipedia: Wikipedia Norm (mathematics)#Y235, Notation (definition)

History

2026-11-02: add by m2/dev

F38JGW06XZ F38JGW06XZ

URI	`m2://inv/F38JGW06XZ`
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.25100#8F8M (statement)

History

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

F38JTXFHW3 F38JTXFHW3

URI	`m2://inv/F38JTXFHW3`
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.09809#G1CR (statement). In 7NKQ6PR78N/e1, lemma 4.1

History

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

F38VE14CMT F38VE14CMT

URI	`m2://inv/F38VE14CMT`
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.29489#7BM7 (statement)

History

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

Elementary properties of extremal length F3903X2EZS

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

Mentions

wikipedia: Wikipedia Extremal length#9YAQ, Elementary properties of extremal length (statement)

History

2026-11-02: add by m2/dev

F391E9CDRH F391E9CDRH

URI	`m2://inv/F391E9CDRH`
Kind	statement
Layer	research
MSC	19-XX, 30-XX, 32-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.26808#ITVJ (statement)

History

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

F3931NKY54 F3931NKY54

URI	`m2://inv/F3931NKY54`
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.25314#6Z66 (statement)

History

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

F396KFNQP2 F396KFNQP2

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

Mentions

arxiv: arXiv 2609.27628#SRU2 (example)

History

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

Variations F398BGR8XB

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

Mentions

wikipedia: Wikipedia K-means clustering#CHBC, Variations (statement)

History

2026-11-02: add by m2/dev

Gaussian-binomial determinant for the local upper slice F39BBB2B90

URI	`m2://inv/F39BBB2B90`
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.24541#NWAR, Gaussian-binomial determinant for the local upper slice (statement)

History

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

Bruce Schneier F39BPRR83Y

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

Mentions

wikipedia: Wikipedia List of cryptographers#ERUF, Bruce Schneier (topic)

History

2026-11-02: add by m2/dev

Ars Magna F39DFQS81E

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

Mentions

wikidata: Wikidata Q1231083, Ars Magna (unknown). Also ProofWiki Book:Gerolamo_Cardano/Artis_Magnae,_Sive_de_Regulis_Algebraicis
wikipedia: Wikipedia Ars Magna (Cardano book), Ars Magna (definition). Also Wikidata Q1231083

History

2026-10-26: add by m2/dev

Limit of a function F39NN2HAV7

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

Mentions

wikipedia: Wikipedia List of calculus topics#XS04, Limit of a function (definition)

History

2026-11-02: add by m2/dev

Philip Wolfe F39NNZNYY8

URI	`m2://inv/F39NNZNYY8`
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#8UNT, Philip Wolfe (topic)

History

2026-11-02: add by m2/dev

Approximations to the identity F39TTX76P0

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

Mentions

wikipedia: Wikipedia Dirac delta function#THP6, Approximations to the identity (statement)

History

2026-11-02: add by m2/dev

F3A5R639AC F3A5R639AC

URI	`m2://inv/F3A5R639AC`
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.08633#T5MN (statement). In 7MV7RGDVXF/e1, theorem C

History

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

derivative test F3AA6JGRWH

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

Mentions

wikidata: Wikidata Q898560, derivative test (concept). Also MathWorld FirstDerivativeTest
wikipedia: Wikipedia Derivative test, Derivative test (definition). Also Wikidata Q898560

History

2026-10-26: add by m2/dev

$\cW_\alpha$-Initialization F3AWPY3RAJ

URI	`m2://inv/F3AWPY3RAJ`
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 2006.05158#CESL, $\cW_\alpha$-Initialization (statement). In 4VCW6SZQXK/e1, lemma 8

History

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

Examples F3B4JCZZB0

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

Mentions

wikipedia: Wikipedia Orbit trap#IRUT, Examples (example)

History

2026-11-02: add by m2/dev

F3B77GYK0M F3B77GYK0M

URI	`m2://inv/F3B77GYK0M`
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.07162#MJC0 (statement). In MQEB9ZHQAT/e1, theorem

History

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

Leading monomial F3C1BE7W4G

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

Mentions

wikipedia: Wikipedia Monomial order#YB1Z, Leading monomial (unknown)

History

2026-11-02: add by m2/dev

F3CKXSE6ZZ F3CKXSE6ZZ

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

Mentions

arxiv: arXiv 1408.1555#JE2L (proof). In S1F2QW24YW/e1, proof

History

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

Problem finding F3CP2YDT2Q

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

Mentions

wikipedia: Wikipedia Problem finding, Problem finding (problem). Also Wikidata Q13604401

History

2026-11-02: add by m2/dev

Julia Böttcher F3CSVPVBW6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#A9QM, Julia Böttcher (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WCOU, Julia Böttcher (unknown)

History

2026-11-02: add by m2/dev

A converse to Hall's theorem F3CTD40Q88

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

Mentions

wikipedia: Wikipedia Hall subgroup#N875, A converse to Hall's theorem (statement)

History

2026-11-02: add by m2/dev

Complexities: Women in Mathematics F3CV8T5W8C

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

Mentions

wikipedia: Wikipedia Complexities: Women in Mathematics, Complexities: Women in Mathematics (definition). Also Wikidata Q85753699

History

2026-11-02: add by m2/dev

Apollonius's theorem F3CYM68Y0C

URI	`m2://inv/F3CYM68Y0C`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	3
Outcome	node (a node has the same name as the row)
Node	Apollonius's theorem 0NAKHQ9XYY

Mentions

mathlib_1000: mathlib_1000 Q877489, Apollonius's theorem (statement). Also Mathlib EuclideanGeometry.dist_sq_add_dist_sq_eq_two_mul_dist_midpoint_sq_add_half_dist_sq, Wikidata Q877489
thousand_plus: thousand_plus Q877489, Apollonius's theorem (statement). Also Wikidata Q877489, Wikipedia Apollonius's theorem
wikipedia: Wikipedia Apollonius's theorem, Apollonius's theorem (statement). Also Wikidata Q877489

History

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

F3CZHKSSBG F3CZHKSSBG

URI	`m2://inv/F3CZHKSSBG`
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.16203#B9R9 (statement). In 43TBS9P2PX/e1, lemma 3.5

History

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

Generalizations F3D0P2SZ7P

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

Mentions

wikipedia: Wikipedia Feynman–Kac formula#UTH0, Generalizations (statement)

History

2026-11-02: add by m2/dev

F3D68CCMEV F3D68CCMEV

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

Mentions

arxiv: arXiv 2610.14044#PK3T (example). In 5452SJRWDT/e1, example 6.2

History

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

normal subgroup F3D99PH13A

URI	`m2://inv/F3D99PH13A`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same name as the row)
Node	Normal subgroup 0CB0DX5BVV

Mentions

mathlib_overview: mathlib_overview General algebra > Group theory > normal subgroup, normal subgroup (unknown). Also Mathlib Subgroup.Normal
mathlib_undergrad: mathlib_undergrad Group Theory > Basic definitions > normal subgroup, normal subgroup (unknown). Also Mathlib Subgroup.Normal
wikidata: Wikidata Q743179, normal subgroup (definition). Also EoM Normal_subgroup, Mathlib Subgroup.Normal, MathWorld NormalSubgroup, nLab normal subgroup, ProofWiki Definition:Normal_Subgroup
wikipedia: Wikipedia Normal subgroup, Normal subgroup (definition). Also Wikidata Q743179

History

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

Diophantine set F3DE1VVSM1

URI	`m2://inv/F3DE1VVSM1`
Kind	statement
Layer	textbook
MSC	03-XX
Sources	5
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q16251580, Matiyasevich's theorem (statement). Also Mathlib Pell.matiyasevic, Wikidata Q16251580
mathlib_overview: mathlib_overview General algebra > Number theory > Matiyasevič's theorem, Matiyasevič's theorem (unknown). Also Mathlib Pell.matiyasevic
thousand_plus: thousand_plus Q16251580, Matiyasevich's theorem (statement). Also Mathlib Pell.matiyasevic, Wikidata Q16251580, Wikipedia Matiyasevich's theorem
wikidata: Wikidata Q16251580, Diophantine set (unknown). Also MathWorld DiophantineSet
wikipedia: Wikipedia Diophantine set, Diophantine set (definition). Also Wikidata Q16251580

History

2026-10-26: add by m2/dev

$\psi$-weak convergence F3DVJN2K89

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

Mentions

arxiv: arXiv 2610.08821#I5S6, $\psi$-weak convergence (definition). In KP1THB2C09/e1, definition 4.2

History

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

F3E001W06X F3E001W06X

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

Mentions

arxiv: arXiv math/0406514#QK31 (statement). In CY1FE8W1ZW/e1, lemma 0.181

History

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

Douglas C. Heggie F3E3AZZ707

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

Mentions

wikipedia: Wikipedia Douglas C. Heggie, Douglas C. Heggie (topic). Also Wikidata Q61739511

History

2026-11-02: add by m2/dev

Orthogonal diagonalization F3E3MYQVGE

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

Mentions

wikipedia: Wikipedia Orthogonal diagonalization, Orthogonal diagonalization (definition). Also Wikidata Q7104529

History

2026-11-02: add by m2/dev

Quantum walk F3E56VAPGC

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

Mentions

wikipedia: Wikipedia Quantum walk, Quantum walk (definition). Also Wikidata Q7269113

History

2026-11-02: add by m2/dev

F3EETBWQH2 F3EETBWQH2

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

Mentions

arxiv: arXiv 2609.21552#1BBP (statement)

History

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

F3EP8S94CP F3EP8S94CP

URI	`m2://inv/F3EP8S94CP`
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 1008.4946#Y4VE (definition). In R4ZM6Q4SHH/e1, definition 4

History

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

Statement F3EZYDRPTY

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

Mentions

wikipedia: Wikipedia Fundamental lemma of interpolation theory#9LMG, Statement (statement)

History

2026-11-02: add by m2/dev

Quadratic growth and the dual gap F3F0J56QN9

URI	`m2://inv/F3F0J56QN9`
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.17127#ETPY, Quadratic growth and the dual gap (statement). In NZJ5B5KSDQ/e1, lemma 4

History

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

F3F2NF27QB F3F2NF27QB

URI	`m2://inv/F3F2NF27QB`
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.12803#IA1U (statement). In 98GNJ4MS7Q/e1, lemma 3

History

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

General warmness budget F3F7EVHMTQ

URI	`m2://inv/F3F7EVHMTQ`
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.16248#ZLHD, General warmness budget (statement). In TP61DYMBMK/e1, corollary 1

History

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

Tibor Radó F3FDMA85J7

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

Mentions

wikipedia: Wikipedia Tibor Radó, Tibor Radó (topic). Also Wikidata Q896749

History

2026-11-02: add by m2/dev

Affine sections of prime sheaves F3FEZWTZ6R

URI	`m2://inv/F3FEZWTZ6R`
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#EAJJ, Affine sections of prime sheaves (statement). In 87QYNZZ67Z/e1, lemma 5.1

History

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

Inbetweening F3FJZPCNBQ

URI	`m2://inv/F3FJZPCNBQ`
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#Y05D, Inbetweening (unknown)

History

2026-11-02: add by m2/dev

The polytope of $\KMS_1$ states F3FN68XC1F

URI	`m2://inv/F3FN68XC1F`
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.30544#SN0F, The polytope of $\KMS_1$ states (statement). In CB35ZBBBPT/e1, theorem E

History

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

Cannon–Thurston map F3FQZWHK89

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

Mentions

wikipedia: Wikipedia Cannon–Thurston map, Cannon–Thurston map (definition). Also Wikidata Q96374379

History

2026-11-02: add by m2/dev

F3FYVYJ8SE F3FYVYJ8SE

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

Mentions

napkin: napkin tex/alg-geom/proj-var.tex#definition-11 (definition). In RZP28ERRZV, definition, section 23.5

History

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

F3GGWTGZRA F3GGWTGZRA

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

Mentions

austin_ula: austin_ula src/section2-3.xml#example-span-linear-dep (example). In 649HGZKE96, example, section 2.3.2

History

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

Kronecker index F3GJ4PRB3C

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#BWVV, Kronecker index (definition)

History

2026-11-02: add by m2/dev

Examples F3GJV8K0J1

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

Mentions

wikipedia: Wikipedia Abstract simplicial complex#C7L9, Examples (example)

History

2026-11-02: add by m2/dev

F3GKS27WSS F3GKS27WSS

URI	`m2://inv/F3GKS27WSS`
Kind	definition
Layer	research
MSC	03-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.20718#MAWO (definition)

History

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

F3GRTC2C2H F3GRTC2C2H

URI	`m2://inv/F3GRTC2C2H`
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.22040#PR7S (statement). In 2QP93JHYNB/e1, corollary 7.1

History

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

Hodge conjecture F3GWHDVTBB

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

Mentions

wikipedia: Wikipedia W. V. D. Hodge#5THP, Hodge conjecture (statement)

History

2026-11-02: add by m2/dev

F3H42B0KXV F3H42B0KXV

URI	`m2://inv/F3H42B0KXV`
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#G9YL (statement). In X6E7P2ACAS/e1, lemma 3.8

History

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

The nonlocal switching semigroup F3H4BP0XBS

URI	`m2://inv/F3H4BP0XBS`
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.32585#9MW0, The nonlocal switching semigroup (statement). In FJFJ3WR1SS/e1, proposition 8.3

History

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

Entropy removal for finite sets F3H9HK7QGQ

URI	`m2://inv/F3H9HK7QGQ`
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.23922#R4OC, Entropy removal for finite sets (statement)

History

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

F3HJWMJMQN F3HJWMJMQN

URI	`m2://inv/F3HJWMJMQN`
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.20588#20GT (statement)

History

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

Convexity space F3HSCCMGZ7

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

Mentions

wikipedia: Wikipedia Convex set#MV1V, Convexity space (unknown)

History

2026-11-02: add by m2/dev

F3HXGS570M F3HXGS570M

URI	`m2://inv/F3HXGS570M`
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.21274#ZIKR (statement)

History

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

Improved outgoing remainder F3HZPTVTE9

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

Mentions

arxiv: arXiv 2610.00241#E5XL, Improved outgoing remainder (statement). In VBRQTN2RXN/e1, proposition 5.4

History

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

F3J2WT5PPR F3J2WT5PPR

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

Mentions

napkin: napkin tex/calculus/differentiate.tex#corollary-1 (statement). In RZP28ERRZV, corollary, section 30.2

History

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

F3JH9HH57G F3JH9HH57G

URI	`m2://inv/F3JH9HH57G`
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.03477#J2OH (problem). In GXN3D4G4HE/e1, problem 3

History

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

F3JPMMF36T F3JPMMF36T

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-6 (exercise). In E59CDZA4DP, exercise, section 9.1.4

History

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

Refined decoupling F3JV7EXN83

URI	`m2://inv/F3JV7EXN83`
Kind	statement
Layer	research
MSC	05-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 2610.16114#Z5ZG, Refined decoupling (statement). In JZZ3FJ382R/e1, theorem 4.7

History

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

F3K66MFQV6 F3K66MFQV6

URI	`m2://inv/F3K66MFQV6`
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 2401.15490#9I1N (problem). In AAY60GVERS/e1, problem 4

History

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

ostensive definition F3KC30XQ84

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

Mentions

wikipedia: Wikipedia Glossary of logic#83N4, ostensive definition (definition)

History

2026-11-02: add by m2/dev

F3KDM27JC8 F3KDM27JC8

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

Mentions

arxiv: arXiv 2207.12181#K19I (definition). In FSD8NE3XSR/e1, definition 7.5

History

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

F3KJ5WFXWC F3KJ5WFXWC

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

Mentions

arxiv: arXiv 2609.31276#F8OM (problem). In WYDHWYFRFK/e1, problem

History

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

locally path-connected space F3KNDNNBKQ

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

Mentions

wikidata: Wikidata Q16671984, locally path-connected space (unknown). Also MathWorld LocallyArcwise-Connected, MathWorld LocallyPathwise-Connected, nLab locally path-connected space

History

2026-10-26: add by m2/dev

The Pseudofunctions $Y_{\alpha}$, where $\alpha \in \mathbb{C}$; see page 43 F3KPGYG4W5

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

Mentions

arxiv: arXiv 2609.22759#02DD, The Pseudofunctions $Y_{\alpha}$, where $\alpha \in \mathbb{C}$; see page 43 (definition)

History

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

Z F3KPXTDEXA

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

Mentions

wikipedia: Wikipedia Glossary of set theory#77RV, Z (definition)

History

2026-11-02: add by m2/dev

Statement F3KS8P8RHE

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

Mentions

wikipedia: Wikipedia Buckingham pi theorem#X7SG, Statement (statement)

History

2026-11-02: add by m2/dev

F3M0D4GG4Z F3M0D4GG4Z

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

Mentions

arxiv: arXiv 2609.39531#ND2Z (statement). In SN9RSTHQ07/e1, lemma E.8

History

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

Infographics F3M9CVHADK

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

Mentions

wikipedia: Wikipedia List of information graphics software#3UM0, Infographics (unknown)

History

2026-11-02: add by m2/dev

Bias--stability bound F3MD07X4QM

URI	`m2://inv/F3MD07X4QM`
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.21363#X90S, Bias--stability bound (statement). In YPH7NS5AAQ/e1, proposition 5.4

History

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

Definition F3MRE9795R

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

Mentions

wikipedia: Wikipedia Exponential object#3YOU, Definition (definition)

History

2026-11-02: add by m2/dev

Riemann hypothesis for curves over finite fields F3MZ1QFJ2A

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

Mentions

wikipedia: Wikipedia Local zeta function#AHLW, Riemann hypothesis for curves over finite fields (statement)

History

2026-11-02: add by m2/dev

Lemma 2 F3N3K69AAM

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

Mentions

wikipedia: Wikipedia Hilbert's theorem (differential geometry)#QGMA, Lemma 2 (statement)

History

2026-11-02: add by m2/dev

F3N5FQCX8N F3N5FQCX8N

URI	`m2://inv/F3N5FQCX8N`
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.02790#1913 (statement). In NB7HZ8W2K2/e1, lemma 28

History

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

I. J. Good F3N9FG4R5K

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#N3ST, I. J. Good (topic)

History

2026-11-02: add by m2/dev

Explicit formula for 2x2 matrices F3NDMH767B

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

Mentions

wikipedia: Wikipedia Invertible matrix#1KFA, Explicit formula for 2x2 matrices (statement)

History

2026-11-02: add by m2/dev

Lommel polynomial F3NR17DZNF

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

Mentions

wikipedia: Wikipedia Lommel polynomial, Lommel polynomial (definition). Also Wikidata Q3066710

History

2026-11-02: add by m2/dev

morass F3NV7E7QJK

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

Mentions

wikipedia: Wikipedia Glossary of set theory#2QX5, morass (definition)

History

2026-11-02: add by m2/dev

Valentin Poénaru F3NZEFNSRN

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

Mentions

wikipedia: Wikipedia Valentin Poénaru, Valentin Poénaru (topic). Also Wikidata Q1386168

History

2026-11-02: add by m2/dev

Approximate solution F3P4R4WZ9F

URI	`m2://inv/F3P4R4WZ9F`
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.18797#ORK7, Approximate solution (statement). In HVZW77G66Z/e1, proposition 4.1

History

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

Existence F3P8N9QN2E

URI	`m2://inv/F3P8N9QN2E`
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 1311.6044#PGRP, Existence (statement). In W4FFB6SVZD/e1, theorem 1.2

History

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

deformation quantization F3PBMTGE3F

URI	`m2://inv/F3PBMTGE3F`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Deformation quantization 3MKSJ1J04K

Mentions

wikidata: Wikidata Q131143202, deformation quantization (unknown). Also nLab deformation quantization
wikipedia: Wikipedia Deformation quantization, Deformation quantization (definition). Also Wikidata Q131143202

History

2026-10-26: add by m2/dev

Artin L-functions F3PE1NHQKC

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

Mentions

wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#YXIX, Artin L-functions (definition)

History

2026-11-02: add by m2/dev

Apala Majumdar F3PEK7896H

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

Mentions

wikipedia: Wikipedia Apala Majumdar, Apala Majumdar (topic). Also Wikidata Q60138266

History

2026-11-02: add by m2/dev

Properties F3PJ86SH5W

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

Mentions

wikipedia: Wikipedia Generalizations of Pauli matrices#WIFX, Properties (statement)

History

2026-11-02: add by m2/dev

F3PX09CEJ1 F3PX09CEJ1

URI	`m2://inv/F3PX09CEJ1`
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.32977#RFWU (statement). In 4KT9TK3MG4/e1, lemma 3.2

History

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

Otto Leiberich F3Q85W3ZY0

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

Mentions

wikipedia: Wikipedia List of cryptographers#84OC, Otto Leiberich (topic)

History

2026-11-02: add by m2/dev

Chen--Nie F3QBFF923Y

URI	`m2://inv/F3QBFF923Y`
Kind	conjecture
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.26191#S9WX, Chen--Nie (conjecture)

History

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

George Eason F3QC2HQN43

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

Mentions

wikipedia: Wikipedia George Eason, George Eason (topic). Also Wikidata Q23682882

History

2026-11-02: add by m2/dev

F3QH9WGWBY F3QH9WGWBY

URI	`m2://inv/F3QH9WGWBY`
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.12108#T0JG (definition). In JQH3FHYPW3/e1, definition 3.14

History

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

Depth of noncommutative subrings F3QJY8CK8Y

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

Mentions

wikipedia: Wikipedia Depth of noncommutative subrings, Depth of noncommutative subrings (definition). Also Wikidata Q5260976

History

2026-11-02: add by m2/dev

F3QKE6CCME F3QKE6CCME

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

Mentions

arxiv: arXiv 2609.21914#7FY6 (statement)

History

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

F3QMFFS6YS F3QMFFS6YS

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

Mentions

open_logic: open_logic content/intuitionistic-logic/introduction/bhk-interpretation.tex#ex-1 (example). In PKGMM3P5QY, ex, section 31.2

History

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

Examples F3RA6MQ4YM

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

Mentions

wikipedia: Wikipedia Crown graph#R3UD, Examples (example)

History

2026-11-02: add by m2/dev

F3REEJ476Q F3REEJ476Q

URI	`m2://inv/F3REEJ476Q`
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.24185#IH8T (statement)

History

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

F3RFJ3VMGB F3RFJ3VMGB

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

Mentions

austin_ula: austin_ula src/section6-2.xml#example-orthog-comp-gen (example). In 649HGZKE96, example, section 6.2.2

History

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

Roman Jackiw F3RSBV0NFH

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

Mentions

wikidata: Wikidata Q2164635, Roman Jackiw (unknown). Also nLab Roman Jackiw

History

2026-10-26: add by m2/dev

F3RSJX00WT F3RSJX00WT

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

Mentions

arxiv: arXiv 2609.33590#BH5M (statement). In WRE0P7V6Z3/e1, lemma 9.5

History

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

Kepler-11 F3RTEV9GPE

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

Mentions

wikipedia: Wikipedia List of things named after Johannes Kepler#DFHU, Kepler-11 (unknown)

History

2026-11-02: add by m2/dev

F3SA3JP12R F3SA3JP12R

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

Mentions

arxiv: arXiv 2610.00312#HD6I (statement). In 41NFABHFXH/e1, theorem 6.4

History

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

F3SAWREMF3 F3SAWREMF3

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

Mentions

arxiv: arXiv 2610.06440#KSTE (definition). In 5YB65RB13X/e1, definition 2.3

History

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

F3SC83C3GH F3SC83C3GH

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

Mentions

arxiv: arXiv 2609.36412#N9RK (statement). In 6HKGGCMBCK/e1, lemma 4.5

History

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

supergravity F3SDDE0C51

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

Mentions

wikidata: Wikidata Q958871, supergravity (unknown). Also nLab supergravity
wikipedia: Wikipedia Supergravity, Supergravity (definition). Also Wikidata Q958871

History

2026-10-26: add by m2/dev

F3SQ924PCB F3SQ924PCB

URI	`m2://inv/F3SQ924PCB`
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.29489#VIS2 (statement)

History

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

Utah Data Center F3SW0JR2ZC

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

Mentions

wikipedia: Wikipedia Utah Data Center, Utah Data Center (definition). Also Wikidata Q12857142

History

2026-11-02: add by m2/dev

William Bodiford F3SY85W2MN

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#OJXU, William Bodiford (unknown)

History

2026-11-02: add by m2/dev

Degree of simple extensions of the rationals as a criterion to algebraicity F3T6RV83XA

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

Mentions

wikipedia: Wikipedia Algebraic number#8UNY, Degree of simple extensions of the rationals as a criterion to algebraicity (statement)

History

2026-11-02: add by m2/dev

Convex weighted risk coefficient F3T98F24B4

URI	`m2://inv/F3T98F24B4`
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.33360#XSM3, Convex weighted risk coefficient (statement). In GH6FSDK4YB/e1, proposition B.1

History

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

G F3THC380XK

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#N9E0, G (definition)

History

2026-11-02: add by m2/dev

768 (number) F3TSS10B58

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

Mentions

wikipedia: Wikipedia 700 (number)#USV9, 768 (number) (unknown)

History

2026-11-02: add by m2/dev

Great dodecicosacron F3TT649ESD

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#J83V, Great dodecicosacron (object)

History

2026-11-02: add by m2/dev

1911 United Kingdom census boycotters F3TY3WSNW9

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

Mentions

wikipedia: Wikipedia 1911 United Kingdom census boycotters, 1911 United Kingdom census boycotters (definition). Also Wikidata Q133971996

History

2026-11-02: add by m2/dev

F3V144X7FV F3V144X7FV

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

Mentions

arxiv: arXiv 2609.26386#ANP6 (statement)

History

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

F3V72T176E F3V72T176E

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

Mentions

arxiv: arXiv 2610.15525#R70A (statement). In EFDRME13PT/e1, proposition 9.4

History

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

F3VFMG1Z6K F3VFMG1Z6K

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

Mentions

arxiv: arXiv alg-geom/9506022#DHNJ (example). In AQGEM4XAKD/e1, example 1.8

History

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

Karsten Nohl F3VVHH68RM

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

Mentions

wikipedia: Wikipedia Karsten Nohl, Karsten Nohl (topic). Also Wikidata Q104627

History

2026-11-02: add by m2/dev

Alan Ross Anderson F3W22QA2R2

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

Mentions

wikipedia: Wikipedia List of logicians#SAYQ, Alan Ross Anderson (topic)

History

2026-11-02: add by m2/dev

Edge Automorphism Group F3W7Q44P54

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

Mentions

wikidata: Wikidata Q97621539, Edge Automorphism Group (unknown). Also MathWorld EdgeAutomorphismGroup

History

2026-10-26: add by m2/dev

F3WPYG6E17 F3WPYG6E17

URI	`m2://inv/F3WPYG6E17`
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.07644#66CT (statement). In TFAN2DR6FD/e1, lemma 10

History

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

F3WT5Z2TZ6 F3WT5Z2TZ6

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

Mentions

arxiv: arXiv 2610.14783#PQK0 (statement). In Y3X5XY2J65/e1, theorem 8.1

History

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

F3WX6X3G34 F3WX6X3G34

URI	`m2://inv/F3WX6X3G34`
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#RCAW (statement). In GWNT8HEZG1/e1, proposition 4.17

History

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

F3X0BFXNJA F3X0BFXNJA

URI	`m2://inv/F3X0BFXNJA`
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#FMKJ (statement). In 443TZD4P0A/e1, lemma 6

History

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

Lattice Products F3X2YTP8XV

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

Mentions

arxiv: arXiv 2610.13222#V4K5, Lattice Products (statement). In Z6WA2R0J50/e1, lemma 6.3

History

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

Sousselier graph F3X71R5EM2

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

Mentions

wikidata: Wikidata Q2416308, Sousselier graph (unknown). Also House of Graphs 1329

History

2026-10-26: add by m2/dev

Coefficient of performance F3X9PYMT0D

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

Mentions

wikipedia: Wikipedia Coefficient of performance, Coefficient of performance (definition). Also Wikidata Q902090

History

2026-11-02: add by m2/dev

F3XA68MEXM F3XA68MEXM

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

Mentions

arxiv: arXiv 2610.09599#KLV5 (statement). In 4JYGH9XNA9/e1, proposition 4.3

History

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

F3XDHVKZMA F3XDHVKZMA

URI	`m2://inv/F3XDHVKZMA`
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 2504.14383#M5YB (statement). In QD0X3XJS6T/e1, proposition 9.1

History

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

Examples F3XEA57DCA

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

Mentions

wikipedia: Wikipedia Matrix factorization (algebra)#BFZQ, Examples (example)

History

2026-11-02: add by m2/dev

F3XF67Z7ZX F3XF67Z7ZX

URI	`m2://inv/F3XF67Z7ZX`
Kind	statement
Layer	research
MSC	11-XX, 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 2508.21045#UNSQ (statement). In CGA36VE1C5/e1, fact 8.1.1

History

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

F3XG1K9WGG F3XG1K9WGG

URI	`m2://inv/F3XG1K9WGG`
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.17325#59EN (statement). In SE16BAED46/e1, theorem 4

History

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

Dodecagram F3XHYKF4E5

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#BJFF, Dodecagram (definition)

History

2026-11-02: add by m2/dev

Marcia Gumpertz F3XPGNEFK6

URI	`m2://inv/F3XPGNEFK6`
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#6RGA, Marcia Gumpertz (unknown)

History

2026-11-02: add by m2/dev

F3XT3MTMH4 F3XT3MTMH4

URI	`m2://inv/F3XT3MTMH4`
Kind	problem
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.36135#5W5G (problem). In H96A235409/e1, problem 1

History

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

Variations of the tobit model F3XX41AB6K

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

Mentions

wikipedia: Wikipedia Tobit model#N28K, Variations of the tobit model (statement)

History

2026-11-02: add by m2/dev

Lotka's law F3XZ07TYXG

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

Mentions

wikipedia: Wikipedia Lotka's law, Lotka's law (statement). Also Wikidata Q1350547

History

2026-11-02: add by m2/dev

F3Y18XHHV9 F3Y18XHHV9

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

Mentions

arxiv: arXiv 2610.16875#VOMR (statement). In KS30K5JXGB/e1, lemma B.4

History

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

F3Y2E6FTPS F3Y2E6FTPS

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

History

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

Orlicz smoothing estimate F3Y4R4TAM1

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

Mentions

arxiv: arXiv 2610.08074#LBSK, Orlicz smoothing estimate (statement). In ZRPYF750AV/e1, theorem 3.1

History

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

F3Y8967HRJ F3Y8967HRJ

URI	`m2://inv/F3Y8967HRJ`
Kind	statement
Layer	research
MSC	35-XX, 46-XX, 47-XX, 51-XX, 52-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 2610.07728#1DA8 (statement). In B1VVAKFCKZ/e1, lemma 7.2

History

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

Gödelization F3Y9MJ7741

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

Mentions

wikidata: Wikidata Q77839244, Gödelization (unknown). Also EoM Gödelization

History

2026-10-26: add by m2/dev

List of formulas in Riemannian geometry F3Y9Y02W4M

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#WP56, List of formulas in Riemannian geometry (topic)

History

2026-11-02: add by m2/dev

F3YFMN43QV F3YFMN43QV

URI	`m2://inv/F3YFMN43QV`
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 2609.39260#EMPQ (statement). In ZNDB1AZZSA/e1, theorem 2.7

History

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

F3YPDSCZD8 F3YPDSCZD8

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

Mentions

arxiv: arXiv 2303.09207#6407 (statement). In 9DQKY7KGE8/e1, lemma 6.43

History

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

Arens decomposition F3Z07GDR0G

URI	`m2://inv/F3Z07GDR0G`
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.13385#QBD9, Arens decomposition (statement). In J99CBQ3QYD/e1, proposition 2.2

History

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

F3Z1ACCS38 F3Z1ACCS38

URI	`m2://inv/F3Z1ACCS38`
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.06669#6NM5 (statement). In YXD3950ZXR/e1, lemma 3.9

History

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

F3Z2E75ZVV F3Z2E75ZVV

URI	`m2://inv/F3Z2E75ZVV`
Kind	statement
Layer	research
MSC	20-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.03422#5TZN (statement). In SF88CM0957/e1, lemma 5.9

History

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

\FTS under the exponent condition F3Z2NG0M55

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

Mentions

arxiv: arXiv 2609.35844#JI7K, \FTS under the exponent condition (statement). In V33HFE8TZT/e1, lemma 2

History

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

Applications F3Z4ANTEXN

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

Mentions

wikipedia: Wikipedia Log sum inequality#78AQ, Applications (example)

History

2026-11-02: add by m2/dev

F3ZEMYWJC8 F3ZEMYWJC8

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

Mentions

arxiv: arXiv 2610.15771#2V9D (statement). In F2243YZX7A/e1, proposition 2.2

History

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

Example F3ZH447E07

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

Mentions

wikipedia: Wikipedia Oper (mathematics)#236P, Example (example)

History

2026-11-02: add by m2/dev

preadditive F3ZS9V30A0

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

Mentions

wikipedia: Wikipedia Glossary of category theory#H6UW, preadditive (definition)

History

2026-11-02: add by m2/dev