Inventory rows XH

Bismut connection XH0372ZN8X

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

Mentions

wikipedia: Wikipedia Bismut connection, Bismut connection (definition). Also Wikidata Q4918346

History

2026-11-02: add by m2/dev

XH0E5GS8R0 XH0E5GS8R0

URI	`m2://inv/XH0E5GS8R0`
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.12912#KDNJ (statement). In PDKBKKJ4BV/e1, lemma 3.5

History

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

Jaygopal Tarkalankar XH0FHG6W8T

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

Mentions

wikipedia: Wikipedia List of teachers of Nyaya#P7BT, Jaygopal Tarkalankar (unknown)

History

2026-11-02: add by m2/dev

Lebesgue measure XH0H91TEZE

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

Mentions

wikipedia: Wikipedia List of real analysis topics#BVTX, Lebesgue measure (definition)
wikipedia: Wikipedia List of integration and measure theory topics#4ZE3, Lebesgue measure (definition)

History

2026-11-02: add by m2/dev

XH0Q5Z1K3S XH0Q5Z1K3S

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

Mentions

arxiv: arXiv 2609.40017#WSEZ (statement). In MBHJA0HT06/e1, proposition 3.5

History

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

Example XH0VNY1JA8

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

Mentions

wikipedia: Wikipedia System of imprimitivity#MJ87, Example (example)

History

2026-11-02: add by m2/dev

Bekenstein–Hawking formula XH105HRJYQ

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

Mentions

wikipedia: Wikipedia String theory#0XK6, Bekenstein–Hawking formula (statement)

History

2026-11-02: add by m2/dev

XH14EQ0YY0 XH14EQ0YY0

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

Mentions

open_logic: open_logic content/counterfactuals/minimal-change-semantics/transitivity.tex#ex:trans-counterex (example). In PKGMM3P5QY, ex, section 6.2

History

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

Cepstrum XH14QKFSVY

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

Mentions

wikipedia: Wikipedia List of statistics articles#Q1DI, Cepstrum (definition)

History

2026-11-02: add by m2/dev

XH15X6504T XH15X6504T

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

Mentions

arxiv: arXiv 2006.12475#UI9V (statement). In 8YWBGQQGA3/e1, proposition 7

History

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

Algorithm XH16DTC0QH

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

Mentions

wikipedia: Wikipedia Cuthill–McKee algorithm#OJC4, Algorithm (definition)

History

2026-11-02: add by m2/dev

XH1KW7751A XH1KW7751A

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

Mentions

arxiv: arXiv 2609.29878#3KIK (statement)

History

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

XH1N7V7NN6 XH1N7V7NN6

URI	`m2://inv/XH1N7V7NN6`
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.10406#L8PR (definition). In VQA35Q7C00/e1, definition 2.3

History

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

Algebraic element XH1PPETKFV

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

Mentions

wikipedia: Wikipedia List of polynomial topics#R26H, Algebraic element (definition)

History

2026-11-02: add by m2/dev

XH1TP2E053 XH1TP2E053

URI	`m2://inv/XH1TP2E053`
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#VRFG (statement). In JS5FKV1S9T/e1, corollary B.1

History

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

XH1WQWFEC7 XH1WQWFEC7

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

Mentions

arxiv: arXiv math/0003117#PBTZ (statement). In WD2NCBV9F0/e1, lemma 11.6

History

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

XH2684FSTA XH2684FSTA

URI	`m2://inv/XH2684FSTA`
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.20600#Z18K (statement). In H5JZ2T9KVT/e1, proposition 11

History

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

XH26BJCD1V XH26BJCD1V

URI	`m2://inv/XH26BJCD1V`
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#3JKL (statement)

History

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

Golden field XH29044DCP

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

Mentions

wikipedia: Wikipedia Golden field, Golden field (definition). Also Wikidata Q135087801

History

2026-11-02: add by m2/dev

XH29ADSS7C XH29ADSS7C

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

Mentions

arxiv: arXiv 2610.17441#0M9F (example). In 9Q8S0NWHP2/e1, example 3.6

History

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

XH2K8R3FSD XH2K8R3FSD

URI	`m2://inv/XH2K8R3FSD`
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.08202#24OC (statement). In N7XJ16700B/e1, proposition 4

History

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

XH2N8G2VZX XH2N8G2VZX

URI	`m2://inv/XH2N8G2VZX`
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.33552#ENDJ (statement). In SRAS2DJJQH/e1, lemma 5.5

History

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

Carpenter's rule problem XH2TW1TPJC

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

Mentions

wikipedia: Wikipedia Carpenter's rule problem, Carpenter's rule problem (problem). Also Wikidata Q5045673

History

2026-11-02: add by m2/dev

bar chart XH2X9THA8A

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#RXHR, bar chart (definition)

History

2026-11-02: add by m2/dev

XH2Y78H55A XH2Y78H55A

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

Mentions

napkin: napkin tex/calculus/differentiate.tex#definition-2 (definition). In RZP28ERRZV, definition, section 30.3

History

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

Semiparametric regression XH2Z4YA4MA

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

Mentions

wikipedia: Wikipedia Semiparametric regression, Semiparametric regression (definition). Also Wikidata Q7449609

History

2026-11-02: add by m2/dev

Lenstra elliptic-curve factorization XH33FQA54N

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

Mentions

wikipedia: Wikipedia Lenstra elliptic-curve factorization, Lenstra elliptic-curve factorization (definition). Also Wikidata Q2662711

History

2026-11-02: add by m2/dev

Pál Turán XH3AQC289B

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#C47U, Pál Turán (topic)

History

2026-11-02: add by m2/dev

Yokota's first localization XH3EJ1HQBA

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

Mentions

arxiv: arXiv 2610.17909#I5YV, Yokota's first localization (statement). In YXZX6Z8S6A/e1, lemma B.3

History

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

free XH3N02WGAT

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

Mentions

wikipedia: Wikipedia Glossary of module theory#57DK, free (definition)

History

2026-11-02: add by m2/dev

XH3N0AMFB1 XH3N0AMFB1

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

Mentions

arxiv: arXiv 2609.25289#36M3 (problem)

History

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

Guttman scale XH3PMT4PT2

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

Mentions

wikipedia: Wikipedia Guttman scale, Guttman scale (definition). Also Wikidata Q1304639

History

2026-11-02: add by m2/dev

