Inventory rows 3J

Dolgachev surface 3J01S9ZPHK

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#5QIB, Dolgachev surface (definition)

History

2026-11-02: add by m2/dev

3J020QYG9G 3J020QYG9G

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

Mentions

arxiv: arXiv 2609.30262#RHQC (example). In FWA5QW6FCF/e1, example 7.3

History

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

3J069RGB44 3J069RGB44

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

Mentions

arxiv: arXiv 2609.40096#XMC2 (statement). In XFE35F9NEV/e1, proposition 2.10

History

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

Gelfond–Schneider theorem 3J09MMPM5Q

URI	`m2://inv/3J09MMPM5Q`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	4
Outcome	open
Node	Gelfond–Schneider theorem RN58Z2NWAC

Mentions

mathlib_1000: mathlib_1000 Q976033, Gelfond–Schneider theorem (statement). Also Wikidata Q976033
thousand_plus: thousand_plus Q976033, Gelfond–Schneider theorem (statement). Also Wikidata Q976033, Wikipedia Gelfond–Schneider theorem
wikidata: Wikidata Q976033, Gelfond–Schneider theorem (statement). Also MathWorld GelfondsTheorem
wikipedia: Wikipedia Gelfond–Schneider theorem, Gelfond–Schneider theorem (statement). Also Wikidata Q976033

History

2026-10-26: add by m2/dev

3J0B7Z1351 3J0B7Z1351

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

Mentions

arxiv: arXiv 2609.28011#8WP2 (definition)

History

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

Vitello 3J0H899YDM

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

Mentions

wikipedia: Wikipedia List of German mathematicians#G5NY, Vitello (unknown)

History

2026-11-02: add by m2/dev

The equilibrium measure near zero 3J0HJP2QX6

URI	`m2://inv/3J0HJP2QX6`
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.06480#O7LA, The equilibrium measure near zero (statement). In 2Y47E704Z9/e1, proposition 2.2

History

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

Conserved quantity 3J0JXYNCTH

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

Mentions

wikipedia: Wikipedia Conserved quantity, Conserved quantity (object). Also Wikidata Q1071013

History

2026-11-02: add by m2/dev

Euler characteristic 3J0RRD0M7G

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

Mentions

wikipedia: Wikipedia List of algebraic topology topics#MJ68, Euler characteristic (definition)

History

2026-11-02: add by m2/dev

Examples 3J0SGWNQ9Y

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

Mentions

wikipedia: Wikipedia Alligation#N34T, Examples (example)

History

2026-11-02: add by m2/dev

Properties 3J0X4RV40G

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

Mentions

wikipedia: Wikipedia Surjective function#7VVH, Properties (statement)

History

2026-11-02: add by m2/dev

Ann Dryden Witte 3J12MWH8A0

URI	`m2://inv/3J12MWH8A0`
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#F32A, Ann Dryden Witte (unknown)

History

2026-11-02: add by m2/dev

3J156FXJHP 3J156FXJHP

URI	`m2://inv/3J156FXJHP`
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 2007.14459#0KN3 (definition). In SGQ7VFEZ22/e1, definition 2.3

History

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

Leo the Mathematician 3J1NRFCTE3

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

Mentions

wikidata: Wikidata Q681601, Leo the Mathematician (unknown). Also ProofWiki Mathematician:Leon_the_Mathematician
wikipedia: Wikipedia Leo the Mathematician, Leo the Mathematician (topic). Also Wikidata Q681601

History

2026-10-26: add by m2/dev

Hodgkin–Huxley model 3J1Z9RHGH7

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

Mentions

wikipedia: Wikipedia Hodgkin–Huxley model, Hodgkin–Huxley model (definition). Also Wikidata Q995215

History

2026-11-02: add by m2/dev

Wallis' integrals 3J2782KMDP

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

Mentions

wikipedia: Wikipedia Wallis' integrals, Wallis' integrals (definition). Also Wikidata Q3153758

History

2026-11-02: add by m2/dev

Definition 3J29TFVG80

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

Mentions

wikipedia: Wikipedia Stable principal bundle#YFWP, Definition (definition)

History

2026-11-02: add by m2/dev

Theophrastus 3J2AHC55C4

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

Mentions

wikipedia: Wikipedia Theophrastus, Theophrastus (topic). Also Wikidata Q160362

History

2026-11-02: add by m2/dev

3J2F8WFZ9T 3J2F8WFZ9T

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

Mentions

arxiv: arXiv 2405.02275#OFJT (statement). In 1QXCNGRWV1/e1, lemma 3.7

History

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

étale 3J2FX2MXGH

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#PX9O, étale (definition)

History

2026-11-02: add by m2/dev

Completeness property 3J2R77RCGS

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

Mentions

arxiv: arXiv 2610.18992#3Y5P, Completeness property (definition). In S7PNTM0GZC/e1, definition 1.3

History

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

3J2S9G9MY6 3J2S9G9MY6

URI	`m2://inv/3J2S9G9MY6`
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 2610.08357#BMWW (statement). In R9GRCAWHG0/e1, theorem 2.4

History

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

3J2SZMQQAY 3J2SZMQQAY

URI	`m2://inv/3J2SZMQQAY`
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.01268#MPC4 (statement). In 80Q4X3WT8W/e1, lemma 3.7

History

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

3J2VF9AVJE 3J2VF9AVJE

URI	`m2://inv/3J2VF9AVJE`
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.21752#KFZ0 (statement). In E4DJTPKHAX/e1, theorem 1.1

History

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

3J2WZ02SM3 3J2WZ02SM3

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

Mentions

arxiv: arXiv 2609.31090#5KAW (statement). In SMTJDX0Q6R/e1, lemma 6.1

History

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

3J2XKMZC8H 3J2XKMZC8H

URI	`m2://inv/3J2XKMZC8H`
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 2604.02255#N85P (statement). In 14NGZPH8B9/e1, proposition 3

History

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

Cahit Arf 3J2XRFM0NK

URI	`m2://inv/3J2XRFM0NK`
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 Q664549, Cahit Arf (unknown). Also ProofWiki Mathematician:Cahit_Arf

History

2026-10-26: add by m2/dev

Statement 3J2XYP8BB3

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

Mentions

wikipedia: Wikipedia Cauchy's convergence test#EY3C, Statement (statement)

History

2026-11-02: add by m2/dev

General principles 3J2Y35AP3B

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

Mentions

wikipedia: Wikipedia Cartogram#YJ7E, General principles (statement)

History

2026-11-02: add by m2/dev

3J2ZAY8XVF 3J2ZAY8XVF

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise:isolatedhartogs (exercise). In VNMV985MXX, exercise, section 1.1

History

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

Fréchet mean 3J33HJ9R3T

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

Mentions

wikipedia: Wikipedia List of statistics articles#HWK6, Fréchet mean (definition)

History

2026-11-02: add by m2/dev

The finite field of order nine again 3J373YD24K

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

Mentions

napkin: napkin tex/alg-NT/finite-field.tex#example-3, The finite field of order nine again (example). In RZP28ERRZV, example, section 12.3

History

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

GRSI model 3J37T36V3P

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

Mentions

wikipedia: Wikipedia Alternatives to general relativity#Y91K, GRSI model (unknown)

History

2026-11-02: add by m2/dev

3J3A9RB6R1 3J3A9RB6R1

URI	`m2://inv/3J3A9RB6R1`
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 0904.0817#518G (statement). In 569FZDANV3/e1, fact 1.14

