Inventory rows 2X

Definition 2X085G3T0X

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

Mentions

wikipedia: Wikipedia Algorithm#T8CA, Definition (definition)

History

2026-11-02: add by m2/dev

Heat flux 2X0AX9SSZ6

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

Mentions

wikipedia: Wikipedia Heat flux, Heat flux (definition). Also Wikidata Q1478382

History

2026-11-02: add by m2/dev

2X0B0H0WWE 2X0B0H0WWE

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

Mentions

arxiv: arXiv 2406.06762#ZJKT (statement). In J99PFFJXPE/e1, theorem 3.16

History

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

2X0DKFXXKX 2X0DKFXXKX

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

Mentions

arxiv: arXiv 2609.36423#0QVJ (definition). In Q5Z178SAHP/e1, definition 4.9

History

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

uniform escape 2X0GS57FXZ

URI	`m2://inv/2X0GS57FXZ`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 46-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.27458#FH22, uniform escape (statement)

History

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

2X0XQA91CY 2X0XQA91CY

URI	`m2://inv/2X0XQA91CY`
Kind	statement
Layer	research
MSC	05-XX, 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 2609.27843#L0H5 (statement)

History

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

Statement 2X101RMJBJ

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

Mentions

wikipedia: Wikipedia Szemerédi regularity lemma#VTNK, Statement (statement)

History

2026-11-02: add by m2/dev

Adjoint representation 2X1398KGTM

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

Mentions

wikipedia: Wikipedia List of representation theory topics#KHPS, Adjoint representation (definition)

History

2026-11-02: add by m2/dev

2X14NS9H0J 2X14NS9H0J

URI	`m2://inv/2X14NS9H0J`
Kind	example
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 2601.15403#52BO (example). In BSWNH3NW1M/e1, example 4.12

History

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

2X18C47PVY 2X18C47PVY

URI	`m2://inv/2X18C47PVY`
Kind	statement
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 2310.06695#I6JN (statement). In D6F8XGF5SS/e1, proposition 2.1

History

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

2X19KEQJ7G 2X19KEQJ7G

URI	`m2://inv/2X19KEQJ7G`
Kind	problem
Layer	research
MSC	05-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.23922#GLG6 (problem)

History

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

2X1G2T3314 2X1G2T3314

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

Mentions

arxiv: arXiv 2610.17677#V9ZD (statement). In 5E9G06XJKC/e1, lemma F.23

History

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

2X1Q41CPDN 2X1Q41CPDN

URI	`m2://inv/2X1Q41CPDN`
Kind	statement
Layer	research
MSC	05-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.33512#ZT1E (statement). In WYHZMYZT31/e1, theorem 2.6

History

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

HP-67/97 2X1X3BY7DH

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

Mentions

wikipedia: Wikipedia HP-67/97, HP-67/97 (definition). Also Wikidata Q1565790

History

2026-11-02: add by m2/dev

Descartes' theorem 2X1ZJQPSGV

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

Mentions

wikipedia: Wikipedia Frederick Soddy#XRAB, Descartes' theorem (statement)

History

2026-11-02: add by m2/dev

Theorem (Achlioptas, 2003, Theorem 1.1) 2X1ZZMGG98

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

Mentions

wikipedia: Wikipedia Johnson–Lindenstrauss lemma#YJ5M, Theorem (Achlioptas, 2003, Theorem 1.1) (statement)

History

2026-11-02: add by m2/dev

Implementations 2X21CYAVJG

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

Mentions

wikipedia: Wikipedia SHA-1#JWFD, Implementations (definition)

History

2026-11-02: add by m2/dev

Larmor formula 2X2DY12WK9

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

Mentions

wikipedia: Wikipedia Larmor formula, Larmor formula (statement). Also Wikidata Q1064493

History

2026-11-02: add by m2/dev

Properties 2X2MRDWC3Y

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

Mentions

wikipedia: Wikipedia Urysohn universal space#624X, Properties (statement)

History

2026-11-02: add by m2/dev

Fixed effects model 2X2NPH1CFW

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

Mentions

wikipedia: Wikipedia Fixed effects model, Fixed effects model (definition). Also Wikidata Q17014030

History

2026-11-02: add by m2/dev

2X2SV0A3N9 2X2SV0A3N9

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

Mentions

arxiv: arXiv 2609.21860#COYQ (statement)

History

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

