Inventory rows MY

Special cases MY0TFXW522

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

Mentions

wikipedia: Wikipedia Probability box#CW5O, Special cases (statement)

History

2026-11-02: add by m2/dev

Supnick matrix MY0WMECE9E

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

Mentions

wikipedia: Wikipedia Supnick matrix, Supnick matrix (definition). Also Wikidata Q17103829

History

2026-11-02: add by m2/dev

Ming-Yen Cheng MY10C6RH0Q

URI	`m2://inv/MY10C6RH0Q`
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#BLEF, Ming-Yen Cheng (topic)

History

2026-11-02: add by m2/dev

MY125M11N9 MY125M11N9

URI	`m2://inv/MY125M11N9`
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.14615#988J (statement). In 7D5MMP8XB5/e1, theorem 1.4

History

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

Ward regime MY14C4G6BT

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

Mentions

arxiv: arXiv 2610.20593#EJTN, Ward regime (definition). In 7GMD8J4200/e1, definition 5

History

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

Uses MY194JTS5W

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

Mentions

wikipedia: Wikipedia Apéry's constant#0H7B, Uses (example)

History

2026-11-02: add by m2/dev

MY1EQKS828 MY1EQKS828

URI	`m2://inv/MY1EQKS828`
Kind	statement
Layer	research
MSC	11-XX, 37-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.24623#FVO9 (statement)

History

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

Johann Georg Hagen MY1QSZKZH5

URI	`m2://inv/MY1QSZKZH5`
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#Z69A, Johann Georg Hagen (unknown)

History

2026-11-02: add by m2/dev

Newest-policy reduction MY1XBJ2FD5

URI	`m2://inv/MY1XBJ2FD5`
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.10393#NQB8, Newest-policy reduction (statement). In ZGS97E3PB7/e1, lemma 1

History

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

Applications MY1Y6BQFAG

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

Mentions

wikipedia: Wikipedia Fibonacci cube#1D73, Applications (example)

History

2026-11-02: add by m2/dev

John Venn MY20S9BZJZ

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

Mentions

wikipedia: Wikipedia List of logicians#44X5, John Venn (topic)

History

2026-11-02: add by m2/dev

Kaplansky unit conjecture MY22ZVBD3G

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

Mentions

wikipedia: Wikipedia Kaplansky's conjectures#IA2J, Kaplansky unit conjecture (unknown)

History

2026-11-02: add by m2/dev

Sue Geller MY24ZN073G

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

Mentions

wikipedia: Wikipedia Sue Geller, Sue Geller (topic). Also Wikidata Q62604401

History

2026-11-02: add by m2/dev

Miller–Rabin primality test MY267GG931

URI	`m2://inv/MY267GG931`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Miller–Rabin primality test 0SZCSYHW60

Mentions

wikidata: Wikidata Q980224, Miller–Rabin primality test (unknown). Also MathWorld Rabin-MillerStrongPseudoprimeTest
wikipedia: Wikipedia Miller–Rabin primality test, Miller–Rabin primality test (definition). Also Wikidata Q980224

History

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

MY2BSP8SMF MY2BSP8SMF

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

Mentions

open_logic: open_logic content/sets-functions-relations/size-of-sets/equinumerous-sets.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 83.6

History

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

MY2EWK1GBK MY2EWK1GBK

URI	`m2://inv/MY2EWK1GBK`
Kind	statement
Layer	research
MSC	20-XX, 22-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.14045#KOC7 (statement). In KZ71GXT2B0/e1, proposition 3.16

History

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

MY2FND383T MY2FND383T

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

Mentions

arxiv: arXiv 2610.03688#7WJJ (example). In HMWJQY9NAP/e1, example 2

History

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

MY2Q373NNB MY2Q373NNB

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

Mentions

arxiv: arXiv 1910.05504#ZBO5 (statement). In 6ZR1NC9Z1S/e1, lemma 3.3

History

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

Statement MY2QAJA2JX

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

Mentions

wikipedia: Wikipedia Kadison transitivity theorem#TZIR, Statement (statement)

History

2026-11-02: add by m2/dev

Sidorenko's conjecture MY2TFVG7S7

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#ALGM, Sidorenko's conjecture (statement)

History

2026-11-02: add by m2/dev

MY34NJBCSX MY34NJBCSX

URI	`m2://inv/MY34NJBCSX`
Kind	definition
Layer	research
MSC	26-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 2609.35577#DJ9X (definition). In 4F8QRV05BV/e1, definition 2.8

History

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

MY36DDXY61 MY36DDXY61

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

Mentions

arxiv: arXiv 2610.17817#IFR0 (definition). In M8TSJ24RC2/e1, definition 2.4

History

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

MY37M034QA MY37M034QA

URI	`m2://inv/MY37M034QA`
Kind	exercise
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#prob-1 (exercise). In PKGMM3P5QY, prob, section 50.7

History

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

Vitushkin's conjecture MY38ET3VWV

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

Mentions

wikipedia: Wikipedia Analytic capacity#3168, Vitushkin's conjecture (statement)

History

2026-11-02: add by m2/dev

Climatology MY3A0H93AF

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#O5T9, Climatology (unknown)

History

2026-11-02: add by m2/dev

MY3BS240GA MY3BS240GA

URI	`m2://inv/MY3BS240GA`
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.33679#PX2P (statement). In 3N9E9T6AF5/e1, lemma 2.7

History

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

Marion Elizabeth Stark MY3DV0F8YC

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

Mentions

wikipedia: Wikipedia Marion Elizabeth Stark, Marion Elizabeth Stark (topic). Also Wikidata Q42860908

History

2026-11-02: add by m2/dev

MY3E353P0Y MY3E353P0Y

URI	`m2://inv/MY3E353P0Y`
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.19513#G71C (statement). In Q557CNT758/e1, theorem 4.4

History

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

MY3MX7FQK1 MY3MX7FQK1

URI	`m2://inv/MY3MX7FQK1`
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 2110.11783#TAB4 (statement). In X2YDBWNCBT/e1, theorem A

History

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

MY3NTXC6BR MY3NTXC6BR

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

Mentions

arxiv: arXiv 2609.38228#SU60 (statement). In 9YAE8FNQST/e1, lemma 6.7

History

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

Applications MY3SQK1WNF

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

Mentions

wikipedia: Wikipedia GF(2)#FNFE, Applications (example)

History

2026-11-02: add by m2/dev

MY3TWK8KFC MY3TWK8KFC

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

Mentions

arxiv: arXiv 2609.37450#5GHW (definition). In FP05Z6EBV4/e1, definition 2.8

History

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

Properties MY43RN9DVJ

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

Mentions

wikipedia: Wikipedia Apéry's constant#5BOL, Properties (statement)

History

2026-11-02: add by m2/dev

Antiinvolution MY43SJKMVQ

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

Mentions

arxiv: arXiv 2610.12483#W9CK, Antiinvolution (statement). In 159250CY6S/e1, proposition 7.2

History

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

Bycroft, Christine MY48JPBKRM

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

Mentions

wikipedia: Wikipedia List of statisticians#9329, Bycroft, Christine (topic)

History

2026-11-02: add by m2/dev

MY48ZBSC2W MY48ZBSC2W

URI	`m2://inv/MY48ZBSC2W`
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.21975#LYAF (statement)

History

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

