Inventory rows EQ

Nullarbor Plain EQ002CX0VB

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

Mentions

wikipedia: Wikipedia List of places with numeric names#KYSU, Nullarbor Plain (unknown)

History

2026-11-02: add by m2/dev

Nielsen–Ninomiya theorem EQ04VT76RK

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

Mentions

mathlib_1000: mathlib_1000 Q17104863, Nielsen–Ninomiya theorem (statement). Also Wikidata Q17104863
thousand_plus: thousand_plus Q17104863, Nielsen–Ninomiya theorem (statement). Also Wikidata Q17104863, Wikipedia Nielsen–Ninomiya theorem
wikipedia: Wikipedia Nielsen–Ninomiya theorem, Nielsen–Ninomiya theorem (statement). Also Wikidata Q17104863

History

2026-10-26: add by m2/dev

automorphic function EQ0AJZ6XGN

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

Mentions

wikidata: Wikidata Q4826704, automorphic function (unknown). Also MathWorld AutomorphicFunction
wikipedia: Wikipedia Automorphic function, Automorphic function (definition). Also Wikidata Q4826704

History

2026-10-26: add by m2/dev

EQ0DYHY6Q0 EQ0DYHY6Q0

URI	`m2://inv/EQ0DYHY6Q0`
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 1806.05002#UCG1 (statement). In JBAQ7DTW7B/e1, lemma D.3

History

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

EQ0FZV61WY EQ0FZV61WY

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-71 (exercise). In E9HS8K3A52, exercise, section 7.5.1

History

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

Linear IV regression EQ0JSSNYSK

URI	`m2://inv/EQ0JSSNYSK`
Kind	example
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 2610.12873#NYIT, Linear IV regression (example). In 9MMD2N7DQ1/e1, example 2.1

History

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

EQ0NZ3EZA7 EQ0NZ3EZA7

URI	`m2://inv/EQ0NZ3EZA7`
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.32174#7W2P (definition). In GHKR740SG3/e1, definition 13.1

History

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

EQ0PQMDAEM EQ0PQMDAEM

URI	`m2://inv/EQ0PQMDAEM`
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 2610.14600#20Q1 (statement). In CJHTDS522P/e1, proposition 5.0.1

History

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

Definition EQ0QT5KJ6Q

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

Mentions

wikipedia: Wikipedia Quasi-free algebra#HPAR, Definition (definition)

History

2026-11-02: add by m2/dev

EQ0R4PEGXG EQ0R4PEGXG

URI	`m2://inv/EQ0R4PEGXG`
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.12857#ZZ8M (statement). In XJWQ6Y83F8/e1, lemma 3.1

History

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

Example EQ0SDNNV6K

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

Mentions

wikipedia: Wikipedia Quadratically constrained quadratic program#LOLT, Example (example)

History

2026-11-02: add by m2/dev

Michael Hochman EQ0TAWFYMY

URI	`m2://inv/EQ0TAWFYMY`
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#1BFS, Michael Hochman (topic)

History

2026-11-02: add by m2/dev

False nearest neighbor algorithm EQ0TK2S32G

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

Mentions

wikipedia: Wikipedia List of statistics articles#4CE8, False nearest neighbor algorithm (definition)

History

2026-11-02: add by m2/dev

Catherine Yan EQ0WGYWDYF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#848V, Catherine Yan (topic)

History

2026-11-02: add by m2/dev

EQ0WJMJMV8 EQ0WJMJMV8

URI	`m2://inv/EQ0WJMJMV8`
Kind	example
Layer	research
MSC	18-XX, 49-XX, 51-XX, 52-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 1904.08413#NLU9 (example). In X88HPQ0W8C/e1, example 2.42

History

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

Small cubicuboctahedron EQ1764N7CA

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#EBY7, Small cubicuboctahedron (definition)

History

2026-11-02: add by m2/dev

EQ17AQP8BE EQ17AQP8BE

URI	`m2://inv/EQ17AQP8BE`
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.00902#2KA6 (statement). In 1BYMXTH5MW/e1, theorem 4.3

History

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

EQ1HVK0AF8 EQ1HVK0AF8

URI	`m2://inv/EQ1HVK0AF8`
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 2601.15010#UH1B (statement). In K3WJ6ZN184/e1, lemma A.5

History

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

Minimum bounding rectangle EQ1JE0QWP5

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#G7ZN, Minimum bounding rectangle (definition)

History

2026-11-02: add by m2/dev

Formulas EQ1K6FSJGQ

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

Mentions

wikipedia: Wikipedia Root mean square deviation#7DYU, Formulas (statement)

History

2026-11-02: add by m2/dev

Tautness EQ1MRWTMSE

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

Mentions

wikipedia: Wikipedia Tautness (topology), Tautness (definition). Also Wikidata Q108101819

History

2026-11-02: add by m2/dev

Intuitionistic type theory EQ1NGZYV7G

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#A10W, Intuitionistic type theory (definition)

History

2026-11-02: add by m2/dev

EQ1R1DT48V EQ1R1DT48V

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

Mentions

arxiv: arXiv 2609.22514#EYTK (statement)

History

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

Properties EQ242DG0MA

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

Mentions

wikipedia: Wikipedia Baker's map#VNZL, Properties (statement)

History

2026-11-02: add by m2/dev

George E. P. Box EQ28R66ZY2

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

Mentions

wikipedia: Wikipedia George E. P. Box, George E. P. Box (topic). Also Wikidata Q957661

History

2026-11-02: add by m2/dev

EQ2DQDWF96 EQ2DQDWF96

URI	`m2://inv/EQ2DQDWF96`
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 2112.05010#PQT5 (statement). In 4SZNPS3Z00/e1, proposition 4.16

History

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

EQ31N9KM4F EQ31N9KM4F

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

Mentions

arxiv: arXiv 2609.25168#9LU5 (statement)

History

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

Examples EQ32568GZP

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

Mentions

wikipedia: Wikipedia Unimodular lattice#V4QA, Examples (example)

History

2026-11-02: add by m2/dev

Herbert A. Simon EQ38YV83HH

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4A79, Herbert A. Simon (unknown)

History

2026-11-02: add by m2/dev

Properties EQ3FGSJYGT

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

Mentions

wikipedia: Wikipedia Hahn series#TBTY, Properties (statement)

History

2026-11-02: add by m2/dev

Moving least squares EQ3JT9SRGB

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

Mentions

wikipedia: Wikipedia List of statistics articles#DW5Q, Moving least squares (definition)

History

2026-11-02: add by m2/dev

J-structure EQ3MXS4VB6

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

Mentions