XH3S9C17DM XH3S9C17DM

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

Mentions

arxiv: arXiv 2609.26996#WN39 (statement). In FP7Z8PJ4AW/e1, proposition D.3

History

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

XH3X4ZE0ZF XH3X4ZE0ZF

URI	`m2://inv/XH3X4ZE0ZF`
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.31604#MGTX (statement). In GSN5YTQS2K/e1, lemma 3.21

History

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

XH4J50JHV3 XH4J50JHV3

URI	`m2://inv/XH4J50JHV3`
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.10474#W8QS (statement). In MB29RAAQMG/e1, lemma 6.5

History

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

XH4PNCHMQS XH4PNCHMQS

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

Mentions

arxiv: arXiv 2609.26896#4UH1 (definition)

History

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

Benardete's paradox XH4S5EANN7

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

Mentions

wikipedia: Wikipedia Supertask#CEFX, Benardete's paradox (statement)

History

2026-11-02: add by m2/dev

Steiner tree XH4Y7AE197

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#RM37, Steiner tree (problem)

History

2026-11-02: add by m2/dev

Whitehead problem XH51M94YZJ

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

Mentions

wikipedia: Wikipedia Whitehead problem, Whitehead problem (problem). Also Wikidata Q2905020

History

2026-11-02: add by m2/dev

XH59DZM9ZQ XH59DZM9ZQ

URI	`m2://inv/XH59DZM9ZQ`
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 2210.11778#L9A1 (statement). In PPAJZ2JBCE/e1, theorem 1.3

History

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

Abbas Edalat XH5EHJG5C9

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

Mentions

wikipedia: Wikipedia List of Iranian mathematicians#8QMV, Abbas Edalat (unknown)

History

2026-11-02: add by m2/dev

XH5HTC3Y76 XH5HTC3Y76

URI	`m2://inv/XH5HTC3Y76`
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.17720#TPFM (statement). In QPM0GQYNZ9/e1, lemma 8.3

History

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

Properties XH5MASGAJS

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

Mentions

wikipedia: Wikipedia Fredholm operator#4UCI, Properties (statement)

History

2026-11-02: add by m2/dev

Definitions XH5VKWYNGS

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

Mentions

wikipedia: Wikipedia Cofinal (mathematics)#TPFF, Definitions (definition)

History

2026-11-02: add by m2/dev

XH62M6PY36 XH62M6PY36

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

Mentions

arxiv: arXiv 2609.28282#JE20 (statement)

History

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

XH6BX8PD3T XH6BX8PD3T

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

Mentions

arxiv: arXiv 2609.34168#V7XK (statement). In 30YQV8N04M/e1, lemma 2.5

History

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

Higman's embedding theorem XH6P6KT6YV

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

Mentions

wikipedia: Wikipedia List of theorems#1QCY, Higman's embedding theorem (statement)

History

2026-11-02: add by m2/dev

central force XH6Z2F24ZF

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

Mentions

wikidata: Wikidata Q190663, central force (definition). Also ProofWiki Definition:Central_Force
wikipedia: Wikipedia Central force, Central force (definition). Also Wikidata Q190663

History

2026-10-26: add by m2/dev

Joint LDP with a fixed radial displacement XH6ZV1T8XS

URI	`m2://inv/XH6ZV1T8XS`
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.02436#6FON, Joint LDP with a fixed radial displacement (statement). In J9WZBK6KAY/e1, lemma 3.15

History

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

Parametric family XH72Z0HEZN

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

Mentions

wikipedia: Wikipedia Parametric family, Parametric family (definition). Also Wikidata Q7135227

History

2026-11-02: add by m2/dev

XH7377HSP5 XH7377HSP5

URI	`m2://inv/XH7377HSP5`
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.29170#JK3J (statement)

History

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

Terminology XH789EBWJ7

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

Mentions

wikipedia: Wikipedia Composite Bézier curve#JCYE, Terminology (definition)

History

2026-11-02: add by m2/dev

Covering Number XH78G6HZHJ

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

Mentions

arxiv: arXiv 2610.02663#YC8T, Covering Number (definition). In PGAZ70WGMG/e1, definition 1

History

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

XH79NYGQNH XH79NYGQNH

URI	`m2://inv/XH79NYGQNH`
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.13864#K8CF (statement). In ZGZGGGCWD3/e1, corollary 4.4

History

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

Common pullback of critical functions XH7MNZC6NZ

URI	`m2://inv/XH7MNZC6NZ`
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.30301#JJPQ, Common pullback of critical functions (statement). In 7NS75J7HAM/e1, lemma 9.38

History

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

Formulas in n dimensions XH7MRC2J6K

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

Mentions

wikipedia: Wikipedia Frenet–Serret formulas#UXWU, Formulas in n dimensions (statement)

History

2026-11-02: add by m2/dev

positive and negative predictive values XH7PTWFA79

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

Mentions

wikidata: Wikidata Q3553769, positive and negative predictive values (unknown). Also MathWorld PredictiveValue
wikipedia: Wikipedia Positive and negative predictive values, Positive and negative predictive values (definition). Also Wikidata Q3553769

History

2026-10-26: add by m2/dev

Rudolfsheim-Fünfhaus XH7W72RHYV

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

Mentions

wikipedia: Wikipedia List of places with numeric names#ZSA6, Rudolfsheim-Fünfhaus (unknown)

History

2026-11-02: add by m2/dev

Probability box XH7X32C8RG

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

Mentions

wikipedia: Wikipedia Probability box, Probability box (definition). Also Wikidata Q7246874

History

2026-11-02: add by m2/dev

XH8144Q71Z XH8144Q71Z

URI	`m2://inv/XH8144Q71Z`
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.33383#V6JR (statement). In 8AHWRHTP5G/e1, theorem 2

History

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

XH86KW83G7 XH86KW83G7

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-44 (exercise). In VNMV985MXX, exercise, section 1.5

History

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

Rouché's theorem XH89A81K7W

URI	`m2://inv/XH89A81K7W`
Kind	statement
Layer	textbook
MSC	30-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Rouché's theorem 0D430QR02W

Mentions

mathlib_1000: mathlib_1000 Q1191862, Rouché's theorem (statement). Also Wikidata Q1191862
thousand_plus: thousand_plus Q1191862, Rouché's theorem (statement). Also Wikidata Q1191862, Wikipedia Rouché's theorem
wikidata: Wikidata Q1191862, Rouché's theorem (statement). Also ProofWiki Rouché's_Theorem
wikipedia: Wikipedia Rouché's theorem, Rouché's theorem (statement). Also Wikidata Q1191862

