Inventory rows 1R

Superconvergence 1R045FPDP2

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

Mentions

wikipedia: Wikipedia Superconvergence, Superconvergence (definition). Also Wikidata Q7643190

History

2026-11-02: add by m2/dev

Radon-Hurwitz number 1R0B1XMM4Q

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

Mentions

wikipedia: Wikipedia Vector fields on spheres#D8DN, Radon-Hurwitz number (unknown)

History

2026-11-02: add by m2/dev

Masayoshi Nagata 1R0M16B00M

URI	`m2://inv/1R0M16B00M`
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 Q1381102, Masayoshi Nagata (unknown). Also ProofWiki Mathematician:Masayoshi_Nagata
wikipedia: Wikipedia Masayoshi Nagata, Masayoshi Nagata (topic). Also Wikidata Q1381102

History

2026-10-26: add by m2/dev

Four exponentials conjecture 1R0WFGMY93

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

Mentions

wikipedia: Wikipedia List of exponential topics#ODVK, Four exponentials conjecture (conjecture)

History

2026-11-02: add by m2/dev

1R0XQHZAF2 1R0XQHZAF2

URI	`m2://inv/1R0XQHZAF2`
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.12543#PVC8 (statement). In 5Y2KARN1YC/e1, corollary 2

History

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

1R0Y9S3QAC 1R0Y9S3QAC

URI	`m2://inv/1R0Y9S3QAC`
Kind	statement
Layer	research
MSC	26-XX, 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 0906.2853#AAKL (statement). In 32ZZ1DETCX/e1, theorem 1.10

History

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

Curvature vector 1R0ZCV87KP

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

Mentions

wikipedia: Wikipedia Curvature#2FVW, Curvature vector (unknown)

History

2026-11-02: add by m2/dev

1R11GDWK17 1R11GDWK17

URI	`m2://inv/1R11GDWK17`
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.29196#0X5C (statement)

History

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

1R12MDSRJW 1R12MDSRJW

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

Mentions

arxiv: arXiv 1002.0879#IPJI (definition). In M0SQY5EZN5/e1, definition 2.8.1

History

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

Borromean rings 1R14ZHQWJ0

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#2L8T, Borromean rings (definition)

History

2026-11-02: add by m2/dev

1R18Q9QV7C 1R18Q9QV7C

URI	`m2://inv/1R18Q9QV7C`
Kind	example
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 2609.37967#Q7FB (example). In BR2E3CXQE0/e1, example 6.1

History

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

1R1AN1J314 1R1AN1J314

URI	`m2://inv/1R1AN1J314`
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.19882#802X (statement)

History

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

1R1CF6H1XN 1R1CF6H1XN

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

Mentions

napkin: napkin tex/measure/caratheodory.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 63.4

History

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

Mahlo cardinals and reflection principles 1R1GCEX562

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

Mentions

wikipedia: Wikipedia Mahlo cardinal#XF30, Mahlo cardinals and reflection principles (statement)

History

2026-11-02: add by m2/dev

1R1GCV290M 1R1GCV290M

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

Mentions

arxiv: arXiv 2610.01828#JSC9 (statement). In RQMJY73C8Q/e1, lemma VI.4

History

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

Andrew M. Bruckner 1R1R8DZQ89

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#7P43, Andrew M. Bruckner (topic)

History

2026-11-02: add by m2/dev

Sort (mathematical logic) 1R1Y6FAZB2

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

Mentions

wikipedia: Wikipedia Structure (mathematical logic)#PIXA, Sort (mathematical logic) (unknown)

History

2026-11-02: add by m2/dev

1R23548BVZ 1R23548BVZ

URI	`m2://inv/1R23548BVZ`
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.00551#0TM6 (statement). In AJRYG47JCE/e1, lemma 1

History

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

Peter Slodowy 1R2418VQ14

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

Mentions

wikipedia: Wikipedia List of German mathematicians#Z51K, Peter Slodowy (topic)

History

2026-11-02: add by m2/dev

Constant-redundancy regime 1R24T2T5TR

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

Mentions

arxiv: arXiv 2610.07370#LBG8, Constant-redundancy regime (statement). In Q94QXG67CK/e1, theorem VII.4

History

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

Conditionally atomless data 1R25FRBTXW

URI	`m2://inv/1R25FRBTXW`
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#JD07, Conditionally atomless data (statement). In 9YAE8FNQST/e1, corollary 29.2

History

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

Doric Hexapolis 1R28GG0FD0

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

Mentions

wikipedia: Wikipedia List of places with numeric names#JGZ2, Doric Hexapolis (unknown)

History

2026-11-02: add by m2/dev

Properties 1R2BS5HAXQ

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

Mentions

wikipedia: Wikipedia Redheffer star product#Y5RJ, Properties (statement)

History

2026-11-02: add by m2/dev

1R2DJ64QEF 1R2DJ64QEF

URI	`m2://inv/1R2DJ64QEF`
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.13103#Y5WS (statement). In GG2ZZV6KEQ/e1, lemma 4.12

History

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

Cylinder (algebra) 1R2F2GP5ZE

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

Mentions

wikipedia: Wikipedia Cartesian product#58Z1, Cylinder (algebra) (unknown)

History

2026-11-02: add by m2/dev

Phrygia Salutaris Prima 1R2NJX79Q5

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

Mentions

wikipedia: Wikipedia List of places with numeric names#IZUT, Phrygia Salutaris Prima (unknown)

History

2026-11-02: add by m2/dev

1R2QNWB5YC 1R2QNWB5YC

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

Mentions

arxiv: arXiv 2610.20178#3IZM (statement). In Z53NCTCEXE/e1, corollary 3.2

History

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

1R2V0VYJ0X 1R2V0VYJ0X

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

Mentions

arxiv: arXiv 2610.12480#E2Q4 (statement). In 585QYGX4X6/e1, proposition 17

History

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

Fanny Kassel 1R33N696HH

URI	`m2://inv/1R33N696HH`
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#EEEH, Fanny Kassel (topic)

History

2026-11-02: add by m2/dev

1R34M32GPF 1R34M32GPF

URI	`m2://inv/1R34M32GPF`
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.18673#3YTO (statement). In 7ZFD9XRKA1/e1, proposition 5.5

History

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

1R35HY2JTF 1R35HY2JTF

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

Mentions

arxiv: arXiv 2610.16554#WUFT (statement). In GWNT8HEZG1/e1, proposition 2.24

History

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

1R36PY2WSW 1R36PY2WSW

URI	`m2://inv/1R36PY2WSW`
Kind	definition
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.24580#W853 (definition)

History

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

irrational torus, f\/irst construction 1R3DY452RN

URI	`m2://inv/1R3DY452RN`
Kind	example
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 1408.1555#OV01, irrational torus, f\/irst construction (example). In S1F2QW24YW/e1, example 5.11

History

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

1R3JPT9548 1R3JPT9548

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

Mentions

arxiv: arXiv 2505.04063#XY07 (statement). In TFH7T63DX9/e1, theorem 4.1

History

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

1R3KGDR9F7 1R3KGDR9F7