wikipedia: Wikipedia J-structure, J-structure (definition). Also Wikidata Q17098270

History

2026-11-02: add by m2/dev

Point-biserial correlation coefficient EQ3NKKWCZM

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

Mentions

wikipedia: Wikipedia Point-biserial correlation coefficient, Point-biserial correlation coefficient (definition). Also Wikidata Q1591996

History

2026-11-02: add by m2/dev

Heinz Billing EQ3Q1DE1Z5

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

Mentions

wikipedia: Wikipedia Heinz Billing, Heinz Billing (topic). Also Wikidata Q98042

History

2026-11-02: add by m2/dev

Theorem 1.3 in , informal EQ3RZQRVCN

URI	`m2://inv/EQ3RZQRVCN`
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 2103.02468#RCW8, Theorem 1.3 in , informal (statement). In Q7C6G66CWM/e1, theorem 4.2

History

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

Axioms for 1 (primitives: R, <, +, 1) EQ3ZWHSDMN

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

Mentions

wikipedia: Wikipedia Tarski's axiomatization of the reals#5R3F, Axioms for 1 (primitives: R, <, +, 1) (statement)

History

2026-11-02: add by m2/dev

EQ42KYGBTX EQ42KYGBTX

URI	`m2://inv/EQ42KYGBTX`
Kind	statement
Layer	research
MSC	11-XX, 14-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 2104.12015#T6MP (statement). In ZZ2P08DVQW/e1, theorem 10.11

History

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

EQ45QXX2JJ EQ45QXX2JJ

URI	`m2://inv/EQ45QXX2JJ`
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.07049#YP5R (statement). In GMF552ESG6/e1, theorem 7.1

History

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

EQ4B3JH9FR EQ4B3JH9FR

URI	`m2://inv/EQ4B3JH9FR`
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#N5BU (statement)

History

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

EQ4C50J2DE EQ4C50J2DE

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

Mentions

arxiv: arXiv 2610.06541#YNHP (definition). In R604B78EVK/e1, definition 6.8

History

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

EQ4GB90NPM EQ4GB90NPM

URI	`m2://inv/EQ4GB90NPM`
Kind	definition
Layer	research
MSC	18-XX, 54-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.10930#H8QB (definition). In HX63A1PH1W/e1, definition 5.36

History

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

isocline EQ4N6D9B4J

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

Mentions

wikidata: Wikidata Q1546820, isocline (unknown). Also MathWorld Isocline
wikipedia: Wikipedia Isocline, Isocline (definition). Also Wikidata Q1546820

History

2026-10-26: add by m2/dev

Quasi-optimal resketched recovery EQ4T6AS6W3

URI	`m2://inv/EQ4T6AS6W3`
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.04574#PX53, Quasi-optimal resketched recovery (statement). In XVPGDDE7WA/e1, theorem

History

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

EQ4V3KB7S1 EQ4V3KB7S1

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/normal-logics.tex#prop:notDiamondBot (statement). In PKGMM3P5QY, prop, section 50.7

History

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

Neena Gupta EQ5JPFYWFY

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#020U, Neena Gupta (topic)

History

2026-11-02: add by m2/dev

EQ5NV7KAV8 EQ5NV7KAV8

URI	`m2://inv/EQ5NV7KAV8`
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 2105.08875#KE1T (statement). In QT8HPDAYPX/e1, theorem 4.3

History

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

Alphabet profile EQ5V9372RJ

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

Mentions

arxiv: arXiv 2609.37368#OHWJ, Alphabet profile (statement). In FRMCKEGVJZ/e1, corollary 2

History

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

incomplete elliptic integral of the second kind EQ66HN9B22

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

Mentions

wikidata: Wikidata Q109752773, incomplete elliptic integral of the second kind (unknown). Also MathWorld EllipticIntegraloftheSecondKind

History

2026-10-26: add by m2/dev

One step under antisymmetry EQ6CBCE1WX

URI	`m2://inv/EQ6CBCE1WX`
Kind	statement
Layer	research
MSC	35-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.20998#03HD, One step under antisymmetry (statement)

History

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

Canonical projection bound EQ6PJ5TVHE

URI	`m2://inv/EQ6PJ5TVHE`
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.05498#A5KV, Canonical projection bound (statement). In TJT32RQ9GC/e1, lemma 6.11

History

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

Eric Arnold Bergshoeff EQ6SFZX87T

URI	`m2://inv/EQ6SFZX87T`
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 Q16318957, Eric Arnold Bergshoeff (unknown). Also nLab Eric Bergshoeff

History

2026-10-26: add by m2/dev

EQ6TEY3MBX EQ6TEY3MBX

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

Mentions

arxiv: arXiv 2609.20190#GLZZ (statement)

History

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

Joint weak-residual and boundary criterion EQ6VT12SJE

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

Mentions

arxiv: arXiv 2610.04357#4NPF, Joint weak-residual and boundary criterion (statement). In 6FY8BVP1F3/e1, corollary D.11

History

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

EQ6WPNDVK7 EQ6WPNDVK7

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

Mentions

arxiv: arXiv 2610.06338#9GE2 (example). In F1CYVYK7YB/e1, example 2.4

History

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

One-line notation EQ70Y1KEJ7

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

Mentions

wikipedia: Wikipedia Permutation#HJL3, One-line notation (unknown)

History

2026-11-02: add by m2/dev

EQ72C0BVER EQ72C0BVER

URI	`m2://inv/EQ72C0BVER`
Kind	statement
Layer	research
MSC	14-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.27751#MG8G (statement)

History

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

Odd Aalen EQ73C68RMD

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#KYZX, Odd Aalen (topic)

History

2026-11-02: add by m2/dev

EQ73EQW1GE EQ73EQW1GE

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

Mentions

arxiv: arXiv 2303.09207#V7Y3 (statement). In 9DQKY7KGE8/e1, corollary C.13

History

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

EQ75AQTQ3X EQ75AQTQ3X

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

Mentions

arxiv: arXiv 2609.36411#ZPXV (statement). In 9QG5CND2RQ/e1, corollary 2.4

History

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

EQ77Z2JXVY EQ77Z2JXVY

URI	`m2://inv/EQ77Z2JXVY`
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.00551#IYTA (statement). In AJRYG47JCE/e1, lemma 2

History

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

EQ7J2QRGBV EQ7J2QRGBV

URI	`m2://inv/EQ7J2QRGBV`
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.15881#7FEP (statement). In RK0JCSYK33/e1, proposition 3.4

History

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

Horst Schubert EQ7JAQ097B

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

Mentions

wikipedia: Wikipedia Horst Schubert, Horst Schubert (topic). Also Wikidata Q1253487

