Inventory rows VA

kappa VA0GEBZ34Y

URI	`m2://inv/VA0GEBZ34Y`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a notation: the notation register holds it (corpus spec K10.4))
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q14401, kappa (unknown). Also ProofWiki Symbols:Greek/Kappa

History

2026-10-26: add by m2/dev

quadric VA0JW2PRDK

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#GCSX, quadric (definition)

History

2026-11-02: add by m2/dev

VA0R0XE2RV VA0R0XE2RV

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

Mentions

arxiv: arXiv 2609.33656#D38T (statement). In 8PXDPT3X9P/e1, lemma 14

History

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

VA0VTQN251 VA0VTQN251

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

Mentions

arxiv: arXiv 2609.33238#B056 (statement). In MVWXMDFP3P/e1, lemma 4.6

History

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

VA0W9Y0NNK VA0W9Y0NNK

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

History

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

Morgan Earp VA0WH0EH1H

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

Mentions

wikipedia: Wikipedia Morgan Earp (statistician), Morgan Earp (topic). Also Wikidata Q126278729

History

2026-11-02: add by m2/dev

Horizontal datum VA0XQQBH4D

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

Mentions

wikipedia: Wikipedia Geodetic datum#Y1QO, Horizontal datum (unknown)

History

2026-11-02: add by m2/dev

epispiral VA0YEPXD15

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

Mentions

wikidata: Wikidata Q2296901, epispiral (unknown). Also MathWorld Epispiral
wikipedia: Wikipedia Epispiral, Epispiral (definition). Also Wikidata Q2296901

History

2026-10-26: add by m2/dev

Evan O'Dorney VA0ZCR7PGB

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

Mentions

wikipedia: Wikipedia Evan O'Dorney, Evan O'Dorney (topic). Also Wikidata Q5415501

History

2026-11-02: add by m2/dev

VA0ZD117MK VA0ZD117MK

URI	`m2://inv/VA0ZD117MK`
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.03144#A2SP (statement). In 9QW88325GS/e1, lemma 4.3

History

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

inconsistency VA12E87B0Y

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

Mentions

wikipedia: Wikipedia Glossary of logic#UILJ, inconsistency (definition)

History

2026-11-02: add by m2/dev

VA12GCX10J VA12GCX10J

URI	`m2://inv/VA12GCX10J`
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 2409.17318#3QY1 (statement). In 2P63T9MJ4P/e1, lemma 6.4

History

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

Restricted randomization VA19T02NNV

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

Mentions

wikipedia: Wikipedia List of statistics articles#H6ZT, Restricted randomization (definition)

History

2026-11-02: add by m2/dev

VA1MBXSPEH VA1MBXSPEH

URI	`m2://inv/VA1MBXSPEH`
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.14681#BGEA (statement). In 459W0NBS5Q/e1, theorem 1

History

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

VA1NSN3NBF VA1NSN3NBF

URI	`m2://inv/VA1NSN3NBF`
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 2110.12380#X7ZI (statement). In M6MQPEDQ8N/e1, theorem 4.18

History

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

VA1TWFGTD6 VA1TWFGTD6

URI	`m2://inv/VA1TWFGTD6`
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.29903#W559 (statement)

History

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

Example VA22ZXXNZE

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

Mentions

wikipedia: Wikipedia Probability density function#EIXR, Example (example)

History

2026-11-02: add by m2/dev

Definition VA26JJHCP2

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

Mentions

wikipedia: Wikipedia Pseudomonad (category theory)#Z1XP, Definition (definition)

History

2026-11-02: add by m2/dev

VA27MCC7KS VA27MCC7KS

URI	`m2://inv/VA27MCC7KS`
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.14068#F19B (statement). In JF19FEH3SW/e1, lemma 10.1

History

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

Paley–Wiener theorem VA2C08BK1W

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

Mentions

wikipedia: Wikipedia Plancherel theorem for spherical functions#8H2I, Paley–Wiener theorem (statement)

History

2026-11-02: add by m2/dev

VA2HFX69C2 VA2HFX69C2

URI	`m2://inv/VA2HFX69C2`
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.30323#UBQQ (statement). In HDJ6N25XVT/e1, lemma 4.1

History

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

Carrie Ichikawa Jenkins VA2ZFQDNQ9

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

Mentions

wikipedia: Wikipedia Carrie Ichikawa Jenkins, Carrie Ichikawa Jenkins (topic). Also Wikidata Q16730257

History

2026-11-02: add by m2/dev

Definitions VA32FKNBRZ

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

Mentions

wikipedia: Wikipedia Inverse function#XGL5, Definitions (definition)

History

2026-11-02: add by m2/dev

VA35W4SAW1 VA35W4SAW1

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

Mentions

arxiv: arXiv 2207.05628#5EXX (statement). In 9JPKTEWW4W/e1, lemma 2.5

History

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

Entrance data VA36D0SF95

URI	`m2://inv/VA36D0SF95`
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.23230#WZTA, Entrance data (statement)

History

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

VA36M889FB VA36M889FB

URI	`m2://inv/VA36M889FB`
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.03384#NF1M (statement). In J55JTTKG84/e1, lemma 3.8

History

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

VA3HMQZZXF VA3HMQZZXF

URI	`m2://inv/VA3HMQZZXF`
Kind	statement
Layer	research
MSC	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 2502.14306#52DY (statement). In ZNBQD5WH1M/e1, lemma 5.5

History

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

VA3KYZD9AK VA3KYZD9AK

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

Mentions

arxiv: arXiv 2610.11047#21IC (statement). In MNQAZ70XTH/e1, proposition 11.4

History

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

VA3TYY79DK VA3TYY79DK

URI	`m2://inv/VA3TYY79DK`
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.15723#H019 (statement). In A3KXZ2GBHN/e1, lemma 6

History

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

Multivariate stable distribution VA414MADA5

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

Mentions

wikipedia: Wikipedia Multivariate stable distribution, Multivariate stable distribution (definition). Also Wikidata Q6935142

History

2026-11-02: add by m2/dev

Director of GCHQ VA42K31H7A

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

Mentions

wikipedia: Wikipedia Director of GCHQ, Director of GCHQ (definition). Also Wikidata Q16192124

History

2026-11-02: add by m2/dev

William Lowell Putnam Mathematical Competition VA48EG8C6V

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#KO1C, William Lowell Putnam Mathematical Competition (definition)

History

2026-11-02: add by m2/dev

challenging VA4RQ720J0

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-25, challenging (exercise). In E9HS8K3A52, exercise, section 8.3.3

History

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

partial differential equation VA4S7FSXFK

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

Mentions

lebl_diffyqs: lebl_diffyqs index/6.8.2/partial-differential-equation, partial differential equation (concept). In E9HS8K3A52, index, section 6.8.2