History

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

lower triangular matrix 3J3JZWN86P

URI	`m2://inv/3J3JZWN86P`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Lower triangular matrix 00J3KZP8Y0

Mentions

wikidata: Wikidata Q77968837, lower triangular matrix (unknown). Also MathWorld LowerTriangularMatrix

History

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

3J3KEH4RRH 3J3KEH4RRH

URI	`m2://inv/3J3KEH4RRH`
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 2109.08858#GKC8 (statement). In E6795TKR6R/e1, lemma 10

History

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

Hypoellipticity 3J3PV30KGY

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

Mentions

arxiv: arXiv 2609.39409#CKHJ, Hypoellipticity (statement). In CQ0Z7QA0A5/e1, lemma 7.1

History

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

3J3SKFA09D 3J3SKFA09D

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

Mentions

arxiv: arXiv 2609.22847#81OD (definition)

History

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

3J3V6GXW68 3J3V6GXW68

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

Mentions

napkin: napkin tex/quantum/circuits.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 75.1

History

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

Wei Biao Wu 3J3VT0BGPZ

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

Mentions

wikipedia: Wikipedia Wei Biao Wu, Wei Biao Wu (topic). Also Wikidata Q68486603

History

2026-11-02: add by m2/dev

projective line 3J3ZQKNS5K

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

Mentions

wikidata: Wikidata Q764115, projective line (unknown). Also nLab projective line
wikipedia: Wikipedia Projective line, Projective line (definition). Also Wikidata Q764115

History

2026-10-26: add by m2/dev

3J46NZPZ12 3J46NZPZ12

URI	`m2://inv/3J46NZPZ12`
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.13850#B4DN (statement). In KJY735KSMF/e1, lemma 8.4

History

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

3J4DXZ1ZV1 3J4DXZ1ZV1

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

Mentions

arxiv: arXiv 2609.37893#N4LH (definition). In 8H0KHK7AMN/e1, definition 2.3

History

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

3J4JYY2PJM 3J4JYY2PJM

URI	`m2://inv/3J4JYY2PJM`
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 2401.05118#57WQ (statement). In BT0T0QS2TN/e1, theorem 3.6

History

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

Philosophical theory 3J4M1408C6

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

Mentions

wikipedia: Wikipedia Philosophical theory, Philosophical theory (definition). Also Wikidata Q5389993

History

2026-11-02: add by m2/dev

GNUnet 3J4SF6EBW3

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

Mentions

wikipedia: Wikipedia GNUnet, GNUnet (definition). Also Wikidata Q1007056

History

2026-11-02: add by m2/dev

Sedrakyan's lemma – positive real numbers 3J4XRBTZ67

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

Mentions

wikipedia: Wikipedia Cauchy–Schwarz inequality#ESXQ, Sedrakyan's lemma – positive real numbers (statement)

History

2026-11-02: add by m2/dev

3J4YF9JZWY 3J4YF9JZWY

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

Mentions

arxiv: arXiv 2402.05268#52AP (definition). In MQZC12P7SA/e1, definition 1.1

History

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

Sigma approximation 3J4Z1C9MRW

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

Mentions

wikipedia: Wikipedia Sigma approximation, Sigma approximation (definition). Also Wikidata Q2858951

History

2026-11-02: add by m2/dev

Ash, Arlene 3J4ZHSA8FB

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

Mentions

wikipedia: Wikipedia List of statisticians#LIN1, Ash, Arlene (unknown)

History

2026-11-02: add by m2/dev

List of Fourier analysis topics 3J521YV6X4

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

Mentions

wikipedia: Wikipedia List of Fourier analysis topics, List of Fourier analysis topics (topic). Also Wikidata Q6571113

History

2026-11-02: add by m2/dev

3J56CKSE60 3J56CKSE60

URI	`m2://inv/3J56CKSE60`
Kind	example
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.13846#0HR9 (example). In DN3HGHGRYJ/e1, example 5.8

History

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

3J5EQJ594M 3J5EQJ594M

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

Mentions

arxiv: arXiv 2609.29531#529M (statement)

History

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

Value selection bias 3J6272SQSD

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

Mentions

wikipedia: Wikipedia List of cognitive biases#PVQ6, Value selection bias (unknown)

History

2026-11-02: add by m2/dev

3J62XHFQKJ 3J62XHFQKJ

URI	`m2://inv/3J62XHFQKJ`
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#ZB3T (statement). In A3VQ2TNRKK/e1, corollary 8.4

History

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

Knowledge generalization rule 3J68SF7YTH

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

Mentions

wikipedia: Wikipedia Epistemic modal logic#09LB, Knowledge generalization rule (unknown)

History

2026-11-02: add by m2/dev

Properties 3J6DF4GH6F

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

Mentions

wikipedia: Wikipedia Blum axioms#GFFD, Properties (statement)

History

2026-11-02: add by m2/dev

3J6FDQK6AV 3J6FDQK6AV

URI	`m2://inv/3J6FDQK6AV`
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.31757#B7F1 (statement). In KBJHAD5TTY/e1, proposition 2.8

History

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

3J6GVY5PDX 3J6GVY5PDX

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

Mentions

arxiv: arXiv 2609.28824#K97O (definition)

History

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

3J6HS8H2GA 3J6HS8H2GA

URI	`m2://inv/3J6HS8H2GA`
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.09989#8OX3 (statement). In 4KZA07H3GE/e1, theorem 1.2

History

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

3J6KQX5KTB 3J6KQX5KTB

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

Mentions

arxiv: arXiv 2609.33027#KRSO (unknown). In E2AF84709B/e1, unknown

History

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

Cointerpretability 3J6XMVSGDY

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#A3AM, Cointerpretability (definition)

History

2026-11-02: add by m2/dev

3J7DMBS83R 3J7DMBS83R

URI	`m2://inv/3J7DMBS83R`
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.14742#9YGI (statement). In GZYZ9FQHVC/e1, theorem 3.1

History

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

Interrupted time series 3J7H3544SZ

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

Mentions

wikipedia: Wikipedia Interrupted time series, Interrupted time series (definition). Also Wikidata Q39046682

History

2026-11-02: add by m2/dev

3J7JQDGMYT 3J7JQDGMYT

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

Mentions

arxiv: arXiv 2609.32860#UOQ8 (statement). In H71AJ341B3/e1, lemma 6.4

History

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

3J7MWENTMH 3J7MWENTMH

URI	`m2://inv/3J7MWENTMH`
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.20366#TU9W (statement)

History

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

Finite atomic prices, with and without a median gap 3J7NBQ231F

URI	`m2://inv/3J7NBQ231F`
Kind	example
Layer	research
MSC	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 2610.07285#3UZO, Finite atomic prices, with and without a median gap (example). In S284XRA4WK/e1, example 2.3

History

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

Hyperbolic motion 3J7NGS1BSB

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

Mentions

wikipedia: Wikipedia Hyperbolic motion (relativity), Hyperbolic motion (object). Also Wikidata Q3866303

History

2026-11-02: add by m2/dev

Properties 3J7YZR3G2B

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

Mentions

wikipedia: Wikipedia Pentagonal hexecontahedron#UAFL, Properties (statement)

History

2026-11-02: add by m2/dev

3J81DHNK9W 3J81DHNK9W