History

2026-11-02: add by m2/dev

Archimedean group EQ7TVV4C8F

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

Mentions

wikipedia: Wikipedia Archimedean group, Archimedean group (definition). Also Wikidata Q4786884

History

2026-11-02: add by m2/dev

in $\Z + \text{Weak-Reflection}$. EQ86K5XWHH

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

Mentions

open_logic: open_logic content/set-theory/replacement/refproofs.tex#lem:reflect, in $\Z + \text{Weak-Reflection}$. (statement). In PKGMM3P5QY, lem, section 73.11

History

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

EQ88DVJ594 EQ88DVJ594

URI	`m2://inv/EQ88DVJ594`
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.29605#M0J9 (statement)

History

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

Definition EQ8DB33C8N

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

Mentions

wikipedia: Wikipedia Wall–Sun–Sun prime#QOLY, Definition (definition)

History

2026-11-02: add by m2/dev

EQ8FJAT1J4 EQ8FJAT1J4

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

Mentions

arxiv: arXiv 2610.15489#A1TC (statement). In 5BCTP0B6Q1/e1, theorem A

History

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

Definition EQ8K83QPDR

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

Mentions

wikipedia: Wikipedia Expander code#SGBO, Definition (definition)

History

2026-11-02: add by m2/dev

EQ8KM7RJ0Q EQ8KM7RJ0Q

URI	`m2://inv/EQ8KM7RJ0Q`
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.36186#BDBK (definition). In 30PQN6JP7W/e1, definition 16

History

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

Applications EQ8NCTTB3G

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

Mentions

wikipedia: Wikipedia Least-squares spectral analysis#DX9A, Applications (example)

History

2026-11-02: add by m2/dev

EQ8WJK4KGD EQ8WJK4KGD

URI	`m2://inv/EQ8WJK4KGD`
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 2312.05005#J9E1 (statement). In SMJMAQ2S3J/e1, lemma 6

History

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

Leonhard Euler EQ8WVXV6P3

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions#DHND, Leonhard Euler (topic)

History

2026-11-02: add by m2/dev

Bead frame EQ8X6PTKA2

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

Mentions

wikipedia: Wikipedia Abacus#0ISA, Bead frame (unknown)

History

2026-11-02: add by m2/dev

EQ92MVVM50 EQ92MVVM50

URI	`m2://inv/EQ92MVVM50`
Kind	statement
Layer	research
MSC	30-XX, 32-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.21945#MWMB (statement). In 371P9QASSJ/e1, lemma 3.2

History

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

EQ94GDHNAX EQ94GDHNAX

URI	`m2://inv/EQ94GDHNAX`
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.36456#UY0E (statement). In E3MBNAPCQG/e1, corollary 6.1

History

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

EQ96A97026 EQ96A97026

URI	`m2://inv/EQ96A97026`
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.29501#TJZ1 (statement)

History

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

Methods EQ96G5JN2H

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

Mentions

wikipedia: Wikipedia Stress (mechanics)#2S4K, Methods (definition)

History

2026-11-02: add by m2/dev

Replication (statistics) EQ9CTAQ9ND

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

Mentions

wikipedia: Wikipedia List of statistics articles#S5F9, Replication (statistics) (definition)

History

2026-11-02: add by m2/dev

Proper Bayes-Sufficient Compression EQ9DHDGSH1

URI	`m2://inv/EQ9DHDGSH1`
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.03769#F2JT, Proper Bayes-Sufficient Compression (definition). In 35DNCV14M4/e1, definition 2.2

History

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

EQ9EWX33J9 EQ9EWX33J9

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

Mentions

arxiv: arXiv 2610.11902#H2S7 (statement). In K66QKM4N5E/e1, lemma 3.24

History

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

Katherine Puckett Layton EQ9MP92RHJ

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

Mentions

wikipedia: Wikipedia Katherine Puckett Layton, Katherine Puckett Layton (topic). Also Wikidata Q61819796

History

2026-11-02: add by m2/dev

Example EQ9PN1TCND

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

Mentions

wikipedia: Wikipedia Estimator#T3AB, Example (example)

History

2026-11-02: add by m2/dev

EQ9ZWKC666 EQ9ZWKC666

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

Mentions

arxiv: arXiv 2609.20531#NL7L (statement)

History

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

EQAAXJ8CSK EQAAXJ8CSK

URI	`m2://inv/EQAAXJ8CSK`
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 2403.01959#ZQTY (statement). In 5YMNGJRC6Y/e1, proposition 3.8

History

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

EQACN5D69B EQACN5D69B

URI	`m2://inv/EQACN5D69B`
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.24845#ZS56 (definition)

History

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

EQAXT9SEV6 EQAXT9SEV6

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

Mentions

arxiv: arXiv 2610.14060#RHKP (statement). In X47RYAZF8P/e1, lemma 5.20

History

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

John Smillie EQB439HWAH

URI	`m2://inv/EQB439HWAH`
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#4VH9, John Smillie (topic)

History

2026-11-02: add by m2/dev

Ralph Strode EQB57YAVCZ

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

Mentions

wikipedia: Wikipedia List of logicians#PSZJ, Ralph Strode (unknown)

History

2026-11-02: add by m2/dev

EQB5C7Z8GB EQB5C7Z8GB

URI	`m2://inv/EQB5C7Z8GB`
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 2304.02722#4XMB (definition). In AH7D55D3WV/e1, definition 7.1

History

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

EQB8BK06NN EQB8BK06NN

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

Mentions

arxiv: arXiv 2609.26340#N7LT (statement)

History

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

Elliptic complex EQBAYXPV27

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#SQLK, Elliptic complex (definition)

History

2026-11-02: add by m2/dev

Local recovery of one parameter EQBH8F9VXZ

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

Mentions

arxiv: arXiv 2112.14455#PPHZ, Local recovery of one parameter (statement). In VDE5R8HBS1/e1, theorem 1.1

History

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

Hodge decomposition EQBKSGGD75

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

Mentions

wikipedia: Wikipedia Hodge theory#X6YQ, Hodge decomposition (unknown)

History

2026-11-02: add by m2/dev

Laplacian comparison for the squared distance EQBP7GRS7B

URI	`m2://inv/EQBP7GRS7B`
Kind	statement
Layer	research
MSC	35-XX, 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 2204.04317#JA1H, Laplacian comparison for the squared distance (statement). In 49V3ANDZTY/e1, theorem 4.6

History

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

EQBVYAASPV EQBVYAASPV

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

Mentions

arxiv: arXiv 2610.16060#VNFA (statement). In X0BTF9HPGM/e1, lemma 3.10

