Inventory rows 4N

James Andrew Clarkson 4N00E2W1ZC

URI	`m2://inv/4N00E2W1ZC`
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#G1MU, James Andrew Clarkson (topic)

History

2026-11-02: add by m2/dev

4N01DZJN1D 4N01DZJN1D

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

Mentions

arxiv: arXiv 2610.11965#O3JK (statement). In 48QX0QD0XR/e1, lemma 8.2

History

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

4N03RE2J51 4N03RE2J51

URI	`m2://inv/4N03RE2J51`
Kind	statement
Layer	research
MSC	03-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.33856#GD60 (statement). In 47WN78VDDF/e1, theorem 3.27

History

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

4N09XVCG0W 4N09XVCG0W

URI	`m2://inv/4N09XVCG0W`
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 2507.05923#UHKU (statement). In ZFKZ6YDT62/e1, lemma 11

History

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

Sharp QT-8B 4N0GHS0SB8

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

Mentions

wikipedia: Wikipedia Sharp QT-8B, Sharp QT-8B (definition). Also Wikidata Q7490340

History

2026-11-02: add by m2/dev

Photon mapping 4N0HPGX5FQ

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#XC7J, Photon mapping (unknown)

History

2026-11-02: add by m2/dev

Bochner--Martinelli 4N0R3F6XXJ

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

Mentions

lebl_scv: lebl_scv scv.tex#thm:bochnermartinelli, Bochner--Martinelli (statement). In VNMV985MXX, thm, section 5.1

History

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

Francis John Welsh Whipple 4N19XQ3R6W

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

Mentions

wikipedia: Wikipedia Francis John Welsh Whipple, Francis John Welsh Whipple (topic). Also Wikidata Q5481522

History

2026-11-02: add by m2/dev

4N1BJ62XJ5 4N1BJ62XJ5

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

Mentions

arxiv: arXiv 2609.28669#MDP3 (statement)

History

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

Definitions 4N1N10TJ9H

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

Mentions

wikipedia: Wikipedia Teichmüller–Tukey lemma#N83J, Definitions (definition)

History

2026-11-02: add by m2/dev

4N1N831475 4N1N831475

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

Mentions

napkin: napkin tex/topology/metric-top.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 100.6

History

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

Turing Foundation 4N1Y9AZ8TB

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

Mentions

wikipedia: Wikipedia List of things named after Alan Turing#1VE1, Turing Foundation (unknown)

History

2026-11-02: add by m2/dev

Clifford Martin Will 4N1YWRACP5

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

Mentions

wikipedia: Wikipedia Clifford Martin Will, Clifford Martin Will (topic). Also Wikidata Q1101344

History

2026-11-02: add by m2/dev

Affine plane 4N2FDXB7W3

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

Mentions

wikipedia: Wikipedia Affine plane, Affine plane (definition). Also Wikidata Q4688946

History

2026-11-02: add by m2/dev

4N2FXXKSGQ 4N2FXXKSGQ

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

Mentions

arxiv: arXiv 2609.20516#G0N2 (statement)

History

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

Log-linear model 4N2JBEWG00

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZBXS, Log-linear model (definition)

History

2026-11-02: add by m2/dev

Metallic Metals Act 4N2K2FPKT4

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

Mentions

wikipedia: Wikipedia Metallic Metals Act, Metallic Metals Act (definition). Also Wikidata Q6822831

History

2026-11-02: add by m2/dev

Three-point convex combinations with dilation two 4N2KWJV4MX

URI	`m2://inv/4N2KWJV4MX`
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#6GG6, Three-point convex combinations with dilation two (statement). In 9YAE8FNQST/e1, corollary 15.10

History

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

Demographic history of Armenia 4N30900Z8W

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

Mentions

wikipedia: Wikipedia Demographics of Armenia#64XA, Demographic history of Armenia (unknown)

History

2026-11-02: add by m2/dev

Olimpíada Brasileira de Matemática das Escolas Públicas 4N33TJYZCZ

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#8QXP, Olimpíada Brasileira de Matemática das Escolas Públicas (unknown)

History

2026-11-02: add by m2/dev

Bayesian multivariate linear regression 4N3724ZJHT

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

Mentions

wikipedia: Wikipedia List of statistics articles#3N65, Bayesian multivariate linear regression (definition)

History

2026-11-02: add by m2/dev

German Mathematical Society 4N3A6PHDJW

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

Mentions

wikipedia: Wikipedia German Mathematical Society, German Mathematical Society (definition). Also Wikidata Q563335

History

2026-11-02: add by m2/dev

4N3CKBGNRR 4N3CKBGNRR

URI	`m2://inv/4N3CKBGNRR`
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#3VBH (statement)

History

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

4N3DD7WMAE 4N3DD7WMAE

URI	`m2://inv/4N3DD7WMAE`
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 2504.13328#UOP4 (statement). In 736Q32FYCG/e1, proposition 2.1

History

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

4N3H5GCYA8 4N3H5GCYA8

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

Mentions

arxiv: arXiv 2610.16700#EB53 (statement). In 3JPKD7NBEN/e1, lemma 5.2

History

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

4N3KXTPTAT 4N3KXTPTAT

URI	`m2://inv/4N3KXTPTAT`
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.06045#EUPJ (statement). In SVKM0852RJ/e1, theorem 4

History

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

congruence 4N3M7M4AGM

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

Mentions

mathlib_1000: mathlib_1000 Q154210, CPCTC (statement). Also Mathlib EuclideanGeometry.triangle_congruent_iff_dist_eq, Mathlib EuclideanGeometry.angle_eq_of_congruent, Wikidata Q154210
thousand_plus: thousand_plus Q154210, CPCTC (statement). Also Wikidata Q154210, Wikipedia CPCTC
wikidata: Wikidata Q154210, congruence (unknown). Also MathWorld GeometricCongruence
wikipedia: Wikipedia Congruence (geometry), Congruence (definition). Also Wikidata Q154210

History

2026-10-26: add by m2/dev

4N3MZ08Z1S 4N3MZ08Z1S

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-30 (exercise). In E9HS8K3A52, exercise, section 7.2.7

History

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

Christoffel–Darboux formula 4N3V4YBGFR

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

Mentions

wikipedia: Wikipedia Christoffel–Darboux formula, Christoffel–Darboux formula (statement). Also Wikidata Q5111650

History

2026-11-02: add by m2/dev

4N3XXB03FS 4N3XXB03FS

URI	`m2://inv/4N3XXB03FS`
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.04252#Q7YJ (statement). In ZF0Z61VQ96/e1, proposition 5.7

History

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

easy 4N43NSBH1B

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-39, easy (exercise). In E9HS8K3A52, exercise, section 10.4.1

History

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

4N453EK7WV 4N453EK7WV

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-73 (exercise). In E59CDZA4DP, exercise, section 4.6.3

History

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

Thomas N. E. Greville 4N4CH9ZQ37

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#YH57, Thomas N. E. Greville (unknown)
wikipedia: Wikipedia List of fellows of the American Statistical Association#V23V, Thomas N. E. Greville (unknown)