URI	`m2://inv/3J81DHNK9W`
Kind	definition
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#4CIM (definition). In 9DQKY7KGE8/e1, definition 6.14

History

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

Ulf Grenander 3J851TNYJ9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#WGP8, Ulf Grenander (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#10YR, Ulf Grenander (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#12XW, Ulf Grenander (topic)

History

2026-11-02: add by m2/dev

3J88CXDDTZ 3J88CXDDTZ

URI	`m2://inv/3J88CXDDTZ`
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 1904.09810#ISQZ (statement). In T1VFA7TXPA/e1, theorem 13

History

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

3J8C3CCPFE 3J8C3CCPFE

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

Mentions

arxiv: arXiv 2610.07122#4TH7 (statement). In W0ZHX9DHPV/e1, proposition 10

History

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

3J8CR1TDC0 3J8CR1TDC0

URI	`m2://inv/3J8CR1TDC0`
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.20153#ULPN (statement)

History

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

3J8FAKAZRY 3J8FAKAZRY

URI	`m2://inv/3J8FAKAZRY`
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 2504.01057#RCZX (definition). In 69QFBXJENW/e1, definition 2.5

History

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

3J8HJB96GY 3J8HJB96GY

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

Mentions

hott_book: hott_book hlevels.tex#thm:trunc-in-truncated-sigma (statement). In N54F33XE07, thm, section 6.3

History

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

Green's theorem 3J8T5B9J6S

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

Mentions

napkin: napkin tex/diffgeo/stokes.tex#sec:green_theorem, Green's theorem (exercise). In RZP28ERRZV, dproblem, section 46.6

History

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

3J8WBBNPT5 3J8WBBNPT5

URI	`m2://inv/3J8WBBNPT5`
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#XN9S (statement)

History

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

Banach–Stone theorem 3J8WG9X946

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

Mentions

mathlib_1000: mathlib_1000 Q4853767, Banach–Stone theorem (statement). Also Wikidata Q4853767
thousand_plus: thousand_plus Q4853767, Banach–Stone theorem (statement). Also Wikidata Q4853767, Wikipedia Banach–Stone theorem
wikipedia: Wikipedia Banach–Stone theorem, Banach–Stone theorem (statement). Also Wikidata Q4853767

History

2026-10-26: add by m2/dev

3J919M8T8N 3J919M8T8N

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#example-7 (example). In E59CDZA4DP, example, section 1.3.2

History

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

Infinite monkey theorem in popular culture 3J977V0V7X

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

Mentions

wikipedia: Wikipedia Infinite monkey theorem in popular culture, Infinite monkey theorem in popular culture (statement). Also Wikidata Q6029874

History

2026-11-02: add by m2/dev

Ensemble Kalman filter 3J97GSR2MS

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

Mentions

wikipedia: Wikipedia Ensemble Kalman filter, Ensemble Kalman filter (definition). Also Wikidata Q3072268

History

2026-11-02: add by m2/dev

3J982EY9T1 3J982EY9T1

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

Mentions

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

History

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

Cristoforo Alasia 3J9C8CPYF5

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#8FKG, Cristoforo Alasia (topic)
wikipedia: Wikipedia List of Italian mathematicians#C404, Cristoforo Alasia (topic)

History

2026-11-02: add by m2/dev

3J9E7Q6KJZ 3J9E7Q6KJZ

URI	`m2://inv/3J9E7Q6KJZ`
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 2211.10816#UKLP (statement). In 8VNN8PX49Y/e1, lemma 4

History

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

Antonio Collalto 3J9KM6N025

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#J504, Antonio Collalto (topic)
wikipedia: Wikipedia List of Italian mathematicians#UI99, Antonio Collalto (topic)

History

2026-11-02: add by m2/dev

Negative birefringence 3J9SHJYBBA

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

Mentions

wikipedia: Wikipedia Birefringence#UDRW, Negative birefringence (unknown)

History

2026-11-02: add by m2/dev

3JA2J62RN0 3JA2J62RN0

URI	`m2://inv/3JA2J62RN0`
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.35030#QTHM (statement). In DPT4P2BTEW/e1, lemma 6.3

History

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

European Working Group on Multiple Criteria Decision Aiding 3JA37T8WB7

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

Mentions

wikipedia: Wikipedia European Working Group on Multiple Criteria Decision Aiding, European Working Group on Multiple Criteria Decision Aiding (definition). Also Wikidata Q17011197

History

2026-11-02: add by m2/dev

3JA3J8CZRW 3JA3J8CZRW

URI	`m2://inv/3JA3J8CZRW`
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.21945#9IMD (statement). In 371P9QASSJ/e1, proposition 1.5

History

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

Inexact preconditioned step 3JA3T2QE0X

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

Mentions

arxiv: arXiv 2610.20106#WJDW, Inexact preconditioned step (statement). In 6HMZ36ZBXA/e1, theorem 6.6

History

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

Brian Blank 3JA6JZK87D

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#EJQV, Brian Blank (unknown)

History

2026-11-02: add by m2/dev

3JA9NMNHRZ 3JA9NMNHRZ

URI	`m2://inv/3JA9NMNHRZ`
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.15588#06YR (statement). In M2VCJFGZ4P/e1, proposition 3.7

History

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

Leray's theorem 3JAC3N1GS8

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

Mentions

wikipedia: Wikipedia List of theorems#D686, Leray's theorem (statement)

History

2026-11-02: add by m2/dev

Rabbi Nehemiah 3JAHF5RV2G

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#VBEU, Rabbi Nehemiah (unknown)

History

2026-11-02: add by m2/dev

Obesity 3JAMES4T7V

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#QIW4, Obesity (unknown)

History

2026-11-02: add by m2/dev

3JAQ15DX3S 3JAQ15DX3S

URI	`m2://inv/3JAQ15DX3S`
Kind	definition
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.39317#FMDR (definition). In QM1T8JDK4A/e1, definition 2.8

History

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

3JAQ9W9A83 3JAQ9W9A83

URI	`m2://inv/3JAQ9W9A83`
Kind	example
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.01802#FA2A (example). In XGPZ0G9E1Q/e1, example 7.8

History

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

3JAR5D0YG6 3JAR5D0YG6

URI	`m2://inv/3JAR5D0YG6`
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.16700#AWKZ (statement). In 3JPKD7NBEN/e1, lemma 4.2

History

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

Jean-Christophe Yoccoz 3JB2K7XQWQ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#WXKQ, Jean-Christophe Yoccoz (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#M59D, Jean-Christophe Yoccoz (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OSM1, Jean-Christophe Yoccoz (topic)

History

2026-11-02: add by m2/dev

Frobenius category 3JB5S37KZQ

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

Mentions

wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#MMZO, Frobenius category (definition)

History

2026-11-02: add by m2/dev

comparability graph 3JBBS29SRP

URI	`m2://inv/3JBBS29SRP`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Comparability graph 1P4830BH6Z

Mentions

wikidata: Wikidata Q5155607, comparability graph (unknown). Also MathWorld ComparabilityGraph
wikipedia: Wikipedia Comparability graph, Comparability graph (definition). Also Wikidata Q5155607

History

2026-10-26: add by m2/dev

Instantiation principle 3JBNB1TJGY

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

Mentions

wikipedia: Wikipedia Instantiation principle, Instantiation principle (statement). Also Wikidata Q17005655

History

2026-11-02: add by m2/dev

Torsion of curves 3JBQX5577W

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

Mentions

