Inventory rows MM

Elliptic complex MM04R5G0CG

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

Mentions

wikipedia: Wikipedia Elliptic complex, Elliptic complex (definition). Also Wikidata Q5365791

History

2026-11-02: add by m2/dev

Reception and criticism of WhatsApp security and privacy features MM0H133X18

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

Mentions

wikipedia: Wikipedia Reception and criticism of WhatsApp security and privacy features, Reception and criticism of WhatsApp security and privacy features (definition). Also Wikidata Q42266739

History

2026-11-02: add by m2/dev

Uniform large-shift estimate MM0JZMERQV

URI	`m2://inv/MM0JZMERQV`
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.30274#GEHK, Uniform large-shift estimate (statement). In 6ASPPVJP5M/e1, lemma 15

History

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

MM0Q9PZXYB MM0Q9PZXYB

URI	`m2://inv/MM0Q9PZXYB`
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#G08X (statement). In 5350Q52F6P/e1, corollary 4.1

History

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

Definition MM0R1P1Q8A

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

Mentions

wikipedia: Wikipedia Incomplete LU factorization#J3ZI, Definition (definition)

History

2026-11-02: add by m2/dev

Theorem MM0T18PP1T

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

Mentions

wikipedia: Wikipedia Poincaré–Birkhoff–Witt theorem#AY8V, Theorem (statement)

History

2026-11-02: add by m2/dev

type, coproduct MM0T2BJP3S

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

Mentions

hott_book: hott_book index/A.8/type-coproduct, type, coproduct (concept). In N54F33XE07, index, section A.8

History

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

MM0TB4R4GS MM0TB4R4GS

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

Mentions

arxiv: arXiv 2303.14022#EURK (definition). In NSYR6W27FP/e1, definition 4.5

History

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

MM0TT61PR5 MM0TT61PR5

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

Mentions

arxiv: arXiv 2609.24509#Q5BF (statement)

History

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

two-term decomposition, Bernstein MM0X2AXM7V

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

Mentions

arxiv: arXiv 2609.39511#NCVF, two-term decomposition, Bernstein (statement). In 6W9H24A378/e1, corollary 9

History

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

Test function MM0Z7Z1580

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

Mentions

wikipedia: Wikipedia Test function, Test function (definition). Also Wikidata Q139464164

History

2026-11-02: add by m2/dev

Lukas Foss MM14901XCM

URI	`m2://inv/MM14901XCM`
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#V558, Lukas Foss (unknown)

History

2026-11-02: add by m2/dev

MM153XQW38 MM153XQW38

URI	`m2://inv/MM153XQW38`
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.32977#EWSY (statement). In 4KT9TK3MG4/e1, lemma C.3

History

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

Zome MM166GDZQQ

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

Mentions

wikidata: Wikidata Q3575719, Zome (unknown). Also MathWorld Zome
wikipedia: Wikipedia Zometool, Zometool (definition). Also Wikidata Q3575719

History

2026-10-26: add by m2/dev

Almost convergent sequence MM168CYEN9

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

Mentions

wikipedia: Wikipedia Almost convergent sequence, Almost convergent sequence (definition). Also Wikidata Q4734003

History

2026-11-02: add by m2/dev

MM1EE501KA MM1EE501KA

URI	`m2://inv/MM1EE501KA`
Kind	definition
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 2610.03619#APJF (definition). In 7SRERSS1PF/e1, definition 3.1

History

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

Hexagon MM1G46CFS9

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#BODU, Hexagon (definition)

History

2026-11-02: add by m2/dev

Indian mathematics MM1KBBTD6Z

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

Mentions

wikipedia: Wikipedia List of mathematics history topics#NZPM, Indian mathematics (definition)

History

2026-11-02: add by m2/dev

Cantor space MM22S5T2CP

URI	`m2://inv/MM22S5T2CP`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Cantor space W9VYJRBF9N

Mentions

wikidata: Wikidata Q616653, Cantor space (unknown). Also nLab Cantor space
wikipedia: Wikipedia Cantor space, Cantor space (definition). Also Wikidata Q616653

History

2026-10-26: add by m2/dev

Easy MM27HHFTAR

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise:strongerratiotest1, Easy (exercise). In E59CDZA4DP, exercise, section 10.2.5

History

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

MM2FQFD6AY MM2FQFD6AY

URI	`m2://inv/MM2FQFD6AY`
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 2510.12502#ORW1 (statement). In 3A4K47Y9F2/e1, lemma 5.6

History

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

MM2TAZ60QQ MM2TAZ60QQ

URI	`m2://inv/MM2TAZ60QQ`
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 2303.00676#AJH8 (statement). In 5351H04TJY/e1, proposition 4.8

History

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

MM31CDB6PE MM31CDB6PE

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

Mentions

arxiv: arXiv 2609.24041#3P7Q (statement)

History

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

Statement MM31RHX3GV

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

Mentions

wikipedia: Wikipedia Norm residue isomorphism theorem#3VBH, Statement (statement)

History

2026-11-02: add by m2/dev

MM38A0752A MM38A0752A

URI	`m2://inv/MM38A0752A`
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.13833#YANE (statement). In VD4JP4HVBX/e1, proposition 2.6

History

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

Polynomial-Time Inner PID Syndrome MM3B2B9PQC

URI	`m2://inv/MM3B2B9PQC`
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.37578#JR6Y, Polynomial-Time Inner PID Syndrome (statement). In D7NDCWSDJE/e1, theorem 2

History

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

KeePass MM3HZYW8CP

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

Mentions

wikipedia: Wikipedia KeePass, KeePass (definition). Also Wikidata Q762660

History

2026-11-02: add by m2/dev

MM3MJ0JV9J MM3MJ0JV9J

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

Mentions

arxiv: arXiv 1503.05744#OE0D (definition). In 5XKHZKEGAF/e1, definition 4.1

History

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

MM3VCS00FK MM3VCS00FK

URI	`m2://inv/MM3VCS00FK`
Kind	statement
Layer	research
MSC	46-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 2609.37271#V1G4 (statement). In 9WP2QGKMG8/e1, theorem 1.10

History

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

