Inventory rows EH

Nevanlinna theory EH033JT5RD

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#J8PJ, Nevanlinna theory (definition)

History

2026-11-02: add by m2/dev

Lying over theorem and places EH06T6CZD1

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

Mentions

wikipedia: Wikipedia Algebraic number field#XPA7, Lying over theorem and places (statement)

History

2026-11-02: add by m2/dev

Properties EH0AYNVM7Y

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

Mentions

wikipedia: Wikipedia Moduli stack of elliptic curves#C005, Properties (statement)

History

2026-11-02: add by m2/dev

Formal definition EH0HF3QNSA

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

Mentions

wikipedia: Wikipedia Submanifold#82EP, Formal definition (definition)

History

2026-11-02: add by m2/dev

Definition EH0HWZ88FM

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

Mentions

wikipedia: Wikipedia Pre-measure#130H, Definition (definition)

History

2026-11-02: add by m2/dev

EH0KVTZAY9 EH0KVTZAY9

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/expotough.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 69.2

History

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

Algorithm EH0P0Z2DQY

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

Mentions

wikipedia: Wikipedia MD5#M5ZC, Algorithm (definition)

History

2026-11-02: add by m2/dev

KSEG EH0P33NTQ0

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

Mentions

wikipedia: Wikipedia KSEG (software), KSEG (definition). Also Wikidata Q846869

History

2026-11-02: add by m2/dev

polyform EH0VG4MPYQ

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

Mentions

wikidata: Wikidata Q3088276, polyform (unknown). Also MathWorld Polyform
wikipedia: Wikipedia Polyform, Polyform (definition). Also Wikidata Q3088276

History

2026-10-26: add by m2/dev

EH11JBY57G EH11JBY57G

URI	`m2://inv/EH11JBY57G`
Kind	problem
Layer	research
MSC	46-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 1204.5958#DKUT (problem). In XYCBKM4WKY/e1, problem 23

History

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

EH17DR340E EH17DR340E

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

Mentions

arxiv: arXiv 2610.10474#JXBN (statement). In MB29RAAQMG/e1, corollary 5.3

History

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

Properties EH1H88EBD7

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

Mentions

wikipedia: Wikipedia Pentagonal orthobirotunda#MCS9, Properties (statement)

History

2026-11-02: add by m2/dev

EH1RFXP1VS EH1RFXP1VS

URI	`m2://inv/EH1RFXP1VS`
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 2504.13802#WBDI (statement). In MH358B1GVQ/e1, lemma 4

History

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

EH1W0ANKDK EH1W0ANKDK

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

Mentions

arxiv: arXiv 2210.11778#PMQ5 (statement). In PPAJZ2JBCE/e1, theorem 1.6

History

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

Neural Network EH1W7K5ZCK

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

Mentions

wikipedia: Wikipedia List of algorithms#5030, Neural Network (definition)

History

2026-11-02: add by m2/dev

Sündüz Keleş EH1X7QNNTT

URI	`m2://inv/EH1X7QNNTT`
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#VGOP, Sündüz Keleş (topic)

History

2026-11-02: add by m2/dev

EH1XSCV1ZY EH1XSCV1ZY

URI	`m2://inv/EH1XSCV1ZY`
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.24701#DB1H (statement)

History

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

Universal algebra EH1YACVTE6

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#T2P9, Universal algebra (topic)
wikipedia: Wikipedia List of algebras#IHHE, Universal algebra (topic)

History

2026-11-02: add by m2/dev

Lamé function EH2179JHKT

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

Mentions

wikipedia: Wikipedia List of mathematical functions#2NFU, Lamé function (definition)

History

2026-11-02: add by m2/dev

Statement EH264ZP91A

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

Mentions

wikipedia: Wikipedia Chebotarev theorem on roots of unity#VV3K, Statement (statement)

History

2026-11-02: add by m2/dev

quaternary EH27M9SZDA

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#GRVT, quaternary (definition)

History

2026-11-02: add by m2/dev

EH2M0N51JP EH2M0N51JP

URI	`m2://inv/EH2M0N51JP`
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.22296#UO6U (statement)

History

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

EH2VRT74KG EH2VRT74KG

URI	`m2://inv/EH2VRT74KG`
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.12371#NWK3 (statement). In 8TTFQH19QR/e1, theorem 3

History

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

initial value problem EH2VWD1E2T

URI	`m2://inv/EH2VWD1E2T`
Kind	problem
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Initial value problem 075VBY4K4X

Mentions

wikidata: Wikidata Q10167591, initial value problem (unknown). Also MathWorld InitialValueProblem, nLab initial value problem
wikipedia: Wikipedia Initial value problem, Initial value problem (problem). Also Wikidata Q10167591

History

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

L-stability EH37W4M8MF

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

Mentions

wikipedia: Wikipedia L-stability, L-stability (definition). Also Wikidata Q277932

History

2026-11-02: add by m2/dev

Definition EH38Q0FB45

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

Mentions

wikipedia: Wikipedia Logarithm#L8HP, Definition (definition)

History

2026-11-02: add by m2/dev

odd function EH3CSQ3DX9

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

Mentions

lebl_diffyqs: lebl_diffyqs index/5.4.1/odd-function, odd function (concept). In E9HS8K3A52, index, section 5.4.1

History

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

Equivalent definitions EH3ERM9Z17

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

Mentions

wikipedia: Wikipedia Hereditary ring#TJUW, Equivalent definitions (definition)

History

2026-11-02: add by m2/dev

EH3FSZYJ1V EH3FSZYJ1V

URI	`m2://inv/EH3FSZYJ1V`
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 2405.05684#G2P0 (statement). In 1PR73ECTZB/e1, proposition 14

History

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

uniform absolute convergence EH3HY5467Y

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

Mentions

lebl_scv: lebl_scv index/1.2/uniform-absolute-convergence, uniform absolute convergence (concept). In VNMV985MXX, index, section 1.2

History

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

Conway circle EH3Q7352W0

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

Mentions

mathlib_1000: mathlib_1000 Q96375449, Conway circle theorem (statement). Also Wikidata Q96375449
thousand_plus: thousand_plus Q96375449, Conway circle theorem (statement). Also Wikidata Q96375449, Wikipedia Conway circle theorem
wikidata: Wikidata Q96375449, Conway circle (statement). Also MathWorld ConwayCircle
wikipedia: Wikipedia Conway circle theorem, Conway circle theorem (statement). Also Wikidata Q96375449

History

2026-10-26: add by m2/dev

EH3ZV86K64 EH3ZV86K64

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

Mentions

arxiv: arXiv 2610.22247#X321 (statement). In SBNH1MWND8/e1, lemma 5

History

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