wikipedia: Wikipedia List of curves topics#FHEB, Torsion of curves (definition)

History

2026-11-02: add by m2/dev

3JBS8D2TGX 3JBS8D2TGX

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

Mentions

arxiv: arXiv 2609.31300#HFKD (statement). In ERHQDB8M41/e1, theorem 3.10

History

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

polynomial matrix 3JC2KR5NWQ

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

Mentions

wikidata: Wikidata Q2562273, polynomial matrix (unknown). Also MathWorld PolynomialMatrix
wikipedia: Wikipedia Polynomial matrix, Polynomial matrix (definition). Also Wikidata Q2562273

History

2026-10-26: add by m2/dev

Landau's inequality 3JC4MBD02T

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

Mentions

wikipedia: Wikipedia Geometrical properties of polynomial roots#HJP3, Landau's inequality (statement)

History

2026-11-02: add by m2/dev

Mackey–Arens theorem I 3JC5AAHHGR

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

Mentions

wikipedia: Wikipedia Dual system#4N9B, Mackey–Arens theorem I (statement)

History

2026-11-02: add by m2/dev

predecessor 3JC5YPSAA7

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

Mentions

hott_book: hott_book index/8.1/predecessor, predecessor (concept). In N54F33XE07, index, section 8.1

History

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

3JC967WN9M 3JC967WN9M

URI	`m2://inv/3JC967WN9M`
Kind	example
Layer	research
MSC	05-XX, 11-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 2609.27886#WGGB (example)

History

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

critical 3JCAC1DTKJ

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

Mentions

wikipedia: Wikipedia Glossary of set theory#KT74, critical (definition)

History

2026-11-02: add by m2/dev

3JCF3AGF01 3JCF3AGF01

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

Mentions

arxiv: arXiv 2610.15217#KX7Y (statement). In G70Q2FB591/e1, proposition 3.19

History

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

3JCR79BXHB 3JCR79BXHB

URI	`m2://inv/3JCR79BXHB`
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.19945#QIEP (statement)

History

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

nonagonal number 3JCRPPKWZK

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

Mentions

wikidata: Wikidata Q2702442, nonagonal number (unknown). Also MathWorld NonagonalNumber, OEIS A001106
wikipedia: Wikipedia Nonagonal number, Nonagonal number (definition). Also Wikidata Q2702442

History

2026-10-26: add by m2/dev

Pure discrete gauge theory 3JCTCXA5AM

URI	`m2://inv/3JCTCXA5AM`
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#K374, Pure discrete gauge theory (statement). In G3D1YR20BJ/e1, corollary 4.12

History

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

Eight Mile Plains 3JCXRM1QA1

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

Mentions

wikipedia: Wikipedia List of places with numeric names#P53C, Eight Mile Plains (unknown)

History

2026-11-02: add by m2/dev

Jensen's inequality 3JCYB7PPN7

URI	`m2://inv/3JCYB7PPN7`
Kind	statement
Layer	textbook
MSC	26D15
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Jensen's inequality 0RWMRTPC87

Mentions

wikidata: Wikidata Q518131, Jensen's inequality (topic). Also EoM Jensen_inequality, MathWorld JensensInequality, ProofWiki Jensen's_Inequality
wikipedia: Wikipedia Jensen's inequality, Jensen's inequality (statement). Also Wikidata Q518131

History

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

3JD0TF315S 3JD0TF315S

URI	`m2://inv/3JD0TF315S`
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 2411.17227#WE0H (statement). In DDNP38CHQJ/e1, lemma 9.2

History

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

3JDJ7D0DWV 3JDJ7D0DWV

URI	`m2://inv/3JDJ7D0DWV`
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.06458#QO1I (statement). In 4X93XG8NMD/e1, theorem 5.7

History

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

3JDJAR06M1 3JDJAR06M1

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

Mentions

arxiv: arXiv 1004.4564#364C (statement). In BZ54C9SKYS/e1, theorem 4.1

History

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

Applications 3JDQDXJPSJ

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

Mentions

wikipedia: Wikipedia PID controller#QRMK, Applications (example)

History

2026-11-02: add by m2/dev

3JDX69F0E2 3JDX69F0E2

URI	`m2://inv/3JDX69F0E2`
Kind	statement
Layer	research
MSC	26-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.06152#OZH2 (statement). In HH35K7S17H/e1, lemma A.5

History

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

Six-periodic group and homology data 3JDXB840ZC

URI	`m2://inv/3JDXB840ZC`
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.29839#1WTE, Six-periodic group and homology data (statement)

History

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

Vienna Circle 3JE03V25MS

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

Mentions

wikidata: Wikidata Q208238, Vienna Circle (unknown). Also nLab Vienna Circle

History

2026-10-26: add by m2/dev

explanation 3JE103E6KZ

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

Mentions

wikipedia: Wikipedia Glossary of logic#KT89, explanation (definition)

History

2026-11-02: add by m2/dev

Thierry Coquand 3JE10SG528

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

Mentions

wikidata: Wikidata Q3524190, Thierry Coquand (unknown). Also nLab Thierry Coquand
wikipedia: Wikipedia Thierry Coquand, Thierry Coquand (topic). Also Wikidata Q3524190

History

2026-10-26: add by m2/dev

Properties 3JE5PBRHST

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

Mentions

wikipedia: Wikipedia Rudin–Shapiro sequence#D7KZ, Properties (statement)

History

2026-11-02: add by m2/dev

CryptGenRandom 3JE8TYE9XH

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

Mentions

wikipedia: Wikipedia CryptGenRandom, CryptGenRandom (definition). Also Wikidata Q4036721

History

2026-11-02: add by m2/dev

Sigma Index 3JE9HHGVS0

URI	`m2://inv/3JE9HHGVS0`
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.20364#87NG, Sigma Index (statement). In 433NXYKPG3/e1, corollary 6

History

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

Constructions 3JEEZVNB0E

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

Mentions

wikipedia: Wikipedia Lie group#LUG4, Constructions (definition)

History

2026-11-02: add by m2/dev

holonomy 3JEG0B8EEQ