History

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

Applications VA4Z5RCXF3

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

Mentions

wikipedia: Wikipedia Quadratic residuosity problem#H7F7, Applications (example)

History

2026-11-02: add by m2/dev

Cycle basis VA5DBBBFMS

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

Mentions

wikipedia: Wikipedia Cycle basis, Cycle basis (definition). Also Wikidata Q16766188

History

2026-11-02: add by m2/dev

VA5J2S0S0D VA5J2S0S0D

URI	`m2://inv/VA5J2S0S0D`
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.21963#HQLY (statement). In HR9R8RPKN8/e1, lemma 2.7

History

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

VA5PBMNHFV VA5PBMNHFV

URI	`m2://inv/VA5PBMNHFV`
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 2508.17181#E5JJ (statement). In 2QR18WK8KH/e1, lemma 1

History

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

differential (infinitesimal) VA5WX6529T

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

Mentions

wikipedia: Wikipedia Glossary of calculus#SY15, differential (infinitesimal) (definition)

History

2026-11-02: add by m2/dev

VA5XGSA4Y9 VA5XGSA4Y9

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

Mentions

arxiv: arXiv 2610.07695#CMHI (statement). In 8Z47D12KSX/e1, corollary 5.4

History

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

VA62AFCCPX VA62AFCCPX

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

Mentions

arxiv: arXiv 2610.13869#LBQB (statement). In AM0K62YRZ3/e1, theorem B

History

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

Implementation VA6A56APRY

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

Mentions

wikipedia: Wikipedia NM-method#S5N7, Implementation (definition)

History

2026-11-02: add by m2/dev

Bit-reversal permutation VA6AWAA8G9

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

Mentions

wikipedia: Wikipedia Bit-reversal permutation, Bit-reversal permutation (definition). Also Wikidata Q4918660

History

2026-11-02: add by m2/dev

Stanley Brodsky VA6F1WWK2P

URI	`m2://inv/VA6F1WWK2P`
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 Q2331630, Stanley Brodsky (unknown). Also nLab Stanley Brodsky

History

2026-10-26: add by m2/dev

VA6HT91S25 VA6HT91S25

URI	`m2://inv/VA6HT91S25`
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 1903.07030#OER4 (example). In 9H45HQE7AZ/e1, example 3.48

History

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

connectives VA6R7GPJSB

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

Mentions

levin_dmoi: levin_dmoi index/1.2.1/connectives, connectives (concept). In Y91XFCEVHQ, index, section 1.2.1

History

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

VA6RWQGMFR VA6RWQGMFR

URI	`m2://inv/VA6RWQGMFR`
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.01737#BHC8 (statement). In M4JGP708F4/e1, fact 3.12

History

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

VA6TW3AHB2 VA6TW3AHB2

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

Mentions

arxiv: arXiv 2609.36423#0SLF (example). In Q5Z178SAHP/e1, example 5.7

History

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

Diophantine synchronization VA6VSSDP6G

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

Mentions

arxiv: arXiv 2609.30207#5XPK, Diophantine synchronization (statement)

History

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

SMP VA78SH70DX

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

Mentions

wikipedia: Wikipedia SMP (computer algebra system), SMP (definition). Also Wikidata Q7661164

History

2026-11-02: add by m2/dev

defective eigenvalue VA7AVJSJ7B

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

Mentions

lebl_diffyqs: lebl_diffyqs index/10.7.2/defective-eigenvalue, defective eigenvalue (concept). In E9HS8K3A52, index, section 10.7.2

History

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

VA7NSVHFYZ VA7NSVHFYZ

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

Mentions

arxiv: arXiv 2610.02692#0TYF (statement). In P482WJSQSN/e1, lemma 2.1

History

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

Two Mile Prairie VA7YEK2BBZ

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

Mentions

wikipedia: Wikipedia List of places with numeric names#53CK, Two Mile Prairie (unknown)

History

2026-11-02: add by m2/dev

VA7YS6K3SX VA7YS6K3SX

URI	`m2://inv/VA7YS6K3SX`
Kind	statement
Layer	research
MSC	11-XX, 19-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.28677#5TN2 (statement)

History

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

Comparison of pair masses VA81JSYR99

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

Mentions

arxiv: arXiv 2609.20643#91FJ, Comparison of pair masses (statement)

History

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

Restriction criterion for regular wreath products VA81WFT2HC

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

Mentions

arxiv: arXiv 2610.03424#4BUR, Restriction criterion for regular wreath products (statement). In Q6HRJP4AWA/e1, theorem 7.1

History

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

VA822C9XBR VA822C9XBR

URI	`m2://inv/VA822C9XBR`
Kind	conjecture
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 2610.02495#S29T (conjecture). In T4S7XVAJJC/e1, conjecture 18.3

History

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

critical path method VA83K7D3X6

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

Mentions

wikidata: Wikidata Q825377, critical path method (definition). Also ProofWiki Definition:Critical_Path_Analysis
wikipedia: Wikipedia Critical path method, Critical path method (definition). Also Wikidata Q825377

History

2026-10-26: add by m2/dev

Semi-discrete entropy stability of the coupled scheme VA862E8J5B

URI	`m2://inv/VA862E8J5B`
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.17973#DWD3, Semi-discrete entropy stability of the coupled scheme (statement). In 59052V4FDR/e1, theorem 1

History

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

VA8941J3P8 VA8941J3P8

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

Mentions

arxiv: arXiv 2609.36423#IPKU (definition). In Q5Z178SAHP/e1, definition 4.13

History

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

Wee Teck Gan VA89DXBKAJ

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QJU8, Wee Teck Gan (unknown)

History

2026-11-02: add by m2/dev

the chord recovers the fractional amount of the next main summand VA8A9FYZ08

URI	`m2://inv/VA8A9FYZ08`
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.03728#YTMZ, the chord recovers the fractional amount of the next main summand (statement). In NXR84SNM8F/e1, proposition 6.3

History

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

VA8C4ET4KD VA8C4ET4KD

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

Mentions

arxiv: arXiv 2609.27078#ZPJ4 (definition)

History

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

Properties VA8FSAAFY3

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

Mentions

wikipedia: Wikipedia Relatively hyperbolic group#QFH2, Properties (statement)

History

2026-11-02: add by m2/dev

Compound of two great retrosnub icosidodecahedra VA8SAMHQS1

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

Mentions

wikipedia: Wikipedia Compound of two great retrosnub icosidodecahedra, Compound of two great retrosnub icosidodecahedra (definition). Also Wikidata Q5156913

History

2026-11-02: add by m2/dev

VA8XHV7HGM VA8XHV7HGM

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

Mentions

