Inventory rows M2

Invariance of the preference-direction field M2016E2SV6

URI	`m2://inv/M2016E2SV6`
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.05428#C7EV, Invariance of the preference-direction field (statement). In 31MQPCA8SH/e1, lemma 3.1

History

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

M204TVXCB4 M204TVXCB4

URI	`m2://inv/M204TVXCB4`
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.15037#M71S (statement). In 9XCA9T80GJ/e1, proposition 5.1.1

History

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

M207BG2K1F M207BG2K1F

URI	`m2://inv/M207BG2K1F`
Kind	statement
Layer	research
MSC	11-XX, 26-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.14160#LIXP (statement). In Y4TP36M0C7/e1, proposition 9

History

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

M209P4GAJB M209P4GAJB

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

Mentions

arxiv: arXiv 2610.16834#TR3D (statement). In Q0DTV6PJJW/e1, proposition 4.1

History

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

M20A5EDNCC M20A5EDNCC

URI	`m2://inv/M20A5EDNCC`
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 2610.18287#YDTY (statement). In ZXZN6RMN38/e1, proposition 23

History

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

Gohberg--Krein M20EPE55C5

URI	`m2://inv/M20EPE55C5`
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 2610.07957#JIUO, Gohberg--Krein (statement). In RXFKX8M8P0/e1, theorem 1.1

History

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

M20FE77GG4 M20FE77GG4

URI	`m2://inv/M20FE77GG4`
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.10086#HVBT (statement). In NP9X9CAK19/e1, theorem 1.1

History

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

M20FMXY6X2 M20FMXY6X2

URI	`m2://inv/M20FMXY6X2`
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.21730#8L1G (statement). In BM64QM6Q7J/e1, proposition 2.1

History

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

Scalar sections M20NXGTZ6N

URI	`m2://inv/M20NXGTZ6N`
Kind	statement
Layer	research
MSC	14-XX, 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 2610.09295#MQEL, Scalar sections (statement). In 29X0B511NF/e1, corollary 3.2

History

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

Global one-variable structure M20R8K7K1Q

URI	`m2://inv/M20R8K7K1Q`
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.24931#FQWS, Global one-variable structure (statement)

History

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

Double extension set theory M210YHVYSX

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

Mentions

wikipedia: Wikipedia Double extension set theory, Double extension set theory (definition). Also Wikidata Q108146676

History

2026-11-02: add by m2/dev

The replica-symmetric branch M213JHX6T4

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

Mentions

arxiv: arXiv 2610.06480#QX3I, The replica-symmetric branch (statement). In 2Y47E704Z9/e1, lemma F.3

History

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

capture in chess M216KGTQTN

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

Mentions

wikidata: Wikidata Q3984344, capture in chess (definition). Also ProofWiki Definition:Chess/Rules/Capture

History

2026-10-26: add by m2/dev

M21BJ2VZ0B M21BJ2VZ0B

URI	`m2://inv/M21BJ2VZ0B`
Kind	statement
Layer	research
MSC	37-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 2607.25960#D2D8 (statement). In 13GSWBXPCM/e1, lemma B.2

History

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

Properties M21CAACHRF

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

Mentions

wikipedia: Wikipedia Fractional Brownian motion#PDAQ, Properties (statement)

History

2026-11-02: add by m2/dev

M21CTPXADX M21CTPXADX

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

Mentions

arxiv: arXiv 2609.31907#6EL6 (definition). In 6B2PCEGCYZ/e1, definition 5.12

History

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

setoid M21KZEBGRW

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

Mentions

wikipedia: Wikipedia Glossary of category theory#U1UB, setoid (definition)

History

2026-11-02: add by m2/dev

Poincaré–Birkhoff–Witt theorem M21MQ7V00J

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

Mentions

wikipedia: Wikipedia Universal enveloping algebra#1GEY, Poincaré–Birkhoff–Witt theorem (statement)

History

2026-11-02: add by m2/dev

Weyl's theorem M2227DEMTF

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

Mentions

wikipedia: Wikipedia Unitarian trick#8YDC, Weyl's theorem (statement)

History

2026-11-02: add by m2/dev

M222Q4G9CT M222Q4G9CT

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

History

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

Allowed code space M2258ZRQ5B

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

Mentions

arxiv: arXiv 2609.30279#41XQ, Allowed code space (definition). In DPWKG7FD0H/e1, definition 3.1

History

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

M2265K2EQD M2265K2EQD

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

Mentions

arxiv: arXiv 2609.39700#0SC5 (statement). In E7W2HDNEKJ/e1, proposition 11.4

History

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

Definition M22E0V6A66

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

Mentions

wikipedia: Wikipedia Λ-ring#DIVV, Definition (definition)

History

2026-11-02: add by m2/dev

Killing–Hopf theorem M22JEQ4W9P

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

Mentions

wikipedia: Wikipedia List of theorems#E1H6, Killing–Hopf theorem (statement)

History

2026-11-02: add by m2/dev

Path connectedness M22Q91D7RN

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

History

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

M22RDM4B7A M22RDM4B7A

URI	`m2://inv/M22RDM4B7A`
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.03520#ZKRA (statement). In CSRZ9CWK69/e1, theorem 7.6

History

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

Applications M23DZMRE1E

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

Mentions

wikipedia: Wikipedia P-recursive equation#TTEY, Applications (example)

History

2026-11-02: add by m2/dev

Borel–Cantelli Lemma for measure spaces M23FQ29JK4

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

Mentions

wikipedia: Wikipedia Borel–Cantelli lemma#HEZC, Borel–Cantelli Lemma for measure spaces (statement)

History

2026-11-02: add by m2/dev

Examples M23JGDD1A0

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

Mentions

wikipedia: Wikipedia Trace monoid#YUUJ, Examples (example)

History

2026-11-02: add by m2/dev

M23MBKYX88 M23MBKYX88

URI	`m2://inv/M23MBKYX88`
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.20469#TEHQ (statement)

History

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

Substitution cipher M23RF643EC

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

Mentions

wikipedia: Wikipedia List of permutation topics#X0Y2, Substitution cipher (definition)
wikipedia: Wikipedia List of cryptosystems#UBYA, Substitution cipher (definition)

History

2026-11-02: add by m2/dev

M2431BK375 M2431BK375

URI	`m2://inv/M2431BK375`
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.29597#9MNS (statement)

History

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

Max O. Lorenz M249A410CJ

URI	`m2://inv/M249A410CJ`
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#SR7R, Max O. Lorenz (unknown)

History

2026-11-02: add by m2/dev

Distinct principles M24BEBZP14

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

Mentions

wikipedia: Wikipedia Action principles#UPC4, Distinct principles (statement)

History

2026-11-02: add by m2/dev

abelian extension M24DSQYBRX