URI	`m2://inv/1R3KGDR9F7`
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.27628#M6JS (statement)

History

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

1R3QN46G4P 1R3QN46G4P

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

Mentions

open_logic: open_logic content/sets-functions-relations/size-of-sets/reduction-alt.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 83.12

History

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

Convexity of $G_\lambda$ 1R3T3CR34R

URI	`m2://inv/1R3T3CR34R`
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.17579#S2AW, Convexity of $G_\lambda$ (statement). In 1H021CTR3A/e1, proposition 2

History

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

Magnetostriction 1R3V58BM9Q

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

Mentions

wikipedia: Wikipedia Magnetostriction, Magnetostriction (definition). Also Wikidata Q840970

History

2026-11-02: add by m2/dev

1R3ZE7RXAW 1R3ZE7RXAW

URI	`m2://inv/1R3ZE7RXAW`
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.31527#9Z79 (statement). In ZQ2YZ4P6P5/e1, theorem 3.1

History

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

Finite groups 1R42EAB4ZX

URI	`m2://inv/1R42EAB4ZX`
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 2610.21675#0ZA5, Finite groups (example). In TB1294GY5X/e1, example C.8

History

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

398 (number) 1R43EZB4KZ

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

Mentions

wikipedia: Wikipedia 300 (number)#02U3, 398 (number) (unknown)

History

2026-11-02: add by m2/dev

Trispectrum 1R46DYV92W

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

Mentions

wikipedia: Wikipedia List of statistics articles#6BG7, Trispectrum (definition)

History

2026-11-02: add by m2/dev

Edwin Thompson Jaynes 1R46WAZC26

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#6HLU, Edwin Thompson Jaynes (unknown)

History

2026-11-02: add by m2/dev

1R46ZYA83S 1R46ZYA83S

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

Mentions

arxiv: arXiv 2610.05696#FXHV (statement). In MG81A9XJTQ/e1, lemma IV.8

History

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

Case (C): the exact exceptional set 1R47YGC7CK

URI	`m2://inv/1R47YGC7CK`
Kind	statement
Layer	research
MSC	11-XX, 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.04099#071W, Case (C): the exact exceptional set (statement). In QPJ6FWG5HD/e1, proposition 2.46

History

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

Basic counting 1R4GV4A7EW

URI	`m2://inv/1R4GV4A7EW`
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.15340#ZY6B, Basic counting (statement). In 9NVKKW8HDH/e1, lemma 2.1

History

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

FedAvg SSM Convergence 1R4JYX5AQF

URI	`m2://inv/1R4JYX5AQF`
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.02659#I447, FedAvg SSM Convergence (statement). In EV933413SJ/e1, theorem B.5

History

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

Example 1R4Q1RRE0E

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

Mentions

wikipedia: Wikipedia Graph amalgamation#P4VX, Example (example)

History

2026-11-02: add by m2/dev

Quadratic Poisson structure 1R4WVZM4D5

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

Mentions

arxiv: arXiv 2610.08091#WM30, Quadratic Poisson structure (definition). In MS13WE3CSD/e1, definition 4.1

History

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

Law Latin 1R52GVFFN6

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

Mentions

wikipedia: Wikipedia Latin tag#5MVW, Law Latin (statement)

History

2026-11-02: add by m2/dev

Definition 1R5AFAED1Z

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

Mentions

wikipedia: Wikipedia Torsion (algebra)#87YG, Definition (definition)

History

2026-11-02: add by m2/dev

Construction 1R5QAPJDJ4

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

Mentions

wikipedia: Wikipedia Tetradecagon#4NKQ, Construction (definition)

History

2026-11-02: add by m2/dev

Mary Rees 1R5RTCPPV9

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

Mentions

wikipedia: Wikipedia Mary Rees, Mary Rees (topic). Also Wikidata Q3702027

History

2026-11-02: add by m2/dev

Chern's conjecture for hypersurfaces in spheres 1R5TH6YVF3

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#GL3G, Chern's conjecture for hypersurfaces in spheres (conjecture)

History

2026-11-02: add by m2/dev

Cohomology ring of real and complex projective space 1R60S783M4

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

Mentions

napkin: napkin tex/homology/cup-product.tex#example-4, Cohomology ring of real and complex projective space (example). In RZP28ERRZV, example, section 52.4

History

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

Pointed Gromov--Hausdorff convergence 1R61JSRNES

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

Mentions

arxiv: arXiv 2609.24610#8XZH, Pointed Gromov--Hausdorff convergence (definition)

History

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

1R61Z48WFC 1R61Z48WFC

URI	`m2://inv/1R61Z48WFC`
Kind	example
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 2105.13129#Q55Z (example). In J5Z1JD5VKR/e1, example 2.1

History

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

Applications 1R63V08X2F

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

Mentions

wikipedia: Wikipedia Series multisection#SBL7, Applications (example)

History

2026-11-02: add by m2/dev

Discrete calculus 1R64GEZ2SK

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

Mentions

wikipedia: Wikipedia Discrete calculus, Discrete calculus (definition). Also Wikidata Q20968946

History

2026-11-02: add by m2/dev

1R66T67XCP 1R66T67XCP

URI	`m2://inv/1R66T67XCP`
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.14717#DY5Q (statement). In ZB2QPB5EBN/e1, lemma E.1

History

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

Probabilistic cellular automaton 1R6C0NDJ0D

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

Mentions

wikipedia: Wikipedia List of stochastic processes topics#RM5Y, Probabilistic cellular automaton (definition)

History

2026-11-02: add by m2/dev

Implementations 1R6JHDC1D5

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

Mentions

wikipedia: Wikipedia Decision tree learning#KN2D, Implementations (definition)

History

2026-11-02: add by m2/dev

torse 1R6W62JDJS

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#ODRK, torse (definition)

History

2026-11-02: add by m2/dev

$L^1$-$L^\infty$ Fourier bound 1R77SQ95SX

URI	`m2://inv/1R77SQ95SX`
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.26537#2O6X, $L^1$-$L^\infty$ Fourier bound (statement)

History

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

1R78CVPBAH 1R78CVPBAH

URI	`m2://inv/1R78CVPBAH`
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.03629#Z1N9 (statement). In T6W0HCPXFN/e1, corollary A1

History

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

Sachpazis 1R79CJ1NVQ

URI	`m2://inv/1R79CJ1NVQ`
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.35950#YSCQ, Sachpazis (statement). In BZN1G5W5FX/e1, theorem 2.2

History

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

triangle query 1R7JFRA5S4

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

Mentions

wikipedia: Wikipedia Relational algebra#X8CL, triangle query (definition)

History

2026-11-02: add by m2/dev

1R7M5NPG08 1R7M5NPG08

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

Mentions

arxiv: arXiv 2610.07812#7L7A (statement). In PVX8WBBXW5/e1, proposition 2.2

History

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

Radon's theorem 1R7M65KCC8

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

Mentions

wikipedia: Wikipedia List of theorems#FFGS, Radon's theorem (statement)

History

2026-11-02: add by m2/dev