MM3ZJVFTNV MM3ZJVFTNV

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_seq-arithgeom.ptx#investigation-seqcandy (exercise). In Y91XFCEVHQ, investigation, section 3.2.1

History

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

Examples MM4473BDRJ

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

Mentions

wikipedia: Wikipedia Lambert summation#7S6P, Examples (example)

History

2026-11-02: add by m2/dev

MM45W3H34C MM45W3H34C

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_formal-num-sys.ptx#proof-3 (proof). In QKM9DD2H56, proof, section B.7.1

History

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

Properties MM469YYJDW

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

Mentions

wikipedia: Wikipedia 3#WXV1, Properties (statement)

History

2026-11-02: add by m2/dev

MM49X23PR8 MM49X23PR8

URI	`m2://inv/MM49X23PR8`
Kind	statement
Layer	research
MSC	51-XX, 52-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 2404.14253#SDHF (statement). In R7W38A039X/e1, corollary 5.3

History

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

Properties MM4BWT2R4S

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

Mentions

wikipedia: Wikipedia Dimensional analysis#9MJS, Properties (statement)

History

2026-11-02: add by m2/dev

Logarithmic branch point MM4CCFBR5G

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

Mentions

wikipedia: Wikipedia Branch point#5US3, Logarithmic branch point (unknown)

History

2026-11-02: add by m2/dev

Uniform margin accuracy MM4G0FY5MH

URI	`m2://inv/MM4G0FY5MH`
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.21363#0TXQ, Uniform margin accuracy (statement). In YPH7NS5AAQ/e1, lemma A.1

History

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

Stochastic matrix MM4GPJDK5N

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

Mentions

wikipedia: Wikipedia List of named matrices#MJJ5, Stochastic matrix (definition)

History

2026-11-02: add by m2/dev

MM4X043MKS MM4X043MKS

URI	`m2://inv/MM4X043MKS`
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.21752#2QIK (definition). In E4DJTPKHAX/e1, definition 2.1

History

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

State explosion problem MM52YPGAHP

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

Mentions

wikipedia: Wikipedia Combinatorial explosion#FNIS, State explosion problem (unknown)

History

2026-11-02: add by m2/dev

Special cases MM53DT1FGG

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

Mentions

wikipedia: Wikipedia Kin selection#1Q3B, Special cases (statement)

History

2026-11-02: add by m2/dev

Day, Besse MM54ZFA4GE

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

Mentions

wikipedia: Wikipedia List of statisticians#8EK3, Day, Besse (unknown)

History

2026-11-02: add by m2/dev

MM55996DV9 MM55996DV9

URI	`m2://inv/MM55996DV9`
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.29489#HPRT (statement)

History

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

internal Hom MM55RZWJ1Q

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

Mentions

wikipedia: Wikipedia Glossary of category theory#9YBC, internal Hom (definition)

History

2026-11-02: add by m2/dev

Subadditivity of Value-at-Risk in loss tail MM57PNSDFJ

URI	`m2://inv/MM57PNSDFJ`
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.31345#SF22, Subadditivity of Value-at-Risk in loss tail (statement). In R4MX33WNRX/e1, corollary 3.9

History

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

MM5ETM6T7E MM5ETM6T7E

URI	`m2://inv/MM5ETM6T7E`
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.07099#DJ3M (statement). In 9GNAHRCYFT/e1, lemma 4.1

History

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

MM5GWG0MK5 MM5GWG0MK5

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

Mentions

arxiv: arXiv 2303.14022#1TRZ (definition). In NSYR6W27FP/e1, definition 2.3

History

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

Shannon–Hartley theorem MM5J56MMPD

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

Mentions

wikipedia: Wikipedia List of statistics articles#KSXM, Shannon–Hartley theorem (statement)

History

2026-11-02: add by m2/dev

Shekel function MM5MBTK78Q

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

Mentions

wikipedia: Wikipedia Shekel function, Shekel function (definition). Also Wikidata Q7493249

History

2026-11-02: add by m2/dev

Nearest-neighbor chain algorithm MM5QYYTP9A

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

Mentions

wikipedia: Wikipedia List of statistics articles#T2ZJ, Nearest-neighbor chain algorithm (definition)

History

2026-11-02: add by m2/dev

Square integrability of the optimal adversarial map MM6392RY73

URI	`m2://inv/MM6392RY73`
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.31363#QHLE, Square integrability of the optimal adversarial map (statement). In XB8NYRD86J/e1, lemma D.4

History

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

Definitions MM64A666YA

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

Mentions

wikipedia: Wikipedia Numerical continuation#L8NP, Definitions (definition)

History

2026-11-02: add by m2/dev

MM6BZHW5SB MM6BZHW5SB

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

Mentions

arxiv: arXiv 2609.31445#FSLS (definition). In 7V2PVZS04C/e1, definition 6.1

History

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

Fluid queue MM6FT45GFQ

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

Mentions

wikipedia: Wikipedia Fluid queue, Fluid queue (definition). Also Wikidata Q5462733

History

2026-11-02: add by m2/dev

MM6JAJ341K MM6JAJ341K

URI	`m2://inv/MM6JAJ341K`
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.04809#CLML (statement). In 2VHV0RNTNV/e1, corollary 3.2

History

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

Algorithm MM6NM8J2YD

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

Mentions

wikipedia: Wikipedia Run-length encoding#KJ7D, Algorithm (definition)

History

2026-11-02: add by m2/dev

MM6RCJWF1B MM6RCJWF1B

URI	`m2://inv/MM6RCJWF1B`
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 math/9802134#V5UK (statement). In 235B1J1ETB/e1, lemma 3.4

History

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

MM6Z0XR0AP MM6Z0XR0AP

URI	`m2://inv/MM6Z0XR0AP`
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.03011#PVB2 (statement). In VE8FB6K8EN/e1, proposition 10

History

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

Certainty equivalence MM74Q5JG5Y

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

Mentions

wikipedia: Wikipedia Stochastic control#6JGZ, Certainty equivalence (unknown)

History

2026-11-02: add by m2/dev

MM74WNC3G7 MM74WNC3G7

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

Mentions

napkin: napkin tex/homology/singular.tex#proof-3 (proof). In RZP28ERRZV, proof, section 55.3.2

History

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