URI	`m2://inv/3JEG0B8EEQ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Holonomy WHDZ3MK56B

Mentions

wikidata: Wikidata Q907926, holonomy (definition). Also MathWorld Holonomy, nLab holonomy, ProofWiki Definition:Holonomy
wikipedia: Wikipedia Holonomy, Holonomy (definition). Also Wikidata Q907926

History

2026-10-26: add by m2/dev

Stress functions 3JEJ151ZM9

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

Mentions

wikipedia: Wikipedia Stress functions, Stress functions (definition). Also Wikidata Q7623439

History

2026-11-02: add by m2/dev

axiom, of choice 3JES2X1VT0

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

Mentions

hott_book: hott_book index/9.11/axiom-of-choice, axiom, of choice (concept). In N54F33XE07, index, section 9.11

History

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

Properties 3JESACTQCF

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

Mentions

wikipedia: Wikipedia Cyclical monotonicity#Y2EC, Properties (statement)

History

2026-11-02: add by m2/dev

Relation to law and economics 3JEWCQFEYR

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

Mentions

wikipedia: Wikipedia Jurimetrics#2AHY, Relation to law and economics (statement)

History

2026-11-02: add by m2/dev

Examples of turbulence 3JEYAPJJFF

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

Mentions

wikipedia: Wikipedia Turbulence#XTVN, Examples of turbulence (example)

History

2026-11-02: add by m2/dev

Pietro Cossali 3JF3R1BQ24

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

Mentions

wikipedia: Wikipedia Pietro Cossali, Pietro Cossali (topic). Also Wikidata Q3388108

History

2026-11-02: add by m2/dev

3JF3XMXK0A 3JF3XMXK0A

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

Mentions

arxiv: arXiv 2609.32174#NXGD (statement). In GHKR740SG3/e1, theorem

History

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

3JF848E44A 3JF848E44A

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

Mentions

arxiv: arXiv 1002.0879#BY61 (statement). In M0SQY5EZN5/e1, theorem 4.6.3

History

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

3JF8JFS80K 3JF8JFS80K

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

Mentions

arxiv: arXiv 2609.21892#HR0Q (definition)

History

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

Definitions 3JFDN3GNNE

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

Mentions

wikipedia: Wikipedia Linear recurrence with constant coefficients#AL4Y, Definitions (definition)

History

2026-11-02: add by m2/dev

William Gehrlein 3JFH2HX7G1

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#M1XX, William Gehrlein (unknown)

History

2026-11-02: add by m2/dev

Gauss–Legendre method 3JFHFBEK2X

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

Mentions

wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#HBOK, Gauss–Legendre method (definition)

History

2026-11-02: add by m2/dev

dominant 3JFNS2B4Y9

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#ISUN, dominant (definition)

History

2026-11-02: add by m2/dev

3JFSS0F8ND 3JFSS0F8ND

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

Mentions

arxiv: arXiv 2610.03628#IZ91 (statement). In P8KT6JV9N1/e1, lemma 2.9

History

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

Sequence alignment 3JG24GNFJE

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

Mentions

wikipedia: Wikipedia Sequence alignment, Sequence alignment (definition). Also Wikidata Q827246

History

2026-11-02: add by m2/dev

Ron Goldman 3JG3HBCDZJ

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

Mentions

wikipedia: Wikipedia Ron Goldman (mathematician), Ron Goldman (topic). Also Wikidata Q22277969

History

2026-11-02: add by m2/dev

3JG6HEGF2W 3JG6HEGF2W

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

Mentions

arxiv: arXiv 2610.17441#0FJ0 (statement). In 9Q8S0NWHP2/e1, lemma 4.7

History

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

3JG7BYVSX1 3JG7BYVSX1

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

Mentions

arxiv: arXiv 1512.06981#PU60 (example). In X923ZEY423/e1, example 1.1.2

History

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

Properties 3JGBXVXQ68

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

Mentions

wikipedia: Wikipedia Grothendieck group#B3AL, Properties (statement)

History

2026-11-02: add by m2/dev

3JGCM25V51 3JGCM25V51

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

Mentions

napkin: napkin tex/cats/categories.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 36.5

History

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

$U(N)$ inner product 3JGEJBD96T

URI	`m2://inv/3JGEJBD96T`
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 2610.10745#J4UK, $U(N)$ inner product (definition). In 5MJ4NJ5ZCV/e1, definition 2.21

History

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

Five Island Park, Illinois 3JGGBPFBY5

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

Mentions

wikipedia: Wikipedia List of places with numeric names#83ZC, Five Island Park, Illinois (unknown)

History

2026-11-02: add by m2/dev

David Mumford 3JGJEXZ0KP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#YQNJ, David Mumford (topic)
wikipedia: Wikipedia List of algebraic geometry topics#1GYZ, David Mumford (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DZ0J, David Mumford (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H9PK, David Mumford (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#U5YK, David Mumford (topic)

History

2026-11-02: add by m2/dev

Sieve of Eratosthenes 3JGJFQRG9D

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

Mentions

wikipedia: Wikipedia List of number theory topics#CZK4, Sieve of Eratosthenes (definition)
wikipedia: Wikipedia List of number theory topics#MV4Z, Sieve of Eratosthenes (definition)

History

2026-11-02: add by m2/dev

Warren Randolph Burgess 3JGKEZT8FY

URI	`m2://inv/3JGKEZT8FY`
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#E4X8, Warren Randolph Burgess (unknown)

History

2026-11-02: add by m2/dev

Definitions 3JGPQNS2R7

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

Mentions

wikipedia: Wikipedia Relativistic angular momentum#JRMZ, Definitions (definition)

History

2026-11-02: add by m2/dev

3JGXZQESHW 3JGXZQESHW

URI	`m2://inv/3JGXZQESHW`
Kind	example
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.05299#YMHM (example). In 68AE571S4P/e1, example 4.11

History

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

3JH33PHKM7 3JH33PHKM7

URI	`m2://inv/3JH33PHKM7`
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.38138#AJPZ (statement). In G97FA99ZEF/e1, fact 3.7

History

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

Continuous wavelet 3JH633HQQD

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

Mentions

wikipedia: Wikipedia Continuous wavelet, Continuous wavelet (definition). Also Wikidata Q5165530

History

2026-11-02: add by m2/dev

Metrizable/Metrisable 3JH9MHB2AP

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

Mentions

wikipedia: Wikipedia Glossary of general topology#DZDJ, Metrizable/Metrisable (definition)

History

2026-11-02: add by m2/dev

Allensbach Institute 3JHAQQ4NXX

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

Mentions

wikipedia: Wikipedia List of polling organizations#L2FH, Allensbach Institute (unknown)

History

2026-11-02: add by m2/dev

3JHB31T6PB 3JHB31T6PB

URI	`m2://inv/3JHB31T6PB`
Kind	definition
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 2207.05628#6ID7 (definition). In 9JPKTEWW4W/e1, definition 2.6

History

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

3JHDB8D6V3 3JHDB8D6V3

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

Mentions

open_logic: open_logic content/proof-theory/propositions-as-types/proofs-to-terms.tex#ex-1 (example). In PKGMM3P5QY, ex, section 60.6

History

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

Constructions 3JHF36BR2R

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

Mentions

wikipedia: Wikipedia Effective descriptive set theory#IW2V, Constructions (definition)

History

2026-11-02: add by m2/dev

Geometric Sobolev Fredholm mappings 3JHGWA0AQS

URI	`m2://inv/3JHGWA0AQS`
Kind	statement
Layer	research
MSC	46-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.03745#DWWV, Geometric Sobolev Fredholm mappings (statement). In YWXVX6AX8F/e1, theorem 7.4

History

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

anthropomorphic polygon 3JHHS6J458

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

Mentions

wikidata: Wikidata Q4773917, anthropomorphic polygon (unknown). Also MathWorld AnthropomorphicPolygon
wikipedia: Wikipedia Anthropomorphic polygon, Anthropomorphic polygon (definition). Also Wikidata Q4773917

History

2026-10-26: add by m2/dev

Hypergame paradox 3JJ0ZZBA21

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

Mentions

wikipedia: Wikipedia Finite game#BJED, Hypergame paradox (statement)

History

2026-11-02: add by m2/dev

Repulsion for isolated bad Gram points 3JJ8JE3BME

URI	`m2://inv/3JJ8JE3BME`
Kind	conjecture
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 2406.06548#XDXK, Repulsion for isolated bad Gram points (conjecture). In SCC2N3WNYE/e1, conjecture 7.1

History

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

3JJNT51PZX 3JJNT51PZX

URI	`m2://inv/3JJNT51PZX`
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.09949#90YE (statement). In VGJVFCDV8A/e1, lemma 2.24

History

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