arxiv: arXiv 2610.09314#27NP (definition). In Z04N0B3R0V/e1, definition 2.1

History

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

Convergence problem VA92MYSRFV

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

Mentions

mathlib_1000: mathlib_1000 Q5166389, Van Vleck's theorem (statement). Also Wikidata Q5166389
thousand_plus: thousand_plus Q5166389, Van Vleck's theorem (statement). Also Wikidata Q5166389
wikipedia: Wikipedia Convergence problem, Convergence problem (problem). Also Wikidata Q5166389

History

2026-10-26: add by m2/dev

VA93BG8Z5B VA93BG8Z5B

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

Mentions

arxiv: arXiv 2410.02139#DZ1S (statement). In TJ1NTK3KJW/e1, lemma 19

History

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

Cauchy's integral theorem VA9ANRP752

URI	`m2://inv/VA9ANRP752`
Kind	statement
Layer	textbook
MSC	30-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Cauchy's integral theorem 01MPZXYVYF

Mentions

mathlib_1000: mathlib_1000 Q834025, Cauchy integral theorem (statement). Also Wikidata Q834025
thousand_plus: thousand_plus Q834025, Cauchy integral theorem (statement). Also Mathlib Complex.circleIntegral_div_sub_of_differentiable_on_off_countable, Wikidata Q834025, Wikipedia Cauchy integral theorem
wikidata: Wikidata Q834025, Cauchy's integral theorem (statement). Also EoM Cauchy_integral_theorem, MathWorld CauchyIntegralTheorem, nLab Cauchy integral theorem, ProofWiki Cauchy-Goursat_Theorem
wikipedia: Wikipedia Cauchy's integral theorem, Cauchy's integral theorem (statement). Also Wikidata Q834025

History

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

Cutoff-profile epi-convergence with boundary atoms VA9C7WYXHT

URI	`m2://inv/VA9C7WYXHT`
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.08821#VVZP, Cutoff-profile epi-convergence with boundary atoms (statement). In KP1THB2C09/e1, theorem 4.11

History

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

deformation theory VA9SDP84HD

URI	`m2://inv/VA9SDP84HD`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Deformation theory SWFR1GD6QT

Mentions

wikidata: Wikidata Q5251702, deformation theory (topic). Also nLab deformation theory
wikipedia: Wikipedia Deformation (mathematics), Deformation (topic). Also Wikidata Q5251702

History

2026-10-26: add by m2/dev

arity VA9SNY2EHP

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

Mentions

hott_book: hott_book index/8.3/arity, arity (concept). In N54F33XE07, index, section 8.3

History

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

Zarankiewicz problem VA9VEW8TN5

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#F0WY, Zarankiewicz problem (conjecture)

History

2026-11-02: add by m2/dev

Radau bracket VA9WN6J3DY

URI	`m2://inv/VA9WN6J3DY`
Kind	statement
Layer	research
MSC	26-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.34918#ZSRS, Radau bracket (statement). In B3MNVE9149/e1, theorem 7.1

History

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

VAA04ESKBS VAA04ESKBS

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

Mentions

arxiv: arXiv 0803.0074#Y0IT (statement). In NWJEN5GWFV/e1, lemma 3.4

History

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

Minimal-State Reduction VAA3EM43XJ

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

Mentions

arxiv: arXiv 2609.22465#UD20, Minimal-State Reduction (statement)

History

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

*-algebra VAACNJXJCX

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

Mentions

wikipedia: Wikipedia List of algebras#8VJA, *-algebra (definition)

History

2026-11-02: add by m2/dev

Structure VAAGFY1R8N

URI	`m2://inv/VAAGFY1R8N`
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.38220#0YJ0, Structure (statement). In 1AC4S19925/e1, lemma 3.1

History

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

VAAGXE8CXV VAAGXE8CXV

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

Mentions

arxiv: arXiv 2609.35102#BXJ0 (statement). In XK6H7F2F13/e1, theorem 1.7

History

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

VAAMQRZYJE VAAMQRZYJE

URI	`m2://inv/VAAMQRZYJE`
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 2609.34168#P73F (statement). In 30YQV8N04M/e1, theorem 3.8

History

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

Original Mersenne conjecture VAANSCFDZD

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

Mentions

wikipedia: Wikipedia Mersenne conjectures#BJZ4, Original Mersenne conjecture (statement)

History

2026-11-02: add by m2/dev

Ideal arithmetic via generators VAAPZ736BD

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

Mentions

napkin: napkin tex/alg-NT/dedekind.tex#proposition-1, Ideal arithmetic via generators (statement). In RZP28ERRZV, proposition, section 10.2

History

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

Linear algebra VAAT77ZBEP

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

Mentions

wikipedia: Wikipedia List of group theory topics#D4BK, Linear algebra (topic)
wikipedia: Wikipedia List of algebras#EXPP, Linear algebra (topic)

History

2026-11-02: add by m2/dev

VAB064TY7R VAB064TY7R

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

Mentions

arxiv: arXiv 2610.16606#M6V3 (statement). In A798V7TX99/e1, proposition 5.31

History

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

Secure voice VAB0TEWQXV

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

Mentions

wikipedia: Wikipedia Secure voice, Secure voice (definition). Also Wikidata Q7444885

History

2026-11-02: add by m2/dev

VAB14SFED1 VAB14SFED1

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

Mentions

arxiv: arXiv 2609.35691#I915 (statement). In G7R61RPWE2/e1, proposition 4.10

History

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

Central same-side completion VAB2GNHDPM

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

Mentions

arxiv: arXiv 2609.24931#KPKD, Central same-side completion (statement)

History

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

VAB8ZS2S44 VAB8ZS2S44

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

Mentions

arxiv: arXiv 2407.08004#XA3N (statement). In TYS65EG479/e1, proposition 6

History

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

Shadowing for the induced operator VAB9A0DMHV

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

Mentions

arxiv: arXiv 2610.04179#KMM5, Shadowing for the induced operator (statement). In D64RQ09KBP/e1, theorem 2.15

History

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

VABDNENQG0 VABDNENQG0

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

Mentions

arxiv: arXiv 2610.04503#P1ZP (statement). In GWQP1XPM8E/e1, proposition 2.5

History

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

VABE7167PC VABE7167PC

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

Mentions

open_logic: open_logic content/sets-functions-relations/sets/subsets.tex#forallxina (definition). In PKGMM3P5QY, defn, section 83.1

History

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

Properties VABFQAEDR7

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

Mentions

wikipedia: Wikipedia Concurrence (quantum computing)#F7FC, Properties (statement)

History

2026-11-02: add by m2/dev

\Gls{opinf} decomposition theorem VABQES0S3Y

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

Mentions

arxiv: arXiv 2610.01295#ENMK, \Gls{opinf} decomposition theorem (statement). In EHGJX4ETBN/e1, theorem 3.1