URI	`m2://inv/M24DSQYBRX`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Abelian extension EQDEXBWGJH

Mentions

wikidata: Wikidata Q318705, abelian extension (concept). Also EoM Abelian_extension, MathWorld AbelianExtension
wikipedia: Wikipedia Abelian extension, Abelian extension (definition). Also Wikidata Q318705

History

2026-10-26: add by m2/dev

disjoint union M24H9HFD38

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

Mentions

wikidata: Wikidata Q842620, disjoint union (unknown). Also MathWorld DisjointUnion, nLab disjoint union
wikipedia: Wikipedia Disjoint union, Disjoint union (definition). Also Wikidata Q842620

History

2026-10-26: add by m2/dev

Quadratically closed field M24JN1SB73

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

Mentions

wikipedia: Wikipedia Quadratically closed field, Quadratically closed field (definition). Also Wikidata Q7268376

History

2026-11-02: add by m2/dev

History of algebraic logic M24X607HQP

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

Mentions

wikipedia: Wikipedia Algebraic logic#66LA, History of algebraic logic (unknown)

History

2026-11-02: add by m2/dev

Feynman propagator M24YAM1PSW

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

Mentions

wikipedia: Wikipedia Propagator#S325, Feynman propagator (unknown)

History

2026-11-02: add by m2/dev

Almost discrete M24YF3QZV9

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

Mentions

wikipedia: Wikipedia Glossary of general topology#3LY2, Almost discrete (definition)

History

2026-11-02: add by m2/dev

Langlands program M251RQZH58

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#ZNJR, Langlands program (definition)
wikipedia: Wikipedia List of Lie groups topics#UROR, Langlands program (definition)
wikipedia: Wikipedia List of number theory topics#8I4T, Langlands program (definition)
wikipedia: Wikipedia List of harmonic analysis topics#EME0, Langlands program (definition)

History

2026-11-02: add by m2/dev

Changing recurrence coefficients M25441CVPY

URI	`m2://inv/M25441CVPY`
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.19930#1DX6, Changing recurrence coefficients (statement). In 7J7F22NVHM/e1, lemma 2.1

History

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

Example M25DEPE38X

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

Mentions

wikipedia: Wikipedia Mosaic plot#4LCW, Example (example)

History

2026-11-02: add by m2/dev

William McCrea M25E2HS2JE

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

Mentions

wikidata: Wikidata Q1385648, William McCrea (unknown). Also ProofWiki Mathematician:William_Hunter_McCrea

History

2026-10-26: add by m2/dev

Theorem M25HYQ8BH8

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

Mentions

wikipedia: Wikipedia Quaternionic eigenvalue problem#MNXG, Theorem (statement)

History

2026-11-02: add by m2/dev

Kepler's equation M25J4Z4MQ7

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

Mentions

wikipedia: Wikipedia List of things named after Johannes Kepler#YPI6, Kepler's equation (definition)

History

2026-11-02: add by m2/dev

