Inventory rows 28

Corollary 2800CCVMKY

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

Mentions

wikipedia: Wikipedia Loop theorem#PLRI, Corollary (statement)

History

2026-11-02: add by m2/dev

280AHY4PGA 280AHY4PGA

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

Mentions

arxiv: arXiv 2610.17411#JR8A (statement). In 73QW05MWQB/e1, lemma 5.5

History

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

p-value 280VNNSJMB

URI	`m2://inv/280VNNSJMB`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	P-value 0EHYZFZ4PK

Mentions

wikidata: Wikidata Q253255, p-value (unknown). Also MathWorld P-Value
wikipedia: Wikipedia P-value, P-value (definition). Also Wikidata Q253255

History

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

metatheorem 280WH217EE

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

Mentions

wikidata: Wikidata Q2384512, metatheorem (unknown). Also MathWorld Metatheorem
wikipedia: Wikipedia Metatheorem, Metatheorem (definition). Also Wikidata Q2384512

History

2026-10-26: add by m2/dev

The Taming of Chance 280XRY5MWH

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

Mentions

wikipedia: Wikipedia The Taming of Chance, The Taming of Chance (definition). Also Wikidata Q17029250

History

2026-11-02: add by m2/dev

2811AQSFWB 2811AQSFWB

URI	`m2://inv/2811AQSFWB`
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#PJ4F (definition). In FWA5QW6FCF/e1, definition 4.7

History

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

2819QB9FJ9 2819QB9FJ9

URI	`m2://inv/2819QB9FJ9`
Kind	example
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.37704#EEGO (example). In HGTFJ325A4/e1, example 8.1

History

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

acyclic object 281DTF3990

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

Mentions

wikidata: Wikidata Q4677987, acyclic object (unknown). Also nLab acyclic object
wikipedia: Wikipedia Acyclic object, Acyclic object (definition). Also Wikidata Q4677987

History

2026-10-26: add by m2/dev

Properties 281DYK6PXR

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

Mentions

wikipedia: Wikipedia Littelmann path model#NRNM, Properties (statement)

History

2026-11-02: add by m2/dev

natural transformation 281ENDTYGR

URI	`m2://inv/281ENDTYGR`
Kind	definition
Layer	textbook
Sources	3
Outcome	open
Node	Natural transformation KYCPCC57FT

Mentions

mathlib_overview: mathlib_overview General algebra > Category theory > natural transformation, natural transformation (unknown). Also Mathlib CategoryTheory.NatTrans
wikidata: Wikidata Q1442189, natural transformation (definition). Also EoM Functorial_morphism, Mathlib CategoryTheory.NatTrans, MathWorld NaturalTransformation, nLab natural transformation, ProofWiki Definition:Natural_Transformation
wikipedia: Wikipedia Natural transformation, Natural transformation (definition). Also Wikidata Q1442189

History

2026-10-26: add by m2/dev

Boundary vanishing of spectral projection diagonals 281KYYCT90

URI	`m2://inv/281KYYCT90`
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.08011#L6QD, Boundary vanishing of spectral projection diagonals (statement). In K0BXT951HT/e1, theorem 2.2

History

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

General topology 281MF9DMED

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#W4O0, General topology (definition)

History

2026-11-02: add by m2/dev

281V3EJ7B1 281V3EJ7B1

URI	`m2://inv/281V3EJ7B1`
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 2609.35001#C6R6 (statement). In 1PN6NESQER/e1, theorem 2.7

History

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

Proposition 281WBD94D3

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

Mentions

wikipedia: Wikipedia Product category#I30X, Proposition (statement)

History

2026-11-02: add by m2/dev

Example 281XBAA4T8

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

Mentions

wikipedia: Wikipedia Risk aversion#DGHA, Example (example)

History

2026-11-02: add by m2/dev

28223D6FC8 28223D6FC8

URI	`m2://inv/28223D6FC8`
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 2404.06445#05MP (statement). In 12JKZ8EN52/e1, corollary 7.2

History

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

Geometric Exercises in Paper Folding 2824HVX2BV

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

Mentions

wikipedia: Wikipedia Geometric Exercises in Paper Folding, Geometric Exercises in Paper Folding (definition). Also Wikidata Q96379187

History

2026-11-02: add by m2/dev

Giovanni Vailati 2824X7RC45

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#EJUK, Giovanni Vailati (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GRFW, Giovanni Vailati (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GZJB, Giovanni Vailati (topic)

History

2026-11-02: add by m2/dev

2825T1NQS0 2825T1NQS0

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

Mentions

arxiv: arXiv 2609.33469#Z0W2 (statement). In TC5QA4AB4Z/e1, corollary 4.28

History

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

CMAP and weak exactness 282QA5EK9Z

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

Mentions

arxiv: arXiv 2610.22109#46DO, CMAP and weak exactness (statement). In MZ60NP20BH/e1, corollary 4.12

History

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

Default logic 282SABATPX

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

Mentions

wikipedia: Wikipedia Default logic, Default logic (definition). Also Wikidata Q842421

History

2026-11-02: add by m2/dev

Jerry Balmuth 282V0GRQRC

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

Mentions

wikipedia: Wikipedia Jerry Balmuth, Jerry Balmuth (topic). Also Wikidata Q16841212

History

2026-11-02: add by m2/dev

List of countries by past and projected future population 282WTDES2S

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

Mentions

wikipedia: Wikipedia List of countries by past and projected future population, List of countries by past and projected future population (topic). Also Wikidata Q2363479

History

2026-11-02: add by m2/dev

282X9CF16A 282X9CF16A

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

Mentions

arxiv: arXiv 2610.13869#I6KF (definition). In AM0K62YRZ3/e1, definition C

History

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

2838698DWV 2838698DWV

URI	`m2://inv/2838698DWV`
Kind	example
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.28265#YUH5 (example)

History

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

Van 't Hoff equation 283ANJE142

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

Mentions

wikipedia: Wikipedia Van 't Hoff equation, Van 't Hoff equation (object). Also Wikidata Q574862

History

2026-11-02: add by m2/dev

283E5NFJHE 283E5NFJHE

URI	`m2://inv/283E5NFJHE`
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.11336#1FQA (statement). In X1R1GDAJ0Y/e1, corollary 2.13

History

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

283EY8AC99 283EY8AC99