Airy isostacy EH42PYBZG8

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

Mentions

wikipedia: Wikipedia Isostasy#0A31, Airy isostacy (unknown)

History

2026-11-02: add by m2/dev

Universal parametric lower bound EH43YY0508

URI	`m2://inv/EH43YY0508`
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.33008#GV3K, Universal parametric lower bound (statement). In 4M662A3ZF1/e1, proposition B.1

History

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

EH474K05H1 EH474K05H1

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#proof-17 (proof). In E59CDZA4DP, proof, section 7.5

History

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

EH48XZF9W9 EH48XZF9W9

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

Mentions

arxiv: arXiv 2601.15403#W7Y7 (statement). In BSWNH3NW1M/e1, lemma 7.3

History

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

EH4EHR3CHD EH4EHR3CHD

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/identity.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 11.4

History

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

EH4QD5B2JR EH4QD5B2JR

URI	`m2://inv/EH4QD5B2JR`
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 2609.21274#NFHD (definition)

History

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

Applications EH4RE061BM

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

Mentions

wikipedia: Wikipedia Tower of Hanoi#JLC0, Applications (example)

History

2026-11-02: add by m2/dev

Examples EH53HGVVY4

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

Mentions

wikipedia: Wikipedia Dodgson condensation#7HW5, Examples (example)

History

2026-11-02: add by m2/dev

Legendre moment EH58EXSGKY

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

Mentions

wikipedia: Wikipedia Legendre moment, Legendre moment (definition). Also Wikidata Q53710046

History

2026-11-02: add by m2/dev

Properties EH5FZFA0EW

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

Mentions

wikipedia: Wikipedia Square knot (mathematics)#QJE8, Properties (statement)

History

2026-11-02: add by m2/dev

Definition EH5W74701B

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

Mentions

wikipedia: Wikipedia Wiener deconvolution#ONHS, Definition (definition)

History

2026-11-02: add by m2/dev

EH618Y21N8 EH618Y21N8

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

Mentions

lebl_scv: lebl_scv scv.tex#example-19 (example). In VNMV985MXX, example, section 5.3

History

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

Strategic dominance EH61J52B45

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

Mentions

wikipedia: Wikipedia Strategic dominance, Strategic dominance (definition). Also Wikidata Q282491

History

2026-11-02: add by m2/dev

EH674GA4Q1 EH674GA4Q1

URI	`m2://inv/EH674GA4Q1`
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 2506.18195#73FC (statement). In 6B8FNCHF1Z/e1, proposition 4

History

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

Leaf and restoration comparison EH6DRWT33F

URI	`m2://inv/EH6DRWT33F`
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#REMI, Leaf and restoration comparison (statement)

History

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

Generalization EH6EG9QX2Z

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

Mentions

wikipedia: Wikipedia Kirkman's schoolgirl problem#ZMS3, Generalization (statement)

History

2026-11-02: add by m2/dev

Definition EH6J8MHQS4

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

Mentions

wikipedia: Wikipedia Sum-product number#3Y4G, Definition (definition)

History

2026-11-02: add by m2/dev

Henkin semantics EH6R718T2J

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

Mentions

wikipedia: Wikipedia Glossary of logic#YKMP, Henkin semantics (definition)

History

2026-11-02: add by m2/dev

Stably causal EH7AMMPAAK

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

Mentions

wikipedia: Wikipedia Causality conditions#QMVU, Stably causal (unknown)

History

2026-11-02: add by m2/dev

Reduced $2k$-compression surgery EH7HWJR1EV

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

Mentions

arxiv: arXiv 2610.09422#SM7T, Reduced $2k$-compression surgery (definition). In MS7M2BJS9X/e1, definition 6.3

History

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

Paul W. K. Rothemund EH7VKAT8X1

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#F3LV, Paul W. K. Rothemund (unknown)

History

2026-11-02: add by m2/dev

EH7W4RDPQA EH7W4RDPQA

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

Mentions

arxiv: arXiv 2609.27823#7BN5 (statement)

History

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

Michela Varagnolo EH7Y1JT1FZ

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

Mentions

wikipedia: Wikipedia Michela Varagnolo, Michela Varagnolo (topic). Also Wikidata Q102290377

History

2026-11-02: add by m2/dev

Corollary: Krein's extension theorem EH81DDBN0G

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

Mentions

wikipedia: Wikipedia M. Riesz extension theorem#U4WS, Corollary: Krein's extension theorem (statement)

History

2026-11-02: add by m2/dev

Examples EH85EA8JP9

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

Mentions

wikipedia: Wikipedia Kind (type theory)#3VC7, Examples (example)

History

2026-11-02: add by m2/dev

EH8BDYFD3F EH8BDYFD3F

URI	`m2://inv/EH8BDYFD3F`
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 2508.17135#NTDF (definition). In 74MXJ2RX4B/e1, definition 3.1

History

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

Star of Lakshmi EH8CET54R2

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

Mentions

wikidata: Wikidata Q4524287, Star of Lakshmi (unknown). Also MathWorld StarofLakshmi

History

2026-10-26: add by m2/dev

Stopping time EH8FZVXK44

URI	`m2://inv/EH8FZVXK44`
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 math/0003117#BUX9, Stopping time (definition). In WD2NCBV9F0/e1, definition 7.8

History

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

Spatial distribution EH8JX9EPRA

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

Mentions

wikipedia: Wikipedia Spatial distribution, Spatial distribution (definition). Also Wikidata Q7574061

History

2026-11-02: add by m2/dev

Examples EH8MABCX1S

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

Mentions

wikipedia: Wikipedia Dual-phase evolution#8A3A, Examples (example)

History

2026-11-02: add by m2/dev

EH8QBCDCZ5 EH8QBCDCZ5

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

Mentions

arxiv: arXiv 2610.07164#TAA8 (example). In Q1XJ5VWE1N/e1, example 2.3

History

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

EH8SHRN9MJ EH8SHRN9MJ

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

Mentions

arxiv: arXiv 2609.37761#WQGI (statement). In 4TAQ65KZKN/e1, lemma 3.3

History

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

EH8W1SG5CE EH8W1SG5CE

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 5.7

History

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

EH8WT0M4Y8 EH8WT0M4Y8

URI	`m2://inv/EH8WT0M4Y8`
Kind	statement
Layer	research
MSC	51-XX, 52-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.11596#5NFH (statement). In 76850E2X7T/e1, theorem 3.8

History

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

Fekete's lemma EH92GP15JW

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

Mentions

wikipedia: Wikipedia Superadditivity#ERCZ, Fekete's lemma (statement)

History

2026-11-02: add by m2/dev

Circle inversion EH9C8NHX2C

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#G2GS, Circle inversion (topic)

