Inventory rows 6Z

Intension 6Z05CNH4FY

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

Mentions

wikipedia: Wikipedia Intension, Intension (definition). Also Wikidata Q1923256

History

2026-11-02: add by m2/dev

Fundamental --- \textsc{N-E} / \textsc{Rec-Cong 6Z07Y84GAX

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

Mentions

arxiv: arXiv 2610.21131#TI5E, Fundamental --- \textsc{N-E} / \textsc{Rec-Cong (statement). In CPYWHRTPKC/e1, lemma 6.63

History

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

Mellin action of the Rodrigues operators 6Z08YQRWEG

URI	`m2://inv/6Z08YQRWEG`
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#XH3O, Mellin action of the Rodrigues operators (statement)

History

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

Eventual stability 6Z0BC9HAT7

URI	`m2://inv/6Z0BC9HAT7`
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.14839#9NPA, Eventual stability (statement). In CYB41667NA/e1, lemma 4.5

History

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

6Z0GCR9T5Z 6Z0GCR9T5Z

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

Mentions

austin_ula: austin_ula src/section2-6.xml#ula-preview-2-6 (exercise). In 649HGZKE96, exploration, section 2.6.1

History

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

6Z0QRV103A 6Z0QRV103A

URI	`m2://inv/6Z0QRV103A`
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 2507.13548#S0D1 (statement). In 4NVVK50D1P/e1, proposition 2.4

History

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

Infinite Covering Lemma 6Z0S3NBPGM

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

Mentions

wikipedia: Wikipedia Vitali covering lemma#3BX1, Infinite Covering Lemma (statement)

History

2026-11-02: add by m2/dev

Non-asymptotic error bound 6Z0TT0Z6D7

URI	`m2://inv/6Z0TT0Z6D7`
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.13916#2M94, Non-asymptotic error bound (statement). In JS2JSD0507/e1, proposition 4.5

History

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

Jalal Shatah 6Z17A8N49F

URI	`m2://inv/6Z17A8N49F`
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#AUFV, Jalal Shatah (unknown)

History

2026-11-02: add by m2/dev

6Z1E9MVWRV 6Z1E9MVWRV

URI	`m2://inv/6Z1E9MVWRV`
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.00811#GLN6 (statement). In G1SKAMET0T/e1, theorem 5.1

History

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

6Z1EX5NYRB 6Z1EX5NYRB

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

Mentions

hott_book: hott_book hits.tex#def:VVquotient (definition). In N54F33XE07, defn, section 5.10

History

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

Kazhdan's theorem 6Z1HW8X61Y

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

Mentions

wikipedia: Wikipedia Arithmetic variety#J89C, Kazhdan's theorem (statement)

History

2026-11-02: add by m2/dev

Strict total order 6Z205P6E0Q

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

Mentions

wikipedia: Wikipedia Total order#PHCU, Strict total order (unknown)

History

2026-11-02: add by m2/dev

The two Higgs state spaces 6Z21QBD9MA

URI	`m2://inv/6Z21QBD9MA`
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.03520#REZH, The two Higgs state spaces (statement). In CSRZ9CWK69/e1, corollary 8.14

History

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

6Z29E6MB2E 6Z29E6MB2E

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

Mentions

arxiv: arXiv 2609.28357#PZLW (statement)

History

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

6Z2FXAZFYJ 6Z2FXAZFYJ

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

Mentions

arxiv: arXiv 2404.06445#JTKW (statement). In 12JKZ8EN52/e1, theorem 4.4

History

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

Friedrich Prym 6Z2PQX5REH

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

Mentions

wikipedia: Wikipedia Friedrich Prym, Friedrich Prym (topic). Also Wikidata Q108276

History

2026-11-02: add by m2/dev

Contact structure 6Z2T47SJ6Q

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#GKSQ, Contact structure (topic)

History

2026-11-02: add by m2/dev

3700 6Z36ER7RHC

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

Mentions

wikipedia: Wikipedia 3000 (number)#BY5Q, 3700 (unknown)

History

2026-11-02: add by m2/dev

Josephine Burns Glasgow 6Z3BZ7ZF1E

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

Mentions

wikipedia: Wikipedia Josephine Burns Glasgow, Josephine Burns Glasgow (topic). Also Wikidata Q28648882

History

2026-11-02: add by m2/dev

Neuristique 6Z3KTNAEHD

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

Mentions

wikipedia: Wikipedia Léon Bottou#8SXO, Neuristique (unknown)

History

2026-11-02: add by m2/dev

Cross-Validation 6Z3R20WMNV

URI	`m2://inv/6Z3R20WMNV`
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.10167#VGDD, Cross-Validation (statement). In SVMDSE7PKG/e1, proposition 3

History

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

Definition 6Z3TCZRJNG

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

Mentions

wikipedia: Wikipedia Radical of a Lie algebra#B9B9, Definition (definition)

History

2026-11-02: add by m2/dev

6Z3XFQA4NT 6Z3XFQA4NT

URI	`m2://inv/6Z3XFQA4NT`
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.15744#NTNW (statement). In NV3PBZGBB7/e1, proposition 2.3

History

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

Definition 6Z40QGK2XA

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

Mentions

wikipedia: Wikipedia Operator monotone function#17DE, Definition (definition)

History

2026-11-02: add by m2/dev

6Z427TA77T 6Z427TA77T

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

Mentions

open_logic: open_logic content/lambda-calculus/church-rosser/beta-eta-reduction.tex#lem:par-red (statement). In PKGMM3P5QY, lem, section 35.1

History

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

6Z45WWEQHX 6Z45WWEQHX

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

Mentions

arxiv: arXiv 2610.16731#EPAO (statement). In D68KBZQ4Q6/e1, proposition 4.12

History

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

Kapustin–Witten equations 6Z4BF1AFMQ

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

Mentions

wikipedia: Wikipedia Kapustin–Witten equations, Kapustin–Witten equations (definition). Also Wikidata Q140799971

History

2026-11-02: add by m2/dev

Extreme value theorem 6Z4GEFMQHF

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

Mentions

wikipedia: Wikipedia Nonstandard calculus#91GE, Extreme value theorem (statement)

History

2026-11-02: add by m2/dev

6Z4GR80HR2 6Z4GR80HR2

URI	`m2://inv/6Z4GR80HR2`
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.19288#SWZW (statement). In 1EA6AM9V01/e1, proposition 2.7

History

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

Pentagrammic crossed-antiprism 6Z4KNYF3RZ

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

Mentions

wikidata: Wikidata Q799001, Pentagrammic crossed-antiprism (unknown). Also MathWorld PentagrammicCrossedAntiprism
wikipedia: Wikipedia Pentagrammic crossed-antiprism, Pentagrammic crossed-antiprism (definition). Also Wikidata Q799001

History

2026-10-26: add by m2/dev

RANSAC 6Z4QYCE9YB

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

Mentions

wikipedia: Wikipedia List of statistics articles#NV39, RANSAC (definition)

History

2026-11-02: add by m2/dev

Eight-configuration classification 6Z4XDDATD1

URI	`m2://inv/6Z4XDDATD1`
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.20492#WIEZ, Eight-configuration classification (statement)

History

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

6Z515C8ZCD 6Z515C8ZCD

URI	`m2://inv/6Z515C8ZCD`
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.07040#V2A0 (example). In KMNXNW7FHP/e1, example B.1

History

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

6Z57CZBZB2 6Z57CZBZB2

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

Mentions

arxiv: arXiv 2609.24917#TBMQ (statement)

History

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

enumerated type 6Z58CRR85G

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

Mentions

wikidata: Wikidata Q760170, enumerated type (unknown). Also nLab enumerated type

History

2026-10-26: add by m2/dev

It\^o's theorem for binary Zinbiel algebras 6Z5JA00BXZ

URI	`m2://inv/6Z5JA00BXZ`
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.02852#83K3, It\^o's theorem for binary Zinbiel algebras (statement). In HX6FXCYGKA/e1, theorem 6.1

History

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

Grunsky's theorem 6Z5PG94XBG

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

Mentions

wikipedia: Wikipedia List of theorems#PTBV, Grunsky's theorem (statement)

History

2026-11-02: add by m2/dev

linear combination 6Z5TNY015X

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

Mentions

wikipedia: Wikipedia Glossary of calculus#UTNG, linear combination (definition)

History

2026-11-02: add by m2/dev

6Z60DFY22X 6Z60DFY22X

URI	`m2://inv/6Z60DFY22X`
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#KRV4 (statement). In YHA9M56TBB/e1, theorem 3.4

History

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

6Z6BCPJ6BF 6Z6BCPJ6BF

URI	`m2://inv/6Z6BCPJ6BF`
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.15217#KG5Z (statement). In G70Q2FB591/e1, proposition 4.35

History

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

6Z6BX5HVKS 6Z6BX5HVKS

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

Mentions

arxiv: arXiv 2610.10078#MB48 (statement). In YVGRZK1HRS/e1, theorem 1.3

History

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

Unique factorization domain 6Z6C8K1DVM

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

Mentions

wikipedia: Wikipedia List of commutative algebra topics#J9YR, Unique factorization domain (definition)

History

2026-11-02: add by m2/dev

6Z6MGMENSW 6Z6MGMENSW

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-1 (exercise). In E9HS8K3A52, exercise, section 9.1.6

History

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

6Z6TE5RZSB 6Z6TE5RZSB

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

Mentions

applied_combinatorics: applied_combinatorics source/s_probability_discrete-random-variables.ptx#prop_linearexpect (statement). In QKM9DD2H56, proposition, section 10.4.1

History

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

Curve-based Optimal Function Intersection (COFI 6Z6VSJ59MD

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

Mentions

arxiv: arXiv 2609.31484#8GQS, Curve-based Optimal Function Intersection (COFI (definition). In 1RDQ10G87W/e1, definition 3.1

History

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

Bailey's formula 6Z6XRGSHVG

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

Mentions

wikipedia: Wikipedia Bilateral hypergeometric series#B57S, Bailey's formula (statement)

History

2026-11-02: add by m2/dev

Pacific tree frog 6Z6Z10Q9VS

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#W2XN, Pacific tree frog (unknown)

History

2026-11-02: add by m2/dev

Sequence and formula 6Z708CDFPN

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

Mentions

wikipedia: Wikipedia Doubly triangular number#NFNB, Sequence and formula (statement)

History

2026-11-02: add by m2/dev

Michael Saks 6Z7J6SSVRH

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

Mentions

wikipedia: Wikipedia Michael Saks (mathematician), Michael Saks (topic). Also Wikidata Q6834106

History

2026-11-02: add by m2/dev

Joseph Schillinger 6Z7QQ36CH3

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#SRYD, Joseph Schillinger (unknown)

History

2026-11-02: add by m2/dev

6Z7ZPQ1C78 6Z7ZPQ1C78

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/ImagesInverseImages.tex#problem-1 (exercise). In P1C114YBXG, problem, section C

History

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

Azuma–Hoeffding inequality 6Z86XNNP8Y

URI	`m2://inv/6Z86XNNP8Y`
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.08210#5PB7, Azuma–Hoeffding inequality (statement). In 7452X8HQ21/e1, theorem A.2

History

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

Buffon's needle 6Z898BPAAP

URI	`m2://inv/6Z898BPAAP`
Kind	problem
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Buffon's needle problem 06X5PF6YFP

Mentions

wikidata: Wikidata Q1753097, Buffon's needle (problem). Also MathWorld BuffonsNeedleProblem
wikipedia: Wikipedia Buffon's needle problem, Buffon's needle problem (problem). Also Wikidata Q1753097

History

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

6Z89HS281J 6Z89HS281J

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

Mentions

arxiv: arXiv 2609.37761#VDZF (statement). In 4TAQ65KZKN/e1, theorem 2.4

History

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

6Z8NWT36JC 6Z8NWT36JC

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 4.1

History

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

orthogonal diagonalization 6Z8P1AEV8W

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

Mentions

austin_ula: austin_ula index/7.1.2/orthogonal-diagonalization, orthogonal diagonalization (concept). In 649HGZKE96, index, section 7.1.2

History

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

Philip McShane 6Z94EFMQS1

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

Mentions

wikipedia: Wikipedia Philip McShane, Philip McShane (topic). Also Wikidata Q60918299

History

2026-11-02: add by m2/dev

6Z94M72C2V 6Z94M72C2V

URI	`m2://inv/6Z94M72C2V`
Kind	statement
Layer	research
MSC	03-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.08027#6KZK (statement). In YF3CEQDXGQ/e1, theorem 1.1

History

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

Abbe sine condition 6Z95GXV1FA

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

Mentions

wikipedia: Wikipedia Abbe sine condition, Abbe sine condition (definition). Also Wikidata Q306243

History

2026-11-02: add by m2/dev

6Z9ECDFYER 6Z9ECDFYER

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

Mentions

arxiv: arXiv 2609.39254#G50D (statement). In A59MZ9H284/e1, corollary 2.15

History

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

enumeration 6Z9EFQVYEF

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

Mentions

wikipedia: Wikipedia Glossary of set theory#UCGU, enumeration (definition)

History

2026-11-02: add by m2/dev

Hashiwokakero 6Z9PB98J52

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#AK4P, Hashiwokakero (definition)

History

2026-11-02: add by m2/dev

Covariance uniqueness for arbitrary barycenters and optimal couplings with faithful inputs 6Z9Z4YGP7S

URI	`m2://inv/6Z9Z4YGP7S`
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.01855#DGK5, Covariance uniqueness for arbitrary barycenters and optimal couplings with faithful inputs (statement). In MM8P5CJR18/e1, corollary 5.23

History

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

Erich Jantsch 6ZA0B2B380

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

Mentions

wikidata: Wikidata Q86706, Erich Jantsch (unknown). Also nLab Erich Jantsch

History

2026-10-26: add by m2/dev

6ZA1RWRXRM 6ZA1RWRXRM

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

Mentions

arxiv: arXiv 2610.17519#F263 (definition). In H2DNTQ5MKV/e1, definition 1.1

History

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

Spanning Tree Protocol 6ZA3SRT1D3

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

Mentions

wikipedia: Wikipedia List of network theory topics#DOEW, Spanning Tree Protocol (unknown)

History

2026-11-02: add by m2/dev

6ZA72NWN0K 6ZA72NWN0K

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

Mentions

arxiv: arXiv 2610.09390#7S60 (statement). In 7SSKW778T8/e1, lemma 6.1

History

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

Exhaustion of the parameter domain 6ZAFA0J5BY

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

Mentions

arxiv: arXiv 2609.24931#6ZD6, Exhaustion of the parameter domain (statement)

History

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

Construction 6ZAFRJ86JM

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

Mentions

wikipedia: Wikipedia Functional boxplot#X3QL, Construction (definition)

History

2026-11-02: add by m2/dev

Local shortening of MN codes below capacity 6ZAG27GDMF

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

Mentions

arxiv: arXiv 2609.24568#YWKF, Local shortening of MN codes below capacity (statement)

History

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

Algorithm 6ZAKMB972X

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

Mentions

wikipedia: Wikipedia Algorithmic Lovász local lemma#0GHW, Algorithm (definition)

History

2026-11-02: add by m2/dev

Three Creeks Township, Boone County, Missouri 6ZAQPJ8SMS

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

Mentions

wikipedia: Wikipedia List of places with numeric names#4ASB, Three Creeks Township, Boone County, Missouri (unknown)

History

2026-11-02: add by m2/dev

A generalization 6ZARKAX37C

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

Mentions

wikipedia: Wikipedia De Bruijn's theorem#0AKS, A generalization (statement)

History

2026-11-02: add by m2/dev

6ZB06M9EJT 6ZB06M9EJT

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

Mentions

arxiv: arXiv 2609.37893#T5QS (statement). In 8H0KHK7AMN/e1, theorem 2.17

History

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

6ZBB3KNWDT 6ZBB3KNWDT

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

Mentions

arxiv: arXiv 2609.29022#BMYH (definition)

History

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

Formal definition 6ZBCQ8A4SH

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

Mentions

wikipedia: Wikipedia Betti number#R3AH, Formal definition (definition)

History

2026-11-02: add by m2/dev

David Jerison 6ZBDQDH2EN

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#Y23O, David Jerison (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CIQ7, David Jerison (topic)

History

2026-11-02: add by m2/dev

Quantum calculus 6ZBGV3WRBE

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

Mentions

wikipedia: Wikipedia Quantum calculus, Quantum calculus (topic). Also Wikidata Q7269016

History

2026-11-02: add by m2/dev

6ZBGV6ZEH2 6ZBGV6ZEH2

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

Mentions

arxiv: arXiv 2609.30200#6CQQ (statement)

History

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

Philolaus 6ZBQAEYMHJ

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#4MYF, Philolaus (unknown)

History

2026-11-02: add by m2/dev

Envelope theorem 6ZBZMVWDFR

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

Mentions

mathlib_1000: mathlib_1000 Q2478371, Envelope theorem (statement). Also Wikidata Q2478371
thousand_plus: thousand_plus Q2478371, Envelope theorem (statement). Also Wikidata Q2478371, Wikipedia Envelope theorem
wikipedia: Wikipedia Envelope theorem, Envelope theorem (statement). Also Wikidata Q2478371

History

2026-10-26: add by m2/dev

6ZC1AZMWDA 6ZC1AZMWDA

URI	`m2://inv/6ZC1AZMWDA`
Kind	statement
Layer	research
MSC	54-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.33841#VJV6 (statement). In 3CVQHT206K/e1, theorem 3.1

History

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

Statement 6ZC71R89X8

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

Mentions

wikipedia: Wikipedia Law of cotangents#EPR7, Statement (statement)

History

2026-11-02: add by m2/dev

Yule's Q 6ZC8ASK21X

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

Mentions

wikipedia: Wikipedia Goodman and Kruskal's gamma#202H, Yule's Q (unknown)

History

2026-11-02: add by m2/dev

David Spiegelhalter 6ZCA8T11KZ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#RA05, David Spiegelhalter (topic)

History

2026-11-02: add by m2/dev

6ZCE5R662Q 6ZCE5R662Q

URI	`m2://inv/6ZCE5R662Q`
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 2409.17318#XCUU (statement). In 2P63T9MJ4P/e1, theorem 5.2

History

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

Formal definition 6ZCG8XPCCF

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

Mentions

wikipedia: Wikipedia EXPTIME#W1YB, Formal definition (definition)

History

2026-11-02: add by m2/dev

Special cases 6ZCWY6EWMX

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

Mentions

wikipedia: Wikipedia Wallman compactification#XIBQ, Special cases (statement)

History

2026-11-02: add by m2/dev

Probability of Joint Sector Satisfaction 6ZCZC91SHZ

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

Mentions

arxiv: arXiv 2609.40252#AJK9, Probability of Joint Sector Satisfaction (statement). In 7MVPNFPRKB/e1, corollary 8.12

History

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

geometric law 6ZD1AKVPNV

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

Mentions

mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > geometric law, geometric law (unknown). Also Mathlib ProbabilityTheory.geometricMeasure
mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > geometric law, geometric law (unknown). Also Mathlib ProbabilityTheory.geometricMeasure

History

2026-10-26: add by m2/dev

Finer topology 6ZD5QVDBVG

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

Mentions

wikipedia: Wikipedia List of order theory topics#PEGB, Finer topology (definition)
wikipedia: Wikipedia List of general topology topics#CH2C, Finer topology (definition)

History

2026-11-02: add by m2/dev

Lie operad 6ZD8128Z00

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

Mentions

wikidata: Wikidata Q60792519, Lie operad (unknown). Also nLab Lie operad
wikipedia: Wikipedia Lie operad, Lie operad (definition). Also Wikidata Q60792519

History

2026-10-26: add by m2/dev

6ZD88S75EV 6ZD88S75EV

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

Mentions

arxiv: arXiv 2609.36309#JDEN (statement). In FAJ10EJMYE/e1, lemma 6

History

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

6ZDF125FTT 6ZDF125FTT

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

Mentions

napkin: napkin tex/H113/sylow.tex#definition-4 (definition). In RZP28ERRZV, definition, section 7.3

History

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

Upper bound for the numerator complement 6ZDM2VQCN2

URI	`m2://inv/6ZDM2VQCN2`
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#GTAS, Upper bound for the numerator complement (statement). In E2AF84709B/e1, proposition 22

History

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

6ZDP4MQZPE 6ZDP4MQZPE

URI	`m2://inv/6ZDP4MQZPE`
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 0803.0074#EEE8 (statement). In NWJEN5GWFV/e1, proposition 3.1

History

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

6ZDRHZC6NR 6ZDRHZC6NR

URI	`m2://inv/6ZDRHZC6NR`
Kind	unknown
Layer	research
MSC	01-XX, 11-XX, 26-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33529#M4QC (unknown). In RQZGQG3PBR/e1, unknown II.12.7

History

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

6ZDRWGNR79 6ZDRWGNR79

URI	`m2://inv/6ZDRWGNR79`
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 2404.05965#7RD2 (statement). In GD1GED3FZ3/e1, proposition 10.2

History

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

McDiarmid's Inequality 6ZDVEHDV5M

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

Mentions

wikipedia: Wikipedia Doob martingale#2VLZ, McDiarmid's Inequality (statement)
wikipedia: Wikipedia McDiarmid's inequality#NG8B, McDiarmid's Inequality (statement)

History

2026-11-02: add by m2/dev

6ZE889JJTC 6ZE889JJTC

URI	`m2://inv/6ZE889JJTC`
Kind	statement
Layer	research
MSC	37-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 2407.06927#613Y (statement). In YM4CSJJDJZ/e1, lemma 3.9

History

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

6ZEBQJZKT6 6ZEBQJZKT6

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

Mentions

napkin: napkin tex/alg-NT/frobenius.tex#theorem-5 (statement). In RZP28ERRZV, theorem, section 13.6

History

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

6ZEBVTXSH6 6ZEBVTXSH6

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

Mentions

arxiv: arXiv 2610.00789#L1PJ (definition). In 4WPYBTARS2/e1, definition 2.2

History

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

set of integers 6ZEDPQHWED

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

Mentions

wikidata: Wikidata Q47007735, set of integers (unknown). Also MathWorld Z

History

2026-10-26: add by m2/dev

Synthetic control method 6ZEEMK0AMW

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

Mentions

wikipedia: Wikipedia Synthetic control method, Synthetic control method (definition). Also Wikidata Q25053940

History

2026-11-02: add by m2/dev

6ZEHNBYZ86 6ZEHNBYZ86

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#example-10 (example). In RZP28ERRZV, example, section 9.9.3

History

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

Integral form of the remainder 6ZEJHRVXKH

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

Mentions

wikipedia: Wikipedia Taylor's theorem#NJ3J, Integral form of the remainder (statement)

History

2026-11-02: add by m2/dev

Odd finitistic dimensions 6ZEQK0Y3EZ

URI	`m2://inv/6ZEQK0Y3EZ`
Kind	example
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.36444#TV1X, Odd finitistic dimensions (example). In 4DJE72VPJP/e1, example 5.8

History

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

Dihedron 6ZETWYHX9P

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#5G8W, Dihedron (object)
wikipedia: Wikipedia List of mathematical shapes#99TN, Dihedron (object)
wikipedia: Wikipedia List of mathematical shapes#COYO, Dihedron (object)
wikipedia: Wikipedia List of mathematical shapes#MRJR, Dihedron (object)

History

2026-11-02: add by m2/dev

Misconceptions about the normal distribution 6ZF612HEFY

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

Mentions

wikipedia: Wikipedia List of statistics articles#7P9K, Misconceptions about the normal distribution (definition)

History

2026-11-02: add by m2/dev

6ZFBAAN9W1 6ZFBAAN9W1

URI	`m2://inv/6ZFBAAN9W1`
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.25843#ZXY0 (statement)

History

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

catamorphism 6ZFJEPC3YV

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

Mentions

wikidata: Wikidata Q1959790, catamorphism (unknown). Also nLab catamorphism

History

2026-10-26: add by m2/dev

Definitions 6ZFNG3W8PG

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

Mentions

wikipedia: Wikipedia Ultragraph C*-algebra#1NL4, Definitions (definition)

History

2026-11-02: add by m2/dev

6ZFQNSKM3V 6ZFQNSKM3V

URI	`m2://inv/6ZFQNSKM3V`
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.39455#N065 (statement). In HW4Y4TMEZ3/e1, corollary 6.9

History

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

6ZFRDC090G 6ZFRDC090G

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

Mentions

arxiv: arXiv 2609.36389#Q58X (definition). In N1S169J2MV/e1, definition 10

History

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

6ZFRSZFWMA 6ZFRSZFWMA

URI	`m2://inv/6ZFRSZFWMA`
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.20944#O9QK (statement). In DRRKZR6CQC/e1, theorem 2

History

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

6ZFWVYGQ9W 6ZFWVYGQ9W

URI	`m2://inv/6ZFWVYGQ9W`
Kind	statement
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#CM7U (statement). In Y1DR0DPWD0/e1, corollary 3.18

History

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

Statement 6ZGCZ5MS5R

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

Mentions

wikipedia: Wikipedia Oka–Weil theorem#104F, Statement (statement)

History

2026-11-02: add by m2/dev

Examples 6ZGDVMQXVS

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

Mentions

wikipedia: Wikipedia Monte Carlo method#M30Y, Examples (example)

History

2026-11-02: add by m2/dev

NaiveLife 6ZGMVSMH2J

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

Mentions

wikipedia: Wikipedia Conway's Game of Life#0EE7, NaiveLife (unknown)

History

2026-11-02: add by m2/dev

6ZGP7Q07XQ 6ZGP7Q07XQ

URI	`m2://inv/6ZGP7Q07XQ`
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.13745#OFZI (statement). In CFJH0Q39FZ/e1, theorem 8.4

History

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

Robert Adrain 6ZGQBW408K

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

Mentions

wikipedia: Wikipedia Robert Adrain, Robert Adrain (topic). Also Wikidata Q3114282

History

2026-11-02: add by m2/dev

6ZH6FZ54G0 6ZH6FZ54G0

URI	`m2://inv/6ZH6FZ54G0`
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.06461#8447 (statement). In QXY3W2JV2N/e1, proposition 4.4

History

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

6ZH7P3F1S9 6ZH7P3F1S9

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

Mentions

arxiv: arXiv 2610.08323#632E (definition). In FR51ART4NF/e1, definition 3.3

History

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

Robert Daniel Carmichael 6ZH9VQN30D

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

Mentions

wikipedia: Wikipedia Robert Daniel Carmichael, Robert Daniel Carmichael (topic). Also Wikidata Q982962

History

2026-11-02: add by m2/dev

Multiple kernel learning 6ZHCZZTSXZ

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

Mentions

wikipedia: Wikipedia Multiple kernel learning, Multiple kernel learning (definition). Also Wikidata Q25048660

History

2026-11-02: add by m2/dev

Supremal functionals 6ZHHXDZ8P5

URI	`m2://inv/6ZHHXDZ8P5`
Kind	definition
Layer	research
MSC	35-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 2609.27918#EJPI, Supremal functionals (definition)

History

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

BGG resolution 6ZHMGW5Z0R

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

Mentions

wikipedia: Wikipedia Verma module#4G8T, BGG resolution (unknown)

History

2026-11-02: add by m2/dev

Löwenheim–Skolem theorem 6ZHMZD4224

URI	`m2://inv/6ZHMZD4224`
Kind	statement
Layer	textbook
MSC	03-XX
Sources	5
Outcome	open
Node	Löwenheim–Skolem theorem 484M0TZ1S7

Mentions

mathlib_1000: mathlib_1000 Q1068283, Löwenheim–Skolem theorem (statement). Also Mathlib FirstOrder.Language.exists_elementaryEmbedding_card_eq, Wikidata Q1068283
mathlib_overview: mathlib_overview Logic and computation > Model theory > Löwenheim-Skolem, Löwenheim-Skolem (unknown). Also Mathlib FirstOrder.Language.exists_elementaryEmbedding_card_eq
thousand_plus: thousand_plus Q1068283, Löwenheim–Skolem theorem (statement). Also Mathlib FirstOrder.Language.exists_elementaryEmbedding_card_eq, Wikidata Q1068283, Wikipedia Löwenheim–Skolem theorem
wikidata: Wikidata Q1068283, Löwenheim–Skolem theorem (statement). Also MathWorld Loewenheim-SkolemTheorem
wikipedia: Wikipedia Löwenheim–Skolem theorem, Löwenheim–Skolem theorem (statement). Also Wikidata Q1068283

History

2026-10-26: add by m2/dev

atomic sentence 6ZHPCKCVPH

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

Mentions

wikipedia: Wikipedia Glossary of logic#11E6, atomic sentence (definition)

History

2026-11-02: add by m2/dev

6ZHPDA0B29 6ZHPDA0B29

URI	`m2://inv/6ZHPDA0B29`
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.25896#J5M4 (statement)

History

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

Geometric mean 6ZHY8M0PHQ

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#L168, Geometric mean (definition)

History

2026-11-02: add by m2/dev

Steven Skiena 6ZJ0BS067D

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#Z277, Steven Skiena (unknown)

History

2026-11-02: add by m2/dev

Luigi Cremona 6ZJ5WCYC8D

URI	`m2://inv/6ZJ5WCYC8D`
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 Q548266, Luigi Cremona (unknown). Also ProofWiki Mathematician:Antonio_Luigi_Gaudenzio_Giuseppe_Cremona
wikipedia: Wikipedia Luigi Cremona, Luigi Cremona (topic). Also Wikidata Q548266

History

2026-10-26: add by m2/dev

Bohumil Bydzowsky 6ZJ6HNMQ74

URI	`m2://inv/6ZJ6HNMQ74`
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#0MEE, Bohumil Bydzowsky (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YVGU, Bohumil Bydzowsky (topic)

History

2026-11-02: add by m2/dev

Statement 6ZJ84SEW0F

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

Mentions

wikipedia: Wikipedia Hurwitz's theorem (complex analysis)#LDOK, Statement (statement)

History

2026-11-02: add by m2/dev

6ZJ96DD927 6ZJ96DD927

URI	`m2://inv/6ZJ96DD927`
Kind	definition
Layer	research
MSC	14-XX, 19-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 2211.10178#0J0O (definition). In 8T90H89HNB/e1, definition 1.1

History

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

6ZJAE4GD6C 6ZJAE4GD6C

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

Mentions

arxiv: arXiv 2609.30203#FFPJ (statement)

History

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

6ZJGAQ8HXS 6ZJGAQ8HXS

URI	`m2://inv/6ZJGAQ8HXS`
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.07790#R6EH (statement). In A5YJDDM0NX/e1, lemma 5.1

History

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

Direct Sobolev replacement for Lemma 9 6ZJJ94Z1K1

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

Mentions

arxiv: arXiv 1007.0842#XFK9, Direct Sobolev replacement for Lemma 9 (statement). In SEBS9D5AC5/e1, lemma 5.2

History

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

Heron’s Formula 6ZJPMK66VN

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

Mentions

mathlib_100: mathlib_100 57, Heron’s Formula (statement). Also Mathlib Theorems100.heron

History

2026-10-26: add by m2/dev

6ZJS9P0Q4G 6ZJS9P0Q4G

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

Mentions

arxiv: arXiv 2609.36423#E1R7 (statement). In Q5Z178SAHP/e1, theorem 5.1

History

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

6ZJYEH0P39 6ZJYEH0P39

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

Mentions

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

History

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

6ZK5QQAMJP 6ZK5QQAMJP

URI	`m2://inv/6ZK5QQAMJP`
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 2609.26386#3N0Z (definition)

History

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

Applications 6ZK8YY9J15

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

Mentions

wikipedia: Wikipedia Multilinear algebra#WKFO, Applications (example)

History

2026-11-02: add by m2/dev

Enneper surface 6ZKCRPSCB6

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#BF4B, Enneper surface (definition)
wikipedia: Wikipedia List of surfaces#Z09T, Enneper surface (definition)

History

2026-11-02: add by m2/dev

6ZKCSJC2TE 6ZKCSJC2TE

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

Mentions

arxiv: arXiv 2610.03628#G16A (problem). In P8KT6JV9N1/e1, problem 5.6

History

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

Definition 6ZKERR9BGS

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

Mentions

wikipedia: Wikipedia Eta invariant#YDGK, Definition (definition)

History

2026-11-02: add by m2/dev

Sudipto Banerjee 6ZKJZSG1TD

URI	`m2://inv/6ZKJZSG1TD`
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#RKYI, Sudipto Banerjee (unknown)

History

2026-11-02: add by m2/dev

6ZKKJJ63FQ 6ZKKJJ63FQ

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

Mentions

arxiv: arXiv 2610.20131#N81F (statement). In 29D4TTE3J2/e1, corollary 2.13

History

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

6ZKKP3801S 6ZKKP3801S

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

Mentions

arxiv: arXiv 2610.16554#YWDN (statement). In GWNT8HEZG1/e1, proposition 3.21

History

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

pairing function 6ZKS4KAPYK

URI	`m2://inv/6ZKS4KAPYK`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Cantor pairing function 0NP5N5PYW5

Mentions

wikidata: Wikidata Q1033906, pairing function (unknown). Also MathWorld PairingFunction
wikipedia: Wikipedia Pairing function, Pairing function (definition). Also Wikidata Q1033906

History

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

6ZKSWVS66W 6ZKSWVS66W

URI	`m2://inv/6ZKSWVS66W`
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.22469#NIGY (statement)

History

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

Canonical first-order prolongation 6ZM5JER1BC

URI	`m2://inv/6ZM5JER1BC`
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.20197#WQ9O, Canonical first-order prolongation (statement)

History

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

Recovery at the current excess 6ZMBG74MRC

URI	`m2://inv/6ZMBG74MRC`
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.14509#ZBRN, Recovery at the current excess (statement). In N6GD8392QB/e1, corollary 6.8

History

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

6ZMD31DB59 6ZMD31DB59

URI	`m2://inv/6ZMD31DB59`
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.28200#NAOI (statement)

History

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

Proof that π is irrational 6ZMWKPZ7K6

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#IKH9, Proof that π is irrational (definition)

History

2026-11-02: add by m2/dev

6ZMXP0SJRC 6ZMXP0SJRC

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

Mentions

arxiv: arXiv 2610.11905#3UY0 (statement). In QQFXT31CA5/e1, proposition 4.1

History

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

Algorithms 6ZMXYCXQ0M

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

Mentions

wikipedia: Wikipedia Stan (software)#TKOH, Algorithms (definition)

History

2026-11-02: add by m2/dev

Main theorem 6ZN17Z63K6

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

Mentions

arxiv: arXiv 2610.07905#TN9W, Main theorem (statement). In 88GEN3Z5VG/e1, theorem 1.1

History

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

Uniform regularized stability 6ZN26QTRS5

URI	`m2://inv/6ZN26QTRS5`
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.08152#U765, Uniform regularized stability (statement). In T1GYQ6SCCZ/e1, lemma 7.3

History

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

6ZN2YAE61X 6ZN2YAE61X

URI	`m2://inv/6ZN2YAE61X`
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 2610.05471#FY62 (example). In WDWF9WKNK1/e1, example 4.2

History

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

6ZN64QCRKE 6ZN64QCRKE

URI	`m2://inv/6ZN64QCRKE`
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.16060#KUXX (statement). In X0BTF9HPGM/e1, theorem 5.1

History

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

6ZNE9F8M1N 6ZNE9F8M1N

URI	`m2://inv/6ZNE9F8M1N`
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.09810#VVZF (statement). In B6PCH930FV/e1, lemma 4

History

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

Partial half-life 6ZNEG0H35B

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

Mentions

wikipedia: Wikipedia Exponential decay#BUK2, Partial half-life (unknown)

History

2026-11-02: add by m2/dev

6ZNKCRR2BY 6ZNKCRR2BY

URI	`m2://inv/6ZNKCRR2BY`
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.14121#PSQB (statement). In MRKCK4QYZN/e1, lemma 2.1

History

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

Geographical space 6ZNM79SA6P

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

Mentions

wikipedia: Wikipedia Space#ECEJ, Geographical space (unknown)

History

2026-11-02: add by m2/dev

Logarithmic distribution 6ZNMYPXS0F

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

Mentions

wikipedia: Wikipedia List of statistics articles#7Y4F, Logarithmic distribution (definition)

History

2026-11-02: add by m2/dev

6ZP1CR7KZQ 6ZP1CR7KZQ

URI	`m2://inv/6ZP1CR7KZQ`
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.26089#R8UH (statement)

History

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

Examples 6ZP694ZB7M

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

Mentions

wikipedia: Wikipedia (B, N) pair#98YO, Examples (example)

History

2026-11-02: add by m2/dev

*{Sec. 6.4, Lemma 6.9 6ZP77R2RX4

URI	`m2://inv/6ZP77R2RX4`
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.23341#2QK0, *{Sec. 6.4, Lemma 6.9 (statement)

History

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

6ZP92XKY7B 6ZP92XKY7B

URI	`m2://inv/6ZP92XKY7B`
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#6BBH (statement). In F1CYVYK7YB/e1, proposition 9.7

History

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

6ZPCK4295T 6ZPCK4295T

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

Mentions

arxiv: arXiv 2610.07673#X29T (example). In 37B1MPV8GX/e1, example 7.10

History

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

Example 6ZPHE3X8Q6

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

Mentions

wikipedia: Wikipedia Power (statistics)#IDJH, Example (example)

History

2026-11-02: add by m2/dev

6ZPN0W9XK1 6ZPN0W9XK1

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

Mentions

arxiv: arXiv 2609.26276#79J6 (statement)

History

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

6ZPNA6QTXN 6ZPNA6QTXN

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

Mentions

arxiv: arXiv 2610.15019#HB0H (statement). In 9GWQN1DYM1/e1, theorem 4.1

History

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

6ZPS14ZYGB 6ZPS14ZYGB

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

Mentions

arxiv: arXiv 2610.08251#T6T7 (statement). In YRJKC9DJEA/e1, theorem 5.1

History

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

6ZPWBG1TSQ 6ZPWBG1TSQ

URI	`m2://inv/6ZPWBG1TSQ`
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.11034#M0PM (statement). In 2KACPY9MMF/e1, proposition 5.1

History

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

Reliability theory 6ZPZ44HCEJ

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

Mentions

wikipedia: Wikipedia List of statistics articles#Z4E0, Reliability theory (definition)

History

2026-11-02: add by m2/dev

Harish-Chandra's c-function 6ZQ2P610ZG

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

Mentions

wikipedia: Wikipedia Harish-Chandra's c-function, Harish-Chandra's c-function (definition). Also Wikidata Q5657823

History

2026-11-02: add by m2/dev

Opinion polling for the 2022 Israeli legislative election 6ZQ48NJM12

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

Mentions

wikipedia: Wikipedia Opinion polling for the 2022 Israeli legislative election, Opinion polling for the 2022 Israeli legislative election (definition). Also Wikidata Q106460485

History

2026-11-02: add by m2/dev

Radin forcing 6ZQ7B9NAYE

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

Mentions

wikipedia: Wikipedia List of forcing notions#MPCA, Radin forcing (unknown)

History

2026-11-02: add by m2/dev

6ZQ94S5FQM 6ZQ94S5FQM

URI	`m2://inv/6ZQ94S5FQM`
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#L295 (statement)

History

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

J. Peter May 6ZQBF3ZRAF

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

Mentions

wikipedia: Wikipedia J. Peter May, J. Peter May (topic). Also Wikidata Q1676378

History

2026-11-02: add by m2/dev

6ZQKRST9ZC 6ZQKRST9ZC

URI	`m2://inv/6ZQKRST9ZC`
Kind	definition
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.30363#EDXH (definition). In QHBBP180QJ/e1, definition 1

History

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

6ZQQ4TX9K2 6ZQQ4TX9K2

URI	`m2://inv/6ZQQ4TX9K2`
Kind	definition
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#01A2 (definition). In HGE2NCQW29/e1, definition 8.1

History

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

projection 6ZQQK4PEVJ

URI	`m2://inv/6ZQQK4PEVJ`
Kind	definition
Layer	textbook
MSC	47B35
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Projection 033DA1WE8Y

Mentions

wikidata: Wikidata Q519967, projection (topic). Also EoM Projector, nLab projector
wikipedia: Wikipedia Projection (linear algebra), Projection (definition). Also Wikidata Q519967

History

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

6ZQR6H7EGM 6ZQR6H7EGM

URI	`m2://inv/6ZQR6H7EGM`
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.18580#UR0H (statement). In 443TZD4P0A/e1, lemma 16

History

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

Brown--Harary 6ZQS65YZAC

URI	`m2://inv/6ZQS65YZAC`
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.38772#T7W3, Brown--Harary (statement). In 1C3R5NAQAP/e1, theorem 3.19

History

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

6ZQT5MKG3H 6ZQT5MKG3H

URI	`m2://inv/6ZQT5MKG3H`
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.34856#R8OO (statement). In MRR92GQNZE/e1, lemma 3.2

History

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

6ZR1F9SVAT 6ZR1F9SVAT

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#example-21 (example). In E59CDZA4DP, example, section 10.6.5

History

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

Clifton 6ZR6RCZQN0

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#HD9U, Clifton (unknown)

History

2026-11-02: add by m2/dev

Reynolds transport theorem 6ZRBXWAEMQ

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

Mentions

wikipedia: Wikipedia List of theorems#4FMA, Reynolds transport theorem (statement)

History

2026-11-02: add by m2/dev

Datar--Mete--Song 6ZRDJ057W8

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

Mentions

arxiv: arXiv 2609.28411#3CSN, Datar--Mete--Song (conjecture)

History

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

finite product of metric spaces 6ZRFR28Z2F

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

Mentions

mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > finite product of metric spaces, finite product of metric spaces (unknown). Also Mathlib metricSpacePi

History

2026-10-26: add by m2/dev

6ZRJ47KDAV 6ZRJ47KDAV

URI	`m2://inv/6ZRJ47KDAV`
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.01268#58AS (statement). In 80Q4X3WT8W/e1, lemma 4.4

History

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

Reduction to pair orbits 6ZRPYW8SJ7

URI	`m2://inv/6ZRPYW8SJ7`
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.25987#E6MS, Reduction to pair orbits (statement)

History

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

Line of action 6ZRSTQ1AWT

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

Mentions

wikipedia: Wikipedia Line of action, Line of action (definition). Also Wikidata Q2186943

History

2026-11-02: add by m2/dev

Ying Ding 6ZRTWE126K

URI	`m2://inv/6ZRTWE126K`
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#0ALU, Ying Ding (unknown)

History

2026-11-02: add by m2/dev

Joseph A. Thas 6ZRVZBHX7H

URI	`m2://inv/6ZRVZBHX7H`
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#FTGR, Joseph A. Thas (topic)

History

2026-11-02: add by m2/dev

Rapid mixing 6ZS0XHM607

URI	`m2://inv/6ZS0XHM607`
Kind	definition
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.36016#CZ9O, Rapid mixing (definition). In NAM9ZMPHZ9/e1, definition 2.2

History

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

cumulative frequency 6ZS4RVZC6V

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

Mentions

wikidata: Wikidata Q73129, cumulative frequency (unknown). Also MathWorld CumulativeFrequency
wikipedia: Wikipedia Cumulative frequency analysis, Cumulative frequency analysis (definition). Also Wikidata Q73129

History

2026-10-26: add by m2/dev

6ZSBFB6FHG 6ZSBFB6FHG

URI	`m2://inv/6ZSBFB6FHG`
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 2411.05198#6H2B (statement). In NJWY6HPFHG/e1, fact 4

History

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

6ZSSRBHD8D 6ZSSRBHD8D

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

Mentions

arxiv: arXiv 1002.0879#G2TT (definition). In M0SQY5EZN5/e1, definition 1.1.8

History

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

6ZSXN01EDG 6ZSXN01EDG

URI	`m2://inv/6ZSXN01EDG`
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.29205#JHCD (statement)

History

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

Step 2: each $E_n$ is a conditional \evar 6ZTAP3HZ7P

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

Mentions

arxiv: arXiv 2609.27765#G448, Step 2: each $E_n$ is a conditional \evar (statement)

History

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

6ZTXP31AMY 6ZTXP31AMY

URI	`m2://inv/6ZTXP31AMY`
Kind	example
Layer	research
MSC	19-XX, 20-XX, 22-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.14278#2WV5 (example). In RTE2C0PH4S/e1, example 6.2

History

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

Gamma representation and master distance formula 6ZTY4AQ6GT

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

Mentions

arxiv: arXiv 2609.27752#L5EL, Gamma representation and master distance formula (statement)

History

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

State transition matrix 6ZV3YMC6DJ

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

Mentions

wikipedia: Wikipedia List of named matrices#EMNP, State transition matrix (definition)

History

2026-11-02: add by m2/dev

Order-4 octahedral honeycomb 6ZV6FKYJWZ

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

Mentions

wikipedia: Wikipedia Order-4 octahedral honeycomb, Order-4 octahedral honeycomb (definition). Also Wikidata Q14629801

History

2026-11-02: add by m2/dev

Application 6ZV70DVFRK

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

Mentions

wikipedia: Wikipedia Alexander's subbase lemma#HHZ4, Application (example)

History

2026-11-02: add by m2/dev

Examples of asymptotic formulas 6ZV73C2TAK

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

Mentions

wikipedia: Wikipedia Asymptotic analysis#WFXO, Examples of asymptotic formulas (example)

History

2026-11-02: add by m2/dev

6ZV9G8Y20D 6ZV9G8Y20D

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

Mentions

arxiv: arXiv 2609.29759#3LXS (definition)

History

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

Kendall's W 6ZVA4F74TP

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

Mentions

wikipedia: Wikipedia List of statistics articles#LTDF, Kendall's W (definition)

History

2026-11-02: add by m2/dev

quantile 6ZVDFTF3A4

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#1ZTZ, quantile (definition)

History

2026-11-02: add by m2/dev

2-Yoneda lemma 6ZVRC8NV8G

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

Mentions

wikipedia: Wikipedia Algebraic stack#PIBC, 2-Yoneda lemma (statement)

History

2026-11-02: add by m2/dev

6ZW1FFHHHQ 6ZW1FFHHHQ

URI	`m2://inv/6ZW1FFHHHQ`
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.19300#UPPU (statement). In S6S4RD5VXJ/e1, lemma 4

History

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

Examples 6ZWBFNMMMR

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

Mentions

wikipedia: Wikipedia Heat engine#3XRA, Examples (example)

History

2026-11-02: add by m2/dev

6ZWF0TJD5Q 6ZWF0TJD5Q

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

Mentions

arxiv: arXiv 2609.37093#2V57 (example). In GA6QH32CJQ/e1, example 27

History

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

21 6ZWHJKFYME

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

Mentions

wikipedia: Wikipedia 21 (number), 21 (definition). Also Wikidata Q712477

History

2026-11-02: add by m2/dev

6ZWVEJ9D4C 6ZWVEJ9D4C

URI	`m2://inv/6ZWVEJ9D4C`
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.17817#CQ0E (statement). In M8TSJ24RC2/e1, lemma 2.11

History

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

6ZX0CNSKF9 6ZX0CNSKF9

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

Mentions

hott_book: hott_book basics.tex#thm:transport-concat (statement). In N54F33XE07, lem, section 1.3

History

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

Carolyn Morgan 6ZX4E6ZB9R

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

Mentions

wikipedia: Wikipedia Carolyn Morgan, Carolyn Morgan (topic). Also Wikidata Q107523390

History

2026-11-02: add by m2/dev

6ZXHGZY911 6ZXHGZY911

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

Mentions

open_logic: open_logic content/first-order-logic/sequent-calculus/provability-quantifiers.tex#thm:strong-generalization (statement). In PKGMM3P5QY, thm, section 17.9

History

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

Geometric notation 6ZXWTJ679J

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

Mentions

wikipedia: Wikipedia Space group#SPUV, Geometric notation (definition)

History

2026-11-02: add by m2/dev

6ZXXGTP31G 6ZXXGTP31G

URI	`m2://inv/6ZXXGTP31G`
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.13489#CSYR (statement). In R4CJ28GP2T/e1, theorem 2.1

History

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

Uniform remainder 6ZXYE4WYKY

URI	`m2://inv/6ZXYE4WYKY`
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.13685#090G, Uniform remainder (statement). In 4XQWY8C4AV/e1, lemma 1

History

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

6ZY0ZXJF24 6ZY0ZXJF24

URI	`m2://inv/6ZY0ZXJF24`
Kind	statement
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.10545#P7HG (statement). In ZA75D59G8K/e1, lemma 4.2

History

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

Fuglede's conjecture 6ZY4H0GTQ7

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

Mentions

wikidata: Wikidata Q56291736, Fuglede's conjecture (concept). Also MathWorld FugledesConjecture
wikipedia: Wikipedia Fuglede's conjecture, Fuglede's conjecture (statement). Also Wikidata Q56291736

History

2026-10-26: add by m2/dev

Extensions 6ZY4VJF912

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

Mentions

wikipedia: Wikipedia Cox–Ingersoll–Ross model#RQFJ, Extensions (statement)

History

2026-11-02: add by m2/dev

6ZY6C7Y5VT 6ZY6C7Y5VT

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

Mentions

arxiv: arXiv 2610.00869#ZX54 (statement). In 63JMKC4GZE/e1, lemma 3.1

History

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

6ZY6Q28P99 6ZY6Q28P99

URI	`m2://inv/6ZY6Q28P99`
Kind	statement
Layer	research
MSC	16-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.27420#NKSX (statement)

History

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

6ZYA1J60FG 6ZYA1J60FG

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-48 (exercise). In E59CDZA4DP, exercise, section 10.3.5

History

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

Theorem 6ZYAE3GV3D

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

Mentions

wikipedia: Wikipedia Young's inequality for products#S76M, Theorem (statement)

History

2026-11-02: add by m2/dev

6ZYJ7DX49T 6ZYJ7DX49T

URI	`m2://inv/6ZYJ7DX49T`
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.26813#5UJH (statement)

History

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

6ZZ2YF1TQX 6ZZ2YF1TQX

URI	`m2://inv/6ZZ2YF1TQX`
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-1 (exercise). In Y91XFCEVHQ, exercise, section 5.7

History

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

Generalizations 6ZZ43BJ3GR

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

Mentions

wikipedia: Wikipedia Roth's theorem#H0FN, Generalizations (statement)

History

2026-11-02: add by m2/dev

Julia Gog 6ZZ50ZXNAE

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

Mentions

wikipedia: Wikipedia Julia Gog, Julia Gog (topic). Also Wikidata Q29523443

History

2026-11-02: add by m2/dev

Limitations of the Erlang formula 6ZZ5BPNHDF

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

Mentions

wikipedia: Wikipedia Erlang (unit)#MHR9, Limitations of the Erlang formula (statement)

History

2026-11-02: add by m2/dev

Countably quasi-barrelled space 6ZZ6TQJ60S

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

Mentions

wikipedia: Wikipedia Countably quasi-barrelled space, Countably quasi-barrelled space (definition). Also Wikidata Q96375599

History

2026-11-02: add by m2/dev

Wheeler–Feynman absorber theory 6ZZ86CJMKP

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

Mentions

wikipedia: Wikipedia Wheeler–Feynman absorber theory, Wheeler–Feynman absorber theory (definition). Also Wikidata Q3526772

History

2026-11-02: add by m2/dev

Balaban 10-cage 6ZZ95RWRB4

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

Mentions

wikidata: Wikidata Q675752, Balaban 10-cage (unknown). Also House of Graphs 949, MathWorld Balaban10-Cage
wikipedia: Wikipedia Balaban 10-cage, Balaban 10-cage (definition). Also Wikidata Q675752

History

2026-10-26: add by m2/dev

Measure of non-compactness 6ZZG7EC51B

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

Mentions

wikipedia: Wikipedia Measure of non-compactness, Measure of non-compactness (definition). Also Wikidata Q6804195

History

2026-11-02: add by m2/dev

6ZZGV4C2AX 6ZZGV4C2AX

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

Mentions

arxiv: arXiv 2610.03081#54QM (statement). In TX0H26X4VX/e1, theorem

History

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

6ZZH0FWW7K 6ZZH0FWW7K

URI	`m2://inv/6ZZH0FWW7K`
Kind	statement
Layer	research
MSC	17-XX, 19-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 2504.00596#K3WT (statement). In F8RC6AENB0/e1, lemma 6.13

History

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

6ZZMVKJBRQ 6ZZMVKJBRQ

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

Mentions

arxiv: arXiv 2610.14060#DASN (definition). In X47RYAZF8P/e1, definition 6.1

History

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

Marloes Maathuis 6ZZSDRCD9M

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

Mentions

wikipedia: Wikipedia Marloes Maathuis, Marloes Maathuis (topic). Also Wikidata Q42075170

History

2026-11-02: add by m2/dev