History

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

VABQVMVE10 VABQVMVE10

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

Mentions

active_calculus: active_calculus source/activities/act-4-1-1.xml#act-4-1-1 (exercise). In 907G4C4EJ1, activity, section 4.1.2

History

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

Michel Ledoux VABV6WPC7Z

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

Mentions

wikipedia: Wikipedia Michel Ledoux, Michel Ledoux (topic). Also Wikidata Q15454699

History

2026-11-02: add by m2/dev

Lucas primes VAC0A6SAJB

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#VIQ3, Lucas primes (conjecture)

History

2026-11-02: add by m2/dev

Comparison within cells VAC65Y5X74

URI	`m2://inv/VAC65Y5X74`
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.11330#QR6H, Comparison within cells (statement). In Z73GKA9WDB/e1, lemma C.5

History

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

VACAXM3DYY VACAXM3DYY

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

Mentions

wikipedia: Wikipedia Apex graph#L2VU (problem)

History

2026-11-02: add by m2/dev

Example VACFVAJK2V

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

Mentions

wikipedia: Wikipedia Factorization#CAT0, Example (example)

History

2026-11-02: add by m2/dev

Properties VACGD95ZWJ

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

Mentions

wikipedia: Wikipedia Continuous poset#PG45, Properties (statement)

History

2026-11-02: add by m2/dev

VACHP6PVQC VACHP6PVQC

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

Mentions

arxiv: arXiv 2609.26500#QCUO (statement)

History

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

VACN58XWG8 VACN58XWG8

URI	`m2://inv/VACN58XWG8`
Kind	statement
Layer	research
MSC	11-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.40123#T1FU (statement). In WK2YHYEDZ9/e1, fact 2.2

History

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

Properties VACRR3YBYP

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

Mentions

wikipedia: Wikipedia State space (computer science)#IQAL, Properties (statement)

History

2026-11-02: add by m2/dev

Nonmetricity tensor VACRZN7W49

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

Mentions

wikipedia: Wikipedia Nonmetricity tensor, Nonmetricity tensor (definition). Also Wikidata Q7049491

History

2026-11-02: add by m2/dev

VACYT5N9ZW VACYT5N9ZW

URI	`m2://inv/VACYT5N9ZW`
Kind	statement
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 2609.27103#RX6B (statement)

History

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

Coupling from the past VACZHM78X0

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

Mentions

wikipedia: Wikipedia Coupling from the past, Coupling from the past (definition). Also Wikidata Q5178037

History

2026-11-02: add by m2/dev

Cooley–Tukey FFT algorithm VAD1K19QEQ

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

Mentions

wikipedia: Wikipedia Cooley–Tukey FFT algorithm, Cooley–Tukey FFT algorithm (definition). Also Wikidata Q5167446

History

2026-11-02: add by m2/dev

VAD1QC5YPM VAD1QC5YPM

URI	`m2://inv/VAD1QC5YPM`
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.26041#9EJK (statement)

History

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

VAD44P58AX VAD44P58AX

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

Mentions

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

History

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

Gerhard Haenzel VAD8DSRSC8

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

Mentions

wikipedia: Wikipedia Gerhard Haenzel, Gerhard Haenzel (topic). Also Wikidata Q1511691

History

2026-11-02: add by m2/dev

VAD8M9VPHV VAD8M9VPHV

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

Mentions

wikipedia: Wikipedia Catalan's conjecture#VA18 (problem)

History

2026-11-02: add by m2/dev

Hankinson's equation VADAPVESE2

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

Mentions

wikipedia: Wikipedia Hankinson's equation, Hankinson's equation (definition). Also Wikidata Q3077622

History

2026-11-02: add by m2/dev

In law VADC643WJ2

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

Mentions

wikipedia: Wikipedia Appeal to consequences#GKRI, In law (statement)

History

2026-11-02: add by m2/dev

VADENWXAAQ VADENWXAAQ

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

Mentions

arxiv: arXiv 2610.14837#JXO1 (statement). In J4P6HXMJCH/e1, proposition 6.2

History

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

VADMP1C233 VADMP1C233

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

Mentions

arxiv: arXiv 2512.16003#9IGT (definition). In BJGS6ZCQ12/e1, definition 3.3

History

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

VADP0GYR0A VADP0GYR0A

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

Mentions

arxiv: arXiv 2610.16203#MPUC (statement). In 43TBS9P2PX/e1, lemma 3.3

History

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

Annealed full-sphere bound VADYGEZ8Q2

URI	`m2://inv/VADYGEZ8Q2`
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.05498#YEB0, Annealed full-sphere bound (statement). In TJT32RQ9GC/e1, lemma 3.1

History

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

Integral flow theorem VAE7YJSX6H

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

Mentions

wikipedia: Wikipedia Maximum flow problem#221Z, Integral flow theorem (statement)

History

2026-11-02: add by m2/dev

Menachem Oren VAEA9QPCWY

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#RWQM, Menachem Oren (unknown)

History

2026-11-02: add by m2/dev

VAEG5RZJF2 VAEG5RZJF2

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-67 (exercise). In VNMV985MXX, exercise, section 2.1

History

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

Complete analytic classification VAEH69A2Z8

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

Mentions

arxiv: arXiv 2610.21092#1TX3, Complete analytic classification (statement). In AGJE43FTF8/e1, corollary 10.3

History

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

Alfvén wave VAEJA5E2QB

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

Mentions

wikipedia: Wikipedia Alfvén wave, Alfvén wave (definition). Also Wikidata Q645813

History

2026-11-02: add by m2/dev

Gorenstein–Walter theorem VAEP6BQM59

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

Mentions

wikipedia: Wikipedia Gorenstein–Walter theorem, Gorenstein–Walter theorem (statement). Also Wikidata Q5586176

History

2026-11-02: add by m2/dev

Uses VAEV28SSWQ

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

Mentions

wikipedia: Wikipedia Analysis of covariance#OGSM, Uses (example)

History

2026-11-02: add by m2/dev

16 VAEYN6MRXR

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

Mentions

wikidata: Wikidata Q40254, 16 (statement). Also ProofWiki 16
wikipedia: Wikipedia 16 (number), 16 (definition). Also Wikidata Q40254

History

2026-10-26: add by m2/dev

VAF11D5JXT VAF11D5JXT

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

Mentions

arxiv: arXiv 2610.02061#VTTU (statement). In F5STMSPR6X/e1, theorem 3.15

History

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

VAF6F2JWR9 VAF6F2JWR9

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

Mentions

arxiv: arXiv 2111.14699#L3DQ (statement). In ES1CVGG59Y/e1, lemma 7.3

History

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