History

2026-11-02: add by m2/dev

EH9DDGSABQ EH9DDGSABQ

URI	`m2://inv/EH9DDGSABQ`
Kind	definition
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.09809#DJT5 (definition). In 7NKQ6PR78N/e1, definition 2.5

History

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

EH9FFNCBW3 EH9FFNCBW3

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

Mentions

arxiv: arXiv 2609.22469#N7V9 (statement)

History

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

Euclid number EH9NG9R6VM

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#TWNU, Euclid number (conjecture)

History

2026-11-02: add by m2/dev

Minimum dimension EH9XBP188Y

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

Mentions

arxiv: arXiv 2610.14509#ATYV, Minimum dimension (statement). In N6GD8392QB/e1, lemma 10.1

History

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

EHA1VV0VWR EHA1VV0VWR

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

Mentions

arxiv: arXiv 2103.12669#OUI7 (example). In ZA6XNBA90V/e1, example 2.2

History

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

EHA4TYYFFY EHA4TYYFFY

URI	`m2://inv/EHA4TYYFFY`
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.18922#GUWZ (statement). In 6FKDYENQ8M/e1, lemma 5.2

History

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

First-Order Jet and Gradient Control EHA62E5VD8

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

Mentions

arxiv: arXiv 2610.12239#DHI0, First-Order Jet and Gradient Control (statement). In CW9MNA6K58/e1, lemma 9.7

History

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

Brendle--Hatcher EHA75B5394

URI	`m2://inv/EHA75B5394`
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.04382#J86T, Brendle--Hatcher (statement). In 7VW8XD28G1/e1, theorem 2.4

History

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

EHA9J4RYKQ EHA9J4RYKQ

URI	`m2://inv/EHA9J4RYKQ`
Kind	statement
Layer	research
MSC	20-XX, 55-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.30579#B6QR (statement). In FDYZFDHZH9/e1, lemma 3.6

History

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

EHAD8P8W2W EHAD8P8W2W

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

Mentions

arxiv: arXiv 2610.16554#6KW3 (statement). In GWNT8HEZG1/e1, proposition 4.14

History

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

EHAJMVNVE7 EHAJMVNVE7

URI	`m2://inv/EHAJMVNVE7`
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 2508.02432#5RA2 (statement). In B366ACYB37/e1, theorem 1.1

History

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

proof, assistant, \NuPRL EHAP7WJ981

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

Mentions

hott_book: hott_book index/9.11/proof-assistant-nuprl, proof, assistant, \NuPRL (concept). In N54F33XE07, index, section 9.11

History

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

EHAS44MQ4J EHAS44MQ4J

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#defn:sat (definition). In PKGMM3P5QY, defn, section 19.4

History

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

Examples EHAWNVBZXD

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

Mentions

wikipedia: Wikipedia Bounded function#QNGX, Examples (example)

History

2026-11-02: add by m2/dev

Federico Ardila EHAWVKV4E2

URI	`m2://inv/EHAWVKV4E2`
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#6KLU, Federico Ardila (topic)

History

2026-11-02: add by m2/dev

Trivial measure EHAZXKR5QD

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

Mentions

wikipedia: Wikipedia Trivial measure, Trivial measure (definition). Also Wikidata Q2264297

History

2026-11-02: add by m2/dev

EHB01JFEA9 EHB01JFEA9

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

Mentions

arxiv: arXiv 2609.20488#9WK9 (statement)

History

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

evolute EHB0902W35

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#WQDY, evolute (definition)

History

2026-11-02: add by m2/dev

Appeal to the law EHB5D4X75E

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

Mentions

wikipedia: Wikipedia Appeal to the law, Appeal to the law (statement). Also Wikidata Q112665775

History

2026-11-02: add by m2/dev

Exact fairness in $\cM_{2,n}$ EHBDHXSV5R

URI	`m2://inv/EHBDHXSV5R`
Kind	statement
Layer	research
MSC	05-XX, 60-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.38243#D0H5, Exact fairness in $\cM_{2,n}$ (statement). In R03K2N7FRF/e1, proposition 2.3

History

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

Transfer sequences EHBGGVQS09

URI	`m2://inv/EHBGGVQS09`
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 2609.31535#PKWG, Transfer sequences (statement). In BAWCMJQGVA/e1, lemma 5.1

History

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

Removable discontinuity EHBV9A0ZRP

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

Mentions

wikipedia: Wikipedia Classification of discontinuities#56UQ, Removable discontinuity (unknown)

History

2026-11-02: add by m2/dev

EHBY7T91Z5 EHBY7T91Z5

URI	`m2://inv/EHBY7T91Z5`
Kind	example
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 2205.15365#HCCF (example). In R2XC1SC9NZ/e1, example 5

History

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

EHBZAPCS2Z EHBZAPCS2Z

URI	`m2://inv/EHBZAPCS2Z`
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 1701.00518#V2JJ (statement). In T93MM0ADE2/e1, theorem 4.4

History

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

Theory of tides EHCB64ECHN

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

Mentions

wikipedia: Wikipedia Theory of tides, Theory of tides (definition). Also Wikidata Q857130

History

2026-11-02: add by m2/dev

Local upper estimate EHCCYW16QZ

URI	`m2://inv/EHCCYW16QZ`
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.27957#B7H5, Local upper estimate (statement)

History

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

Cabling conjecture EHCF7BKT2E

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

Mentions

wikipedia: Wikipedia 3-manifold#7BI4, Cabling conjecture (statement)

History

2026-11-02: add by m2/dev

Quasi-polynomial time EHCHH42R9N

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

Mentions

wikipedia: Wikipedia Quasi-polynomial time, Quasi-polynomial time (definition). Also Wikidata Q115425865

History

2026-11-02: add by m2/dev

EHCJW36YAF EHCJW36YAF

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

Mentions

arxiv: arXiv 2609.25524#H4DZ (definition)

History

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

Path ordering EHCNWB2KYE

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

Mentions

wikipedia: Wikipedia Path ordering (term rewriting), Path ordering (definition). Also Wikidata Q18386969

History

2026-11-02: add by m2/dev

\bf Deterministic function-value upper bound EHCRRKZKGC

URI	`m2://inv/EHCRRKZKGC`
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.16295#MAGV, \bf Deterministic function-value upper bound (statement). In J1SKCVMNCB/e1, theorem 7.1

History

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

EHCSEZSMJV EHCSEZSMJV

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise:contseqalt (exercise). In E59CDZA4DP, exercise, section 2.2.4

History

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

EHCYXFK408 EHCYXFK408

URI	`m2://inv/EHCYXFK408`
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 2610.10329#XOJA (statement). In SCSTR1Q1BW/e1, lemma 7.5