1R7NB5C0SX 1R7NB5C0SX

URI	`m2://inv/1R7NB5C0SX`
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.29631#V0VO (statement)

History

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

Definitions 1R7PNCWGCA

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

Mentions

wikipedia: Wikipedia Characteristic 2 type#D0NC, Definitions (definition)

History

2026-11-02: add by m2/dev

Complex AKM theorem 1R7W165MNB

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

Mentions

wikipedia: Wikipedia Arnold–Kuiper–Massey theorem#0U2V, Complex AKM theorem (statement)

History

2026-11-02: add by m2/dev

1R87W43Y1C 1R87W43Y1C

URI	`m2://inv/1R87W43Y1C`
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 2502.04323#QBU9 (statement). In MK60S6RKJP/e1, theorem 1

History

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

1R89H5HCQ7 1R89H5HCQ7

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

Mentions

arxiv: arXiv 1002.0879#8K8M (definition). In M0SQY5EZN5/e1, definition 2.9.5

History

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

convergence 1R89T1PE7E

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

Mentions

mathlib_undergrad: mathlib_undergrad Numerical Analysis > Ordinary differential equations > convergence, convergence (unknown)

History

2026-10-26: add by m2/dev

Definition 1R8F423K5T

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

Mentions

wikipedia: Wikipedia Feller-continuous process#JFB1, Definition (definition)

History

2026-11-02: add by m2/dev

István Fenyő 1R8F8AGP94

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

Mentions

wikipedia: Wikipedia István Fenyő, István Fenyő (topic). Also Wikidata Q16082032

History

2026-11-02: add by m2/dev

1R9A617WMA 1R9A617WMA

URI	`m2://inv/1R9A617WMA`
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 1011.5380#8T0W (statement). In GCWK07YZJZ/e1, proposition 2.2

History

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

1R9BB5KYRR 1R9BB5KYRR

URI	`m2://inv/1R9BB5KYRR`
Kind	statement
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#70W3 (statement). In 7V3HG30ZGW/e1, proposition 3.24

History

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

1R9DNMAQ6H 1R9DNMAQ6H

URI	`m2://inv/1R9DNMAQ6H`
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 2204.13401#O56W (definition). In B8MJT0GGW8/e1, definition 3.1

History

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

1R9F56WVG0 1R9F56WVG0

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

Mentions

arxiv: arXiv 2108.10246#7BVP (definition). In XD0YT3XCW2/e1, definition 2.8

History

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

1R9JCSCNJZ 1R9JCSCNJZ

URI	`m2://inv/1R9JCSCNJZ`
Kind	statement
Layer	research
MSC	46-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 2609.23167#9IF0 (statement)

History

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

Properties 1R9JTE6GJY

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

Mentions

wikipedia: Wikipedia Euler brick#2J10, Properties (statement)

History

2026-11-02: add by m2/dev

1R9PC4J5WZ 1R9PC4J5WZ

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

Mentions

arxiv: arXiv 2610.08610#7HHM (statement). In CB2JWNS1E9/e1, lemma 6.7

History

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

Kish grid 1R9VB15RJV

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

Mentions

wikipedia: Wikipedia Kish grid, Kish grid (definition). Also Wikidata Q6416507

History

2026-11-02: add by m2/dev

Canonical vector field 1RA6DHXBT6

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

Mentions

wikipedia: Wikipedia Tangent bundle#E07Y, Canonical vector field (unknown)

History

2026-11-02: add by m2/dev

Application 1RA6MWZAQF

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

Mentions

wikipedia: Wikipedia Stinespring dilation theorem#ZC0P, Application (example)

History

2026-11-02: add by m2/dev

1RAB48GPZ1 1RAB48GPZ1

URI	`m2://inv/1RAB48GPZ1`
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.16561#A67A (statement). In TCXKVTVANM/e1, corollary 7

History

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

1RACAEQ7HB 1RACAEQ7HB

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

Mentions

arxiv: arXiv 2610.22317#X6UO (definition). In 2W5Z97BBW4/e1, definition 2.38

History

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

Distance formula 1RACPJXNDX

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

Mentions

wikipedia: Wikipedia Rigid transformation#2603, Distance formula (statement)

History

2026-11-02: add by m2/dev

1RACPVKHF8 1RACPVKHF8

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

Mentions

arxiv: arXiv 2610.04317#P6W0 (statement). In CF1X73QQ11/e1, proposition 4.3

History

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

Formula 1RAFQ4EM4R

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

Mentions

wikipedia: Wikipedia Genetic map function#EI43, Formula (statement)

History

2026-11-02: add by m2/dev

1RAG5DZXSW 1RAG5DZXSW

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

Mentions

arxiv: arXiv 2610.08074#M86L (statement). In ZRPYF750AV/e1, corollary 4.4

History

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

Stabilizer nullity 1RAMR1EXVW

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

Mentions

arxiv: arXiv 2610.02166#21TL, Stabilizer nullity (definition). In R6RF3P6D5A/e1, definition 4.12

History

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

Scott Tremaine 1RAZVVXP80

URI	`m2://inv/1RAZVVXP80`
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 Q363194, Scott Tremaine (unknown). Also nLab Scott Tremaine

History

2026-10-26: add by m2/dev

1RB2XR6G5N 1RB2XR6G5N

URI	`m2://inv/1RB2XR6G5N`
Kind	statement
Layer	research
MSC	18-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 1904.08413#CNLA (statement). In X88HPQ0W8C/e1, theorem 2.46

History

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

1RB3JWF616 1RB3JWF616

URI	`m2://inv/1RB3JWF616`
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 2609.33313#LKKK (example). In HRCEFY172P/e1, example 4.7

History

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

1RB4GJ17XN 1RB4GJ17XN

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

Mentions

arxiv: arXiv 2609.39700#L3ES (statement). In E7W2HDNEKJ/e1, theorem 5.30

History

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

Levi 1RB4KZZQ0G

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#UNMP, Levi (definition)

History

2026-11-02: add by m2/dev

1RBCE6PB6Y 1RBCE6PB6Y

URI	`m2://inv/1RBCE6PB6Y`
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.15313#9ITU (statement). In KWKY1CWG1Z/e1, proposition 2.2

History

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

Philip J. Davis 1RBEJ6XDSW

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

Mentions

wikipedia: Wikipedia Philip J. Davis, Philip J. Davis (topic). Also Wikidata Q441724

History

2026-11-02: add by m2/dev

1RBP8TY8VM 1RBP8TY8VM

URI	`m2://inv/1RBP8TY8VM`
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.03255#67M6 (statement). In DCC0Y18670/e1, lemma 4.1

History

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

Polygon comparison 1RBQBFG0YP

URI	`m2://inv/1RBQBFG0YP`
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.05892#87JH, Polygon comparison (statement). In PXWRTA62JK/e1, theorem 1.1

History

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

⟕ 1RBWQVPY1X

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

Mentions

wikipedia: Wikipedia Relational algebra#ZO6S, ⟕ (unknown)

History

2026-11-02: add by m2/dev

Gaussian jets 1RCAC0RYGW