History

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

Graphics software EQBX31FXA4

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#AINF, Graphics software (unknown)

History

2026-11-02: add by m2/dev

EQBZAK02TT EQBZAK02TT

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

Mentions

napkin: napkin tex/calculus/taylor.tex#definition-3 (definition). In RZP28ERRZV, definition, section 34.4

History

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

Examples EQC5JKMQDY

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

Mentions

wikipedia: Wikipedia Exact sequence#IBRL, Examples (example)

History

2026-11-02: add by m2/dev

Weighting pattern EQCNZTVGZ1

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

Mentions

wikipedia: Wikipedia Weighting pattern, Weighting pattern (definition). Also Wikidata Q7979911

History

2026-11-02: add by m2/dev

ADMB EQCTVJE7JA

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#ABIQ, ADMB (definition)

History

2026-11-02: add by m2/dev

Unit commitment problem in electrical power production EQD0GWSN2A

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

Mentions

wikipedia: Wikipedia Unit commitment problem in electrical power production, Unit commitment problem in electrical power production (problem). Also Wikidata Q25303992

History

2026-11-02: add by m2/dev

induction EQD252MRBE

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

Mentions

wikipedia: Wikipedia Glossary of logic#0G7I, induction (definition)

History

2026-11-02: add by m2/dev

stochastic EQDES1RK1B

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

Mentions

wikidata: Wikidata Q1071239, stochastic (unknown). Also MathWorld Stochastic
wikipedia: Wikipedia Stochastic, Stochastic (definition). Also Wikidata Q1071239

History

2026-10-26: add by m2/dev

Definition EQDQD3M1JG

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

Mentions

wikipedia: Wikipedia Dimensional operator#WLVF, Definition (definition)

History

2026-11-02: add by m2/dev

EQE604EDMN EQE604EDMN

URI	`m2://inv/EQE604EDMN`
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 2103.08272#XI0J (statement). In H72E12TYHA/e1, theorem 1.1

History

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

Weighted quantile estimate EQE897QX04

URI	`m2://inv/EQE897QX04`
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.12740#QSQY, Weighted quantile estimate (statement). In HKYRZSZPEC/e1, lemma 4.5

History

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

EQEA1KPDMF EQEA1KPDMF

URI	`m2://inv/EQEA1KPDMF`
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-30 (exercise). In E9HS8K3A52, exercise, section 5.3.5

History

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

EQEPWAZVC6 EQEPWAZVC6

URI	`m2://inv/EQEPWAZVC6`
Kind	statement
Layer	research
MSC	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 2610.09812#KDZR (statement). In NWWKD8YX57/e1, lemma 2.4

History

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

Jellium $=$ UEG EQEVFVPB7Q

URI	`m2://inv/EQEVFVPB7Q`
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.20910#FVJS, Jellium $=$ UEG (statement). In CETHKW9EBV/e1, theorem 3.1

History

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

Deborah Nadoolman Landis EQF2HDD80V

URI	`m2://inv/EQF2HDD80V`
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#U68I, Deborah Nadoolman Landis (unknown)

History

2026-11-02: add by m2/dev

Item analysis EQF3GRXEG9

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

Mentions

wikipedia: Wikipedia Item analysis, Item analysis (definition). Also Wikidata Q1669245

History

2026-11-02: add by m2/dev

finite convergence and fixed points of AM EQF5K9A0G5

URI	`m2://inv/EQF5K9A0G5`
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.10408#RBJM, finite convergence and fixed points of AM (statement). In H976NYKBNT/e1, proposition 12

History

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

EQF6F77TX1 EQF6F77TX1

URI	`m2://inv/EQF6F77TX1`
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 2610.09739#0SNG (statement). In ZYNZ95FSFD/e1, proposition 4.5

History

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

Problem EQFAA8YKEX

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

Mentions

wikipedia: Wikipedia Compatibility (mechanics)#NJSG, Problem (problem)

History

2026-11-02: add by m2/dev

Definition 1 EQFEQYMMV0

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

Mentions

wikipedia: Wikipedia Perron–Frobenius theorem#OO9S, Definition 1 (definition)

History

2026-11-02: add by m2/dev

The $n$-th Gram discriminant EQFPNBNF17

URI	`m2://inv/EQFPNBNF17`
Kind	definition
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 2406.06548#4MJQ, The $n$-th Gram discriminant (definition). In SCC2N3WNYE/e1, definition Definition

History

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

Kumaraswamy distribution EQFS2F800K

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

Mentions

wikipedia: Wikipedia List of statistics articles#BYHK, Kumaraswamy distribution (definition)

History

2026-11-02: add by m2/dev

commutator EQFXQTC734

URI	`m2://inv/EQFXQTC734`
Kind	definition
Layer	textbook
Sources	1
Outcome	deferred (the item has its own article, page 7193)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of group theory#9ZGS, commutator (definition)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

Linear temporal logic EQFZKSMHGN

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

Mentions

wikipedia: Wikipedia Linear temporal logic, Linear temporal logic (definition). Also Wikidata Q1536492

History

2026-11-02: add by m2/dev

EQG3RVXG0J EQG3RVXG0J

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

Mentions

lebl_scv: lebl_scv scv.tex#example-1 (example). In VNMV985MXX, example, section 1.2

History

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

NemID EQG944PQHG

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

Mentions

wikipedia: Wikipedia NemID, NemID (definition). Also Wikidata Q4993263

History

2026-11-02: add by m2/dev

semisimple EQGE47QEYN

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

Mentions

wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#IBR1, semisimple (definition)

History

2026-11-02: add by m2/dev

Theorem EQGESBZQG9

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

Mentions

wikipedia: Wikipedia Justesen code#ECHN, Theorem (statement)

History

2026-11-02: add by m2/dev

Ruzsa covering lemma EQGHGGZJC1

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

Mentions

mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Ruzsa covering lemma, Ruzsa covering lemma (unknown). Also Mathlib Set.ruzsa_covering_add

History

2026-10-26: add by m2/dev

Hexadecahedron EQGJ4XTSVG

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

Mentions

wikipedia: Wikipedia Hexadecahedron, Hexadecahedron (object). Also Wikidata Q10904534

History

2026-11-02: add by m2/dev

EQGM6P7J2J EQGM6P7J2J

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

Mentions

arxiv: arXiv 2610.13392#G7AE (statement). In 2FVND41HVS/e1, lemma 5.3

History

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

EQGNMWKW63 EQGNMWKW63

URI	`m2://inv/EQGNMWKW63`
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.15792#BFXG (statement). In YGBX34HPA9/e1, proposition 4.1