History

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

matrix coefficient EHD2ACTHVT

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#XZ21, matrix coefficient (definition)

History

2026-11-02: add by m2/dev

Two reflections in dimensions four and five EHD2DK1AX3

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

Mentions

arxiv: arXiv 2610.01216#DUYS, Two reflections in dimensions four and five (conjecture). In 59016RQTW6/e1, conjecture 5.1

History

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

octahedral -sphere EHD3WJA22H

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

Mentions

wikipedia: Wikipedia N-sphere#B7B4, octahedral -sphere (definition)

History

2026-11-02: add by m2/dev

Definition EHD4QCK158

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

Mentions

wikipedia: Wikipedia Polsby–Popper test#BXP6, Definition (definition)

History

2026-11-02: add by m2/dev

Zariski topology EHDC476ZQ4

URI	`m2://inv/EHDC476ZQ4`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Zariski topology 8SQK7RTB63

Mentions

wikidata: Wikidata Q147978, Zariski topology (topic). Also EoM Zariski_topology, MathWorld ZariskiTopology, nLab Zariski topology
wikipedia: Wikipedia Zariski topology, Zariski topology (definition). Also Wikidata Q147978

History

2026-10-26: add by m2/dev

logical equivalence EHDGX0E9G8

URI	`m2://inv/EHDGX0E9G8`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Logical equivalence 06GYGS41JK

Mentions

wikidata: Wikidata Q220433, logical equivalence (unknown). Also MathWorld Equivalence, MathWorld Equivalent, nLab logical equivalence
wikipedia: Wikipedia Logical equivalence, Logical equivalence (definition). Also Wikidata Q220433

History

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

DNR noise reduction EHDHBD84YM

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

Mentions

wikipedia: Wikipedia Noise reduction#LWC4, DNR noise reduction (unknown)

History

2026-11-02: add by m2/dev

EHDJ9ZRVSQ EHDJ9ZRVSQ

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

Mentions

arxiv: arXiv 2609.31294#BYJP (statement). In 6GK9EJMWY4/e1, lemma 3.3

History

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

distribution function EHDJQ54C5N

URI	`m2://inv/EHDJQ54C5N`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Cumulative distribution function 0H8H7ZTHW2

Mentions

wikidata: Wikidata Q2472662, distribution function (concept). Also MathWorld DistributionFunction
wikidata: Wikidata Q386228, distribution function (unknown). Also Mathlib ProbabilityTheory.cdf, MathWorld DistributionFunction
wikipedia: Wikipedia Distribution function (physics), Distribution function (definition). Also Wikidata Q2472662
wikipedia: Wikipedia Cumulative distribution function, Cumulative distribution function (definition). Also Wikidata Q386228

History

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

EHDKRHWENJ EHDKRHWENJ

URI	`m2://inv/EHDKRHWENJ`
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.00512#0437 (definition). In RB5QBG3MJY/e1, definition 4.10

History

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

EHDNB7CCWA EHDNB7CCWA

URI	`m2://inv/EHDNB7CCWA`
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.08633#UQY0 (statement). In 7MV7RGDVXF/e1, theorem 4.5.1

History

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

Wendy Lou EHDRH5R123

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#3ED7, Wendy Lou (unknown)

History

2026-11-02: add by m2/dev

EHDSA91DQ5 EHDSA91DQ5

URI	`m2://inv/EHDSA91DQ5`
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.36068#0RLV (statement). In CKNAB8QY5B/e1, proposition 8

History

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

nonparametric statistics EHDSGEGHQG

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#N38P, nonparametric statistics (definition)

History

2026-11-02: add by m2/dev

Definitions EHDXH2SFVY

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

Mentions

wikipedia: Wikipedia Seven states of randomness#GUN3, Definitions (definition)

History

2026-11-02: add by m2/dev

underlying set EHE3HKK8SW

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

Mentions

wikidata: Wikidata Q2456981, underlying set (unknown). Also nLab underlying set

History

2026-10-26: add by m2/dev

$\mathcal K$-G{\aa}rding polynomial EHE4T2ZAYP

URI	`m2://inv/EHE4T2ZAYP`
Kind	definition
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 2609.24078#Q7JA, $\mathcal K$-G{\aa}rding polynomial (definition)

History

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

EHE6QK7W3Z EHE6QK7W3Z

URI	`m2://inv/EHE6QK7W3Z`
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 2609.25472#1Y43 (statement)

History

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

Principia Mathematica EHE7F62QTW

URI	`m2://inv/EHE7F62QTW`
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 Q163335, Principia Mathematica (unknown). Also nLab Principia Mathematica, ProofWiki Book:Alfred_North_Whitehead/Principia_Mathematica
wikipedia: Wikipedia Principia Mathematica, Principia Mathematica (definition). Also Wikidata Q163335

History

2026-10-26: add by m2/dev

Michael Schlessinger EHE7GCRZCV

URI	`m2://inv/EHE7GCRZCV`
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 Q6834183 (unknown). Also nLab Michael Schlessinger
wikipedia: Wikipedia Michael Schlessinger, Michael Schlessinger (topic). Also Wikidata Q6834183

History

2026-10-26: add by m2/dev

Semicircumference EHEB0BECPC

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

Mentions

wikipedia: Wikipedia Semiperimeter#109A, Semicircumference (unknown)

History

2026-11-02: add by m2/dev

EHEFVS2EBG EHEFVS2EBG

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

Mentions

napkin: napkin tex/H113/ring-flavors.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 4.8

History

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

critical line EHEGNFBAXJ

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

Mentions

wikidata: Wikidata Q124684455, critical line (unknown). Also MathWorld CriticalLine

History

2026-10-26: add by m2/dev

Nicolas Bourbaki EHEHH728VS

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

Mentions

wikipedia: Wikipedia List of logicians#NLGW, Nicolas Bourbaki (topic)

History

2026-11-02: add by m2/dev

Inversive congruential generator EHEMJ9ARVJ

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

Mentions

wikipedia: Wikipedia Inversive congruential generator, Inversive congruential generator (definition). Also Wikidata Q356767

History

2026-11-02: add by m2/dev

Overlapping interval topology EHESFXEGQ8

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

Mentions

wikipedia: Wikipedia List of topologies#7MXJ, Overlapping interval topology (definition)

History

2026-11-02: add by m2/dev

prime number theorem EHF9EEGE67

URI	`m2://inv/EHF9EEGE67`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Prime number theorem 0EHBY5Y84N

Mentions