Sonnenschein–Mantel–Debreu Theorem MM7BXBK3R9

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

Mentions

wikipedia: Wikipedia List of theorems#Z974, Sonnenschein–Mantel–Debreu Theorem (statement)

History

2026-11-02: add by m2/dev

Properties MM7MHB0K5P

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

Mentions

wikipedia: Wikipedia Čech-to-derived functor spectral sequence#63MR, Properties (statement)

History

2026-11-02: add by m2/dev

Andreotti–Vesentini theorem MM7RMFSHPM

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

Mentions

wikipedia: Wikipedia Andreotti–Vesentini theorem, Andreotti–Vesentini theorem (statement). Also Wikidata Q4756100

History

2026-11-02: add by m2/dev

MM7VJH9QV4 MM7VJH9QV4

URI	`m2://inv/MM7VJH9QV4`
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.24212#WBTD (statement)

History

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

MM847JM9B7 MM847JM9B7

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

Mentions

arxiv: arXiv 2610.22078#2AP4 (statement). In NRF7379N9J/e1, proposition 4.8

History

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

MM84Y87SKW MM84Y87SKW

URI	`m2://inv/MM84Y87SKW`
Kind	example
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#RD9O (example). In V56MKF0KW2/e1, example 3

History

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

Projective contraction of exact Sinkhorn MM866RXS4D

URI	`m2://inv/MM866RXS4D`
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.04264#TDPC, Projective contraction of exact Sinkhorn (statement). In 5YRJ4HGY4N/e1, lemma 4

History

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

Primitive finite-field Gauss-sum identity MM8P8GTAT9

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

Mentions

arxiv: arXiv 2609.30301#F0O4, Primitive finite-field Gauss-sum identity (statement). In 7NS75J7HAM/e1, proposition 6.2

History

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

Stability of matter MM8XNFW3C8

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

Mentions

wikipedia: Wikipedia Stability of matter, Stability of matter (definition). Also Wikidata Q112968598

History

2026-11-02: add by m2/dev

Levi L. Conant MM8YR92HWD

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

Mentions

wikipedia: Wikipedia Levi L. Conant, Levi L. Conant (topic). Also Wikidata Q1565369

History

2026-11-02: add by m2/dev

MM9138ZKZH MM9138ZKZH

URI	`m2://inv/MM9138ZKZH`
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.32903#384Z (definition). In S8NB83KQX3/e1, definition 2

History

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