History

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

Enriched realization base change EQGPKP6R2H

URI	`m2://inv/EQGPKP6R2H`
Kind	statement
Layer	research
MSC	14-XX, 53-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 2609.28220#3SDC, Enriched realization base change (statement)

History

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

EQGWHXCD6Z EQGWHXCD6Z

URI	`m2://inv/EQGWHXCD6Z`
Kind	statement
Layer	research
MSC	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 2201.10697#B5KP (statement). In WN2Z20ZV49/e1, theorem 3.1

History

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

Definitions EQGYMS0AAE

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

Mentions

wikipedia: Wikipedia Spinor genus#YWB0, Definitions (definition)

History

2026-11-02: add by m2/dev

EQGYVG6HYD EQGYVG6HYD

URI	`m2://inv/EQGYVG6HYD`
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 2609.20522#HL8F (statement)

History

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

EQGZV9NJ0G EQGZV9NJ0G

URI	`m2://inv/EQGZV9NJ0G`
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.25100#LJY7 (statement)

History

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

Related results EQH0Y8VW4A

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

Mentions

wikipedia: Wikipedia Closed graph theorem (functional analysis)#5QJ9, Related results (statement)

History

2026-11-02: add by m2/dev

EQH58HVSJF EQH58HVSJF

URI	`m2://inv/EQH58HVSJF`
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.08288#ARSE (statement). In CHVWYJM7RM/e1, lemma 4.11

History

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

Gustav Elfving EQH6B729HQ

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

Mentions

wikipedia: Wikipedia Gustav Elfving, Gustav Elfving (topic). Also Wikidata Q4351970

History

2026-11-02: add by m2/dev

Categorical quantum mechanics EQH8J17FZ0

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

Mentions

wikipedia: Wikipedia Categorical quantum mechanics, Categorical quantum mechanics (definition). Also Wikidata Q5051814

History

2026-11-02: add by m2/dev

David Gilbarg EQHGZDRF0E

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#TAKM, David Gilbarg (topic)

History

2026-11-02: add by m2/dev

EQHH09NNN5 EQHH09NNN5

URI	`m2://inv/EQHH09NNN5`
Kind	statement
Layer	research
MSC	49-XX, 65-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.38741#Q77N (statement). In 1SQH3PTYMD/e1, theorem 1

History

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

Conway puzzle EQHHEHYQ5E

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

Mentions

wikidata: Wikidata Q1130010, Conway puzzle (unknown). Also MathWorld ConwayPuzzle
wikipedia: Wikipedia Conway puzzle, Conway puzzle (problem). Also Wikidata Q1130010

History

2026-10-26: add by m2/dev

EQHR7NPAHN EQHR7NPAHN

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

Mentions

arxiv: arXiv 2609.20028#1V70 (definition)

History

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

Properties EQHSQ4CKP6

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

Mentions

wikipedia: Wikipedia Markov chain#2FID, Properties (statement)

History

2026-11-02: add by m2/dev

EQHWJ4WPVZ EQHWJ4WPVZ

URI	`m2://inv/EQHWJ4WPVZ`
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 2404.18690#NVNR (statement). In MDCJJJRQ2X/e1, lemma 2.4

History

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

University Statisticians of the Southern Experiment Stations EQHXGDK583

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

Mentions

wikipedia: Wikipedia List of academic statistical associations#EXVL, University Statisticians of the Southern Experiment Stations (definition)

History

2026-11-02: add by m2/dev

Examples EQHZDD15D3

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

Mentions

wikipedia: Wikipedia Freshman's dream#N3LQ, Examples (example)

History

2026-11-02: add by m2/dev

Lossy rank condensers over arbitrary finite fields EQJ7578S07

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

Mentions

arxiv: arXiv 2609.32834#OJ9V, Lossy rank condensers over arbitrary finite fields (statement). In N4M6B8EMCW/e1, corollary 4.8

History

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

Mean value theorem EQJ84CFDVA

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

Mentions

wikipedia: Wikipedia List of real analysis topics#U2VL, Mean value theorem (statement)

History

2026-11-02: add by m2/dev

EQJA4AJ9C6 EQJA4AJ9C6

URI	`m2://inv/EQJA4AJ9C6`
Kind	statement
Layer	research
MSC	05-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 2411.00562#YKH8 (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm

History

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

EQJVKZGJYQ EQJVKZGJYQ

URI	`m2://inv/EQJVKZGJYQ`
Kind	conjecture
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.26745#XDPU (conjecture)

History

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

Markus Kuhn EQJWE8QE9S

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#T1HP, Markus Kuhn (unknown)

History

2026-11-02: add by m2/dev

Theorem EQJWR5GSQD

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

Mentions

wikipedia: Wikipedia Baker–Campbell–Hausdorff formula#0PWZ, Theorem (statement)

History

2026-11-02: add by m2/dev

EQJXVB39QB EQJXVB39QB

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

Mentions

arxiv: arXiv 2610.22074#NXTX (definition). In F3BKXXPR3K/e1, definition 3.29

History

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

List of formal systems EQK0D2617F

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

Mentions

wikipedia: Wikipedia List of formal systems, List of formal systems (topic). Also Wikidata Q6621081

History

2026-11-02: add by m2/dev

EQK2KF3E2P EQK2KF3E2P

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

Mentions

hott_book: hott_book categories.tex#proof-22 (proof). In N54F33XE07, proof, section 2.5

History

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

Frans van Schooten EQK3GRBM8G

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

Mentions

wikipedia: Wikipedia Frans van Schooten, Frans van Schooten (topic). Also Wikidata Q767210

History

2026-11-02: add by m2/dev

Symmetric closure EQK6BEM8TP

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

Mentions

wikipedia: Wikipedia Symmetric closure, Symmetric closure (definition). Also Wikidata Q194221

History

2026-11-02: add by m2/dev

New Mersenne conjecture EQKFJ5453T

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#HTO4, New Mersenne conjecture (conjecture)

History

2026-11-02: add by m2/dev

Tightness EQKFSN863K

URI	`m2://inv/EQKFSN863K`
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.27908#FF4U, Tightness (statement)

History

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

Incomparability of $S$ and $C$ EQKKWB695G

URI	`m2://inv/EQKKWB695G`
Kind	example
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.26776#GZEY, Incomparability of $S$ and $C$ (example)

History

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

Instability around a fixed nonzero electric trajectory EQKQ2MQAZZ

URI	`m2://inv/EQKQ2MQAZZ`
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.24962#SH5K, Instability around a fixed nonzero electric trajectory (statement)

History

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

Well-posedness EQKQMJ0G12