mathlib_1000: mathlib_1000 Q386292, Prime number theorem (statement). Also Wikidata Q386292
thousand_plus: thousand_plus Q386292, Prime number theorem (statement). Also Wikidata Q386292, Wikipedia Prime number theorem
wikidata: Wikidata Q386292, prime number theorem (statement). Also MathWorld PrimeNumberTheorem, nLab prime number theorem, ProofWiki Prime_Number_Theorem
wikipedia: Wikipedia Prime number theorem, Prime number theorem (statement). Also Wikidata Q386292

History

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

EHFCQ8W3VZ EHFCQ8W3VZ

URI	`m2://inv/EHFCQ8W3VZ`
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 2610.17602#ENCG (problem). In BH62508WHJ/e1, problem 1

History

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

Definition EHFP03MQX1

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

Mentions

wikipedia: Wikipedia God's algorithm#PDWL, Definition (definition)

History

2026-11-02: add by m2/dev

Definition EHFRMTWCNA

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

Mentions

wikipedia: Wikipedia Gowers norm#DTEO, Definition (definition)

History

2026-11-02: add by m2/dev

EHFTFDTYSA EHFTFDTYSA

URI	`m2://inv/EHFTFDTYSA`
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.26769#MQYG (statement)

History

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

Demographics of Millenials EHFZPEN7TM

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

Mentions

wikipedia: Wikipedia Millennials#N3P8, Demographics of Millenials (unknown)

History

2026-11-02: add by m2/dev

EHG4V349JY EHG4V349JY

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

Mentions

arxiv: arXiv 2609.22394#AW27 (definition)

History

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

Ruyton-XI-Towns EHG61J2ZDV

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

Mentions

wikipedia: Wikipedia List of places with numeric names#3MR2, Ruyton-XI-Towns (unknown)

History

2026-11-02: add by m2/dev

EHG93JZGVB EHG93JZGVB

URI	`m2://inv/EHG93JZGVB`
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.08873#SU42 (statement). In 7WMNVJBAVR/e1, proposition 4.6

History

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

The Mazur–Brown theorem EHG968PRJB

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

Mentions

wikipedia: Wikipedia Alexander horned sphere#7999, The Mazur–Brown theorem (statement)

History

2026-11-02: add by m2/dev

Remark 5 EHG9883D1W

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

Mentions

wikipedia: Wikipedia Dominated convergence theorem#E4ES, Remark 5 (unknown)

History

2026-11-02: add by m2/dev

EHG9CR7CV8 EHG9CR7CV8

URI	`m2://inv/EHG9CR7CV8`
Kind	statement
Layer	research
MSC	05-XX, 14-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.19669#4FEX (statement). In 1QPAA94Q76/e1, lemma 9

History

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

André Weil EHGFK3X3RA

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#K42O, André Weil (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#218D, André Weil (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#73JU, André Weil (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NFRM, André Weil (topic)

History

2026-11-02: add by m2/dev

EHGKQXVAHF EHGKQXVAHF

URI	`m2://inv/EHGKQXVAHF`
Kind	conjecture
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 2609.39260#95JA (conjecture). In ZNDB1AZZSA/e1, conjecture 1.1

History

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

Construction EHGW1ZMVN6

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

Mentions

wikipedia: Wikipedia Quarter cubic honeycomb#RVRD, Construction (definition)

History

2026-11-02: add by m2/dev

rule, versus axioms EHHB1T8HWF

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

Mentions

hott_book: hott_book index/A.1/rule-versus-axioms, rule, versus axioms (concept). In N54F33XE07, index, section A.1

History

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

EHHCHDQNAW EHHCHDQNAW

URI	`m2://inv/EHHCHDQNAW`
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.12295#AZVS (statement). In 6DZPR52HRP/e1, lemma 2.5

History

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

EHHESCT5VJ EHHESCT5VJ

URI	`m2://inv/EHHESCT5VJ`
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 2511.17751#XRPW (statement). In J39X0NB31S/e1, proposition 8.2

History

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

Properness and the common interior EHHFDJ9RAQ

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

Mentions

arxiv: arXiv 2609.27799#QK4R, Properness and the common interior (statement)

History

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

EHJ236YQ60 EHJ236YQ60

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

Mentions

arxiv: arXiv 2610.05146#WX2J (statement). In 63MJS935N4/e1, proposition A.2

History

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

EHJ5N9JDNR EHJ5N9JDNR

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

Mentions

arxiv: arXiv 2610.03661#M92S (statement). In ESDKTYDHC8/e1, corollary 4

History

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

Nome EHJJ6G02W5

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

Mentions

wikipedia: Wikipedia Nome (mathematics), Nome (definition). Also Wikidata Q7048497

History

2026-11-02: add by m2/dev

Chilton and Colburn J-factor analogy EHJJRKAQWM

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

Mentions

wikipedia: Wikipedia Chilton and Colburn J-factor analogy, Chilton and Colburn J-factor analogy (definition). Also Wikidata Q3879391

History

2026-11-02: add by m2/dev

Quotition and partition EHJM0MX506

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

Mentions

wikipedia: Wikipedia Quotition and partition, Quotition and partition (definition). Also Wikidata Q17126081

History

2026-11-02: add by m2/dev

Sub-group hiding EHJQ9ES35Q

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

Mentions

wikipedia: Wikipedia Sub-group hiding, Sub-group hiding (definition). Also Wikidata Q7630617

History

2026-11-02: add by m2/dev

EHJVWKKR6W EHJVWKKR6W

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

Mentions

arxiv: arXiv 2610.11021#Q575 (statement). In R0SSJZYVTJ/e1, lemma 5.2

History

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

Necessity to strengthen laws to make them falsifiable EHK1NHGPHN

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

Mentions

wikipedia: Wikipedia Falsifiability#7K37, Necessity to strengthen laws to make them falsifiable (statement)

History

2026-11-02: add by m2/dev

EHK40S33BG EHK40S33BG

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

Mentions

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

History

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

successor EHK6YP9QCJ

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

Mentions

wikipedia: Wikipedia Glossary of set theory#BRVZ, successor (definition)

History

2026-11-02: add by m2/dev

Properties EHK8ZTGG98

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

Mentions

wikipedia: Wikipedia Factor-critical graph#V3EU, Properties (statement)

History

2026-11-02: add by m2/dev

Carmela Troncoso EHKD66KWDG

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

Mentions

wikipedia: Wikipedia Carmela Troncoso, Carmela Troncoso (topic). Also Wikidata Q95189897

History

2026-11-02: add by m2/dev

Energy of the exceptional factors EHKFSFFH28

URI	`m2://inv/EHKFSFFH28`
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.02166#QCN1, Energy of the exceptional factors (statement). In R6RF3P6D5A/e1, lemma 5.5

History

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

Definition EHKFZ8SWPT

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

Mentions

wikipedia: Wikipedia Dyadic distribution#OE6P, Definition (definition)