Nizam al-Din al-Nisaburi VAFE2R0P1Z

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

Mentions

wikipedia: Wikipedia Nizam al-Din al-Nisaburi, Nizam al-Din al-Nisaburi (topic). Also Wikidata Q4116610

History

2026-11-02: add by m2/dev

VAFMKKNMXS VAFMKKNMXS

URI	`m2://inv/VAFMKKNMXS`
Kind	example
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#U77C (example). In S7PNTM0GZC/e1, example 3.10

History

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

Riemann form VAFQZ6V0WN

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#D98Y, Riemann form (definition)

History

2026-11-02: add by m2/dev

VAFR60M3TW VAFR60M3TW

URI	`m2://inv/VAFR60M3TW`
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.09084#784Q (statement). In F5VT2K2QYX/e1, lemma 23

History

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

Applications VAG5JWNBW9

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

Mentions

wikipedia: Wikipedia Nevanlinna theory#VVZ9, Applications (example)

History

2026-11-02: add by m2/dev

VAG7ZSZFBV VAG7ZSZFBV

URI	`m2://inv/VAG7ZSZFBV`
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.11974#1I3Y (statement). In AW6S4XZ9ZZ/e1, theorem 7.1

History

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

Nicolai A. Vasiliev VAGJAHY7JY

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

Mentions

wikipedia: Wikipedia List of logicians#NPUR, Nicolai A. Vasiliev (topic)

History

2026-11-02: add by m2/dev

VAGKCJ0P51 VAGKCJ0P51

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

Mentions

arxiv: arXiv 2008.10035#HZNG (statement). In 29EH04FH4B/e1, theorem 5.7

History

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

VAGRTGCSDP VAGRTGCSDP

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

Mentions

arxiv: arXiv 2609.37520#VCWW (statement). In BDN507RN7J/e1, corollary 3.8.2

History

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

Brute-force search VAGTG9P08X

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

Mentions

wikipedia: Wikipedia List of algorithms#BJGD, Brute-force search (unknown)

History

2026-11-02: add by m2/dev

Double mass analysis VAGVYBVW8R

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

Mentions

wikipedia: Wikipedia List of statistics articles#RVHG, Double mass analysis (definition)

History

2026-11-02: add by m2/dev

Multi-conformal symplectic conservation law VAGYNFDH4K

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

Mentions

arxiv: arXiv 2609.29847#7AZP, Multi-conformal symplectic conservation law (statement)

History

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

complete zero list VAGZ1PGN49

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

Mentions

arxiv: arXiv 2610.02289#48IP, complete zero list (statement). In 67BZ87CQ74/e1, proposition 3.4

History

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

Joachim Jungius VAH39H0KQM

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

Mentions

wikipedia: Wikipedia List of German mathematicians#CAKZ, Joachim Jungius (topic)

History

2026-11-02: add by m2/dev

Preprocessing basis quality VAHASVM7A0

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

Mentions

arxiv: arXiv 2609.37482#GTY5, Preprocessing basis quality (statement). In 9QDRMZX8EY/e1, lemma 10

History

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

Vitali covering lemma VAHBGEXSQZ

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

Mentions

mathlib_1000: mathlib_1000 Q3229352, Vitali covering theorem (statement). Also Mathlib Vitali.exists_disjoint_covering_ae, Wikidata Q3229352
thousand_plus: thousand_plus Q3229352, Vitali covering theorem (statement). Also Mathlib Vitali.exists_disjoint_covering_ae, Wikidata Q3229352, Wikipedia Vitali covering theorem
wikipedia: Wikipedia Vitali covering lemma, Vitali covering lemma (statement). Also Wikidata Q3229352

History

2026-10-26: add by m2/dev

Louis Joel Mordell VAHMZ7D9GY

URI	`m2://inv/VAHMZ7D9GY`
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#3N45, Louis Joel Mordell (topic)

History

2026-11-02: add by m2/dev

VAHNXTR1W7 VAHNXTR1W7

URI	`m2://inv/VAHNXTR1W7`
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.15169#1QSR (statement). In V7SN19J84T/e1, proposition 2.6

History

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

VAHS229YP0 VAHS229YP0

URI	`m2://inv/VAHS229YP0`
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.15982#IOZJ (statement). In KB50SHR229/e1, lemma C.4

History

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

Linear bound for Hilbert-factorable observables VAHY2AM0VG

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

Mentions

arxiv: arXiv 2610.11002#16P3, Linear bound for Hilbert-factorable observables (statement). In P55JSAYR3T/e1, theorem

History

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

MASH-2 VAJ5Z6ZRC1

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

Mentions

wikipedia: Wikipedia MASH-1#AMBZ, MASH-2 (unknown)

History

2026-11-02: add by m2/dev

Definition VAJ6JNWQ34

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

Mentions

wikipedia: Wikipedia Homotopy Lie algebra#Y9VE, Definition (definition)

History

2026-11-02: add by m2/dev

Lars Ramkilde Knudsen VAJ8HSBYE6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2Y7O, Lars Ramkilde Knudsen (topic)

History

2026-11-02: add by m2/dev

law of joint probability VAJ9D8E96Y

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

Mentions

mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > law of joint probability, law of joint probability (unknown)

History

2026-10-26: add by m2/dev

ζ VAJF7WS161

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#77FD, ζ (definition)

History

2026-11-02: add by m2/dev

VAJG03QBBQ VAJG03QBBQ

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

Mentions

arxiv: arXiv 2610.00657#K1Z9 (definition). In FF8A8FP4FB/e1, definition 2

History

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

Newton–Pepys problem VAJJJ5P1TV

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

Mentions

wikidata: Wikidata Q14754879, Newton–Pepys problem (problem). Also MathWorld Newton-PepysProblem
wikipedia: Wikipedia Newton–Pepys problem, Newton–Pepys problem (problem). Also Wikidata Q14754879

History

2026-10-26: add by m2/dev

Poincaré conjecture VAJQ6C4AEX

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

Mentions

wikipedia: Wikipedia Millennium Prize Problems#VXN8, Poincaré conjecture (statement)

History

2026-11-02: add by m2/dev

Symmetry VAJRNZSRTR

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

Mentions

wikipedia: Wikipedia Heptomino#E5OA, Symmetry (statement)

History

2026-11-02: add by m2/dev

VAJYNV89Y0 VAJYNV89Y0

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

Mentions

open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 36.3

History

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

weak harmonic mappings VAKA8A4SVW

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

Mentions

arxiv: arXiv 2609.25801#IU08, weak harmonic mappings (definition)

History

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

VAKDKADZG0 VAKDKADZG0

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

Mentions

arxiv: arXiv 2610.17276#KRGL (statement). In GG14QF0JKJ/e1, lemma 2.9

History

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