Józef Maria Hoene-Wroński 3JJPSNT6K3

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

Mentions

wikipedia: Wikipedia Józef Maria Hoene-Wroński, Józef Maria Hoene-Wroński (topic). Also Wikidata Q331856

History

2026-11-02: add by m2/dev

Burnside's lemma 3JJQFRJPV4

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

Mentions

wikipedia: Wikipedia List of misnamed theorems#GJDE, Burnside's lemma (statement)

History

2026-11-02: add by m2/dev

Characterizations 3JJS2YD7RP

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

Mentions

wikipedia: Wikipedia Quasinorm#T2RM, Characterizations (statement)

History

2026-11-02: add by m2/dev

3JJSNSAJC8 3JJSNSAJC8

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#thm:finite union and intersection of open sets (statement). In P1C114YBXG, theorem, section K

History

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

Günter Pilz 3JJYZ7PSC1

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

Mentions

wikipedia: Wikipedia Günter Pilz, Günter Pilz (topic). Also Wikidata Q89363

History

2026-11-02: add by m2/dev

3JKF18YWZG 3JKF18YWZG

URI	`m2://inv/3JKF18YWZG`
Kind	statement
Layer	research
MSC	26-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.23503#JSQA (statement)

History

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

Kontinuit\"atssatz---Continuity principle\index{Kontinuit\"atssatz!second version}\index{continuity principle!second version}, second version 3JKH24Z9E4

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

Mentions

lebl_scv: lebl_scv scv.tex#thm:contprinciple2, Kontinuit\"atssatz---Continuity principle\index{Kontinuit\"atssatz!second version}\index{continuity principle!second version}, second version (statement). In VNMV985MXX, thm, section 2.5

History

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

Dominating Hadwiger 3JKHK0KN8X

URI	`m2://inv/3JKHK0KN8X`
Kind	conjecture
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.35361#5TMO, Dominating Hadwiger (conjecture). In E4PGMSEQTS/e1, conjecture 1.2

History

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

3JKSZ6FCJM 3JKSZ6FCJM

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

Mentions

arxiv: arXiv 2309.15424#TZPB (statement). In NXYZ1EAWKN/e1, theorem 3.1

History

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

Corollary 3JKWFY5TWC

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

Mentions

wikipedia: Wikipedia Min-max theorem#ZSIK, Corollary (statement)

History

2026-11-02: add by m2/dev

Hermite's identity 3JKZKW411M

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

Mentions

wikipedia: Wikipedia List of mathematical identities#K75M, Hermite's identity (statement)

History

2026-11-02: add by m2/dev

3JM8D5BH81 3JM8D5BH81

URI	`m2://inv/3JM8D5BH81`
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#F8YQ (definition). In ZH0PFTZ12Y/e1, definition 4.2

History

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

3JM91NZKQY 3JM91NZKQY

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

Mentions

arxiv: arXiv 2610.21954#VA0C (statement). In F2XATDBRK4/e1, corollary 4

History

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

3JMF9V4DN3 3JMF9V4DN3

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

Mentions

arxiv: arXiv 2609.31484#976Y (statement). In 1RDQ10G87W/e1, corollary 3.4

History

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

3JMMEBWQ1J 3JMMEBWQ1J

URI	`m2://inv/3JMMEBWQ1J`
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.22240#IU39 (statement)

History

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

Leopold Schmetterer 3JMN456RHP

URI	`m2://inv/3JMN456RHP`
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#M12B, Leopold Schmetterer (unknown)

History

2026-11-02: add by m2/dev

3JMNGH0CBP 3JMNGH0CBP

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

Mentions

arxiv: arXiv 2610.20077#1MJI (statement). In W5XRKWDADE/e1, lemma 2.1

History

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

3JMPK41C56 3JMPK41C56

URI	`m2://inv/3JMPK41C56`
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.21475#ZATW (statement). In TTRSZVT4VX/e1, theorem 2.29

History

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

Computable number 3JMQ7XJTSB

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

Mentions

wikipedia: Wikipedia List of types of numbers#H6M3, Computable number (definition)

History

2026-11-02: add by m2/dev

$\infty$-Mapping class group 3JMR7X9Q59

URI	`m2://inv/3JMR7X9Q59`
Kind	definition
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#QWXA, $\infty$-Mapping class group (definition). In G3D1YR20BJ/e1, definition 2.15

History

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

Louis Kauffman 3JMWB0J56Q

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1QHH, Louis Kauffman (unknown)

History

2026-11-02: add by m2/dev

Theorem 3JN21AMYQS

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

Mentions

wikipedia: Wikipedia Myhill isomorphism theorem#T84W, Theorem (statement)

History

2026-11-02: add by m2/dev

Bochner space 3JN4EPHX31

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

Mentions

wikipedia: Wikipedia Bochner space, Bochner space (definition). Also Wikidata Q4936243

History

2026-11-02: add by m2/dev

Peters polynomials 3JN8R93GE9

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

Mentions

wikidata: Wikidata Q7178155, Peters polynomials (unknown). Also MathWorld PetersPolynomial
wikipedia: Wikipedia Peters polynomials, Peters polynomials (definition). Also Wikidata Q7178155

History

2026-10-26: add by m2/dev

3JN9YK5ZKM 3JN9YK5ZKM

URI	`m2://inv/3JN9YK5ZKM`
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 2405.01860#SGT8 (statement). In 8HYS0MFE25/e1, proposition 4.4

History

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

Grigory Margulis 3JNA7WSNY4

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#YBZ6, Grigory Margulis (topic)

History

2026-11-02: add by m2/dev

3JNKD44DKG 3JNKD44DKG

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

Mentions

arxiv: arXiv 2609.28552#917W (statement)

History

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

3JNMB17RWK 3JNMB17RWK

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

Mentions

arxiv: arXiv 2609.30637#VGHI (statement). In 6G1KBA0SXV/e1, lemma 4.12

History

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

3JNMK9D8B1 3JNMK9D8B1

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

Mentions

arxiv: arXiv 2204.09167#OL2G (statement). In S1MENYEAG5/e1, lemma 6.1

History

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

Properties 3JP0KEH1TD

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

Mentions

wikipedia: Wikipedia Dicyclic group#JS4S, Properties (statement)

History

2026-11-02: add by m2/dev

Examples 3JP2YXTN77

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

Mentions

wikipedia: Wikipedia Tietze transformations#GNIJ, Examples (example)

History

2026-11-02: add by m2/dev

Net level premium reserve 3JP9DPT235

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

Mentions

wikipedia: Wikipedia Actuarial reserves#EAB1, Net level premium reserve (unknown)

History

2026-11-02: add by m2/dev

hypersurface, complexification 3JPAJD5HAG

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

Mentions

lebl_scv: lebl_scv index/3.2/hypersurface-complexification, hypersurface, complexification (concept). In VNMV985MXX, index, section 3.2

History

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

Profiles at large nutrient diffusion 3JPPYY367G

URI	`m2://inv/3JPPYY367G`
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.34202#NL45, Profiles at large nutrient diffusion (statement). In 57CRGWHT13/e1, proposition

History

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

3JPTZW4MSQ 3JPTZW4MSQ

URI	`m2://inv/3JPTZW4MSQ`
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.13580#V4K8 (statement). In KEQ57N9N7Z/e1, corollary 4.9

History

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

3JPWS4WM4K 3JPWS4WM4K