URI	`m2://inv/EQKQMJ0G12`
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.14988#SBOW, Well-posedness (statement). In B29M4E6KGC/e1, proposition H.2

History

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

Strict homothetic contractions EQM5S30RCS

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

Mentions

arxiv: arXiv 2609.38228#5P9E, Strict homothetic contractions (statement). In 9YAE8FNQST/e1, theorem 11.3

History

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

Derived monoidal trace EQM6XWA265

URI	`m2://inv/EQM6XWA265`
Kind	definition
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#ZV05, Derived monoidal trace (definition)

History

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

EQM7P2V4HG EQM7P2V4HG

URI	`m2://inv/EQM7P2V4HG`
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.09672#HJCQ (statement). In TXBXCPP0QH/e1, lemma 41

History

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

George Lasry EQMD8DPBNQ

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

Mentions

wikipedia: Wikipedia George Lasry, George Lasry (topic). Also Wikidata Q104581190

History

2026-11-02: add by m2/dev

Chebyshev's sum inequality EQMJ3SQTYD

URI	`m2://inv/EQMJ3SQTYD`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Chebyshev's sum inequality S8X2N1DW8P

Mentions

wikidata: Wikidata Q1428736, Chebyshev's sum inequality (statement). Also MathWorld ChebyshevSumInequality
wikipedia: Wikipedia Chebyshev's sum inequality, Chebyshev's sum inequality (statement). Also Wikidata Q1428736

History

2026-10-26: add by m2/dev

Tobias Dantzig EQMN0T36K2

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

Mentions

wikipedia: Wikipedia Tobias Dantzig, Tobias Dantzig (topic). Also Wikidata Q3290663

History

2026-11-02: add by m2/dev

EQMTJGA3GX EQMTJGA3GX

URI	`m2://inv/EQMTJGA3GX`
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.25912#RX3G (statement)

History

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

wild number EQMVH63GYD

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

Mentions

wikidata: Wikidata Q25305116, wild number (object). Also OEIS A058883

History

2026-10-26: add by m2/dev

EQMW2H7NN5 EQMW2H7NN5

URI	`m2://inv/EQMW2H7NN5`
Kind	statement
Layer	research
MSC	30-XX, 32-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.19812#L0AB (statement). In ZS89RH18QM/e1, proposition 15

History

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

Example EQMWTRMN6H

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

Mentions

wikipedia: Wikipedia Direct image functor#YXRA, Example (example)

History

2026-11-02: add by m2/dev

Unstopped pair contraction EQMZTK68TM

URI	`m2://inv/EQMZTK68TM`
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.21268#ZY5F, Unstopped pair contraction (statement). In 9W2YX5X4AX/e1, lemma 3.5

History

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

EQN7BN1K99 EQN7BN1K99

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-7 (statement). In VNMV985MXX, thm, section 1.3

History

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

minimal tensor product EQNJ8VECQE

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

Mentions

mathlib_overview: mathlib_overview Geometry > Convex geometry > minimal tensor product, minimal tensor product (unknown). Also Mathlib PointedCone.minTensorProduct

History

2026-10-26: add by m2/dev

EQNW0B6Z0G EQNW0B6Z0G

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

Mentions

arxiv: arXiv 2609.20656#DUW6 (example)

History

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

EQNXHC11R2 EQNXHC11R2

URI	`m2://inv/EQNXHC11R2`
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.39505#0TAL (statement). In WAXS6FS388/e1, lemma 4.16

History

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

EQP0M81Q5C EQP0M81Q5C

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

Mentions

arxiv: arXiv 2609.27295#4H2V (statement)

History

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

EQPE1SZF5Z EQPE1SZF5Z

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 19.14

History

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

Paul Colichman EQPJNA33YK

URI	`m2://inv/EQPJNA33YK`
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#38C4, Paul Colichman (unknown)
wikipedia: Wikipedia List of University of California, Los Angeles people#O76Q, Paul Colichman (unknown)

History

2026-11-02: add by m2/dev

Results EQPKXTR7X5

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

Mentions

wikipedia: Wikipedia National Resident Matching Program#3JYY, Results (statement)

History

2026-11-02: add by m2/dev

Gluing axiom EQPM9R6RKQ

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

Mentions

wikipedia: Wikipedia Gluing axiom, Gluing axiom (statement). Also Wikidata Q5572389

History

2026-11-02: add by m2/dev

EQPT6JHMM8 EQPT6JHMM8

URI	`m2://inv/EQPT6JHMM8`
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 2609.21972#QWJ5 (statement)

History

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

Sierpiński EQQ5WPEYDP

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

Mentions

wikipedia: Wikipedia Glossary of set theory#V252, Sierpiński (definition)

History

2026-11-02: add by m2/dev

the GPU the ranking reverses between machines EQQ6RFZ469

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

Mentions

arxiv: arXiv 2609.29554#4QJ2, the GPU the ranking reverses between machines (unknown)

History

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

EQQ6VCYP2Y EQQ6VCYP2Y

URI	`m2://inv/EQQ6VCYP2Y`
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.12736#GJB3 (statement). In 5350Q52F6P/e1, lemma 4.4

History

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

Results EQQ8CV3DBT

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

Mentions

wikipedia: Wikipedia L(R)#STBR, Results (statement)

History

2026-11-02: add by m2/dev

Phyllis Nicolson EQQARBW0D5

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

Mentions

wikipedia: Wikipedia Phyllis Nicolson, Phyllis Nicolson (topic). Also Wikidata Q450388

History

2026-11-02: add by m2/dev

EQQF54BK7A EQQF54BK7A

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

Mentions

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

History

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

Definition EQQJ2H7PMA

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

Mentions

wikipedia: Wikipedia Liouville function#X8B0, Definition (definition)

History

2026-11-02: add by m2/dev

Definition EQQJXX5141

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

Mentions

wikipedia: Wikipedia Average order of an arithmetic function#BOZM, Definition (definition)

History

2026-11-02: add by m2/dev

Hilbert's theorem EQQM7WDSCN

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

Mentions

wikipedia: Wikipedia Ternary quartic#B6HQ, Hilbert's theorem (statement)

History

2026-11-02: add by m2/dev

EQQMZMFNY7 EQQMZMFNY7

URI	`m2://inv/EQQMZMFNY7`
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.26357#XO1X (statement)

History

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

Andreas Blass EQR5XDSK17

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

Mentions

wikidata: Wikidata Q4755386, Andreas Blass (unknown). Also nLab Andreas Blass
wikipedia: Wikipedia Andreas Blass, Andreas Blass (topic). Also Wikidata Q4755386

History

2026-10-26: add by m2/dev