VAKK46PFRA VAKK46PFRA

URI	`m2://inv/VAKK46PFRA`
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.23629#EYX7 (statement)

History

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

VAKK83AYZ1 VAKK83AYZ1

URI	`m2://inv/VAKK83AYZ1`
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.29158#6ZDW (statement)

History

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

Finite-time training guarantee VAKYNVZTRA

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

Mentions

arxiv: arXiv 2610.03306#52BK, Finite-time training guarantee (statement). In CXQ7FKSKSB/e1, theorem 3.1

History

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

Charles Nam VAM9HSEEJ2

URI	`m2://inv/VAM9HSEEJ2`
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#TWWG, Charles Nam (unknown)

History

2026-11-02: add by m2/dev

Definition VAMF9JFHBY

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

Mentions

wikipedia: Wikipedia Central product#FT9O, Definition (definition)

History

2026-11-02: add by m2/dev

VAMRRWTTRH VAMRRWTTRH

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

Mentions

arxiv: arXiv 2610.05365#0723 (statement). In BKPSH4CD9K/e1, proposition 3.5

History

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

Examples VAMSSWK49H

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

Mentions

wikipedia: Wikipedia Method of moments (statistics)#EREE, Examples (example)

History

2026-11-02: add by m2/dev

Mean-reverting process VANCE9DF4J

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

Mentions

wikipedia: Wikipedia List of statistics articles#HGZ4, Mean-reverting process (definition)

History

2026-11-02: add by m2/dev

VANE3G7W7R VANE3G7W7R

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

Mentions

arxiv: arXiv 2608.24606#BQGN (statement). In VFV3FFB7Q7/e1, lemma 1

History

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

loop space VANGCX0DNQ

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

Mentions

hott_book: hott_book index/7.9/loop-space, loop space (concept). In N54F33XE07, index, section 7.9

History

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

Rose's Theorem VANW2226MZ

URI	`m2://inv/VANW2226MZ`
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.16821#RGRW, Rose's Theorem (statement). In EFSGMHG5BW/e1, theorem 2.8

History

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

Removal of the a priori upper bound VANY1BRSF1

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

Mentions

arxiv: arXiv 2609.32829#NEB0, Removal of the a priori upper bound (statement). In RYWAX33Z51/e1, lemma 10.11

History

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

VANZ5ER8JZ VANZ5ER8JZ

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

Mentions

arxiv: arXiv 2609.35543#Z62H (statement). In WSG1ZW956E/e1, proposition 5.6

History

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

semiring VAP6W9VJ3V

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

Mentions

hott_book: hott_book index/C.2/semiring, semiring (concept). In N54F33XE07, index, section C.2

History

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

Hopcroft's algorithm VAPB3F5TEJ

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

Mentions

wikipedia: Wikipedia List of algorithms#NE36, Hopcroft's algorithm (definition)

History

2026-11-02: add by m2/dev

Monotonicity in the coupling VAPEJEYYMD

URI	`m2://inv/VAPEJEYYMD`
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.02933#IEHI, Monotonicity in the coupling (statement). In QSYZKPFRAN/e1, proposition 1.1

History

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

VAPWW5C3QE VAPWW5C3QE

URI	`m2://inv/VAPWW5C3QE`
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 2601.18223#ADSM (statement). In ZRXE7EJA93/e1, lemma 3.3

History

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

Representations VAQ25NCWHR

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

Mentions

wikipedia: Wikipedia Fischer group Fi23#QN7R, Representations (definition)

History

2026-11-02: add by m2/dev

$k$-loaded core weight VAQ6MYX3RM

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

Mentions

arxiv: arXiv 2610.21454#8OC2, $k$-loaded core weight (definition). In ZP2RJFZ3V2/e1, definition 3.3

History

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

synthetic mathematics VAQ7DCYDW0

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

Mentions

hott_book: hott_book index/7/synthetic-mathematics, synthetic mathematics (concept). In N54F33XE07, index, section 7

History

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

Wassily Leontief VAQMKVGT8F

URI	`m2://inv/VAQMKVGT8F`
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#VCJP, Wassily Leontief (unknown)

History

2026-11-02: add by m2/dev

VAQNT5TFNJ VAQNT5TFNJ

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

Mentions

arxiv: arXiv 2610.05672#UL0M (statement). In BQGX0XE2A6/e1, proposition 3.6

History

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

reflection formula VAQXTN98ZG

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

Mentions

wikidata: Wikidata Q4922429, reflection formula (unknown). Also MathWorld ReflectionRelation
wikipedia: Wikipedia Reflection formula, Reflection formula (statement). Also Wikidata Q4922429

History

2026-10-26: add by m2/dev

Georg Wilhelm Friedrich Hegel VAQZD5KT1F

URI	`m2://inv/VAQZD5KT1F`
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 Q9235, Georg Wilhelm Friedrich Hegel (unknown). Also nLab Georg Hegel
wikipedia: Wikipedia Georg Wilhelm Friedrich Hegel, Georg Wilhelm Friedrich Hegel (topic). Also Wikidata Q9235

History

2026-10-26: add by m2/dev

Examples VAQZXRQ8G6

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

Mentions

wikipedia: Wikipedia Hyperhomology#N275, Examples (example)

History

2026-11-02: add by m2/dev

Geometric fermionic Lindbladian learning VAR369MH9A

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

Mentions

arxiv: arXiv 2610.00448#7I9W, Geometric fermionic Lindbladian learning (statement). In N06J7GC05Q/e1, theorem 6.5

History

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

No finitely atomic measures VAR4K8TBS8

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

Mentions

arxiv: arXiv 2606.21391#ZO8V, No finitely atomic measures (example). In J9C7YMKJ33/e1, example 4.18

History

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

serial VAR506EHB0

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#3S80, serial (definition)

History

2026-11-02: add by m2/dev

List of small groups VARD02DNDP

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

Mentions

wikipedia: Wikipedia List of group theory topics#7IVU, List of small groups (topic)
wikipedia: Wikipedia List of mathematics reference tables#SCCG, List of small groups (topic)
wikipedia: Wikipedia List of mathematical examples#7G9H, List of small groups (topic)
wikipedia: Wikipedia Lists of mathematics topics#MBPK, List of small groups (topic)

History

2026-11-02: add by m2/dev

Optimal solutions for the Rubik's Cube VARENBDE7M

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

Mentions

wikipedia: Wikipedia Optimal solutions for the Rubik's Cube, Optimal solutions for the Rubik's Cube (definition). Also Wikidata Q7098949

History

2026-11-02: add by m2/dev

VARHPR3THN VARHPR3THN

URI	`m2://inv/VARHPR3THN`
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.19093#XGKJ (statement). In S2K79KESZ4/e1, theorem 1.4

History

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