History

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

modular invariance XH8DWBCTMR

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

Mentions

wikidata: Wikidata Q60367, modular invariance (unknown). Also nLab modular invariance

History

2026-10-26: add by m2/dev

XH8HFKWSDP XH8HFKWSDP

URI	`m2://inv/XH8HFKWSDP`
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 2610.16779#MFIR (definition). In 1R7H0ZAHWA/e1, definition 3.1

History

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

XH8PCFETDQ XH8PCFETDQ

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

Mentions

wikipedia: Wikipedia Critical exponent#K3Q4 (problem)

History

2026-11-02: add by m2/dev

William Goldman XH8R40RAYC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#USLK, William Goldman (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TVEY, William Goldman (topic)

History

2026-11-02: add by m2/dev

Ribbon Knill-Laflamme XH8RCSDMEH

URI	`m2://inv/XH8RCSDMEH`
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.03677#E88W, Ribbon Knill-Laflamme (statement). In J1Y06VVYRG/e1, theorem 12

History

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

Hamiltonian construction XH8TR1GB9T

URI	`m2://inv/XH8TR1GB9T`
Kind	example
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#UDIZ, Hamiltonian construction (example). In NAM9ZMPHZ9/e1, example 3.9

History

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

XH8TTACPT8 XH8TTACPT8

URI	`m2://inv/XH8TTACPT8`
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#RAQU (definition). In 4WPYBTARS2/e1, definition 2.19

History

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

XH8X2C89W5 XH8X2C89W5

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

Mentions

napkin: napkin tex/H113/ring-flavors.tex#prob:finite_domain_field (exercise). In RZP28ERRZV, sproblem, section 4.8

History

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

Based-torus comparison XH8ZN8AB67

URI	`m2://inv/XH8ZN8AB67`
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.04189#OT20, Based-torus comparison (statement). In 1KRZ5ACTKE/e1, proposition 4.1

History

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

XH94SSZ8H8 XH94SSZ8H8

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

Mentions

arxiv: arXiv 2609.25703#CPHW (statement)

History

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

Corollary (over a convex polytope) XH9D7QVQMS

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

Mentions

wikipedia: Wikipedia Sub-Gaussian distribution#99G8, Corollary (over a convex polytope) (statement)

History

2026-11-02: add by m2/dev

XH9HGQJ3Q2 XH9HGQJ3Q2

URI	`m2://inv/XH9HGQJ3Q2`
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.13076#GC45 (statement). In K7GJA4WGV7/e1, theorem 2.3

History

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

Crystal healing XH9KYT968G

URI	`m2://inv/XH9KYT968G`
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#T89D, Crystal healing (unknown)

History

2026-11-02: add by m2/dev

XH9NYJKZMF XH9NYJKZMF

URI	`m2://inv/XH9NYJKZMF`
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.15352#5IMK (statement). In R39P7AFXM8/e1, theorem 1.1

History

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

Semicontinuity theorem XH9RS2ZBRT

URI	`m2://inv/XH9RS2ZBRT`
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.05193#7K7V, Semicontinuity theorem (statement). In XDMM0KNNZ9/e1, theorem 30

History

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

XH9XDZ7AGK XH9XDZ7AGK

URI	`m2://inv/XH9XDZ7AGK`
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 2212.11038#DP9R (statement). In M3E3ARMJXK/e1, lemma 3.2

History

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

Eulerian number XHA7SYBH5Q

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

Mentions

wikipedia: Wikipedia List of triangle topics#7L4Y, Eulerian number (definition)

History

2026-11-02: add by m2/dev

Example XHAQ5FF4VQ

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

Mentions

wikipedia: Wikipedia Gödel numbering#MBNP, Example (example)

History

2026-11-02: add by m2/dev

XHAYXEC42S XHAYXEC42S

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

Mentions

hott_book: hott_book hlevels.tex#proof-34 (proof). In N54F33XE07, proof, section 6.5

History

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

Band hypothesis XHB8G4AMFB

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

Mentions

arxiv: arXiv 2610.20106#XMPH, Band hypothesis (definition). In 6HMZ36ZBXA/e1, definition 2.5

History

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

Schwarz's list XHBQCASQ7D

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

Mentions

wikipedia: Wikipedia Schwarz's list, Schwarz's list (definition). Also Wikidata Q7433183

History

2026-11-02: add by m2/dev

Thurston's hyperbolic Dehn surgery theorem and the Jørgensen–Thurston theorem XHCAK4YS73

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

Mentions

wikipedia: Wikipedia 3-manifold#9HDW, Thurston's hyperbolic Dehn surgery theorem and the Jørgensen–Thurston theorem (statement)

History

2026-11-02: add by m2/dev

Examples XHCE87E966

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

Mentions

wikipedia: Wikipedia Regular measure#CONG, Examples (example)

History

2026-11-02: add by m2/dev

XHCFJ8WWVM XHCFJ8WWVM

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

Mentions

arxiv: arXiv 2610.02158#07RF (statement). In PCV12VAD47/e1, theorem 4

History

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

XHCHMTAWT3 XHCHMTAWT3

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

Mentions

arxiv: arXiv 2609.21670#HTBQ (statement)

History

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

XHCNZR3W8Y XHCNZR3W8Y

URI	`m2://inv/XHCNZR3W8Y`
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 2605.16669#NE5O (statement). In 1463YCCRP5/e1, theorem 4.2

History

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

Hyperbolic distribution XHCVB4PTV9

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

Mentions

wikipedia: Wikipedia Hyperbolic distribution, Hyperbolic distribution (definition). Also Wikidata Q5957786

History

2026-11-02: add by m2/dev

XHD2VECN14 XHD2VECN14

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

Mentions

arxiv: arXiv 2609.26382#14PV (statement)

History

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

XHD6P2A29X XHD6P2A29X

URI	`m2://inv/XHD6P2A29X`
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.38138#CJAK (statement). In G97FA99ZEF/e1, theorem 1.5

History

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

Siobhán Vernon XHD7SWRPX2

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

Mentions

wikipedia: Wikipedia Siobhán Vernon, Siobhán Vernon (topic). Also Wikidata Q28935891

History

2026-11-02: add by m2/dev