EQRKD2GACA EQRKD2GACA

URI	`m2://inv/EQRKD2GACA`
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#VUG3 (statement). In 6HJQXZS0A6/e1, proposition 2.8

History

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

Stationarity for tangent maps EQRMXZP0Z2

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

Mentions

arxiv: arXiv 2610.13214#YB77, Stationarity for tangent maps (statement). In 4GRNWWH88J/e1, proposition 2.1

History

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

EQRQCH98RH EQRQCH98RH

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

Mentions

austin_ula: austin_ula src/section3-5.xml#definition-3 (definition). In 649HGZKE96, definition, section 3.5.3

History

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

Definition EQRRE39P8D

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

Mentions

wikipedia: Wikipedia T-norm#EO2K, Definition (definition)

History

2026-11-02: add by m2/dev

EQRX27M8X8 EQRX27M8X8

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

Mentions

arxiv: arXiv 2609.27125#CXTN (statement)

History

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

EQRXGM0BTA EQRXGM0BTA

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-18 (exercise). In QKM9DD2H56, exercise, section 2

History

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

Moderator variable EQRZ5NY4NJ

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

Mentions

wikipedia: Wikipedia List of statistics articles#YQF7, Moderator variable (definition)

History

2026-11-02: add by m2/dev

A cut for the pure-input rank EQS00DPAWX

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

Mentions

arxiv: arXiv 2610.02407#XOJG, A cut for the pure-input rank (statement). In ZZER8ZBSCR/e1, lemma A.1

History

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

Haar projectors EQS1SJ7NN6

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

Mentions

arxiv: arXiv 2609.38228#YIAD, Haar projectors (statement). In 9YAE8FNQST/e1, corollary 22.9

History

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

Notices of the American Mathematical Society EQS559Q1R1

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

Mentions

wikidata: Wikidata Q24158, Notices of the American Mathematical Society (unknown). Also ProofWiki Book:Journal/Notices_of_the_American_Mathematical_Society
wikipedia: Wikipedia Notices of the American Mathematical Society, Notices of the American Mathematical Society (definition). Also Wikidata Q24158

History

2026-10-26: add by m2/dev

Type (model theory) EQS9QYJZJV

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#KHNJ, Type (model theory) (definition)

History

2026-11-02: add by m2/dev

EQSBQ8W2PG EQSBQ8W2PG

URI	`m2://inv/EQSBQ8W2PG`
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 2404.00077#3IMF (statement). In 25WX007DJ1/e1, theorem 4

History

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

Heisenberg limit EQSKPJYH2P

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

Mentions

wikipedia: Wikipedia Uncertainty principle#S3MW, Heisenberg limit (unknown)

History

2026-11-02: add by m2/dev

Corner transfer matrix EQT16S1VJG

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

Mentions

wikipedia: Wikipedia Corner transfer matrix, Corner transfer matrix (definition). Also Wikidata Q5171639

History

2026-11-02: add by m2/dev

Properties EQTHTW5G5J

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

Mentions

wikipedia: Wikipedia Faxén integral#TF9T, Properties (statement)

History

2026-11-02: add by m2/dev

EQTQ54ZJBC EQTQ54ZJBC

URI	`m2://inv/EQTQ54ZJBC`
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.01247#ZUEG (definition). In 6EVNCRZ118/e1, definition 8

History

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

Andrzej Mostowski EQTSBX4F85

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#NUTN, Andrzej Mostowski (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DZXZ, Andrzej Mostowski (topic)

History

2026-11-02: add by m2/dev

EQTYNXPV7W EQTYNXPV7W

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/EquivalenceRelations.tex#problem-7 (exercise). In P1C114YBXG, problem, section A

History

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

Path-based strong component algorithm EQTYQ4VGNN

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

Mentions

wikipedia: Wikipedia Path-based strong component algorithm, Path-based strong component algorithm (definition). Also Wikidata Q7144620

History

2026-11-02: add by m2/dev

Lemma EQVM31VF85

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

Mentions

wikipedia: Wikipedia Permutation polynomial#9SO4, Lemma (statement)

History

2026-11-02: add by m2/dev

Lucian Ilie EQVTSNREMC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1QQR, Lucian Ilie (unknown)

History

2026-11-02: add by m2/dev

EQVVDP0VQ1 EQVVDP0VQ1

URI	`m2://inv/EQVVDP0VQ1`
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.21036#A170 (statement). In G0M4N3E0CG/e1, lemma 3.12

History

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

Main theorem, informal form EQVVN8NKDG

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

Mentions

arxiv: arXiv 2609.20197#8SYG, Main theorem, informal form (statement)

History

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

symmetric EQW5349TV2

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#9BR8, symmetric (definition)

History

2026-11-02: add by m2/dev

EQW5MS21VH EQW5MS21VH

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

Mentions

arxiv: arXiv 2610.20672#UZRJ (statement). In ZD0RCDSQ61/e1, proposition 1

History

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

P. S. Novikov EQW6QKGRAZ

URI	`m2://inv/EQW6QKGRAZ`
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#L7K3, P. S. Novikov (topic)

History

2026-11-02: add by m2/dev

EQW7S4FGBJ EQW7S4FGBJ

URI	`m2://inv/EQW7S4FGBJ`
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 2206.05392#08RM (statement). In 58D1ZC82DW/e1, proposition 25

History

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

EQW926WAAA EQW926WAAA

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

Mentions

arxiv: arXiv 2609.20894#YR5W (statement)

History

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

EQW9FB672B EQW9FB672B

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

Mentions

arxiv: arXiv 2609.35642#WNVS (statement). In D905BX98TP/e1, corollary 4.5

History

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

Ankeny–Artin–Chowla theorem EQWCVPRMET

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

Mentions

wikipedia: Wikipedia List of theorems#LLUY, Ankeny–Artin–Chowla theorem (unknown)

History

2026-11-02: add by m2/dev

Representation theorem EQWERM9G4Q

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

Mentions

wikipedia: Wikipedia Stone's representation theorem for Boolean algebras#TOYE, Representation theorem (statement)

History

2026-11-02: add by m2/dev

EQWGDVSZW4 EQWGDVSZW4

URI	`m2://inv/EQWGDVSZW4`
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.12413#H6DV (definition). In 6EJ8J60SP8/e1, definition 8

History

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

At most one dominant breakpoint EQWJBFFEP4

URI	`m2://inv/EQWJBFFEP4`
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.12271#L2CI, At most one dominant breakpoint (statement). In WGCET6KSQ7/e1, lemma 9

History

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

George F. D. Duff EQWWJ00EE9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#T5LZ, George F. D. Duff (topic)