VARJXKE2Q1 VARJXKE2Q1

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

Mentions

arxiv: arXiv 2610.09171#V44O (statement). In 5ZPSZFE08Q/e1, theorem 6.2

History

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

VARKBJVP8P VARKBJVP8P

URI	`m2://inv/VARKBJVP8P`
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.26600#6S6X (statement)

History

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

VARKWD647Q VARKWD647Q

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 4.2

History

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

Properties VARPMCR0FM

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

Mentions

wikipedia: Wikipedia Covariance matrix#E8U6, Properties (statement)

History

2026-11-02: add by m2/dev

The limit of $\lambda_n$ at $0$ VARQ0JDPXT

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

Mentions

arxiv: arXiv 2609.27765#BT8P, The limit of $\lambda_n$ at $0$ (statement)

History

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

VARTQ6E35P VARTQ6E35P

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

Mentions

arxiv: arXiv 2609.27023#NGM1 (statement)

History

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

VAS4ETB5KG VAS4ETB5KG

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

Mentions

arxiv: arXiv 2609.30663#MGDI (statement). In 3JZDKWS8NK/e1, lemma 12.2

History

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

VAS6ZDFFGC VAS6ZDFFGC

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

Mentions

napkin: napkin tex/alg-NT/finite-field.tex#proof-6 (proof). In RZP28ERRZV, proof, section 12.4

History

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

VASHPBH896 VASHPBH896

URI	`m2://inv/VASHPBH896`
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 2606.18859#L7QA (statement). In EVRAASXEDY/e1, lemma 4.3

History

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

Raikov's theorem VASMP8YXZA

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

Mentions

wikipedia: Wikipedia List of statistics articles#F6YT, Raikov's theorem (statement)

History

2026-11-02: add by m2/dev

Aanderaa–Karp–Rosenberg conjecture VASQP4YCHR

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#KEJ1, Aanderaa–Karp–Rosenberg conjecture (conjecture)

History

2026-11-02: add by m2/dev

Gunnar Nordström VASTVNMZD4

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#5QJE, Gunnar Nordström (unknown)

History

2026-11-02: add by m2/dev

BaseKing VAT9QNBB7E

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

Mentions

wikipedia: Wikipedia BaseKing, BaseKing (definition). Also Wikidata Q3635532

History

2026-11-02: add by m2/dev