URI	`m2://inv/1RCAC0RYGW`
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#HV2J, Gaussian jets (statement). In 2Y47E704Z9/e1, lemma F.5

History

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

1RCJ47JF0S 1RCJ47JF0S

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

Mentions

open_logic: open_logic content/counterfactuals/minimal-change-semantics/transitivity.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 6.2

History

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

Rupert Frank 1RCM65R468

URI	`m2://inv/1RCM65R468`
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#V6ZV, Rupert Frank (unknown)

History

2026-11-02: add by m2/dev

Induced dynamics 1RCM8462EW

URI	`m2://inv/1RCM8462EW`
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.06653#JNB7, Induced dynamics (statement). In 9D2N76AJAT/e1, theorem 4.3

History

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

Composite bar chart 1RCV9DPCNG

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

Mentions

wikipedia: Wikipedia List of statistics articles#9B3R, Composite bar chart (definition)

History

2026-11-02: add by m2/dev

1RCVEME25V 1RCVEME25V

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#definition-3 (definition). In RZP28ERRZV, definition, section 9.5

History

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

quotient 1RCWRBYNMV

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#1S5I, quotient (definition)

History

2026-11-02: add by m2/dev

Thomas L. Saaty 1RD3PB02K8

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0LV1, Thomas L. Saaty (unknown)

History

2026-11-02: add by m2/dev

Selection theorems for set-valued sequences 1RD78Z5YQZ

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

Mentions

wikipedia: Wikipedia Selection theorem#MU1F, Selection theorems for set-valued sequences (statement)

History

2026-11-02: add by m2/dev

1RD8W83YAB 1RD8W83YAB

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

Mentions

arxiv: arXiv 2609.21860#7CNK (definition)

History

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

Leslie Kish 1RDA7AFAG1

URI	`m2://inv/1RDA7AFAG1`
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#9ZS5, Leslie Kish (topic)

History

2026-11-02: add by m2/dev

1RDCF72TX2 1RDCF72TX2

URI	`m2://inv/1RDCF72TX2`
Kind	definition
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 2601.22681#E2U7 (definition). In 68VEQQX68G/e1, definition 1.4

History

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

Injection locked oscillator 1RDW788RYN

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

Mentions

wikipedia: Wikipedia Injection locking#E1JS, Injection locked oscillator (unknown)

History

2026-11-02: add by m2/dev

1RDX50VZRY 1RDX50VZRY

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

Mentions

napkin: napkin tex/measure/martingale.tex#problem-5 (exercise). In RZP28ERRZV, problem, section 66.7

History

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

Recovery by compact interior competitors 1RDX5G8V34

URI	`m2://inv/1RDX5G8V34`
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#F4HD, Recovery by compact interior competitors (statement). In 9YAE8FNQST/e1, lemma 17.7

History

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

Derivation of the Schwarzschild solution 1RDXM2732F

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

Mentions

wikipedia: Wikipedia Derivation of the Schwarzschild solution, Derivation of the Schwarzschild solution (definition). Also Wikidata Q461255

History

2026-11-02: add by m2/dev

Ivan Panin 1RE1WTQ4G2

URI	`m2://inv/1RE1WTQ4G2`
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#APNO, Ivan Panin (topic)

History

2026-11-02: add by m2/dev

Statement 1RE9P0M0FD

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

Mentions

wikipedia: Wikipedia Steinitz exchange lemma#UVDO, Statement (statement)

History

2026-11-02: add by m2/dev

harmonic 1REC16QGKG

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#33BH, harmonic (definition)

History

2026-11-02: add by m2/dev

1REF4HCCV7 1REF4HCCV7

URI	`m2://inv/1REF4HCCV7`
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.20018#VTMW (statement)

History

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

1REKKWC5XW 1REKKWC5XW

URI	`m2://inv/1REKKWC5XW`
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 1003.1817#MC5W (statement). In VCPT7BK80E/e1, theorem 4.7

History

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

Main Theorem 1REMXW72AV

URI	`m2://inv/1REMXW72AV`
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.02663#T7YP, Main Theorem (statement). In PGAZ70WGMG/e1, theorem 6

History

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

Theorem 1RERN42DR1

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

Mentions

wikipedia: Wikipedia Extensions of symmetric operators#06XB, Theorem (statement)

History

2026-11-02: add by m2/dev

first-order logic 1REZD7NPG8

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

Mentions

wikipedia: Wikipedia Glossary of logic#PCCT, first-order logic (definition)

History

2026-11-02: add by m2/dev

1REZKJND6E 1REZKJND6E

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

Mentions

arxiv: arXiv 2610.03327#TDAF (statement). In EBNXA84CPM/e1, proposition 3.4

History

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

1RF2BC1MJ9 1RF2BC1MJ9

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

Mentions

arxiv: arXiv 2609.20119#D353 (statement)

History

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

Impossible object 1RF3F6S2YF

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#1WLE, Impossible object (definition)

History

2026-11-02: add by m2/dev

1RF782MSYG 1RF782MSYG

URI	`m2://inv/1RF782MSYG`
Kind	problem
Layer	research
MSC	53-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 2005.03073#KWYP (problem). In P2ETMXKVDS/e1, problem 1

History

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

False dilemma 1RF7CVME79

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

Mentions

wikipedia: Wikipedia False dilemma, False dilemma (definition). Also Wikidata Q265623

History

2026-11-02: add by m2/dev

Polynomial phases 1RF9BE949K

URI	`m2://inv/1RF9BE949K`
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#WADA, Polynomial phases (statement). In 7RV6BDZAFK/e1, corollary 1.3

History

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

1RFH1J4G7X 1RFH1J4G7X

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

Mentions

arxiv: arXiv 2610.18544#UIXH (definition). In HT5MC1SPD9/e1, definition A.1

History

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

Quantile-parameterized distribution 1RFH485QY9

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

Mentions

wikipedia: Wikipedia Quantile-parameterized distribution, Quantile-parameterized distribution (definition). Also Wikidata Q104869315

History

2026-11-02: add by m2/dev

Four Bears Village, North Dakota 1RFQ7D124A

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

Mentions

wikipedia: Wikipedia List of places with numeric names#C638, Four Bears Village, North Dakota (unknown)

History

2026-11-02: add by m2/dev

Frobenius form of the integral 1RFT5AYJ6Z

URI	`m2://inv/1RFT5AYJ6Z`
Kind	statement
Layer	research
MSC	14-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.10821#42B9, Frobenius form of the integral (statement). In RWNP4FEE65/e1, lemma 3.11

History

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

Span seminorms 1RFTMFNXGD

URI	`m2://inv/1RFTMFNXGD`
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.14988#YZDN, Span seminorms (definition). In B29M4E6KGC/e1, definition 1

History

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

Universal instantiation 1RFXRQ8N3R

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

Mentions

wikipedia: Wikipedia Universal instantiation#FYSA, Universal instantiation (statement)

History

2026-11-02: add by m2/dev

John Tromp 1RG127D3KN

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#O5D1, John Tromp (unknown)

History