URI	`m2://inv/283EY8AC99`
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 2605.29624#0Q7X (statement). In TAD5A4R089/e1, proposition 2.1

History

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

283GWFES4S 283GWFES4S

URI	`m2://inv/283GWFES4S`
Kind	statement
Layer	research
MSC	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 2603.07541#A2B3 (statement). In X3RFXWN6FW/e1, theorem B

History

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

Hohmann transfer orbit 283MHXQGFX

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

Mentions

wikipedia: Wikipedia Hohmann transfer orbit, Hohmann transfer orbit (definition). Also Wikidata Q723861

History

2026-11-02: add by m2/dev

Better-quasi-ordering 283MNS3JSB

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

Mentions

wikipedia: Wikipedia Better-quasi-ordering, Better-quasi-ordering (definition). Also Wikidata Q4898424

History

2026-11-02: add by m2/dev

Chandrashekar Devchand 283N2GJPSQ

URI	`m2://inv/283N2GJPSQ`
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 Q78040124, Chandrashekar Devchand (unknown). Also nLab Chandrashekar Devchand

History

2026-10-26: add by m2/dev

Colin Howson 283R4BM0V3

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

Mentions

wikipedia: Wikipedia Colin Howson, Colin Howson (topic). Also Wikidata Q5145213

History

2026-11-02: add by m2/dev

Discrete energy estimate 283SSTZ59J

URI	`m2://inv/283SSTZ59J`
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.36141#S05L, Discrete energy estimate (statement). In F1WNDBMKSZ/e1, corollary 2.1

History

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

Variations of constants formula 283VP0QHCE

URI	`m2://inv/283VP0QHCE`
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 2202.02831#N56V, Variations of constants formula (statement). In YA5DBTQCB1/e1, lemma 3.1

History

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

second radiation constant 283WF1NBMM

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

Mentions

wikidata: Wikidata Q112300321, second radiation constant (definition). Also ProofWiki Definition:Second_Radiation_Constant

History

2026-10-26: add by m2/dev

283WZ56BPA 283WZ56BPA

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

Mentions

arxiv: arXiv 2610.13680#3J5U (unknown). In QNBFHFZ3H0/e1, unknown 109

History

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

Linear category 2848DKHSC3

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

Mentions

wikipedia: Wikipedia Preadditive category#BGOI, Linear category (unknown)

History

2026-11-02: add by m2/dev

284C5HDCHW 284C5HDCHW

URI	`m2://inv/284C5HDCHW`
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.14204#62AG (statement). In GZAY1Y12YD/e1, lemma 3.1

History

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

Leo Harrington 284M7AX3AE

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

Mentions

wikipedia: Wikipedia List of logicians#1ZYA, Leo Harrington (topic)

History

2026-11-02: add by m2/dev

Ruth Lawrence 284SA07HTB

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#H36M, Ruth Lawrence (topic)

History

2026-11-02: add by m2/dev

Roswitha Blind 284SZ8BCK3

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

Mentions

wikipedia: Wikipedia Roswitha Blind, Roswitha Blind (topic). Also Wikidata Q102172086

History

2026-11-02: add by m2/dev

Truncated mean 284V8HVW9B

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

Mentions

wikipedia: Wikipedia List of statistics articles#FNPP, Truncated mean (definition)

History

2026-11-02: add by m2/dev