MY4FPC7SMS MY4FPC7SMS

URI	`m2://inv/MY4FPC7SMS`
Kind	conjecture
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.38664#SHEJ (conjecture). In 7BCDS9M8MC/e1, conjecture 1.5

History

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

Common analytical estimate MY4FPQZXX7

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

Mentions

arxiv: arXiv 2609.35325#DHE6, Common analytical estimate (statement). In GHT5WXFA4E/e1, proposition 4.5

History

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

Robert Berger MY4SPNZ70G

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

Mentions

wikipedia: Wikipedia Robert Berger (mathematician), Robert Berger (topic). Also Wikidata Q7342045

History

2026-11-02: add by m2/dev

MY4VVJ3ZVH MY4VVJ3ZVH

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

Mentions

arxiv: arXiv 2610.21494#ATRJ (statement). In ZWT4C1DYPE/e1, theorem 8.5

History

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

Example MY4WWPA2K9

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

Mentions

wikipedia: Wikipedia Bray–Curtis dissimilarity#DDVL, Example (example)

History

2026-11-02: add by m2/dev

MY50B3FMG3 MY50B3FMG3

URI	`m2://inv/MY50B3FMG3`
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 2406.19866#15RF (statement). In 9F94CEQ1ZM/e1, corollary 5.6

History

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

Torus Covers for pairs MY54KG3AG3

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

Mentions

arxiv: arXiv 2610.21358#OBC0, Torus Covers for pairs (statement). In XV70TXYS5A/e1, theorem 6

History

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