2026-11-02: add by m2/dev

1RG3PHQ457 1RG3PHQ457

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

Mentions

arxiv: arXiv 2610.04809#RD4T (statement). In 2VHV0RNTNV/e1, fact 9.2

History

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

Isomorphism-closed subcategory 1RGE3680C3

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

Mentions

wikipedia: Wikipedia Isomorphism-closed subcategory, Isomorphism-closed subcategory (definition). Also Wikidata Q6086096

History

2026-11-02: add by m2/dev

1RGKSNRZB4 1RGKSNRZB4

URI	`m2://inv/1RGKSNRZB4`
Kind	statement
Layer	research
MSC	16-XX, 26-XX, 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.13532#Z8MF (statement). In 9B0X8YPF3P/e1, theorem A

History

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

1RGKV1KC5X 1RGKV1KC5X

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

Mentions

arxiv: arXiv 2609.30018#5L49 (statement)

History

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

Definition 1RGMQ57Z64

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

Mentions

wikipedia: Wikipedia Sequence#Y93K, Definition (definition)

History

2026-11-02: add by m2/dev

Examples 1RGRPB07SV

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

Mentions

wikipedia: Wikipedia Monotone convergence theorem#O6VT, Examples (example)

History

2026-11-02: add by m2/dev

1RGTFADCC5 1RGTFADCC5

URI	`m2://inv/1RGTFADCC5`
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.17825#J8VL (statement). In T0ADPX1S05/e1, lemma 3.1

History

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

Sierpiński's constant 1RGVGHH6N4

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

Mentions

wikipedia: Wikipedia List of scientific constants named after people#MI2P, Sierpiński's constant (object)

History

2026-11-02: add by m2/dev

kernel 1RGXAB8ZJN

URI	`m2://inv/1RGXAB8ZJN`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Kernel of a linear map 0S23E6YE83

Mentions

wikidata: Wikidata Q2914509, kernel (unknown). Also MathWorld Kernel
wikidata: Wikidata Q574844, kernel (unknown). Also EoM Kernel_of_a_matrix, MathWorld Kernel
wikipedia: Wikipedia Kernel (linear algebra), Kernel (definition). Also Wikidata Q2914509
wikipedia: Wikipedia Kernel (algebra), Kernel (definition). Also Wikidata Q574844

History

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

Vitali–Hahn–Saks theorem 1RH55V90SM

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

Mentions

mathlib_1000: mathlib_1000 Q7936914, Vitali–Hahn–Saks theorem (statement). Also Wikidata Q7936914
thousand_plus: thousand_plus Q7936914, Vitali–Hahn–Saks theorem (statement). Also Wikidata Q7936914, Wikipedia Vitali–Hahn–Saks theorem
wikipedia: Wikipedia Vitali–Hahn–Saks theorem, Vitali–Hahn–Saks theorem (statement). Also Wikidata Q7936914

History

2026-10-26: add by m2/dev

1RH62ZFCQ1 1RH62ZFCQ1

URI	`m2://inv/1RH62ZFCQ1`
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.09078#KP6J (statement). In B4GK8NEZM9/e1, lemma 2.3

History

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

1RHF89M3VR 1RHF89M3VR

URI	`m2://inv/1RHF89M3VR`
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.09648#XGU1 (statement). In WB9PTPN54H/e1, lemma 3.7

History

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

element 1RHQNJV4CW

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

Mentions

applied_combinatorics: applied_combinatorics index/B.1/element, element (concept). In QKM9DD2H56, index, section B.1

History

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

1RHS02Y39P 1RHS02Y39P

URI	`m2://inv/1RHS02Y39P`
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 2502.08738#408M (statement). In 9GMTVSTAVN/e1, corollary 6.15

History

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

1RHS7TWAX4 1RHS7TWAX4

URI	`m2://inv/1RHS7TWAX4`
Kind	problem
Layer	research
MSC	37-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.20131#23M0 (problem). In 29D4TTE3J2/e1, problem 2.20

History

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

Small characteristic 1RHTC1R4QC

URI	`m2://inv/1RHTC1R4QC`
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 1308.2487#P7N4, Small characteristic (statement). In 322XSWF4EA/e1, theorem 2.3

History

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

Definition 1RHZ7CP50R

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

Mentions

wikipedia: Wikipedia Calculus of structures#T8ZW, Definition (definition)

History

2026-11-02: add by m2/dev

Product inequalities 1RJ26PZWW9

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

Mentions

arxiv: arXiv 2610.00137#ZMQR, Product inequalities (statement). In NKW6YQ04QW/e1, lemma 2.2

History

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

1RJ5WZX6X8 1RJ5WZX6X8

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

Mentions

arxiv: arXiv 2609.33185#6S5K (statement). In QX30H2WNA7/e1, proposition 7.4

History

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

Applications 1RJ8M9RSRC

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

Mentions

wikipedia: Wikipedia Neumann boundary condition#RV4W, Applications (example)

History

2026-11-02: add by m2/dev

1RJGMA2Y0W 1RJGMA2Y0W

URI	`m2://inv/1RJGMA2Y0W`
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#J65A (statement). In GHKR740SG3/e1, lemma 13.3

History

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

1RJHVYR5Y8 1RJHVYR5Y8

URI	`m2://inv/1RJHVYR5Y8`
Kind	definition
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.35383#10OK (definition). In HSR4748706/e1, definition 1.1

History

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

1RK1NDGQDM 1RK1NDGQDM

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

Mentions

napkin: napkin tex/alg-NT/finite-field.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 12.4

History

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

Examples 1RK4FQ91GJ

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

Mentions

wikipedia: Wikipedia Abstract algebraic logic#7ZL4, Examples (example)

History

2026-11-02: add by m2/dev

Demography 1RKC14AF0A

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

Mentions

wikipedia: Wikipedia List of statistics articles#MJZO, Demography (topic)

History

2026-11-02: add by m2/dev

quadratic smooth-covering bound 1RKF2KYKQT

URI	`m2://inv/1RKF2KYKQT`
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.20351#5WXM, quadratic smooth-covering bound (statement)

History

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

Pierre Fatou 1RKFRNFTGH

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

Mentions

wikipedia: Wikipedia Pierre Fatou, Pierre Fatou (topic). Also Wikidata Q723574

History

2026-11-02: add by m2/dev

Diederik Korteweg 1RKQ40YMN4

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

Mentions

wikipedia: Wikipedia Diederik Korteweg, Diederik Korteweg (topic). Also Wikidata Q1220238

History

2026-11-02: add by m2/dev

Bassam Fayad 1RKYRXJKGT

URI	`m2://inv/1RKYRXJKGT`
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#V9J2, Bassam Fayad (unknown)

History

2026-11-02: add by m2/dev

1RM1H2C978 1RM1H2C978

URI	`m2://inv/1RM1H2C978`
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 2609.36377#2TJP (statement). In M98F6VRPZ2/e1, lemma 4.4

History

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

Bound on the minimum auxiliary cost 1RM2K7GK4H

URI	`m2://inv/1RM2K7GK4H`
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.26873#UUM3, Bound on the minimum auxiliary cost (statement)

