Inventory rows 1Y

1Y01JVG60R 1Y01JVG60R

URI	`m2://inv/1Y01JVG60R`
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.04431#BMRE (statement). In 3PSAWXCCJ8/e1, theorem 22

History

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

1Y067GM8XG 1Y067GM8XG

URI	`m2://inv/1Y067GM8XG`
Kind	example
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 2205.06433#X4RY (example). In 628PJKD3EV/e1, example 2.5

History

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

Motivic zeta function 1Y07FNDNR6

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

Mentions

wikipedia: Wikipedia Motivic zeta function, Motivic zeta function (definition). Also Wikidata Q17099147

History

2026-11-02: add by m2/dev

1Y0FW2HVT3 1Y0FW2HVT3

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

Mentions

arxiv: arXiv 2609.30482#BCGX (statement). In KWB9M5YH9G/e1, proposition 2.8

History

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

1Y0M3N9NTN 1Y0M3N9NTN

URI	`m2://inv/1Y0M3N9NTN`
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.00339#R1AY (statement). In ZRG6NY1ECH/e1, lemma 18

History

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

1Y0NG5GY9M 1Y0NG5GY9M

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

Mentions

arxiv: arXiv 2609.28552#NIZN (example)

History

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

1Y0TCCSRHM 1Y0TCCSRHM

URI	`m2://inv/1Y0TCCSRHM`
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 2610.19707#YDCY (statement). In R6SEBXARYC/e1, lemma 7.1

History

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

Brouwer's conjecture 1Y11DJ0WXT

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

Mentions

wikipedia: Wikipedia Brouwer's conjecture, Brouwer's conjecture (conjecture). Also Wikidata Q96374028

History

2026-11-02: add by m2/dev

Double angle 1Y12PBBCKV

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

Mentions

wikipedia: Wikipedia List of trigonometric identities#KSQ2, Double angle (unknown)

History

2026-11-02: add by m2/dev

axiom of constructibility 1Y14Y1S86N

URI	`m2://inv/1Y14Y1S86N`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Axiom of constructibility 4QKRPRCSXH

Mentions

wikidata: Wikidata Q1151112, axiom of constructibility (unknown). Also nLab axiom of constructibility
wikipedia: Wikipedia Axiom of constructibility, Axiom of constructibility (statement). Also Wikidata Q1151112

History

2026-10-26: add by m2/dev

1Y1F9YQKE1 1Y1F9YQKE1

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

Mentions

arxiv: arXiv 2610.02061#FXC5 (statement). In F5STMSPR6X/e1, proposition 3.23

History

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

Examples 1Y1RE4M81K

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

Mentions

wikipedia: Wikipedia Kähler manifold#HAS5, Examples (example)

History

2026-11-02: add by m2/dev

Frobenius algebra 1Y1VCB7BWE

URI	`m2://inv/1Y1VCB7BWE`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Frobenius algebra 8EVP1K2CZH

Mentions

wikidata: Wikidata Q5505100, Frobenius algebra (concept). Also nLab Frobenius algebra
wikipedia: Wikipedia Frobenius algebra, Frobenius algebra (definition). Also Wikidata Q5505100

History

2026-10-26: add by m2/dev

A Lipschitz lift lifts a volume 1Y243W28AP

URI	`m2://inv/1Y243W28AP`
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.12713#3QW9, A Lipschitz lift lifts a volume (statement). In F14A5HX20Q/e1, lemma 3.3

History

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

Generalizations 1Y281S618W

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

Mentions

wikipedia: Wikipedia Tits alternative#TLBK, Generalizations (statement)

History

2026-11-02: add by m2/dev

An equality criterion in singular dimension one 1Y2ER0DQ8W

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

Mentions

arxiv: arXiv 2610.07528#UR3V, An equality criterion in singular dimension one (statement). In WVX0T502A1/e1, theorem 5.5

History

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

1Y2F6VQYR8 1Y2F6VQYR8

URI	`m2://inv/1Y2F6VQYR8`
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.28664#WYF6 (statement)

History

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

1Y2FWZRQK6 1Y2FWZRQK6

URI	`m2://inv/1Y2FWZRQK6`
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 2405.14678#XGPH (example). In 9ZSNSJRJ5N/e1, example 29

History

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

1Y2G1KMC5R 1Y2G1KMC5R

URI	`m2://inv/1Y2G1KMC5R`
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.06785#VFHK (statement). In PG6AEWX25E/e1, lemma 4.6

History

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

Conditioning benchmark 1Y2K253N4X

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

Mentions

arxiv: arXiv 2610.02166#HCLG, Conditioning benchmark (definition). In R6RF3P6D5A/e1, definition 1.1

History

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

Generalization 1Y2KQ9Y2YN

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

Mentions

wikipedia: Wikipedia Alhazen's problem#RV6P, Generalization (statement)

History

2026-11-02: add by m2/dev

Definition 1Y2YPZZ4WP

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

Mentions

wikipedia: Wikipedia Flat module#5K5Q, Definition (definition)

History

2026-11-02: add by m2/dev

Paris–Harrington theorem 1Y32DKQH8V

URI	`m2://inv/1Y32DKQH8V`
Kind	statement
Layer	textbook
MSC	03-XX
Sources	4
Outcome	open
Node	Paris–Harrington theorem 509ZWA0R26

Mentions

mathlib_1000: mathlib_1000 Q7137494, Paris–Harrington theorem (statement). Also Wikidata Q7137494
thousand_plus: thousand_plus Q7137494, Paris–Harrington theorem (statement). Also Wikidata Q7137494, Wikipedia Paris–Harrington theorem
wikidata: Wikidata Q7137494, Paris–Harrington theorem (statement). Also MathWorld Paris-HarringtonTheorem
wikipedia: Wikipedia Paris–Harrington theorem, Paris–Harrington theorem (statement). Also Wikidata Q7137494

History

2026-10-26: add by m2/dev

chord 1Y342SVKWP

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#F94U, chord (definition)

History

2026-11-02: add by m2/dev

Formal definition 1Y3A2P2VJJ

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

Mentions

wikipedia: Wikipedia Palindromic number#A8AG, Formal definition (definition)

History

2026-11-02: add by m2/dev

indefinite description 1Y3AMEHD7V

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

Mentions

wikipedia: Wikipedia Glossary of logic#KN5F, indefinite description (definition)

History

2026-11-02: add by m2/dev

1Y3D3RTX9B 1Y3D3RTX9B

URI	`m2://inv/1Y3D3RTX9B`
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.10660#91GF (statement). In 1T12A2H411/e1, theorem 4

History

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

Noncommutative harmonic analysis 1Y3PC09VV8

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#9RUB, Noncommutative harmonic analysis (definition)

History

2026-11-02: add by m2/dev