Skoda–El Mir theorem XHDABWCYNX

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

Mentions

wikipedia: Wikipedia List of theorems#AR9D, Skoda–El Mir theorem (statement)

History

2026-11-02: add by m2/dev

Definition XHDATVM9BR

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

Mentions

wikipedia: Wikipedia Stanley decomposition#11UF, Definition (definition)

History

2026-11-02: add by m2/dev

Classical LE $n$-section algorithm XHDFWD9F4W

URI	`m2://inv/XHDFWD9F4W`
Kind	definition
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.29153#L2KD, Classical LE $n$-section algorithm (definition)

History

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

XHDNQWK3EM XHDNQWK3EM

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_intro.ptx#thm-graphs-first (statement). In QKM9DD2H56, theorem, section 5.1

History

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

XHDQS2GFRD XHDQS2GFRD

URI	`m2://inv/XHDQS2GFRD`
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 2609.30323#OMKZ (problem). In HDJ6N25XVT/e1, problem 1.2

History

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

XHDRSJPT3G XHDRSJPT3G

URI	`m2://inv/XHDRSJPT3G`
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 2610.07001#862L (statement). In 5DFTVG7FFF/e1, theorem 1.3

History

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

Theorem XHDTRK9PMB

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

Mentions

wikipedia: Wikipedia Central limit theorem#QW5A, Theorem (statement)

History

2026-11-02: add by m2/dev

XHDVYAM7QS XHDVYAM7QS

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

Mentions

arxiv: arXiv 2609.23202#ELK1 (statement)

History

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

XHDXJRD8QF XHDXJRD8QF

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

Mentions

arxiv: arXiv 2610.09599#YW7Y (statement). In 4JYGH9XNA9/e1, theorem 4.5

History

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

Lev Mekhlis XHE02NM31H

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#2B78, Lev Mekhlis (unknown)

History

2026-11-02: add by m2/dev

XHE414S08B XHE414S08B

URI	`m2://inv/XHE414S08B`
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 2609.27872#9TLX (statement)

History

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

XHEAW33309 XHEAW33309

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

Mentions

arxiv: arXiv 2610.14068#P8ZA (statement). In JF19FEH3SW/e1, lemma 5.1

History

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

Gallucci's theorem XHEP3FGFW4

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

Mentions

wikipedia: Wikipedia Skew lines#HI9F, Gallucci's theorem (statement)

History

2026-11-02: add by m2/dev

Gijbels, Irène XHEWWFHXN9

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

Mentions

wikipedia: Wikipedia List of statisticians#I1PQ, Gijbels, Irène (unknown)

History

2026-11-02: add by m2/dev