*{Theorem C M261ZMCX00

URI	`m2://inv/M261ZMCX00`
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.20153#8VFZ, *{Theorem C (statement). In EYB107TM4Q/e1, proposition 5.3

History

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

Well-posedness: the antisymmetric case M2631TRVW5

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

Mentions

arxiv: arXiv 2609.20998#S0Q3, Well-posedness: the antisymmetric case (statement)

History

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

Independence of the bordering convention M263GKNHKF

URI	`m2://inv/M263GKNHKF`
Kind	statement
Layer	research
MSC	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 2609.27966#M8MT, Independence of the bordering convention (statement)

History

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

Ascending (Unstable) Manifold M26AGXM60J

URI	`m2://inv/M26AGXM60J`
Kind	definition
Layer	research
MSC	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.01937#7FET, Ascending (Unstable) Manifold (definition). In BAEDMM7YM5/e1, definition 11

History

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

finite intersection property M26D8FKTRB

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

Mentions

wikipedia: Wikipedia Glossary of set theory#6QCL, finite intersection property (definition)

History

2026-11-02: add by m2/dev

function of bounded variation M26GK0BWZ1

URI	`m2://inv/M26GK0BWZ1`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Bounded variation A8251BHCMP

Mentions

wikidata: Wikidata Q829653, function of bounded variation (unknown). Also MathWorld BoundedVariation
wikipedia: Wikipedia Bounded variation, Bounded variation (definition). Also Wikidata Q829653

History

2026-10-26: add by m2/dev

Examples M26PDVP30E

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

Mentions

wikipedia: Wikipedia Generalization#AEOV, Examples (example)

History

2026-11-02: add by m2/dev

negative integer M270E8S361

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

Mentions

wikidata: Wikidata Q18659417, negative integer (unknown). Also MathWorld NegativeInteger

History

2026-10-26: add by m2/dev

Nephroid M271YXZEE3

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#PBLF, Nephroid (definition)
wikipedia: Wikipedia List of curves#CK04, Nephroid (definition)

History

2026-11-02: add by m2/dev

M27EKF3SG3 M27EKF3SG3

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

Mentions

arxiv: arXiv 2610.20583#WGXL (statement). In 5YEEPDPAQE/e1, proposition 2.3

History

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

Definition M27RXWE44G

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

Mentions

wikipedia: Wikipedia Isometry#7RTJ, Definition (definition)

History

2026-11-02: add by m2/dev

M27Y2PG4NZ M27Y2PG4NZ

URI	`m2://inv/M27Y2PG4NZ`
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 2609.26619#V9AE (statement)

History

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

Cluster sampling M282F0XB8F

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

Mentions

wikipedia: Wikipedia List of statistics articles#HNL6, Cluster sampling (definition)

History

2026-11-02: add by m2/dev

univalence axiom M2851PKK38

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

Mentions

hott_book: hott_book index/3.9/univalence-axiom, univalence axiom (concept). In N54F33XE07, index, section 3.9

History

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

Order polytope M288J39NJ9

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

Mentions

wikipedia: Wikipedia Order polytope, Order polytope (definition). Also Wikidata Q85791185

History

2026-11-02: add by m2/dev

M28BRA0R7S M28BRA0R7S

URI	`m2://inv/M28BRA0R7S`
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 2609.20516#6XKQ (definition)

History

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

M28EABQQ58 M28EABQQ58

URI	`m2://inv/M28EABQQ58`
Kind	statement
Layer	research
MSC	14-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 2610.13100#P6K3 (statement). In CC6S1HVK0T/e1, lemma E.8

History

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

elliptic coordinate system M28W8SD2WB

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

Mentions

wikidata: Wikidata Q1332432, elliptic coordinate system (unknown). Also MathWorld EllipticCylindricalCoordinates
wikidata: Wikidata Q5365796, elliptic cylindrical coordinates (unknown). Also MathWorld EllipticCylindricalCoordinates
wikipedia: Wikipedia Elliptic coordinate system, Elliptic coordinate system (definition). Also Wikidata Q1332432
wikipedia: Wikipedia Elliptic cylindrical coordinates, Elliptic cylindrical coordinates (definition). Also Wikidata Q5365796

History

2026-10-26: add by m2/dev

Mike Develin M28XB3XSD1

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#INNY, Mike Develin (unknown)

History

2026-11-02: add by m2/dev

M28XGHVV9J M28XGHVV9J

URI	`m2://inv/M28XGHVV9J`
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.38493#R8XW (statement). In WTA8VGP6B1/e1, theorem 2.1

History

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

M28XQ3FMG3 M28XQ3FMG3

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

Mentions

arxiv: arXiv 2610.12013#VJKP (statement). In 3V26T0265C/e1, proposition 3.2

History

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

M290H4Y4RA M290H4Y4RA

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-1 (exercise). In P1C114YBXG, problem, section G

History

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

M2926ZPKQ7 M2926ZPKQ7

URI	`m2://inv/M2926ZPKQ7`
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.27646#O0ZJ (statement)

History

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

M295MZDWW7 M295MZDWW7

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

Mentions

arxiv: arXiv 2610.12329#ZPJY (statement). In ZJQB9W60T6/e1, corollary 2.10

History

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

M295Q3P0E3 M295Q3P0E3

URI	`m2://inv/M295Q3P0E3`
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 1601.02354#2K7H (statement). In 3YSZKHNCRA/e1, theorem 3

History

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

M296KWQYN2 M296KWQYN2

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/ImagesInverseImages.tex#problem-8 (exercise). In P1C114YBXG, problem, section C

History

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

Dark matter M2985AD4DF

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

Mentions

wikipedia: Wikipedia List of mathematical topics in relativity#0LGB, Dark matter (unknown)

History

2026-11-02: add by m2/dev

M29FC8G0EQ M29FC8G0EQ

URI	`m2://inv/M29FC8G0EQ`
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#RHFF (statement). In YPH7NS5AAQ/e1, proposition 5.7

History

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

M29VF6231V M29VF6231V

URI	`m2://inv/M29VF6231V`
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.26500#6A1V (statement)

History

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

Ji-Hyun Lee M29VT07HYQ

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

Mentions

wikipedia: Wikipedia Ji-Hyun Lee (statistician), Ji-Hyun Lee (topic). Also Wikidata Q61741448

History

2026-11-02: add by m2/dev

M2A1VQX3FP M2A1VQX3FP

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

Mentions

arxiv: arXiv 2609.33584#K7Q4 (statement). In 3HFBAWQCA1/e1, proposition 7.1

History

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

M2A50X4D6Y M2A50X4D6Y

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

Mentions

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

History

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

Trajectory M2A5JD7BAX

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

Mentions

wikipedia: Wikipedia List of curves topics#PVY9, Trajectory (unknown)

History

2026-11-02: add by m2/dev

Properties M2A5KRB221

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

Mentions

wikipedia: Wikipedia Perfect ring#FR8Q, Properties (statement)

History

2026-11-02: add by m2/dev

Luc Tartar M2A6ZSGS09

URI	`m2://inv/M2A6ZSGS09`
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#H4E6, Luc Tartar (unknown)

History

2026-11-02: add by m2/dev

M2AC42AAQY M2AC42AAQY

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

Mentions

arxiv: arXiv 2609.27366#E5M3 (statement)

History

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

Denjoy theorem M2AD0T074B

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

Mentions

wikipedia: Wikipedia List of theorems#9VLF, Denjoy theorem (statement)

History

2026-11-02: add by m2/dev

M2AGRPZTDQ M2AGRPZTDQ

URI	`m2://inv/M2AGRPZTDQ`
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.05767#RYQF (statement). In BG6MTYCXWS/e1, proposition 4.9

History

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

M2AGZ2JRVW M2AGZ2JRVW

URI	`m2://inv/M2AGZ2JRVW`
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.01199#NTEO (statement). In XZ4MRWR77Q/e1, lemma 2

History

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

Kraft–McMillan inequality M2AND09JJ9

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

Mentions

mathlib_1000: mathlib_1000 Q371685, Kraft–McMillan theorem (statement). Also Wikidata Q371685
thousand_plus: thousand_plus Q371685, Kraft–McMillan theorem (statement). Also Wikidata Q371685, Wikipedia Kraft–McMillan theorem
wikipedia: Wikipedia Kraft–McMillan inequality, Kraft–McMillan inequality (statement). Also Wikidata Q371685

History

2026-10-26: add by m2/dev

M2AYGVBQGS M2AYGVBQGS

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

Mentions

arxiv: arXiv 1707.06795#O7SP (problem). In 32MMSEVHYN/e1, problem 1.5

History

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

21st century in epidemiology M2AYZJFWGQ

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

Mentions

wikipedia: Wikipedia Epidemiology#A6YU, 21st century in epidemiology (unknown)

History

2026-11-02: add by m2/dev

Uniform approximation M2B16J1BJE

URI	`m2://inv/M2B16J1BJE`
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.34474#96KR, Uniform approximation (statement). In R8417G6ABM/e1, proposition 3.1

History

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

M2B3JAKCNF M2B3JAKCNF

URI	`m2://inv/M2B3JAKCNF`
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.22847#4JNV (statement)

History

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

Zero dynamics M2B4Q26SF7

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

Mentions

wikipedia: Wikipedia Zero dynamics, Zero dynamics (definition). Also Wikidata Q15837116

History

2026-11-02: add by m2/dev

Triple integral M2BG62R725

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

Mentions

wikipedia: Wikipedia Multiple integral#F4GD, Triple integral (unknown)

History

2026-11-02: add by m2/dev

Critical-point classification M2BMVE2KBS

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

Mentions

arxiv: arXiv 2610.19953#0QQC, Critical-point classification (statement). In CHPJWBREES/e1, theorem 3.1

History

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

Formal definition M2BMZYPFDR

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

Mentions

wikipedia: Wikipedia Cokernel#F087, Formal definition (definition)

History

2026-11-02: add by m2/dev

M2BN67N2SQ M2BN67N2SQ

URI	`m2://inv/M2BN67N2SQ`
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#96GS (statement). In A4TR95VGX2/e1, theorem 5.3.6

History

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

M2BNQVS00D M2BNQVS00D

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

Mentions

arxiv: arXiv 2610.18101#T5B0 (statement). In XXN6KKXPYF/e1, lemma 8.2

History

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

Peter Sanders M2BS64FV2S

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#5EJW, Peter Sanders (unknown)

History

2026-11-02: add by m2/dev

M2BSH67S78 M2BSH67S78

URI	`m2://inv/M2BSH67S78`
Kind	statement
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#BPGG (statement). In B9EX6K51RD/e1, proposition 4.1

History

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

Fibonacci polynomials M2BXVFD8YX

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

Mentions

wikipedia: Wikipedia List of polynomial topics#JHCV, Fibonacci polynomials (definition)

History

2026-11-02: add by m2/dev

M2BYAKFAVV M2BYAKFAVV

URI	`m2://inv/M2BYAKFAVV`
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 2303.11021#I05F (statement). In B2ZK4DF2PM/e1, theorem 4

History

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

Classical finite-monodromy criterion M2C15W56Y9

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

Mentions

arxiv: arXiv 2609.25805#5Y4S, Classical finite-monodromy criterion (statement)

History

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

M2C5C6PCRG M2C5C6PCRG

URI	`m2://inv/M2C5C6PCRG`
Kind	definition
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.11700#E52H (definition). In RW9AZQ1YZ2/e1, definition 1

History

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

Extensions M2C85CD2KW

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

Mentions

wikipedia: Wikipedia Energy-based model#CK0U, Extensions (statement)

History

2026-11-02: add by m2/dev

Rigidity at the universal endpoint M2C8RSQ1NG

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

Mentions

arxiv: arXiv 2609.38228#074G, Rigidity at the universal endpoint (statement). In 9YAE8FNQST/e1, proposition 4.13

History

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

M2CGFV6107 M2CGFV6107

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

Mentions

arxiv: arXiv 2610.19360#648F (statement). In MFCW5CY96C/e1, lemma 50

History

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

Riemann-Lebesgue lemma M2CGWZQ0Y9

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

Mentions

mathlib_overview: mathlib_overview Analysis > Fourier analysis > Riemann-Lebesgue lemma, Riemann-Lebesgue lemma (unknown). Also Mathlib tendsto_integral_exp_inner_smul_cocompact

History

2026-10-26: add by m2/dev

M2CVZJD6VT M2CVZJD6VT

URI	`m2://inv/M2CVZJD6VT`
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 2508.13122#COHL (statement). In PX2GWH86PN/e1, lemma 3.2

History

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

M2D2R654JF M2D2R654JF

URI	`m2://inv/M2D2R654JF`
Kind	definition
Layer	research
Sources	1
Outcome	record (an item of a paper that no node asks 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#Q425 (definition). In CY1FE8W1ZW/e1, definition 0.271

History

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

Dense subgraph M2D3NSKM3K

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

Mentions

wikipedia: Wikipedia Dense subgraph, Dense subgraph (definition). Also Wikidata Q5259307

History

2026-11-02: add by m2/dev

M2D4SPMHTZ M2D4SPMHTZ

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

Mentions

arxiv: arXiv 2610.04434#J0YD (statement). In EY0QS456EC/e1, lemma 6.3

History

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

Lefschetz manifold M2D8PJ4SDS

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

Mentions

wikipedia: Wikipedia Lefschetz manifold, Lefschetz manifold (definition). Also Wikidata Q6516732

History

2026-11-02: add by m2/dev

M2D93DV3E9 M2D93DV3E9

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

Mentions

arxiv: arXiv 2609.36411#D97L (statement). In 9QG5CND2RQ/e1, lemma 7.2

History

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

M2D9P16C7Y M2D9P16C7Y

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

Mentions

arxiv: arXiv 2609.39700#PMG3 (statement). In E7W2HDNEKJ/e1, corollary 6.34

History

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

General theorem M2DK4XAXR1

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

Mentions

wikipedia: Wikipedia Solving quadratic equations with continued fractions#YH6O, General theorem (statement)

History

2026-11-02: add by m2/dev

Classical Wiener measure M2E19CBZ05

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

Mentions

wikipedia: Wikipedia Classical Wiener space#CXAD, Classical Wiener measure (unknown)

History

2026-11-02: add by m2/dev

Special cases M2E6Q94E8N

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

Mentions

wikipedia: Wikipedia Ex-tangential quadrilateral#JU2P, Special cases (statement)

History

2026-11-02: add by m2/dev

MathLib M2EB6HQC78

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

Mentions

wikipedia: Wikipedia Lean (proof assistant)#RZCG, MathLib (unknown)

History

2026-11-02: add by m2/dev

M2EQE3CVQ1 M2EQE3CVQ1

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

Mentions

arxiv: arXiv 2610.22074#6NHY (statement). In F3BKXXPR3K/e1, proposition D.2

History

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

Maximin strategy M2EYT4Y75M

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

Mentions

wikipedia: Wikipedia Simultaneous game#AD26, Maximin strategy (unknown)

History

2026-11-02: add by m2/dev

Gelman, Andrew M2F3PE6Y8Z

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

Mentions

wikipedia: Wikipedia List of statisticians#F5P0, Gelman, Andrew (topic)

History

2026-11-02: add by m2/dev

M2FC980PPE M2FC980PPE

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-106 (exercise). In E9HS8K3A52, exercise, section 4.8.1

History

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

Formal ball M2FJF1RYCZ

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

Mentions

wikipedia: Wikipedia Formal ball, Formal ball (definition). Also Wikidata Q18207202

History

2026-11-02: add by m2/dev

Applications M2FREE7B7E

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

Mentions

wikipedia: Wikipedia SHA-2#YT7J, Applications (example)

History

2026-11-02: add by m2/dev

Properties M2G12EPBVJ

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

Mentions

wikipedia: Wikipedia Dirac equation#L7SD, Properties (statement)

History

2026-11-02: add by m2/dev

Song Sun M2G6RAEC6Z

URI	`m2://inv/M2G6RAEC6Z`
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#HROA, Song Sun (topic)

History

2026-11-02: add by m2/dev

Cell M2G7ZHCWSP

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#OOXN, Cell (definition)

History

2026-11-02: add by m2/dev

Classical verification at $m=1$ M2G8D2ZAVG

URI	`m2://inv/M2G8D2ZAVG`
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.10821#JU4T, Classical verification at $m=1$ (statement). In RWNP4FEE65/e1, proposition 3.27

History

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

M2GAA6H7NV M2GAA6H7NV

URI	`m2://inv/M2GAA6H7NV`
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#1GOR (statement). In B366ACYB37/e1, lemma 4.8

History

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

M2GAWPSRN5 M2GAWPSRN5

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

Mentions

napkin: napkin tex/alg-geom/localization.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 21.8

History

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

Carracastle M2GB1N544W

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

Mentions

wikipedia: Wikipedia List of places with numeric names#NYCJ, Carracastle (unknown)

History

2026-11-02: add by m2/dev

$\Lambda$ is free of the relevance M2GGR3NRST

URI	`m2://inv/M2GGR3NRST`
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.14695#2CX6, $\Lambda$ is free of the relevance (statement). In T15EJSPCNG/e1, proposition 4.1

History

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

Terminal localization and endpoint separation M2GR746ZRE

URI	`m2://inv/M2GR746ZRE`
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.05204#1LFS, Terminal localization and endpoint separation (statement). In ET0TQ8YF7Z/e1, lemma 6.3

History

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

adjacency M2GTQKSJ0K

URI	`m2://inv/M2GTQKSJ0K`
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.25011#X6WD, adjacency (statement)

History

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

M2GYDBX549 M2GYDBX549

URI	`m2://inv/M2GYDBX549`
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.04835#NV6B (statement). In P6PHR4W23S/e1, corollary 1.2

History

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

hitch knot M2GYE28R3A

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

Mentions

wikidata: Wikidata Q17586598, hitch knot (unknown). Also MathWorld Hitch

History

2026-10-26: add by m2/dev

Gödel sentence M2H10KQMPE

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

Mentions

wikipedia: Wikipedia Glossary of logic#4NZ0, Gödel sentence (definition)

History

2026-11-02: add by m2/dev

M2H431QVRC M2H431QVRC

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

Mentions

arxiv: arXiv 2609.31269#5E4Q (example). In ZPT9XCCAPQ/e1, example A.0.4

History

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

M2HBANQ2DK M2HBANQ2DK

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

Mentions

open_logic: open_logic content/set-theory/card-arithmetic/fix.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 69.3

History

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

M2HC8WWNSS M2HC8WWNSS

URI	`m2://inv/M2HC8WWNSS`
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.18536#QS2T (statement). In JM5KKNKK1J/e1, proposition 2.3

History

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

M2HET7N3T5 M2HET7N3T5

URI	`m2://inv/M2HET7N3T5`
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.21632#QQVF (definition). In Q4RZTN2EX6/e1, definition E

History

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

M2HWDZF23Q M2HWDZF23Q

URI	`m2://inv/M2HWDZF23Q`
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.21322#LIIY (statement). In CNDA8DBEGD/e1, lemma 5.2

History

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

Simulation-free wall certificate M2HY121XGG

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

Mentions

arxiv: arXiv 2610.03823#TYLI, Simulation-free wall certificate (statement). In 3RQERTJKSF/e1, theorem 4

History

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

Order-3 apeirogonal tiling M2J87SB3AM

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

Mentions

wikipedia: Wikipedia Order-3 apeirogonal tiling, Order-3 apeirogonal tiling (object). Also Wikidata Q7100394

History

2026-11-02: add by m2/dev

M2J8FX7C91 M2J8FX7C91

URI	`m2://inv/M2J8FX7C91`
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.26307#JYGC (statement)

History

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

M2JANB71AD M2JANB71AD

URI	`m2://inv/M2JANB71AD`
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.06310#2Y80 (statement). In WR5S1V9V8J/e1, proposition 4.6

History

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

Weighted Euler tours M2JG60DDAS

URI	`m2://inv/M2JG60DDAS`
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.06724#WS35, Weighted Euler tours (statement). In W5XG3PGVF1/e1, corollary C.7

History

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

Global uniqueness M2JJHA8EXR

URI	`m2://inv/M2JJHA8EXR`
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.17519#5OF6, Global uniqueness (statement). In H2DNTQ5MKV/e1, corollary 1.3

History

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

M2JJKCV9YE M2JJKCV9YE

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

Mentions

arxiv: arXiv 2610.12108#7IMK (definition). In JQH3FHYPW3/e1, definition 4.2

History

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

Population ecology M2JP8SWZQA

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

Mentions

wikipedia: Wikipedia List of statistics articles#UES9, Population ecology (unknown)

History

2026-11-02: add by m2/dev

Baltic Way M2JQJ130N2

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#QZWD, Baltic Way (unknown)

History

2026-11-02: add by m2/dev

Skorokhod, Anatoliy Volodymyrovych M2JS02JH7H

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

Mentions

wikipedia: Wikipedia List of Ukrainian mathematicians#DG5S, Skorokhod, Anatoliy Volodymyrovych (unknown)

History

2026-11-02: add by m2/dev

The state region M2JX9MF6XE

URI	`m2://inv/M2JX9MF6XE`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.05164#G3F2, The state region (statement). In JY6RYSNXMJ/e1, proposition 7

History

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

M2K6NH8AP5 M2K6NH8AP5

URI	`m2://inv/M2K6NH8AP5`
Kind	statement
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#4B3G (statement). In MS7M2BJS9X/e1, lemma 7.9

History

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

Definition M2K9X0T861

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

Mentions

wikipedia: Wikipedia Radius of curvature#IRVY, Definition (definition)

History

2026-11-02: add by m2/dev

M2KAKT64P6 M2KAKT64P6

URI	`m2://inv/M2KAKT64P6`
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 2609.40214#0GHI (statement). In XD603HRHKC/e1, proposition 6.1

History

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

Forward Serre relation M2KB36RR70

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

Mentions

arxiv: arXiv 2610.04189#GHAL, Forward Serre relation (statement). In 1KRZ5ACTKE/e1, proposition 5.8

History

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

Definition M2KBKG93HM

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

Mentions

wikipedia: Wikipedia Input-to-state stability#SVMB, Definition (definition)

History

2026-11-02: add by m2/dev

Mohamed Majdoub M2KH1B557K

URI	`m2://inv/M2KH1B557K`
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#NSQW, Mohamed Majdoub (unknown)

History

2026-11-02: add by m2/dev

M2KTKPXZT8 M2KTKPXZT8

URI	`m2://inv/M2KTKPXZT8`
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.09278#7ZDP (statement). In XREKHJHAT7/e1, lemma 3.1

History

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

M2KYP9MTYT M2KYP9MTYT

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

Mentions

arxiv: arXiv 2306.16411#J9VO (proof). In QQ222ZDZC0/e1, proof

History

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

Characterizations M2M07HBY89

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

Mentions

wikipedia: Wikipedia Convergent matrix#U5LK, Characterizations (statement)

History

2026-11-02: add by m2/dev

M2M13SQCFK M2M13SQCFK

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

Mentions

hott_book: hott_book setmath.tex#proof-9 (proof). In N54F33XE07, proof, section C.1.4

History

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

Aldous--Broder for general chains M2M7BP4DKX

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

Mentions

arxiv: arXiv 2610.13063#7DV8, Aldous--Broder for general chains (statement). In R5AFFWBMAF/e1, theorem 6.1

History

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

Equivariant formality with finite-monodromy coefficients M2ME3XZSCB

URI	`m2://inv/M2ME3XZSCB`
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.03520#89SM, Equivariant formality with finite-monodromy coefficients (statement). In CSRZ9CWK69/e1, theorem 8.7

History

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

M2MEFJYF8J M2MEFJYF8J

URI	`m2://inv/M2MEFJYF8J`
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 2610.17240#XUZ5 (conjecture). In 59BZ4V9RQW/e1, conjecture 6.6

History

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

Variable endpoints M2MEXMH127

URI	`m2://inv/M2MEXMH127`
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.39706#NRX6, Variable endpoints (statement). In 79Y8JJMKP4/e1, lemma 4.3

History

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

M2MF0YED3G M2MF0YED3G

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

Mentions

arxiv: arXiv 2112.05010#EE7L (statement). In 4SZNPS3Z00/e1, lemma J.8

History

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

generalized M2MNEYKFMY

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#1SHT, generalized (definition)

History

2026-11-02: add by m2/dev

Refinement Order M2MTN56QTA

URI	`m2://inv/M2MTN56QTA`
Kind	definition
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#2RQG, Refinement Order (definition). In 7V3HG30ZGW/e1, definition A.12

History

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

Full spectral-radius large deviation principle M2N232K5P7

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

Mentions

arxiv: arXiv 2610.05498#4RYC, Full spectral-radius large deviation principle (statement). In TJT32RQ9GC/e1, theorem 1.6

History

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

associativity M2N6PVWT7V

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

Mentions

hott_book: hott_book index/5.11/associativity, associativity (concept). In N54F33XE07, index, section 5.11

History

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

Recurrent event analysis M2N6V84AZM

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

Mentions

wikipedia: Wikipedia Recurrent event analysis, Recurrent event analysis (topic). Also Wikidata Q113541104

History

2026-11-02: add by m2/dev

M2NBPXVYY3 M2NBPXVYY3

URI	`m2://inv/M2NBPXVYY3`
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.28501#TK9X (statement)

History

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

Transcendence degree M2NC8CRFTD

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

Mentions

wikipedia: Wikipedia Glossary of field theory#Q07C, Transcendence degree (definition)

History

2026-11-02: add by m2/dev

Leo Sirota M2NGDCNNR3

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#RQ1P, Leo Sirota (unknown)

History

2026-11-02: add by m2/dev

Stochastic upper bound M2NKK3Y7DF

URI	`m2://inv/M2NKK3Y7DF`
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 2610.08766#8Q67, Stochastic upper bound (statement). In QA4JM9SHPA/e1, lemma A.1

History

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

no island M2P3ZSBT6H

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

History

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

M2P5KMV7H7 M2P5KMV7H7

URI	`m2://inv/M2P5KMV7H7`
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 2409.19687#9Z4T (statement). In GWP0HYMDE3/e1, lemma 4

History

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

M2P7AXCH9N M2P7AXCH9N

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

Mentions

arxiv: arXiv math/9201244#YK2F (definition). In 7D3HCN21MK/e1, definition 0.1

History

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

Mikhail Menshikov M2PKJGFPSS

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

Mentions

wikipedia: Wikipedia Mikhail Menshikov, Mikhail Menshikov (topic). Also Wikidata Q6849743

History

2026-11-02: add by m2/dev

M2PTG27FRX M2PTG27FRX

URI	`m2://inv/M2PTG27FRX`
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.29531#QRCZ (statement)

History

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

M2PX8B5TH9 M2PX8B5TH9

URI	`m2://inv/M2PX8B5TH9`
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 2610.09926#2FHK (statement). In ZZY5S3FHMJ/e1, theorem 1.1

History

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

Glossary of tensor theory M2PZ7Y946V

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

Mentions

wikipedia: Wikipedia Glossary of tensor theory, Glossary of tensor theory (topic). Also Wikidata Q5571878

History

2026-11-02: add by m2/dev

M2Q1KFNYKZ M2Q1KFNYKZ

URI	`m2://inv/M2Q1KFNYKZ`
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 2607.28337#LHFO (statement). In 7ZJFWBTBKM/e1, theorem 2.2.4

History

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

Noether's theorem M2Q7VEFSWA

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

Mentions

wikipedia: Wikipedia Continuous symmetry#03FS, Noether's theorem (statement)

History

2026-11-02: add by m2/dev

Formal definition M2Q8D01H49

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

Mentions

wikipedia: Wikipedia Baker's map#H7VR, Formal definition (definition)

History

2026-11-02: add by m2/dev

Christof Koch M2Q9WY1YRN

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#6O9B, Christof Koch (unknown)

History

2026-11-02: add by m2/dev

M2QABTYNHQ M2QABTYNHQ

URI	`m2://inv/M2QABTYNHQ`
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/9602216#E3I8 (statement). In SD43497T8C/e1, theorem 4.11

History

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

M2QDQQP8Y1 M2QDQQP8Y1

URI	`m2://inv/M2QDQQP8Y1`
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.01946#S5W2 (statement). In NB1Z31FMXN/e1, lemma 2.4

History

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

M2QF90TY4A M2QF90TY4A

URI	`m2://inv/M2QF90TY4A`
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.12908#MELB (statement). In TNC658NVMQ/e1, theorem 7.8

History

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

Vampire theorem prover M2QMVDW3AY

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#B5YP, Vampire theorem prover (unknown)

History

2026-11-02: add by m2/dev

M2QT7YAW72 M2QT7YAW72

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

Mentions

arxiv: arXiv 2609.35597#T600 (statement). In K424GCJ50P/e1, lemma 5.1

History

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

Vertex configuration M2QYX414RJ

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

Mentions

wikipedia: Wikipedia Vertex configuration, Vertex configuration (object). Also Wikidata Q4967904

History

2026-11-02: add by m2/dev

M2R4EQ8YE3 M2R4EQ8YE3

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

Mentions

arxiv: arXiv 2610.00798#RCY1 (statement). In FANG3A8NZ9/e1, proposition 3.4

History

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

M2R8WB11NA M2R8WB11NA

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

Mentions

arxiv: arXiv 2212.06621#L1Z9 (statement). In DB223AABTH/e1, lemma 3.6

History

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

Quot scheme M2REWWK1HP

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#VYN4, Quot scheme (definition)

History

2026-11-02: add by m2/dev

M2RF7YFWZG M2RF7YFWZG

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

Mentions

arxiv: arXiv 2609.28552#POSS (statement)

History

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

M2RM63SVTY M2RM63SVTY

URI	`m2://inv/M2RM63SVTY`
Kind	example
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.20568#E6NZ (example). In BCD0ATARNZ/e1, example 3.25

History

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

money M2RNSTE5RG

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

Mentions

wikidata: Wikidata Q1368, money (definition). Also ProofWiki Definition:Money

History

2026-10-26: add by m2/dev

Star of David theorem M2RS5P9790

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

Mentions

wikipedia: Wikipedia List of theorems#CGQE, Star of David theorem (statement)

History

2026-11-02: add by m2/dev

M2RT0JMYXP M2RT0JMYXP

URI	`m2://inv/M2RT0JMYXP`
Kind	statement
Layer	research
MSC	37-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 2607.25960#0APV (statement). In 13GSWBXPCM/e1, proposition C.14

History

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

Example M2RY55YJEC

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

Mentions

wikipedia: Wikipedia Allele frequency spectrum#PHO0, Example (example)

History

2026-11-02: add by m2/dev

rational M2SD2NRTZJ

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#2MEZ, rational (definition)

History

2026-11-02: add by m2/dev

Fields Institute M2SFJM3V0S

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

Mentions

wikipedia: Wikipedia Fields Institute, Fields Institute (definition). Also Wikidata Q544545

History

2026-11-02: add by m2/dev

regular decagon M2SJF3P4HV

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

Mentions

wikidata: Wikidata Q18017999, regular decagon (unknown). Also MathWorld RegularDecagon

History

2026-10-26: add by m2/dev

Transcendental curve M2SPV914Y9

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

Mentions

wikipedia: Wikipedia List of curves topics#LHPH, Transcendental curve (definition)

History

2026-11-02: add by m2/dev

Yuri Gurevich M2SXSSSET3

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

Mentions

wikipedia: Wikipedia Yuri Gurevich, Yuri Gurevich (topic). Also Wikidata Q8061506

History

2026-11-02: add by m2/dev

arithmetic genus M2SZP296RB

URI	`m2://inv/M2SZP296RB`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Arithmetic genus H03GKRVBJ1

Mentions

wikidata: Wikidata Q4791125, arithmetic genus (unknown). Also LMFDB knowl ag.arithmetic_genus, LMFDB knowl hmsurface.arithmetic_genus, nLab arithmetic genus
wikipedia: Wikipedia Arithmetic genus, Arithmetic genus (definition). Also Wikidata Q4791125

History

2026-10-26: add by m2/dev

Hauptmodul M2T1KMJN34

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

Mentions

wikipedia: Wikipedia Modular curve#NVSP, Hauptmodul (unknown)

History

2026-11-02: add by m2/dev

M2T3BEY8MB M2T3BEY8MB

URI	`m2://inv/M2T3BEY8MB`
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.13877#F1RL (statement). In NBMA6DBKJG/e1, lemma 5.3

History

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

M2TAW3H6TW M2TAW3H6TW

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

Mentions

arxiv: arXiv 2610.07718#U1IS (statement). In CEKW9CNVVW/e1, proposition 4.1

History

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

M2TCZX2BDF M2TCZX2BDF

URI	`m2://inv/M2TCZX2BDF`
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 2610.20956#LMBH (definition). In X9WFC1D9ZS/e1, definition 8

History

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

Identification from stochastic repeated choices M2TD68KKZ6

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

Mentions

arxiv: arXiv 2609.25026#HOEK, Identification from stochastic repeated choices (statement)

History

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

Nagy, Károly M2TJHCG5QA

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

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#2698, Nagy, Károly (unknown)

History

2026-11-02: add by m2/dev

Rindler horizon M2TN4X92M9

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

Mentions

wikipedia: Wikipedia Rindler coordinates#DFA4, Rindler horizon (unknown)

History

2026-11-02: add by m2/dev

Hayyim Nahman Bialik M2TPT32A3Y

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#5J0W, Hayyim Nahman Bialik (unknown)

History

2026-11-02: add by m2/dev

trefoil M2TS2W5Q7R

URI	`m2://inv/M2TS2W5Q7R`
Kind	example
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.18803#R6B9, trefoil (example). In VG8AF124T3/e1, example 8.3

History

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

Equable shape M2TX55SH1E

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

Mentions

wikipedia: Wikipedia Equable shape, Equable shape (definition). Also Wikidata Q5384101

History

2026-11-02: add by m2/dev

General polynomial values M2TZTV3CSC

URI	`m2://inv/M2TZTV3CSC`
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.33327#OV3M, General polynomial values (statement). In A5R31P82BK/e1, corollary 8.4

History

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

Layer cake representation M2V1EBMN6C

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

Mentions

wikipedia: Wikipedia Layer cake representation, Layer cake representation (definition). Also Wikidata Q6505514

History

2026-11-02: add by m2/dev

Value distribution theory of holomorphic functions M2V9E6Q3D7

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

Mentions

wikipedia: Wikipedia List of complex analysis topics#WJRN, Value distribution theory of holomorphic functions (definition)

History

2026-11-02: add by m2/dev

Extensions M2VGQ2FH62

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

Mentions

wikipedia: Wikipedia OPTICS algorithm#4XNB, Extensions (statement)

History

2026-11-02: add by m2/dev

Properties M2VGYH96G7

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

Mentions

wikipedia: Wikipedia Hollow matrix#3U78, Properties (statement)

History

2026-11-02: add by m2/dev

M2VQHZQCEE M2VQHZQCEE

URI	`m2://inv/M2VQHZQCEE`
Kind	example
Layer	research
MSC	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 2609.25188#NDAT (example)

History

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

Certificate, second arc, region top M2VTAE2JEG

URI	`m2://inv/M2VTAE2JEG`
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#H81G, Certificate, second arc, region top (statement)

History

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

Examples M2VZ7YGDE9

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

Mentions

wikipedia: Wikipedia Structural induction#5KNB, Examples (example)

History

2026-11-02: add by m2/dev

Exact reconstruction and the comparison inputs M2VZZJ6B1N

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

Mentions

arxiv: arXiv 2610.05498#XPZZ, Exact reconstruction and the comparison inputs (statement). In TJT32RQ9GC/e1, lemma 6.4

History

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

M2W0WTV11F M2W0WTV11F

URI	`m2://inv/M2W0WTV11F`
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.36613#HKSC (statement). In GX0K0ZM700/e1, lemma 2.10

History

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

M2W5KTNWAV M2W5KTNWAV

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

Mentions

arxiv: arXiv 2609.37706#KCYD (statement). In 6YY27KRJFN/e1, proposition 5.5

History

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

Example M2WHRMVT2H

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

Mentions

wikipedia: Wikipedia Davenport constant#X07Z, Example (example)

History

2026-11-02: add by m2/dev

Strategies and correlations M2WQXG65BK

URI	`m2://inv/M2WQXG65BK`
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 2103.02468#HYP3, Strategies and correlations (definition). In Q7C6G66CWM/e1, definition 2.1

History

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

M2WRWW13AP M2WRWW13AP

URI	`m2://inv/M2WRWW13AP`
Kind	statement
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#R803 (statement). In 7V2PVZS04C/e1, proposition 5.11

History

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

Contrastive self-supervised learning M2WTNCW0AY

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

Mentions

wikipedia: Wikipedia Self-supervised learning#550L, Contrastive self-supervised learning (unknown)

History

2026-11-02: add by m2/dev

M2WY1563H5 M2WY1563H5

URI	`m2://inv/M2WY1563H5`
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 2601.10370#SBZL (statement). In S5ZSEFYBD3/e1, lemma 2.6

History

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

M2X187721G M2X187721G

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#exercise-3 (exercise). In E59CDZA4DP, exercise, section 7.1.1

History

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

Ramond–Ramond field M2X4NYYR6C

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

Mentions

wikipedia: Wikipedia List of string theory topics#KPST, Ramond–Ramond field (unknown)

History

2026-11-02: add by m2/dev

M2X65KPDFZ M2X65KPDFZ

URI	`m2://inv/M2X65KPDFZ`
Kind	example
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#D072 (example). In 7V3HG30ZGW/e1, example 5.13

History

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

Taylor's theorem with little-o remainder M2X7Z19CA1

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

Mentions

mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > Taylor's theorem with little-o remainder, Taylor's theorem with little-o remainder (unknown)

History

2026-10-26: add by m2/dev

Classical bounded-kernel approximation, Weis M2X8VM86FK

URI	`m2://inv/M2X8VM86FK`
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.26984#F6EX, Classical bounded-kernel approximation, Weis (statement)

History

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

M2XCT9KNXS M2XCT9KNXS

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

Mentions

arxiv: arXiv 2609.28411#RX6A (statement)

History

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

Movement bound for the regularized objective M2XJ83VRMX

URI	`m2://inv/M2XJ83VRMX`
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.08152#IL2U, Movement bound for the regularized objective (statement). In T1GYQ6SCCZ/e1, theorem 7.4

History

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

M2XJ85PHFQ M2XJ85PHFQ

URI	`m2://inv/M2XJ85PHFQ`
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.19437#T04V (statement). In 9PXXGQ978Z/e1, lemma 4.12

History

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

Raoul Bricard M2XTZT181V

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

Mentions

wikipedia: Wikipedia Raoul Bricard, Raoul Bricard (topic). Also Wikidata Q3892790

History

2026-11-02: add by m2/dev

TWINKLE M2XZXW9BQR

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

Mentions

wikipedia: Wikipedia TWINKLE, TWINKLE (definition). Also Wikidata Q7672544

History

2026-11-02: add by m2/dev

Depth and phase of the quadratic norm--trace term M2Y6BD6HSZ

URI	`m2://inv/M2Y6BD6HSZ`
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 2610.10583#XKH8, Depth and phase of the quadratic norm--trace term (statement). In 5BZQS1KY9A/e1, proposition 9.25

History

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

Semi-major and semi-minor axes M2Y74VPCQ6

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

Mentions

wikipedia: Wikipedia Semi-major and semi-minor axes, Semi-major and semi-minor axes (definition). Also Wikidata Q21143897

History

2026-11-02: add by m2/dev

M2Y83BSNDX M2Y83BSNDX

URI	`m2://inv/M2Y83BSNDX`
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.15831#MWOD (statement). In CVESAPNMCQ/e1, lemma 4.4

History

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

George Ashley Campbell M2YA9T4ERV

URI	`m2://inv/M2YA9T4ERV`
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#GR7X, George Ashley Campbell (unknown)

History

2026-11-02: add by m2/dev

M2YAXN3ZS6 M2YAXN3ZS6

URI	`m2://inv/M2YAXN3ZS6`
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.36181#MVAA (example). In 1KSE33PVS6/e1, example 22

History

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

M2YE52EW8P M2YE52EW8P

URI	`m2://inv/M2YE52EW8P`
Kind	statement
Layer	research
MSC	35-XX, 46-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.05403#C1B6 (statement). In PQGGCD09KP/e1, theorem 5.1

History

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

Sahlqvist formula M2YRBS6JDS

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

Mentions

mathlib_1000: mathlib_1000 Q3077634, Sahlqvist correspondence theorem (statement). Also Wikidata Q3077634
thousand_plus: thousand_plus Q3077634, Sahlqvist correspondence theorem (statement). Also Wikidata Q3077634, Wikipedia Sahlqvist correspondence theorem
wikipedia: Wikipedia Sahlqvist formula, Sahlqvist formula (statement). Also Wikidata Q3077634

History

2026-10-26: add by m2/dev

Definition M2YWJFK7HQ

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

Mentions

wikipedia: Wikipedia Nonlinear mixed-effects model#2FJ7, Definition (definition)

History

2026-11-02: add by m2/dev

Applications M2YZ8NND7E

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

Mentions

wikipedia: Wikipedia Transfer operator#WM4R, Applications (example)

History

2026-11-02: add by m2/dev

Bost conjecture M2YZQ6H25N

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

Mentions

wikipedia: Wikipedia Farrell–Jones conjecture#F62O, Bost conjecture (statement)

History

2026-11-02: add by m2/dev

M2Z09P4PXN M2Z09P4PXN

URI	`m2://inv/M2Z09P4PXN`
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.23629#S74K (statement)

History

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

pentagonal icositetrahedral graph M2Z1SC00NB

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

Mentions

wikidata: Wikidata Q3115579, pentagonal icositetrahedral graph (unknown). Also House of Graphs 1259, MathWorld PentagonalIcositetrahedralGraph

History

2026-10-26: add by m2/dev

M2Z2VDNTDH M2Z2VDNTDH

URI	`m2://inv/M2Z2VDNTDH`
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.14435#GYZ2 (statement). In Y9FSN5BVNQ/e1, lemma 13

History

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

Redskins Rule M2Z4AVPQQG

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

Mentions

wikipedia: Wikipedia Redskins Rule, Redskins Rule (definition). Also Wikidata Q598511

History

2026-11-02: add by m2/dev

Wilfried Schmid M2Z8JCDTXE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#FM3M, Wilfried Schmid (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MSHS, Wilfried Schmid (topic)
wikipedia: Wikipedia List of German mathematicians#QKI6, Wilfried Schmid (topic)

History

2026-11-02: add by m2/dev

Compact M2ZA8NPM14

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

Mentions

wikipedia: Wikipedia Glossary of general topology#U38O, Compact (definition)

History

2026-11-02: add by m2/dev

M2ZREB7BB8 M2ZREB7BB8

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

Mentions

hott_book: hott_book logic.tex#thm:omit-contr (statement). In N54F33XE07, lem, section 9.11

History

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

Equivariant pointwise nonlinearity M2ZZJNR07Y

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

Mentions

arxiv: arXiv 2609.25987#FF0X, Equivariant pointwise nonlinearity (definition)

History

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

M2ZZKHWY16 M2ZZKHWY16

URI	`m2://inv/M2ZZKHWY16`
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.25656#EHU2 (example)

History

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

Support bound for descendants M2ZZSA02KH

URI	`m2://inv/M2ZZSA02KH`
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.10828#WG92, Support bound for descendants (statement). In 8PTDFHV8SQ/e1, theorem 13.2

History

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