Stem extension 1Y3STBKVX4

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

Mentions

wikipedia: Wikipedia Schur multiplier#FAXJ, Stem extension (unknown)

History

2026-11-02: add by m2/dev

Posterior covariance moment bounds 1Y3X27GNB6

URI	`m2://inv/1Y3X27GNB6`
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.09882#I6O8, Posterior covariance moment bounds (statement). In 7XV6T4N79V/e1, corollary 4.3

History

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

Examples 1Y40APX2YM

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

Mentions

wikipedia: Wikipedia Polynomial sequence#BFFM, Examples (example)

History

2026-11-02: add by m2/dev

contrapositive 1Y49C259SF

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

Mentions

wikipedia: Wikipedia Glossary of logic#KG6L, contrapositive (definition)

History

2026-11-02: add by m2/dev

1Y4DP89YRN 1Y4DP89YRN

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

Mentions

arxiv: arXiv 2610.20077#FKCC (statement). In W5XRKWDADE/e1, lemma 4.2

History

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

Cutoff profiles at boundary atoms 1Y4E5FD2CX

URI	`m2://inv/1Y4E5FD2CX`
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#Q1J7, Cutoff profiles at boundary atoms (statement). In KP1THB2C09/e1, proposition 4.8

History

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

Construction 1Y4JD35NEE

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

Mentions

wikipedia: Wikipedia Goldston–Pintz–Yıldırım sieve#EERU, Construction (definition)

History

2026-11-02: add by m2/dev

Proposition II 1Y4TDHWVPJ

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

Mentions

wikipedia: Wikipedia Modigliani–Miller theorem#92AY, Proposition II (statement)

History

2026-11-02: add by m2/dev

Daniel Goroff 1Y5CXQ9JDT

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

Mentions

wikipedia: Wikipedia Daniel Goroff, Daniel Goroff (topic). Also Wikidata Q102401243

History

2026-11-02: add by m2/dev

Ian F. Putnam 1Y5FH6ENHA

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

Mentions

wikipedia: Wikipedia Ian F. Putnam, Ian F. Putnam (topic). Also Wikidata Q97098977

History

2026-11-02: add by m2/dev

Definition 1Y5HE758YK

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

Mentions

wikipedia: Wikipedia Envy-freeness up to any item#TKKJ, Definition (definition)

History

2026-11-02: add by m2/dev

Aumann's agreement theorem 1Y5MBWNPHC

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZF5O, Aumann's agreement theorem (statement)

History

2026-11-02: add by m2/dev

1899 Puerto Rico census 1Y5QAAYQZE

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

Mentions

wikipedia: Wikipedia 1899 Puerto Rico census, 1899 Puerto Rico census (definition). Also Wikidata Q30325498

History

2026-11-02: add by m2/dev