History

2026-11-02: add by m2/dev

EHKG3H8W5F EHKG3H8W5F

URI	`m2://inv/EHKG3H8W5F`
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 2208.07401#SGBN (statement). In GJD7HKCE56/e1, proposition 3.3

History

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

Universal Product Code EHKQTPRFJ5

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#5ZGR, Universal Product Code (unknown)

History

2026-11-02: add by m2/dev

Examples EHM2703JX7

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

Mentions

wikipedia: Wikipedia Möbius geometry#ZAG2, Examples (example)

History

2026-11-02: add by m2/dev

Coherent category EHM7WQHWCW

URI	`m2://inv/EHM7WQHWCW`
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#PBRL, Coherent category (definition). In HX63A1PH1W/e1, definition 6.38

History

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

Statement EHM7YYBK8F

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

Mentions

wikipedia: Wikipedia Seesaw theorem#F9KZ, Statement (statement)

History

2026-11-02: add by m2/dev

EHMGG19SGC EHMGG19SGC

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

Mentions

arxiv: arXiv 0905.1489#5346 (statement). In MZ18CTV65N/e1, theorem 3

History

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

Benjamin Epstein EHMMXPCBCA

URI	`m2://inv/EHMMXPCBCA`
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#9ISG, Benjamin Epstein (topic)

History

2026-11-02: add by m2/dev

EHMSVZD0C9 EHMSVZD0C9

URI	`m2://inv/EHMSVZD0C9`
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.21781#3MCH (statement). In FEQ72D1AX6/e1, proposition 8.1

History

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

EHMXMT8C46 EHMXMT8C46

URI	`m2://inv/EHMXMT8C46`
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 2311.01874#OMEC (statement). In A4TR95VGX2/e1, proposition 3

History

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

Gordon--Griffeth EHN7MV0DK9

URI	`m2://inv/EHN7MV0DK9`
Kind	statement
Layer	research
MSC	05-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.07280#TU81, Gordon--Griffeth (statement). In 1FJKW4WGEN/e1, theorem 2.8

History

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

Hasso Härlen EHN9KRJ2ZT

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WCNL, Hasso Härlen (unknown)

History

2026-11-02: add by m2/dev

Henry Ford EHNENW3251

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#RN8K, Henry Ford (unknown)

History

2026-11-02: add by m2/dev

EHNGA1DHZS EHNGA1DHZS

URI	`m2://inv/EHNGA1DHZS`
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.02634#N01O (statement). In 6YRWCCW45Y/e1, theorem 3.3

History

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

Continuous balances EHNGGNGH0G

URI	`m2://inv/EHNGGNGH0G`
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.21991#P9JM, Continuous balances (statement). In KRBDK9J44X/e1, proposition 2.2

History

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

EHNGPDF94F EHNGPDF94F

URI	`m2://inv/EHNGPDF94F`
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.12357#GLIR (statement). In 1F26AF81XP/e1, lemma 5.8

History

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

Examples EHNKV0JV0Y

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

Mentions

wikipedia: Wikipedia Rank 3 permutation group#JPSG, Examples (example)

History

2026-11-02: add by m2/dev

EHNNB1T3NS EHNNB1T3NS

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

Mentions

arxiv: arXiv 2610.22326#EGI1 (statement). In EAABRG99V8/e1, lemma 5.4

History

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

EHNRGQ8222 EHNRGQ8222

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

Mentions

open_logic: open_logic content/computability/computability-theory/prop-reduce.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 3.11

History

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

EHNVPVJ2X3 EHNVPVJ2X3

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

Mentions

arxiv: arXiv 2504.19468#X4OS (statement). In EY54F2SX08/e1, corollary 7.1

History

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

Half-Laplacian UCP for bounded functions EHNVYF8RW0

URI	`m2://inv/EHNVYF8RW0`
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.17524#6FQF, Half-Laplacian UCP for bounded functions (statement). In MKA4QH9VRE/e1, lemma 2.3

History

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

Fricke symmetry of the dual EHNVZR1J8J

URI	`m2://inv/EHNVZR1J8J`
Kind	conjecture
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.28509#QT03, Fricke symmetry of the dual (conjecture)

History

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

canonicity EHNZJV6A4B

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

Mentions

hott_book: hott_book index/A.1/canonicity, canonicity (concept). In N54F33XE07, index, section A.1

History

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

Fredholm property EHP2E4HRDF

URI	`m2://inv/EHP2E4HRDF`
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.28024#LG4Y, Fredholm property (statement)

History

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

3-SAT EHP6QHAGRB

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

Mentions

wikipedia: Wikipedia Boolean satisfiability problem#58KX, 3-SAT (unknown)

History

2026-11-02: add by m2/dev

Frederick Bagemihl EHP8D2TG1V

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#K503, Frederick Bagemihl (topic)

History

2026-11-02: add by m2/dev

Archimedean coloring EHPCGF9RMQ

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

Mentions

wikipedia: Wikipedia Uniform coloring#HAA1, Archimedean coloring (unknown)

History

2026-11-02: add by m2/dev

Constraint-preserving detection of the residue EHPF8FCGEM

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

Mentions

arxiv: arXiv 2609.28278#YDJ9, Constraint-preserving detection of the residue (statement)

History

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

Scalar extension EHPV5JCC43

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

Mentions

arxiv: arXiv 2609.20230#AMN7, Scalar extension (statement)

History

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

Gap lemma EHPVFMV5V6

URI	`m2://inv/EHPVFMV5V6`
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.18017#QXAY, Gap lemma (statement). In EBSQEQYECS/e1, lemma 3

History

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

EHPVRSTEW5 EHPVRSTEW5

URI	`m2://inv/EHPVRSTEW5`
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 1805.04646#716V (statement). In WDDY7P9T66/e1, proposition 8.1

History

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

Subdivision surface EHQ4EX1JEQ

URI	`m2://inv/EHQ4EX1JEQ`
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#UX0B, Subdivision surface (definition)

History

2026-11-02: add by m2/dev

continuity of inverse functions EHQJ20HX70

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Real-valued functions defined on a subset of $\R$ > continuity of inverse functions, continuity of inverse functions (unknown). Also Mathlib OrderIso.toHomeomorph

History

2026-10-26: add by m2/dev

Unitriangular subgroups and varying Jordan type EHQK0WRENB

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

Mentions

arxiv: arXiv 2609.27204#9HVQ, Unitriangular subgroups and varying Jordan type (example)

History

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

Boundary value problem EHQQVVRDSA

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

Mentions

wikipedia: Wikipedia List of partial differential equation topics#Z2SP, Boundary value problem (problem)

History

2026-11-02: add by m2/dev