Fubini version A \footnote{Named after the Italian mathematician \href{https://en.wikipedia.org/wiki/Guido_Fubini}{Guido Fubini} (1879--1943).} MM923FJC8S

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#mv:fubinivA, Fubini version A \footnote{Named after the Italian mathematician \href{https://en.wikipedia.org/wiki/Guido_Fubini}{Guido Fubini} (1879--1943).} (statement). In E59CDZA4DP, thm, section 5.2

History

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

Leibniz University of Hannover MM952XYRZQ

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

Mentions

wikipedia: Wikipedia List of things named after Gottfried Leibniz#ZNBT, Leibniz University of Hannover (unknown)

History

2026-11-02: add by m2/dev

MM95W89TGY MM95W89TGY

URI	`m2://inv/MM95W89TGY`
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.10795#VR69 (statement). In RXPSC74YPT/e1, corollary 3.5

History

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

free intersection MM9BEKKGNN

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#SXEW, free intersection (definition)

History

2026-11-02: add by m2/dev

Shiri Artstein MM9SP92886

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

Mentions

wikipedia: Wikipedia Shiri Artstein, Shiri Artstein (topic). Also Wikidata Q19841973

History

2026-11-02: add by m2/dev

Multi-layer filtered equivariance MM9V5264FW

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

Mentions

arxiv: arXiv 2609.25987#LMOE, Multi-layer filtered equivariance (statement)

History

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

Definition MMA8GM2YRZ

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

Mentions

wikipedia: Wikipedia Lebesgue integral#M2X3, Definition (definition)

History

2026-11-02: add by m2/dev

restate=thmSemiringHomChar,label=thm:characterisation-semiring-homs MMADGH7NEH

URI	`m2://inv/MMADGH7NEH`
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.07927#6P15, restate=thmSemiringHomChar,label=thm:characterisation-semiring-homs (statement). In GKM19DHQTM/e1, theorem 3.3

History

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

circumscribed MMADVQAWQN

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#AMX2, circumscribed (definition)

History

2026-11-02: add by m2/dev

Keller's conjecture MMAHPM85MZ

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

Mentions

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

History

2026-11-02: add by m2/dev

MMAMJ001T0 MMAMJ001T0

URI	`m2://inv/MMAMJ001T0`
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.00339#S81Z (statement). In ZRG6NY1ECH/e1, theorem 34

History

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

Example MMAVHACCX8

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

Mentions

wikipedia: Wikipedia Symbolic method (combinatorics)#NK4H, Example (example)

History

2026-11-02: add by m2/dev

Symmetry MMB414DAZ0

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

Mentions

wikipedia: Wikipedia Field equation#WYKB, Symmetry (statement)

History

2026-11-02: add by m2/dev

MMB6X4XX72 MMB6X4XX72

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

Mentions

arxiv: arXiv 2610.04870#6NN9 (statement). In X765ZXXVC3/e1, theorem 1.4

History

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

Michael MMBBYAQKB3

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

Mentions

wikipedia: Wikipedia List of twin teammates in sports#6K4K, Michael (unknown)

History

2026-11-02: add by m2/dev

MMBDMFM8XW MMBDMFM8XW

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

Mentions

arxiv: arXiv 2610.22268#25PU (definition). In 9ZD87293QS/e1, definition 1.3

History

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

Necessity for prefix equality MMBR5ZD6DJ

URI	`m2://inv/MMBR5ZD6DJ`
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.02843#JNTX, Necessity for prefix equality (statement). In 2XC1KQXA9H/e1, proposition 2

History

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

MMBT0Z7H77 MMBT0Z7H77

URI	`m2://inv/MMBT0Z7H77`
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 2109.12716#0FJX (statement). In 6X76XBE3HV/e1, corollary 5.9

History

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

Definition MMBW3YWTB4

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

Mentions

wikipedia: Wikipedia Maximal and minimal elements#8TAD, Definition (definition)

History

2026-11-02: add by m2/dev

MMBZHN6KHM MMBZHN6KHM

URI	`m2://inv/MMBZHN6KHM`
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 2609.23605#WO4C (statement)

History

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

MMC1SD6CYN MMC1SD6CYN

URI	`m2://inv/MMC1SD6CYN`
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#TKLV (statement). In R68THJCHX6/e1, theorem 3

History

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

Bootstrapping (phylogenetics) MMC27A2T1H

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

Mentions

wikipedia: Wikipedia Computational phylogenetics#WJTP, Bootstrapping (phylogenetics) (unknown)

History

2026-11-02: add by m2/dev

Examples MMC681WYQE

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

Mentions

wikipedia: Wikipedia Exponentiation#YL0K, Examples (example)

History

2026-11-02: add by m2/dev

Paving conjecture reformulation MMCGHTF5B5

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

Mentions

wikipedia: Wikipedia Kadison–Singer problem#4Q9P, Paving conjecture reformulation (statement)

History

2026-11-02: add by m2/dev

MMCMTCNNR5 MMCMTCNNR5

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

Mentions

open_logic: open_logic content/many-valued-logic/syntax-and-semantics/sublogics.tex#prop:mvl-cl (statement). In PKGMM3P5QY, prop, section 41.7

History

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

MMCNTHZXGK MMCNTHZXGK

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

Mentions

arxiv: arXiv 2610.17863#OLNN (statement). In Y8XQT02BBF/e1, theorem 5.5

History

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

MMCQF1JCZ5 MMCQF1JCZ5

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#example-19 (example). In E59CDZA4DP, example, section 4.4.2

History

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

Inverse gambler's fallacy MMCWM04RG5

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

Mentions

wikipedia: Wikipedia List of probability topics#K8HH, Inverse gambler's fallacy (definition)

History

2026-11-02: add by m2/dev

Counting MMD2QREEJH

URI	`m2://inv/MMD2QREEJH`
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.37479#E4VE, Counting (statement). In P3RTT99C41/e1, lemma C.7

History

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

Separation oracle MMD50MF4AT

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

Mentions

wikipedia: Wikipedia Separation oracle, Separation oracle (definition). Also Wikidata Q109381637

History

2026-11-02: add by m2/dev

Formulation MMDA9H3C42

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

Mentions

wikipedia: Wikipedia Geoid#X9F0, Formulation (definition)

History

2026-11-02: add by m2/dev

MMDD6ZZDZ6 MMDD6ZZDZ6

URI	`m2://inv/MMDD6ZZDZ6`
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 2205.09049#YA4D (definition). In 37S7MNMZ2F/e1, definition 16

History

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

affine subspace MMDD7727S9

URI	`m2://inv/MMDD7727S9`
Kind	unknown
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Affine subspace 0FBXFBZBH8

Mentions

mathlib_overview: mathlib_overview Geometry > Affine and Euclidean geometry > affine subspace, affine subspace (unknown). Also Mathlib AffineSubspace
mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > General definitions > affine subspace, affine subspace (unknown). Also Mathlib AffineSubspace

History

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

compactness, Heine-Borel MMDKE7DZEY

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

Mentions

hott_book: hott_book index/B.5/compactness-heine-borel-2, compactness, Heine-Borel (concept). In N54F33XE07, index, section B.5

History

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

MMDN523WPS MMDN523WPS

URI	`m2://inv/MMDN523WPS`
Kind	statement
Layer	research
MSC	05-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.16114#FV1E (statement). In JZZ3FJ382R/e1, lemma 4.1

History

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

MMDQXYAHCW MMDQXYAHCW

URI	`m2://inv/MMDQXYAHCW`
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.11455#YCML (statement). In Z1EBVH5SP1/e1, proposition 8.3

History

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

MMDRVTP9FC MMDRVTP9FC

URI	`m2://inv/MMDRVTP9FC`
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.19658#EKTR (statement). In G00EYA9DXG/e1, theorem 5.1

History

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

Quadratic size--depth tradeoff MME8EMQRCG

URI	`m2://inv/MME8EMQRCG`
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#0M6U, Quadratic size--depth tradeoff (statement). In ZZER8ZBSCR/e1, theorem 1.12

History

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

MMEJYDW3FH MMEJYDW3FH

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

Mentions

arxiv: arXiv 2610.13613#P12N (statement). In 3HCT4TQ5PM/e1, lemma 4.3

History

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

Statement MMESJWEX0M

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

Mentions

wikipedia: Wikipedia Bernstein's theorem (polynomials)#KC3G, Statement (statement)

History

2026-11-02: add by m2/dev

MMETHSCSD6 MMETHSCSD6

URI	`m2://inv/MMETHSCSD6`
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.08935#XNC8 (statement). In G02N9D40B9/e1, proposition 3.2.10

History

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

Example MMETYFPA18

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

Mentions

wikipedia: Wikipedia Delay differential equation#XGOU, Example (example)

History

2026-11-02: add by m2/dev

Hyperbolic quaternion MMEZV3WME5

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

Mentions

wikipedia: Wikipedia List of mathematics history topics#WPYV, Hyperbolic quaternion (definition)

History

2026-11-02: add by m2/dev

Reflection group MMEZZMGQHT

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

Mentions

wikipedia: Wikipedia List of group theory topics#171R, Reflection group (definition)

History

2026-11-02: add by m2/dev

Bound on the Discretization Error MMF0YZHZNW

URI	`m2://inv/MMF0YZHZNW`
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.13355#KNDA, Bound on the Discretization Error (statement). In QJ1G1HBC6C/e1, proposition 3.17

History

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

MMF32Z2RTE MMF32Z2RTE

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

Mentions

arxiv: arXiv 2610.16731#0D34 (statement). In D68KBZQ4Q6/e1, theorem 5.13

History

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

MMF6CCBVYD MMF6CCBVYD

URI	`m2://inv/MMF6CCBVYD`
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.28020#2ONX (statement)

History

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

Littlewood–Offord lemma MMF9BQZDBD

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

Mentions

wikipedia: Wikipedia List of lemmas#98LM, Littlewood–Offord lemma (problem)

History

2026-11-02: add by m2/dev

Vanishing at every order MMFDYP3SXB

URI	`m2://inv/MMFDYP3SXB`
Kind	statement
Layer	research
MSC	14-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.00490#VZAW, Vanishing at every order (statement). In PZJDV6SJ9E/e1, lemma 4.1

History

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

Ordered ring MMFS6M50NQ

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

Mentions

wikipedia: Wikipedia Ordered ring, Ordered ring (definition). Also Wikidata Q3782642

History

2026-11-02: add by m2/dev

Heegaard splitting MMFXTVGR2V

URI	`m2://inv/MMFXTVGR2V`
Kind	statement
Layer	textbook
MSC	54-XX
Sources	4
Outcome	open
Node	Heegaard splitting EDE9919B5R

Mentions

mathlib_1000: mathlib_1000 Q5697916A, Reidemeister–Singer Theorem (statement). Also Wikidata Q5697916
mathlib_1000: mathlib_1000 Q5697916B, Waldhausen's theorem (statement). Also Wikidata Q5697916
thousand_plus: thousand_plus Q5697916A, Reidemeister–Singer Theorem (statement). Also Wikidata Q5697916, Wikipedia Heegaard splitting
thousand_plus: thousand_plus Q5697916B, Waldhausen's theorem (statement). Also Wikidata Q5697916, Wikipedia Heegaard splitting
wikidata: Wikidata Q5697916, Heegaard splitting (unknown). Also MathWorld HeegaardSplitting
wikipedia: Wikipedia Heegaard splitting, Heegaard splitting (definition). Also Wikidata Q5697916

History

2026-10-26: add by m2/dev

K-stability of Fano varieties MMG2Q9M6T4

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

Mentions

wikipedia: Wikipedia K-stability of Fano varieties, K-stability of Fano varieties (definition). Also Wikidata Q111955952

History

2026-11-02: add by m2/dev

Properties MMG2Z9X0V6

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

Mentions

wikipedia: Wikipedia Discriminant#KJVU, Properties (statement)

History

2026-11-02: add by m2/dev

MMG4Y4K2VX MMG4Y4K2VX

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

Mentions

arxiv: arXiv 2609.20725#6E7H (statement)

History

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

Gizem Karaali MMG7MC9H8K

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

Mentions

wikipedia: Wikipedia Gizem Karaali, Gizem Karaali (topic). Also Wikidata Q62112656

History

2026-11-02: add by m2/dev

Equality of component groups MMGCTARZK0

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

Mentions

arxiv: arXiv 2610.16931#UWA2, Equality of component groups (statement). In H7DMRWBBJN/e1, theorem 8.3

History

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

Jakob Steiner MMGCXTRNKM

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

Mentions

wikipedia: Wikipedia List of geometers#OFJG, Jakob Steiner (topic)

History

2026-11-02: add by m2/dev

MMGEGHS3CM MMGEGHS3CM

URI	`m2://inv/MMGEGHS3CM`
Kind	problem
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.29274#AULH (problem)

History

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

MMGVBTVK45 MMGVBTVK45

URI	`m2://inv/MMGVBTVK45`
Kind	statement
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#QH8Y (statement). In 5KR3MHYVV6/e1, theorem 1.1

History

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

MMHE0AKDGK MMHE0AKDGK

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

Mentions

arxiv: arXiv 1503.05744#Z6Z4 (statement). In 5XKHZKEGAF/e1, lemma 4.10

History

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

Problem of induction MMHES3V8QE

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

Mentions

wikipedia: Wikipedia Problem of induction, Problem of induction (problem). Also Wikidata Q1570367

History

2026-11-02: add by m2/dev

Affine subspace MMHEW0EN6W

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

Mentions

wikipedia: Wikipedia Affine space#U85L, Affine subspace (unknown)

History

2026-11-02: add by m2/dev

Laws of mechanics and thermodynamics MMHF4QDGMZ

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

Mentions

wikipedia: Wikipedia Black hole#4A33, Laws of mechanics and thermodynamics (statement)

History

2026-11-02: add by m2/dev

Strict physical gap with noisy observations and finite rates MMHNG8G3JS

URI	`m2://inv/MMHNG8G3JS`
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.00291#XUA2, Strict physical gap with noisy observations and finite rates (statement). In JXCHERE2AF/e1, theorem 8

History

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

Malthusian growth model MMHRTJ4GNY

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

Mentions

wikipedia: Wikipedia List of exponential topics#N07X, Malthusian growth model (object)

History

2026-11-02: add by m2/dev

Closing squares MMHSPSBKQ9

URI	`m2://inv/MMHSPSBKQ9`
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 2207.12181#WPIA, Closing squares (statement). In FSD8NE3XSR/e1, lemma 3.2

History

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

The row $h=0$ as a single ratio MMHYCMVRDD

URI	`m2://inv/MMHYCMVRDD`
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.22301#KTMM, The row $h=0$ as a single ratio (statement)

History

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

MMJ1393GS5 MMJ1393GS5

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

Mentions

arxiv: arXiv 2610.19260#PK25 (definition). In PWXT7J9JX3/e1, definition 5.4

History

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

Substring search MMJ1D9TB4J

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

Mentions

wikipedia: Wikipedia List of algorithms#WNRB, Substring search (definition)

History

2026-11-02: add by m2/dev

Extensions MMJB88CW4Z

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

Mentions

wikipedia: Wikipedia Multilevel modeling for repeated measures#9GBE, Extensions (statement)

History

2026-11-02: add by m2/dev

MMJNWP7JPD MMJNWP7JPD

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

Mentions

napkin: napkin tex/diffgeo/manifolds.tex#example-4 (example). In RZP28ERRZV, example, section 44.5

History

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

Frank Ruskey MMJTHRHSK6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#C4IR, Frank Ruskey (topic)

History

2026-11-02: add by m2/dev

MMKK381KCE MMKK381KCE

URI	`m2://inv/MMKK381KCE`
Kind	statement
Layer	research
MSC	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.03231#FE9O (statement). In 3Y76AQQGF0/e1, lemma 7.4

History

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

MMKMRG9762 MMKMRG9762

URI	`m2://inv/MMKMRG9762`
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 0806.0678#UJ19 (statement). In 5RMV7VP13X/e1, theorem 6

History

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

MMKNKW3E2C MMKNKW3E2C

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-19 (exercise). In E9HS8K3A52, exercise, section 6.2.4

History

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

ITeX MMKVFKGZM7

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

Mentions

wikipedia: Wikipedia Donald Knuth#CPY5, ITeX (unknown)

History

2026-11-02: add by m2/dev

MMKXKCCCK1 MMKXKCCCK1

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

Mentions

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

History

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

Jacobi transform MMKXTHTTQV

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

Mentions

wikipedia: Wikipedia List of transforms#954I, Jacobi transform (definition)

History

2026-11-02: add by m2/dev

Bhargava's approach to the composition law MMM8B2XS22

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

Mentions

wikipedia: Wikipedia Gauss composition law#R51O, Bhargava's approach to the composition law (statement)

History

2026-11-02: add by m2/dev

Regularized version's reduction to $\eta$ optimization MMME0K27EJ

URI	`m2://inv/MMME0K27EJ`
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.17579#1T02, Regularized version's reduction to $\eta$ optimization (statement). In 1H021CTR3A/e1, corollary 1

History

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

equilateral polygon MMMNM91KT9

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

Mentions

wikidata: Wikidata Q428388, equilateral polygon (unknown). Also MathWorld EquilateralPolygon
wikipedia: Wikipedia Equilateral polygon, Equilateral polygon (definition). Also Wikidata Q428388

History

2026-10-26: add by m2/dev

Miguel Alcubierre MMN29VQ5S2

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#YXMB, Miguel Alcubierre (unknown)

History

2026-11-02: add by m2/dev

MMN4Z8PDTY MMN4Z8PDTY

URI	`m2://inv/MMN4Z8PDTY`
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 math/9201244#7CKJ (statement). In 7D3HCN21MK/e1, lemma 1.3

History

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

MMN5CT910E MMN5CT910E

URI	`m2://inv/MMN5CT910E`
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.04135#MCMV (statement). In 587PWJ6W5D/e1, lemma 9

History

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

MMNMWDAVHC MMNMWDAVHC

URI	`m2://inv/MMNMWDAVHC`
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.18106#RPK6 (statement). In VZDPG7NJCX/e1, lemma 2

History

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

MMNRWXJ43V MMNRWXJ43V

URI	`m2://inv/MMNRWXJ43V`
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 2610.12330#KGIY (statement). In XHSKEPT3VD/e1, corollary 3.9

History

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

Bernoulli sampling MMNTCC94SH

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

Mentions

wikipedia: Wikipedia Bernoulli sampling, Bernoulli sampling (definition). Also Wikidata Q1982593

History

2026-11-02: add by m2/dev

Ercan--G\"ul--G\"ulo\u{g}lu--K{\i}zmaz MMNWW73BFD

URI	`m2://inv/MMNWW73BFD`
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.24640#7PSG, Ercan--G\"ul--G\"ulo\u{g}lu--K{\i}zmaz (statement)

History

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

Linear time MMNZ37YK4M

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#DF3X, Linear time (definition)

History

2026-11-02: add by m2/dev

Ordered weighted averaging MMP02XQZZ8

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

Mentions

wikipedia: Wikipedia Ordered weighted averaging, Ordered weighted averaging (definition). Also Wikidata Q7100718

History

2026-11-02: add by m2/dev

MMP7MWY9X9 MMP7MWY9X9

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

Mentions

arxiv: arXiv 2405.14678#Z7GV (statement). In 9ZSNSJRJ5N/e1, theorem 4.1

History

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

Hamilton's formulation of the theorem MMPC5Y5YT5

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

Mentions

wikipedia: Wikipedia Nash–Moser theorem#UX7J, Hamilton's formulation of the theorem (statement)

History

2026-11-02: add by m2/dev

Definition MMPEJ0RJJV

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

Mentions

wikipedia: Wikipedia Hopkins statistic#VE3E, Definition (definition)

History

2026-11-02: add by m2/dev

MMPG36VA89 MMPG36VA89

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

Mentions

arxiv: arXiv 2609.21339#WKBS (statement)

History

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

Banach–Alaoglu theorem MMPNEDD1HT

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

Mentions

wikipedia: Wikipedia Banach space#81L7, Banach–Alaoglu theorem (statement)

History

2026-11-02: add by m2/dev

Extensions MMPQKPNW6F

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

Mentions

wikipedia: Wikipedia Superfunction#A4CI, Extensions (statement)

History

2026-11-02: add by m2/dev

MMPXZHWF8H MMPXZHWF8H

URI	`m2://inv/MMPXZHWF8H`
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 0809.4587#2FD6 (statement). In KQ8JPHDKKE/e1, lemma 9.7.11

History

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

MMQ32TXHWE MMQ32TXHWE

URI	`m2://inv/MMQ32TXHWE`
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.27049#X5EX (statement)

History

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

MMQ442HNCP MMQ442HNCP

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

Mentions

arxiv: arXiv math/0512416#AZXL (proof). In WJD9YPGGYH/e1, proof

History

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

Rare-budget estimate MMQ4CPFWK1

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

Mentions

arxiv: arXiv 2609.19908#6QYI, Rare-budget estimate (statement)

History

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

MMQ60PBZZ4 MMQ60PBZZ4

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

Mentions

arxiv: arXiv 2305.10921#ZFYC (example). In PD5PJ0EYG6/e1, example 5.5

History

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

Eidelheit MMQAKSF3ZA

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#0NP4, Eidelheit (definition)

History

2026-11-02: add by m2/dev

MMQBXYE9WJ MMQBXYE9WJ

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

Mentions

napkin: napkin tex/alg-NT/norm-trace.tex#prob:OK_unit_norm (exercise). In RZP28ERRZV, sproblem, section 15.4

History

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

MMQD4NEJ8C MMQD4NEJ8C

URI	`m2://inv/MMQD4NEJ8C`
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.14086#UZ5R (statement). In J6EZ2RQW2F/e1, proposition 8.2

History

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

MMQFHM5JQ3 MMQFHM5JQ3

URI	`m2://inv/MMQFHM5JQ3`
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 2609.31126#BWEE (definition). In GK1V5GEHTK/e1, definition 2.2

History

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

Juliusz Schauder MMQGK5FYA8

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#TJ3E, Juliusz Schauder (topic)

History

2026-11-02: add by m2/dev

Generic chaining for mixed-tail processes MMQNW7ZPCJ

URI	`m2://inv/MMQNW7ZPCJ`
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.09324#R1UH, Generic chaining for mixed-tail processes (statement). In SFNYZXKBNW/e1, lemma 2.6

History

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

MMQSNBNCXK MMQSNBNCXK

URI	`m2://inv/MMQSNBNCXK`
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 2610.02983#FOZI (statement). In HMNKENER22/e1, lemma 4.1

History

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

MMQSTH31RX MMQSTH31RX

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

Mentions

arxiv: arXiv 2609.36818#GLPE (problem). In SK6AP2B9JH/e1, problem 1.1

History

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

MMQZV2G8N8 MMQZV2G8N8

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

Mentions

open_logic: open_logic content/computability/computability-theory/no-universal-function.tex#thm:no-univ (statement). In PKGMM3P5QY, thm, section 3.8

History

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

Terminology MMR4KVQF70

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

Mentions

wikipedia: Wikipedia HyperLogLog#MYIU, Terminology (definition)

History

2026-11-02: add by m2/dev

Schizophrenic number MMR5RQAVKF

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

Mentions

wikipedia: Wikipedia Schizophrenic number, Schizophrenic number (definition). Also Wikidata Q7431616

History

2026-11-02: add by m2/dev

Joseph Mercado MMRN4NMWFX

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

Mentions

wikipedia: Wikipedia Joseph Mercado, Joseph Mercado (topic). Also Wikidata Q95494040

History

2026-11-02: add by m2/dev

Hypercell MMRRG87XRN

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#0VVZ, Hypercell (definition)

History

2026-11-02: add by m2/dev

Xor swap algorithm MMRSNEAMHN

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

Mentions

wikipedia: Wikipedia List of algorithms#CPJ1, Xor swap algorithm (unknown)

History

2026-11-02: add by m2/dev

Einstein the musician MMS39TQG6P

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

Mentions

wikipedia: Wikipedia Albert Einstein#2HSC, Einstein the musician (unknown)

History

2026-11-02: add by m2/dev

Archimedes' quadruplets MMS5CMTV1D

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

Mentions

wikipedia: Wikipedia Archimedes' quadruplets, Archimedes' quadruplets (definition). Also Wikidata Q1985291

History

2026-11-02: add by m2/dev

Block-dependence MMSE3E0T4C

URI	`m2://inv/MMSE3E0T4C`
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.22338#0L33, Block-dependence (definition)

History

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

Fixed-oracle realization MMSGG77JGQ

URI	`m2://inv/MMSGG77JGQ`
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.38375#KH0Z, Fixed-oracle realization (statement). In CHSB1TGAKB/e1, lemma 11

History

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

MMT1MFPBSA MMT1MFPBSA

URI	`m2://inv/MMT1MFPBSA`
Kind	statement
Layer	research
MSC	11-XX, 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 2609.32181#4TW8 (statement). In 8FKEQSPN7M/e1, corollary 3.7

History

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

Incomplete gamma MMT1Y6E3BN

URI	`m2://inv/MMT1Y6E3BN`
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#4GB5, Incomplete gamma (statement)

History

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

Pointwise soliton resolution for rational initial data MMT3VKEQ54

URI	`m2://inv/MMT3VKEQ54`
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.00770#HTD3, Pointwise soliton resolution for rational initial data (statement). In AYGRJSRG1M/e1, theorem

History

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

MMT8EH1J21 MMT8EH1J21

URI	`m2://inv/MMT8EH1J21`
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 2002.01498#0FJ5 (statement). In 2H7TQ695XW/e1, lemma 3.5

History

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

MMTC0YFJN9 MMTC0YFJN9

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

Mentions

arxiv: arXiv 2609.30200#HBIG (statement)

History

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

MMTESGS1NY MMTESGS1NY

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

Mentions

napkin: napkin tex/alg-NT/frobenius.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 13.8

History

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

Hoffman's packing puzzle MMTFA1MAKG

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

Mentions

wikipedia: Wikipedia Hoffman's packing puzzle, Hoffman's packing puzzle (problem). Also Wikidata Q78362012

History

2026-11-02: add by m2/dev

MMTFSQCQDC MMTFSQCQDC

URI	`m2://inv/MMTFSQCQDC`
Kind	problem
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#LO3U (problem). In 9QG5CND2RQ/e1, problem

History

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

MMTR9NXZCX MMTR9NXZCX

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

Mentions

arxiv: arXiv 1002.0879#7JWH (example). In M0SQY5EZN5/e1, example 2.1.13

History

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

MMV1WTFSE5 MMV1WTFSE5

URI	`m2://inv/MMV1WTFSE5`
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.39539#GYMY (statement). In GVR218P3ZR/e1, lemma 4.3.1

History

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

Hill sphere MMV6J0X5VA

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

Mentions

wikipedia: Wikipedia List of mathematical topics in classical mechanics#WW1F, Hill sphere (definition)

History

2026-11-02: add by m2/dev

MMV72N34PN MMV72N34PN

URI	`m2://inv/MMV72N34PN`
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.21403#FEUM (definition)

History

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

MAGIC criteria MMVDZR9MJX

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

Mentions

wikipedia: Wikipedia MAGIC criteria, MAGIC criteria (definition). Also Wikidata Q25304022

History

2026-11-02: add by m2/dev

MMVH1RT044 MMVH1RT044

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

Mentions

arxiv: arXiv 2609.37747#MO0J (statement). In GEYDNVZEP7/e1, proposition 2.8

History

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

MMVPE3T8C2 MMVPE3T8C2

URI	`m2://inv/MMVPE3T8C2`
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.27200#WZ86 (statement)

History

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

Null-cone foliation in the ultrastatic case MMVWCM03TC

URI	`m2://inv/MMVWCM03TC`
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.10413#BLW0, Null-cone foliation in the ultrastatic case (statement). In 68MTQ59QTQ/e1, lemma A.5

History

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

Properties of invertible matrices MMVYJTX0KD

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

Mentions

austin_ula: austin_ula src/section3-1.xml#proposition-invertible-properties, Properties of invertible matrices (statement). In 649HGZKE96, proposition, section 3.1.3

History

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

Delaigle, Aurore MMW61FBXQH

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

Mentions

wikipedia: Wikipedia List of statisticians#P773, Delaigle, Aurore (unknown)

History

2026-11-02: add by m2/dev

MMW7VR3FX4 MMW7VR3FX4

URI	`m2://inv/MMW7VR3FX4`
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.26366#N2AR (statement)

History

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

MMWCBVM2F4 MMWCBVM2F4

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

Mentions

arxiv: arXiv 2405.14678#VHCI (example). In 9ZSNSJRJ5N/e1, example 1

History

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

MMWEPDSCF5 MMWEPDSCF5

URI	`m2://inv/MMWEPDSCF5`
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.20480#IIZB (statement). In BK4359JSC3/e1, lemma 6.4

History

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

MMWJYG5HQ1 MMWJYG5HQ1

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

Mentions

arxiv: arXiv 2610.07790#NSP0 (statement). In A5YJDDM0NX/e1, corollary 5.6

History

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

MMWNX7DHYB MMWNX7DHYB

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

Mentions

arxiv: arXiv 2609.34295#4000 (definition). In A93R925Z24/e1, definition 1.1

History

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

MMWRW6AVE8 MMWRW6AVE8

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

Mentions

arxiv: arXiv 2610.21092#WNMR (statement). In AGJE43FTF8/e1, corollary 9.5

History

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

MMWV4FJE5V MMWV4FJE5V

URI	`m2://inv/MMWV4FJE5V`
Kind	statement
Layer	research
MSC	14-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.02061#MC8C (statement). In F5STMSPR6X/e1, lemma 4.7

History

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

Knot thickness MMWYF85K5Z

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

Mentions

wikipedia: Wikipedia Knot thickness, Knot thickness (definition). Also Wikidata Q6423063

History

2026-11-02: add by m2/dev

Bernhard Riemann MMWYZ0V9N2

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#INC4, Bernhard Riemann (topic)

History

2026-11-02: add by m2/dev

equation of state MMX6T301FB

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

Mentions

wikidata: Wikidata Q214967, equation of state (unknown). Also nLab equation of state
wikipedia: Wikipedia Equation of state, Equation of state (definition). Also Wikidata Q214967

History

2026-10-26: add by m2/dev

Definition 0 MMXCXSCXCV

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

Mentions

wikipedia: Wikipedia Nuclear space#Q05M, Definition 0 (definition)

History

2026-11-02: add by m2/dev

combination MMXMFY52N1

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

Mentions

applied_combinatorics: applied_combinatorics index/2.3/combination, combination (concept). In QKM9DD2H56, index, section 2.3

History

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

MMXPZ3FBEB MMXPZ3FBEB

URI	`m2://inv/MMXPZ3FBEB`
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#XQL3 (statement). In 5YMNGJRC6Y/e1, corollary 4.12

History

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

MMXRWKEZ41 MMXRWKEZ41

URI	`m2://inv/MMXRWKEZ41`
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.37274#ZQY7 (statement). In FBBTEAY45P/e1, corollary 3.3

History

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

The bar as a bridge, the number line as arrival MMXX3S2TYH

URI	`m2://inv/MMXX3S2TYH`
Kind	statement
Layer	research
MSC	01-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.14735#5A21, The bar as a bridge, the number line as arrival (statement). In XB5GPTZ6JF/e1, statement 2

History

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

Discrete least squares meshless method MMY3AT1XXV

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

Mentions

wikipedia: Wikipedia Discrete least squares meshless method, Discrete least squares meshless method (definition). Also Wikidata Q5282050

History

2026-11-02: add by m2/dev

1 52 honeycomb MMY79JQ4EC

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

Mentions

wikipedia: Wikipedia 1 52 honeycomb, 1 52 honeycomb (definition). Also Wikidata Q4595920

History

2026-11-02: add by m2/dev

MMYGNS76F0 MMYGNS76F0

URI	`m2://inv/MMYGNS76F0`
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.21231#Y41L (statement). In 4RH9PS7MN1/e1, lemma 6

History

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

MMYM7NX99S MMYM7NX99S

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 8.6

History

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

MMYN1X704W MMYN1X704W

URI	`m2://inv/MMYN1X704W`
Kind	definition
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 2501.15680#24CM (definition). In VBWH2Z3YHA/e1, definition 2.1

History

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

Surrogation MMYZZJ5VBV

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

Mentions

wikipedia: Wikipedia List of cognitive biases#XL3N, Surrogation (unknown)

History

2026-11-02: add by m2/dev

Multiplication algorithm MMZ64X07P5

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

Mentions

wikipedia: Wikipedia Multiplication algorithm, Multiplication algorithm (definition). Also Wikidata Q130762

History

2026-11-02: add by m2/dev

orthoptic curve MMZ9ZKRX8B

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

Mentions

wikidata: Wikidata Q117834946, orthoptic curve (unknown). Also MathWorld OrthopticCurve
wikipedia: Wikipedia Orthoptic (geometry), Orthoptic (definition). Also Wikidata Q117834946

History

2026-10-26: add by m2/dev

Banzhaf power index MMZB6H9X37

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

Mentions

wikipedia: Wikipedia Banzhaf power index, Banzhaf power index (definition). Also Wikidata Q2742375

History

2026-11-02: add by m2/dev

Uniform cap harmonic extension MMZD0VGK7T

URI	`m2://inv/MMZD0VGK7T`
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.11077#ZMZG, Uniform cap harmonic extension (statement). In 4333A6G5K5/e1, lemma 4.3

History

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

squark MMZDZ6XKVD

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

Mentions

wikidata: Wikidata Q3107191, squark (unknown). Also nLab squark

History

2026-10-26: add by m2/dev

MMZYYSREXP MMZYYSREXP

URI	`m2://inv/MMZYYSREXP`
Kind	definition
Layer	research
MSC	05-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 2610.15344#6XKC (definition). In B9EX6K51RD/e1, definition 2.12

History

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