$\sigma$-secure on average (against passive adversary 1Y613X3BSC

URI	`m2://inv/1Y613X3BSC`
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.24994#5O6J, $\sigma$-secure on average (against passive adversary (definition)

History

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

Cayley–Hamilton theorem 1Y621BVW58

URI	`m2://inv/1Y621BVW58`
Kind	statement
Layer	textbook
MSC	15-XX
Sources	7
Outcome	node (a node has the same Wikidata item as the row)
Node	Cayley–Hamilton theorem 0F765KFC2J

Mentions

mathlib_100: mathlib_100 49, The Cayley-Hamilton Theorem (statement). Also Mathlib Matrix.aeval_self_charpoly
mathlib_1000: mathlib_1000 Q656772, Cayley–Hamilton theorem (statement). Also Mathlib Matrix.aeval_self_charpoly, Wikidata Q656772
mathlib_overview: mathlib_overview Linear algebra > Endomorphism polynomials > Cayley-Hamilton theorem, Cayley-Hamilton theorem (unknown). Also Mathlib Matrix.aeval_self_charpoly
mathlib_undergrad: mathlib_undergrad Linear algebra > Endomorphism polynomials > Cayley-Hamilton theorem, Cayley-Hamilton theorem (unknown). Also Mathlib Matrix.aeval_self_charpoly
thousand_plus: thousand_plus Q656772, Cayley–Hamilton theorem (statement). Also Mathlib Matrix.aeval_self_charpoly, Wikidata Q656772, Wikipedia Cayley–Hamilton theorem
wikidata: Wikidata Q656772, Cayley–Hamilton theorem (statement). Also EoM Cayley-Hamilton_theorem, MathWorld Cayley-HamiltonTheorem, ProofWiki Cayley-Hamilton_Theorem
wikipedia: Wikipedia Cayley–Hamilton theorem, Cayley–Hamilton theorem (statement). Also Wikidata Q656772

History

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

1Y622J7SES 1Y622J7SES

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

Mentions

arxiv: arXiv 2609.34013#XWWZ (statement). In 3TA3P3CWSJ/e1, theorem 5.5

History

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

Cipher runes 1Y6254B78Q

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

Mentions

wikipedia: Wikipedia Cipher runes, Cipher runes (definition). Also Wikidata Q1498469

History

2026-11-02: add by m2/dev

1Y63T9EV0W 1Y63T9EV0W

URI	`m2://inv/1Y63T9EV0W`
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.16225#6UGG (statement). In H3DJV9YQW1/e1, lemma A.3

History

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

1Y684EK3RV 1Y684EK3RV

URI	`m2://inv/1Y684EK3RV`
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.31249#HI5K (statement). In RAVR2W9S0B/e1, theorem 1.3

History

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

Real projective plane 1Y694XX019

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

Mentions

wikipedia: Wikipedia List of manifolds#95KF, Real projective plane (definition)

History

2026-11-02: add by m2/dev

1Y6A97ZPJQ 1Y6A97ZPJQ

URI	`m2://inv/1Y6A97ZPJQ`
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.01225#OHAS (statement). In MFR807V4YG/e1, lemma 2.5

History

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

Theorem 1Y6EZBB4JX

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

Mentions

wikipedia: Wikipedia Banach space#C4A1, Theorem (statement)

History

2026-11-02: add by m2/dev

Parabolic cylinder function 1Y6QKQJCHB

URI	`m2://inv/1Y6QKQJCHB`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Parabolic cylinder function V7H5Z35CPN

Mentions

wikidata: Wikidata Q3754582, Parabolic cylinder function (concept). Also EoM Weber_equation, MathWorld ParabolicCylinderFunction
wikipedia: Wikipedia Parabolic cylinder function, Parabolic cylinder function (definition). Also Wikidata Q3754582

History

2026-10-26: add by m2/dev

1Y6XCE3YN2 1Y6XCE3YN2

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

Mentions

arxiv: arXiv 2610.15217#UOP9 (definition). In G70Q2FB591/e1, definition 4.29

History

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

Mass averaging 1Y7ABMVNP5

URI	`m2://inv/1Y7ABMVNP5`
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.30817#JN80, Mass averaging (statement). In DP5KJ7AATM/e1, lemma 2.5

History

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

Definition 1Y7D93GFBA

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

Mentions

wikipedia: Wikipedia Gromov product#ZUXS, Definition (definition)

History

2026-11-02: add by m2/dev

natural norm 1Y7F05WEPA

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

Mentions

wikidata: Wikidata Q1971708, natural norm (unknown). Also MathWorld NaturalNorm

History

2026-10-26: add by m2/dev

Hermann Minkowski 1Y7HW9WZYA

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

Mentions

wikipedia: Wikipedia List of real analysis topics#UZBI, Hermann Minkowski (topic)
wikipedia: Wikipedia List of mathematicians born in the 19th century#S65I, Hermann Minkowski (topic)

History

2026-11-02: add by m2/dev

Examples 1Y7PF43B8S

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

Mentions

wikipedia: Wikipedia F-algebra#KIJG, Examples (example)

History

2026-11-02: add by m2/dev

Hemachandra 1Y7R6468ZQ

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#YI2A, Hemachandra (unknown)

History

2026-11-02: add by m2/dev

Weighted Voronoi diagram 1Y7W69381H

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

Mentions

wikipedia: Wikipedia Weighted Voronoi diagram, Weighted Voronoi diagram (definition). Also Wikidata Q17130624

History

2026-11-02: add by m2/dev

Goldberg–Sachs theorem 1Y86JE773W

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

Mentions

wikipedia: Wikipedia List of theorems#M822, Goldberg–Sachs theorem (statement)

History

2026-11-02: add by m2/dev

Delta travelling salesman problem 1Y86NYSH4N

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

Mentions

wikipedia: Wikipedia Travelling salesman problem#O3DB, Delta travelling salesman problem (unknown)

History

2026-11-02: add by m2/dev

Conceptual graph 1Y8GHJ2HS3

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

Mentions

wikipedia: Wikipedia Conceptual graph, Conceptual graph (definition). Also Wikidata Q1420493

History

2026-11-02: add by m2/dev

1Y8J8Y2Q4D 1Y8J8Y2Q4D

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

Mentions

arxiv: arXiv 2609.23559#2RSK (statement)

History

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

1Y8P21W6NB 1Y8P21W6NB

URI	`m2://inv/1Y8P21W6NB`
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.23343#24WP (statement)

History

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

1Y90W320XK 1Y90W320XK

URI	`m2://inv/1Y90W320XK`
Kind	statement
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.28189#EPUU (statement)

History

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

Mohr–Coulomb failure criterion 1Y96VR3WEV

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

Mentions

wikipedia: Wikipedia Mohr–Coulomb theory#I08F, Mohr–Coulomb failure criterion (statement)

History

2026-11-02: add by m2/dev

National Association of Mathematicians 1Y9FDW3FXS

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

Mentions

wikipedia: Wikipedia List of mathematical societies#6WT3, National Association of Mathematicians (definition)

History

2026-11-02: add by m2/dev

1Y9KSVT8EM 1Y9KSVT8EM

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-4.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 6.4

History

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

1Y9MYK6NED 1Y9MYK6NED

URI	`m2://inv/1Y9MYK6NED`
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 2509.10268#FKLS (statement). In YR15TN4V4F/e1, lemma S5

History

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

Mallows's Cp 1Y9Q8GA40Z

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

Mentions

wikipedia: Wikipedia Mallows's Cp, Mallows's Cp (definition). Also Wikidata Q6744305

History

2026-11-02: add by m2/dev

The algorithm 1Y9R7DXKEH

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

Mentions

wikipedia: Wikipedia Quadratic sieve#SHSY, The algorithm (definition)

History

2026-11-02: add by m2/dev

Skorokhod integral 1Y9R9JJSHH

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

Mentions

wikipedia: Wikipedia Skorokhod integral, Skorokhod integral (definition). Also Wikidata Q7536352

History

2026-11-02: add by m2/dev

1Y9WQ3SV90 1Y9WQ3SV90

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

Mentions

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

History

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

De Longchamps point 1Y9X3E41R3

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

Mentions

wikipedia: Wikipedia List of triangle topics#N5EB, De Longchamps point (definition)

History

2026-11-02: add by m2/dev

Malka Gorfine 1Y9XWYT9ZX

URI	`m2://inv/1Y9XWYT9ZX`
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#6WZ3, Malka Gorfine (unknown)

History

2026-11-02: add by m2/dev

PL 1YADMNMNH0

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

Mentions

wikipedia: Wikipedia PL (complexity), PL (definition). Also Wikidata Q22907784

History

2026-11-02: add by m2/dev

1YAKZF2DPD 1YAKZF2DPD

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

Mentions

arxiv: arXiv 2610.14803#CEY5 (definition). In VAEVDTBD3B/e1, definition 3.3

History

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

Example 1YAQ746AHA

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

Mentions

wikipedia: Wikipedia Taylor's theorem#RXVZ, Example (example)

History

2026-11-02: add by m2/dev

Principles 1YAY0ZAA49

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

Mentions

wikipedia: Wikipedia Raoult's law#4GPF, Principles (statement)

History

2026-11-02: add by m2/dev

Kazimierz Zarankiewicz 1YB58Q6RS7

URI	`m2://inv/1YB58Q6RS7`
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#SDRT, Kazimierz Zarankiewicz (unknown)

History

2026-11-02: add by m2/dev

classification of compatible additions 1YB59HTWJC

URI	`m2://inv/1YB59HTWJC`
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.22667#ZIF1, classification of compatible additions (statement)

History

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

Definition 1YB637GRW5

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

Mentions

wikipedia: Wikipedia Opinion#ZSM8, Definition (definition)

History

2026-11-02: add by m2/dev

Tropical Moduli Space 1YB8FAYQ22

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

Mentions

arxiv: arXiv 2610.03384#P2EX, Tropical Moduli Space (definition). In J55JTTKG84/e1, definition 6.7

History

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

3D modeling 1YBFSSNJ74

URI	`m2://inv/1YBFSSNJ74`
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#I4KY, 3D modeling (unknown)

History

2026-11-02: add by m2/dev

1YBHQRSV04 1YBHQRSV04

URI	`m2://inv/1YBHQRSV04`
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 2601.13428#3TQQ (statement). In SM4QEDZSS6/e1, theorem 3

History

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

Hadamard variation formula 1YBJM5GEV4

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

Mentions

wikipedia: Wikipedia List of things named after Jacques Hadamard#O1MP, Hadamard variation formula (statement)

History

2026-11-02: add by m2/dev

Source-cell spectrum 1YBMJVY683

URI	`m2://inv/1YBMJVY683`
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.09472#197W, Source-cell spectrum (statement). In 35925M9GJW/e1, lemma 14

History

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

1YBSWEQA9Z 1YBSWEQA9Z

URI	`m2://inv/1YBSWEQA9Z`
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.02642#Q3CV (statement). In VMWV58VWKN/e1, lemma 3.8

History

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

1YC635M4ZB 1YC635M4ZB

URI	`m2://inv/1YC635M4ZB`
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 2609.31276#04QN (definition). In WYDHWYFRFK/e1, definition

History

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

Gaussian-copula score vector 1YC7NJW49N

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

Mentions

arxiv: arXiv 2609.29658#UOSD, Gaussian-copula score vector (statement)

History

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

Examples 1YC93M1B96

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

Mentions

wikipedia: Wikipedia Monoid (category theory)#RESK, Examples (example)

History

2026-11-02: add by m2/dev

DE-9IM 1YCBHS822B

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

Mentions

wikipedia: Wikipedia DE-9IM, DE-9IM (definition). Also Wikidata Q5204755

History

2026-11-02: add by m2/dev

1YCK2QSDKK 1YCK2QSDKK

URI	`m2://inv/1YCK2QSDKK`
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 1907.01440#B8NP (statement). In QDRYC6WJJ7/e1, proposition 1

History

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

Multi-seat constituency 1YCP0DVDG0

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

Mentions

wikipedia: Wikipedia Electoral system#F16F, Multi-seat constituency (unknown)

History

2026-11-02: add by m2/dev

Definitions 1YCTXZ89YY

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

Mentions

wikipedia: Wikipedia Vapnik–Chervonenkis dimension#B2PF, Definitions (definition)

History

2026-11-02: add by m2/dev

A linear seeded extractor with a tunable seed length 1YCYY98KVA

URI	`m2://inv/1YCYY98KVA`
Kind	statement
Layer	research
MSC	05-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.02407#PXXE, A linear seeded extractor with a tunable seed length (statement). In ZZER8ZBSCR/e1, theorem 2.13

History

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

1YD337Q7Z1 1YD337Q7Z1

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

Mentions

arxiv: arXiv 2610.13260#GO56 (statement). In ZBQX9341RV/e1, corollary 7.6

History

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

1YD4T84MTM 1YD4T84MTM

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

Mentions

arxiv: arXiv 2306.16411#5C36 (statement). In QQ222ZDZC0/e1, lemma 3.3

History

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

Weierstrass approximation theorem 1YDAE9K7BK

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#thm-2, Weierstrass approximation theorem (statement). In E59CDZA4DP, thm, section 1.7.1

History

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

1YDFZQWFR8 1YDFZQWFR8

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

Mentions

arxiv: arXiv 2609.28552#KYG9 (statement)

History

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

Subset Convolution 1YDJ5E8Q85

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

Mentions

arxiv: arXiv 2610.06724#KN6D, Subset Convolution (definition). In W5XG3PGVF1/e1, definition 1.4

History

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

Algebraic properties 1YDQR45XJE

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

Mentions

wikipedia: Wikipedia Heawood graph#H61I, Algebraic properties (statement)

History

2026-11-02: add by m2/dev

Node Kayles game and clique-forming game 1YDVE9RQKQ

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#FQB0, Node Kayles game and clique-forming game (definition)

History

2026-11-02: add by m2/dev

1YEH369EZ8 1YEH369EZ8

URI	`m2://inv/1YEH369EZ8`
Kind	statement
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 2610.16931#Z0ZM (statement). In H7DMRWBBJN/e1, corollary 6.3

History

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

Theorem 1YENDS5AZ9

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

Mentions

wikipedia: Wikipedia Jackson network#0DWN, Theorem (statement)

History

2026-11-02: add by m2/dev

Moore bound 1YEY238BWB

URI	`m2://inv/1YEY238BWB`
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.28518#4GV8, Moore bound (statement)

History

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

Enid Charles 1YF26RD2C8

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

Mentions

wikipedia: Wikipedia Enid Charles, Enid Charles (topic). Also Wikidata Q5378861

History

2026-11-02: add by m2/dev

1YF2D564ZJ 1YF2D564ZJ

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

Mentions

arxiv: arXiv 2609.36818#9LBS (statement). In SK6AP2B9JH/e1, lemma 4.2

History

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

Martin Beale 1YF34RFH2C

URI	`m2://inv/1YF34RFH2C`
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 Q6774968, Martin Beale (unknown). Also ProofWiki Mathematician:Evelyn_Martin_Lansdowne_Beale
wikipedia: Wikipedia Martin Beale, Martin Beale (topic). Also Wikidata Q6774968

History

2026-10-26: add by m2/dev

1YFDHE9743 1YFDHE9743

URI	`m2://inv/1YFDHE9743`
Kind	statement
Layer	research
MSC	51-XX, 52-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 2404.14253#3QQR (statement). In R7W38A039X/e1, lemma 3.2

History

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

Theorem 1YFH1EB6G4

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

Mentions

wikipedia: Wikipedia Standard probability space#Y1K6, Theorem (statement)

History

2026-11-02: add by m2/dev

Wolfram Language 1YG07X5HXY

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#28MG, Wolfram Language (unknown)

History

2026-11-02: add by m2/dev

1YG19GD6QD 1YG19GD6QD

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

Mentions

arxiv: arXiv 2609.36423#7U7M (statement). In Q5Z178SAHP/e1, corollary 3.1

History

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

Likelihood ratios in diagnostic testing 1YG2FZHMTM

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

Mentions

wikipedia: Wikipedia List of statistics articles#E0NY, Likelihood ratios in diagnostic testing (definition)

History

2026-11-02: add by m2/dev

Locally constant function 1YG2QVE9QZ

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

Mentions

wikipedia: Wikipedia List of types of functions#6NSY, Locally constant function (definition)

History

2026-11-02: add by m2/dev

1YG4P4925C 1YG4P4925C

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

Mentions

arxiv: arXiv alg-geom/9506022#9LEL (unknown). In AQGEM4XAKD/e1, unknown 1.1

History

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

classical $H(\divvr)$ splitting 1YG59AWW33

URI	`m2://inv/1YG59AWW33`
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.08016#Z0EB, classical $H(\divvr)$ splitting (statement). In YR3CSTYEJW/e1, proposition 2.7

History

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

Applications 1YG6KHYG1J

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

Mentions

wikipedia: Wikipedia Bilevel optimization#P4T5, Applications (example)

History

2026-11-02: add by m2/dev

1YGAGN3DM3 1YGAGN3DM3

URI	`m2://inv/1YGAGN3DM3`
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 2511.17751#XCYW (statement). In J39X0NB31S/e1, proposition 2.7

History

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

Polygon (computer graphics) 1YGE34EA7K

URI	`m2://inv/1YGE34EA7K`
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#KERK, Polygon (computer graphics) (unknown)

History

2026-11-02: add by m2/dev

Piergiorgio Odifreddi 1YGNYZPPYE

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#7KWU, Piergiorgio Odifreddi (topic)

History

2026-11-02: add by m2/dev

1YH16Y5CW3 1YH16Y5CW3

URI	`m2://inv/1YH16Y5CW3`
Kind	definition
Layer	research
MSC	14-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 2609.28411#0GTB (definition)

History

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

Diagonal lemma 1YH1T49XP7

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

Mentions

wikipedia: Wikipedia Diagonal lemma, Diagonal lemma (statement). Also Wikidata Q2904195

History

2026-11-02: add by m2/dev

Filter 1YH2W8MZKB

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

Mentions

wikipedia: Wikipedia Filter (large eddy simulation), Filter (definition). Also Wikidata Q5449219

History

2026-11-02: add by m2/dev

Definition 1YH61J7W1Q

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

Mentions

wikipedia: Wikipedia Gaussian q-distribution#9G50, Definition (definition)

History

2026-11-02: add by m2/dev

Invisibility 1YHB5J3X91

URI	`m2://inv/1YHB5J3X91`
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.14012#30TM, Invisibility (statement). In B8M5XAJASD/e1, theorem 1

History

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

1YHDF85FXP 1YHDF85FXP

URI	`m2://inv/1YHDF85FXP`
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.36045#65BN (statement). In F0E8YBV0Z0/e1, proposition B.1

History

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

Procedural confound 1YHEWF8K04

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

Mentions

wikipedia: Wikipedia List of statistics articles#4W2O, Procedural confound (definition)

History

2026-11-02: add by m2/dev

Subpixel rendering 1YHG8HMSK3

URI	`m2://inv/1YHG8HMSK3`
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#LQ9M, Subpixel rendering (unknown)

History

2026-11-02: add by m2/dev

Eileen Poiani 1YJ2GC39HT

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

Mentions

wikipedia: Wikipedia Eileen Poiani, Eileen Poiani (topic). Also Wikidata Q74171483

History

2026-11-02: add by m2/dev

Extensions 1YJ3BEKH0W

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

Mentions

wikipedia: Wikipedia Proof that 22/7 exceeds π#D1Q0, Extensions (statement)

History

2026-11-02: add by m2/dev

Paul Epstein 1YJHGB8V1H

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

Mentions

wikipedia: Wikipedia Paul Epstein, Paul Epstein (topic). Also Wikidata Q72999

History

2026-11-02: add by m2/dev

Algorithm 1YJJAEQ7AX

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

Mentions

wikipedia: Wikipedia Successive over-relaxation#KRSX, Algorithm (definition)

History

2026-11-02: add by m2/dev

1YJPM0PG6K 1YJPM0PG6K

URI	`m2://inv/1YJPM0PG6K`
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.07673#EY3X (statement). In 37B1MPV8GX/e1, proposition 8.1

History

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

random cluster model 1YJSJN7D53

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

Mentions

wikidata: Wikidata Q65067094, random cluster model (unknown). Also MathWorld Random-ClusterModel
wikipedia: Wikipedia Random cluster model, Random cluster model (definition). Also Wikidata Q65067094

History

2026-10-26: add by m2/dev

1YJW1SFVTP 1YJW1SFVTP

URI	`m2://inv/1YJW1SFVTP`
Kind	statement
Layer	research
MSC	16-XX, 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 2610.21507#K0HT (statement). In 879ZDHVK7N/e1, proposition 4.13

History

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

2021 Estonian census 1YK0M3KPQ1

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

Mentions

wikipedia: Wikipedia 2021 Estonian census, 2021 Estonian census (definition). Also Wikidata Q97286236

History

2026-11-02: add by m2/dev

classical physics 1YK0V7FS8M

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

Mentions

wikidata: Wikidata Q81745, classical physics (unknown). Also nLab classical physics

History

2026-10-26: add by m2/dev

Tsen rank 1YK1CXH1RE

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

Mentions

wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#R581, Tsen rank (definition)

History

2026-11-02: add by m2/dev

probability theory 1YK22RJJQN

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

Mentions

wikipedia: Wikipedia Glossary of logic#DEZL, probability theory (definition)

History

2026-11-02: add by m2/dev

Immerman-Vardi theorem 1YK72XTN23

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

Mentions

wikipedia: Wikipedia Descriptive complexity theory#KN3B, Immerman-Vardi theorem (unknown)

History

2026-11-02: add by m2/dev

Frigessi, Arnoldo di Rattalma 1YK8Z9BEG4

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

Mentions

wikipedia: Wikipedia List of statisticians#4STO, Frigessi, Arnoldo di Rattalma (unknown)

History

2026-11-02: add by m2/dev

Matrix Lie algebra 1YK9N4MBGC

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

Mentions

wikipedia: Wikipedia Lie algebra#9KLW, Matrix Lie algebra (unknown)

History

2026-11-02: add by m2/dev

Applications 1YKC04B1P5

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

Mentions

wikipedia: Wikipedia Somer–Lucas pseudoprime#G3XZ, Applications (example)

History

2026-11-02: add by m2/dev

1YKFKS6QTJ 1YKFKS6QTJ

URI	`m2://inv/1YKFKS6QTJ`
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.15402#8JH2 (statement). In WSE8SEHVXG/e1, theorem 24

History

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

1YKHDAWG5H 1YKHDAWG5H

URI	`m2://inv/1YKHDAWG5H`
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.37747#BAZQ (statement). In GEYDNVZEP7/e1, proposition 2.3

History

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

1YKN1G8YE8 1YKN1G8YE8

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

Mentions

arxiv: arXiv 2609.34081#9VAE (statement). In 3RVGEKGX46/e1, proposition 3.1

History

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

No exponent yields a nonzero deterministic polynomial kernel 1YKVTK2P8C

URI	`m2://inv/1YKVTK2P8C`
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.04357#6LVU, No exponent yields a nonzero deterministic polynomial kernel (statement). In 6FY8BVP1F3/e1, corollary K.13

History

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

Statement of the theorem 1YKX04HCJ4

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

Mentions

wikipedia: Wikipedia Busemann's theorem#2K1I, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Clohessy–Wiltshire equations 1YM243QYV6

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

Mentions

wikipedia: Wikipedia List of named differential equations#AT2M, Clohessy–Wiltshire equations (definition)

History

2026-11-02: add by m2/dev

1YM3HG8XP7 1YM3HG8XP7

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

Mentions

arxiv: arXiv 2609.31858#PBCG (statement). In QV16PHDXKJ/e1, lemma A.7

History

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

1YM7DNEHJF 1YM7DNEHJF

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

Mentions

arxiv: arXiv 2609.34339#5MLY (definition). In 9WFSTGMQ4E/e1, definition 5.8

History

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

An example 1YM9PZPAWJ

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

Mentions

wikipedia: Wikipedia Statistical model#2EBC, An example (example)

History

2026-11-02: add by m2/dev

Centre for Education in Mathematics and Computing 1YMDY9WA6N

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

Mentions

wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#9MSZ, Centre for Education in Mathematics and Computing (topic)

History

2026-11-02: add by m2/dev

Lennard-Jones potential 1YMJ7VB4W9

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

Mentions

wikipedia: Wikipedia Lennard-Jones potential, Lennard-Jones potential (definition). Also Wikidata Q898493

History

2026-11-02: add by m2/dev

Shigeru Mukai 1YN1YAJZ25

URI	`m2://inv/1YN1YAJZ25`
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#2AK5, Shigeru Mukai (topic)

History

2026-11-02: add by m2/dev

Definition 1YN63Q1XN8

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

Mentions

wikipedia: Wikipedia Causal model#A7IU, Definition (definition)

History

2026-11-02: add by m2/dev

Ingrid Van Keilegom 1YNF0K1K1W

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

Mentions

wikipedia: Wikipedia Ingrid Van Keilegom, Ingrid Van Keilegom (topic). Also Wikidata Q21262139

History

2026-11-02: add by m2/dev

1YNFHG49VB 1YNFHG49VB

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

Mentions

arxiv: arXiv math/0406514#JMI2 (statement). In CY1FE8W1ZW/e1, lemma 0.117

History

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

Bhutasamkhya system 1YNKY5A8JZ

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

Mentions

wikipedia: Wikipedia Bhutasamkhya system, Bhutasamkhya system (definition). Also Wikidata Q4902277

History

2026-11-02: add by m2/dev

1YNM3997XY 1YNM3997XY

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

Mentions

arxiv: arXiv 2610.01946#185M (definition). In NB1Z31FMXN/e1, definition 3.6

History

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

Locally interacting quasi-free vectors/states 1YNNBYK8FZ

URI	`m2://inv/1YNNBYK8FZ`
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.10840#U39S, Locally interacting quasi-free vectors/states (definition). In P0HKF5DY7M/e1, definition 2.1

History

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

1YNY7ZB6XK 1YNY7ZB6XK

URI	`m2://inv/1YNY7ZB6XK`
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.14380#4KIJ (statement). In 2ZRQP063HP/e1, lemma A.4

History

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

Complete order-$2$ classification 1YPAKBQQ9Z

URI	`m2://inv/1YPAKBQQ9Z`
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.10557#1WPD, Complete order-$2$ classification (statement). In D2MXWDTHWS/e1, proposition 17

History

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

1YPCBQYQH3 1YPCBQYQH3

URI	`m2://inv/1YPCBQYQH3`
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.12169#JL8L (statement). In 645GF9SFWM/e1, theorem 8

History

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

Results 1YPCC7SGAH

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

Mentions

wikipedia: Wikipedia Proof complexity#RD5K, Results (statement)

History

2026-11-02: add by m2/dev

General version of pumping lemma for regular languages 1YPE6XQXXN

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

Mentions

wikipedia: Wikipedia Pumping lemma for regular languages#D2V0, General version of pumping lemma for regular languages (statement)

History

2026-11-02: add by m2/dev

Partial regression plot 1YPM3SDBZW

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

Mentions

wikipedia: Wikipedia List of statistics articles#FAPF, Partial regression plot (definition)

History

2026-11-02: add by m2/dev

Rectifiability 1YPW1B7RSH

URI	`m2://inv/1YPW1B7RSH`
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 2304.02722#TQ66, Rectifiability (statement). In AH7D55D3WV/e1, lemma 10.1

History

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

Example 1YPYVCTG0D

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

Mentions

wikipedia: Wikipedia Lie bialgebra#MSJ1, Example (example)

History

2026-11-02: add by m2/dev

coversine 1YQ1WM7AN0

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

Mentions

wikidata: Wikidata Q1897347, coversine (unknown). Also MathWorld Coversine

History

2026-10-26: add by m2/dev

Hiroshi Kunita 1YQ3YMQPWZ

URI	`m2://inv/1YQ3YMQPWZ`
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#BGJH, Hiroshi Kunita (unknown)

History

2026-11-02: add by m2/dev

The Doctrine of Chances 1YQ4FW8S8T

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

Mentions

wikipedia: Wikipedia List of probability topics#KMBZ, The Doctrine of Chances (definition)

History

2026-11-02: add by m2/dev

Partition of a set 1YQ6HB1HDG

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

Mentions

wikipedia: Wikipedia List of partition topics#QFNM, Partition of a set (definition)

History

2026-11-02: add by m2/dev

conformal map projection 1YQ7VP8NT3

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

Mentions

wikidata: Wikidata Q1522071, conformal map projection (unknown). Also MathWorld ConformalProjection

History

2026-10-26: add by m2/dev

Logspace uniform 1YQ8GET5MQ

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

Mentions

wikipedia: Wikipedia Circuit complexity#6MXO, Logspace uniform (unknown)

History

2026-11-02: add by m2/dev

Young–Fibonacci lattice 1YQDDA799Q

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

Mentions

wikidata: Wikidata Q8058685, Young–Fibonacci lattice (unknown). Also nLab Young–Fibonacci lattice
wikipedia: Wikipedia Young–Fibonacci lattice, Young–Fibonacci lattice (definition). Also Wikidata Q8058685

History

2026-10-26: add by m2/dev

Statement 1YQPK4YBQS

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

Mentions

wikipedia: Wikipedia Pólya conjecture#TMQ1, Statement (statement)

History

2026-11-02: add by m2/dev

Non-numerical words for quantities 1YQTN3N6XX

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

Mentions

wikipedia: Wikipedia Non-numerical words for quantities, Non-numerical words for quantities (definition). Also Wikidata Q106390778

History

2026-11-02: add by m2/dev

Extensions 1YQZSBMKV1

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

Mentions

wikipedia: Wikipedia Generalized linear model#I0RT, Extensions (statement)

History

2026-11-02: add by m2/dev

Multiplication algorithm 1YR049SP3F

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

Mentions

wikipedia: Wikipedia List of algorithms#4BNL, Multiplication algorithm (definition)
wikipedia: Wikipedia List of algorithms#6XGC, Multiplication algorithm (definition)

History

2026-11-02: add by m2/dev

Henry Helson 1YR1Z38QE9

URI	`m2://inv/1YR1Z38QE9`
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#2K36, Henry Helson (topic)

History

2026-11-02: add by m2/dev

Example 1YR3P6M1JA

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

Mentions

wikipedia: Wikipedia Shannon–Fano coding#3K4J, Example (example)

History

2026-11-02: add by m2/dev

Stationary parameter 1YR9JM2231

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

Mentions

arxiv: arXiv 2609.22077#MIRD, Stationary parameter (statement)

History

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

Greg Graffin 1YRQKBA3CQ

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#SQNQ, Greg Graffin (unknown)

History

2026-11-02: add by m2/dev

Robust Estimation with Noisy Line Data 1YRWFZQMR2

URI	`m2://inv/1YRWFZQMR2`
Kind	example
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.24314#8CTV, Robust Estimation with Noisy Line Data (example)

History

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

Generalization 1YS9EKTRDE

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

Mentions

wikipedia: Wikipedia Matrix determinant lemma#GZBW, Generalization (statement)

History

2026-11-02: add by m2/dev

François Barrême 1YS9R0MYWK

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

Mentions

wikipedia: Wikipedia François Barrême, François Barrême (topic). Also Wikidata Q929921

History

2026-11-02: add by m2/dev

Great stellated triacontahedron 1YSB43Z8GF

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

Mentions

wikipedia: Wikipedia Great icosidodecahedron#7F3D, Great stellated triacontahedron (unknown)

History

2026-11-02: add by m2/dev

1YSCCGSD3K 1YSCCGSD3K

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

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/using-addition.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 72.1

History

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

Most Similar Systems Design 1YSDYW6Z0W

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

Mentions

wikipedia: Wikipedia Mill's methods#OLLH, Most Similar Systems Design (unknown)

History

2026-11-02: add by m2/dev

1YSGJAP7ZV 1YSGJAP7ZV

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

Mentions

arxiv: arXiv 2610.11047#Q4XA (statement). In MNQAZ70XTH/e1, lemma 10.3

History

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

1YSZVFTDWD 1YSZVFTDWD

URI	`m2://inv/1YSZVFTDWD`
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 0904.0817#ZA52 (definition). In 569FZDANV3/e1, definition 1.1

History

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

Patrick Suppes 1YT8Y367XN

URI	`m2://inv/1YT8Y367XN`
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 Q323107, Patrick Suppes (unknown). Also ProofWiki Mathematician:Patrick_Colonel_Suppes
wikipedia: Wikipedia Patrick Suppes, Patrick Suppes (topic). Also Wikidata Q323107

History

2026-10-26: add by m2/dev

Statistical relational learning 1YTFT3CDAB

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

Mentions

wikipedia: Wikipedia Statistical relational learning, Statistical relational learning (definition). Also Wikidata Q7604413

History

2026-11-02: add by m2/dev

1YTK7SC7TX 1YTK7SC7TX

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

Mentions

hott_book: hott_book categories.tex#proof-9 (proof). In N54F33XE07, proof, section 2.2

History

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

Erik Alfsen 1YTQ8K2T2F

URI	`m2://inv/1YTQ8K2T2F`
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 Q3428807, Erik Alfsen (unknown). Also nLab Erik Alfsen
wikipedia: Wikipedia Erik Alfsen, Erik Alfsen (topic). Also Wikidata Q3428807

History

2026-10-26: add by m2/dev

Amy Zegart 1YTRJ0GG2S

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#WR9T, Amy Zegart (unknown)

History

2026-11-02: add by m2/dev

Nick Trefethen 1YTY299BAF

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

Mentions

wikipedia: Wikipedia Nick Trefethen, Nick Trefethen (topic). Also Wikidata Q4505456

History

2026-11-02: add by m2/dev

1YV2A8ZD1X 1YV2A8ZD1X

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

Mentions

arxiv: arXiv 2610.20207#K64I (statement). In 1MPH7GCFJ2/e1, lemma 6.1

History

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

Valentin Evgenyevich Voskresenskii 1YV7PJSNHR

URI	`m2://inv/1YV7PJSNHR`
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#2FC0, Valentin Evgenyevich Voskresenskii (unknown)

History

2026-11-02: add by m2/dev

1YV88KMXXX 1YV88KMXXX

URI	`m2://inv/1YV88KMXXX`
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.23804#5G1R (statement)

History

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

Endpoint dual frame 1YV9QNSZPX

URI	`m2://inv/1YV9QNSZPX`
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.29147#MVN2, Endpoint dual frame (statement)

History

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

1YVHVXAY66 1YVHVXAY66

URI	`m2://inv/1YVHVXAY66`
Kind	problem
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 2603.29838#AGQ5 (problem). In KP0X1RKKKB/e1, problem 1.1

History

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

George Grätzer 1YVK6XQ3W2

URI	`m2://inv/1YVK6XQ3W2`
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 Q1028366, George Grätzer (unknown). Also ProofWiki Mathematician:George_A._Grätzer
wikipedia: Wikipedia George Grätzer, George Grätzer (topic). Also Wikidata Q1028366

History

2026-10-26: add by m2/dev

Random effects model 1YVP80YHQ6

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

Mentions

wikipedia: Wikipedia Random effects model, Random effects model (definition). Also Wikidata Q1826427

History

2026-11-02: add by m2/dev

Generalizations 1YVTTMPNRK

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

Mentions

wikipedia: Wikipedia Surface code#DBB2, Generalizations (statement)

History

2026-11-02: add by m2/dev

1YW0NC57X4 1YW0NC57X4

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

Mentions

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

History

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

1YW1BJFRDE 1YW1BJFRDE

URI	`m2://inv/1YW1BJFRDE`
Kind	statement
Layer	research
MSC	16-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 2210.17066#50LK (statement). In X2AEJAQEP8/e1, proposition 3.4

History

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

1YW7HQXG6F 1YW7HQXG6F

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

Mentions

arxiv: arXiv 2303.09207#CIGR (statement). In 9DQKY7KGE8/e1, corollary 5.13

History

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

Ecological regression 1YWHMY4W19

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

Mentions

wikipedia: Wikipedia List of statistics articles#8YW7, Ecological regression (definition)

History

2026-11-02: add by m2/dev

Median test 1YWKMWGARK

URI	`m2://inv/1YWKMWGARK`
Kind	definition
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.10840#E5DP, Median test (definition). In JSJQEPY71E/e1, definition 3.2

History

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

1YWP45KCP4 1YWP45KCP4

URI	`m2://inv/1YWP45KCP4`
Kind	statement
Layer	research
MSC	35-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.04895#2VUM (statement). In A7M06ZVYA8/e1, theorem 1.4

History

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

1YWZ8X0KVH 1YWZ8X0KVH

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

Mentions

arxiv: arXiv 2512.16003#IA3S (statement). In BJGS6ZCQ12/e1, lemma 7.10

History

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

ת 1YX71K61KN

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

Mentions

wikipedia: Wikipedia Glossary of set theory#QEQH, ת (definition)

History

2026-11-02: add by m2/dev

1YX8KAVXS5 1YX8KAVXS5

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

Mentions

arxiv: arXiv 2610.05403#UA2Y (statement). In PQGGCD09KP/e1, corollary 1.2

History

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

Small-shape Gamma and exponential radial limits 1YXDP1ZV0G

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

Mentions

arxiv: arXiv 2609.27752#9HQK, Small-shape Gamma and exponential radial limits (statement)

History

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

1YXE7ZSJ05 1YXE7ZSJ05

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

Mentions

arxiv: arXiv 2610.08583#MET5 (statement). In 5EKTECQ2P1/e1, theorem 2.13

History

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

Generalization 1YXG7VASHW

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

Mentions

wikipedia: Wikipedia Boltzmann's entropy formula#AGQ7, Generalization (statement)

History

2026-11-02: add by m2/dev

1YXGHN19EP 1YXGHN19EP

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

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/addition.tex#ordadditionrecursion (statement). In PKGMM3P5QY, lem, section 71.8

History

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

Sheila Greibach 1YXHQX0BA9

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#G9J8, Sheila Greibach (unknown)

History

2026-11-02: add by m2/dev

Dmitry Sychugov 1YXK16VVPB

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

Mentions

wikipedia: Wikipedia Dmitry Sychugov, Dmitry Sychugov (topic). Also Wikidata Q54007455

History

2026-11-02: add by m2/dev

Tits's simplicity theorem 1YXNN0CNS5

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

Mentions

wikipedia: Wikipedia (B, N) pair#8BPD, Tits's simplicity theorem (statement)

History

2026-11-02: add by m2/dev

1YXQABAX3R 1YXQABAX3R

URI	`m2://inv/1YXQABAX3R`
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.10581#14JT (statement). In 6V42A71SPC/e1, lemma 2

History

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

Katya Scheinberg 1YXREJ8E2X

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

Mentions

wikipedia: Wikipedia Katya Scheinberg, Katya Scheinberg (topic). Also Wikidata Q59777359

History

2026-11-02: add by m2/dev

Field equation 1YXRHV0CG2

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

Mentions

wikipedia: Wikipedia Field equation, Field equation (definition). Also Wikidata Q5447001

History

2026-11-02: add by m2/dev

Algebraic comparison 1YY125QB8F

URI	`m2://inv/1YY125QB8F`
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 2610.14069#NWF8, Algebraic comparison (statement). In ABYRBVNC3Y/e1, theorem 3.3

History

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

1YY5DC1H9K 1YY5DC1H9K

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

Mentions

arxiv: arXiv 2501.01612#U16T (statement). In A5KESSK05N/e1, proposition 2.6

History

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

1YY8A08T5K 1YY8A08T5K

URI	`m2://inv/1YY8A08T5K`
Kind	statement
Layer	research
MSC	03-XX, 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 2610.04870#OIFU (statement). In X765ZXXVC3/e1, proposition 5.7

History

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

Examples 1YY8GRPJVC

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

Mentions

wikipedia: Wikipedia Homology manifold#HYKZ, Examples (example)

History

2026-11-02: add by m2/dev

Mark Pollicott 1YYAHM5CXH

URI	`m2://inv/1YYAHM5CXH`
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 Q6769288, Mark Pollicott (unknown). Also nLab Mark Pollicott
wikipedia: Wikipedia Mark Pollicott, Mark Pollicott (topic). Also Wikidata Q6769288

History

2026-10-26: add by m2/dev

Dvoretzky–Kiefer–Wolfowitz inequality 1YYD5GYN8T

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

Mentions

wikipedia: Wikipedia List of statistics articles#04V4, Dvoretzky–Kiefer–Wolfowitz inequality (statement)
wikipedia: Wikipedia List of inequalities#QIJ9, Dvoretzky–Kiefer–Wolfowitz inequality (statement)

History

2026-11-02: add by m2/dev

1YYF592SY7 1YYF592SY7

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

Mentions

napkin: napkin tex/H113/ring-flavors.tex#example-5 (example). In RZP28ERRZV, example, section 4.5

History

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

Method of lines 1YYQARMJTG

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

Mentions

wikipedia: Wikipedia Method of lines, Method of lines (definition). Also Wikidata Q1826712

History

2026-11-02: add by m2/dev

1YYR1VHH7C 1YYR1VHH7C

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

Mentions

arxiv: arXiv 2610.20131#OUQP (statement). In 29D4TTE3J2/e1, theorem 2.2

History

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

Tsetlin machine 1YYTB5PXF6

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

Mentions

wikipedia: Wikipedia Tsetlin machine, Tsetlin machine (definition). Also Wikidata Q52568141

History

2026-11-02: add by m2/dev

normed vector space over a normed field 1YYTVJKRKT

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

Mentions

mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > normed vector space over a normed field, normed vector space over a normed field (unknown). Also Mathlib NormedSpace

History

2026-10-26: add by m2/dev

1YYYSJQ8K2 1YYYSJQ8K2

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

Mentions

arxiv: arXiv 2610.11902#8W9F (statement). In K66QKM4N5E/e1, lemma 2.9

History

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

Extendible cardinal 1YZ09KY08F

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#7EHW, Extendible cardinal (definition)

History

2026-11-02: add by m2/dev

Forced quadratic socle 1YZ2DBSY6X

URI	`m2://inv/1YZ2DBSY6X`
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 2609.31689#H70I, Forced quadratic socle (statement). In Z7M2JSF6HA/e1, theorem 8.7

History

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

1YZ5HMZT0C 1YZ5HMZT0C

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

Mentions

arxiv: arXiv 2609.28677#53ZI (statement)

History

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

1YZ647YA8N 1YZ647YA8N

URI	`m2://inv/1YZ647YA8N`
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.10365#SCJB (statement). In PRVQPSBVHK/e1, proposition 2

History

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

Harries graph 1YZ68FHF9R

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

Mentions

wikidata: Wikidata Q3115500, Harries graph (unknown). Also House of Graphs 1146, MathWorld HarriesGraph

History

2026-10-26: add by m2/dev

Cinco Ranch 1YZTDV29E9

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

Mentions

wikipedia: Wikipedia List of places with numeric names#S7UZ, Cinco Ranch (unknown)

History

2026-11-02: add by m2/dev

Effective descriptive set theory 1YZXWCJZW2

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

Mentions

wikipedia: Wikipedia Effective descriptive set theory, Effective descriptive set theory (topic). Also Wikidata Q5347253

History

2026-11-02: add by m2/dev