History

2026-11-02: add by m2/dev

4N4FPDWC29 4N4FPDWC29

URI	`m2://inv/4N4FPDWC29`
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.22218#QH3T (statement). In 338GKREFVP/e1, lemma 35

History

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

Monotonicity 4N580S3GE6

URI	`m2://inv/4N580S3GE6`
Kind	statement
Layer	research
MSC	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.33573#MMSL, Monotonicity (statement). In ZT1Q1XDQ1W/e1, lemma 2.4

History

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

4N5CKN4T1D 4N5CKN4T1D

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

Mentions

arxiv: arXiv 2204.01073#362D (definition). In W4TYN4PGE8/e1, definition 2.38

History

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

Spectral invariants 4N5CQRYZYD

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

Mentions

wikipedia: Wikipedia Spectral invariants, Spectral invariants (definition). Also Wikidata Q17132326

History

2026-11-02: add by m2/dev

λ 4N5FGBQKV5

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

Mentions

wikipedia: Wikipedia Glossary of set theory#X7W7, λ (definition)

History

2026-11-02: add by m2/dev

Eilenberg–Steenrod axioms 4N63ECZZXK

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

Mentions

wikipedia: Wikipedia Excision theorem#KOVX, Eilenberg–Steenrod axioms (statement)

History

2026-11-02: add by m2/dev

4N69KRP1X6 4N69KRP1X6

URI	`m2://inv/4N69KRP1X6`
Kind	statement
Layer	research
MSC	16-XX, 20-XX, 22-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.11800#S4NQ (statement). In 8TSZ2E32K3/e1, corollary 3.3

History

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

Michał Horodecki 4N6B0CVBPH

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#UPYS, Michał Horodecki (unknown)

History

2026-11-02: add by m2/dev

Puritanical bias 4N6B72K5RZ

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

Mentions

wikipedia: Wikipedia List of cognitive biases#YXPI, Puritanical bias (unknown)

History

2026-11-02: add by m2/dev

Characterization 4N6KM40BJ7

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

Mentions

wikipedia: Wikipedia Polish space#QMGW, Characterization (statement)

History

2026-11-02: add by m2/dev

Relation algebra 4N6MEVSMXA

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

Mentions

wikipedia: Wikipedia Relation algebra, Relation algebra (definition). Also Wikidata Q5965969

History

2026-11-02: add by m2/dev

Cloud 4N6MXW9T6M

URI	`m2://inv/4N6MXW9T6M`
Kind	definition
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 2610.17400#JC5J, Cloud (definition). In 8VDXGR4SVD/e1, definition 6.1

History

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

Miquel's six circle theorem 4N6REV1P1E

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

Mentions

wikipedia: Wikipedia Miquel's theorem#ZFP4, Miquel's six circle theorem (statement)

History

2026-11-02: add by m2/dev

4N6S4Q4EPW 4N6S4Q4EPW

URI	`m2://inv/4N6S4Q4EPW`
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.36714#TASP (statement). In Z2BKQBEMTQ/e1, proposition 4.2

History

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

4N6TR87466 4N6TR87466

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

Mentions

arxiv: arXiv 2610.13833#HE15 (definition). In VD4JP4HVBX/e1, definition 6.10

History

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

Point of closure 4N6ZFCN9T5

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

Mentions

wikipedia: Wikipedia Glossary of general topology#LDJL, Point of closure (definition)

History

2026-11-02: add by m2/dev

4N7336224R 4N7336224R

URI	`m2://inv/4N7336224R`
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.10078#1YY9 (statement). In YVGRZK1HRS/e1, theorem 4.13

History

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

4N74SMGMWW 4N74SMGMWW

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

Mentions

arxiv: arXiv 2609.30262#Y426 (definition). In FWA5QW6FCF/e1, definition 4.4

History

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

4N79Z5AFCD 4N79Z5AFCD

URI	`m2://inv/4N79Z5AFCD`
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#XVRA (statement). In 32ZZ1DETCX/e1, theorem 1.5

History

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

4N7ED6PTW7 4N7ED6PTW7

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

Mentions

arxiv: arXiv 2211.01586#9DTM (proof). In P39MF3ZJC0/e1, proof

History

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

Harro Heuser 4N7Z4GQV84

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

Mentions

wikipedia: Wikipedia Harro Heuser, Harro Heuser (topic). Also Wikidata Q96666

History

2026-11-02: add by m2/dev

4N80E2HY76 4N80E2HY76

URI	`m2://inv/4N80E2HY76`
Kind	statement
Layer	research
MSC	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.33957#8INI (statement). In KG6V5AN3PK/e1, corollary 2.4

History

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

4N81J1VPZ0 4N81J1VPZ0

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

Mentions

arxiv: arXiv 2609.34295#7ZVD (statement). In A93R925Z24/e1, lemma 4.3

History

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

4N820BM4T4 4N820BM4T4

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

Mentions

arxiv: arXiv 2609.28020#XRT6 (statement)

History

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

Gábor Szegő 4N89SAKS29

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#KLQA, Gábor Szegő (topic)

History

2026-11-02: add by m2/dev

4N8G85GF6J 4N8G85GF6J

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

Mentions

arxiv: arXiv 2609.21670#MZDE (statement)

History

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

4N8GNNPPD6 4N8GNNPPD6

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

Mentions

arxiv: arXiv 2609.27518#GQ2Z (statement)

History

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

Trend estimation 4N8JJJT0DV

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

Mentions

wikipedia: Wikipedia List of statistics articles#5CHC, Trend estimation (definition)

History

2026-11-02: add by m2/dev

Multi-commodity flow problem 4N8M7EMGAP

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

Mentions

wikipedia: Wikipedia Multi-commodity flow problem, Multi-commodity flow problem (problem). Also Wikidata Q6934437

History

2026-11-02: add by m2/dev

Clebsch graph 4N8QBTF5ED

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

Mentions

wikidata: Wikidata Q367494, Clebsch graph (unknown). Also House of Graphs 975, MathWorld ClebschGraph
wikipedia: Wikipedia Clebsch graph, Clebsch graph (definition). Also Wikidata Q367494

History

2026-10-26: add by m2/dev

Applications 4N8RXMPQ5Y

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

Mentions

wikipedia: Wikipedia Single-entry single-exit#BTL2, Applications (example)

History

2026-11-02: add by m2/dev

4N8WHEJPCK 4N8WHEJPCK

URI	`m2://inv/4N8WHEJPCK`
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#HD4T (statement)

History

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

4N8ZNW41QN 4N8ZNW41QN

URI	`m2://inv/4N8ZNW41QN`
Kind	unknown
Layer	research
MSC	35-XX, 65-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13680#TPFQ (unknown). In QNBFHFZ3H0/e1, unknown 83

History

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

Laplace distribution 4N905D56CJ

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

Mentions

wikidata: Wikidata Q671617, Laplace distribution (unknown). Also EoM Laplace_distribution, MathWorld LaplaceDistribution
wikipedia: Wikipedia Laplace distribution, Laplace distribution (definition). Also Wikidata Q671617

History