(Elveden #37) 2X3018Z2ZF

URI	`m2://inv/2X3018Z2ZF`
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#H8PY, (Elveden #37) (unknown)

History

2026-11-02: add by m2/dev

2X30EVY0QP 2X30EVY0QP

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

Mentions

open_logic: open_logic content/sets-functions-relations/inductive-defs-proofs/introduction.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 79.4

History

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

Orthocomplements and orthogonal sums 2X35AEX1FR

URI	`m2://inv/2X35AEX1FR`
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.11002#7W27, Orthocomplements and orthogonal sums (statement). In P55JSAYR3T/e1, corollary

History

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

Arthur's conjectures 2X3CZKNFMR

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

Mentions

wikipedia: Wikipedia Arthur's conjectures, Arthur's conjectures (statement). Also Wikidata Q4800786

History

2026-11-02: add by m2/dev

Invariant Bernoulli formula 2X3EE9JDTZ

URI	`m2://inv/2X3EE9JDTZ`
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.16510#L8XF, Invariant Bernoulli formula (statement). In V7SQ4VXCRX/e1, theorem 1.1

History

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

Michael I. Jordan 2X3G72KEZ5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#YSTF, Michael I. Jordan (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#36BC, Michael I. Jordan (unknown)
wikipedia: Wikipedia List of fellows of the American Statistical Association#FWY7, Michael I. Jordan (unknown)

History

2026-11-02: add by m2/dev

2X3MQ8YBSK 2X3MQ8YBSK

URI	`m2://inv/2X3MQ8YBSK`
Kind	statement
Layer	research
MSC	17-XX, 57-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.08837#IZJO (statement). In KBH265QSBT/e1, lemma 5.5

History

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

2X3T9TZCTK 2X3T9TZCTK

URI	`m2://inv/2X3T9TZCTK`
Kind	example
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.24553#YT1F (example)

History

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

Formulation 2X3W0Z7R5E

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

Mentions

wikipedia: Wikipedia Bessel's correction#1AI0, Formulation (definition)

History

2026-11-02: add by m2/dev

Tannaka–Krein duality 2X3Y4P5ESJ

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

Mentions

wikipedia: Wikipedia List of dualities#KZOX, Tannaka–Krein duality (definition)

History

2026-11-02: add by m2/dev

Reduction 2X3ZTHX576

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

Mentions

wikipedia: Wikipedia Reduction (mathematics), Reduction (definition). Also Wikidata Q3454686

History

2026-11-02: add by m2/dev

2X4ANX7GMY 2X4ANX7GMY

URI	`m2://inv/2X4ANX7GMY`
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.35421#7E18 (statement). In KE8B8KMDJJ/e1, proposition 1

History

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

2X4M95QWZ2 2X4M95QWZ2

URI	`m2://inv/2X4M95QWZ2`
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 2110.14727#1BMS (statement). In EZTB8NZGVT/e1, corollary 4.1

History

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

Poisson summation formula 2X4P7VZZKK

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

Mentions

wikipedia: Wikipedia Dual lattice#821U, Poisson summation formula (statement)

History

2026-11-02: add by m2/dev

2X4W7A4BHD 2X4W7A4BHD

URI	`m2://inv/2X4W7A4BHD`
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.02079#3QGW (statement). In CNS2J2E4T2/e1, lemma 13

History

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

Universal quantification 2X53QDAW22

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

Mentions

wikipedia: Wikipedia Universal quantification#5VBV, Universal quantification (statement)

History

2026-11-02: add by m2/dev

2X5H9VQEGS 2X5H9VQEGS

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

Mentions

napkin: napkin tex/rep-theory/rep-alg.tex#ex:mat2_representation (example). In RZP28ERRZV, example, section 80.3

History

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

Contractions of $K_{a,b}$ 2X5HQQ27GJ

URI	`m2://inv/2X5HQQ27GJ`
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#NJEF, Contractions of $K_{a,b}$ (statement). In Y1DR0DPWD0/e1, lemma 7.11

History

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

Nonminimal endpoint spaces 2X5R5P49AR

URI	`m2://inv/2X5R5P49AR`
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#K1WP, Nonminimal endpoint spaces (statement). In N6GD8392QB/e1, proposition 11.1

History

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

2X5X2R2KQP 2X5X2R2KQP

URI	`m2://inv/2X5X2R2KQP`
Kind	statement
Layer	research
MSC	05-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 2610.03559#SRQR (statement). In R68THJCHX6/e1, proposition 3

History

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

Acyclic relation 2X61KV7D1K

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

Mentions

wikipedia: Wikipedia Glossary of order theory#WS5R, Acyclic relation (unknown)

History

2026-11-02: add by m2/dev

Robert L. Thorndike 2X61V3QSK9

URI	`m2://inv/2X61V3QSK9`
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#VCFK, Robert L. Thorndike (unknown)

History

2026-11-02: add by m2/dev

Examples 2X62BDDHF5

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

Mentions

wikipedia: Wikipedia Reproducing kernel Hilbert space#U5WP, Examples (example)

History

2026-11-02: add by m2/dev

2X633AR7J3 2X633AR7J3

URI	`m2://inv/2X633AR7J3`
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.06045#KXMF (statement). In SVKM0852RJ/e1, theorem 8

History

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

Applications 2X66ENWBR7

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

Mentions

wikipedia: Wikipedia Multilinear multiplication#M5T6, Applications (example)

History

2026-11-02: add by m2/dev

2X6AQATNF8 2X6AQATNF8

URI	`m2://inv/2X6AQATNF8`
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.22040#42VB (statement). In 2QP93JHYNB/e1, theorem 5.10

History

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

2X6G1BSEJG 2X6G1BSEJG

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

Mentions

arxiv: arXiv 2610.01208#G45R (statement). In 317GZJ38HS/e1, proposition 4.5

History

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

2X6HJMV165 2X6HJMV165

URI	`m2://inv/2X6HJMV165`
Kind	definition
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#LGDI (definition). In 7ZBQ8WGQVB/e1, definition 2.1

History

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

2X6ND3H5S6 2X6ND3H5S6

URI	`m2://inv/2X6ND3H5S6`
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#IJSG (definition). In F6C80AEXC1/e1, definition 5.5

History

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

2X6QPMZB49 2X6QPMZB49

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

Mentions

napkin: napkin tex/H113/ring-intro.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 5.7

History

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

2X6W2TGWT7 2X6W2TGWT7

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

Mentions

arxiv: arXiv 2610.09949#ITTE (definition). In VGJVFCDV8A/e1, definition 1.2

History

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

Baroclinic instability 2X78809C5H

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

Mentions

wikipedia: Wikipedia Baroclinity#FH0C, Baroclinic instability (unknown)

History

2026-11-02: add by m2/dev

Cartan's lemma 2X78YXKB8D

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

Mentions

wikipedia: Wikipedia Cartan's lemma, Cartan's lemma (statement). Also Wikidata Q5047040

History

2026-11-02: add by m2/dev

Dual polar graphs 2X7AQDGCF0

URI	`m2://inv/2X7AQDGCF0`
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.01731#X05J, Dual polar graphs (statement). In 3TJ2FWXQ0D/e1, fact 2.13

History

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

Basis of a matroid 2X7HPGDR57

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

Mentions

wikipedia: Wikipedia Basis of a matroid, Basis of a matroid (definition). Also Wikidata Q104866035

History

2026-11-02: add by m2/dev

2X7HWPWSSC 2X7HWPWSSC

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

Mentions

arxiv: arXiv 2610.08935#YVAC (definition). In G02N9D40B9/e1, definition 6.2.7

History

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

2X7J9TPXVJ 2X7J9TPXVJ

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-100 (exercise). In E9HS8K3A52, exercise, section 5.8.5

History

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

2X7JSJCFMA 2X7JSJCFMA

URI	`m2://inv/2X7JSJCFMA`
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#XH2C (statement). In CY1FE8W1ZW/e1, lemma 0.222

History

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

James, Bill 2X7N8KWER1

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

Mentions

wikipedia: Wikipedia List of statisticians#1O2B, James, Bill (unknown)

History

2026-11-02: add by m2/dev

2X7T9XH72T 2X7T9XH72T

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#defn-1 (definition). In E59CDZA4DP, defn, section 5.1.1

History

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

Craps principle 2X8054PFBF

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

Mentions

wikipedia: Wikipedia Craps principle, Craps principle (statement). Also Wikidata Q5182296

History

2026-11-02: add by m2/dev

2X812T35Z6 2X812T35Z6

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

Mentions

arxiv: arXiv 2609.25801#6TRD (statement)

History

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

Multistage testing 2X85ZEN363

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

Mentions

wikipedia: Wikipedia List of statistics articles#B9PO, Multistage testing (definition)

History

2026-11-02: add by m2/dev

2X875RN06F 2X875RN06F

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

Mentions

applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-3 (exercise). In QKM9DD2H56, exercise, section 3

History

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

José Edelstein 2X87AH27S5

URI	`m2://inv/2X87AH27S5`
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 Q63493625, José Edelstein (unknown). Also nLab José Edelstein

History

2026-10-26: add by m2/dev

Facial composite 2X8B99W66Y

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#ZHHG, Facial composite (unknown)

History

2026-11-02: add by m2/dev

Characterizations of the exponential function 2X8NPB99SM

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

Mentions

wikipedia: Wikipedia List of exponential topics#NA6O, Characterizations of the exponential function (definition)

History

2026-11-02: add by m2/dev

2X8PGF5JTR 2X8PGF5JTR

URI	`m2://inv/2X8PGF5JTR`
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.31537#6RGF (statement). In MNYPK3W135/e1, theorem 4.3

History

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

2X8S4PTSWH 2X8S4PTSWH

URI	`m2://inv/2X8S4PTSWH`
Kind	statement
Layer	research
MSC	35-XX, 37-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.17139#YU9F (statement). In AQWX60Z563/e1, proposition B.3

History

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

Residue formula for the signed distribution 2X8W4SSWSG

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

Mentions

arxiv: arXiv 2609.31689#B5L8, Residue formula for the signed distribution (statement). In Z7M2JSF6HA/e1, theorem 7.3

History

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

2X8WPV4MP2 2X8WPV4MP2

URI	`m2://inv/2X8WPV4MP2`
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.13295#XYA3 (statement). In 8Q7QXTWD0S/e1, theorem 2.2

History

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

Abstract Wiener space 2X8Y64FTAN

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

Mentions

arxiv: arXiv 2609.25026#VHHT, Abstract Wiener space (definition)

History

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

Cesàro's theorem 2X91X8SY2M

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

Mentions

wikipedia: Wikipedia Cauchy product#50XX, Cesàro's theorem (statement)

History

2026-11-02: add by m2/dev

2X97VWC53G 2X97VWC53G

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

Mentions

arxiv: arXiv 2609.21860#XMAV (definition)

History

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

2X992ZK387 2X992ZK387

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

Mentions

arxiv: arXiv 2610.03517#3JWT (statement). In 3CGS9GSKTQ/e1, lemma 8.3

History

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

Pattern language 2X9A7CYVM8

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

Mentions

wikipedia: Wikipedia List of types of systems theory#CPUC, Pattern language (unknown)

History

2026-11-02: add by m2/dev

2X9CMGP10T 2X9CMGP10T

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

Mentions

napkin: napkin tex/linalg/dual-trace.tex#dproblem-2 (exercise). In RZP28ERRZV, dproblem, section 57.5

History

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

Ernst Specker 2X9FEGKTYM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#9Z7D, Ernst Specker (topic)

History

2026-11-02: add by m2/dev

Freiman's theorem 2X9J9CGKYC

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

Mentions

wikipedia: Wikipedia List of theorems#14I0, Freiman's theorem (statement)

History

2026-11-02: add by m2/dev

Applications 2X9R86Y5Y0

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

Mentions

wikipedia: Wikipedia Blackwell's contraction mapping theorem#N4G0, Applications (example)

History

2026-11-02: add by m2/dev

2X9X557RA7 2X9X557RA7

URI	`m2://inv/2X9X557RA7`
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.30279#Y7HB (statement). In DPWKG7FD0H/e1, lemma 2.8

History

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

Ludwig Berwald 2X9YCKH2KR

URI	`m2://inv/2X9YCKH2KR`
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#4016, Ludwig Berwald (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HRWR, Ludwig Berwald (topic)
wikipedia: Wikipedia List of German mathematicians#OI74, Ludwig Berwald (topic)

History

2026-11-02: add by m2/dev

2X9ZYXY53C 2X9ZYXY53C

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

Mentions

arxiv: arXiv 2609.20567#YI21 (statement)

History

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

2XA2C020VP 2XA2C020VP

URI	`m2://inv/2XA2C020VP`
Kind	statement
Layer	research
MSC	05-XX, 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 2109.09268#NRL9 (statement). In SYZFEVFHC3/e1, lemma 2.22

History

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

Discrete exterior calculus 2XAC5VQ6J0

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#S97H, Discrete exterior calculus (definition)

History

2026-11-02: add by m2/dev

2XARSR3PYF 2XARSR3PYF

URI	`m2://inv/2XARSR3PYF`
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 2312.14445#SKUA (definition). In V56MKF0KW2/e1, definition A.2

History

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

Lower bound on the minimax $L^1$-risk 2XB2RFY88J

URI	`m2://inv/2XB2RFY88J`
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.11760#8AKK, Lower bound on the minimax $L^1$-risk (statement). In NBNERWXW53/e1, theorem 5.1

History

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

Interaction feature 2XB38VJ8FG

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

Mentions

wikipedia: Wikipedia Interaction (statistics)#6XHD, Interaction feature (unknown)

History

2026-11-02: add by m2/dev

2XB96TQAZ2 2XB96TQAZ2

URI	`m2://inv/2XB96TQAZ2`
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 2204.01073#HH6G (statement). In W4TYN4PGE8/e1, lemma 2.47

History

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

2XBHH844MR 2XBHH844MR

URI	`m2://inv/2XBHH844MR`
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.06810#BAX1 (statement). In 1NY2SA03XF/e1, fact 2.2

History

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

The clock 2XBHJ382QF

URI	`m2://inv/2XBHJ382QF`
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.04271#27LC, The clock (statement). In WBXAW9G4JB/e1, lemma 6.2

History

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

The case \texorpdfstring{$q=1$}{q=1} and the branched Stieltjes recursion 2XBN2JDFWW

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

Mentions

arxiv: arXiv 2609.26066#OVFW, The case \texorpdfstring{$q=1$}{q=1} and the branched Stieltjes recursion (statement)

History

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

Majority function 2XBY1VPSDE

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

Mentions

wikipedia: Wikipedia Majority function, Majority function (definition). Also Wikidata Q1053304

History

2026-11-02: add by m2/dev

2XBY3W6ZX3 2XBY3W6ZX3

URI	`m2://inv/2XBY3W6ZX3`
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.26401#UJML (statement)

History

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

Satisfiability problem 2XBYG0Y38T

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#A0RB, Satisfiability problem (definition)

History

2026-11-02: add by m2/dev

Procedure 2XBYQBA1T7

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

Mentions

wikipedia: Wikipedia Levmore–Cook moving-knives procedure#HBBE, Procedure (definition)

History

2026-11-02: add by m2/dev

non-parametric statistics 2XC7KJE332

URI	`m2://inv/2XC7KJE332`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Nonparametric statistics VFAJ1EG3X5

Mentions

wikidata: Wikidata Q1097688, non-parametric statistics (unknown). Also MathWorld NonparametricStatistics
wikipedia: Wikipedia Nonparametric statistics, Nonparametric statistics (definition). Also Wikidata Q1097688

History

2026-10-26: add by m2/dev

Deducing other known formulas 2XC7ND0XXG

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

Mentions

wikipedia: Wikipedia Line moiré#017Y, Deducing other known formulas (statement)

History

2026-11-02: add by m2/dev

Alain Connes 2XC9HPRR7E

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#814V, Alain Connes (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3O6X, Alain Connes (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6WZP, Alain Connes (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J4OS, Alain Connes (topic)

History

2026-11-02: add by m2/dev

Institute of Mathematics of National Academy of Sciences of Armenia 2XCBH9AWZ1

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

Mentions

wikipedia: Wikipedia Institute of Mathematics of National Academy of Sciences of Armenia, Institute of Mathematics of National Academy of Sciences of Armenia (definition). Also Wikidata Q4201580

History

2026-11-02: add by m2/dev

Tameka Norris 2XCPTNJSSP

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#IJ3A, Tameka Norris (unknown)

History

2026-11-02: add by m2/dev

Terminology 2XCQT2JBZA

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

Mentions

wikipedia: Wikipedia Factor analysis#T4Y9, Terminology (definition)

History

2026-11-02: add by m2/dev

2XD1EFCA0Q 2XD1EFCA0Q

URI	`m2://inv/2XD1EFCA0Q`
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.15525#F1LR (statement). In EFDRME13PT/e1, lemma 8.8

History

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

local equation 2XD2HXHZQJ

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

Mentions

mathlib_undergrad: mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > local equation, local equation (unknown)

History

2026-10-26: add by m2/dev

Empty-interior hidden support breaks the exact positivity criterion 2XD53MKKTQ

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

Mentions

arxiv: arXiv 2610.04357#Q4WW, Empty-interior hidden support breaks the exact positivity criterion (example). In 6FY8BVP1F3/e1, example E.5

History

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

Greg Kuperberg 2XD9XWMMTK

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ATR6, Greg Kuperberg (topic)

History

2026-11-02: add by m2/dev

2XDCJTVAV2 2XDCJTVAV2

URI	`m2://inv/2XDCJTVAV2`
Kind	definition
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 2212.01916#5V3A (definition). In XTGB5Z08YH/e1, definition 3.1

History

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

2XDES0WY53 2XDES0WY53

URI	`m2://inv/2XDES0WY53`
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.03460#W8KL (statement). In 54HWP298DG/e1, proposition 10

History

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

2XDESYAA32 2XDESYAA32

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

Mentions

arxiv: arXiv 2609.20798#OJ78 (statement)

History

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

Glossary of cryptographic keys 2XDGMTBM16

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

Mentions

wikipedia: Wikipedia Glossary of cryptographic keys, Glossary of cryptographic keys (topic). Also Wikidata Q5571785

History

2026-11-02: add by m2/dev

Applications 2XDHBAMBKS

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

Mentions

wikipedia: Wikipedia Distance (graph theory)#UTN6, Applications (example)

History

2026-11-02: add by m2/dev

destroyed and created pattern 2XDKFZYXS8

URI	`m2://inv/2XDKFZYXS8`
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 2610.05696#WDC5, destroyed and created pattern (definition). In MG81A9XJTQ/e1, definition IV.1

History

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

2XDSM53D19 2XDSM53D19

URI	`m2://inv/2XDSM53D19`
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.20740#F87L (statement)

History

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

Sharp inequalities 2XDVE1NZ6Q

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

Mentions

wikipedia: Wikipedia Inequality (mathematics)#Q28W, Sharp inequalities (unknown)

History

2026-11-02: add by m2/dev

2XE3J9PXJ3 2XE3J9PXJ3

URI	`m2://inv/2XE3J9PXJ3`
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 2410.10337#RAF1 (statement). In RBBF0XNZ5E/e1, lemma 28

History

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

2XE8ZT4F51 2XE8ZT4F51

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

Mentions

arxiv: arXiv 2609.18777#PHHU (definition). In TFZDPHDF7V/e1, definition 1.4

History

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

2XEBB0X2RM 2XEBB0X2RM

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

Mentions

arxiv: arXiv 2603.28861#S9DJ (statement). In A3VQ2TNRKK/e1, theorem 2.4

History

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

2XEBXZT5G3 2XEBXZT5G3

URI	`m2://inv/2XEBXZT5G3`
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.12329#X8OW (statement). In ZJQB9W60T6/e1, proposition 4.9

History

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

2XEC44RQY6 2XEC44RQY6

URI	`m2://inv/2XEC44RQY6`
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#6MSI (statement). In M3E3ARMJXK/e1, lemma 4.1

History

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

Definitions 2XENPSSHJZ

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

Mentions

wikipedia: Wikipedia Bell polynomials#YCR7, Definitions (definition)

History

2026-11-02: add by m2/dev

2XEQZ41A6H 2XEQZ41A6H

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-8 (example). In E9HS8K3A52, example, section 10.4.1

History

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

2XERJVJ7RE 2XERJVJ7RE

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#prop:frm-primrec (statement). In PKGMM3P5QY, prop, section 27.1

History

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

2XEYZMPP39 2XEYZMPP39

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

Mentions

napkin: napkin tex/alg-NT/galois.tex#definition-6 (definition). In RZP28ERRZV, definition, section 14.5

History

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

modular arithmetic 2XF3QGRM7C

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

Mentions

levin_dmoi: levin_dmoi index/6.2.3/modular-arithmetic, modular arithmetic (concept). In Y91XFCEVHQ, index, section 6.2.3

History

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

Applications 2XF6JQVRFJ

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

Mentions

wikipedia: Wikipedia Associativity isomorphism#BZR2, Applications (example)

History

2026-11-02: add by m2/dev

Intrinsic trace formalism and conditional transfer 2XF967R80C

URI	`m2://inv/2XF967R80C`
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.27799#31RR, Intrinsic trace formalism and conditional transfer (statement)

History

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

Pulsatile flow 2XFAAH42XD

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

Mentions

wikipedia: Wikipedia Pulsatile flow, Pulsatile flow (definition). Also Wikidata Q7259620

History

2026-11-02: add by m2/dev

National Institute of Statistics 2XFEKC61XR

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

Mentions

wikipedia: Wikipedia National Institute of Statistics (Venezuela), National Institute of Statistics (definition). Also Wikidata Q5478709

History

2026-11-02: add by m2/dev

2XFR0RFS5G 2XFR0RFS5G

URI	`m2://inv/2XFR0RFS5G`
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.35204#TSM6 (statement). In 8ZZNDYK76B/e1, theorem 1.8

History

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

2XFV05WS39 2XFV05WS39

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

Mentions

arxiv: arXiv 2610.05850#EFN0 (statement). In D424GB5MAW/e1, proposition 1.6

History

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

\textbf{Boundary semigroup theory 2XFX37T5SA

URI	`m2://inv/2XFX37T5SA`
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.22170#PFRB, \textbf{Boundary semigroup theory (statement). In 74MMMHHPW5/e1, theorem 7.2

History

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

Jonathan Brundan 2XFX6DQP22

URI	`m2://inv/2XFX6DQP22`
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#FV4V, Jonathan Brundan (unknown)

History

2026-11-02: add by m2/dev

Shifted radius 2XG62WSMEN

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

Mentions

arxiv: arXiv 2609.33866#8XUU, Shifted radius (statement). In Y3MSGX6472/e1, lemma 15

History

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

Adjunction for a blow-up 2XGA49QVQA

URI	`m2://inv/2XGA49QVQA`
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.16962#8A1T, Adjunction for a blow-up (statement). In KJC9FRS3C2/e1, proposition 8.3

History

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

Brun–Titchmarsh theorem 2XGC1JBXGA

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

Mentions

wikipedia: Wikipedia List of theorems#J1WA, Brun–Titchmarsh theorem (statement)

History

2026-11-02: add by m2/dev

Key 2XGPBH0QJ5

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

Mentions

wikipedia: Wikipedia Key (cryptography), Key (definition). Also Wikidata Q471771

History

2026-11-02: add by m2/dev

Differentiability of the optimal log-likelihood 2XGR4SZXK2

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

Mentions

arxiv: arXiv 2609.23903#EPFY, Differentiability of the optimal log-likelihood (statement)

History

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

Gian Francesco Malfatti 2XGYX2JT12

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

Mentions

wikipedia: Wikipedia Gian Francesco Malfatti, Gian Francesco Malfatti (topic). Also Wikidata Q1384989

History

2026-11-02: add by m2/dev

2XH2T4ENDP 2XH2T4ENDP

URI	`m2://inv/2XH2T4ENDP`
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.08193#3CXQ (statement). In 8XAKGH8S2D/e1, proposition 4.6

History

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

2XHDNKV1QA 2XHDNKV1QA

URI	`m2://inv/2XHDNKV1QA`
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.38567#L2NR (statement). In 59AXA7QFTE/e1, theorem 6

History

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

2XHE14NP6V 2XHE14NP6V

URI	`m2://inv/2XHE14NP6V`
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#NKEX (statement). In QQFXT31CA5/e1, proposition 7.1

History

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

Tian Ye 2XHF5706DW

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

Mentions

wikipedia: Wikipedia Tian Ye (mathematician), Tian Ye (topic). Also Wikidata Q19864295

History

2026-11-02: add by m2/dev

Conservation of energy 2XHGD4F10F

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

Mentions

wikipedia: Wikipedia List of mathematical topics in classical mechanics#GHH4, Conservation of energy (definition)

History

2026-11-02: add by m2/dev

Strong topology 2XHKQ7PS37

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

Mentions

wikipedia: Wikipedia Strong topology, Strong topology (definition). Also Wikidata Q7624589

History

2026-11-02: add by m2/dev

2XHM3HZFPP 2XHM3HZFPP

URI	`m2://inv/2XHM3HZFPP`
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.21535#CW97 (statement)

History

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

Idris Assani 2XHRGJXN9F

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

Mentions

wikipedia: Wikipedia Idris Assani, Idris Assani (topic). Also Wikidata Q18684301

History

2026-11-02: add by m2/dev

2XHTE7ZS15 2XHTE7ZS15

URI	`m2://inv/2XHTE7ZS15`
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.18033#4NZY (statement). In 59VRB6Y27N/e1, proposition 3.1

History

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

Charles J. Mendelsohn 2XJ5Z338XA

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

Mentions

wikipedia: Wikipedia Charles J. Mendelsohn, Charles J. Mendelsohn (topic). Also Wikidata Q1065001

History

2026-11-02: add by m2/dev

2XJAAB5NP5 2XJAAB5NP5

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

Mentions

arxiv: arXiv 2609.24523#RC3G (statement)

History

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

Exact mean overflow; \appproof{pf:meanoverflow 2XJACJ97AS

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

Mentions

arxiv: arXiv 2609.39233#2PBR, Exact mean overflow; \appproof{pf:meanoverflow (statement). In Y7NC12TBNP/e1, theorem 2

History

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

Definition 2XJB29J5DY

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

Mentions

wikipedia: Wikipedia Normal-inverse-gamma distribution#4WUH, Definition (definition)

History

2026-11-02: add by m2/dev

2XJR03YT24 2XJR03YT24

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-144 (exercise). In VNMV985MXX, exercise, section 2.6

History

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

Compressed digital video 2XJR9YDA70

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

Mentions

wikipedia: Wikipedia Data compression#FLZ1, Compressed digital video (unknown)

History

2026-11-02: add by m2/dev

2XK0BABFS0 2XK0BABFS0

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

Mentions

arxiv: arXiv 1011.5380#V9IT (definition). In GCWK07YZJZ/e1, definition 2.1

History

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

2XK2Q53JZB 2XK2Q53JZB

URI	`m2://inv/2XK2Q53JZB`
Kind	statement
Layer	research
MSC	35-XX, 46-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.06645#HO3C (statement). In 79H1DEK4M9/e1, theorem 7.1

History

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

2XK5N129HQ 2XK5N129HQ

URI	`m2://inv/2XK5N129HQ`
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.01915#XI5P (statement). In 6HJQXZS0A6/e1, corollary 1.19

History

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

2XK7RJYVYS 2XK7RJYVYS

URI	`m2://inv/2XK7RJYVYS`
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.24463#0XRL (statement)

History

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

Definition and properties 2XK87CBEKB

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

Mentions

wikipedia: Wikipedia Lorentz force#SPL1, Definition and properties (definition)

History

2026-11-02: add by m2/dev

translation lemma 2XKBG5RRNK

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

Mentions

wikipedia: Wikipedia Glossary of logic#X4OZ, translation lemma (definition)

History

2026-11-02: add by m2/dev

Generalized additive model 2XKDT83GWZ

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

Mentions

wikipedia: Wikipedia Generalized additive model, Generalized additive model (definition). Also Wikidata Q3318054

History

2026-11-02: add by m2/dev

Kiær, Anders Nicolai 2XKP703H0X

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

Mentions

wikipedia: Wikipedia List of statisticians#UFZT, Kiær, Anders Nicolai (unknown)

History

2026-11-02: add by m2/dev

A general lower bound 2XKXZRZ5RF

URI	`m2://inv/2XKXZRZ5RF`
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.37410#NJRX, A general lower bound (statement). In NX7D3FFFKM/e1, corollary 6.2

History

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

Encompassment ordering 2XM1FKVHNH

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

Mentions

wikipedia: Wikipedia Encompassment ordering, Encompassment ordering (definition). Also Wikidata Q18353532

History

2026-11-02: add by m2/dev

Properties 2XM1HC69KA

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

Mentions

wikipedia: Wikipedia Hankel matrix#HGAE, Properties (statement)

History

2026-11-02: add by m2/dev

Examples 2XM5JX34H2

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

Mentions

wikipedia: Wikipedia Fedosov manifold#FNG0, Examples (example)

History

2026-11-02: add by m2/dev

related 2XM7ST19R6

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#XXCS, related (definition)

History

2026-11-02: add by m2/dev

2XMAFR6HC1 2XMAFR6HC1

URI	`m2://inv/2XMAFR6HC1`
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 2605.24355#R7ZG (statement). In VV3AJMWWCR/e1, lemma 3

History

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

topological ring 2XMB3EB29D

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

Mentions

mathlib_overview: mathlib_overview Topology > Topological algebra > topological ring, topological ring (unknown). Also Mathlib IsTopologicalRing

History

2026-10-26: add by m2/dev

2XMCFQ9EWW 2XMCFQ9EWW

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

Mentions

arxiv: arXiv 2609.32338#6X11 (statement). In HVY45JQRNK/e1, corollary 6.4

History

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

syntax 2XMHR48XQM

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

Mentions

wikipedia: Wikipedia Glossary of logic#RMSN, syntax (definition)

History

2026-11-02: add by m2/dev

Corrado Böhm 2XMK7FRM5Q

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#76KK, Corrado Böhm (unknown)

History

2026-11-02: add by m2/dev

CryptoVerif 2XMSH16714

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

Mentions

wikipedia: Wikipedia CryptoVerif, CryptoVerif (definition). Also Wikidata Q5190795

History

2026-11-02: add by m2/dev

Example 2XN3SWKFPZ

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

Mentions

wikipedia: Wikipedia Mixed Hodge structure#KI47, Example (example)

History

2026-11-02: add by m2/dev

Johannes Buchmann 2XNB4TYP1J

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#67AG, Johannes Buchmann (topic)

History

2026-11-02: add by m2/dev

Blockwise Local Minimum 2XNFSCX4VG

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

Mentions

arxiv: arXiv 2609.37489#JUZU, Blockwise Local Minimum (definition). In 5ZC91T5PHQ/e1, definition

History

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

2XNGWZ7QH4 2XNGWZ7QH4

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

Mentions

hott_book: hott_book reals.tex#RC-lim-factor (statement). In N54F33XE07, lem, section B.3.2

History

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

2XNM7ESFD8 2XNM7ESFD8

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

Mentions

arxiv: arXiv 2610.07380#H1KV (definition). In XM2CDRKSGE/e1, definition 2.1

History

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

director 2XNMTRD980

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#EI65, director (definition)

History

2026-11-02: add by m2/dev

The theorem 2XNP5AX4BN

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

Mentions

wikipedia: Wikipedia Rao–Blackwell theorem#Y8T8, The theorem (statement)

History

2026-11-02: add by m2/dev

3-3 duopyramid 2XP5JX5R09

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

Mentions

wikipedia: Wikipedia 3-3 duoprism#JQM1, 3-3 duopyramid (unknown)

History

2026-11-02: add by m2/dev

The method 2XPQS9P89R

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

Mentions

wikipedia: Wikipedia Scheffé's method#UNYK, The method (definition)

History

2026-11-02: add by m2/dev

2XPSYSPKQM 2XPSYSPKQM

URI	`m2://inv/2XPSYSPKQM`
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.19358#RPKY (statement). In N3QZZ7BD0V/e1, lemma 1

History

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

Flow in partially full conduits 2XPZKH69QQ

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

Mentions

wikipedia: Wikipedia Flow in partially full conduits, Flow in partially full conduits (definition). Also Wikidata Q28456376

History

2026-11-02: add by m2/dev

2XQ0SRZ4PN 2XQ0SRZ4PN

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

Mentions

arxiv: arXiv 2610.09882#QVI5 (statement). In 7XV6T4N79V/e1, lemma 2.3

History

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

Harmonic and Hermite coefficients 2XQ1HWSHK5

URI	`m2://inv/2XQ1HWSHK5`
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#D0L1, Harmonic and Hermite coefficients (statement). In 4KYENHR0J8/e1, lemma 7

History

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

2XQ2MFF0WZ 2XQ2MFF0WZ

URI	`m2://inv/2XQ2MFF0WZ`
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.20368#CL3J (statement)

History

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

2XQAP3CWE6 2XQAP3CWE6

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#example-10 (example). In E9HS8K3A52, example, section 2.5.3

History

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

429 (number) 2XQCS1HKPD

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

Mentions

wikipedia: Wikipedia 400 (number)#SXLB, 429 (number) (unknown)

History

2026-11-02: add by m2/dev

2XQQR9V35V 2XQQR9V35V

URI	`m2://inv/2XQQR9V35V`
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.24541#6IXF (statement)

History

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

2XQY5D07S1 2XQY5D07S1

URI	`m2://inv/2XQY5D07S1`
Kind	statement
Layer	research
MSC	51-XX, 52-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.01087#8OVT (statement). In 7QXAZXGNPQ/e1, corollary 7.4

History

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

2XR2WC93GH 2XR2WC93GH

URI	`m2://inv/2XR2WC93GH`
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.10484#6XD1 (statement). In 5B4AX4SF88/e1, proposition 4.17

History

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

multiplicative group 2XR4JGNZ35

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

Mentions

wikidata: Wikidata Q91602760, multiplicative group (unknown). Also MathWorld MultiplicativeGroup

History

2026-10-26: add by m2/dev

2XR80AF2V5 2XR80AF2V5

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

Mentions

arxiv: arXiv 2610.09019#S61Z (statement). In 8V6YECFCC1/e1, proposition 5.5

History

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

2XRAZT48A7 2XRAZT48A7

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

Mentions

arxiv: arXiv 2610.06152#BPB1 (statement). In HH35K7S17H/e1, proposition A.31

History

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

2XS5EBY88B 2XS5EBY88B

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

Mentions

wikipedia: Wikipedia Baillie–PSW primality test#3YYT (problem)

History

2026-11-02: add by m2/dev

2XSC6YQQTV 2XSC6YQQTV

URI	`m2://inv/2XSC6YQQTV`
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.11872#B3BF (statement). In NKDA88318F/e1, corollary 6

History

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

RSA-1536 2XSGP4SQSE

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

Mentions

wikipedia: Wikipedia RSA numbers#UWPJ, RSA-1536 (unknown)

History

2026-11-02: add by m2/dev

Andrzej Mostowski 2XSNMFKWHS

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

Mentions

wikipedia: Wikipedia List of logicians#U5XE, Andrzej Mostowski (topic)

History

2026-11-02: add by m2/dev

Hermite transform 2XSNTEP304

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

Mentions

wikipedia: Wikipedia List of transforms#0Q6J, Hermite transform (unknown)

History

2026-11-02: add by m2/dev

2XSQMGF61P 2XSQMGF61P

URI	`m2://inv/2XSQMGF61P`
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.40189#QQG6 (statement). In K2MDWD9V46/e1, corollary 4.4

History

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

Electric potential 2XSWS1V8JR

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

Mentions

wikipedia: Wikipedia Electric potential, Electric potential (definition). Also Wikidata Q55451

History

2026-11-02: add by m2/dev

2XT05MXERJ 2XT05MXERJ

URI	`m2://inv/2XT05MXERJ`
Kind	example
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.06045#DQRF (example). In SVKM0852RJ/e1, example 2

History

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

characteristic function 2XT0RQ1R08

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#6FHC, characteristic function (definition)

History

2026-11-02: add by m2/dev

Implementation 2XT1KAYZ8C

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

Mentions

wikipedia: Wikipedia Lubachevsky–Stillinger algorithm#8OXN, Implementation (definition)

History

2026-11-02: add by m2/dev

2XTASP51CM 2XTASP51CM

URI	`m2://inv/2XTASP51CM`
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.39700#QRQ2 (statement). In E7W2HDNEKJ/e1, theorem 8.11

History

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

Genetic algebra 2XTDPBTD5S

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

Mentions

wikipedia: Wikipedia Genetic algebra, Genetic algebra (definition). Also Wikidata Q5532873

History

2026-11-02: add by m2/dev

Sergei Chernikov 2XTHVPCMMQ

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#6M4H, Sergei Chernikov (topic)

History

2026-11-02: add by m2/dev

2XTNH62FGR 2XTNH62FGR

URI	`m2://inv/2XTNH62FGR`
Kind	example
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.07890#M7QC (example). In 6F3GSDT2V1/e1, example 3.1

History

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

2XTQGJPKRF 2XTQGJPKRF

URI	`m2://inv/2XTQGJPKRF`
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 2301.04933#DVWZ (statement). In Q70CTMCJTP/e1, corollary 2.3

History

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

Detection at the omitted primes 2XTRMY98KA

URI	`m2://inv/2XTRMY98KA`
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#087F, Detection at the omitted primes (statement). In QXY3W2JV2N/e1, proposition 4.6

History

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

Li's criterion 2XTV1A6T8D

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

Mentions

wikidata: Wikidata Q6538608, Li's criterion (unknown). Also MathWorld LisCriterion
wikipedia: Wikipedia Li's criterion, Li's criterion (statement). Also Wikidata Q6538608

History

2026-10-26: add by m2/dev

Nicolay Vasilyev 2XTWAGJ81V

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#J4YN, Nicolay Vasilyev (topic)

History

2026-11-02: add by m2/dev

Popescu's theorem 2XTY639D3R

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

Mentions

wikipedia: Wikipedia Popescu's theorem, Popescu's theorem (statement). Also Wikidata Q18814978

History

2026-11-02: add by m2/dev

2XV1YDVRVQ 2XV1YDVRVQ

URI	`m2://inv/2XV1YDVRVQ`
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.30637#TAES (statement). In 6G1KBA0SXV/e1, lemma 3.23

History

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

Theorem 2XV3GQY080

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

Mentions

wikipedia: Wikipedia Erdős–Szemerédi theorem#YNJY, Theorem (statement)

History

2026-11-02: add by m2/dev

Analytical hierarchy 2XV3MZ1677

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

Mentions

wikipedia: Wikipedia Analytical hierarchy, Analytical hierarchy (definition). Also Wikidata Q2878515

History

2026-11-02: add by m2/dev

Imre Lakatos 2XV5WP9Z03

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

Mentions

wikipedia: Wikipedia Imre Lakatos, Imre Lakatos (topic). Also Wikidata Q296249

History

2026-11-02: add by m2/dev

essentially of finite type 2XVEH3BVE7

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#HKV0, essentially of finite type (definition)

History

2026-11-02: add by m2/dev

Latin tag 2XVEHX7BAD

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

Mentions

wikipedia: Wikipedia Latin tag, Latin tag (definition)

History

2026-11-02: add by m2/dev

vertically opposite angle theorem 2XVEYMKBEV

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

Mentions

wikidata: Wikidata Q95674594, vertically opposite angle theorem (statement). Also ProofWiki Two_Straight_Lines_make_Equal_Opposite_Angles

History

2026-10-26: add by m2/dev

2XVV8HM9W1 2XVV8HM9W1

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

Mentions

arxiv: arXiv 2609.25129#7KJ4 (statement)

History

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

2XW5HHSWQF 2XW5HHSWQF

URI	`m2://inv/2XW5HHSWQF`
Kind	statement
Layer	research
MSC	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 2609.33590#NMHX (statement). In WRE0P7V6Z3/e1, lemma 11.1

History

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

Examples 2XWGNVT4EV

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

Mentions

wikipedia: Wikipedia Baire set#JCQ2, Examples (example)

History

2026-11-02: add by m2/dev

Burgess Davis 2XWH4X6ZF7

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

Mentions

wikipedia: Wikipedia Burgess Davis, Burgess Davis (topic). Also Wikidata Q102144469

History

2026-11-02: add by m2/dev

Necessary and sufficient duration order 2XWWFWPJYM

URI	`m2://inv/2XWWFWPJYM`
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.02187#8SEA, Necessary and sufficient duration order (statement). In BM9N20J1XA/e1, theorem 7

History

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

2XWXXK072G 2XWXXK072G

URI	`m2://inv/2XWXXK072G`
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.39293#Q3SU (statement). In S26QVW5613/e1, proposition A.1.1

History

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

2XWYY5S88V 2XWYY5S88V

URI	`m2://inv/2XWYY5S88V`
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 2212.01916#7JV6 (statement). In XTGB5Z08YH/e1, corollary 4.3

History

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

2XWZDCWE7C 2XWZDCWE7C

URI	`m2://inv/2XWZDCWE7C`
Kind	statement
Layer	research
MSC	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 2609.33590#7PH1 (statement). In WRE0P7V6Z3/e1, corollary 11.6

History

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

Equivalence in a special case; Proposition 27 2XX10ABXH3

URI	`m2://inv/2XX10ABXH3`
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 2102.11076#I2OA, Equivalence in a special case; Proposition 27 (statement). In T9HZXHTQBJ/e1, corollary 5

History

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

compositionality 2XXG1KV8BA

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

Mentions

wikipedia: Wikipedia Glossary of logic#HA7N, compositionality (definition)

History

2026-11-02: add by m2/dev

law of exponents 2XXS58JEXB

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

Mentions

lebl_ra: lebl_ra index/1.4.1/law-of-exponents, law of exponents (concept). In E59CDZA4DP, index, section 1.4.1

History

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

Ramanujan prime 2XXSCER167

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

Mentions

wikidata: Wikidata Q3044802, Ramanujan prime (concept). Also MathWorld RamanujanPrime
wikipedia: Wikipedia Ramanujan prime, Ramanujan prime (definition). Also Wikidata Q3044802

History

2026-10-26: add by m2/dev

2XXTGX7J7Y 2XXTGX7J7Y

URI	`m2://inv/2XXTGX7J7Y`
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 2609.31907#J7OG (definition). In 6B2PCEGCYZ/e1, definition 2.16

History

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

2XXY91NXXG 2XXY91NXXG

URI	`m2://inv/2XXY91NXXG`
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.22040#ZG5V (statement). In 2QP93JHYNB/e1, lemma 4.6

History

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

2XY0NB5J3A 2XY0NB5J3A

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

Mentions

arxiv: arXiv 2606.00589#X2KI (statement). In C8JAGP8VCQ/e1, proposition 9.2

History

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

Evolutionary multi-criterion optimization 2XY17NY7FW

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

Mentions

wikipedia: Wikipedia Multi-objective optimization#JOE4, Evolutionary multi-criterion optimization (statement)

History

2026-11-02: add by m2/dev

Peptic ulcers 2XY82DXMD0

URI	`m2://inv/2XY82DXMD0`
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#6LTP, Peptic ulcers (unknown)

History

2026-11-02: add by m2/dev

Relevance vector machine 2XYC5E85H6

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

Mentions

wikipedia: Wikipedia List of statistics articles#LSEM, Relevance vector machine (definition)

History

2026-11-02: add by m2/dev

Difference Equations: From Rabbits to Chaos 2XYD5ZTW6F

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

Mentions

wikipedia: Wikipedia Difference Equations: From Rabbits to Chaos, Difference Equations: From Rabbits to Chaos (definition). Also Wikidata Q85756863

History

2026-11-02: add by m2/dev

Hilbert symbol 2XYH1TY0YV

URI	`m2://inv/2XYH1TY0YV`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Hilbert symbol WFG4YMBYVQ

Mentions

wikidata: Wikidata Q740060, Hilbert symbol (unknown). Also EoM Norm-residue_symbol, MathWorld HilbertSymbol
wikipedia: Wikipedia Hilbert symbol, Hilbert symbol (definition). Also Wikidata Q740060

History

2026-10-26: add by m2/dev

List of partition topics 2XYP3EJB9P

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

Mentions

wikipedia: Wikipedia List of partition topics, List of partition topics (topic). Also Wikidata Q6632024

History

2026-11-02: add by m2/dev

Probability Surveys 2XYR39V8NH

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

Mentions

wikipedia: Wikipedia List of probability journals#QEPZ, Probability Surveys (definition)

History

2026-11-02: add by m2/dev

Properties 2XYVS4XJSG

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

Mentions

wikipedia: Wikipedia Primorial#3AAZ, Properties (statement)

History

2026-11-02: add by m2/dev

Triangular-array aggregation under uniform MRV 2XYXAFVXSV

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

Mentions

arxiv: arXiv 2609.29658#SA8K, Triangular-array aggregation under uniform MRV (statement)

History

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

One-point moment bounds 2XYYHJ7PAQ

URI	`m2://inv/2XYYHJ7PAQ`
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.37944#B6SN, One-point moment bounds (statement). In KP94WJVJXY/e1, lemma 3

History

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

Replacement product 2XZ1QBSVR6

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

Mentions

wikipedia: Wikipedia Replacement product, Replacement product (definition). Also Wikidata Q25098781

History

2026-11-02: add by m2/dev

Von Neumann paradox 2XZ540WP9J

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

Mentions

wikipedia: Wikipedia List of paradoxes#JJXB, Von Neumann paradox (statement)

History

2026-11-02: add by m2/dev

multiplicative identity 2XZ5Z7DQKX

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

Mentions

wikidata: Wikidata Q68019776, multiplicative identity (unknown). Also MathWorld MultiplicativeIdentity

History

2026-10-26: add by m2/dev

2XZ6PY5EKG 2XZ6PY5EKG

URI	`m2://inv/2XZ6PY5EKG`
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.17825#VTRT (statement). In T0ADPX1S05/e1, proposition 4.1

History

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

Applications 2XZ9T7HNQM

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

Mentions

wikipedia: Wikipedia Double exponential function#LZCU, Applications (example)

History

2026-11-02: add by m2/dev

Egyptian fraction 2XZDQ2JDFJ

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

Mentions

wikipedia: Wikipedia List of number theory topics#46GD, Egyptian fraction (definition)

History

2026-11-02: add by m2/dev

quasi-abelian category 2XZJA203S2

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

Mentions

wikidata: Wikidata Q30715306, quasi-abelian category (unknown). Also nLab quasi-abelian category
wikipedia: Wikipedia Quasi-abelian category, Quasi-abelian category (definition). Also Wikidata Q30715306

History

2026-10-26: add by m2/dev

Analogies in mathematics 2XZJS3VYAF

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

Mentions

wikipedia: Wikipedia Analogy#UXTN, Analogies in mathematics (unknown)

History

2026-11-02: add by m2/dev

2XZN63TRRY 2XZN63TRRY

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

Mentions

arxiv: arXiv 2609.30444#HCB0 (statement). In RZWJ0AT8W5/e1, lemma 4.2

History

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

Properties 2XZPRGRDWJ

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

Mentions

wikipedia: Wikipedia Reflexive space#D0FW, Properties (statement)

History

2026-11-02: add by m2/dev

2XZS836KES 2XZS836KES

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

Mentions

arxiv: arXiv 2306.12846#XLNO (statement). In D6XA7JXZF3/e1, lemma 3.5

History

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

Mac Lane 2XZWGEWF9V

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

Mentions

wikipedia: Wikipedia Glossary of set theory#UUVE, Mac Lane (definition)

History

2026-11-02: add by m2/dev

Another explicit computation 2XZZPMVA3S

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

Mentions

napkin: napkin tex/H113/quotient.tex#example-10, Another explicit computation (example). In RZP28ERRZV, example, section 3.5

History

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