URI	`m2://inv/3JPWS4WM4K`
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 2609.27800#Q3J3 (definition)

History

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

Weyl equation 3JQ2V50VE4

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#JZN9, Weyl equation (definition)

History

2026-11-02: add by m2/dev

3JQ4H8055V 3JQ4H8055V

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

Mentions

arxiv: arXiv 2610.12047#NGQI (statement). In ZF1Y3HZMZ9/e1, lemma 6.1

History

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

Nilsequence discorrelation up to an abelian Type II obstruction 3JQ6791CM5

URI	`m2://inv/3JQ6791CM5`
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.09567#UEBJ, Nilsequence discorrelation up to an abelian Type II obstruction (statement). In 7RV6BDZAFK/e1, proposition 6.6

History

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

Formulation 3JQ8NCRBX3

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

Mentions

wikipedia: Wikipedia Cycle double cover#5BJS, Formulation (definition)

History

2026-11-02: add by m2/dev

List of polyhedral stellations 3JQ9XFGER6

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

Mentions

wikipedia: Wikipedia List of polyhedral stellations, List of polyhedral stellations (topic). Also Wikidata Q60518113

History

2026-11-02: add by m2/dev

3JQA65EF59 3JQA65EF59

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

Mentions

arxiv: arXiv 2609.20042#WHEE (statement)

History

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

3JQEMMB9HC 3JQEMMB9HC

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-83 (exercise). In E9HS8K3A52, exercise, section 4.5.4

History

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

3JQM85D9VP 3JQM85D9VP

URI	`m2://inv/3JQM85D9VP`
Kind	statement
Layer	research
MSC	05-XX, 49-XX, 51-XX, 52-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.34845#7ZRI (statement). In SBZNH932ZV/e1, theorem 8.8

History

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

3JQP75EBBK 3JQP75EBBK

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

Mentions

arxiv: arXiv 2609.22356#E95I (statement)

History

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

Lipschitz approximation in vector bundles 3JQRKCG4QT

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

Mentions

arxiv: arXiv 2609.26286#HBYY, Lipschitz approximation in vector bundles (statement)

History

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

Properties 3JQS2TKBCR

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

Mentions

wikipedia: Wikipedia Meromorphic function#QC3V, Properties (statement)

History

2026-11-02: add by m2/dev

3JQSDBJ52D 3JQSDBJ52D

URI	`m2://inv/3JQSDBJ52D`
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.02833#FW6X (statement). In TNREX5GDK2/e1, proposition 5.4

History

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

André Fortin 3JQYTGJJNM

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

Mentions

wikipedia: Wikipedia André Fortin (mathematician), André Fortin (topic). Also Wikidata Q28468933

History

2026-11-02: add by m2/dev

3JR2646X6G 3JR2646X6G

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

Mentions

arxiv: arXiv 2610.03151#QV18 (statement). In 7ZC21RKB29/e1, theorem 1.2

History

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

Simone Warzel 3JR2S7XGWQ

URI	`m2://inv/3JR2S7XGWQ`
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#JT65, Simone Warzel (topic)

History

2026-11-02: add by m2/dev

Category of pointed spaces 3JR473ABQM

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

Mentions

wikipedia: Wikipedia Pointed space#SE8I, Category of pointed spaces (unknown)

History

2026-11-02: add by m2/dev

Generalization 3JR4HQ31ZK

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

Mentions

wikipedia: Wikipedia Sophie Germain's identity#Q7RV, Generalization (statement)

History

2026-11-02: add by m2/dev

3JRCB6Z8EC 3JRCB6Z8EC

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

Mentions

napkin: napkin tex/alg-geom/sheaves.tex#example-4 (example). In RZP28ERRZV, example, section 25.3

History

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

Michael Stifel 3JRGTXV8KF

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

Mentions

wikipedia: Wikipedia Michael Stifel, Michael Stifel (topic). Also Wikidata Q77234

History

2026-11-02: add by m2/dev

3JRNYY6GZC 3JRNYY6GZC

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

Mentions

arxiv: arXiv 1503.05744#S11R (statement). In 5XKHZKEGAF/e1, theorem 3.7

History

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

3JRTKEGPBV 3JRTKEGPBV

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

Mentions

napkin: napkin tex/H113/structure.tex#proof-4 (proof). In RZP28ERRZV, proof, section 6.4

History

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

3JRWYNPH27 3JRWYNPH27

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

Mentions

arxiv: arXiv 2610.07092#WVDQ (statement). In JWNYJVH8XG/e1, theorem 2.15

History

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

Projected trace 3JS06F0RNQ

URI	`m2://inv/3JS06F0RNQ`
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.01504#RKHF, Projected trace (statement). In JAVB10Q2YZ/e1, lemma 4.5

History

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

Pairs S9, S10, S29--S32 3JS6T0QFA8

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

Mentions

arxiv: arXiv 2610.08865#QVJF, Pairs S9, S10, S29--S32 (statement). In SJ5JKGH94M/e1, theorem 12

History

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

Applications 3JSJSX4EX2

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

Mentions

wikipedia: Wikipedia Dimensionality reduction#MHYM, Applications (example)

History

2026-11-02: add by m2/dev

3JSKR66GDN 3JSKR66GDN

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

Mentions

arxiv: arXiv 2609.32300#PDIP (statement). In VNE8N0D2FB/e1, proposition 4.6

History

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

3JSNDNXYC0 3JSNDNXYC0

URI	`m2://inv/3JSNDNXYC0`
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.19309#YUZ4 (statement). In XKENQH35DW/e1, lemma 5.4

History

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

Filippov 3JSP7347X4

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

Mentions

arxiv: arXiv 2609.32174#WXV0, Filippov (statement). In GHKR740SG3/e1, theorem 2.9

History

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

Applications 3JSRZ8X3JK

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

Mentions

wikipedia: Wikipedia Mathematical logic#EP48, Applications (example)

History

2026-11-02: add by m2/dev

Generalizations 3JSXRMEVT7

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

Mentions

wikipedia: Wikipedia Clique-sum#35SP, Generalizations (statement)

History

2026-11-02: add by m2/dev

Erdős–Oler conjecture 3JTAPQBWN8

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#0FJI, Erdős–Oler conjecture (definition)

History

2026-11-02: add by m2/dev

Symmetrized Kinser slack 3JTMX0JT8N

URI	`m2://inv/3JTMX0JT8N`
Kind	statement
Layer	research
MSC	05-XX, 16-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.06739#4D33, Symmetrized Kinser slack (statement). In HA9B7PD0YV/e1, theorem 40

History

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

3JV5PNJGFQ 3JV5PNJGFQ

URI	`m2://inv/3JV5PNJGFQ`
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.25703#NZOI (statement)

History

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

Cobham's thesis 3JV95ZTWN3

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

Mentions

wikipedia: Wikipedia Cobham's thesis, Cobham's thesis (definition). Also Wikidata Q5138877

History

2026-11-02: add by m2/dev

3JVBG61KJ5 3JVBG61KJ5

URI	`m2://inv/3JVBG61KJ5`
Kind	example
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 2011.08789#6BEZ (example). In 43AGRMP7T3/e1, example 2.4

History

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

3JVCYZFQ3E 3JVCYZFQ3E

URI	`m2://inv/3JVCYZFQ3E`
Kind	example
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 2405.02275#OJ8W (example). In 1QXCNGRWV1/e1, example 3.6

History

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

Incidence 3JVEC9SG8F

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