2026-10-26: add by m2/dev

4N97GDVF4E 4N97GDVF4E

URI	`m2://inv/4N97GDVF4E`
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#JFPX (statement). In Q6HRJP4AWA/e1, corollary 5.3

History

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

Application 4N9GJQDGGT

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

Mentions

wikipedia: Wikipedia Vertical deflection#EEPA, Application (example)

History

2026-11-02: add by m2/dev

John K. Kruschke 4N9HKA1SCW

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

Mentions

wikipedia: Wikipedia John K. Kruschke, John K. Kruschke (topic). Also Wikidata Q108765658

History

2026-11-02: add by m2/dev

RSA-230 4N9K6J9HJR

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

Mentions

wikipedia: Wikipedia RSA numbers#NCKP, RSA-230 (unknown)

History

2026-11-02: add by m2/dev

4N9P8FAR72 4N9P8FAR72

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

Mentions

open_logic: open_logic content/first-order-logic/models-theories/size-of-structures.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 13.2

History

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

Numerical analysis software 4N9R7NYMPR

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

Mentions

wikipedia: Wikipedia Numerical analysis#OJQO, Numerical analysis software (unknown)

History

2026-11-02: add by m2/dev

Definitions 4N9WK9X7JY

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

Mentions

wikipedia: Wikipedia Greatest element and least element#ORLR, Definitions (definition)

History

2026-11-02: add by m2/dev

infinite cyclic group 4NA11QPNCV

URI	`m2://inv/4NA11QPNCV`
Kind	definition
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Infinite cyclic group 02B1T50JD1

Mentions

wikidata: Wikidata Q54806746, infinite cyclic group (definition). Also ProofWiki Definition:Infinite_Cyclic_Group

History

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

4NA1K20BEY 4NA1K20BEY

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

Mentions

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

History

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

4NA3E4SF42 4NA3E4SF42

URI	`m2://inv/4NA3E4SF42`
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 1408.1555#F0QB (statement). In S1F2QW24YW/e1, lemma 5.1

History

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

\href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Odd/Subsum.lean\#L215}{\Verb|OddCase.strongSSC\_tup| 4NA5RFRQQK

URI	`m2://inv/4NA5RFRQQK`
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.16323#MDKL, \href{https://github.com/Parcly-Taxel/Redhill/blob/arxiv-fixed/Redhill/Odd/Subsum.lean\#L215}{\Verb|OddCase.strongSSC\_tup| (statement). In E215DFNY09/e1, lemma Lemma

History

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

Jim Pitman 4NAD875NM3

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

Mentions

wikipedia: Wikipedia Jim Pitman, Jim Pitman (topic). Also Wikidata Q102111531

History

2026-11-02: add by m2/dev

Definition 4NAM31AFHE

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

Mentions

wikipedia: Wikipedia Jordan matrix#41MZ, Definition (definition)

History

2026-11-02: add by m2/dev

Voronyi, Georgiy Feodosiyovych 4NAPQR220C

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

Mentions

wikipedia: Wikipedia List of Ukrainian mathematicians#JBNK, Voronyi, Georgiy Feodosiyovych (topic)

History

2026-11-02: add by m2/dev

Formal definitions 4NB07KTV7E

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

Mentions

wikipedia: Wikipedia Semigroup action#SBXQ, Formal definitions (definition)

History

2026-11-02: add by m2/dev

4NB6H3BQHH 4NB6H3BQHH

URI	`m2://inv/4NB6H3BQHH`
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.22825#N25Q (statement)

History

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

Virial Equation 4NB81SV9SQ

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

Mentions

wikipedia: Wikipedia Equation of state#PQSJ, Virial Equation (unknown)

History

2026-11-02: add by m2/dev

4NBAV318F1 4NBAV318F1

URI	`m2://inv/4NBAV318F1`
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.11939#HF58 (statement). In DQMEN40FZV/e1, lemma 7

History

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

Çetinkaya-Rundel, Mine 4NBBNGAW87

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

Mentions

wikipedia: Wikipedia List of statisticians#YHL7, Çetinkaya-Rundel, Mine (topic)

History

2026-11-02: add by m2/dev

Definition 4NBHKQ9WCR

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

Mentions

wikipedia: Wikipedia Probability measure#MQG7, Definition (definition)

History

2026-11-02: add by m2/dev

4NBQEZD21X 4NBQEZD21X

URI	`m2://inv/4NBQEZD21X`
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#FDW9 (definition). In QX77AN49J0/e1, definition 5.9

History

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

The Diseases Population Index for lung cancer incidence 4NBTZNPKC7

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

Mentions

wikipedia: Wikipedia The Diseases Population Index for lung cancer incidence, The Diseases Population Index for lung cancer incidence (definition). Also Wikidata Q16255475

History

2026-11-02: add by m2/dev

canonizant 4NC173ZDST

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#QGRO, canonizant (definition)

History

2026-11-02: add by m2/dev