History

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

Dumas--Wolf 1RM6S3KCYH

URI	`m2://inv/1RM6S3KCYH`
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#L1QW, Dumas--Wolf (statement). In VNE8N0D2FB/e1, theorem 4.3

History

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

1RM7EMV3TQ 1RM7EMV3TQ

URI	`m2://inv/1RM7EMV3TQ`
Kind	example
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.15504#1IVL (example). In AZ8SEW6HAV/e1, example 3

History

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

Alicja Derkowska 1RM7GJYJ0M

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

Mentions

wikipedia: Wikipedia Alicja Derkowska, Alicja Derkowska (topic). Also Wikidata Q9148132

History

2026-11-02: add by m2/dev

three bodies near a cluster 1RMQHQ02M1

URI	`m2://inv/1RMQHQ02M1`
Kind	statement
Layer	research
MSC	14-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 2610.13100#H34V, three bodies near a cluster (statement). In CC6S1HVK0T/e1, lemma 3.4

History

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

Heavy-tailed distribution 1RMZ3H3K0E

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

Mentions

wikipedia: Wikipedia List of statistics articles#8I81, Heavy-tailed distribution (definition)
wikipedia: Wikipedia List of probability topics#IE8A, Heavy-tailed distribution (definition)

History

2026-11-02: add by m2/dev

Jennifer Rexford 1RN0JN2NDE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#50JW, Jennifer Rexford (unknown)

History

2026-11-02: add by m2/dev

prime factor 1RN34Y6G86

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

Mentions

wikidata: Wikidata Q1137759, prime factor (unknown). Also MathWorld PrimeFactor, nLab prime factor

History

2026-10-26: add by m2/dev

Fleiss' kappa 1RN6X14G5Q

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#A7NG, Fleiss' kappa (definition)
wikipedia: Wikipedia List of statistics articles#C24A, Fleiss' kappa (definition)

History

2026-11-02: add by m2/dev

axiom 1RNAFBJAHP

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

Mentions

wikidata: Wikidata Q17736, axiom (concept). Also MathWorld Axiom, nLab axiom
wikipedia: Wikipedia Axiom, Axiom (statement). Also Wikidata Q17736

History

2026-10-26: add by m2/dev

Explicit Lower Bound on the Leakage Along the Tail 1RNH1QEGG4

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

Mentions

arxiv: arXiv 2610.13222#9UE8, Explicit Lower Bound on the Leakage Along the Tail (statement). In Z6WA2R0J50/e1, theorem 2.34

History

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

1RNJWP8R74 1RNJWP8R74

URI	`m2://inv/1RNJWP8R74`
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 2609.33300#QBSQ (statement). In AWF7ZHK4EM/e1, proposition 3.5

History

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

1RNMVMRVRZ 1RNMVMRVRZ

URI	`m2://inv/1RNMVMRVRZ`
Kind	definition
Layer	research
MSC	14-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 2610.21960#EQJC (definition). In QX77AN49J0/e1, definition 4.3

History

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

Applications 1RNWW656YK

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

Mentions

wikipedia: Wikipedia Group cohomology#Q8SA, Applications (example)

History

2026-11-02: add by m2/dev

Line perfect graph 1RNXRS26H7

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

Mentions

wikipedia: Wikipedia Line perfect graph, Line perfect graph (definition). Also Wikidata Q30694209

History

2026-11-02: add by m2/dev

product of two posets 1RP2CF0RXX

URI	`m2://inv/1RP2CF0RXX`
Kind	example
Layer	research
MSC	54-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.15099#9ODG, product of two posets (example). In PF5JJ9DS8Q/e1, example 5.2.4

History

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

identity tensor 1RP3RA2W0V

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

Mentions

arxiv: arXiv 2505.04063#50AN, identity tensor (definition). In TFH7T63DX9/e1, definition A.5

History

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

TWANG 1RP536NJ9S

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

Mentions

wikipedia: Wikipedia TWANG, TWANG (definition). Also Wikidata Q28404700

History

2026-11-02: add by m2/dev

1RP5YM1RXE 1RP5YM1RXE

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

Mentions

arxiv: arXiv 2401.14143#CYDM (definition). In 7WV4JVGEN1/e1, definition 6.2

History

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

1RP9DPWH5C 1RP9DPWH5C

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

Mentions

napkin: napkin tex/measure/measure-space.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 67.9

History

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

1RPCKBJBSR 1RPCKBJBSR

URI	`m2://inv/1RPCKBJBSR`
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.37893#WO5K (statement). In 8H0KHK7AMN/e1, corollary 3.2

History

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

1RPES0AY14 1RPES0AY14

URI	`m2://inv/1RPES0AY14`
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.36068#317Q (statement). In CKNAB8QY5B/e1, proposition 4

History

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

Evan Siegel 1RPFY52XJ2

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

Mentions

wikipedia: Wikipedia Evan Siegel, Evan Siegel (topic). Also Wikidata Q5415547

History

2026-11-02: add by m2/dev

Uniform boundedness conjecture (arithmetic dynamics) 1RPMY0DMXZ

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

Mentions

wikipedia: Wikipedia Arithmetic dynamics#O669, Uniform boundedness conjecture (arithmetic dynamics) (unknown)

History

2026-11-02: add by m2/dev

1RPQQM78M0 1RPQQM78M0

URI	`m2://inv/1RPQQM78M0`
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 2601.15010#Z1SL (statement). In K3WJ6ZN184/e1, lemma A.7

History

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

Mathematical practice 1RPSF9XD81

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

Mentions

wikipedia: Wikipedia Mathematical practice, Mathematical practice (topic). Also Wikidata Q3909934

History

2026-11-02: add by m2/dev

Rodrigues' rotation formula 1RPV5F8GBF

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

Mentions

wikidata: Wikidata Q1473494, Rodrigues' rotation formula (unknown). Also MathWorld RodriguesRotationFormula
wikipedia: Wikipedia Rodrigues' rotation formula, Rodrigues' rotation formula (statement). Also Wikidata Q1473494

History

2026-10-26: add by m2/dev

Drinfeld Twist 1RPWZB1KQF

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

Mentions

wikipedia: Wikipedia Quasitriangular Hopf algebra#2LJN, Drinfeld Twist (unknown)

History

2026-11-02: add by m2/dev

Financial models with long-tailed distributions and volatility clustering 1RPZT7JC37

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

Mentions

wikipedia: Wikipedia Financial models with long-tailed distributions and volatility clustering, Financial models with long-tailed distributions and volatility clustering (definition). Also Wikidata Q5449732

History

2026-11-02: add by m2/dev

1RQ71H7NC2 1RQ71H7NC2

URI	`m2://inv/1RQ71H7NC2`
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.32439#CVZ5 (statement). In GD8D1YH7K4/e1, corollary 3.2

History

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

1RQ9827FE3 1RQ9827FE3

URI	`m2://inv/1RQ9827FE3`
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 2310.02073#3JCM (statement). In 3PNCRG6J62/e1, proposition 3.1

History

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