EHQSQ804P3 EHQSQ804P3

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

Mentions

arxiv: arXiv 2610.13972#YPZI (definition). In S1KHNS8XQM/e1, definition 9.1

History

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

EHQTP8CX3T EHQTP8CX3T

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-59 (exercise). In E59CDZA4DP, exercise, section 11.5.2

History

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

EHQZQNEMHE EHQZQNEMHE

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-15 (exercise). In Y91XFCEVHQ, exercise, section 5.7

History

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

Tangent cone and log function EHR23C6YMV

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

Mentions

arxiv: arXiv 2610.17909#8L29, Tangent cone and log function (definition). In YXZX6Z8S6A/e1, definition 2.11

History

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

Generalizations EHR8NJ01A8

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

Mentions

wikipedia: Wikipedia Boolean domain#Y5NY, Generalizations (statement)

History

2026-11-02: add by m2/dev

notes, musical EHRECC1Q95

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

Mentions

applied_combinatorics: applied_combinatorics index/15.5.1/notes-musical, notes, musical (concept). In QKM9DD2H56, index, section 15.5.1

History

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

Example EHRFRHZM2T

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

Mentions

wikipedia: Wikipedia Prospect theory#5CHT, Example (example)

History

2026-11-02: add by m2/dev

EHRGHEKZNG EHRGHEKZNG

URI	`m2://inv/EHRGHEKZNG`
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.33238#J47B (statement). In MVWXMDFP3P/e1, theorem 4.9

History

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

C.P. Papaïoannou EHRK9BKD0Y

URI	`m2://inv/EHRK9BKD0Y`
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#6MIY, C.P. Papaïoannou (topic)

History

2026-11-02: add by m2/dev

EHRMJENB5V EHRMJENB5V

URI	`m2://inv/EHRMJENB5V`
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.22909#N6HN (statement)

History

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

EHRNPRDKJP EHRNPRDKJP

URI	`m2://inv/EHRNPRDKJP`
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 2312.14445#GCAA (statement). In V56MKF0KW2/e1, corollary 3.6

History

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

Local smoothing EHRQXK303H

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

Mentions

arxiv: arXiv 2610.11968#TVIG, Local smoothing (statement). In X6E7P2ACAS/e1, proposition 2.2

History

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

Related results EHS1W3QP9C

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

Mentions

wikipedia: Wikipedia Strongly connected component#3HA7, Related results (statement)

History

2026-11-02: add by m2/dev

Examples EHS7730107

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

Mentions

wikipedia: Wikipedia Maximal torus#3ZR3, Examples (example)

History

2026-11-02: add by m2/dev

E8 EHSGFE9909

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

Mentions

wikidata: Wikidata Q1200244, E8 (unknown). Also nLab E8
wikipedia: Wikipedia E8 (mathematics), E8 (definition). Also Wikidata Q1200244

History

2026-10-26: add by m2/dev

The 2D frequency estimate EHSGV0H4ZK

URI	`m2://inv/EHSGV0H4ZK`
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.29047#V1Y8, The 2D frequency estimate (statement)

History

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

Intrinsic compression EHSJSCDYS4

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

Mentions

arxiv: arXiv 2609.27799#2ZFF, Intrinsic compression (statement)

History

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

Characterization EHSQDA6C1B

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

Mentions

wikipedia: Wikipedia Q-Weibull distribution#5GO8, Characterization (statement)

History

2026-11-02: add by m2/dev

Equivalence of the LDP and the Laplace principle EHSRC2923M

URI	`m2://inv/EHSRC2923M`
Kind	statement
Layer	research
MSC	60-XX, 81-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.40271#1092, Equivalence of the LDP and the Laplace principle (statement). In 9MXMRKFKDW/e1, lemma 3.5

History

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

Theorem 4 EHSWM28J0Q

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

Mentions

wikipedia: Wikipedia Orlicz sequence space#W7I9, Theorem 4 (statement)

History

2026-11-02: add by m2/dev

Flatness criterion for low regularity semi-Riemannian metrics EHT3PDHH61

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

Mentions

arxiv: arXiv 2406.06762#3FO4, Flatness criterion for low regularity semi-Riemannian metrics (statement). In J99PFFJXPE/e1, theorem 1.2

History

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

Example EHT3QJPED5

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

Mentions

wikipedia: Wikipedia Process performance index#FNQ1, Example (example)

History

2026-11-02: add by m2/dev

Joseph Diestel EHT6Q2PP04

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

Mentions

wikipedia: Wikipedia Joseph Diestel, Joseph Diestel (topic). Also Wikidata Q41750323

History

2026-11-02: add by m2/dev

Calcpad EHTJ694Q5E

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#UREC, Calcpad (definition)

History

2026-11-02: add by m2/dev

propositional, resizing EHTK7TPV4K

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

Mentions

hott_book: hott_book index/B.6/propositional-resizing, propositional, resizing (concept). In N54F33XE07, index, section B.6

History

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

Statement EHTS6XP617

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

Mentions

wikipedia: Wikipedia Ruzsa triangle inequality#YO54, Statement (statement)

History

2026-11-02: add by m2/dev

EHTTH3MT7D EHTTH3MT7D

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

Mentions

arxiv: arXiv 2609.28781#OCXB (statement)

History

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

List of network theory topics EHTW21VGFR

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

Mentions

wikipedia: Wikipedia List of network theory topics, List of network theory topics (topic). Also Wikidata Q6630386

History

2026-11-02: add by m2/dev

Alain Connes EHTY777ZMN

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

Mentions

wikipedia: Wikipedia List of functional analysis topics#XP1J, Alain Connes (topic)

History

2026-11-02: add by m2/dev

EHTZ89K0B9 EHTZ89K0B9

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

Mentions

napkin: napkin tex/alg-geom/sheaves.tex#definition-7 (definition). In RZP28ERRZV, definition, section 25.4

History

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

EHV0YHVDDG EHV0YHVDDG

URI	`m2://inv/EHV0YHVDDG`
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.02141#WDKX (statement). In 5AB8YPS19N/e1, proposition 5.3

History

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

Algorithm EHV3CZHSVF

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

Mentions

wikipedia: Wikipedia Wang and Landau algorithm#ZXV1, Algorithm (definition)

History

2026-11-02: add by m2/dev

Applications EHV5BCE6YP

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

Mentions

wikipedia: Wikipedia Systems theory#AYFO, Applications (example)

History

2026-11-02: add by m2/dev

Cahn–Hilliard equation EHVKFCFMK6

URI	`m2://inv/EHVKFCFMK6`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Cahn–Hilliard equation DKN15NVKSB

Mentions