\text{see 284XG1287K

URI	`m2://inv/284XG1287K`
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#J20F, \text{see (statement). In Q94QXG67CK/e1, theorem II.2

History

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

284YZH85RR 284YZH85RR

URI	`m2://inv/284YZH85RR`
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.21545#ETTZ (statement). In 1Q3H75330M/e1, lemma 2.7

History

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

Gauss Peninsula 284Z52WAAA

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

Mentions

wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#9OUL, Gauss Peninsula (unknown)

History

2026-11-02: add by m2/dev

Miles Menander Dawson 284Z5PCF06

URI	`m2://inv/284Z5PCF06`
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#2GMR, Miles Menander Dawson (unknown)
wikipedia: Wikipedia List of fellows of the American Statistical Association#Y8F8, Miles Menander Dawson (unknown)

History

2026-11-02: add by m2/dev

Examples 2850CPK7HB

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

Mentions

wikipedia: Wikipedia Negligible set#P93Q, Examples (example)

History

2026-11-02: add by m2/dev

Definition 2853A1DCWK

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

Mentions

wikipedia: Wikipedia Petersson inner product#G8YG, Definition (definition)

History

2026-11-02: add by m2/dev

Vasicek model 2853KQF423

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

Mentions

wikipedia: Wikipedia List of statistics articles#Y450, Vasicek model (definition)

History

2026-11-02: add by m2/dev

Demography 28547BREEJ

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

Mentions

wikipedia: Wikipedia Demography, Demography (topic). Also Wikidata Q37732

History

2026-11-02: add by m2/dev

excosecant 2854YNWKWF

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

Mentions

wikidata: Wikidata Q13631895, excosecant (unknown). Also MathWorld Excosecant

History

2026-10-26: add by m2/dev

Uniform formula and error bound 285C0MSVB6

URI	`m2://inv/285C0MSVB6`
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.05457#13S7, Uniform formula and error bound (statement). In SV36P5P5Z3/e1, theorem 5.2

History

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

Dowker–Thistlethwaite notation 285EWSQEZE

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

Mentions

wikipedia: Wikipedia List of knot theory topics#BEXS, Dowker–Thistlethwaite notation (definition)

History

2026-11-02: add by m2/dev

Fuhrmann triangle 285J2ZCVTD

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

Mentions

wikipedia: Wikipedia List of triangle topics#M15W, Fuhrmann triangle (definition)

History

2026-11-02: add by m2/dev

285KBC82PP 285KBC82PP

URI	`m2://inv/285KBC82PP`
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#LF5N (statement). In 47WN78VDDF/e1, lemma 3.21

History

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

285KNY336S 285KNY336S

URI	`m2://inv/285KNY336S`
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.35678#WIAF (statement). In 4X4ZS7CEKD/e1, corollary 3

History

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

Robustness under arbitrary dense puncturing 285XWM9R4E

URI	`m2://inv/285XWM9R4E`
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.15815#9TPC, Robustness under arbitrary dense puncturing (statement). In 9C75CTY5C3/e1, corollary 6.1

History

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

Properties 2860BGY9KN

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

Mentions

wikipedia: Wikipedia Rational set#KLPG, Properties (statement)

History

2026-11-02: add by m2/dev

Weyl law 2860WBDHNE

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

Mentions

wikipedia: Wikipedia Weyl law, Weyl law (statement). Also Wikidata Q7990330

History

2026-11-02: add by m2/dev

286301TKGV 286301TKGV

URI	`m2://inv/286301TKGV`
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.21339#40HU (statement)

History

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

286671K9KW 286671K9KW

URI	`m2://inv/286671K9KW`
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#BXST (definition). In B8MJT0GGW8/e1, definition 2.14

History

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

Morrison, Nir, Norin, Rz\k{a}\.zewski and Wesolek 2869HTA18X

URI	`m2://inv/2869HTA18X`
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.25038#DKUU, Morrison, Nir, Norin, Rz\k{a}\.zewski and Wesolek (statement)

History

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

286M5KXK9Q 286M5KXK9Q

URI	`m2://inv/286M5KXK9Q`
Kind	statement
Layer	research
MSC	11-XX, 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 2609.28514#PVX3 (statement)

History

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

286PACNAKP 286PACNAKP

URI	`m2://inv/286PACNAKP`
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.14616#JY1O (statement). In 17ACAG0N9C/e1, lemma 7.7

History

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

Contraction of Median Operator 28722T4VMT

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

Mentions

arxiv: arXiv 2610.08484#LG34, Contraction of Median Operator (statement). In C2HJ1CCJ0S/e1, lemma 6

History

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

2876FX7GEB 2876FX7GEB

URI	`m2://inv/2876FX7GEB`
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.19088#54F2 (statement). In 90QTB4CC31/e1, lemma 4.8

History

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

Properties 2878Z6E9VX

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

Mentions

wikipedia: Wikipedia Phylogenetic tree#TL32, Properties (statement)

History

2026-11-02: add by m2/dev

dominating 2879T5AD3W

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#NYEW, dominating (definition)

History

2026-11-02: add by m2/dev

287A81666D 287A81666D

URI	`m2://inv/287A81666D`
Kind	statement
Layer	research
MSC	05-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.33651#8MES (statement). In 69DBD2HKGK/e1, lemma 4.1

History

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

Bregman divergence 287BZBGJ5M

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

Mentions

wikipedia: Wikipedia Bregman divergence, Bregman divergence (definition). Also Wikidata Q4960382

History

2026-11-02: add by m2/dev

Abe Sklar 287C2YKESG

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

Mentions

wikipedia: Wikipedia Abe Sklar, Abe Sklar (topic). Also Wikidata Q14491904

History

2026-11-02: add by m2/dev

287EGVR4EB 287EGVR4EB

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_counting-trees.ptx#ex_prufer-code-reverse (example). In QKM9DD2H56, example, section 5.6

History

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

Heinz Hopf 287EVE7FMD

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#QVOW, Heinz Hopf (topic)

History

2026-11-02: add by m2/dev

287M9A8BHR 287M9A8BHR

URI	`m2://inv/287M9A8BHR`
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 2207.07461#UAY5 (statement). In GAG532VMPF/e1, theorem 8.1.3

History

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

Modulus $6$ 287P5J5MT1

URI	`m2://inv/287P5J5MT1`
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.37754#ID6U, Modulus $6$ (statement). In 3HPFAQKBEM/e1, corollary 9.3

History

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

287P76W3GZ 287P76W3GZ

URI	`m2://inv/287P76W3GZ`
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 2606.20229#W1JX (definition). In 1B85G2QJC2/e1, definition 7.1

History

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

Square cupola 2881J3T7SC

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#6JJY, Square cupola (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#X45D, Square cupola (definition)

History

2026-11-02: add by m2/dev

Gram-power exponential sum 2882H1T7BC

URI	`m2://inv/2882H1T7BC`
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.22107#1CE8, Gram-power exponential sum (statement). In SN5RJPQ713/e1, proposition 2.2

History

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

sober space 288K7WTJJV

URI	`m2://inv/288K7WTJJV`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Sober space 4N4DNDR22Z

Mentions

wikidata: Wikidata Q8778429, sober space (definition). Also nLab sober topological space, ProofWiki Definition:Sober_Space
wikipedia: Wikipedia Sober space, Sober space (definition). Also Wikidata Q8778429

History

2026-10-26: add by m2/dev

288P84HKH1 288P84HKH1

URI	`m2://inv/288P84HKH1`
Kind	statement
Layer	research
MSC	05-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 1012.0963#5X10 (statement). In TSA766V8F8/e1, lemma 3.2

History

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

arithmetic genus 288PQE77PF

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#N5KC, arithmetic genus (definition)

History

2026-11-02: add by m2/dev

288Q057G9R 288Q057G9R

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

Mentions

arxiv: arXiv 2610.10077#CQA5 (statement). In YA7H9PY3R1/e1, theorem 3.3

History

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

Two-moment criterion 288R5CS3SD

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

Mentions

arxiv: arXiv 2609.25027#4C08, Two-moment criterion (statement)

History

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

complex conjugate 288W6XS17X

URI	`m2://inv/288W6XS17X`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Complex conjugate 0BJV24C4SY

Mentions

wikidata: Wikidata Q381040, complex conjugate (unknown). Also EoM Complex_conjugate, MathWorld ComplexConjugate
wikipedia: Wikipedia Complex conjugate, Complex conjugate (definition). Also Wikidata Q381040

History

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

288XSE5N9N 288XSE5N9N

URI	`m2://inv/288XSE5N9N`
Kind	definition
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.18219#9VNA (definition). In X1AGBB90EH/e1, definition 5.4

History

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

288Y908PFG 288Y908PFG

URI	`m2://inv/288Y908PFG`
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.30165#SO5B (statement)

History

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

Line complex 288ZSB9P6K

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

Mentions

wikipedia: Wikipedia Line complex, Line complex (definition). Also Wikidata Q6553236

History

2026-11-02: add by m2/dev

Peano existence theorem 2890A9C5J3

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

Mentions

wikipedia: Wikipedia List of theorems#R3PK, Peano existence theorem (statement)

History

2026-11-02: add by m2/dev

Joint spectral radius 2891ETGDV6

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

Mentions

wikipedia: Wikipedia List of undecidable problems#6VD5, Joint spectral radius (unknown)

History

2026-11-02: add by m2/dev

Moral graph 2894VDVXEA

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

Mentions

wikipedia: Wikipedia Moral graph, Moral graph (definition). Also Wikidata Q3323718

History

2026-11-02: add by m2/dev

2899JCA0ER 2899JCA0ER

URI	`m2://inv/2899JCA0ER`
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.17677#0Q98 (statement). In 5E9G06XJKC/e1, proposition 3.8

History

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

2899VV591J 2899VV591J

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

Mentions

arxiv: arXiv 2610.06152#2Z5U (statement). In HH35K7S17H/e1, lemma 3.12

History

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

Monoclinic crystal system 289GG3HGJP

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

Mentions

wikipedia: Wikipedia Monoclinic crystal system, Monoclinic crystal system (definition). Also Wikidata Q624543

History

2026-11-02: add by m2/dev

289KC9ANZ6 289KC9ANZ6

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

Mentions

arxiv: arXiv 2609.23472#E2IQ (statement)

History

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

Genus–differentia definition 289VKH646K

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

Mentions

wikipedia: Wikipedia Genus–differentia definition, Genus–differentia definition (definition). Also Wikidata Q488677

History

2026-11-02: add by m2/dev

Generalised von Neumann 28A2V2HS7V

URI	`m2://inv/28A2V2HS7V`
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#75JT, Generalised von Neumann (statement). In JBAQ7DTW7B/e1, lemma C.3

History

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

28A6EKA8RY 28A6EKA8RY

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

Mentions

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

History

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

28A7E14S5H 28A7E14S5H

URI	`m2://inv/28A7E14S5H`
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 2306.08237#AMLW (statement). In E22A2MFR4Y/e1, lemma 5.5

History

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

London Mathematical Society 28AAY71C4W

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

Mentions

wikipedia: Wikipedia London Mathematical Society, London Mathematical Society (definition). Also Wikidata Q1810244

History

2026-11-02: add by m2/dev

28AE8C96W5 28AE8C96W5

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

Mentions

arxiv: arXiv 2402.17852#PNOF (definition). In 1WCXV5PVZA/e1, definition 2.1

History

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

Circular thresholding 28AQN67RDR

URI	`m2://inv/28AQN67RDR`
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#V8MG, Circular thresholding (unknown)

History

2026-11-02: add by m2/dev

Frank H. Berkshire 28AWGV28FY

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

Mentions

wikipedia: Wikipedia Frank H. Berkshire, Frank H. Berkshire (topic). Also Wikidata Q28542244

History

2026-11-02: add by m2/dev

Risk-neutral measure 28B2BYHQEJ

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

Mentions

wikipedia: Wikipedia Risk-neutral measure, Risk-neutral measure (definition). Also Wikidata Q1058362

History

2026-11-02: add by m2/dev

hybrid-free 28BCDQ9DE6

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

Mentions

arxiv: arXiv 2609.36279#K5O0, hybrid-free (definition). In HX1QA0MJYV/e1, definition 1

History

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

28BH2W7CQ4 28BH2W7CQ4

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

Mentions

arxiv: arXiv 2306.12846#QJQG (statement). In D6XA7JXZF3/e1, proposition 4.3

History

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

Boundary flux 28BQB4YQFV

URI	`m2://inv/28BQB4YQFV`
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.31811#4PXS, Boundary flux (statement). In A8ZBZW9RNA/e1, lemma 3.2

History

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

Igor Pruenster 28BV6K3P32

URI	`m2://inv/28BV6K3P32`
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#9H5A, Igor Pruenster (topic)

History

2026-11-02: add by m2/dev

28BXFHG0DQ 28BXFHG0DQ

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

Mentions

hott_book: hott_book homotopy.tex#proof-13 (proof). In N54F33XE07, proof, section 7.2

History

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

Boltzmann's entropy formula 28C2M44S36

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

Mentions

wikipedia: Wikipedia Boltzmann's entropy formula, Boltzmann's entropy formula (statement). Also Wikidata Q375553

History

2026-11-02: add by m2/dev

$RO(G)$-graded pre-Bott classes 28C2RAWKKC

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

Mentions

arxiv: arXiv 2610.21675#9B5V, $RO(G)$-graded pre-Bott classes (definition). In TB1294GY5X/e1, definition 5.11

History

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

*{Lemma 5 28C4MGH81J

URI	`m2://inv/28C4MGH81J`
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.03323#IERM, *{Lemma 5 (statement). In J1ZP57QWED/e1, lemma 4.1

History

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

28C4N8JMWK 28C4N8JMWK

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exr-cookie-counting (exercise). In Y91XFCEVHQ, exercise, section 2.7

History

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

Kaplan–Meier estimator 28CD9TENWS

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

Mentions

wikipedia: Wikipedia List of statistics articles#FA1C, Kaplan–Meier estimator (definition)

History

2026-11-02: add by m2/dev

Monotonicity 28CGQN1M0J

URI	`m2://inv/28CGQN1M0J`
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.40203#IVW4, Monotonicity (statement). In ECH66J4Y43/e1, lemma 2

History

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

Example 28CMHZFM76

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

Mentions

wikipedia: Wikipedia Forward chaining#C5YR, Example (example)

History

2026-11-02: add by m2/dev

28CV4XNTXW 28CV4XNTXW

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-220 (exercise). In VNMV985MXX, exercise, section 4.4

History

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

28CY4SSSXP 28CY4SSSXP

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

Mentions

arxiv: arXiv 2609.37739#P2KE (statement). In F5XF5VXTXY/e1, lemma 6.5

History

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

Nilanjan Chatterjee 28CZ2AQQXE

URI	`m2://inv/28CZ2AQQXE`
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#OB48, Nilanjan Chatterjee (unknown)

History

2026-11-02: add by m2/dev

Types of propositions 28CZN0N1XB

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

Mentions

wikipedia: Wikipedia Outline of logic#7RRQ, Types of propositions (statement)

History

2026-11-02: add by m2/dev

28D0ZRJGRX 28D0ZRJGRX

URI	`m2://inv/28D0ZRJGRX`
Kind	example
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#99RA (example). In QX77AN49J0/e1, example 7.4

History

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

Short-time Fourier transform 28D1KA0W44

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

Mentions

wikipedia: Wikipedia List of Fourier-related transforms#23FN, Short-time Fourier transform (definition)

History

2026-11-02: add by m2/dev

28D9A1GCYJ 28D9A1GCYJ

URI	`m2://inv/28D9A1GCYJ`
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.17589#V5JI (statement). In GSTK4569X1/e1, proposition 5.19

History

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

28DGQJJ4F2 28DGQJJ4F2

URI	`m2://inv/28DGQJJ4F2`
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.25912#5U7D (statement)

History

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

Definition 28DHBQZJ7X

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

Mentions

wikipedia: Wikipedia Residuated mapping#7M5P, Definition (definition)

History

2026-11-02: add by m2/dev

28DP3W38VX 28DP3W38VX

URI	`m2://inv/28DP3W38VX`
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 2304.09819#8VOV (statement). In FYKSPSVT37/e1, theorem 4.4

History

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

polytree 28DTVBSTWR

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#8R2D, polytree (definition)

History

2026-11-02: add by m2/dev

28DWES7KWF 28DWES7KWF

URI	`m2://inv/28DWES7KWF`
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.29918#QBN8 (statement)

History

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

28E0RMVS9H 28E0RMVS9H

URI	`m2://inv/28E0RMVS9H`
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.15472#R7Q4 (statement). In 5Z3FH46YSY/e1, lemma 4.3

History

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

28ECDK6629 28ECDK6629

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

Mentions

arxiv: arXiv 2609.37520#ERFK (statement). In BDN507RN7J/e1, theorem 4.1.21

History

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

28EK4MW21C 28EK4MW21C

URI	`m2://inv/28EK4MW21C`
Kind	definition
Layer	research
MSC	11-XX, 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 2610.11545#0F8A (definition). In VN084GGZGK/e1, definition 2.14

History

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

Triangle of partition numbers 28EV2YFEVR

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

Mentions

wikipedia: Wikipedia Triangle of partition numbers, Triangle of partition numbers (definition). Also Wikidata Q112160911

History

2026-11-02: add by m2/dev

28EV7Y0ZBW 28EV7Y0ZBW

URI	`m2://inv/28EV7Y0ZBW`
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 2501.02331#35I9 (statement). In N9J5DJCTJZ/e1, theorem 3

History

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

Robust pass@$1$ lower bound 28EZD69TWM

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

Mentions

arxiv: arXiv 2609.33291#DKJI, Robust pass@$1$ lower bound (statement). In HQN1Y9RP53/e1, theorem 2.6

History

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

Examples 28F0GFSBWF

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

Mentions

wikipedia: Wikipedia Amenable group#B6K5, Examples (example)

History

2026-11-02: add by m2/dev

dyad 28F6P5YSH5

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

Mentions

wikidata: Wikidata Q29431432, dyad (concept). Also nLab pair

History

2026-10-26: add by m2/dev

Properties 28F7G0B4DT

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

Mentions

wikipedia: Wikipedia Chromatic polynomial#61GZ, Properties (statement)

History

2026-11-02: add by m2/dev

28F7WQB57P 28F7WQB57P

URI	`m2://inv/28F7WQB57P`
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 2206.05392#9C4P (statement). In 58D1ZC82DW/e1, lemma 10

History

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

28FQNJVQYQ 28FQNJVQYQ

URI	`m2://inv/28FQNJVQYQ`
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.00789#C9YQ (definition). In 4WPYBTARS2/e1, definition 2.26

History

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

Definition 28FSJJBESF

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

Mentions

wikipedia: Wikipedia Stolarsky mean#W5M7, Definition (definition)

History

2026-11-02: add by m2/dev

28FSVW31BD 28FSVW31BD

URI	`m2://inv/28FSVW31BD`
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 1912.08672#SXOS (statement). In 55X5V0M3K7/e1, lemma

History

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

Toeplitz kernel 28G6AB4XBK

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

Mentions

wikipedia: Wikipedia Positive-definite function on a group#497J, Toeplitz kernel (unknown)

History

2026-11-02: add by m2/dev

LIMDEP 28GFE4ETZF

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

Mentions

wikipedia: Wikipedia LIMDEP, LIMDEP (definition). Also Wikidata Q971216

History

2026-11-02: add by m2/dev

Generalizations 28GFN8F5RX

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

Mentions

wikipedia: Wikipedia Blaschke sum#GW14, Generalizations (statement)

History

2026-11-02: add by m2/dev

28GHNRTHB3 28GHNRTHB3

URI	`m2://inv/28GHNRTHB3`
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.29227#A1P5 (statement)

History

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

Implementations 28GM0TGYQQ

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

Mentions

wikipedia: Wikipedia SHA-3#ND6Q, Implementations (definition)

History

2026-11-02: add by m2/dev

28GQJKR5TS 28GQJKR5TS

URI	`m2://inv/28GQJKR5TS`
Kind	definition
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#88NY (definition)

History

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

Sherry Wang 28GRSMPYJ4

URI	`m2://inv/28GRSMPYJ4`
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#E7RK, Sherry Wang (topic)

History

2026-11-02: add by m2/dev

28GX5W2K7B 28GX5W2K7B

URI	`m2://inv/28GX5W2K7B`
Kind	statement
Layer	research
MSC	11-XX, 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.24701#N4T1 (statement)

History

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

28H2E9QHYD 28H2E9QHYD

URI	`m2://inv/28H2E9QHYD`
Kind	example
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.19260#P567 (example). In PWXT7J9JX3/e1, example 3.19

History

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

28H7FEBJ94 28H7FEBJ94

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

Mentions

arxiv: arXiv 2610.01411#MHH5 (statement). In SD28S3K7BT/e1, theorem 17

History

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

Osamu Iyama 28HBG27VMH

URI	`m2://inv/28HBG27VMH`
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#SBOS, Osamu Iyama (unknown)

History

2026-11-02: add by m2/dev

complete graph 28HFPWMPZV

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

Mentions

levin_dmoi: levin_dmoi index/5.1/complete-graph, complete graph (concept). In Y91XFCEVHQ, index, section 5.1

History

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

28HKKHASR8 28HKKHASR8

URI	`m2://inv/28HKKHASR8`
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 2601.01000#B46Y (statement). In RYFV9HGWWZ/e1, proposition 46

History

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

28HMFCW06E 28HMFCW06E

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

Mentions

hott_book: hott_book reals.tex#proof-30 (proof). In N54F33XE07, proof, section B.4

History

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

Deficient number 28HRY3GYMH

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

Mentions

wikipedia: Wikipedia List of recreational number theory topics#KURK, Deficient number (definition)

History

2026-11-02: add by m2/dev

Kolmogorov extension theorem 28HSRCR7Y6

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

Mentions

wikipedia: Wikipedia List of statistics articles#6KM7, Kolmogorov extension theorem (statement)

History

2026-11-02: add by m2/dev

Paul C. Yang 28HY4FTB8C

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

Mentions

wikipedia: Wikipedia Paul C. Yang, Paul C. Yang (topic). Also Wikidata Q19666513

History

2026-11-02: add by m2/dev

Variance reduction 28HYND9D8C

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#RDYS, Variance reduction (definition)

History

2026-11-02: add by m2/dev

Opinion poll 28HYTXGQ17

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

Mentions

wikipedia: Wikipedia Opinion poll, Opinion poll (definition). Also Wikidata Q49958

History

2026-11-02: add by m2/dev

Extended Envelope 28HZMX066T

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

Mentions

arxiv: arXiv 2609.33946#KOMX, Extended Envelope (definition). In T61D8EZH24/e1, definition

History

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

Peter Constantin 28J3TRAA4S

URI	`m2://inv/28J3TRAA4S`
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#3E9I, Peter Constantin (topic)

History

2026-11-02: add by m2/dev

28J9ZDYCR0 28J9ZDYCR0

URI	`m2://inv/28J9ZDYCR0`
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.38206#YSPI (statement). In F71MS1F637/e1, theorem 4.9

History

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

28JBXE7HHS 28JBXE7HHS

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

Mentions

arxiv: arXiv 2610.22074#GSZ4 (statement). In F3BKXXPR3K/e1, proposition 2.19

History

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

Neumann correction 28JJAZ6KBN

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

Mentions

arxiv: arXiv 2610.19461#RTRE, Neumann correction (statement). In D5X5P2QD6A/e1, theorem 1.2

History

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

Australian Statistician 28JPDJ8AVW

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

Mentions

wikipedia: Wikipedia Australian Statistician, Australian Statistician (definition). Also Wikidata Q4824712

History

2026-11-02: add by m2/dev

28JWFXR1Y9 28JWFXR1Y9

URI	`m2://inv/28JWFXR1Y9`
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 1905.00573#H8IX (statement). In 74RNQVBM2G/e1, proposition 3.12

History

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

Properties 28KAK1T3Z4

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

Mentions

wikipedia: Wikipedia Pappus chain#7O67, Properties (statement)

History

2026-11-02: add by m2/dev

Lagrange's trigonometric identities 28KF0ZBT2B

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

Mentions

wikipedia: Wikipedia List of mathematical identities#CSU2, Lagrange's trigonometric identities (topic)
wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#B1C4, Lagrange's trigonometric identities (topic)

History

2026-11-02: add by m2/dev

28KFN98MCE 28KFN98MCE

URI	`m2://inv/28KFN98MCE`
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.01753#PS28 (statement). In JY50YXMH5N/e1, theorem 38

History

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

28KQ2AMZY3 28KQ2AMZY3

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

Mentions

arxiv: arXiv 2610.00869#1MDX (statement). In 63JMKC4GZE/e1, lemma 4.4

History

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

semantic value 28MFZZ7WZN

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

Mentions

wikipedia: Wikipedia Glossary of logic#59TX, semantic value (definition)

History

2026-11-02: add by m2/dev

Rademacher distribution 28MH234S58

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

Mentions

wikipedia: Wikipedia List of statistics articles#HZP9, Rademacher distribution (definition)

History

2026-11-02: add by m2/dev

Wilhelm Ahrens 28MJV9APDN

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

Mentions

wikipedia: Wikipedia List of German mathematicians#9R3P, Wilhelm Ahrens (topic)

History

2026-11-02: add by m2/dev

Logarithm of a matrix 28MVHYKK1K

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

Mentions

wikipedia: Wikipedia Logarithm of a matrix, Logarithm of a matrix (definition). Also Wikidata Q902017

History

2026-11-02: add by m2/dev

28N0REBHQM 28N0REBHQM

URI	`m2://inv/28N0REBHQM`
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#JH3I (statement). In HX1QA0MJYV/e1, proposition 15

History

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

28N5JF3W2A 28N5JF3W2A

URI	`m2://inv/28N5JF3W2A`
Kind	statement
Layer	research
MSC	05-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 2610.03517#16Z8 (statement). In 3CGS9GSKTQ/e1, theorem 1.10

History

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

28N6GKZPXZ 28N6GKZPXZ

URI	`m2://inv/28N6GKZPXZ`
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/normal-logics.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 50.7

History

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

Intrinsic Lorentzian potentials 28NB7ZVC8Y

URI	`m2://inv/28NB7ZVC8Y`
Kind	definition
Layer	research
MSC	35-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.25449#7E6B, Intrinsic Lorentzian potentials (definition). In 9JHMTYGWFQ/e1, definition 1.17

History

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

Optimal block reproduction 28ND72VZGN

URI	`m2://inv/28ND72VZGN`
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.31816#3441, Optimal block reproduction (statement). In Z86Q8YDPZS/e1, proposition 3.1

History

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

28NGR418T5 28NGR418T5

URI	`m2://inv/28NGR418T5`
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 2601.10958#EQPP (definition). In 4W55AH5T6R/e1, definition 5

History

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

Cotree 28NJQSV24E

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

Mentions

wikipedia: Wikipedia Cograph#YTCZ, Cotree (unknown)

History

2026-11-02: add by m2/dev

28NPWBJR90 28NPWBJR90

URI	`m2://inv/28NPWBJR90`
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.20466#915J (statement). In M4ZVJWM8YA/e1, lemma A.3

History

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

Actual infinity and the “harmlessness” of paradox 28PAZY1VBD

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

Mentions

wikipedia: Wikipedia Paradoxes of the Infinite#HAYQ, Actual infinity and the “harmlessness” of paradox (statement)

History

2026-11-02: add by m2/dev

automatic differentiation 28PE3W6NZQ

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

Mentions

wikipedia: Wikipedia Glossary of calculus#R4BT, automatic differentiation (definition)

History

2026-11-02: add by m2/dev

28PTHFJDTM 28PTHFJDTM

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

Mentions

arxiv: arXiv 2610.09945#60CZ (example). In V7VCEA0VAA/e1, example 5.5

History

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

The ceiling is the compensator of the information spectrum 28PVBFS5TT

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

Mentions

arxiv: arXiv 2609.27765#YI3G, The ceiling is the compensator of the information spectrum (statement)

History

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

28PXD5HPYN 28PXD5HPYN

URI	`m2://inv/28PXD5HPYN`
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 2610.14985#ADLW (example). In DGXJW3SCBR/e1, example 26

History

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

28PZ0HVXE7 28PZ0HVXE7

URI	`m2://inv/28PZ0HVXE7`
Kind	statement
Layer	research
MSC	11-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 2610.12619#DR87 (statement). In 7F8KACT5AJ/e1, lemma 3.4

History

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

Basic properties 28QBQ61XPS

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

Mentions

wikipedia: Wikipedia Symmetric matrix#DYPV, Basic properties (statement)

History

2026-11-02: add by m2/dev

Examples 28QCJ63JZQ

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

Mentions

wikipedia: Wikipedia Renard series#3TDH, Examples (example)

History

2026-11-02: add by m2/dev

28QFVCTK51 28QFVCTK51

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

Mentions

arxiv: arXiv 1002.0879#XT0I (example). In M0SQY5EZN5/e1, example 4.5.2

History

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

28QHFT0BTW 28QHFT0BTW

URI	`m2://inv/28QHFT0BTW`
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#I34G (definition). In M0SQY5EZN5/e1, definition 1.1.14

History

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

Examples 28QKFXTFJE

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

Mentions

wikipedia: Wikipedia Wilks' theorem#08YV, Examples (example)

History

2026-11-02: add by m2/dev

List of statements independent of ZFC 28QKMZERZQ

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

Mentions

wikipedia: Wikipedia List of statements independent of ZFC, List of statements independent of ZFC (topic). Also Wikidata Q6641390

History

2026-11-02: add by m2/dev

Single forms, unconditional 28QRWFMQQP

URI	`m2://inv/28QRWFMQQP`
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.07214#8O56, Single forms, unconditional (statement). In 669PBFJX0Z/e1, theorem 3

History

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

Nut-picking 28QYCBSGX6

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

Mentions

wikipedia: Wikipedia Straw man#106C, Nut-picking (unknown)

History

2026-11-02: add by m2/dev

Definition 28QZZAE1Z1

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

Mentions

wikipedia: Wikipedia Surgery exact sequence#TCB2, Definition (definition)

History

2026-11-02: add by m2/dev

inductive dimension 28R3F8SJA1

URI	`m2://inv/28R3F8SJA1`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Inductive dimension MKS9H497AM

Mentions

wikidata: Wikidata Q841816, inductive dimension (unknown). Also EoM Inductive_dimension
wikipedia: Wikipedia Inductive dimension, Inductive dimension (definition). Also Wikidata Q841816

History

2026-10-26: add by m2/dev

28R6HJASV4 28R6HJASV4

URI	`m2://inv/28R6HJASV4`
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 math/0003117#RQ6X (statement). In WD2NCBV9F0/e1, lemma 20.7

History

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

Variable-order Bayesian network 28RAG998KE

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

Mentions

wikipedia: Wikipedia Variable-order Bayesian network, Variable-order Bayesian network (definition). Also Wikidata Q7915687

History

2026-11-02: add by m2/dev

associativity 28RGHVTX6Q

URI	`m2://inv/28RGHVTX6Q`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Associativity 0K8F7PVDMX

Mentions

wikidata: Wikidata Q177251, associativity (unknown). Also LMFDB knowl alg.binary_operation.associative, MathWorld Associative, nLab associativity
wikipedia: Wikipedia Associative property, Associative property (definition). Also Wikidata Q177251

History

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

British Mathematical Olympiad Subtrust 28RS47K8H9

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

Mentions

wikipedia: Wikipedia British Mathematical Olympiad Subtrust, British Mathematical Olympiad Subtrust (definition). Also Wikidata Q4970323

History

2026-11-02: add by m2/dev

Strong Generalization on Constants 28RZK32BZC

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#thm:StrongGen, Strong Generalization on Constants (statement). In PKGMM3P5QY, thm, section 8.10

History

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

Entropy bound for empirical-measure distributions 28S2M52R77

URI	`m2://inv/28S2M52R77`
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.25915#3CV0, Entropy bound for empirical-measure distributions (statement)

History

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

Sylvester's law of inertia 28SGWPW0ED

URI	`m2://inv/28SGWPW0ED`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Sylvester's law of inertia 0WFED3K3DQ

Mentions

mathlib_1000: mathlib_1000 Q1752621, Sylvester's law of inertia (statement). Also Mathlib QuadraticForm.equivalent_one_zero_neg_one_weighted_sum_squared, Wikidata Q1752621
mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > Sylvester's law of inertia (existence), Sylvester's law of inertia (existence) (unknown). Also Mathlib QuadraticForm.equivalent_one_zero_neg_one_weighted_sum_squared
mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > real classification, real classification (unknown). Also Mathlib QuadraticForm.equivalent_one_zero_neg_one_weighted_sum_squared
thousand_plus: thousand_plus Q1752621, Sylvester's law of inertia (statement). Also Mathlib QuadraticForm.equivalent_one_zero_neg_one_weighted_sum_squared, Wikidata Q1752621, Wikipedia Sylvester's law of inertia
wikidata: Wikidata Q1752621, Sylvester's law of inertia (statement). Also EoM Law_of_inertia, MathWorld SylvestersInertiaLaw
wikipedia: Wikipedia Sylvester's law of inertia, Sylvester's law of inertia (statement). Also Wikidata Q1752621

History

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

cartesian closed 28SP4TZKKG

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

Mentions

wikipedia: Wikipedia Glossary of category theory#YECZ, cartesian closed (definition)

History

2026-11-02: add by m2/dev

28T5X8EK6W 28T5X8EK6W

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

Mentions

arxiv: arXiv 2609.25000#H697 (statement)

History

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

Area of a circle 28T6GNN8WQ

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

Mentions

napkin: napkin tex/diffgeo/stokes.tex#ex:area_circle, Area of a circle (example). In RZP28ERRZV, example, section 46.3

History

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

Weighted split-line lower bound 28TC0ER5SW

URI	`m2://inv/28TC0ER5SW`
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.20215#NWPO, Weighted split-line lower bound (statement)

History

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

28TPEQ5FFZ 28TPEQ5FFZ

URI	`m2://inv/28TPEQ5FFZ`
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 2604.10080#MAVP (statement). In KM2FWKP93A/e1, proposition 7.3

History

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

Conditional Faber fluctuations 28TRH9Q29R

URI	`m2://inv/28TRH9Q29R`
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.03912#4S9M, Conditional Faber fluctuations (statement). In RJ553C7NJM/e1, lemma 5.1

History

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

An associative geometric comparison 28V2TWAFWE

URI	`m2://inv/28V2TWAFWE`
Kind	problem
Layer	research
MSC	14-XX, 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 2609.28220#EIUM, An associative geometric comparison (problem)

History

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

TI-84 Evo 28VBAZZD75

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

Mentions

wikipedia: Wikipedia TI-84 Plus CE series#9YW9, TI-84 Evo (unknown)

History

2026-11-02: add by m2/dev

28VCDBY5RS 28VCDBY5RS

URI	`m2://inv/28VCDBY5RS`
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 2202.03009#76VM (statement). In GYEQJ534W1/e1, theorem 6

History

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

well-defined 28VNWZ4NZM

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#0XQB, well-defined (definition)

History

2026-11-02: add by m2/dev

28VTEGBRXE 28VTEGBRXE

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

Mentions

arxiv: arXiv 2609.26600#NQ4R (statement)

History

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

Herbert Fleischner 28VXPED324

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#52XH, Herbert Fleischner (topic)

History

2026-11-02: add by m2/dev

28W8EN5294 28W8EN5294

URI	`m2://inv/28W8EN5294`
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.15393#5JUZ (statement). In H6T3AP80VE/e1, corollary

History

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

Space complexity 28WHTDH2E7

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

Mentions

wikipedia: Wikipedia Space complexity, Space complexity (definition). Also Wikidata Q2098905

History

2026-11-02: add by m2/dev

Superposition 28WK1SCD7T

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#theorem-2, Superposition (statement). In E9HS8K3A52, theorem, section 10.3

History

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

Theorem 28WMXK2KD8

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

Mentions

wikipedia: Wikipedia Cantor's intersection theorem#K861, Theorem (statement)

History

2026-11-02: add by m2/dev

Radon–Nikodym set 28XF56DTG5

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

Mentions

wikipedia: Wikipedia Radon–Nikodym set, Radon–Nikodym set (definition). Also Wikidata Q24963933

History

2026-11-02: add by m2/dev

28XM6HAD8Q 28XM6HAD8Q

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

Mentions

arxiv: arXiv 2208.06310#6OIA (definition). In 9YR0E0T9XA/e1, definition 3.14

History

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

List of statisticians 28XP8TAWPW

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

Mentions

wikipedia: Wikipedia List of statistics articles#Z4MB, List of statisticians (topic)
wikipedia: Wikipedia Lists of statistics topics#QLPH, List of statisticians (topic)
wikipedia: Wikipedia Lists of mathematics topics#YUGR, List of statisticians (topic)
wikipedia: Wikipedia Lists of mathematicians#4ELO, List of statisticians (topic)

History

2026-11-02: add by m2/dev

Unrestricted differential induction 28XVC37ABN

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

Mentions

arxiv: arXiv 2609.24931#P887, Unrestricted differential induction (statement)

History

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

Escalation of commitment 28Y1TCXYD2

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

Mentions

wikipedia: Wikipedia Escalation of commitment, Escalation of commitment (definition). Also Wikidata Q3799353

History

2026-11-02: add by m2/dev

star polyhedron 28Y3BJYG0Z

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

Mentions

wikidata: Wikidata Q1481248, star polyhedron (unknown). Also MathWorld StarPolyhedron
wikipedia: Wikipedia Star polyhedron, Star polyhedron (object). Also Wikidata Q1481248

History

2026-10-26: add by m2/dev

28YCYYNJ75 28YCYYNJ75

URI	`m2://inv/28YCYYNJ75`
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.00625#PS98 (statement). In BGA625B7W1/e1, theorem 2.6

History

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

Definition 28YKMAVD61

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

Mentions

wikipedia: Wikipedia Applications of dual quaternions to 2D geometry#FSJL, Definition (definition)

History

2026-11-02: add by m2/dev

28YQYJHCAE 28YQYJHCAE

URI	`m2://inv/28YQYJHCAE`
Kind	definition
Layer	research
MSC	11-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.30200#XUCA (definition)

History

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

Artemas Martin 28YR0Z4YXZ

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

Mentions

wikipedia: Wikipedia Artemas Martin, Artemas Martin (topic). Also Wikidata Q4797444

History

2026-11-02: add by m2/dev

Scott continuity 28YSAR61Z6

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

Mentions

wikipedia: Wikipedia List of order theory topics#CFMU, Scott continuity (definition)

History

2026-11-02: add by m2/dev

28YX56W5AR 28YX56W5AR

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

Mentions

arxiv: arXiv 2609.27628#VIGW (conjecture)

History

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

heptahedron 28YXHCJP48

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

Mentions

wikidata: Wikidata Q1151267, heptahedron (unknown). Also MathWorld Heptahedron
wikipedia: Wikipedia Heptahedron, Heptahedron (object). Also Wikidata Q1151267

History

2026-10-26: add by m2/dev

Uniform deterministic small-noise limit 28ZNWWYS4D

URI	`m2://inv/28ZNWWYS4D`
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.05864#QSH0, Uniform deterministic small-noise limit (statement). In 31QPXWDZSH/e1, lemma B.2

History

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

28ZP4N1Y7M 28ZP4N1Y7M

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

Mentions

arxiv: arXiv 2610.11671#5RWB (statement). In V06H8BAGEH/e1, lemma 4.2

History

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

Theorem 28ZV3AVKW7

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

Mentions

wikipedia: Wikipedia Segre's theorem#ZVBU, Theorem (statement)

History

2026-11-02: add by m2/dev

28ZXRQ0R4G 28ZXRQ0R4G

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

Mentions

austin_ula: austin_ula src/exercises/exercises3-4.xml#exercise-11 (exercise). In 649HGZKE96, exercise, section 3.4

History

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

28ZXY36QFQ 28ZXY36QFQ

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_intro.ptx#example-2 (example). In QKM9DD2H56, example, section B.1

History

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