1RQ9TT7H9E 1RQ9TT7H9E

URI	`m2://inv/1RQ9TT7H9E`
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.04876#YIAL (statement). In 2TNAKVC0YP/e1, lemma 2.9

History

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

1RQJ40VWBM 1RQJ40VWBM

URI	`m2://inv/1RQJ40VWBM`
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.22306#VP7Z (statement)

History

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

Corollary 1RQM7F8MNQ

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

Mentions

wikipedia: Wikipedia Graph flattenability#2AB4, Corollary (statement)

History

2026-11-02: add by m2/dev

1RQMDJNRMB 1RQMDJNRMB

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

Mentions

arxiv: arXiv 2609.40023#G4W5 (definition). In JW9ARS9AQE/e1, definition 4.1

History

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

1RQMZ9KYHK 1RQMZ9KYHK

URI	`m2://inv/1RQMZ9KYHK`
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 2111.00832#97G8 (statement). In KM0XEAXFMF/e1, lemma 4.5

History

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

1RR6RQN94B 1RR6RQN94B

URI	`m2://inv/1RR6RQN94B`
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 2205.09049#T2Z7 (statement). In 37S7MNMZ2F/e1, proposition 29

History

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

Meeker, Royal 1RRAFZW548

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

Mentions

wikipedia: Wikipedia List of statisticians#5TD5, Meeker, Royal (unknown)

History

2026-11-02: add by m2/dev

Erlangen programme 1RRCCNKKJX

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

Mentions

wikipedia: Wikipedia List of Lie groups topics#0523, Erlangen programme (definition)
wikipedia: Wikipedia List of mathematics history topics#CDM7, Erlangen programme (definition)

History

2026-11-02: add by m2/dev

1RRFEHZS4S 1RRFEHZS4S

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

Mentions

open_logic: open_logic content/turing-machines/machines-computations/representing-tms.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 86.1

History

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

1RRJQ0KKKK 1RRJQ0KKKK

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

Mentions

arxiv: arXiv 2609.29784#FT1J (statement)

History

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

harmonic function 1RRM250VSA

URI	`m2://inv/1RRM250VSA`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Harmonic function 0DEB0JMN0W

Mentions

wikidata: Wikidata Q599027, harmonic function (unknown). Also MathWorld HarmonicFunction
wikipedia: Wikipedia Harmonic function, Harmonic function (definition). Also Wikidata Q599027

History

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

1RRPFSEWP3 1RRPFSEWP3

URI	`m2://inv/1RRPFSEWP3`
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#2NWD (statement). In A3KXZ2GBHN/e1, proposition 1

History

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

Serial dependence 1RSPWPNM8Z

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

Mentions

wikipedia: Wikipedia List of statistics articles#1X6T, Serial dependence (definition)

History

2026-11-02: add by m2/dev

Katharine Tait 1RST0DX750

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

Mentions

wikipedia: Wikipedia Bertrand Russell#UX6C, Katharine Tait (unknown)

History

2026-11-02: add by m2/dev

Off-the-Record Messaging protocol 1RSXGD5MK3

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

Mentions

wikipedia: Wikipedia Off-the-Record Messaging protocol, Off-the-Record Messaging protocol (definition). Also Wikidata Q512063

History

2026-11-02: add by m2/dev

Subhash Khot 1RSYB304V1

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

Mentions

wikipedia: Wikipedia Subhash Khot, Subhash Khot (topic). Also Wikidata Q7631228

History

2026-11-02: add by m2/dev

Bayesian inference in phylogeny 1RSZ9ZWSXP

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

Mentions

wikipedia: Wikipedia Bayesian inference in phylogeny, Bayesian inference in phylogeny (definition). Also Wikidata Q4874472

History

2026-11-02: add by m2/dev

Strong NP-completeness 1RT0DVV6V8

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

Mentions

wikipedia: Wikipedia Strong NP-completeness, Strong NP-completeness (definition). Also Wikidata Q7624684

History

2026-11-02: add by m2/dev

Formal definition 1RT52K8RWM

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

Mentions

wikipedia: Wikipedia Glennie's identity#GSGE, Formal definition (definition)

History

2026-11-02: add by m2/dev

1RT7BPR0GC 1RT7BPR0GC

URI	`m2://inv/1RT7BPR0GC`
Kind	problem
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#ID4L (problem). In GWQP1XPM8E/e1, problem 1

History

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

complete 1RTA1BW9WZ

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#MLSN, complete (definition)

History

2026-11-02: add by m2/dev

Rydberg constant 1RTHWHEYHS

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

Mentions

wikipedia: Wikipedia List of scientific constants named after people#IG6L, Rydberg constant (unknown)

History

2026-11-02: add by m2/dev

A Hill on the Dark Side of the Moon 1RTN3RQWEQ

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

Mentions

wikipedia: Wikipedia List of films about mathematicians#0A6O, A Hill on the Dark Side of the Moon (unknown)

History

2026-11-02: add by m2/dev

1RTR79F9NG 1RTR79F9NG

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-283 (exercise). In VNMV985MXX, exercise, section 6.3

History

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