\textsf{$L^2$ endpoint and $L^p$ maximal inequalities XHEYEFDXEW

URI	`m2://inv/XHEYEFDXEW`
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.09404#L02I, \textsf{$L^2$ endpoint and $L^p$ maximal inequalities (statement). In D7CZZ48FRN/e1, theorem 1.1

History

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

XHEYW43EYC XHEYW43EYC

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

Mentions

arxiv: arXiv 2108.01302#OZPV (statement). In KTQS6YPA4E/e1, fact 3.4

History

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

Cipher XHF18T0VTV

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#4CPX, Cipher (definition)

History

2026-11-02: add by m2/dev

Definition XHF1BCHHX4

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

Mentions

wikipedia: Wikipedia Profunctor#0GH1, Definition (definition)

History

2026-11-02: add by m2/dev

XHF27FRMN7 XHF27FRMN7

URI	`m2://inv/XHF27FRMN7`
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.21632#MN6H (statement). In Q4RZTN2EX6/e1, corollary 4.4

History

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

Polygon triangulation XHF8S2GBYG

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

Mentions

wikipedia: Wikipedia Polygon triangulation, Polygon triangulation (definition). Also Wikidata Q3045660

History

2026-11-02: add by m2/dev

XHFC7HFAX8 XHFC7HFAX8

URI	`m2://inv/XHFC7HFAX8`
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.05018#ENYV (statement). In QFZSPBES9B/e1, corollary 3.3

History

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

Persistence of nonzero momentum XHFF69EEJ3

URI	`m2://inv/XHFF69EEJ3`
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.13248#HK23, Persistence of nonzero momentum (statement). In MGMC5SREP3/e1, corollary 8.1

History

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

Earth mover's distance XHG3T9HPS6

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

Mentions

wikipedia: Wikipedia List of statistics articles#220S, Earth mover's distance (definition)

History

2026-11-02: add by m2/dev

differential XHG77K1PTY

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

Mentions

wikipedia: Wikipedia Glossary of module theory#CRT5, differential (definition)

History

2026-11-02: add by m2/dev

David Friesenhausen XHG8J6X4PM

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#KC5J, David Friesenhausen (topic)

History

2026-11-02: add by m2/dev

Stewart's theorem XHGEFMY8N3

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

Mentions

wikipedia: Wikipedia Cevian#SVI8, Stewart's theorem (statement)

History

2026-11-02: add by m2/dev

ruled surface XHGKJPQFVG

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

Mentions

wikidata: Wikidata Q840376, ruled surface (unknown). Also MathWorld RuledSurface
wikipedia: Wikipedia Ruled surface, Ruled surface (definition). Also Wikidata Q840376

History

2026-10-26: add by m2/dev

XHGM0GBCBQ XHGM0GBCBQ

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

Mentions

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

History

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

Scott domain XHGNKTSDHT

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

Mentions

wikipedia: Wikipedia Scott domain, Scott domain (definition). Also Wikidata Q7437566

History

2026-11-02: add by m2/dev

XHGP9QHV0P XHGP9QHV0P

URI	`m2://inv/XHGP9QHV0P`
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 1002.0879#NQWJ (statement). In M0SQY5EZN5/e1, theorem 2.8.10

History

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

Special cases XHGRHSWB0V

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

Mentions

wikipedia: Wikipedia Bicentric quadrilateral#ZD5S, Special cases (statement)

History

2026-11-02: add by m2/dev

Bound for remainder term $\delta_{i,\rm rem}$ XHGZ08QTX8

URI	`m2://inv/XHGZ08QTX8`
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#Q3QZ, Bound for remainder term $\delta_{i,\rm rem}$ (statement). In DRRKZR6CQC/e1, lemma A.3

History

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

Maxwell's equations in curved spacetime XHH7GEGPPQ

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

Mentions

wikipedia: Wikipedia Maxwell's equations in curved spacetime, Maxwell's equations in curved spacetime (definition). Also Wikidata Q6796059

History

2026-11-02: add by m2/dev

As an axiom XHHEHMW7N1

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

Mentions

wikipedia: Wikipedia Pythagorean theorem#LQYK, As an axiom (statement)

History

2026-11-02: add by m2/dev

XHHNQW5P0H XHHNQW5P0H

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

Mentions

arxiv: arXiv 2609.25289#6LK5 (statement)

History

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

I-proposition XHHSSBJ4DQ

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

Mentions

wikipedia: Wikipedia Glossary of logic#DCEL, I-proposition (definition)

History

2026-11-02: add by m2/dev

Statement XHHVH0WBDN

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

Mentions

wikipedia: Wikipedia Big-little-big lemma#DZWN, Statement (statement)

History

2026-11-02: add by m2/dev

XHJ3J2WDRE XHJ3J2WDRE

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

Mentions

arxiv: arXiv 2609.34339#02Q1 (conjecture). In 9WFSTGMQ4E/e1, conjecture 6.1

History

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

Gabriel Sudan XHJ5PMSV3N

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

Mentions

wikipedia: Wikipedia Gabriel Sudan, Gabriel Sudan (topic). Also Wikidata Q3659449

History

2026-11-02: add by m2/dev

Imre Z. Ruzsa XHJ7FWG65X

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#EMSR, Imre Z. Ruzsa (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PU84, Imre Z. Ruzsa (unknown)

History

2026-11-02: add by m2/dev

XHJA70WKTP XHJA70WKTP

URI	`m2://inv/XHJA70WKTP`
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.26129#WU38 (statement)

History

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

Heinz mean XHJC2DEJ6R

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

Mentions

wikipedia: Wikipedia Heinz mean, Heinz mean (definition). Also Wikidata Q5700917

History

2026-11-02: add by m2/dev

XHJGYQC4TT XHJGYQC4TT

URI	`m2://inv/XHJGYQC4TT`
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.40274#89HK (statement). In 7ZDNJC9MST/e1, theorem 7.5

History

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

Cyclic graph XHJK44EC6W

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

Mentions

wikipedia: Wikipedia Cyclic graph, Cyclic graph (definition). Also Wikidata Q25036238

History

2026-11-02: add by m2/dev

The Art of Statistics XHJKN72KQ4

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

Mentions

wikipedia: Wikipedia List of mathematics books#N39B, The Art of Statistics (topic)

History

2026-11-02: add by m2/dev

iff XHJSK3C3R0

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

Mentions

wikipedia: Wikipedia Glossary of logic#UJB5, iff (definition)

History

2026-11-02: add by m2/dev

XHJY3N9AC2 XHJY3N9AC2

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

Mentions

arxiv: arXiv 2609.28677#T6OR (statement)

History

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

XHK329XYZ5 XHK329XYZ5

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

Mentions

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

History

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

XHK5DM6XZJ XHK5DM6XZJ

URI	`m2://inv/XHK5DM6XZJ`
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 2308.05715#3KSC (definition). In FC0SB9JFWH/e1, definition 5.5

History

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

XHKPG108ZE XHKPG108ZE

URI	`m2://inv/XHKPG108ZE`
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#NUF0 (statement). In DR7BK4CQ0V/e1, corollary 6.5

History

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

Robbins, Herbert XHM3RA46HW

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

Mentions

wikipedia: Wikipedia List of statisticians#6PPS, Robbins, Herbert (topic)

History

2026-11-02: add by m2/dev

The method XHM4Z44XKR

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

Mentions

wikipedia: Wikipedia Bernoulli's method#LK5G, The method (definition)

History

2026-11-02: add by m2/dev

XHM61CVW12 XHM61CVW12

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#exercise-49 (exercise). In E59CDZA4DP, exercise, section 8.5.2

History

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

Covariant equations XHM82QRD50

URI	`m2://inv/XHM82QRD50`
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.02721#6TJ5, Covariant equations (statement). In XXFYVDVPPE/e1, proposition 2.2

History

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

XHMB1051TY XHMB1051TY

URI	`m2://inv/XHMB1051TY`
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.20758#IRY7 (definition). In PG0B4PH9YH/e1, definition 2.6

History

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

XHMHXGJS9Z XHMHXGJS9Z

URI	`m2://inv/XHMHXGJS9Z`
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#RAGM (statement). In RRNHC0CAC9/e1, lemma

History

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

Conditional \evar XHMM3CHH9Z

URI	`m2://inv/XHMM3CHH9Z`
Kind	definition
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#7WQ8, Conditional \evar (definition)

History

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

Dniester XHMTSHK77H

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#Y625, Dniester (unknown)

History

2026-11-02: add by m2/dev

Notation XHN3QWRBGY

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

Mentions

wikipedia: Wikipedia Quotient#FHF4, Notation (definition)

History

2026-11-02: add by m2/dev

XHN3Z7DTVN XHN3Z7DTVN

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

Mentions

arxiv: arXiv 2610.16123#5Z7L (statement). In 6VR4TY5BGV/e1, lemma 3.3

History

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

XHN41RDBEA XHN41RDBEA

URI	`m2://inv/XHN41RDBEA`
Kind	statement
Layer	research
MSC	03-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 2602.15812#RB4X (statement). In GAAZD3SGPN/e1, proposition

History

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

XHNAPYE22J XHNAPYE22J

URI	`m2://inv/XHNAPYE22J`
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 math/9802134#9Q37 (definition). In 235B1J1ETB/e1, definition 4.1

History

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

XHNB570JC3 XHNB570JC3

URI	`m2://inv/XHNB570JC3`
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.25656#8AFW (definition)

History

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

Hannes Leitgeb XHNCP0JED3

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

Mentions

wikipedia: Wikipedia Hannes Leitgeb, Hannes Leitgeb (topic). Also Wikidata Q1576033

History

2026-11-02: add by m2/dev

balanced minimum for $\code{108}{8}{10}$ XHNF220EVF

URI	`m2://inv/XHNF220EVF`
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.39121#02CQ (example). In A42CWWRZJE/e1, example 2
arxiv: arXiv 2609.39395#9VKU, balanced minimum for $\code{108}{8}{10}$ (example). In ZDVPJ1XX5Z/e1, example 6

History

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

XHNMVNW76X XHNMVNW76X

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

Mentions

arxiv: arXiv 2610.16834#VLSS (statement). In Q0DTV6PJJW/e1, corollary 4.5

History

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

Carnot's theorem (perpendiculars) XHNP4JEY8F

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

Mentions

wikipedia: Wikipedia List of triangle topics#3MPE, Carnot's theorem (perpendiculars) (statement)

History

2026-11-02: add by m2/dev

120-cell prism XHNQFACD5V

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#NO8U, 120-cell prism (definition)

History

2026-11-02: add by m2/dev

Primary Mathematics World Contest XHNRNNMJWX

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#2XYU, Primary Mathematics World Contest (definition)

History

2026-11-02: add by m2/dev

Applications XHNZ885B1V

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

Mentions

wikipedia: Wikipedia Sparse approximation#2J8J, Applications (example)

History

2026-11-02: add by m2/dev

Binyamin Amirà XHP0KRSAVM

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

Mentions

wikipedia: Wikipedia Binyamin Amirà, Binyamin Amirà (topic). Also Wikidata Q6732169

History

2026-11-02: add by m2/dev

XHP3TTPA6J XHP3TTPA6J

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

Mentions

arxiv: arXiv 2610.01251#PYXY (statement). In CZ2247RGQ4/e1, theorem

History

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

Gabriel Mokobodzki XHP4ZPBT2T

URI	`m2://inv/XHP4ZPBT2T`
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#7FAN, Gabriel Mokobodzki (unknown)

History

2026-11-02: add by m2/dev

Strong Lucas Pseudoprime XHPGSBPFT8

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

Mentions

wikipedia: Wikipedia Lucas pseudoprime#DOMS, Strong Lucas Pseudoprime (unknown)

History

2026-11-02: add by m2/dev

Share XHPMZWKZ2E

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

Mentions

wikipedia: Wikipedia AQH share#6PWI, Share (definition)
wikipedia: Wikipedia AQH share#KZSH, AQH Share (definition)
wikipedia: Wikipedia AQH share#S3VN, AQH (definition)

History

2026-11-02: add by m2/dev

XHPW1DF2PF XHPW1DF2PF

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

Mentions

arxiv: arXiv 1905.00573#R8LR (statement). In 74RNQVBM2G/e1, proposition 3.2

History

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

Cox ring XHPXWZS04Q

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#VPXB, Cox ring (definition)

History

2026-11-02: add by m2/dev

Theorem XHQ304DZG4

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

Mentions

wikipedia: Wikipedia Artin–Rees lemma#1ADS, Theorem (statement)

History

2026-11-02: add by m2/dev

Fixed point theorem XHQ8ZE791Q

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

Mentions

wikipedia: Wikipedia List of things named after Alfred Tarski#UA7T, Fixed point theorem (statement)

History

2026-11-02: add by m2/dev

Robinson arithmetic XHQAEVMQWB

URI	`m2://inv/XHQAEVMQWB`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Robinson arithmetic 3K1AKGXF8A

Mentions

wikidata: Wikidata Q928884, Robinson arithmetic (unknown). Also nLab Robinson arithmetic
wikipedia: Wikipedia Robinson arithmetic, Robinson arithmetic (definition). Also Wikidata Q928884

History

2026-10-26: add by m2/dev

two-sided exit problem for $V$ XHQCE2AVAR

URI	`m2://inv/XHQCE2AVAR`
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.29326#E1IK, two-sided exit problem for $V$ (statement). In 3F83V6VKKA/e1, lemma 2.1

History

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

XHQEXMBRT5 XHQEXMBRT5

URI	`m2://inv/XHQEXMBRT5`
Kind	definition
Layer	research
MSC	19-XX, 37-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.31883#PP7S (definition). In XBHQRTBH62/e1, definition 1.6

History

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

XHQGSCHWA3 XHQGSCHWA3

URI	`m2://inv/XHQGSCHWA3`
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.24314#UCIU (statement)

History

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

universal measuring XHQMVJ4CS1

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

Mentions

arxiv: arXiv 2405.14678#S0A9, universal measuring (definition). In 9ZSNSJRJ5N/e1, definition 5

History

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

XHQQKD9VTR XHQQKD9VTR

URI	`m2://inv/XHQQKD9VTR`
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.16193#PCMN (statement). In 1Q0A9HSTVP/e1, corollary 3

History

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

XHQZN209SX XHQZN209SX

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

Mentions

arxiv: arXiv 2609.34236#I200 (conjecture). In 203FGMHAE9/e1, conjecture 1

History

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

Pseudomedian XHR06206P2

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

Mentions

wikipedia: Wikipedia Pseudomedian, Pseudomedian (definition). Also Wikidata Q7254952

History

2026-11-02: add by m2/dev

XHR6CZ5WGZ XHR6CZ5WGZ

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

Mentions

arxiv: arXiv 2610.02017#N9AG (definition). In F6C80AEXC1/e1, definition 2.1

History

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

Hamilton's principle XHR9VYHTXD

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

Mentions

wikipedia: Wikipedia Hamilton's principle, Hamilton's principle (statement). Also Wikidata Q1145653

History

2026-11-02: add by m2/dev

Generalization XHR9XZR8CF

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

Mentions

wikipedia: Wikipedia Kirchhoff's circuit laws#AJ1T, Generalization (statement)

History

2026-11-02: add by m2/dev

Nonlinear probability representation XHRC478FQT

URI	`m2://inv/XHRC478FQT`
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.25026#LOSD, Nonlinear probability representation (statement)

History

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

Definition XHRDYKHN2A

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

Mentions

wikipedia: Wikipedia Edge-graceful labeling#T7Y4, Definition (definition)

History

2026-11-02: add by m2/dev

XHRS97F1KB XHRS97F1KB

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

Mentions

arxiv: arXiv 1707.06795#0VIJ (statement). In 32MMSEVHYN/e1, corollary 2.13

History

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

XHS80CXP2R XHS80CXP2R

URI	`m2://inv/XHS80CXP2R`
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.09565#KIB0 (statement). In 7A5YZACF1E/e1, lemma 7

History

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

XHS973Q9WP XHS973Q9WP

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

Mentions

arxiv: arXiv 2610.12731#X2QU (statement). In 2NCV1M6WYS/e1, proposition 2.6

History

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

Stuart Kuttner XHS9Y9R45K

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#KDTM, Stuart Kuttner (unknown)

History

2026-11-02: add by m2/dev

Importance of inequality XHSBSSR287

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

Mentions

wikipedia: Wikipedia Ingleton's inequality#3G1F, Importance of inequality (statement)

History

2026-11-02: add by m2/dev

425 (number) XHSD5GTC0S

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

Mentions

wikipedia: Wikipedia 400 (number)#JR61, 425 (number) (unknown)

History

2026-11-02: add by m2/dev

XHSK5QKSXJ XHSK5QKSXJ

URI	`m2://inv/XHSK5QKSXJ`
Kind	problem
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.23350#08NB (problem)

History

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

Gromov's systolic inequality for essential manifolds XHSSQ26Q2G

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#57Z8, Gromov's systolic inequality for essential manifolds (statement)
wikipedia: Wikipedia List of inequalities#CP48, Gromov's systolic inequality for essential manifolds (statement)

History

2026-11-02: add by m2/dev

XHSV3HKDX0 XHSV3HKDX0

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

Mentions

arxiv: arXiv 2610.12831#NSPA (statement). In 7ZBQ8WGQVB/e1, lemma 6.1

History

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

Properties XHSY9Y7X32

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

Mentions

wikipedia: Wikipedia Equiareal map#UUF8, Properties (statement)

History

2026-11-02: add by m2/dev

Low-speed aerodynamics XHT7AWBXMC

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

Mentions

wikipedia: Wikipedia Aerodynamics#L9EP, Low-speed aerodynamics (unknown)

History

2026-11-02: add by m2/dev

Philonian conditional XHTFX09HHF

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

Mentions

wikipedia: Wikipedia Glossary of logic#4C3V, Philonian conditional (definition)

History

2026-11-02: add by m2/dev

XHTNC0D9FH XHTNC0D9FH

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

Mentions

active_calculus: active_calculus source/activities/act-5-6-1.xml#act-5-6-1 (exercise). In 907G4C4EJ1, activity, section 5.6.2

History

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

Properties XHTNE9ZFXW

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

Mentions

wikipedia: Wikipedia Triangular orthobicupola#9CIF, Properties (statement)

History

2026-11-02: add by m2/dev

Density estimate at a sample point XHTVC965KB

URI	`m2://inv/XHTVC965KB`
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#85E0, Density estimate at a sample point (statement). In 11SW7NAN7M/e1, lemma B.2

History

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

XHTXKEZW66 XHTXKEZW66

URI	`m2://inv/XHTXKEZW66`
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 2208.06310#GDTO (statement). In 9YR0E0T9XA/e1, corollary 2.7

History

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

XHTYN9Y8Z9 XHTYN9Y8Z9

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

Mentions

arxiv: arXiv 2204.13401#1KXX (definition). In B8MJT0GGW8/e1, definition 2.7

History

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

Electric displacement field XHV5GXG17A

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

Mentions

wikipedia: Wikipedia Electric displacement field, Electric displacement field (definition). Also Wikidata Q371907

History

2026-11-02: add by m2/dev

XHV9MFB4PN XHV9MFB4PN

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

Mentions

arxiv: arXiv 2610.19023#33EU (statement). In QFA8TMJPHZ/e1, theorem 3.3

History

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

Susan Milner XHVA59ZC4D

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

Mentions

wikipedia: Wikipedia Susan Milner, Susan Milner (topic). Also Wikidata Q126079814

History

2026-11-02: add by m2/dev

XHVBECSPRG XHVBECSPRG

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

Mentions

arxiv: arXiv 2610.17717#H2RR (statement). In YXRKS451PK/e1, theorem 1.4

History

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

XHVGE6V59X XHVGE6V59X

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

Mentions

arxiv: arXiv 2610.05354#QAOG (statement). In TZ5BMDXRQZ/e1, corollary 4.10

History

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

XHVJRG7PKZ XHVJRG7PKZ

URI	`m2://inv/XHVJRG7PKZ`
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.11772#X0PA (statement). In 2GW9HYGZ8S/e1, theorem 4.1

History

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

Taylor–Proudman theorem XHVR5H6G46

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

Mentions

mathlib_1000: mathlib_1000 Q2600653, Taylor–Proudman theorem (statement). Also Wikidata Q2600653
thousand_plus: thousand_plus Q2600653, Taylor–Proudman theorem (statement). Also Wikidata Q2600653, Wikipedia Taylor–Proudman theorem
wikipedia: Wikipedia Taylor–Proudman theorem, Taylor–Proudman theorem (statement). Also Wikidata Q2600653

History

2026-10-26: add by m2/dev

Generalizations XHVX9Z6ZAG

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

Mentions

wikipedia: Wikipedia Latin square#BD99, Generalizations (statement)

History

2026-11-02: add by m2/dev

XHVZ93XP1P XHVZ93XP1P

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

History

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

Cauchy boundary condition XHW2XSMYV7

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

Mentions

wikidata: Wikidata Q3278575, Cauchy boundary condition (concept). Also MathWorld CauchyBoundaryConditions
wikipedia: Wikipedia Cauchy boundary condition, Cauchy boundary condition (definition). Also Wikidata Q3278575

History

2026-10-26: add by m2/dev

Quadratic improvement for general activations XHW4XK2F2J

URI	`m2://inv/XHW4XK2F2J`
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.09044#6D3C, Quadratic improvement for general activations (statement). In 4KYENHR0J8/e1, theorem 9

History

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

XHWAR9KEZ3 XHWAR9KEZ3

URI	`m2://inv/XHWAR9KEZ3`
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.06707#OOVK (statement). In 9TR5E527P5/e1, theorem 6.12

History

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

Definition XHWHDHJKQR

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

Mentions

wikipedia: Wikipedia Standard part function#CZWP, Definition (definition)

History

2026-11-02: add by m2/dev

Approximate counting algorithm XHWM7GKZWA

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

Mentions

wikipedia: Wikipedia List of algorithms#9B48, Approximate counting algorithm (unknown)

History

2026-11-02: add by m2/dev

XHWNM9BXKT XHWNM9BXKT

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

Mentions

arxiv: arXiv 2610.13680#BGAV (unknown). In QNBFHFZ3H0/e1, unknown 31

History

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

Symmetry XHWPN7427V

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

Mentions

wikipedia: Wikipedia Order-6 apeirogonal tiling#OYKN, Symmetry (statement)

History

2026-11-02: add by m2/dev

Examples XHWTKV6YXT

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

Mentions

wikipedia: Wikipedia Weighted median#AFG8, Examples (example)

History

2026-11-02: add by m2/dev

Examples XHWVFWSEMW

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

Mentions

wikipedia: Wikipedia Commutation theorem for traces#YY52, Examples (example)

History

2026-11-02: add by m2/dev

George Thom XHWWAJ1SJS

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

Mentions

wikipedia: Wikipedia George Thom, George Thom (topic). Also Wikidata Q37738082

History

2026-11-02: add by m2/dev

Perron–Frobenius theorem XHX0QR96NF

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

Mentions

wikipedia: Wikipedia List of theorems#6M62, Perron–Frobenius theorem (statement)

History

2026-11-02: add by m2/dev

Gelfand–Naimark theorem XHX63DCM3E

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

Mentions

mathlib_1000: mathlib_1000 Q2226682, Gelfand–Naimark theorem (statement). Also Wikidata Q2226682
thousand_plus: thousand_plus Q2226682, Gelfand–Naimark theorem (statement). Also Wikidata Q2226682, Wikipedia Gelfand–Naimark theorem
wikidata: Wikidata Q2226682, Gelfand–Naimark theorem (statement). Also MathWorld Gelfand-NaimarkTheorem, nLab Gelfand-Naimark theorem
wikipedia: Wikipedia Gelfand–Naimark theorem, Gelfand–Naimark theorem (statement). Also Wikidata Q2226682

History

2026-10-26: add by m2/dev

XHX6N6W900 XHX6N6W900

URI	`m2://inv/XHX6N6W900`
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.17204#OQGN (statement). In 5CZ2BNV4MT/e1, proposition 2.5

History

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

Local stability from coefficient error XHX89MP0E2

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

Mentions

arxiv: arXiv 2610.00448#OPY8, Local stability from coefficient error (statement). In N06J7GC05Q/e1, proposition 8.1

History

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

XHX8S16WGM XHX8S16WGM

URI	`m2://inv/XHX8S16WGM`
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.16002#1YCH (statement). In MWXDTQ7XC4/e1, lemma 3.2

History

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

XHXCBZJJG0 XHXCBZJJG0

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

Mentions

arxiv: arXiv 2609.25289#ABZC (statement)

History

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

XHXDHK4T68 XHXDHK4T68

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

Mentions

arxiv: arXiv 2603.23072#53SB (statement). In FW08HEAPKW/e1, lemma 7

History

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

XHXEWNSD8D XHXEWNSD8D

URI	`m2://inv/XHXEWNSD8D`
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#51IL (statement). In HGE2NCQW29/e1, theorem 3.5

History

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

Hahn construction XHXHGA9SBW

URI	`m2://inv/XHXHGA9SBW`
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.15421#D2QL, Hahn construction (statement). In 3RBKH0DA74/e1, theorem 3.6

History

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

The Calculating Machines XHXMW1YNPC

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

Mentions

wikipedia: Wikipedia The Calculating Machines, The Calculating Machines (definition). Also Wikidata Q85806697

History

2026-11-02: add by m2/dev

Single-ball comparison in a parallel experiment XHY832EZ60

URI	`m2://inv/XHY832EZ60`
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.27181#ZUZG, Single-ball comparison in a parallel experiment (statement)

History

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

Formal verification of cryptographic protocols XHY8970Q6K

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

Mentions

wikipedia: Wikipedia Cryptographic protocol#G0NN, Formal verification of cryptographic protocols (unknown)

History

2026-11-02: add by m2/dev

Domain Keys XHYAADD058

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

Mentions

wikipedia: Wikipedia DomainKeys Identified Mail#4231, Domain Keys (unknown)

History

2026-11-02: add by m2/dev

Edmund Hess XHYD70H1PB

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

Mentions

wikipedia: Wikipedia List of German mathematicians#1JOU, Edmund Hess (topic)

History

2026-11-02: add by m2/dev

XHYF9Z0B0C XHYF9Z0B0C

URI	`m2://inv/XHYF9Z0B0C`
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.17240#LN7U (statement). In 59BZ4V9RQW/e1, lemma 3.4

History

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

XHYFVK123M XHYFVK123M

URI	`m2://inv/XHYFVK123M`
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 2406.07116#8DVN (statement). In 5B030CB2RK/e1, proposition 8.4

History

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

XHYMN4AB77 XHYMN4AB77

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

Mentions

arxiv: arXiv 2610.02158#YFL4 (statement). In PCV12VAD47/e1, lemma 13

History

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

Graph labeling XHYVP64BFR

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

Mentions

wikipedia: Wikipedia Graph labeling, Graph labeling (definition). Also Wikidata Q5597093

History

2026-11-02: add by m2/dev

XHYZTM44NR XHYZTM44NR

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

Mentions

napkin: napkin tex/complex-ana/meromorphic.tex#proof-2 (proof). In RZP28ERRZV, proof, section 41.4

History

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

XHZ0QFWVVC XHZ0QFWVVC

URI	`m2://inv/XHZ0QFWVVC`
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.31269#QJ92 (statement). In ZPT9XCCAPQ/e1, proposition 1.2.5

History

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

Examples XHZ8RRS9WF

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

Mentions

wikipedia: Wikipedia Principle of indifference#25V4, Examples (example)

History

2026-11-02: add by m2/dev

Field of sets XHZDNT290P

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#GW92, Field of sets (definition)

History

2026-11-02: add by m2/dev

XHZMXQYV1N XHZMXQYV1N

URI	`m2://inv/XHZMXQYV1N`
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 0904.3493#9O7F (statement). In 1ARY7220P4/e1, fact 3.3

History

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

Variational characterisation of general minimisers via the semi-differential XHZQNHE6SD

URI	`m2://inv/XHZQNHE6SD`
Kind	statement
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#2T0C, Variational characterisation of general minimisers via the semi-differential (statement)

History

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

great icosihemidodecacron XHZSNKNFBE

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

Mentions

wikidata: Wikidata Q5600367, great icosihemidodecacron (unknown). Also MathWorld GreatIcosihemidodecacron
wikipedia: Wikipedia Great icosihemidodecacron, Great icosihemidodecacron (object). Also Wikidata Q5600367

History

2026-10-26: add by m2/dev