Mentions

wikipedia: Wikipedia Incidence (epidemiology), Incidence (definition). Also Wikidata Q217690

History

2026-11-02: add by m2/dev

Jacques Philippe Marie Binet 3JVGEYVXFN

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

Mentions

wikipedia: Wikipedia Jacques Philippe Marie Binet, Jacques Philippe Marie Binet (topic). Also Wikidata Q536400

History

2026-11-02: add by m2/dev

Parallel symbol 3JVM5V1747

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

Mentions

wikipedia: Wikipedia Parallel (geometry)#UTSJ, Parallel symbol (unknown)

History

2026-11-02: add by m2/dev

Example 3JVV2H0F4A

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

Mentions

wikipedia: Wikipedia Negative base#G9FW, Example (example)

History

2026-11-02: add by m2/dev

Examples 3JW6Z233E3

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

Mentions

wikipedia: Wikipedia Absorbing Markov chain#87VR, Examples (example)

History

2026-11-02: add by m2/dev

Example 3 3JW9187TR3

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

Mentions

wikipedia: Wikipedia Necessity and sufficiency#52VJ, Example 3 (example)

History

2026-11-02: add by m2/dev

Bruce Reed 3JWCQCSGF7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#M91F, Bruce Reed (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1U9M, Bruce Reed (topic)

History

2026-11-02: add by m2/dev

Robbins conjecture 3JWHBRM71Y

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

Mentions

wikidata: Wikidata Q120446040, Robbins conjecture (conjecture). Also MathWorld RobbinsConjecture

History

2026-10-26: add by m2/dev

3JWJNY2C5T 3JWJNY2C5T

URI	`m2://inv/3JWJNY2C5T`
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.03081#RUGS (statement). In TX0H26X4VX/e1, proposition 7.2

History

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

Normal basis theorem 3JWX85STM7

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

Mentions

arxiv: arXiv 2610.22247#CPMS, Normal basis theorem (statement). In SBNH1MWND8/e1, theorem 1

History

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

Lemma 2 3JX6Q4GZTZ

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

Mentions

wikipedia: Wikipedia Proof of Bertrand's postulate#518W, Lemma 2 (statement)

History

2026-11-02: add by m2/dev

Iryna Sushko 3JX7C4W3K7

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

Mentions

wikipedia: Wikipedia Iryna Sushko, Iryna Sushko (topic). Also Wikidata Q59912831

History

2026-11-02: add by m2/dev

First order formulas 3JXC1TJ93H

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

Mentions

wikipedia: Wikipedia Tarski–Seidenberg theorem#0LXX, First order formulas (statement)

History

2026-11-02: add by m2/dev

3JXDDYC89P 3JXDDYC89P

URI	`m2://inv/3JXDDYC89P`
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.13213#QJLG (statement). In V97F4YZ8B0/e1, lemma 5.9

History

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

Kathleen Lamborn 3JXDJAZA40

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

Mentions

wikipedia: Wikipedia Kathleen Lamborn, Kathleen Lamborn (topic). Also Wikidata Q44134666

History

2026-11-02: add by m2/dev

3JXF37FQC4 3JXF37FQC4

URI	`m2://inv/3JXF37FQC4`
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.05193#SRYU (statement). In XDMM0KNNZ9/e1, lemma 37

History

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

Wedin's Identity 3JXGEV3P0A

URI	`m2://inv/3JXGEV3P0A`
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.20944#4BWK, Wedin's Identity (statement). In DRRKZR6CQC/e1, lemma A.12

History

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

Hakimi 3JXNAV7RJY

URI	`m2://inv/3JXNAV7RJY`
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.30315#P3US, Hakimi (statement). In FXTCVHYW5S/e1, lemma 2.2

History

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

Descent of invariant characters 3JXQ3Q1MJY

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

Mentions

arxiv: arXiv 2609.30301#L2Y0, Descent of invariant characters (statement). In 7NS75J7HAM/e1, lemma 3.2

History

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

3JXS8AWNRV 3JXS8AWNRV

URI	`m2://inv/3JXS8AWNRV`
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 2501.12834#YTTM (definition). In 25JX9GN5TE/e1, definition 1

History

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

Reciprocals of primes 3JXVBVD9D4

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

Mentions

wikipedia: Wikipedia Reciprocals of primes, Reciprocals of primes (definition). Also Wikidata Q111939790

History

2026-11-02: add by m2/dev

Shellsort 3JXWFTAAQC

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#WT0M, Shellsort (unknown)

History

2026-11-02: add by m2/dev

Charles Rezk 3JXWYYT87B

URI	`m2://inv/3JXWYYT87B`
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#TX38, Charles Rezk (topic)

History

2026-11-02: add by m2/dev

3JXZRKYTS0 3JXZRKYTS0

URI	`m2://inv/3JXZRKYTS0`
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.30090#8D3T (statement)

History

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

Applications 3JY0WKG60R

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

Mentions

wikipedia: Wikipedia Linear form#HV98, Applications (example)

History

2026-11-02: add by m2/dev

Centre Mersenne 3JY0X4V14C

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

Mentions

wikipedia: Wikipedia Centre Mersenne, Centre Mersenne (definition). Also Wikidata Q55606850

History

2026-11-02: add by m2/dev

Spectral sets are transversals 3JY2D0CBBP

URI	`m2://inv/3JY2D0CBBP`
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.02218#OGDB, Spectral sets are transversals (statement). In 3FY227EFVZ/e1, proposition 3.1

History

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

3JY79YJMW2 3JY79YJMW2

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

Mentions

wikipedia: Wikipedia Quantum mechanics#ZNIC (problem)

History

2026-11-02: add by m2/dev

$\SSS$ is a quasitopos 3JY7YGQJVZ

URI	`m2://inv/3JY7YGQJVZ`
Kind	statement
Layer	research
MSC	18-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.26270#NC1N, $\SSS$ is a quasitopos (statement)

History

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

sequence, exact 3JYFPNEK6Z

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

Mentions

hott_book: hott_book index/7.5/sequence-exact, sequence, exact (concept). In N54F33XE07, index, section 7.5

History

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

3JYN9QNTZ9 3JYN9QNTZ9

URI	`m2://inv/3JYN9QNTZ9`
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#G596 (statement). In 443TZD4P0A/e1, lemma 14

History

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

3JYXHNJGHY 3JYXHNJGHY

URI	`m2://inv/3JYXHNJGHY`
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.31858#L2T9 (statement). In QV16PHDXKJ/e1, lemma A.1

History

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

3JYYDHQWWY 3JYYDHQWWY

URI	`m2://inv/3JYYDHQWWY`
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 2210.02261#BOXH (statement). In TT74R659T0/e1, lemma 0.11

History

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

Soft-body dynamics 3JZD4TTGP8

URI	`m2://inv/3JZD4TTGP8`
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#Y1HL, Soft-body dynamics (unknown)

History

2026-11-02: add by m2/dev

G-bundle 3JZG9TN5GW

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#6P3Z, G-bundle (definition)

History

2026-11-02: add by m2/dev

Oswald Veblen 3JZGFCQH1D

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

Mentions

wikipedia: Wikipedia List of geometers#QYDR, Oswald Veblen (unknown)

History

2026-11-02: add by m2/dev

Shokichi Iyanaga 3JZPTS4QPS

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#G013, Shokichi Iyanaga (topic)

History

2026-11-02: add by m2/dev