\theoremcite{Open Problem 1}{aliprantis1974 1RV28H2NBX

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

Mentions

arxiv: arXiv 2609.29498#04X9, \theoremcite{Open Problem 1}{aliprantis1974 (problem)

History

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

1RVDN9FMC4 1RVDN9FMC4

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-5 (exercise). In E59CDZA4DP, exercise, section 11.1.5

History

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

1RVHVG1861 1RVHVG1861

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

Mentions

arxiv: arXiv 2609.24584#DXI1 (statement)

History

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

metabiaugmented hexagonal prism 1RVJ6VBMAR

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

Mentions

wikidata: Wikidata Q2672414, metabiaugmented hexagonal prism (object). Also MathWorld MetabiaugmentedHexagonalPrism
wikipedia: Wikipedia Metabiaugmented hexagonal prism, Metabiaugmented hexagonal prism (definition). Also Wikidata Q2672414

History

2026-10-26: add by m2/dev

Quasilinear autocovariance 1RVM27RBN9

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

Mentions

arxiv: arXiv 2609.20274#99G5, Quasilinear autocovariance (statement)

History

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

Info-metrics 1RVPW1QF5Q

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

Mentions

wikipedia: Wikipedia Info-metrics, Info-metrics (definition). Also Wikidata Q48998519

History

2026-11-02: add by m2/dev

Randomness 1RVQSF3RWZ

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

Mentions

wikipedia: Wikipedia List of probability topics#KP86, Randomness (definition)

History

2026-11-02: add by m2/dev

Mills ratio 1RVV4CZJP2

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

Mentions

wikidata: Wikidata Q6860008, Mills ratio (unknown). Also MathWorld MillsRatio
wikipedia: Wikipedia Mills ratio, Mills ratio (definition). Also Wikidata Q6860008

History

2026-10-26: add by m2/dev

1RVYR6303E 1RVYR6303E

URI	`m2://inv/1RVYR6303E`
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 2609.38323#7XKH (statement). In MER0S03A77/e1, theorem C

History

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

Examples 1RW0RT2XAD

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

Mentions

wikipedia: Wikipedia Homological stability#A400, Examples (example)

History

2026-11-02: add by m2/dev

1RW4T3ZCAJ 1RW4T3ZCAJ

URI	`m2://inv/1RW4T3ZCAJ`
Kind	statement
Layer	research
MSC	49-XX, 62-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.22642#TNB1 (statement)

History

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

Properties of the prediction-information map 1RW6474MC4

URI	`m2://inv/1RW6474MC4`
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.36143#FVAD, Properties of the prediction-information map (statement). In 6T2TWKQMJ8/e1, lemma 2

History

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

Implementations 1RW6K9QKT0

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

Mentions

wikipedia: Wikipedia Substructure search#9TZR, Implementations (definition)

History

2026-11-02: add by m2/dev

1RWBZ96S77 1RWBZ96S77

URI	`m2://inv/1RWBZ96S77`
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 2108.03672#X9F1 (statement). In EZZSZ1F071/e1, lemma 3.5

History

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

1RWD667YMS 1RWD667YMS

URI	`m2://inv/1RWD667YMS`
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.14450#T1HF (statement). In ZHTGQT07PE/e1, theorem 1.1

History

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

CSS code from a nested pair 1RWDS8G90V

URI	`m2://inv/1RWDS8G90V`
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 2609.40252#P7TI, CSS code from a nested pair (definition). In 7MVPNFPRKB/e1, definition 8.2

History

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

1RWJ3GGRM3 1RWJ3GGRM3

URI	`m2://inv/1RWJ3GGRM3`
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#QYVN (statement)

History

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

Parallelohedron 1RWKPQP3WD

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#LCQ5, Parallelohedron (object)

History

2026-11-02: add by m2/dev

Singular n-simplex 1RWS7XZ19Q

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

Mentions

wikipedia: Wikipedia Simplex#523M, Singular n-simplex (unknown)

History

2026-11-02: add by m2/dev

1RX1Z20GFV 1RX1Z20GFV

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-61 (exercise). In E9HS8K3A52, exercise, section 10.5.1

History

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

Open problems 1RX2WG5MJX

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

Mentions

wikipedia: Wikipedia Littlewood polynomial#3WNN, Open problems (statement)

History

2026-11-02: add by m2/dev

Limit analysis 1RX8BR0HBE

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

Mentions

wikipedia: Wikipedia Limit analysis, Limit analysis (definition). Also Wikidata Q6549440

History

2026-11-02: add by m2/dev

1RXBR7KSEC 1RXBR7KSEC

URI	`m2://inv/1RXBR7KSEC`
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.21934#5BOV (statement). In YKD51BX3XB/e1, lemma 4.8

History

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

1RXE809EBQ 1RXE809EBQ

URI	`m2://inv/1RXE809EBQ`
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.03264#RCLA (statement). In 5TXRSPPTHP/e1, corollary 1

History

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

1RXG0BCB61 1RXG0BCB61

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

Mentions

arxiv: arXiv 2610.04694#BA6F (statement). In W9A0Z2NBMA/e1, theorem 20

History

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

1RXRSRP0FX 1RXRSRP0FX

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

Mentions

arxiv: arXiv 2610.17589#W50A (definition). In GSTK4569X1/e1, definition 5.12

History

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

Functional sharp layer 1RXWZYNSWN

URI	`m2://inv/1RXWZYNSWN`
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.39262#46ET, Functional sharp layer (statement). In XA2NE2Z06S/e1, theorem 5.3

History

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

Fubini's theorem 1RY4NQCHQB

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

Mentions

wikipedia: Wikipedia List of theorems#6XUS, Fubini's theorem (statement)

History

2026-11-02: add by m2/dev

1RY55RN764 1RY55RN764

URI	`m2://inv/1RY55RN764`
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.00798#3K4K (statement). In FANG3A8NZ9/e1, proposition 2.2

History

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

zero to the power of zero 1RY5J73BVG

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

Mentions

wikidata: Wikidata Q6139783, zero to the power of zero (statement). Also ProofWiki Zero_to_the_Power_of_Zero
wikipedia: Wikipedia Zero to the power of zero, Zero to the power of zero (definition). Also Wikidata Q6139783

History

2026-10-26: add by m2/dev

Rotation and quadratic invariant 1RYA5RTG7A

URI	`m2://inv/1RYA5RTG7A`
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.15125#QPO1, Rotation and quadratic invariant (statement). In V5GT8NJKCM/e1, proposition E.3

History

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

cuboctahedral graph 1RYJ1RYHJA

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

Mentions

wikidata: Wikidata Q3115462, cuboctahedral graph (unknown). Also House of Graphs 1024, MathWorld CuboctahedralGraph

History

2026-10-26: add by m2/dev

Omega logic 1RYMKVRB3H

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

Mentions

wikipedia: Wikipedia Glossary of set theory#Z9G5, Omega logic (definition)

History

2026-11-02: add by m2/dev

1RZ0SWWX6P 1RZ0SWWX6P

URI	`m2://inv/1RZ0SWWX6P`
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.33771#2FLN (statement). In ZXQA7QH0H0/e1, corollary 2.15

History

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

1RZ8BC6JW6 1RZ8BC6JW6

URI	`m2://inv/1RZ8BC6JW6`
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.20237#DCXL (statement)

History

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

1RZG6XCXDZ 1RZG6XCXDZ

URI	`m2://inv/1RZG6XCXDZ`
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.16883#KJ3O (statement). In TYS9N30M63/e1, lemma A.7

History

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

Liouville's theorem 1RZM458SPG

URI	`m2://inv/1RZM458SPG`
Kind	statement
Layer	textbook
MSC	30-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Liouville's theorem 0EHKVRF4J6

Mentions

mathlib_1000: mathlib_1000 Q576478, Liouville's theorem (complex analysis) (statement). Also Mathlib Differentiable.apply_eq_apply_of_bounded, Wikidata Q576478
mathlib_overview: mathlib_overview Analysis > Complex analysis > Liouville theorem, Liouville theorem (unknown). Also Mathlib Differentiable.apply_eq_apply_of_bounded
thousand_plus: thousand_plus Q576478, Liouville's theorem (complex analysis) (statement). Also Mathlib Differentiable.apply_eq_apply_of_bounded, Wikidata Q576478, Wikipedia Liouville's theorem (complex analysis)
wikidata: Wikidata Q576478, Liouville's theorem (statement). Also EoM Liouville_theorems, MathWorld LiouvillesBoundednessTheorem
wikipedia: Wikipedia Liouville's theorem (complex analysis), Liouville's theorem (statement). Also Wikidata Q576478

History

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

Definition 1RZXEWJ334

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

Mentions

wikipedia: Wikipedia Saturated model#HK5H, Definition (definition)

History

2026-11-02: add by m2/dev

National University of Singapore 1RZY5JSPE8

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

Mentions

wikipedia: Wikipedia National University of Singapore, National University of Singapore (definition). Also Wikidata Q738236

History

2026-11-02: add by m2/dev