Spectra of finite truncations of \(\mathscr H_{(a)}\ VAT9YG32PZ

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

Mentions

arxiv: arXiv 2609.26066#WSIK, Spectra of finite truncations of \(\mathscr H_{(a)}\ (statement)

History

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

Birch and Swinnerton-Dyer conjecture VATCQC929X

URI	`m2://inv/VATCQC929X`
Kind	conjecture
Layer	textbook
Sources	2
Outcome	open
Node	Birch and Swinnerton-Dyer conjecture ZWEFBG40H9

Mentions

wikidata: Wikidata Q527863, Birch and Swinnerton-Dyer conjecture (conjecture). Also LMFDB knowl ec.bsdconjecture, LMFDB knowl ec.q.bsdconjecture, MathWorld Swinnerton-DyerConjecture, nLab Birch and Swinnerton-Dyer conjecture, ProofWiki Birch_and_Swinnerton-Dyer_Conjecture
wikipedia: Wikipedia Birch and Swinnerton-Dyer conjecture, Birch and Swinnerton-Dyer conjecture (conjecture). Also Wikidata Q527863

History

2026-10-26: add by m2/dev

Contact derivatives VATGPMHX0S

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

Mentions

arxiv: arXiv 2609.24931#AE37, Contact derivatives (statement)

History

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

Flow (graph theory) VATPXHNBYN

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

Mentions

wikipedia: Wikipedia Flow network#VL5E, Flow (graph theory) (unknown)

History

2026-11-02: add by m2/dev

Random search VATQ7FW2T6

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

Mentions

wikipedia: Wikipedia Random search, Random search (definition). Also Wikidata Q4925641

History

2026-11-02: add by m2/dev

RSA-617 VATTX9D256

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

Mentions

wikipedia: Wikipedia RSA numbers#8NOM, RSA-617 (unknown)

History

2026-11-02: add by m2/dev

VAV2FD4MRE VAV2FD4MRE

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#defn-2 (definition). In E59CDZA4DP, defn, section 10.1

History

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

Explicit bounds and polynomial-size packing VAV6CX5RFD

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

Mentions

arxiv: arXiv 2609.38228#8KQP, Explicit bounds and polynomial-size packing (statement). In 9YAE8FNQST/e1, proposition 3.8

History

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

Definition VAVAC1M9WT

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

Mentions

wikipedia: Wikipedia First fundamental form#FFKR, Definition (definition)

History

2026-11-02: add by m2/dev

VAVBMPSGA7 VAVBMPSGA7

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

Mentions

arxiv: arXiv 2609.23833#KA5Z (statement)

History

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

Fox H-function VAVBN7EWKC

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

Mentions

wikipedia: Wikipedia List of mathematical functions#FTN2, Fox H-function (definition)

History

2026-11-02: add by m2/dev

Equivalent definition with relaxed axioms VAVGXVYCT4

URI	`m2://inv/VAVGXVYCT4`
Kind	statement
Layer	textbook
Sources	1
Outcome	node
Node	Equivalent definition with relaxed axioms T0BWYYR508

Mentions

wikipedia: Wikipedia Group (mathematics)#V50Y, Equivalent definition with relaxed axioms (statement)

History

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

VAVR6CWX7M VAVR6CWX7M

URI	`m2://inv/VAVR6CWX7M`
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 2610.08042#1E6R (conjecture). In SSEDAYK3CQ/e1, conjecture 1

History

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

reflection VAVT6Q2SZF

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

Mentions

mathlib_overview: mathlib_overview Analysis > Hilbert spaces > reflection, reflection (unknown). Also Mathlib Submodule.reflection

History

2026-10-26: add by m2/dev

VAW325N518 VAW325N518

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

Mentions

arxiv: arXiv 2609.28364#W406 (statement)

History

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

Regular space VAW4ACVYEH

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

Mentions

wikipedia: Wikipedia List of general topology topics#4N56, Regular space (definition)

History

2026-11-02: add by m2/dev

the blocks form a forest VAW4C9QN5K

URI	`m2://inv/VAW4C9QN5K`
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.05617#2YPQ, the blocks form a forest (statement). In 5JP3JTYAXK/e1, proposition 9.5

History

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

VAW4M0BEZP VAW4M0BEZP

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

Mentions

wikipedia: Wikipedia Erdős–Tetali theorem#LHZF (problem)

History

2026-11-02: add by m2/dev

Combined Gaussian-cloud event VAW634PWRW

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

Mentions

arxiv: arXiv 2610.11309#EPIG, Combined Gaussian-cloud event (statement). In TTEAQA1XXR/e1, lemma D.2

History

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

Kiros Berhane VAW7VPKZBP

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#TFU2, Kiros Berhane (topic)

History

2026-11-02: add by m2/dev

VAW87G3XC5 VAW87G3XC5

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

Mentions

arxiv: arXiv 2609.27151#F79F (statement)

History

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

Examples VAW89G0KSP

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

Mentions

wikipedia: Wikipedia Cavity perturbation theory#4Q0B, Examples (example)

History

2026-11-02: add by m2/dev

Yossele Rosenblatt VAWC13JPMH

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#X19U, Yossele Rosenblatt (unknown)

History

2026-11-02: add by m2/dev

Order VAWCYM68T0

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

Mentions

wikipedia: Wikipedia Order (ring theory), Order (definition). Also Wikidata Q1431456

History

2026-11-02: add by m2/dev

VAWE06F51D VAWE06F51D

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

Mentions

arxiv: arXiv 2609.26340#OZ8E (statement)

History

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

Xiaoying Han VAWEWJX4SV

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

Mentions

wikipedia: Wikipedia Xiaoying Han, Xiaoying Han (topic). Also Wikidata Q85601625

History

2026-11-02: add by m2/dev

Statement VAWJ7MJRES

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

Mentions

wikipedia: Wikipedia Hilbert's syzygy theorem#1SF7, Statement (statement)

History

2026-11-02: add by m2/dev

Upper reflected BSDE VAWJRETPBM

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

Mentions

arxiv: arXiv 2609.23768#3W3U, Upper reflected BSDE (definition)

History

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

Covector mapping principle VAWKQ2NWNG

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#DU0F, Covector mapping principle (unknown)

History

2026-11-02: add by m2/dev

Ryser and Lander conjectures VAWKSQNF8Z

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

Mentions

wikipedia: Wikipedia Difference set#NXU7, Ryser and Lander conjectures (statement)

History

2026-11-02: add by m2/dev

VAWWJE1D9P VAWWJE1D9P

URI	`m2://inv/VAWWJE1D9P`
Kind	statement
Layer	research
MSC	20-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.16834#LMMW (statement). In Q0DTV6PJJW/e1, proposition 3.5

History

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

Digon/Bigon VAX1SMQQKF

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#C7V4, Digon/Bigon (definition)

History

2026-11-02: add by m2/dev

VAX3Y85P5J VAX3Y85P5J

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

Mentions

arxiv: arXiv 2609.29712#2VDF (statement)

History

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

Isadore Singer VAX40KV5GG

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#ZFPP, Isadore Singer (topic)

History

2026-11-02: add by m2/dev

VAX4283WKB VAX4283WKB

URI	`m2://inv/VAX4283WKB`
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.34516#1DTZ (statement). In ECKK8RR78E/e1, lemma 2.6

History

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

Kernel-cone lemma VAX59TEYC1

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

Mentions

arxiv: arXiv 2610.03520#P5ZO, Kernel-cone lemma (statement). In CSRZ9CWK69/e1, proposition A.5

History

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

VAX7Q3EY3B VAX7Q3EY3B

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

Mentions

arxiv: arXiv 2610.18061#B1VB (problem). In Y8A35AV31M/e1, problem 7.2

History

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

Implementations VAXMHD2RDA

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

Mentions

wikipedia: Wikipedia Density-based clustering validation#PRED, Implementations (definition)

History

2026-11-02: add by m2/dev

Archimedean point VAXQG508MP

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

Mentions

wikipedia: Wikipedia List of things named after Archimedes#7EV9, Archimedean point (unknown)

History

2026-11-02: add by m2/dev

Biostatistics VAXS1ENMYZ

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#MALT, Biostatistics (definition)

History

2026-11-02: add by m2/dev

Riesz's lemma VAXVF1SKNS

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#5X8W, Riesz's lemma (definition)

History

2026-11-02: add by m2/dev

Hema Srinivasan VAXZBY1E5Q

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

Mentions

wikipedia: Wikipedia Hema Srinivasan, Hema Srinivasan (topic). Also Wikidata Q43369838

History

2026-11-02: add by m2/dev

VAY3MR69WG VAY3MR69WG

URI	`m2://inv/VAY3MR69WG`
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.10736#287W (statement). In NCYKB4QG5P/e1, lemma 3.6

History

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

The triple point VAY5JYG2R6

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

Mentions

arxiv: arXiv 2609.37479#08Q9, The triple point (statement). In P3RTT99C41/e1, proposition 7.2

History

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

Uriel Rothblum VAY9WJ0JFY

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#9BVR, Uriel Rothblum (topic)

History

2026-11-02: add by m2/dev

VAYRNZPC8Q VAYRNZPC8Q

URI	`m2://inv/VAYRNZPC8Q`
Kind	statement
Layer	research
MSC	30-XX, 32-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.10505#ZCOW (statement). In JW8HH6EPG2/e1, lemma 4.20

History

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

Formal commutativity over a field VAYRW7P0MM

URI	`m2://inv/VAYRW7P0MM`
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.14044#0U53, Formal commutativity over a field (statement). In 5452SJRWDT/e1, corollary 3.5

History

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

List of mathematic operators VAZ5CFJHY1

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

Mentions

wikipedia: Wikipedia List of mathematic operators, List of mathematic operators (topic). Also Wikidata Q4435527

History

2026-11-02: add by m2/dev

Mikhail Katz VAZ8M1CQMP

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#KXUC, Mikhail Katz (topic)

History

2026-11-02: add by m2/dev

Definition VAZ9ZSRD6N

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

Mentions

wikipedia: Wikipedia Difference polynomials#CQT7, Definition (definition)

History

2026-11-02: add by m2/dev

VAZAHCAF4W VAZAHCAF4W

URI	`m2://inv/VAZAHCAF4W`
Kind	statement
Layer	research
MSC	14-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.04730#XUSI (statement). In QHFP0837Q8/e1, lemma 3.6

History

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

VAZGXBC0YN VAZGXBC0YN

URI	`m2://inv/VAZGXBC0YN`
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.36818#GF8V (statement). In SK6AP2B9JH/e1, lemma 3.1

History

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

VAZMG1SENY VAZMG1SENY

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

Mentions

arxiv: arXiv 2609.25718#8RB5 (statement)

History

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

*-algebra VAZPX7R5GH

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

Mentions

arxiv: arXiv 2609.37074#55XD, *-algebra (definition). In VTNV72MCVD/e1, definition 4.2

History

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

VAZV65RR6Z VAZV65RR6Z

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

Mentions

arxiv: arXiv 2609.24465#K10Z (statement)

History

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