wikidata: Wikidata Q5017440, Cahn–Hilliard equation (unknown). Also MathWorld Cahn-HilliardEquation
wikipedia: Wikipedia Cahn–Hilliard equation, Cahn–Hilliard equation (definition). Also Wikidata Q5017440

History

2026-10-26: add by m2/dev

EHVQ7YP432 EHVQ7YP432

URI	`m2://inv/EHVQ7YP432`
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.33050#JKQ9 (example). In VDSBMQ0G9W/e1, example 5.9

History

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

Local cell bound, single deviation EHW1XQM2D2

URI	`m2://inv/EHW1XQM2D2`
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.25120#EYJK, Local cell bound, single deviation (statement)

History

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

EHW6542G58 EHW6542G58

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-42 (proof). In VNMV985MXX, proof, section 3.2

History

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

Statistical conclusion validity EHW7TNM0MQ

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

Mentions

wikipedia: Wikipedia Statistical conclusion validity, Statistical conclusion validity (definition). Also Wikidata Q7604384

History

2026-11-02: add by m2/dev

EHWHFNKXHF EHWHFNKXHF

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

Mentions

arxiv: arXiv 2610.02806#BKT4 (statement). In F4A354Y5NC/e1, lemma 8.3

History

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

EHWHNDAY9D EHWHNDAY9D

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

Mentions

arxiv: arXiv 2610.12912#O1ZU (statement). In PDKBKKJ4BV/e1, lemma 3.12

History

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

EHWHQPFFPA EHWHQPFFPA

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

Mentions

arxiv: arXiv 2610.16123#MAOV (statement). In 6VR4TY5BGV/e1, proposition 6.6

History

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

EHWKP6DMXB EHWKP6DMXB

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

Mentions

arxiv: arXiv 2609.35204#373Y (statement). In 8ZZNDYK76B/e1, proposition 4.1

History

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

Šidák correction for t-test EHWN7QX68F

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

Mentions

wikipedia: Wikipedia Šidák correction for t-test, Šidák correction for t-test (definition). Also Wikidata Q25303964

History

2026-11-02: add by m2/dev

EHX0RCM537 EHX0RCM537

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

History

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

Symmetry EHX5E7QSK1

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

Mentions

wikipedia: Wikipedia Function of several real variables#VZS9, Symmetry (statement)

History

2026-11-02: add by m2/dev

EHXAMPEGBD EHXAMPEGBD

URI	`m2://inv/EHXAMPEGBD`
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.39307#RMIX (statement). In QFBGPGRP1P/e1, lemma 3.1

History

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

EHXCWT1269 EHXCWT1269

URI	`m2://inv/EHXCWT1269`
Kind	statement
Layer	research
MSC	11-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 2508.21045#HTY0 (statement). In CGA36VE1C5/e1, theorem 4

History

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

EHXJ784VZE EHXJ784VZE

URI	`m2://inv/EHXJ784VZE`
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 1912.08672#N2S8 (statement). In 55X5V0M3K7/e1, corollary

History

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

Spatial association EHXZ5AKG9W

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

Mentions

wikipedia: Wikipedia Spatial analysis#N6RR, Spatial association (unknown)

History

2026-11-02: add by m2/dev

Digital signature EHXZYGWN5M

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

Mentions

wikipedia: Wikipedia Digital signature, Digital signature (definition). Also Wikidata Q220849

History

2026-11-02: add by m2/dev

Core EHY18EKV5B

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

Mentions

wikipedia: Wikipedia Core (group theory), Core (definition). Also Wikidata Q3010804

History

2026-11-02: add by m2/dev

EHY4Y6MKFN EHY4Y6MKFN

URI	`m2://inv/EHY4Y6MKFN`
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.24185#FMU4 (definition)

History

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

EHY5NZH63R EHY5NZH63R

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

Mentions

arxiv: arXiv 2609.23660#622E (definition)

History

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

Multiple correspondence analysis EHYAJH89PG

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#1L5X, Multiple correspondence analysis (definition)
wikipedia: Wikipedia List of statistics articles#FRXD, Multiple correspondence analysis (definition)

History

2026-11-02: add by m2/dev

EHYF8D9971 EHYF8D9971

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

Mentions

arxiv: arXiv 2609.32174#T3M8 (statement). In GHKR740SG3/e1, lemma 2.5

History

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

François Loeser EHYHXX1C2V

URI	`m2://inv/EHYHXX1C2V`
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 Q470460, François Loeser (unknown). Also nLab François Loeser
wikipedia: Wikipedia François Loeser, François Loeser (topic). Also Wikidata Q470460

History

2026-10-26: add by m2/dev

EHYNGD558M EHYNGD558M

URI	`m2://inv/EHYNGD558M`
Kind	definition
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 2111.07409#G5B9 (definition). In KWH4QJDPWC/e1, definition 4.7

History

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

Augustin-Louis Cauchy EHYP8S7X44

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

Mentions

wikipedia: Wikipedia List of geometers#N1ZT, Augustin-Louis Cauchy (topic)

History

2026-11-02: add by m2/dev

Upper asymptotics in terms of box dimensions EHYVDKB3ES

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

Mentions

arxiv: arXiv 2505.10801#RT1J, Upper asymptotics in terms of box dimensions (statement). In BWJS3H55WH/e1, proposition 24

History

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

Commutative EHYZK250WB

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

Mentions

wikipedia: Wikipedia List of group theory topics#LHSG, Commutative (definition)

History

2026-11-02: add by m2/dev

Ratio test EHZ152T7VM

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#prop-16, Ratio test (statement). In E59CDZA4DP, prop, section 10.5.6

History

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

EHZ76699X5 EHZ76699X5

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

Mentions

arxiv: arXiv math/0406514#QI2U (statement). In CY1FE8W1ZW/e1, proposition 0.120

History

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

Great inverted pentagonal hexecontahedron EHZA40S6WG

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

Mentions

wikidata: Wikidata Q5600368, Great inverted pentagonal hexecontahedron (unknown). Also MathWorld GreatInvertedPentagonalHexecontahedron

History

2026-10-26: add by m2/dev

Hugo Krawczyk EHZAY188GK

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

Mentions

wikipedia: Wikipedia Hugo Krawczyk, Hugo Krawczyk (topic). Also Wikidata Q21722636

History

2026-11-02: add by m2/dev

EHZJ786XQM EHZJ786XQM

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

Mentions

arxiv: arXiv 2610.07001#CTPB (statement). In 5DFTVG7FFF/e1, proposition 3.5

History

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

Riordan array (1/(1+2x), x/(1+x)). EHZNPE53EV

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

Mentions

wikidata: Wikidata Q100194128, Riordan array (1/(1+2x), x/(1+x)). (object). Also OEIS A103316

History

2026-10-26: add by m2/dev