It is enough to test \(\Sier\ 4NC5Q7BKAK

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

Mentions

arxiv: arXiv 2609.23281#IKXL, It is enough to test \(\Sier\ (statement)

History

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

Eckhard Meinrenken 4NC8ERS595

URI	`m2://inv/4NC8ERS595`
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 Q121391, Eckhard Meinrenken (unknown). Also nLab Eckhard Meinrenken
wikipedia: Wikipedia Eckhard Meinrenken, Eckhard Meinrenken (topic). Also Wikidata Q121391

History

2026-10-26: add by m2/dev

Alternating group 4NC8QZVHJ8

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

Mentions

wikipedia: Wikipedia List of group theory topics#1LMX, Alternating group (definition)
wikipedia: Wikipedia List of permutation topics#ZYCK, Alternating group (definition)

History

2026-11-02: add by m2/dev

4NCJ4PKNC7 4NCJ4PKNC7

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-planar.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 5.3

History

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

Examples 4NCM9J61EA

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

Mentions

wikipedia: Wikipedia Modal μ-calculus#SDBC, Examples (example)

History

2026-11-02: add by m2/dev

Melvin L. Moeschberger 4NCP30BV4P

URI	`m2://inv/4NCP30BV4P`
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#U74D, Melvin L. Moeschberger (unknown)

History

2026-11-02: add by m2/dev

Regular sequence 4NCRAK1ZQW

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#KSO1, Regular sequence (definition)

History

2026-11-02: add by m2/dev

Half-line reduction (recalled 4NCSMEDAKG

URI	`m2://inv/4NCSMEDAKG`
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#FU3Z, Half-line reduction (recalled (statement). In KP1THB2C09/e1, proposition 2.6

History

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

Bernoulli's quadrisection problem 4NCX81Q4G9

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

Mentions

wikipedia: Wikipedia List of triangle topics#77W7, Bernoulli's quadrisection problem (unknown)

History

2026-11-02: add by m2/dev

4ND1Y30ZCH 4ND1Y30ZCH

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

Mentions

arxiv: arXiv 2609.27301#Q3B5 (definition)

History

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

4ND5J0NQJR 4ND5J0NQJR

URI	`m2://inv/4ND5J0NQJR`
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.20510#HIWN (statement). In 24KCRT4VT2/e1, lemma 4

History

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

4ND6TZAQ6R 4ND6TZAQ6R

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

Mentions

arxiv: arXiv 2610.03628#C4PQ (statement). In P8KT6JV9N1/e1, fact 4.1

History

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

4ND8AE9ZAT 4ND8AE9ZAT

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

Mentions

arxiv: arXiv 2610.21475#TH5G (statement). In TTRSZVT4VX/e1, theorem 2.22

History

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

Relation to the axiom schema of replacement 4NDBM3EMTD

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

Mentions

wikipedia: Wikipedia Axiom schema of specification#LJ9P, Relation to the axiom schema of replacement (statement)

History

2026-11-02: add by m2/dev

Inference pairs in $S$ 4NDCRYYXCW

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

Mentions

arxiv: arXiv 2609.26776#U0YG, Inference pairs in $S$ (example)

History

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

4NDH9J98PD 4NDH9J98PD

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

Mentions

arxiv: arXiv 2609.25168#0Z51 (example)

History

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

Applications 4NDKM811TD

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

Mentions

wikipedia: Wikipedia Gale diagram#SE1L, Applications (example)

History

2026-11-02: add by m2/dev

4NDRGEA426 4NDRGEA426

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

Mentions

arxiv: arXiv 2610.00843#GPUE (statement). In 1K7M5TD0M2/e1, corollary 1.3

History

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

4NDT80XWAM 4NDT80XWAM

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

Mentions

arxiv: arXiv 1503.05744#A1CB (statement). In 5XKHZKEGAF/e1, proposition 4.2

History

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

False discovery rate 4NDTVQCMKE

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

Mentions

wikipedia: Wikipedia List of statistics articles#L7TB, False discovery rate (definition)

History

2026-11-02: add by m2/dev

Properties 4NE8M5Z5YG

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

Mentions

wikipedia: Wikipedia Monomorphism#1U18, Properties (statement)

History

2026-11-02: add by m2/dev

Concentration from a large local $L^4$ norm 4NEAXJ0VT0

URI	`m2://inv/4NEAXJ0VT0`
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#O9N8, Concentration from a large local $L^4$ norm (statement)

History

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

Examples 4NEBGQ887Y

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

Mentions

wikipedia: Wikipedia Dual linear program#J0MW, Examples (example)

History

2026-11-02: add by m2/dev

Grünwald–Letnikov derivative 4NEBXXEMVX

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

Mentions

wikipedia: Wikipedia Grünwald–Letnikov derivative, Grünwald–Letnikov derivative (definition). Also Wikidata Q4162531

History

2026-11-02: add by m2/dev

4NEFXX5Y5E 4NEFXX5Y5E

URI	`m2://inv/4NEFXX5Y5E`
Kind	statement
Layer	research
MSC	37-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.06321#0S3Q (statement). In PGV1116XX4/e1, theorem A.1

History

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

4NEHS57JKQ 4NEHS57JKQ

URI	`m2://inv/4NEHS57JKQ`
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.37897#IFX2 (statement). In RBQ5FNCVNZ/e1, lemma C.10

History

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

4NEX9ECWR5 4NEX9ECWR5

URI	`m2://inv/4NEX9ECWR5`
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.21668#OQ21 (statement)

History

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

continuous binomial (cobin) distribution 4NF27P03X1

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

Mentions

wikipedia: Wikipedia List of probability distributions#E87K, continuous binomial (cobin) distribution (definition)

History

2026-11-02: add by m2/dev

4NF55FCKKN 4NF55FCKKN

URI	`m2://inv/4NF55FCKKN`
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 2609.18777#WXRC (definition). In TFZDPHDF7V/e1, definition A.3

History

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

Mary Batcher 4NF9CWCDNR

URI	`m2://inv/4NF9CWCDNR`
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#41C3, Mary Batcher (topic)

History

2026-11-02: add by m2/dev

Second law 4NFBNDJAJE

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

Mentions

wikipedia: Wikipedia Laws of thermodynamics#MU1T, Second law (statement)

History

2026-11-02: add by m2/dev

Schnirelmann's constant 4NFKQME6CN

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

Mentions

wikipedia: Wikipedia Schnirelmann density#71WU, Schnirelmann's constant (unknown)

History

2026-11-02: add by m2/dev

projective variety 4NFRXDGHQ4

URI	`m2://inv/4NFRXDGHQ4`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Projective variety A4H4CZ2V35

Mentions

wikidata: Wikidata Q3554818, projective variety (unknown). Also EoM Projective_algebraic_set, MathWorld ProjectiveAlgebraicVariety, nLab projective variety
wikipedia: Wikipedia Projective variety, Projective variety (definition). Also Wikidata Q3554818

History

2026-10-26: add by m2/dev

Formal statement 4NFYV0AX8F

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

Mentions

wikipedia: Wikipedia Casas-Alvero conjecture#556N, Formal statement (statement)

History

2026-11-02: add by m2/dev

A membership characterization 4NFYVJT1CG

URI	`m2://inv/4NFYVJT1CG`
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.12014#DHXF, A membership characterization (statement). In DR7BK4CQ0V/e1, corollary 5.18

History

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

Topological sum 4NG3DRMW6W

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

Mentions

wikipedia: Wikipedia Glossary of general topology#BHZI, Topological sum (definition)

History

2026-11-02: add by m2/dev

4NGABEATJ1 4NGABEATJ1

URI	`m2://inv/4NGABEATJ1`
Kind	statement
Layer	research
MSC	14-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 2310.15716#YN5M (statement). In 7WDA4MEWE2/e1, theorem 6.4

History

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

Robustness of exponentially stable products 4NGB3C5NQQ

URI	`m2://inv/4NGB3C5NQQ`
Kind	statement
Layer	research
MSC	37-XX, 49-XX, 62-XX, 65-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.23927#8H57, Robustness of exponentially stable products (statement)

History

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

SETAR (model) 4NGBD6ANSV

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

Mentions

wikipedia: Wikipedia List of statistics articles#7YEW, SETAR (model) (definition)

History

2026-11-02: add by m2/dev

Definitions 4NGM07XMB2

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

Mentions

wikipedia: Wikipedia Equivalence principle#VGO7, Definitions (definition)

History

2026-11-02: add by m2/dev

Post and "effective calculability" as "natural law" 4NGMQTY56Q

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

Mentions

wikipedia: Wikipedia History of the Church–Turing thesis#1ISU, Post and "effective calculability" as "natural law" (statement)

History

2026-11-02: add by m2/dev

4NGP0FQMGS 4NGP0FQMGS

URI	`m2://inv/4NGP0FQMGS`
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 2609.21255#1W1V (statement)

History

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

No interior first-contact 4NGPQA4YHA

URI	`m2://inv/4NGPQA4YHA`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-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.22659#LRJ4, No interior first-contact (statement)

History

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

Quasi-Monte Carlo method 4NGY9Z27FA

URI	`m2://inv/4NGY9Z27FA`
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#XHIO, Quasi-Monte Carlo method (definition)

History

2026-11-02: add by m2/dev

4NH247Q3T8 4NH247Q3T8

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

Mentions

arxiv: arXiv 1806.00752#H1E4 (definition). In GGW2N4JHXM/e1, definition 8

History

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

Flagged realization 4NH53MJ6CY

URI	`m2://inv/4NH53MJ6CY`
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#1WRB, Flagged realization (definition). In 7MVPNFPRKB/e1, definition 3.2

History

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

4NHGFM2197 4NHGFM2197

URI	`m2://inv/4NHGFM2197`
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 2512.08487#7UL6 (statement). In 77TVQVYN0Z/e1, theorem 2

History

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

$Q_7$ with five colours 4NHJAYX6JP

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

Mentions

arxiv: arXiv 2609.38993#U1HE, $Q_7$ with five colours (example). In AFKQK866Y1/e1, example 3.6

History

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

Cheeger-Gromoll splitting for low regularity Riemannian metrics 4NHKQN4FP5

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

Mentions

arxiv: arXiv 2406.06762#HW7K, Cheeger-Gromoll splitting for low regularity Riemannian metrics (statement). In J99PFFJXPE/e1, theorem 1.1

History

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

Square tiling 4NHKSVFPTP

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

Mentions

wikipedia: Wikipedia List of Euclidean uniform tilings#YB8B, Square tiling (object)

History

2026-11-02: add by m2/dev

4NHNZJ27TT 4NHNZJ27TT

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

Mentions

arxiv: arXiv 2609.33231#7C2Z (definition). In WPDRT63QNW/e1, definition 4.4

History

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

4NHP6QR2R3 4NHP6QR2R3

URI	`m2://inv/4NHP6QR2R3`
Kind	statement
Layer	research
MSC	01-XX, 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.06338#QKVL (statement). In F1CYVYK7YB/e1, theorem 3.1

History

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

Neo-Hookean solid 4NHQ99ZR5D

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

Mentions

wikipedia: Wikipedia Neo-Hookean solid, Neo-Hookean solid (definition). Also Wikidata Q6991734

History

2026-11-02: add by m2/dev

4NJ4STZYEM 4NJ4STZYEM

URI	`m2://inv/4NJ4STZYEM`
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.30203#SWJY (statement)

History

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

Methods engineering 4NJ5AJK47T

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

Mentions

wikipedia: Wikipedia Methods engineering, Methods engineering (definition). Also Wikidata Q6823864

History

2026-11-02: add by m2/dev

4NJMC7A0A3 4NJMC7A0A3

URI	`m2://inv/4NJMC7A0A3`
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.15367#AQJT (statement). In 9AFZ1S368G/e1, theorem 3.1

History

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

4NJPMT8CSP 4NJPMT8CSP

URI	`m2://inv/4NJPMT8CSP`
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 2610.18894#2FTQ (statement). In TJ8B49K7F1/e1, lemma 2.2

History

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

4NJPQ086MT 4NJPQ086MT

URI	`m2://inv/4NJPQ086MT`
Kind	statement
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#B61V (statement)

History

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

Examples 4NJSYSV7P4

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

Mentions

wikipedia: Wikipedia Variable (mathematics)#80GY, Examples (example)

History

2026-11-02: add by m2/dev

The lamp channel at the rank rate 4NJW5SEEBZ

URI	`m2://inv/4NJW5SEEBZ`
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.04271#BBXG, The lamp channel at the rank rate (statement). In WBXAW9G4JB/e1, corollary 12.3

History

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

Harvey Milk 4NJXZ8B68E

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

Mentions

wikipedia: Wikipedia List of actuaries#Z3UA, Harvey Milk (unknown)

History

2026-11-02: add by m2/dev

Subdifferential 4NK5GZF394

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

Mentions

arxiv: arXiv 2610.17519#JC9N, Subdifferential (definition). In H2DNTQ5MKV/e1, definition 2.7

History

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

4NK83R03VW 4NK83R03VW

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

Mentions

arxiv: arXiv 2609.34289#ANHV (statement). In 9RBATD2Z1F/e1, theorem 4.2

History

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

4NKFQ17DD8 4NKFQ17DD8

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

Mentions

arxiv: arXiv 0806.0678#XBP7 (statement). In 5RMV7VP13X/e1, proposition 3.2

History

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

Voigt notation 4NKPAA1YRQ

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

Mentions

wikipedia: Wikipedia Voigt notation, Voigt notation (definition). Also Wikidata Q1411409

History

2026-11-02: add by m2/dev

4NKPAM7MQD 4NKPAM7MQD

URI	`m2://inv/4NKPAM7MQD`
Kind	definition
Layer	research
MSC	54-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.24545#DA03 (definition)

History

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

4NKTSD9HSC 4NKTSD9HSC

URI	`m2://inv/4NKTSD9HSC`
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#MAFA (statement). In E7W2HDNEKJ/e1, theorem 9.3

History

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

The $\mathcal H$-spectrum of $L^mR^m$ 4NKX16YHRR

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

Mentions

arxiv: arXiv 2610.18512#8B4C, The $\mathcal H$-spectrum of $L^mR^m$ (statement). In 11JNM66Z09/e1, proposition 11.1

History

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

Normalization of the complete short-root matrix 4NKYG69FQ7

URI	`m2://inv/4NKYG69FQ7`
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.20994#GMYH, Normalization of the complete short-root matrix (statement). In E90KYMVZMR/e1, lemma 4.2

History

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

Vila Nova de Milfontes 4NM0KTN99K

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

Mentions

wikipedia: Wikipedia List of places with numeric names#1SCZ, Vila Nova de Milfontes (unknown)

History

2026-11-02: add by m2/dev

4NM0Q7KMSP 4NM0Q7KMSP

URI	`m2://inv/4NM0Q7KMSP`
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.06810#469G (statement). In 1NY2SA03XF/e1, proposition 4.5

History

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

4NM2FF3M0H 4NM2FF3M0H

URI	`m2://inv/4NM2FF3M0H`
Kind	statement
Layer	research
MSC	20-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.40290#9HAY (statement). In 4K1CNBYJHF/e1, proposition 4.2

History

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

Formal definition 4NM9TNJ2NN

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

Mentions

wikipedia: Wikipedia Powerful p-group#1YEZ, Formal definition (definition)

History

2026-11-02: add by m2/dev

4NMAWZV0QJ 4NMAWZV0QJ

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

Mentions

napkin: napkin tex/alg-geom/proj-var.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 23.5

History

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

Circular coloring 4NMBBZMVCY

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

Mentions

wikipedia: Wikipedia Circular coloring, Circular coloring (definition). Also Wikidata Q5121656

History

2026-11-02: add by m2/dev

Cap set 4NMBYD43W1

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

Mentions

wikipedia: Wikipedia Cap set, Cap set (definition). Also Wikidata Q28455422

History

2026-11-02: add by m2/dev

4NMN9YJF4S 4NMN9YJF4S

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

Mentions

hott_book: hott_book basics.tex#proof-25 (proof). In N54F33XE07, proof, section 1.7

History

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

Ruth Stokes 4NMNC46NVH

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

Mentions

wikipedia: Wikipedia Ruth Stokes, Ruth Stokes (topic). Also Wikidata Q102198350

History

2026-11-02: add by m2/dev

4NMTR0Z1BS 4NMTR0Z1BS

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

Mentions

arxiv: arXiv 2609.28489#WTTO (definition)

History

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

Spectral theorem 4NN17E2N02

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

Mentions

wikipedia: Wikipedia Compact operator on Hilbert space#G1QH, Spectral theorem (statement)

History

2026-11-02: add by m2/dev

Properties 4NN5ZRSX52

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

Mentions

wikipedia: Wikipedia Mean absolute difference#UDQB, Properties (statement)

History

2026-11-02: add by m2/dev

Substitution Preserves Judgments 4NN8DQT8HZ

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

Mentions

arxiv: arXiv 2610.21131#O1ZS, Substitution Preserves Judgments (statement). In CPYWHRTPKC/e1, lemma 4.7

History

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

Volcano plot 4NNAE9XG6J

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

Mentions

wikipedia: Wikipedia Volcano plot (statistics), Volcano plot (definition). Also Wikidata Q7940074

History

2026-11-02: add by m2/dev

Bernstein, Sergei Natanovich 4NNDAJQCEE

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

Mentions

wikipedia: Wikipedia List of Ukrainian mathematicians#KQCX, Bernstein, Sergei Natanovich (topic)

History

2026-11-02: add by m2/dev

4NNGXA530P 4NNGXA530P

URI	`m2://inv/4NNGXA530P`
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.14988#YBX9 (statement). In B29M4E6KGC/e1, lemma G.3

History

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

4NNKFN0V87 4NNKFN0V87

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

Mentions

arxiv: arXiv 2609.28141#BN6Y (definition)

History

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

Cannon's conjecture 4NNMDRJ4K2

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

Mentions

wikipedia: Wikipedia Finite subdivision rule#8VMJ, Cannon's conjecture (statement)

History

2026-11-02: add by m2/dev

cribbage 4NNS39M7QH

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

Mentions

wikidata: Wikidata Q1139885, cribbage (unknown). Also MathWorld Cribbage

History

2026-10-26: add by m2/dev

4NP513AB1B 4NP513AB1B

URI	`m2://inv/4NP513AB1B`
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.18555#4JOF (statement). In JPR62EY6A5/e1, lemma 5

History

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

Planar algebra 4NP7GA8Z85

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

Mentions

wikipedia: Wikipedia List of knot theory topics#C4RR, Planar algebra (definition)

History

2026-11-02: add by m2/dev

Linear independence 4NPH7A56A9

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#G85Y, Linear independence (definition)

History

2026-11-02: add by m2/dev

Pareto order 4NPR22VPAQ

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

Mentions

wikipedia: Wikipedia Pareto efficiency#BDIK, Pareto order (unknown)

History

2026-11-02: add by m2/dev

J. Nielson 4NPSG3XBAZ

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

Mentions

wikipedia: Wikipedia List of group theory topics#PK0T, J. Nielson (topic)

History

2026-11-02: add by m2/dev

Hurewicz 4NPXA5DG94

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#2W8G, Hurewicz (definition)

History

2026-11-02: add by m2/dev

4NQCGP23DG 4NQCGP23DG

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

Mentions

hott_book: hott_book setmath.tex#proof-41 (proof). In N54F33XE07, proof, section C.5

History

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

representation 4NQDCPBEMC

URI	`m2://inv/4NQDCPBEMC`
Kind	definition
Layer	textbook
MSC	17B10
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q2905654, representation (topic)
wikipedia: Wikipedia Representation (mathematics), Representation (definition). Also Wikidata Q2905654

History

2026-10-26: add by m2/dev

Theorem 4NQK6Q4TV5

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

Mentions

wikipedia: Wikipedia Self-adjoint operator#60X2, Theorem (statement)

History

2026-11-02: add by m2/dev

4NQRTTW662 4NQRTTW662

URI	`m2://inv/4NQRTTW662`
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.34066#EMOO (statement). In F0Y3DZCEH0/e1, proposition 2.3

History

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

4NQV0610VT 4NQV0610VT

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

Mentions

arxiv: arXiv 1911.06467#AWY4 (problem). In G35G1NJKBX/e1, problem 8.1

History

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

Pseudocylindrical 4NR5QN4W8N

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

Mentions

wikipedia: Wikipedia Map projection#E551, Pseudocylindrical (unknown)

History

2026-11-02: add by m2/dev

Hebbian rule 4NR6579BHV

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

Mentions

wikidata: Wikidata Q1277874, Hebbian rule (unknown). Also EoM Hebb_rule
wikipedia: Wikipedia Hebbian theory, Hebbian theory (definition). Also Wikidata Q1277874

History

2026-10-26: add by m2/dev

Strict terminal inflation 4NR81DF2PE

URI	`m2://inv/4NR81DF2PE`
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#QFFA, Strict terminal inflation (statement). In 9YAE8FNQST/e1, corollary 17.25

History

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

Parabolic scale allocation at fixed depth 4NRDCSV4R8

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

Mentions

arxiv: arXiv 2610.16094#N64M, Parabolic scale allocation at fixed depth (statement). In RHBS9QDHC3/e1, lemma 4.8

History

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

\tc{Serial 4NRF5V1MZ9

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

Mentions

arxiv: arXiv 2609.36279#YTNW, \tc{Serial (statement). In HX1QA0MJYV/e1, lemma 9

History

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

4NRGTS60WF 4NRGTS60WF

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

Mentions

arxiv: arXiv 2609.23605#ATJX (statement)

History

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

Kervaire invariant 4NRP8G5R5G

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#4M3N, Kervaire invariant (definition)

History

2026-11-02: add by m2/dev

4NRPNS03MC 4NRPNS03MC

URI	`m2://inv/4NRPNS03MC`
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 2006.12475#AYGX (statement). In 8YWBGQQGA3/e1, proposition 4

History

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

rectification 4NRQN153W9

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

Mentions

wikidata: Wikidata Q4967193, rectification (unknown). Also MathWorld Rectification
wikipedia: Wikipedia Rectification (geometry), Rectification (definition). Also Wikidata Q4967193

History

2026-10-26: add by m2/dev

A running $\text{MAPH}_{4,3}$ model 4NRSCGJSR2

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

Mentions

arxiv: arXiv 2609.19921#2EMN, A running $\text{MAPH}_{4,3}$ model (example)

History

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

Borel fixed-point theorem 4NRT4HPZR2

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

Mentions

mathlib_1000: mathlib_1000 Q4944908, Borel fixed-point theorem (statement). Also Wikidata Q4944908
thousand_plus: thousand_plus Q4944908, Borel fixed-point theorem (statement). Also Wikidata Q4944908, Wikipedia Borel fixed-point theorem
wikipedia: Wikipedia Borel fixed-point theorem, Borel fixed-point theorem (statement). Also Wikidata Q4944908

History

2026-10-26: add by m2/dev

Hypergraph container lemma 4NRVCM9C29

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

Mentions

wikipedia: Wikipedia Container method#522I, Hypergraph container lemma (statement)

History

2026-11-02: add by m2/dev

Parametric model 4NRX1P4ZNB

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

Mentions

wikipedia: Wikipedia List of statistics articles#D18C, Parametric model (definition)

History

2026-11-02: add by m2/dev

4NRYNWDERM 4NRYNWDERM

URI	`m2://inv/4NRYNWDERM`
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.13913#78HW (statement). In BW5GVH97JE/e1, proposition 3.14

History

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

Archimedes' ostomachion 4NRYPCFTG2

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

Mentions

wikipedia: Wikipedia List of things named after Archimedes#ZG3S, Archimedes' ostomachion (definition)

History

2026-11-02: add by m2/dev

4NS0PRZFD3 4NS0PRZFD3

URI	`m2://inv/4NS0PRZFD3`
Kind	example
Layer	research
MSC	05-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 2609.25983#F58T (example)

History

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

4NS544C015 4NS544C015

URI	`m2://inv/4NS544C015`
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.30771#7P1X (statement). In PQ5117EYN3/e1, theorem 2

History

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

Hurwitz matrix and the Hurwitz stability criterion 4NS6YC8FSF

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

Mentions

wikipedia: Wikipedia Routh–Hurwitz matrix#N3XH, Hurwitz matrix and the Hurwitz stability criterion (statement)

History

2026-11-02: add by m2/dev

Subalternation 4NS84S0B3P

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

Mentions

wikipedia: Wikipedia Subalternation, Subalternation (definition). Also Wikidata Q17121885

History

2026-11-02: add by m2/dev

Landweber exact functor theorem 4NSBA7QQVD

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

Mentions

wikipedia: Wikipedia List of theorems#GZXR, Landweber exact functor theorem (statement)

History

2026-11-02: add by m2/dev

4NSDE7V28Q 4NSDE7V28Q

URI	`m2://inv/4NSDE7V28Q`
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 1806.05002#0TBD (statement). In JBAQ7DTW7B/e1, lemma 17.2

History

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

4NSGW2DE3Q 4NSGW2DE3Q

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#prop:contiscont (statement). In E59CDZA4DP, prop, section 4.5.1

History

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

type, $n$-sphere 4NSTCQZ07T

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

Mentions

hott_book: hott_book index/7.6/type-n-sphere, type, $n$-sphere (concept). In N54F33XE07, index, section 7.6

History

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

Quantitative remainder estimate on a slice 4NT2AFPQQP

URI	`m2://inv/4NT2AFPQQP`
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.18350#WVKO, Quantitative remainder estimate on a slice (statement). In A20E8FZS21/e1, theorem 5.1

History

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

4NT3A54AX5 4NT3A54AX5

URI	`m2://inv/4NT3A54AX5`
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.20316#OW5T (statement). In YRJS76169Z/e1, lemma 4.4

History

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

4NT6HNKSBT 4NT6HNKSBT

URI	`m2://inv/4NT6HNKSBT`
Kind	definition
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.25409#HJL8 (definition)

History

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

Lieb's theorem 4NTESXW6P4

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

Mentions

wikipedia: Wikipedia Trace inequality#7CZ2, Lieb's theorem (statement)

History

2026-11-02: add by m2/dev

Explicit lossless rank extractors 4NTKDXYVCM

URI	`m2://inv/4NTKDXYVCM`
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.32834#J2YS, Explicit lossless rank extractors (statement). In N4M6B8EMCW/e1, corollary 4.9

History

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

Quotienting a flagged witness 4NTP37NWSH

URI	`m2://inv/4NTP37NWSH`
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.40252#WVC6, Quotienting a flagged witness (statement). In 7MVPNFPRKB/e1, lemma 3.5

History

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

Liouville's theorem 4NTP3C92SZ

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

Mentions

mathlib_1000: mathlib_1000 Q766722, Liouville's theorem (statement). Also Wikidata Q766722
thousand_plus: thousand_plus Q766722, Liouville's theorem (statement). Also Wikidata Q766722, Wikipedia Liouville's theorem (Hamiltonian)
wikipedia: Wikipedia Liouville's theorem (Hamiltonian), Liouville's theorem (statement). Also Wikidata Q766722

History

2026-10-26: add by m2/dev

Shizuo Kakutani 4NV3CWKRA2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#RT5E, Shizuo Kakutani (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BTFP, Shizuo Kakutani (topic)

History

2026-11-02: add by m2/dev

Boris Trakhtenbrot 4NV59J0003

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#P5BO, Boris Trakhtenbrot (topic)

History

2026-11-02: add by m2/dev

4NV8RRXP50 4NV8RRXP50

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

Mentions

arxiv: arXiv math/0512416#2VOP (statement). In WJD9YPGGYH/e1, lemma 8.3

History

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

Juan 4NVB3SBWRZ

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

Mentions

wikipedia: Wikipedia List of twin teammates in sports#YXDZ, Juan (unknown)

History

2026-11-02: add by m2/dev

Dirichlet CG approximation with mutation 4NVJPHQMT4

URI	`m2://inv/4NVJPHQMT4`
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.02669#2Y12, Dirichlet CG approximation with mutation (statement). In NSBSWH6XB4/e1, corollary 3.10

History

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

4NVM2AQSW9 4NVM2AQSW9

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

Mentions

applied_combinatorics: applied_combinatorics source/s_recurrence_rigorous.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 9.5.2

History

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

Ptolemy inequality for mixed $Q$-coefficients 4NVMTX1NWP

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

Mentions

arxiv: arXiv 2609.29877#NRVV, Ptolemy inequality for mixed $Q$-coefficients (statement)

History

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

Ornstein isomorphism theorem 4NVRTVCGNH

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

Mentions

wikipedia: Wikipedia Bernoulli scheme#8668, Ornstein isomorphism theorem (statement)

History

2026-11-02: add by m2/dev

Another non-holomorphic form: $\ol z \cdot dz$ 4NVSDWEQVK

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

Mentions

napkin: napkin tex/riemann-surface/forms.tex#example-4, Another non-holomorphic form: $\ol z \cdot dz$ (example). In RZP28ERRZV, example, section 84.2

History

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

Markov process 4NVV60M0MK

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

Mentions

wikipedia: Wikipedia List of statistics articles#YXNE, Markov process (definition)
wikipedia: Wikipedia List of probability topics#29YO, Markov process (definition)

History

2026-11-02: add by m2/dev

Scott Vanstone 4NW5P167SH

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

Mentions

wikipedia: Wikipedia List of cryptographers#U6HT, Scott Vanstone (unknown)

History

2026-11-02: add by m2/dev

4NW61ZZQWM 4NW61ZZQWM

URI	`m2://inv/4NW61ZZQWM`
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 2401.00191#SOSY (statement). In ZMH2KJDAWJ/e1, theorem 2.2

History

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

Coupled stochastic Lyapunov descent 4NWAEJQZDA

URI	`m2://inv/4NWAEJQZDA`
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.18428#7HKZ, Coupled stochastic Lyapunov descent (statement). In 6BGSQT7SV8/e1, theorem 4.3

History

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

4NWC2VXTWH 4NWC2VXTWH

URI	`m2://inv/4NWC2VXTWH`
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.26713#F5SU (statement)

History

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

4NWF17ES3Q 4NWF17ES3Q

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

Mentions

arxiv: arXiv 2609.33162#S0OI (statement). In RPC7VG3KHQ/e1, theorem 4.12

History

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

Weibull distribution 4NWG63AYHP

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

Mentions

wikidata: Wikidata Q732332, Weibull distribution (unknown). Also MathWorld WeibullDistribution
wikipedia: Wikipedia Weibull distribution, Weibull distribution (definition). Also Wikidata Q732332

History

2026-10-26: add by m2/dev

4NWGSHP4F7 4NWGSHP4F7

URI	`m2://inv/4NWGSHP4F7`
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.25301#BXRW (definition)

History

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

4NWQN0WTMC 4NWQN0WTMC

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

Mentions

applied_combinatorics: applied_combinatorics source/s_polya_perm-groups.ptx#example-1 (example). In QKM9DD2H56, example, section 15.2.1

History

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

4NX8BQ5HGQ 4NX8BQ5HGQ

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#problem-6 (exercise). In P1C114YBXG, problem, section A

History

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

Liability scale threshold model 4NXAG74FTA

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

Mentions

wikipedia: Wikipedia Threshold model#5XPA, Liability scale threshold model (unknown)

History

2026-11-02: add by m2/dev

Paula Norwood 4NXJCST5EF

URI	`m2://inv/4NXJCST5EF`
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#OIHK, Paula Norwood (topic)

History

2026-11-02: add by m2/dev

ACC0 4NXK9M0MRA

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

Mentions

wikipedia: Wikipedia ACC0, ACC0 (definition). Also Wikidata Q4650523

History

2026-11-02: add by m2/dev

4NXPFSDECV 4NXPFSDECV

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

Mentions

arxiv: arXiv 2610.03208#X1XX (statement). In A3CMP0TJK2/e1, theorem 4.2

History

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

Lester's theorem 4NXSXW4147

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

Mentions

mathlib_1000: mathlib_1000 Q1631749, Lester's theorem (statement). Also Wikidata Q1631749
thousand_plus: thousand_plus Q1631749, Lester's theorem (statement). Also Wikidata Q1631749, Wikipedia Lester's theorem
wikidata: Wikidata Q1631749, Lester's theorem (statement). Also MathWorld LesterCircle
wikipedia: Wikipedia Lester's theorem, Lester's theorem (statement). Also Wikidata Q1631749

History

2026-10-26: add by m2/dev

Definition 4NXV2VA1XY

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

Mentions

wikipedia: Wikipedia Qualitative psychological research#XAF4, Definition (definition)

History

2026-11-02: add by m2/dev

Examples 4NXW2N6TXJ

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

Mentions

wikipedia: Wikipedia Vertex separator#D28T, Examples (example)

History

2026-11-02: add by m2/dev

Finite mixing time for a fixed policy 4NXZ8K3V05

URI	`m2://inv/4NXZ8K3V05`
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.04117#1M5H, Finite mixing time for a fixed policy (statement). In 65E9N3DFYP/e1, lemma E.1

History

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

4NXZHRJW29 4NXZHRJW29

URI	`m2://inv/4NXZHRJW29`
Kind	definition
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.33018#L9L5 (definition). In 8XVS0QJ2AH/e1, definition 33

History

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

4NY0YJHX1N 4NY0YJHX1N

URI	`m2://inv/4NY0YJHX1N`
Kind	conjecture
Layer	research
MSC	05-XX, 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.03730#BAWR (conjecture). In 5YE2W9BE0M/e1, conjecture 2

History

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

4NYGKJ648X 4NYGKJ648X

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/soundness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 50.12

History

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

Thurston conjecture on aspherical manifolds (extension of Hopf's conjecture) 4NYJ8EYJ4Z

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

Mentions

wikipedia: Wikipedia Hopf conjectures#J2NS, Thurston conjecture on aspherical manifolds (extension of Hopf's conjecture) (statement)

History

2026-11-02: add by m2/dev

Example 4NYPEXEG43

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

Mentions

wikipedia: Wikipedia Schmidt decomposition#BOA8, Example (example)

History

2026-11-02: add by m2/dev

Paul Halmos 4NYQB8XXPC

URI	`m2://inv/4NYQB8XXPC`
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 Q370085, Paul Halmos (unknown). Also ProofWiki Mathematician:Paul_Halmos
wikipedia: Wikipedia Paul Halmos, Paul Halmos (topic). Also Wikidata Q370085

History

2026-10-26: add by m2/dev

4NYRJMKCAE 4NYRJMKCAE

URI	`m2://inv/4NYRJMKCAE`
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.21692#0D3H (statement)

History

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

Sharp four exponentials conjecture 4NYY1S5JFK

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

Mentions

wikipedia: Wikipedia Four exponentials conjecture#F5ZJ, Sharp four exponentials conjecture (statement)

History

2026-11-02: add by m2/dev

Sazonov's theorem 4NZ17YA1KV

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

Mentions

mathlib_1000: mathlib_1000 Q4455023, Sazonov's theorem (statement). Also Wikidata Q4455023
thousand_plus: thousand_plus Q4455023, Sazonov's theorem (statement). Also Wikidata Q4455023, Wikipedia Sazonov's theorem
wikipedia: Wikipedia Sazonov's theorem, Sazonov's theorem (statement). Also Wikidata Q4455023

History

2026-10-26: add by m2/dev

Giovanni Parmigiani 4NZ6HEB0S4

URI	`m2://inv/4NZ6HEB0S4`
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#NUNR, Giovanni Parmigiani (topic)

History

2026-11-02: add by m2/dev

4NZAHXT2PP 4NZAHXT2PP

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

Mentions

arxiv: arXiv 2411.00562#MGV4 (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm

History

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

Comparison of the feasible and oracle windows 4NZCV9BWAJ

URI	`m2://inv/4NZCV9BWAJ`
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.08766#MGA0, Comparison of the feasible and oracle windows (statement). In QA4JM9SHPA/e1, lemma C.1

History

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

Geometric spanner 4NZKS0X0X8

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

Mentions

wikipedia: Wikipedia Geometric spanner, Geometric spanner (definition). Also Wikidata Q5535497

History

2026-11-02: add by m2/dev

fundamental system of solutions 4NZM4AFMRV

URI	`m2://inv/4NZM4AFMRV`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Fundamental system of solutions 0DS2QFYJHE

Mentions

wikidata: Wikidata Q15936047, fundamental system of solutions (unknown). Also EoM Fundamental_system_of_solutions

History

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

4NZRPWACD9 4NZRPWACD9

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-72 (exercise). In E9HS8K3A52, exercise, section 7.5.1

History

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

Rodica Simion 4NZX7DR16E

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#KWB3, Rodica Simion (unknown)

History

2026-11-02: add by m2/dev