History

2026-11-02: add by m2/dev

Christian Bär EQX1CW2Y2Q

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

Mentions

wikipedia: Wikipedia Christian Bär, Christian Bär (topic). Also Wikidata Q1079111

History

2026-11-02: add by m2/dev

EQX3EZX0DZ EQX3EZX0DZ

URI	`m2://inv/EQX3EZX0DZ`
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.25291#OKM6 (statement)

History

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

The shell estimate EQX91EDE1F

URI	`m2://inv/EQX91EDE1F`
Kind	statement
Layer	research
MSC	03-XX, 46-XX, 54-XX, 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.20683#SK3K, The shell estimate (statement)

History

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

Property B EQXH8H1GK7

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#8AZO, Property B (definition)

History

2026-11-02: add by m2/dev

EQXQZ4FPE8 EQXQZ4FPE8

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

Mentions

arxiv: arXiv 2610.21732#QHLM (definition). In 6DJDRXDQNB/e1, definition A.1

History

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

Numerical semigroup EQY150WTM9

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

Mentions

wikipedia: Wikipedia Numerical semigroup, Numerical semigroup (definition). Also Wikidata Q7069664

History

2026-11-02: add by m2/dev

Definition EQY4SQTKA6

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

Mentions

wikipedia: Wikipedia Second quantization#9Y94, Definition (definition)

History

2026-11-02: add by m2/dev

Properties EQYD3X3Z6F

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

Mentions

wikipedia: Wikipedia Lute of Pythagoras#QZST, Properties (statement)

History

2026-11-02: add by m2/dev

EQYGDBH51H EQYGDBH51H

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

Mentions

arxiv: arXiv 1903.07030#W8U9 (definition). In 9H45HQE7AZ/e1, definition 3.29

History

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

EQYJ61AV02 EQYJ61AV02

URI	`m2://inv/EQYJ61AV02`
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.33578#E510 (statement). In 3XTDDKY6YE/e1, proposition 2.5

History

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

False positive error EQYPE99ET0

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

Mentions

wikipedia: Wikipedia False positives and false negatives#8QFI, False positive error (unknown)

History

2026-11-02: add by m2/dev

EQYRA3W34X EQYRA3W34X

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

Mentions

hott_book: hott_book hits.tex#thm:ap-sigma-rect-path-pair (statement). In N54F33XE07, lem, section 5.12

History

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

EQYYZKMQGZ EQYYZKMQGZ

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

Mentions

arxiv: arXiv 2610.02756#2T7N (example). In GCQ5YCQQHD/e1, example 3.4

History

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

EQZ0AHGF1Q EQZ0AHGF1Q

URI	`m2://inv/EQZ0AHGF1Q`
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 2604.23212#V36C (statement). In 4X12V9RS0D/e1, theorem 4.2

History

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

Polly Sy EQZ3XR5VWT

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

Mentions

wikipedia: Wikipedia Polly Sy, Polly Sy (topic). Also Wikidata Q67200564

History

2026-11-02: add by m2/dev

Permutation representation EQZ879K1BH

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

Mentions

wikipedia: Wikipedia List of representation theory topics#MIUN, Permutation representation (definition)

History

2026-11-02: add by m2/dev

EQZADQFF30 EQZADQFF30

URI	`m2://inv/EQZADQFF30`
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.18329#8WFR (definition). In 3VWEPEFHN3/e1, definition 2.1

History

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

EQZAV14RGB EQZAV14RGB

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

Mentions

arxiv: arXiv 2609.39747#TZQ5 (statement). In 9H2KJ3W3JX/e1, lemma 7

History

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

A {\bf \texorpdfstring{$(3,3,\{X_i\}_{i\in[3]},$ $\{\mathbf{X}_{[3]}^{\top}\mathbf{V}_i\}_{i\in[3]})$} linear computation broadcast model EQZF2D8QQR

URI	`m2://inv/EQZF2D8QQR`
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 2610.08202#RPE0, A {\bf \texorpdfstring{$(3,3,\{X_i\}_{i\in[3]},$ $\{\mathbf{X}_{[3]}^{\top}\mathbf{V}_i\}_{i\in[3]})$} linear computation broadcast model (example). In N7XJ16700B/e1, example 2

History

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

Surface of genus g EQZG7B7CGA

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

Mentions

wikipedia: Wikipedia List of manifolds#WBZ3, Surface of genus g (definition)

History

2026-11-02: add by m2/dev

\texttt{coal\_below\_of\_cert EQZGSDEQVM

URI	`m2://inv/EQZGSDEQVM`
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.22298#WSKZ, \texttt{coal\_below\_of\_cert (statement)

History

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

Examples EQZKFYX15S

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

Mentions

wikipedia: Wikipedia List of general topology topics#JFEN, Examples (example)

History

2026-11-02: add by m2/dev

Definition EQZKWTK01Z

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

Mentions

wikipedia: Wikipedia Coherent set of characters#TRY6, Definition (definition)

History

2026-11-02: add by m2/dev

EQZQFC04VJ EQZQFC04VJ

URI	`m2://inv/EQZQFC04VJ`
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.02213#ZG6U (statement). In 43B5W08GMR/e1, lemma 3.1

History

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

pentagonal number theorem EQZRV30AWS

URI	`m2://inv/EQZRV30AWS`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	4
Outcome	open
Node	Pentagonal number theorem PMYDHW00KF

Mentions

mathlib_1000: mathlib_1000 Q282649, Pentagonal number theorem (statement). Also Mathlib PowerSeries.WithPiTopology.hasProd_one_sub_X_pow, Mathlib hasProd_eulerFunction, Wikidata Q282649
thousand_plus: thousand_plus Q282649, Pentagonal number theorem (statement). Also Wikidata Q282649, Wikipedia Pentagonal number theorem
wikidata: Wikidata Q282649, pentagonal number theorem (statement). Also MathWorld PentagonalNumberTheorem
wikipedia: Wikipedia Pentagonal number theorem, Pentagonal number theorem (statement). Also Wikidata Q282649

History

2026-10-26: add by m2/dev

EQZS92KEQX EQZS92KEQX

URI	`m2://inv/EQZS92KEQX`
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.26496#3BOE (statement)

History

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

Examples EQZVAW6C27

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

Mentions

wikipedia: Wikipedia Moufang loop#GMEU, Examples (example)

History

2026-11-02: add by m2/dev

Moving endpoints EQZYNA0TD7

URI	`m2://inv/EQZYNA0TD7`
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.02531#4S1I, Moving endpoints (statement). In 44EQ0MZE8G/e1, lemma 9.1

History

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