Lindemann–Weierstrass Theorem (Baker's reformulation). MY59QXCC78

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

Mentions

wikipedia: Wikipedia Lindemann–Weierstrass theorem#9L0R, Lindemann–Weierstrass Theorem (Baker's reformulation). (statement)

History

2026-11-02: add by m2/dev

Sykes, William Henry MY5DW3QJCD

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

Mentions

wikipedia: Wikipedia List of statisticians#0479, Sykes, William Henry (unknown)

History

2026-11-02: add by m2/dev

Linear flow on the torus MY5QMY03K7

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

Mentions

wikipedia: Wikipedia List of topologies#RAR7, Linear flow on the torus (definition)

History

2026-11-02: add by m2/dev

MY5T0BKGTY MY5T0BKGTY

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-50 (proof). In VNMV985MXX, proof, section 3.3

History

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

Woodin MY5T46D3ZB

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

Mentions

wikipedia: Wikipedia List of large cardinal properties#6QRL, Woodin (definition)

History

2026-11-02: add by m2/dev

Quantum algebra MY64WC5Q8K

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

Mentions

wikipedia: Wikipedia Quantum algebra, Quantum algebra (definition). Also Wikidata Q7269009

History

2026-11-02: add by m2/dev

MY66R9RZNJ MY66R9RZNJ

URI	`m2://inv/MY66R9RZNJ`
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.03497#31C1 (statement). In RRNHC0CAC9/e1, proposition

History

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

Carl Friedrich Gauss Prize MY68T0EAK3

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

Mentions

wikidata: Wikidata Q1036512, Carl Friedrich Gauss Prize (unknown). Also MathWorld GaussPrize

History

2026-10-26: add by m2/dev

Representations MY6BB0757B

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

Mentions

wikipedia: Wikipedia String (computer science)#ZSCL, Representations (definition)

History

2026-11-02: add by m2/dev

MY6J7DMGZ8 MY6J7DMGZ8

URI	`m2://inv/MY6J7DMGZ8`
Kind	problem
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.06340#4NIS (problem). In PKNZPECH82/e1, problem 11.4

History

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

Stability at each fixed index MY6JFCHFQG

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

Mentions

arxiv: arXiv 2609.22027#HZ9N, Stability at each fixed index (statement)

History

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

Meromorphic expansion of the resolvent kernel MY6QZKHEWT

URI	`m2://inv/MY6QZKHEWT`
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#JKQL, Meromorphic expansion of the resolvent kernel (statement). In K0BXT951HT/e1, theorem 2.5

History

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

Joseph Leonard Walsh MY6T2G143K

URI	`m2://inv/MY6T2G143K`
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#82VU, Joseph Leonard Walsh (topic)

History

2026-11-02: add by m2/dev

ABX comparator MY6TXJ8SZY

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

Mentions

wikipedia: Wikipedia ABX test#F9XM, ABX comparator (definition)

History

2026-11-02: add by m2/dev

MY6XTTBZ7Y MY6XTTBZ7Y

URI	`m2://inv/MY6XTTBZ7Y`
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 2011.06637#H2UJ (example). In KFCJ5CFP3G/e1, example 2.6

History

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

Volume conjecture MY74E1JBGS

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#2AU8, Volume conjecture (conjecture)

History

2026-11-02: add by m2/dev

MY74ESQHXQ MY74ESQHXQ

URI	`m2://inv/MY74ESQHXQ`
Kind	definition
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#XP9J (definition). In 9DQKY7KGE8/e1, definition 6.35

History

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

Statement MY7B8425AF

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

Mentions

wikipedia: Wikipedia Markov–Kakutani fixed-point theorem#XS48, Statement (statement)

History

2026-11-02: add by m2/dev

reducible matrix MY7EZGA74B

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

Mentions

wikidata: Wikidata Q119720261, reducible matrix (unknown). Also MathWorld ReducibleMatrix

History

2026-10-26: add by m2/dev

MY7G8R99S5 MY7G8R99S5

URI	`m2://inv/MY7G8R99S5`
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.16668#47UC (statement). In W7GPN2AHHM/e1, proposition 4.2

History

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

Suzuki--Tits graph MY7QH39A74

URI	`m2://inv/MY7QH39A74`
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.35361#CWVZ, Suzuki--Tits graph (statement). In E4PGMSEQTS/e1, lemma 2.1

History

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

MY82PY4K01 MY82PY4K01

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 5.7

History

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

Archimedes' screw MY85C9VMEW

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

Mentions

wikipedia: Wikipedia List of things named after Archimedes#C7OM, Archimedes' screw (unknown)

History

2026-11-02: add by m2/dev

gauged supergravity MY8AMGZ48K

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

Mentions

wikidata: Wikidata Q5527637, gauged supergravity (unknown). Also nLab gauged supergravity

History

2026-10-26: add by m2/dev

Arne Meurman MY8CMT0949

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

Mentions

wikipedia: Wikipedia Arne Meurman, Arne Meurman (topic). Also Wikidata Q177202

History

2026-11-02: add by m2/dev

MY8KC1421H MY8KC1421H

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

Mentions

arxiv: arXiv 2609.21703#EPMW (statement)

History

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

MY8N59CX8W MY8N59CX8W

URI	`m2://inv/MY8N59CX8W`
Kind	definition
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#4EVZ (definition)

History

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

Connect-the-dots in Block-Weinberger MY8ND5SKJA

URI	`m2://inv/MY8ND5SKJA`
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 2009.11127#IFNZ, Connect-the-dots in Block-Weinberger (statement). In QEFS0Y021A/e1, proposition 8.3

History

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

Normal moveout MY8RW10X7C

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

Mentions

wikipedia: Wikipedia Normal moveout, Normal moveout (definition). Also Wikidata Q7051818

History

2026-11-02: add by m2/dev

Zero smash products MY8V7AKW67

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

Mentions

arxiv: arXiv 2610.12014#WNWT, Zero smash products (statement). In DR7BK4CQ0V/e1, lemma 2.1

History

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

Casanova's Lottery MY8VMK2XHE

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

Mentions

wikipedia: Wikipedia Casanova's Lottery, Casanova's Lottery (definition). Also Wikidata Q131320511

History

2026-11-02: add by m2/dev

Teichmüller–Tukey lemma MY8Z7S31V5

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

Mentions

wikidata: Wikidata Q277987, Teichmüller–Tukey lemma (statement). Also ProofWiki Tukey's_Lemma
wikipedia: Wikipedia Teichmüller–Tukey lemma, Teichmüller–Tukey lemma (statement). Also Wikidata Q277987

History

2026-10-26: add by m2/dev

Jonathan Borwein MY91JW3M35

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BO6J, Jonathan Borwein (topic)

History

2026-11-02: add by m2/dev

Fitted sequence MY9CVP9YZZ

URI	`m2://inv/MY9CVP9YZZ`
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 math/0003117#J4OA, Fitted sequence (definition). In WD2NCBV9F0/e1, definition 5.6

History

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

Properties MY9DGJVGRF

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

Mentions

wikipedia: Wikipedia Laurent polynomial#31SV, Properties (statement)

History

2026-11-02: add by m2/dev

MY9G68PPF2 MY9G68PPF2

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

Mentions

arxiv: arXiv 2610.06338#XYOK (statement). In F1CYVYK7YB/e1, proposition 9.2

History

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

Lower bounds on $\|e^{t\mathcal{L}}\|$ MY9T5YGEET

URI	`m2://inv/MY9T5YGEET`
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.01501#H7BL, Lower bounds on $\|e^{t\mathcal{L}}\|$ (statement). In 8Q2PXZDGB5/e1, theorem 3.2

History

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

natural numbers MY9WGKRZ7S

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

Mentions

hott_book: hott_book index/4.2.9/natural-numbers, natural numbers (concept). In N54F33XE07, index, section 4.2.9

History

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

domain MY9WWH6N7J

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

Mentions

levin_dmoi: levin_dmoi index/1.4/domain, domain (concept). In Y91XFCEVHQ, index, section 1.4

History

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

MY9XM3ZH70 MY9XM3ZH70

URI	`m2://inv/MY9XM3ZH70`
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#UT9S (statement). In MNQAZ70XTH/e1, lemma 12.1

History

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

MYA53R4BM6 MYA53R4BM6

URI	`m2://inv/MYA53R4BM6`
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.00271#Q0T2 (statement). In T1NSCAZS28/e1, proposition 2.2

History

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

Social comparison bias MYA8264NGN

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

Mentions

wikipedia: Wikipedia List of cognitive biases#KY60, Social comparison bias (unknown)

History

2026-11-02: add by m2/dev

MYAE2ZP43X MYAE2ZP43X

URI	`m2://inv/MYAE2ZP43X`
Kind	statement
Layer	research
MSC	03-XX, 16-XX, 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.03601#3UQC (statement). In F7TDYCHCSE/e1, theorem 5.7

History

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

MYAQ9W4HVG MYAQ9W4HVG

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

History

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

MYASAYFWGZ MYASAYFWGZ

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

Mentions

arxiv: arXiv 2609.29631#IMA3 (statement)

History

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

Eleanor Feingold MYAYYXDD4Y

URI	`m2://inv/MYAYYXDD4Y`
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#72MV, Eleanor Feingold (unknown)

History

2026-11-02: add by m2/dev

Galois theory MYB1R4M78D

URI	`m2://inv/MYB1R4M78D`
Kind	definition
Layer	textbook
MSC	11R32, 12F10
Sources	2
Outcome	open
Node	Galois theory WNQDKQYZ2R

Mentions

wikidata: Wikidata Q92552, Galois theory (topic). Also EoM Galois_theory, MathWorld GaloisTheory, nLab Galois theory, ProofWiki Definition:Galois_Theory
wikipedia: Wikipedia Galois theory, Galois theory (definition). Also Wikidata Q92552

History

2026-10-26: add by m2/dev

Theorem (Burnside) MYB385TWQB

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

Mentions

wikipedia: Wikipedia Invariant subspace#FS9L, Theorem (Burnside) (statement)

History

2026-11-02: add by m2/dev

MYB452Y25A MYB452Y25A

URI	`m2://inv/MYB452Y25A`
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.36181#QVHN (statement). In 1KSE33PVS6/e1, lemma 85

History

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

MYBJ0EAKHS MYBJ0EAKHS

URI	`m2://inv/MYBJ0EAKHS`
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.06246#N9JQ (statement). In EXZHBFRJ63/e1, lemma 5.1

History

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

Heilbronn Institute for Mathematical Research MYBS8JJA0S

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

Mentions

wikipedia: Wikipedia Heilbronn Institute for Mathematical Research, Heilbronn Institute for Mathematical Research (definition). Also Wikidata Q50040120

History

2026-11-02: add by m2/dev

MYBX8M5GMZ MYBX8M5GMZ

URI	`m2://inv/MYBX8M5GMZ`
Kind	problem
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 2403.15255#MHBJ (problem). In G691MXMYW0/e1, problem 5.2

History

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

Interaction MYBXGSV7BR

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

Mentions

wikipedia: Wikipedia Interaction (statistics), Interaction (definition). Also Wikidata Q1665869

History

2026-11-02: add by m2/dev

MYC0RPPSTZ MYC0RPPSTZ

URI	`m2://inv/MYC0RPPSTZ`
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 2211.14214#6YRC (statement). In SY85Y9E45A/e1, lemma 50

History

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

MYC2PMTW37 MYC2PMTW37

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

Mentions

arxiv: arXiv 2204.04265#97I8 (statement). In YHA9M56TBB/e1, theorem 1.3

History

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

Examples MYC40QBTQ7

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

Mentions

wikipedia: Wikipedia Probabilistic encryption#02NT, Examples (example)

History

2026-11-02: add by m2/dev

MYC6MZ3EX4 MYC6MZ3EX4

URI	`m2://inv/MYC6MZ3EX4`
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.35642#SOCG (statement). In D905BX98TP/e1, lemma 3.10

History

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

MYC8GBH15Z MYC8GBH15Z

URI	`m2://inv/MYC8GBH15Z`
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 1903.07030#GA63 (statement). In 9H45HQE7AZ/e1, proposition 7.10

History

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

Gradient estimate MYC91DN0NK

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

Mentions

arxiv: arXiv 2609.39726#Y906, Gradient estimate (statement). In 4CTC8A57SD/e1, theorem 1.1

History

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

Standard version of the theorem MYCAJB01EA

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

Mentions

wikipedia: Wikipedia Vermeil's theorem#8EJ1, Standard version of the theorem (statement)

History

2026-11-02: add by m2/dev

Damage MYCGRN05AJ

URI	`m2://inv/MYCGRN05AJ`
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 math/0003117#GGD4, Damage (definition). In WD2NCBV9F0/e1, definition 10.2

History

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

model MYCJ6511QC

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#9H7S, model (definition)

History

2026-11-02: add by m2/dev

Scalar calculus under a common bound MYCQY636FX

URI	`m2://inv/MYCQY636FX`
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.27641#ZV8I, Scalar calculus under a common bound (statement)

History

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

Phylogenetic autocorrelation MYCXGB6T0J

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

Mentions

wikipedia: Wikipedia Phylogenetic autocorrelation, Phylogenetic autocorrelation (definition). Also Wikidata Q5519373

History

2026-11-02: add by m2/dev

Definition MYD03FRM7Q

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

Mentions

wikipedia: Wikipedia Temporal parts#14LJ, Definition (definition)

History

2026-11-02: add by m2/dev

Applications MYD1YKYV5C

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

Mentions

wikipedia: Wikipedia Action principles#BEN4, Applications (example)

History

2026-11-02: add by m2/dev

Extensions of the theorem MYD4M0N1CE

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

Mentions

wikipedia: Wikipedia Ramsey's theorem#YI1Y, Extensions of the theorem (statement)

History

2026-11-02: add by m2/dev

contravariant vector MYD6ZHTAK3

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

Mentions

wikidata: Wikidata Q7253388, contravariant vector (unknown). Also MathWorld ContravariantVector

History

2026-10-26: add by m2/dev

MYD8Y0METE MYD8Y0METE

URI	`m2://inv/MYD8Y0METE`
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.05327#PCCO (statement). In ZD7BWDKT84/e1, proposition 8.9

History

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

simplex quotients MYDGRN1PXP

URI	`m2://inv/MYDGRN1PXP`
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.32733#IG45, simplex quotients (statement). In PCAS8S14J6/e1, corollary D.2

History

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

MYDJF3DXS2 MYDJF3DXS2

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

Mentions

arxiv: arXiv 2610.21092#XMMB (statement). In AGJE43FTF8/e1, theorem III

History

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

Induced graphs, subgraphs MYDS9DCNA6

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

Mentions

arxiv: arXiv 2609.25188#ZCEO, Induced graphs, subgraphs (definition)

History

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

\bf Deterministic derivative-only lower bound MYDTX0FVKA

URI	`m2://inv/MYDTX0FVKA`
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.16295#4PPW, \bf Deterministic derivative-only lower bound (statement). In J1SKCVMNCB/e1, theorem 4.1

History

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

MYDVTK62QZ MYDVTK62QZ

URI	`m2://inv/MYDVTK62QZ`
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 2406.01499#IHHD (statement). In B32K3KBEKC/e1, theorem 1.2

History

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

Applications MYE6H7TMNS

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

Mentions

wikipedia: Wikipedia Mealy machine#T7C4, Applications (example)

History

2026-11-02: add by m2/dev

MYEBFP0SDB MYEBFP0SDB

URI	`m2://inv/MYEBFP0SDB`
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.28803#7W34 (statement)

History

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

Hardin, Garrett MYECQ3HN5X

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

Mentions

wikipedia: Wikipedia List of statisticians#0WE2, Hardin, Garrett (unknown)

History

2026-11-02: add by m2/dev

MYEFJVB35B MYEFJVB35B

URI	`m2://inv/MYEFJVB35B`
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.32104#TXRT (statement). In YRJSYFXNM8/e1, lemma 5.5

History

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

Algebraic properties MYEJDB2GAY

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

Mentions

wikipedia: Wikipedia Minkowski functional#3BKR, Algebraic properties (statement)

History

2026-11-02: add by m2/dev

MYEK1170KJ MYEK1170KJ

URI	`m2://inv/MYEK1170KJ`
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 2309.08900#1NN0 (statement). In 8X74NB6XBC/e1, theorem 2.1

History

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

MYENJRD3DM MYENJRD3DM

URI	`m2://inv/MYENJRD3DM`
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.26307#4F6G (statement)

History

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

Statement MYEPXNBB2J

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

Mentions

wikipedia: Wikipedia Proper forcing axiom#GH2L, Statement (statement)

History

2026-11-02: add by m2/dev

MYESVMF4B1 MYESVMF4B1

URI	`m2://inv/MYESVMF4B1`
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.30544#IV2X (statement). In CB35ZBBBPT/e1, proposition 3.19

History

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

MYFGVJBR4C MYFGVJBR4C

URI	`m2://inv/MYFGVJBR4C`
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-consistency.tex#prop:provability-exhaustive (statement). In PKGMM3P5QY, prop, section 8.7

History

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

Sequential trimming guarantee MYFW28NFZT

URI	`m2://inv/MYFW28NFZT`
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.28160#MVZI, Sequential trimming guarantee (statement)

History

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

Jacobi--Trudi Identity MYFWT0GA9D

URI	`m2://inv/MYFWT0GA9D`
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.21645#16VE, Jacobi--Trudi Identity (statement)

History

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

List of data structures MYFX6Q072G

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

Mentions

wikipedia: Wikipedia List of theorems#L4PL, List of data structures (unknown)

History

2026-11-02: add by m2/dev

Definition MYG6EWPDV9

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

Mentions

wikipedia: Wikipedia Gromoll–Meyer sphere#V1KH, Definition (definition)

History

2026-11-02: add by m2/dev

Kin selection MYG8MJ2GHY

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

Mentions

wikipedia: Wikipedia Kin selection, Kin selection (definition). Also Wikidata Q741598

History

2026-11-02: add by m2/dev

MYGQ90MHWW MYGQ90MHWW

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

Mentions

arxiv: arXiv 2609.31907#QCLM (statement). In 6B2PCEGCYZ/e1, theorem 1.2

History

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

$k$-sorted function MYGSYJNG93

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

Mentions

arxiv: arXiv 2610.12484#WB2G, $k$-sorted function (definition). In GW23NX78SB/e1, definition 2.11

History

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

Examples MYGWSBXSG9

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

Mentions

wikipedia: Wikipedia Negative pedal curve#4YJ1, Examples (example)

History

2026-11-02: add by m2/dev

MYH1CHS6YP MYH1CHS6YP

URI	`m2://inv/MYH1CHS6YP`
Kind	statement
Layer	research
MSC	16-XX, 19-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.23527#G0P4 (statement)

History

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

Exponential object. MYH1JH0JGC

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

Mentions

wikipedia: Wikipedia Adjoint functors#Y9WU, Exponential object. (definition)

History

2026-11-02: add by m2/dev

MYH6VFFMR7 MYH6VFFMR7

URI	`m2://inv/MYH6VFFMR7`
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.35467#372Q (statement). In FK89DQ9J4S/e1, corollary 7.4

History

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

MYH7M7NN9D MYH7M7NN9D

URI	`m2://inv/MYH7M7NN9D`
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.27830#3N04 (statement)

History

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

Umbrella review MYH98JH2QQ

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

Mentions

wikipedia: Wikipedia Umbrella review, Umbrella review (definition). Also Wikidata Q104859001

History

2026-11-02: add by m2/dev

MYH9H6FA4M MYH9H6FA4M

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

Mentions

applied_combinatorics: applied_combinatorics source/s_polya_exercises.ptx#exercise-5 (exercise). In QKM9DD2H56, exercise, section 15

History

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

Non-horizontal cycles use one transfer edge per block MYHMJ4QPA0

URI	`m2://inv/MYHMJ4QPA0`
Kind	statement
Layer	research
MSC	16-XX, 35-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 2609.26055#V4B5, Non-horizontal cycles use one transfer edge per block (statement)

History

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

Corollary 1 MYHRZGZ527

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

Mentions

wikipedia: Wikipedia Space hierarchy theorem#DTIR, Corollary 1 (statement)

History

2026-11-02: add by m2/dev

MYHWCC5Q2H MYHWCC5Q2H

URI	`m2://inv/MYHWCC5Q2H`
Kind	statement
Layer	research
MSC	20-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.06699#YZLP (statement). In GXHKRV5BPY/e1, lemma B.2

History

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

Helmut Veith MYHWJ1SKVQ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#DNEM, Helmut Veith (unknown)

History

2026-11-02: add by m2/dev

MYHYGGSAFC MYHYGGSAFC

URI	`m2://inv/MYHYGGSAFC`
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.15504#Z2QT (statement). In AZ8SEW6HAV/e1, corollary 5

History

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

Formal definition MYJ31MS05Y

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

Mentions

wikipedia: Wikipedia Dempster–Shafer theory#8X6W, Formal definition (definition)

History

2026-11-02: add by m2/dev

Mahābhāskarīya MYJ4CS522F

URI	`m2://inv/MYJ4CS522F`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q120681344, Mahābhāskarīya (unknown). Also ProofWiki Book:Bhaskara_I/Mahabhaskariya

History

2026-10-26: add by m2/dev

MYJ4RBYG4Z MYJ4RBYG4Z

URI	`m2://inv/MYJ4RBYG4Z`
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.20225#RUMZ (statement)

History

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

Euler's totient function MYJF8BKNXK

URI	`m2://inv/MYJF8BKNXK`
Kind	definition
Layer	textbook
MSC	11-XX
Sources	4
Outcome	node (a node has the same name as the row)
Node	Euler's totient function 0DAMHCT17R

Mentions

mathlib_1000: mathlib_1000 Q190026, Ford's theorem (statement). Also Wikidata Q190026
thousand_plus: thousand_plus Q190026, Ford's theorem (statement). Also Wikidata Q190026
wikidata: Wikidata Q190026, Euler's totient function (definition). Also EoM Euler_function, MathWorld TotientFunction, OEIS A000010, ProofWiki Definition:Euler_Phi_Function
wikipedia: Wikipedia Euler's totient function, Euler's totient function (definition). Also Wikidata Q190026

History

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

MYJVXQ55ZS MYJVXQ55ZS

URI	`m2://inv/MYJVXQ55ZS`
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.08052#1I7F (statement). In 672XAVEQ34/e1, lemma 3.7

History

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

Grauert–Riemenschneider vanishing theorem MYJZWVB5DC

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#99DC, Grauert–Riemenschneider vanishing theorem (definition)

History

2026-11-02: add by m2/dev

Example MYKAS973RA

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

Mentions

wikipedia: Wikipedia Characteristic function (probability theory)#3UML, Example (example)

History

2026-11-02: add by m2/dev

Lemma MYKBGV4X22

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

Mentions

wikipedia: Wikipedia Bramble–Hilbert lemma#3LAX, Lemma (statement)

History

2026-11-02: add by m2/dev

disdyakis dodecahedron MYKFV3DBCC

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

Mentions

wikidata: Wikidata Q1586734, disdyakis dodecahedron (object). Also MathWorld DisdyakisDodecahedron
wikipedia: Wikipedia Disdyakis dodecahedron, Disdyakis dodecahedron (definition). Also Wikidata Q1586734

History

2026-10-26: add by m2/dev

Geodesic spray MYKGT4YK3K

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

Mentions

wikipedia: Wikipedia Geodesic#S76M, Geodesic spray (unknown)

History

2026-11-02: add by m2/dev

Applications MYKH0T3ZHZ

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

Mentions

wikipedia: Wikipedia Coordinate-free#YY3T, Applications (example)

History

2026-11-02: add by m2/dev

Mark Steiner MYKJ62BH9S

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#4O2X, Mark Steiner (unknown)

History

2026-11-02: add by m2/dev

Compatibility hierarchy MYKJ6ZJA8P

URI	`m2://inv/MYKJ6ZJA8P`
Kind	statement
Layer	research
MSC	18-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.20207#K9KY, Compatibility hierarchy (statement)

History

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

MYKM2ARADV MYKM2ARADV

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

Mentions

arxiv: arXiv 0804.3628#JL3L (definition). In E2WHVW5VSD/e1, definition 2

History

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

Time-integrable density gradient and effective force MYKP2SZBES

URI	`m2://inv/MYKP2SZBES`
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.13613#FWEA, Time-integrable density gradient and effective force (statement). In 3HCT4TQ5PM/e1, lemma 7.4

History

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

Relation to Loschmidt's paradox MYKPDW3W04

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

Mentions

wikipedia: Wikipedia Fluctuation theorem#G40O, Relation to Loschmidt's paradox (statement)

History

2026-11-02: add by m2/dev

Shapiro inequality MYKQZ9PEMF

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

Mentions

wikipedia: Wikipedia List of inequalities#CVC2, Shapiro inequality (statement)
wikipedia: Wikipedia List of inequalities#F7AE, Shapiro inequality (statement)

History

2026-11-02: add by m2/dev

Example MYKVG3Z0JF

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

Mentions

wikipedia: Wikipedia Counting points on elliptic curves#BVLK, Example (example)

History

2026-11-02: add by m2/dev

Example MYKX7SYWDV

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

Mentions

wikipedia: Wikipedia Landau prime ideal theorem#YBFO, Example (example)

History

2026-11-02: add by m2/dev

Isaac Newton's apple tree MYM06KTSQM

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

Mentions

wikipedia: Wikipedia Isaac Newton#T3WS, Isaac Newton's apple tree (unknown)

History

2026-11-02: add by m2/dev

MYM4KVSTA9 MYM4KVSTA9

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

Mentions

napkin: napkin tex/rep-theory/semisimple.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 81.5

History

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

MYM91730YV MYM91730YV

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

Mentions

arxiv: arXiv 2508.16102#YVEY (statement). In 55QFMZQ5HM/e1, theorem 1.1

History

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

Example MYMF4DH3QQ

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

Mentions

wikipedia: Wikipedia Without loss of generality#QZP6, Example (example)

History

2026-11-02: add by m2/dev

Hillel Furstenberg MYMFW9HH19

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#YVUP, Hillel Furstenberg (topic)

History

2026-11-02: add by m2/dev

MYMP3KK0R9 MYMP3KK0R9

URI	`m2://inv/MYMP3KK0R9`
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.20588#YCCO (statement)

History

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

MYMR2Q3EXE MYMR2Q3EXE

URI	`m2://inv/MYMR2Q3EXE`
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.10643#JOGC (statement). In 1FJSQAGF8R/e1, lemma 3

History

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

MYMT5XTG0A MYMT5XTG0A

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

Mentions

arxiv: arXiv 2610.16768#G7E4 (example). In 8FWK676AQX/e1, example 2

History

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

MYMWDAVV7G MYMWDAVV7G

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

Mentions

applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_surjections.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 7.3

History

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

Area bisector MYN1FFSF7G

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

Mentions

wikipedia: Wikipedia Bisection#0KM7, Area bisector (unknown)

History

2026-11-02: add by m2/dev

Magic hierarchy MYN1KTECNS

URI	`m2://inv/MYN1KTECNS`
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.02166#K9DX, Magic hierarchy (statement). In R6RF3P6D5A/e1, corollary 1.7

History

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

Moss Sweedler MYN5Q5FBBP

URI	`m2://inv/MYN5Q5FBBP`
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 Q16864486, Moss Sweedler (unknown). Also nLab Moss Sweedler
wikipedia: Wikipedia Moss Sweedler, Moss Sweedler (topic). Also Wikidata Q16864486

History

2026-10-26: add by m2/dev

Regular extension MYNCCX971J

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

Mentions

wikidata: Wikidata Q7309599, Regular extension (unknown). Also nLab regular field extension
wikipedia: Wikipedia Regular extension, Regular extension (definition). Also Wikidata Q7309599

History

2026-10-26: add by m2/dev

Basic properties MYNDMM8ZNA

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

Mentions

wikipedia: Wikipedia Mandelbrot set#PUV9, Basic properties (statement)

History

2026-11-02: add by m2/dev

Census Subdivision MYNGC3XA9C

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

Mentions

wikipedia: Wikipedia Census geographic units of Canada#P5RF, Census Subdivision (unknown)

History

2026-11-02: add by m2/dev

MYNNESQ5EM MYNNESQ5EM

URI	`m2://inv/MYNNESQ5EM`
Kind	example
Layer	research
MSC	05-XX, 55-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.31919#E17W (example). In RHN12PW9P9/e1, example 4.1

History

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

MYNPJBQDDJ MYNPJBQDDJ

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/compactness-direct.tex#lem:fsat-henkin (statement). In PKGMM3P5QY, lem, section 9.8

History

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

Pre-fed-back plant keeps the spectral structure MYNQTDXEGB

URI	`m2://inv/MYNQTDXEGB`
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.22384#7ACE, Pre-fed-back plant keeps the spectral structure (statement)

History

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

cobordism MYNTC3GBCN

URI	`m2://inv/MYNTC3GBCN`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Cobordism T8BVGPPSZP

Mentions

wikidata: Wikidata Q2546666, cobordism (concept). Also MathWorld Cobordism, nLab cobordism, ProofWiki Definition:Cobordism
wikipedia: Wikipedia Cobordism, Cobordism (definition). Also Wikidata Q2546666

History

2026-10-26: add by m2/dev

Functional (mathematics) MYNYTAW45A

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

Mentions

wikipedia: Wikipedia List of variational topics#Z8L4, Functional (mathematics) (definition)

History

2026-11-02: add by m2/dev

MYP17NHRWM MYP17NHRWM

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

Mentions

arxiv: arXiv 2609.26713#3JGT (statement)

History

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

MYP1MZHG48 MYP1MZHG48

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

Mentions

arxiv: arXiv 2610.17737#0K47 (statement). In 8SXY7Y68HV/e1, proposition 6.19

History

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

Exact incidence profile MYP3RWKM8H

URI	`m2://inv/MYP3RWKM8H`
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#CVM7, Exact incidence profile (statement). In D2MXWDTHWS/e1, lemma 1

History

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

KL perturbation of the first argument MYPAV16RG5

URI	`m2://inv/MYPAV16RG5`
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.13773#TXEA, KL perturbation of the first argument (statement). In E75XQY0QFM/e1, lemma F.5

History

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

Clebsch--Gordan multiplicities MYPD9RTP18

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

Mentions

arxiv: arXiv 2610.04099#JV0C, Clebsch--Gordan multiplicities (statement). In QPJ6FWG5HD/e1, lemma 1.7

History

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

MYPHGVYBWY MYPHGVYBWY

URI	`m2://inv/MYPHGVYBWY`
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.35467#H5QZ (statement). In FK89DQ9J4S/e1, corollary 5.7

History

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

Poincaré–Birkhoff–Witt theorem MYPKFPQXKJ

URI	`m2://inv/MYPKFPQXKJ`
Kind	statement
Layer	textbook
MSC	17-XX
Sources	4
Outcome	open
Node	Poincaré–Birkhoff–Witt theorem HFEA4FKGW1

Mentions

mathlib_1000: mathlib_1000 Q2270905, Poincaré–Birkhoff–Witt theorem (statement). Also Wikidata Q2270905
thousand_plus: thousand_plus Q2270905, Poincaré–Birkhoff–Witt theorem (statement). Also Wikidata Q2270905, Wikipedia Poincaré–Birkhoff–Witt theorem
wikidata: Wikidata Q2270905, Poincaré–Birkhoff–Witt theorem (statement). Also MathWorld Poincare-Birkhoff-WittTheorem, nLab PBW theorem
wikipedia: Wikipedia Poincaré–Birkhoff–Witt theorem, Poincaré–Birkhoff–Witt theorem (statement). Also Wikidata Q2270905

History

2026-10-26: add by m2/dev

volume element MYPM7KEQVD

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

Mentions

wikidata: Wikidata Q2327764, volume element (unknown). Also MathWorld VolumeElement
wikipedia: Wikipedia Volume element, Volume element (definition). Also Wikidata Q2327764

History

2026-10-26: add by m2/dev

MYPP76VTM8 MYPP76VTM8

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

Mentions

arxiv: arXiv 2609.32090#QIXY (statement). In HJWWFBA63D/e1, lemma 4.1

History

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

Near-field MYPYYGK7MA

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

Mentions

wikipedia: Wikipedia Near-field (mathematics), Near-field (definition). Also Wikidata Q571787

History

2026-11-02: add by m2/dev

MYQ3QAZ6SP MYQ3QAZ6SP

URI	`m2://inv/MYQ3QAZ6SP`
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.11468#C033 (statement). In FR4FDRHZJT/e1, proposition 3.3

History

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

MYQ5C691A0 MYQ5C691A0

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

Mentions

arxiv: arXiv 2508.21045#JGI3 (definition). In CGA36VE1C5/e1, definition 3.5.2

History

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

MYQANVKBZ9 MYQANVKBZ9

URI	`m2://inv/MYQANVKBZ9`
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.09019#C208 (statement). In 8V6YECFCC1/e1, lemma 4.6

History

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

MYQE919FJ3 MYQE919FJ3

URI	`m2://inv/MYQE919FJ3`
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.33206#INJ8 (statement). In VRPEECJF2P/e1, corollary 1

History

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

MYQH8K86MQ MYQH8K86MQ

URI	`m2://inv/MYQH8K86MQ`
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.33027#W9PH (statement). In E2AF84709B/e1, theorem 15

History

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

Existence and uniqueness MYQKFB7CXS

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

Mentions

wikipedia: Wikipedia G-expectation#7DNG, Existence and uniqueness (statement)

History

2026-11-02: add by m2/dev

MYQQ0DHM55 MYQQ0DHM55

URI	`m2://inv/MYQQ0DHM55`
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#ND0R (example). In M0SQY5EZN5/e1, example 3.0.3

History

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

Explicit representatives MYQQ2B35A5

URI	`m2://inv/MYQQ2B35A5`
Kind	problem
Layer	research
MSC	05-XX, 20-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.04305#IKEH, Explicit representatives (problem). In Y1DR0DPWD0/e1, problem 8.4

History

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

Variations MYQT43R6ZF

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

Mentions

wikipedia: Wikipedia Book (graph theory)#3VU0, Variations (statement)

History

2026-11-02: add by m2/dev

Kronig penney model MYQX0GFDJD

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

Mentions

wikipedia: Wikipedia Particle in a one-dimensional lattice#HLAK, Kronig penney model (unknown)

History

2026-11-02: add by m2/dev

Raymond Redheffer MYQX94EDJ9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#WBFH, Raymond Redheffer (topic)

History

2026-11-02: add by m2/dev

flat principal connection MYQZJMDCGB

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

Mentions

wikidata: Wikidata Q41634233, flat principal connection (unknown). Also MathWorld FlatConnection

History

2026-10-26: add by m2/dev

MYR5RYMDV7 MYR5RYMDV7

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

Mentions

arxiv: arXiv 2610.13213#R5V2 (statement). In V97F4YZ8B0/e1, theorem 8.10

History

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

P. Kanagasabapathy MYR5TZWW1R

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

Mentions

wikipedia: Wikipedia P. Kanagasabapathy, P. Kanagasabapathy (topic). Also Wikidata Q14946871

History

2026-11-02: add by m2/dev

0,000 000 000 000 000 001 MYRB0FWMTC

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

Mentions

wikipedia: Wikipedia Orders of magnitude (numbers)#SAFQ, 0,000 000 000 000 000 001 (unknown)

History

2026-11-02: add by m2/dev

MYRDB0WG8C MYRDB0WG8C

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

Mentions

napkin: napkin tex/rep-theory/characters.tex#definition-4 (definition). In RZP28ERRZV, definition, section 79.3

History

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

Formal definition MYRE8XFBDA

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

Mentions

wikipedia: Wikipedia Toda–Smith complex#AT6G, Formal definition (definition)

History

2026-11-02: add by m2/dev

Rate of the empirical weight measure MYRG2E9EG5

URI	`m2://inv/MYRG2E9EG5`
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.05064#29UM, Rate of the empirical weight measure (statement). In 11SW7NAN7M/e1, proposition 3.11

History

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

MYRGXNPVBA MYRGXNPVBA

URI	`m2://inv/MYRGXNPVBA`
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.25269#EXWI (statement)

History

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

MYRKJE35T2 MYRKJE35T2

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

Mentions

lebl_ra: lebl_ra ch-der.tex#exercise:boundeddermeanslip (exercise). In E59CDZA4DP, exercise, section 3.2.6

History

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

walk MYRN6Z9WHQ

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#77TZ, walk (definition)

History

2026-11-02: add by m2/dev

inverse, in a group MYRSQTK8GP

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

Mentions

hott_book: hott_book index/5.11/inverse-in-a-group, inverse, in a group (concept). In N54F33XE07, index, section 5.11

History

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

Courcelle's theorem MYRYMQ0GV3

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

Mentions

wikipedia: Wikipedia List of theorems#DGA9, Courcelle's theorem (statement)

History

2026-11-02: add by m2/dev

MYSJTWWXP0 MYSJTWWXP0

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

Mentions

arxiv: arXiv 2610.00909#16HA (statement). In Z4TD36VFPW/e1, lemma 5.2

History

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

ω-meson MYSKG2JEW4

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

Mentions

wikidata: Wikidata Q424134, ω-meson (unknown). Also nLab ω-meson

History

2026-10-26: add by m2/dev

AND rule MYSKVM3E1J

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

Mentions

wikipedia: Wikipedia Probability#VSP2, AND rule (unknown)

History

2026-11-02: add by m2/dev

Regression dilution MYSNADPT09

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

Mentions

wikipedia: Wikipedia List of statistics articles#V2YZ, Regression dilution (definition)

History

2026-11-02: add by m2/dev

natural mode of oscillation MYSR6E0KF3

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

Mentions

lebl_diffyqs: lebl_diffyqs index/10.6.2/natural-mode-of-oscillation, natural mode of oscillation (concept). In E9HS8K3A52, index, section 10.6.2

History

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

MYSS3W7DQ1 MYSS3W7DQ1

URI	`m2://inv/MYSS3W7DQ1`
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.29949#0QFV (statement)

History

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

Body-part counting system MYST1WD0R3

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

Mentions

wikipedia: Wikipedia Body-part counting system, Body-part counting system (definition). Also Wikidata Q97358877

History

2026-11-02: add by m2/dev

Doris Schattschneider MYSV1DBPEM

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

Mentions

wikipedia: Wikipedia Doris Schattschneider, Doris Schattschneider (topic). Also Wikidata Q1245317

History

2026-11-02: add by m2/dev

MYSWXFRVN9 MYSWXFRVN9

URI	`m2://inv/MYSWXFRVN9`
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.27301#4XY9 (statement)

History

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

MYSZ5WZF75 MYSZ5WZF75

URI	`m2://inv/MYSZ5WZF75`
Kind	definition
Layer	research
MSC	16-XX, 35-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 2609.26058#XLAE (definition)

History

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

MYSZ90ZA1A MYSZ90ZA1A

URI	`m2://inv/MYSZ90ZA1A`
Kind	statement
Layer	research
MSC	17-XX, 18-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 2304.07398#UBYT (statement). In JS5FKV1S9T/e1, theorem B.1

History

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

MYT0TV2PKK MYT0TV2PKK

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

Mentions

arxiv: arXiv 2609.36021#UVYJ (statement). In CB68ATPEV9/e1, theorem 4.2

History

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

Plücker relations MYT4KZ4Y2G

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

Mentions

wikipedia: Wikipedia Plücker embedding#HUOU, Plücker relations (unknown)

History

2026-11-02: add by m2/dev

B* MYTBYTQ9NZ

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

Mentions

wikipedia: Wikipedia List of algorithms#UFAJ, B* (definition)

History

2026-11-02: add by m2/dev

Concentration of matrix-valued Dynkin martingales MYTCTDVC0K

URI	`m2://inv/MYTCTDVC0K`
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.16705#2OOY, Concentration of matrix-valued Dynkin martingales (statement). In B48YQVGAF5/e1, lemma 3.11

History

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

MYTETGRC68 MYTETGRC68

URI	`m2://inv/MYTETGRC68`
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.16258#3IZY (statement). In AZ6QMVKFHD/e1, corollary 2.6

History

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

Example MYTHA2SCRD

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

Mentions

wikipedia: Wikipedia Condorcet method#B1F2, Example (example)

History

2026-11-02: add by m2/dev

MYTHXXY6B2 MYTHXXY6B2

URI	`m2://inv/MYTHXXY6B2`
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.04993#Y3S5 (statement). In JQBWZPXKAV/e1, lemma 6.5

History

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

MYTPN2G1Y2 MYTPN2G1Y2

URI	`m2://inv/MYTPN2G1Y2`
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.37439#BFME (statement). In 8K7D3FKJDT/e1, theorem 1.1

History

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

TI-84 Plus CE EZ-Spot MYTT8DPZTC

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

Mentions

wikipedia: Wikipedia TI-84 Plus CE series#O88F, TI-84 Plus CE EZ-Spot (unknown)

History

2026-11-02: add by m2/dev

MYTVDN05KE MYTVDN05KE

URI	`m2://inv/MYTVDN05KE`
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.16059#QDXO (statement). In 51W7AECQDA/e1, corollary 3.5

History

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

Papyrus Oxyrhynchus 90 MYV531MHZX

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

Mentions

wikipedia: Wikipedia Papyrus Oxyrhynchus 90, Papyrus Oxyrhynchus 90 (definition). Also Wikidata Q495942

History

2026-11-02: add by m2/dev

Serena Dipierro MYVDNSD5ZK

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

Mentions

wikipedia: Wikipedia Serena Dipierro, Serena Dipierro (topic). Also Wikidata Q88478240

History

2026-11-02: add by m2/dev

Definition and examples MYVE6M3X57

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

Mentions

wikipedia: Wikipedia Trémaux tree#O80A, Definition and examples (definition)

History

2026-11-02: add by m2/dev

Golden inequality MYVGW1FKZ8

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

Mentions

wikipedia: Wikipedia Golden–Thompson inequality#G11S, Golden inequality (statement)

History

2026-11-02: add by m2/dev

Log-Cauchy distribution MYW0400J22

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

Mentions

wikipedia: Wikipedia List of statistics articles#Q3UJ, Log-Cauchy distribution (definition)

History

2026-11-02: add by m2/dev

Cauchy--Schwarz and additivity of quasi-inner product MYW1GDY01J

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

Mentions

arxiv: arXiv 2609.20274#4SZ0, Cauchy--Schwarz and additivity of quasi-inner product (statement)

History

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

MYW2X07WFV MYW2X07WFV

URI	`m2://inv/MYW2X07WFV`
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.34876#JO8R (statement). In XXQAW3ZBDF/e1, lemma 4.6

History

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

MYW3V5YR44 MYW3V5YR44

URI	`m2://inv/MYW3V5YR44`
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#S7T5 (statement). In BJGS6ZCQ12/e1, theorem 6.11

History

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

MYW563CJZ3 MYW563CJZ3

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

Mentions

arxiv: arXiv 2609.34289#FIQ0 (statement). In 9RBATD2Z1F/e1, lemma 2.9

History

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

MYW5TMWSD6 MYW5TMWSD6

URI	`m2://inv/MYW5TMWSD6`
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.14985#WI3X (statement). In DGXJW3SCBR/e1, theorem 29

History

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

shape of the tilted measure MYW7R0W4EF

URI	`m2://inv/MYW7R0W4EF`
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.19249#ODV8, shape of the tilted measure (statement). In 2X586J6KQ1/e1, lemma 5.5

History

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

MYWJGRVYC8 MYWJGRVYC8

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

Mentions

arxiv: arXiv 2609.32916#S6X8 (statement). In G1RP4JY5PE/e1, corollary 5.4.7

History

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

MYWRVYV0S9 MYWRVYV0S9

URI	`m2://inv/MYWRVYV0S9`
Kind	statement
Layer	research
MSC	11-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.37368#82MJ (statement). In FRMCKEGVJZ/e1, corollary 3

History

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

monodromy MYX6J02R6B

URI	`m2://inv/MYX6J02R6B`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Monodromy C8HD62AB6Q

Mentions

wikidata: Wikidata Q543956, monodromy (concept). Also nLab monodromy
wikipedia: Wikipedia Monodromy, Monodromy (definition). Also Wikidata Q543956

History

2026-10-26: add by m2/dev

Definition MYX9T7D5C2

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

Mentions

wikipedia: Wikipedia Bhattacharyya distance#D81B, Definition (definition)

History

2026-11-02: add by m2/dev

Variants MYX9Y0YMVG

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

Mentions

wikipedia: Wikipedia Canadian traveller problem#EFBD, Variants (statement)

History

2026-11-02: add by m2/dev

MYXCTKMAB1 MYXCTKMAB1

URI	`m2://inv/MYXCTKMAB1`
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.13846#RCQP (statement). In DN3HGHGRYJ/e1, theorem 5.5

History

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

MYXHM25YQB MYXHM25YQB

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

Mentions

open_logic: open_logic content/normal-modal-logic/frame-definability/equivalence-S5.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 52.6

History

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

MYXKTFK9V0 MYXKTFK9V0

URI	`m2://inv/MYXKTFK9V0`
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 2403.08723#QTIC (statement). In HGE2NCQW29/e1, theorem 3.7

History

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

Minoration under the directed body alternative MYXQ66EAHC

URI	`m2://inv/MYXQ66EAHC`
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.31782#9IAW, Minoration under the directed body alternative (statement). In YAYP5VZ94H/e1, theorem 8.1

History

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

Business analytics MYXRDG40FP

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

Mentions

wikipedia: Wikipedia Business analytics, Business analytics (definition). Also Wikidata Q5001829

History

2026-11-02: add by m2/dev

MYXS2G0T6B MYXS2G0T6B

URI	`m2://inv/MYXS2G0T6B`
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 2106.03431#HA86 (statement). In XVYZGSQ9S9/e1, theorem 0.1

History

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

normal convergence MYXXM7YZCX

URI	`m2://inv/MYXXM7YZCX`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Normal convergence 0EJVD9K0K1

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > normal convergence, normal convergence (unknown)

History

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

invariant MYXZQ7MDKC

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#04NY, invariant (definition)

History

2026-11-02: add by m2/dev

Beta skeleton MYY585HG1D

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

Mentions

wikipedia: Wikipedia Beta skeleton, Beta skeleton (definition). Also Wikidata Q4897306

History

2026-11-02: add by m2/dev

Applications MYYFE8YPP9

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

Mentions

wikipedia: Wikipedia Multilevel model#EYZF, Applications (example)

History

2026-11-02: add by m2/dev

HRR singularity MYYKATV3X6

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

Mentions

wikipedia: Wikipedia J-integral#3C8V, HRR singularity (unknown)

History

2026-11-02: add by m2/dev

Localization Transfer MYYKTYK9AJ

URI	`m2://inv/MYYKTYK9AJ`
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.30105#PCFT, Localization Transfer (statement)

History

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

MYYY9SWESS MYYY9SWESS

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

Mentions

napkin: napkin tex/topology/constructions.tex#definition-5 (definition). In RZP28ERRZV, definition, section 96.4

History

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

MYZ9P61TAE MYZ9P61TAE

URI	`m2://inv/MYZ9P61TAE`
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 1709.01658#HWWK (statement). In 90A5Q9HRQK/e1, theorem 1.2

History

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

Global monotonicity fails MYZD6RR0MF

URI	`m2://inv/MYZD6RR0MF`
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#IELE, Global monotonicity fails (statement). In KP1THB2C09/e1, proposition 3.6

History

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

Cluster decomposition theorem MYZG60TJXW

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

Mentions

wikipedia: Wikipedia List of theorems#4BA1, Cluster decomposition theorem (definition)

History

2026-11-02: add by m2/dev

MYZJ0PEPSD MYZJ0PEPSD

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

Mentions

arxiv: arXiv 2609.31527#JB9R (statement). In ZQ2YZ4P6P5/e1, theorem 1.2

History

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

Kamp\'e de F\'eriet form of the $B$-components MYZSPV7027

URI	`m2://inv/MYZSPV7027`
Kind	statement
Layer	research
MSC	26-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.26110#IDG0, Kamp\'e de F\'eriet form of the $B$-components (statement)

History

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

Zuowei Shen MYZTZP9CST

URI	`m2://inv/MYZTZP9CST`
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#1Y8E, Zuowei Shen (unknown)

History

2026-11-02: add by m2/dev