Inventory rows A1

Howard Wainer A10224G7R8

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

Mentions

wikipedia: Wikipedia Howard Wainer, Howard Wainer (topic). Also Wikidata Q16106492

History

2026-11-02: add by m2/dev

A102K124PC A102K124PC

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

Mentions

arxiv: arXiv 2610.13957#0F63 (statement). In H1W6SNC2MJ/e1, theorem

History

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

Debra Boutin A106HMTAM6

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

Mentions

wikipedia: Wikipedia Debra Boutin, Debra Boutin (topic). Also Wikidata Q102182840

History

2026-11-02: add by m2/dev

Galenism A107HSJ3TB

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

Mentions

wikipedia: Wikipedia Galen#IM48, Galenism (unknown)

History

2026-11-02: add by m2/dev

A10HF44E02 A10HF44E02

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

Mentions

open_logic: open_logic content/computability/computability-theory/total.tex#prop:total (statement). In PKGMM3P5QY, prop, section 3.16

History

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

Gödel, Escher, Bach A10NE1N1BQ

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

Mentions

wikipedia: Wikipedia Gödel, Escher, Bach, Gödel, Escher, Bach (definition). Also Wikidata Q831517

History

2026-11-02: add by m2/dev

A10QAXJ1JR A10QAXJ1JR

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

Mentions

austin_ula: austin_ula src/exercises/exercises3-4.xml#exercise-12 (exercise). In 649HGZKE96, exercise, section 3.4

History

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

Definition A10VFE6NKW

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

Mentions

wikipedia: Wikipedia Q-Krawtchouk polynomials#VSWM, Definition (definition)

History

2026-11-02: add by m2/dev

Definition A10YX2CYKK

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

Mentions

wikipedia: Wikipedia Bessel–Maitland function#1UVP, Definition (definition)

History

2026-11-02: add by m2/dev

Katth\"an, 2019 A111G4WAE4

URI	`m2://inv/A111G4WAE4`
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.34020#IM2P, Katth\"an, 2019 (statement). In DAMYG8BFAK/e1, theorem 4.4

History

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

A11TYE574B A11TYE574B

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

Mentions

hott_book: hott_book reals.tex#proof-25 (proof). In N54F33XE07, proof, section B.3.3

History

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

Examples A11XG2DS78

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

Mentions

wikipedia: Wikipedia Algebra tile#FOOZ, Examples (example)

History

2026-11-02: add by m2/dev

SIAM Journal on Numerical Analysis A123WER19S

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

Mentions

wikipedia: Wikipedia SIAM Journal on Numerical Analysis, SIAM Journal on Numerical Analysis (definition). Also Wikidata Q7390258

History

2026-11-02: add by m2/dev

higher category theory A1249BDYTS

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

Mentions

hott_book: hott_book index/1/higher-category-theory, higher category theory (concept). In N54F33XE07, index, section 1

History

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

law of logic A12CEFZR97

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

Mentions

levin_dmoi: levin_dmoi index/4.1.4/law-of-logic, law of logic (concept). In Y91XFCEVHQ, index, section 4.1.4

History

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

Spread of a matrix A12DKFA22A

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

Mentions

wikipedia: Wikipedia Spread of a matrix, Spread of a matrix (definition). Also Wikidata Q7580265

History

2026-11-02: add by m2/dev

first Blanuša snark A12DR8XP80

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

Mentions

wikidata: Wikidata Q50874255, first Blanuša snark (unknown). Also House of Graphs 19669

History

2026-10-26: add by m2/dev

Definition A12G1RT89E

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

Mentions

wikipedia: Wikipedia Superspreading event#Y20B, Definition (definition)

History

2026-11-02: add by m2/dev

A12RNNWEDE A12RNNWEDE

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

Mentions

arxiv: arXiv 2610.17737#U1RS (statement). In 8SXY7Y68HV/e1, theorem 8.2

History

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

Albrecht Fröhlich A12T1TPNQ0

URI	`m2://inv/A12T1TPNQ0`
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#L8QC, Albrecht Fröhlich (topic)

History

2026-11-02: add by m2/dev

Definition A12ZWMPDNP

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

Mentions

wikipedia: Wikipedia Semiring#EQPQ, Definition (definition)

History

2026-11-02: add by m2/dev

Exact activation identities A130M616XK

URI	`m2://inv/A130M616XK`
Kind	statement
Layer	research
MSC	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 2610.16069#Y2LQ, Exact activation identities (statement). In MBJA03ES8N/e1, proposition 8.9

History

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

A131G3CX35 A131G3CX35

URI	`m2://inv/A131G3CX35`
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.20916#9P0T (statement). In HV598NZW9X/e1, lemma 3.3

History

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

Properties A1363T8HMN

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

Mentions

wikipedia: Wikipedia Kontsevich invariant#50U0, Properties (statement)

History

2026-11-02: add by m2/dev

The good traverse for $(a,b)=(4,5)$ A13DZWVHQ6

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

Mentions

arxiv: arXiv 2609.20567#61PY, The good traverse for $(a,b)=(4,5)$ (example)

History

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

Hosaka plot A13JQ7J61G

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

Mentions

wikipedia: Wikipedia Hosaka plot, Hosaka plot (definition). Also Wikidata Q16861287

History

2026-11-02: add by m2/dev

Claim 2 A13KM5R9BM

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

Mentions

wikipedia: Wikipedia Cederbaum's maximum flow theorem#8LTR, Claim 2 (statement)

History

2026-11-02: add by m2/dev

Injective tensor product A13MKQ8MHC

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

Mentions

wikipedia: Wikipedia List of topologies#8148, Injective tensor product (definition)

History

2026-11-02: add by m2/dev

Principle A13NENCAV6

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

Mentions

wikipedia: Wikipedia Copy detection pattern#E9KM, Principle (statement)

History

2026-11-02: add by m2/dev

K-homology A13X7CKT37

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

Mentions

wikidata: Wikidata Q6322838, K-homology (topic). Also nLab K-homology
wikipedia: Wikipedia K-homology, K-homology (definition). Also Wikidata Q6322838

History

2026-10-26: add by m2/dev

Example A1408RFBSZ

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

Mentions

wikipedia: Wikipedia Likelihood principle#P09T, Example (example)

History

2026-11-02: add by m2/dev

A144H75S90 A144H75S90

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

Mentions

arxiv: arXiv 1704.04089#AXOJ (problem). In T126FDFXT5/e1, problem 3

History

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

A1458M9AE2 A1458M9AE2

URI	`m2://inv/A1458M9AE2`
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.19464#JYN1 (statement). In G8JCZ109A9/e1, lemma 2.6

History

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

Bernstein A14EWJDAVF

URI	`m2://inv/A14EWJDAVF`
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.33643#J0EL, Bernstein (statement). In G8Y8XD02EC/e1, theorem 1.1

History

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

A14M6WD0K6 A14M6WD0K6

URI	`m2://inv/A14M6WD0K6`
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.01441#95XM (statement). In V678XY1P9A/e1, theorem 1

History

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

A14M8NPTMT A14M8NPTMT

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

Mentions

arxiv: arXiv 2609.26496#LNHB (statement)

History

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

Definition A14V6M135S

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

Mentions

wikipedia: Wikipedia Stability radius#0K0C, Definition (definition)

History

2026-11-02: add by m2/dev

A14VFXR7P8 A14VFXR7P8

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

Mentions

arxiv: arXiv 2610.02017#UIDO (statement). In F6C80AEXC1/e1, lemma 4.11

History

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

Observed radial smoothing A14WH288YD

URI	`m2://inv/A14WH288YD`
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.15202#I5DX, Observed radial smoothing (statement). In X1FPG0KYBM/e1, theorem J.1

History

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

One-step error identity A150YFAFR1

URI	`m2://inv/A150YFAFR1`
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.31336#1V5G, One-step error identity (statement). In 70RV7J456D/e1, lemma 21

History

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

A153RXHXWQ A153RXHXWQ

URI	`m2://inv/A153RXHXWQ`
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.12481#O4MW (statement). In TD288AK3EJ/e1, proposition 5

History

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

induction A157Y6RG86

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#WG5S, induction (definition)

History

2026-11-02: add by m2/dev

Theorem (lower bound on f(k,r)) A15B2YACGK

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

Mentions

wikipedia: Wikipedia Sunflower (mathematics)#3J69, Theorem (lower bound on f(k,r)) (statement)

History

2026-11-02: add by m2/dev

Applications A15C4JSHR6

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

Mentions

wikipedia: Wikipedia Synergistic system#KSRN, Applications (example)

History

2026-11-02: add by m2/dev

Location estimation A15CP8G48B

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

Mentions

wikipedia: Wikipedia List of statistics articles#R4G7, Location estimation (definition)

History

2026-11-02: add by m2/dev

Monotonicity A15DZW6YSW

URI	`m2://inv/A15DZW6YSW`
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#5CF4, Monotonicity (statement)

History

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

Iterated limit A15HHYPM46

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

Mentions

wikipedia: Wikipedia Iterated limit, Iterated limit (definition). Also Wikidata Q17100668

History

2026-11-02: add by m2/dev

Approximations of A15JNMFWS3

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#VXNG, Approximations of (definition)

History

2026-11-02: add by m2/dev

pan graph A15JX67VDB

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

Mentions

wikidata: Wikidata Q128624164, pan graph (unknown). Also MathWorld PanGraph

History

2026-10-26: add by m2/dev

order topology A15N1RAGAT

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

Mentions

mathlib_overview: mathlib_overview Topology > Topological algebra > order topology, order topology (unknown). Also Mathlib OrderTopology

History

2026-10-26: add by m2/dev

Example A15R0NR899

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

Mentions

wikipedia: Wikipedia Bipartite matroid#YEOW, Example (example)

History

2026-11-02: add by m2/dev

Stone–Čech remainder A16117DZX1

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

Mentions

wikipedia: Wikipedia Stone–Čech remainder, Stone–Čech remainder (definition). Also Wikidata Q5172144

History

2026-11-02: add by m2/dev

A1638XJYZD A1638XJYZD

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

Mentions

arxiv: arXiv 2604.10080#OOCC (statement). In KM2FWKP93A/e1, theorem 5.8

History

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

Banach's theorem A164X6W7D0

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

Mentions

wikipedia: Wikipedia Stefan Banach#HD21, Banach's theorem (unknown)

History

2026-11-02: add by m2/dev

Koszul complex A16A4AJ74F

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

Mentions

wikipedia: Wikipedia Glossary of module theory#EP9P, Koszul complex (definition)

History

2026-11-02: add by m2/dev

A16E49D0VF A16E49D0VF

URI	`m2://inv/A16E49D0VF`
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.34339#W6RS (statement). In 9WFSTGMQ4E/e1, proposition 3.11

History

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

Latin square completion A16P9VG9ZK

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

Mentions

wikipedia: Wikipedia Latin square#BFHY, Latin square completion (unknown)

History

2026-11-02: add by m2/dev

A16PEC83ZF A16PEC83ZF

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

Mentions

arxiv: arXiv 2609.33124#CEL9 (definition). In P27HYGQDAN/e1, definition 7

History

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

The Szemerédi–Trotter theorem A16TG7V86J

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

Mentions

wikipedia: Wikipedia Incidence geometry#HC49, The Szemerédi–Trotter theorem (statement)

History

2026-11-02: add by m2/dev

A17BBRQCM0 A17BBRQCM0

URI	`m2://inv/A17BBRQCM0`
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.25038#0JC8 (statement)

History

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

K3 A17EDXNNA4

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

Mentions

wikipedia: Wikipedia Glossary of logic#BOKA, K3 (definition)

History

2026-11-02: add by m2/dev

Differentials of the spectral sequence A17HGMM96S

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

Mentions

arxiv: arXiv 2610.21093#NYXB, Differentials of the spectral sequence (statement). In TBFPBPQV3G/e1, proposition 3.6

History

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

A17S1EQQK7 A17S1EQQK7

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

Mentions

arxiv: arXiv 2610.19513#USL6 (definition). In Q557CNT758/e1, definition 4.1

History

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

Residuals; Proposition S9 A17TGYBB3X

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

Mentions

arxiv: arXiv 2102.11076#1897, Residuals; Proposition S9 (statement). In T9HZXHTQBJ/e1, lemma 13

History

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

Example A17TY5GP50

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

Mentions

wikipedia: Wikipedia Picard–Lefschetz theory#H70W, Example (example)

History

2026-11-02: add by m2/dev

Proposition A17VC93J09

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

Mentions

wikipedia: Wikipedia Arrow–Debreu model#68ET, Proposition (statement)

History

2026-11-02: add by m2/dev

Symmetrisation A17VPSYSEA

URI	`m2://inv/A17VPSYSEA`
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.07905#LAHJ, Symmetrisation (statement). In 88GEN3Z5VG/e1, lemma 7.13

History

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

cotangent A17WJ0F8WX

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

Mentions

wikidata: Wikidata Q1264373, cotangent (definition). Also EoM Cotangent, MathWorld Cotangent, ProofWiki Definition:Cotangent

History

2026-10-26: add by m2/dev

A17XF2NCQT A17XF2NCQT

URI	`m2://inv/A17XF2NCQT`
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.21682#RJZR (statement)

History

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

A17Y03CR44 A17Y03CR44

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

Mentions

arxiv: arXiv 2610.21929#JELP (statement). In 2PP4XRVS0J/e1, theorem 11.1

History

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

A17YNJBH3N A17YNJBH3N

URI	`m2://inv/A17YNJBH3N`
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#VOM2 (statement). In 3HFBAWQCA1/e1, theorem 1.4

History

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

Conventions A180E0BH2M

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

Mentions

wikipedia: Wikipedia Magic hypercube#EG9P, Conventions (definition)

History

2026-11-02: add by m2/dev

Brunnian link A182RKBDQ3

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

Mentions

wikipedia: Wikipedia List of mathematical knots and links#AK7L, Brunnian link (definition)

History

2026-11-02: add by m2/dev

A182X6BFS0 A182X6BFS0

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

Mentions

hott_book: hott_book categories.tex#ct:mono-cat (example). In N54F33XE07, eg, section 2.6

History

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

A186YM1N53 A186YM1N53

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

Mentions

arxiv: arXiv 2204.01073#UUYP (statement). In W4TYN4PGE8/e1, theorem 6.3

History

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

Definitions A18720N6NM

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

Mentions

wikipedia: Wikipedia Cellular noise#BHC5, Definitions (definition)

History

2026-11-02: add by m2/dev

A18B2N53CJ A18B2N53CJ

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

Mentions

hott_book: hott_book reals.tex#ordered-field (definition). In N54F33XE07, defn, section B.2.1

History

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

Complete coloring A18N9ESG8K

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

Mentions

wikipedia: Wikipedia Complete coloring, Complete coloring (definition). Also Wikidata Q3342988

History

2026-11-02: add by m2/dev

Dynamical system (cognitive science) A18VEVP1PE

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

Mentions

wikipedia: Wikipedia Dynamical systems theory#K5LY, Dynamical system (cognitive science) (unknown)

History

2026-11-02: add by m2/dev

intersection theory A18WBBGQTH

URI	`m2://inv/A18WBBGQTH`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Intersection theory 4HV4WTAX9P

Mentions

wikidata: Wikidata Q15176852, intersection theory (topic). Also nLab intersection theory
wikipedia: Wikipedia Intersection theory, Intersection theory (topic). Also Wikidata Q15176852

History

2026-10-26: add by m2/dev

A192GE823G A192GE823G

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

Mentions

arxiv: arXiv 2610.09019#MLW9 (statement). In 8V6YECFCC1/e1, theorem 4.4

History

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

A1985EZDP0 A1985EZDP0

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-3 (statement). In P1C114YBXG, theorem, section u1

History

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

A19CGPB0RF A19CGPB0RF

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

Mentions

open_logic: open_logic content/incompleteness/introduction/definitions.tex#defn-7 (definition). In PKGMM3P5QY, defn, section 28.7

History

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

A19HM882F7 A19HM882F7

URI	`m2://inv/A19HM882F7`
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.27673#HJJD (statement)

History

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

A19J7MM01T A19J7MM01T

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

Mentions

arxiv: arXiv 2610.22317#W7P7 (statement). In 2W5Z97BBW4/e1, proposition 4.7

History

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

Identifying reduced row echelon matrices A19K5TC0YD

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

Mentions

austin_ula: austin_ula src/section1-2.xml#activity-3, Identifying reduced row echelon matrices (exercise). In 649HGZKE96, activity, section 1.2.3

History

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

A19WZK7BN7 A19WZK7BN7

URI	`m2://inv/A19WZK7BN7`
Kind	definition
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#TJDA (definition)

History

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

Gradient descent A1ABHKK48V

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

Mentions

wikipedia: Wikipedia List of algorithms#NGC4, Gradient descent (definition)

History

2026-11-02: add by m2/dev

Morris–Lecar model A1AP368KAY

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

Mentions

wikipedia: Wikipedia Morris–Lecar model, Morris–Lecar model (definition). Also Wikidata Q6914151

History

2026-11-02: add by m2/dev

Applications A1AT3G9C33

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

Mentions

wikipedia: Wikipedia Bessel function#5X6D, Applications (example)

History

2026-11-02: add by m2/dev

A1AZGYJNNM A1AZGYJNNM

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

Mentions

arxiv: arXiv 2610.14240#1AOE (definition). In HGQCBDDMQJ/e1, definition 3.6

History

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

A1B1VP15E4 A1B1VP15E4

URI	`m2://inv/A1B1VP15E4`
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.20588#LRQT (statement)

History

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

A1B49TYBC5 A1B49TYBC5

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

Mentions

arxiv: arXiv 2610.19812#EZL8 (statement). In ZS89RH18QM/e1, lemma 9

History

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

A1B8H89GY3 A1B8H89GY3

URI	`m2://inv/A1B8H89GY3`
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.32033#Z0AH (statement). In 17W5G060QX/e1, lemma 4.2

History

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

Cunningham project A1BAKRJMS0

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

Mentions

wikipedia: Wikipedia List of number theory topics#KNUM, Cunningham project (definition)

History

2026-11-02: add by m2/dev

L'Hôpital's rule A1BBWZ50K1

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

Mentions

wikipedia: Wikipedia Glossary of calculus#7U5Z, L'Hôpital's rule (definition)

History

2026-11-02: add by m2/dev

A1BFQZJD6T A1BFQZJD6T

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

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_exponential.ptx#example-1 (example). In QKM9DD2H56, example, section 8.6

History

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

A1BMZTCVT0 A1BMZTCVT0

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

Mentions

arxiv: arXiv 2609.31352#QO2B (statement). In SQZGKRDVBX/e1, theorem 4.8

History

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

UA A1BW02H2DR

URI	`m2://inv/A1BW02H2DR`
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.19088#4QDH, UA (statement). In 90QTB4CC31/e1, theorem 3.7

History

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

A1C78TRBXB A1C78TRBXB

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

Mentions

arxiv: arXiv 2606.00589#83TL (statement). In C8JAGP8VCQ/e1, lemma 2.10

History

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

A1CBEMP530 A1CBEMP530

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

Mentions

arxiv: arXiv 2610.21489#3ORT (statement). In R0Q0RV8XCF/e1, corollary 3.10

History

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

A1CF41N37Z A1CF41N37Z

URI	`m2://inv/A1CF41N37Z`
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.37439#WSQN (statement). In 8K7D3FKJDT/e1, proposition 5.5

History

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

A1CWDJE5EE A1CWDJE5EE

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

Mentions

napkin: napkin tex/H113/structure.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 6.2

History

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

Sufficiency of the histogram A1CZC9HGY3

URI	`m2://inv/A1CZC9HGY3`
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.31407#F27F, Sufficiency of the histogram (statement). In 6JSC602CCF/e1, theorem 3.2

History

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

Definition A1D3EXZ6GF

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

Mentions

wikipedia: Wikipedia Algebraic number field#Y2EV, Definition (definition)

History

2026-11-02: add by m2/dev

A1D789PSSR A1D789PSSR

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

Mentions

arxiv: arXiv 2609.33162#XT91 (definition). In RPC7VG3KHQ/e1, definition 5.12

History

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

Walk-sum bounds A1DE28RCGS

URI	`m2://inv/A1DE28RCGS`
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#NKZP, Walk-sum bounds (statement)

History

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

Applications A1DF8J5WR9

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

Mentions

wikipedia: Wikipedia Non-equilibrium thermodynamics#YT8F, Applications (example)

History

2026-11-02: add by m2/dev

A1DZS14NBB A1DZS14NBB

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

Mentions

arxiv: arXiv 2308.05715#1YXA (definition). In FC0SB9JFWH/e1, definition 3.6

History

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

A1E3QKWQNF A1E3QKWQNF

URI	`m2://inv/A1E3QKWQNF`
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.23872#SK9C (statement)

History

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

Trapezoid formula A1E74425EQ

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

Mentions

wikipedia: Wikipedia Shoelace formula#YWB8, Trapezoid formula (statement)

History

2026-11-02: add by m2/dev

Graph drawing A1E7AFT4J7

URI	`m2://inv/A1E7AFT4J7`
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#5U4B, Graph drawing (definition)

History

2026-11-02: add by m2/dev

Parity bit A1EDHB38TH

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

Mentions

wikipedia: Wikipedia Parity bit, Parity bit (definition). Also Wikidata Q625502

History

2026-11-02: add by m2/dev

Pierre Bézier A1EJZC86W3

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

Mentions

wikipedia: Wikipedia Pierre Bézier, Pierre Bézier (topic). Also Wikidata Q372584

History

2026-11-02: add by m2/dev

Claribel Kendall A1ESFHBAAK

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

Mentions

wikipedia: Wikipedia Claribel Kendall, Claribel Kendall (topic). Also Wikidata Q5126927

History

2026-11-02: add by m2/dev

Coghlan, Timothy Augustine A1F3VTFHJ5

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

Mentions

wikipedia: Wikipedia List of statisticians#93IW, Coghlan, Timothy Augustine (topic)

History

2026-11-02: add by m2/dev

Definition A1F6PSF7B6

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

Mentions

wikipedia: Wikipedia Entropy rate#QTWJ, Definition (definition)

History

2026-11-02: add by m2/dev

Verlinde formula A1FC0Z09EX

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

Mentions

wikipedia: Wikipedia Verlinde algebra#602T, Verlinde formula (statement)

History

2026-11-02: add by m2/dev

geodesic flow A1FD6Z7DNF

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

Mentions

wikidata: Wikidata Q20874135, geodesic flow (unknown). Also nLab geodesic flow

History

2026-10-26: add by m2/dev

urn problem A1FHD0K17C

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

Mentions

wikidata: Wikidata Q36938, urn problem (problem). Also MathWorld BallPicking
wikipedia: Wikipedia Urn problem, Urn problem (problem). Also Wikidata Q36938

History

2026-10-26: add by m2/dev

A1FJ44FB8P A1FJ44FB8P

URI	`m2://inv/A1FJ44FB8P`
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#H1GS (statement). In CC6S1HVK0T/e1, theorem 5.29

History

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

Longest element of a Coxeter group A1FJQT3SAZ

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

Mentions

wikipedia: Wikipedia Longest element of a Coxeter group, Longest element of a Coxeter group (definition). Also Wikidata Q6673739

History

2026-11-02: add by m2/dev

$\epsilon$-net argument A1G8NG6ZPF

URI	`m2://inv/A1G8NG6ZPF`
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.22338#EQKS, $\epsilon$-net argument (statement)

History

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

Circle Limit III A1G9TNF948

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

Mentions

wikipedia: Wikipedia Circle Limit III, Circle Limit III (definition). Also Wikidata Q16958480

History

2026-11-02: add by m2/dev

A1GCHDVXPD A1GCHDVXPD

URI	`m2://inv/A1GCHDVXPD`
Kind	statement
Layer	research
MSC	37-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 2503.01567#KAEG (statement). In GB0V23Q6C5/e1, lemma 5.1

History

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

Splitting A1GF97W4MW

URI	`m2://inv/A1GF97W4MW`
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 2609.28160#DHGY, Splitting (statement)

History

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

Example A1GGZYJ583

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

Mentions

wikipedia: Wikipedia Stoer–Wagner algorithm#DOP0, Example (example)

History

2026-11-02: add by m2/dev

Alexander's trick A1GRDJ0FV0

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

Mentions

wikipedia: Wikipedia Alexander's trick, Alexander's trick (definition). Also Wikidata Q4718108

History

2026-11-02: add by m2/dev

A1GS1N746W A1GS1N746W

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

Mentions

arxiv: arXiv 2610.10233#RI8W (definition). In QR9WE79ERQ/e1, definition 1.11

History

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

Anderson's theorem A1GYQR3ZHX

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

Mentions

wikipedia: Wikipedia List of real analysis topics#QS16, Anderson's theorem (statement)

History

2026-11-02: add by m2/dev

A1GYWW695R A1GYWW695R

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

Mentions

arxiv: arXiv 2609.21047#Q0X9 (statement)

History

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

Thurstonian model A1GYYB995Z

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

Mentions

wikipedia: Wikipedia List of statistics articles#9J6J, Thurstonian model (definition)

History

2026-11-02: add by m2/dev

The minimal horizon A1H01VFR5B

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

Mentions

arxiv: arXiv 2610.14988#CCO9, The minimal horizon (statement). In B29M4E6KGC/e1, proposition D.2

History

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

Brahmagupta matrix A1H0GKHQ6E

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

Mentions

wikidata: Wikidata Q4929982, Brahmagupta matrix (unknown). Also MathWorld BrahmaguptaMatrix

History

2026-10-26: add by m2/dev

A1H2Z763R0 A1H2Z763R0

URI	`m2://inv/A1H2Z763R0`
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.09678#7PWC (statement). In 9VG7PNZHZT/e1, proposition 7.2

History

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

A1H5SVPXFD A1H5SVPXFD

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

Mentions

arxiv: arXiv 1209.5343#YR4B (statement). In 4SPYEGKZ8J/e1, proposition 3.10

History

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

Algorithm A1H9X1TGNK

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

Mentions

wikipedia: Wikipedia Dijkstra's algorithm#EG8E, Algorithm (definition)

History

2026-11-02: add by m2/dev

Megagram (geometry) A1HBVVHE6E

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

Mentions

wikipedia: Wikipedia Megagon#6ICF, Megagram (geometry) (unknown)

History

2026-11-02: add by m2/dev

Examples A1HGWQNFRX

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

Mentions

wikipedia: Wikipedia Assembly (realizability)#JISZ, Examples (example)

History

2026-11-02: add by m2/dev

Howard Winklevoss A1HM5YJN74

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

Mentions

wikipedia: Wikipedia List of actuaries#NDQF, Howard Winklevoss (unknown)

History

2026-11-02: add by m2/dev

Example A1HMP5DQAX

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

Mentions

wikipedia: Wikipedia Stone's theorem on one-parameter unitary groups#H0M8, Example (example)

History

2026-11-02: add by m2/dev

A1HQZG1KFF A1HQZG1KFF

URI	`m2://inv/A1HQZG1KFF`
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.18709#2X35 (statement). In K7VY50VFK6/e1, lemma 3.2

History

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

A1J3BWGG6M A1J3BWGG6M

URI	`m2://inv/A1J3BWGG6M`
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.19283#45TM (statement). In 28BAGZRCKG/e1, theorem 4.7

History

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

concatenation A1J3Y2T98P

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

Mentions

wikidata: Wikidata Q126002, concatenation (unknown). Also MathWorld Concatenation
wikipedia: Wikipedia Concatenation, Concatenation (definition). Also Wikidata Q126002

History

2026-10-26: add by m2/dev

Hugh Lowell Montgomery A1J47M2HQW

URI	`m2://inv/A1J47M2HQW`
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#FEE2, Hugh Lowell Montgomery (topic)

History

2026-11-02: add by m2/dev

Crossing lemma A1JCSAKQ1X

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

Mentions

wikipedia: Wikipedia List of lemmas#J95E, Crossing lemma (statement)

History

2026-11-02: add by m2/dev

A1JD69JMVM A1JD69JMVM

URI	`m2://inv/A1JD69JMVM`
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.01968#FEJH (statement). In 9QE553Z0J5/e1, theorem 3.2

History

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

Uniform last-iterate rate A1JESRQ2PF

URI	`m2://inv/A1JESRQ2PF`
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.17127#7XXJ, Uniform last-iterate rate (statement). In NZJ5B5KSDQ/e1, theorem 1

History

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

Encyclopedia of Cryptography and Security A1JESXQK9M

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

Mentions

wikipedia: Wikipedia Encyclopedia of Cryptography and Security, Encyclopedia of Cryptography and Security (definition). Also Wikidata Q2895485

History

2026-11-02: add by m2/dev

Example A1JN55ZR51

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

Mentions

wikipedia: Wikipedia Bilinear interpolation#SCU7, Example (example)

History

2026-11-02: add by m2/dev

A1JRH6JNPY A1JRH6JNPY

URI	`m2://inv/A1JRH6JNPY`
Kind	statement
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#50PV (statement). In HX63A1PH1W/e1, proposition 5.44

History

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

Primordial fluctuations A1JS2W79JH

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

Mentions

wikipedia: Wikipedia Primordial fluctuations, Primordial fluctuations (definition). Also Wikidata Q934257

History

2026-11-02: add by m2/dev

Limit theorem A1JWPPYXFF

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

Mentions

wikipedia: Wikipedia Infinite divisibility (probability)#HA9Z, Limit theorem (statement)

History

2026-11-02: add by m2/dev

Quota sampling A1JZ5PPFPY

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

Mentions

wikipedia: Wikipedia Quota sampling, Quota sampling (definition). Also Wikidata Q1475888

History

2026-11-02: add by m2/dev

Implementation A1K15JSXHM

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

Mentions

wikipedia: Wikipedia Horizon chart#J0YQ, Implementation (definition)

History

2026-11-02: add by m2/dev

A1K859726D A1K859726D

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

Mentions

napkin: napkin tex/alg-geom/spec-zariski.tex#proof-2 (proof). In RZP28ERRZV, proof, section 28.3

History

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

A1K9EKWQC4 A1K9EKWQC4

URI	`m2://inv/A1K9EKWQC4`
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.17442#ILJZ (statement). In 6ADGJ51W1P/e1, lemma 2.6

History

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

A1K9JHTV1K A1K9JHTV1K

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

Mentions

arxiv: arXiv 2609.31126#3M82 (statement). In GK1V5GEHTK/e1, theorem 4.1

History

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

Bayarri, M. J. A1KCDCTWHY

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

Mentions

wikipedia: Wikipedia List of statisticians#3XBB, Bayarri, M. J. (topic)

History

2026-11-02: add by m2/dev

A1KM7RNJAS A1KM7RNJAS

URI	`m2://inv/A1KM7RNJAS`
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.01796#S1LI (statement). In JC3PAB5DRC/e1, lemma 13

History

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

A1KMQ2GD73 A1KMQ2GD73

URI	`m2://inv/A1KMQ2GD73`
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.28203#OX0W (statement)

History

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

A1KN3YGVWP A1KN3YGVWP

URI	`m2://inv/A1KN3YGVWP`
Kind	statement
Layer	research
MSC	30-XX, 32-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 0903.0651#MUWL (statement). In 6R0KH80PTK/e1, lemma 1

History

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

A1KNZ0Q1D6 A1KNZ0Q1D6

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

Mentions

arxiv: arXiv 2609.30999#J1F6 (statement). In J1BWCKW2QK/e1, theorem 3.1

History

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

A1KRY6T01J A1KRY6T01J

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-35 (exercise). In E59CDZA4DP, exercise, section 2.3.3

History

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

Definitions A1KV2P6YVE

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

Mentions

wikipedia: Wikipedia Gaussian ensemble#BEZW, Definitions (definition)

History

2026-11-02: add by m2/dev

A1KW29WJCR A1KW29WJCR

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

Mentions

arxiv: arXiv 2610.01915#XN5P (statement). In 6HJQXZS0A6/e1, lemma 3.17

History

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

A1M4Y3V4VC A1M4Y3V4VC

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

Mentions

arxiv: arXiv 2609.21670#3N9J (statement)

History

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

A1MG4S2WEN A1MG4S2WEN

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

Mentions

arxiv: arXiv 2610.16779#MBKS (definition). In 1R7H0ZAHWA/e1, definition 1.1

History

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

A1MS9WRPXS A1MS9WRPXS

URI	`m2://inv/A1MS9WRPXS`
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.32599#K2A5 (statement). In E1Y93JNBJA/e1, proposition 4.13

History

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

clique A1NB51Z56T

URI	`m2://inv/A1NB51Z56T`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Clique 0BYX1D7C2E

Mentions

wikidata: Wikidata Q761631, clique (unknown). Also MathWorld Clique
wikipedia: Wikipedia Clique (graph theory), Clique (definition). Also Wikidata Q761631

History

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

Modified Richardson iteration A1NH3WHC2T

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

Mentions

wikipedia: Wikipedia Modified Richardson iteration, Modified Richardson iteration (definition). Also Wikidata Q1375161

History

2026-11-02: add by m2/dev

A1NNF4X1BQ A1NNF4X1BQ

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

Mentions

arxiv: arXiv math/0411039#DWAE (definition). In ZTBDXSKFFW/e1, definition 3.8

History

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

Emily H. Griffith A1NS8E4K9W

URI	`m2://inv/A1NS8E4K9W`
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#EDIH, Emily H. Griffith (topic)

History

2026-11-02: add by m2/dev

A1NSJ149Q1 A1NSJ149Q1

URI	`m2://inv/A1NSJ149Q1`
Kind	definition
Layer	research
MSC	35-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.07240#F6DI (definition). In D0F1GK5AHW/e1, definition 2.5

History

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

A1NTVFKDBP A1NTVFKDBP

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

Mentions

arxiv: arXiv 2005.03073#8XB2 (definition). In P2ETMXKVDS/e1, definition 2.6

History

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

A1NTVN7BBB A1NTVN7BBB

URI	`m2://inv/A1NTVN7BBB`
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.14308#QLW4 (statement). In F67Y6BZVV8/e1, lemma 6

History

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

quotient A1NYYY3NSS

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

Mentions

wikipedia: Wikipedia Glossary of module theory#37MP, quotient (definition)

History

2026-11-02: add by m2/dev

Examples A1P4M9DGV7

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

Mentions

wikipedia: Wikipedia Structural identifiability#W0H4, Examples (example)

History

2026-11-02: add by m2/dev

Sergey A. Cherkis A1P69HP123

URI	`m2://inv/A1P69HP123`
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 Q59675021, Sergey A. Cherkis (unknown). Also nLab Sergey Cherkis

History

2026-10-26: add by m2/dev

A1P6EB5Y7V A1P6EB5Y7V

URI	`m2://inv/A1P6EB5Y7V`
Kind	example
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.15217#EZRA (example). In G70Q2FB591/e1, example 3.9

History

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

Parseval's theorem A1PJN2ZR32

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

Mentions

wikipedia: Wikipedia List of harmonic analysis topics#2ER1, Parseval's theorem (statement)
wikipedia: Wikipedia List of Fourier analysis topics#NH2E, Parseval's theorem (statement)

History

2026-11-02: add by m2/dev

Shannon excess-fibre sum A1PM47MRNF

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

Mentions

arxiv: arXiv 2609.23922#WKL8, Shannon excess-fibre sum (statement)

History

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

A1PMTP2X7G A1PMTP2X7G

URI	`m2://inv/A1PMTP2X7G`
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.14135#FBP9 (statement). In C304J64Q79/e1, lemma 8.2

History

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

Field-law tilt A1PS1ZKD80

URI	`m2://inv/A1PS1ZKD80`
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.06490#XRB0, Field-law tilt (statement). In NKXTXH59P1/e1, lemma E.3

History

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

Properties of $\Omega_\epsilon$ A1PSVR9NHC

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

Mentions

arxiv: arXiv 2610.14988#Z95F, Properties of $\Omega_\epsilon$ (statement). In B29M4E6KGC/e1, lemma G.10

History

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

A1PX386DPD A1PX386DPD

URI	`m2://inv/A1PX386DPD`
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 2609.20900#0HXH (statement)

History

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

A1Q2WFX0Q8 A1Q2WFX0Q8

URI	`m2://inv/A1Q2WFX0Q8`
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.30779#5SIB (statement). In 64V4DXGBKB/e1, lemma 3.2

History

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

A1Q5GMHCKC A1Q5GMHCKC

URI	`m2://inv/A1Q5GMHCKC`
Kind	definition
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.23350#4W45 (definition)

History

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

Zoé Chatzidakis A1Q5ZVWQ37

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

Mentions

wikipedia: Wikipedia Zoé Chatzidakis, Zoé Chatzidakis (topic). Also Wikidata Q21153606

History

2026-11-02: add by m2/dev

A1Q7R8C6F0 A1Q7R8C6F0

URI	`m2://inv/A1Q7R8C6F0`
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.30203#7CD3 (statement)

History

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

Boris Davison A1QEJK6B9D

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

Mentions

wikipedia: Wikipedia Boris Davison, Boris Davison (topic). Also Wikidata Q121289511

History

2026-11-02: add by m2/dev

Abel–Ruffini theorem A1QEWGTZEN

URI	`m2://inv/A1QEWGTZEN`
Kind	statement
Layer	textbook
MSC	12-XX
Sources	5
Outcome	open
Node	Abel–Ruffini theorem 163A2WQQJX

Mentions

mathlib_100: mathlib_100 16, Insolvability of General Higher Degree Equations (Abel-Ruffini Theorem) (statement). Also Mathlib AbelRuffini.exists_not_solvable_by_rad
mathlib_1000: mathlib_1000 Q657482, Abel–Ruffini theorem (statement). Also Mathlib AbelRuffini.exists_not_solvable_by_rad, Wikidata Q657482
thousand_plus: thousand_plus Q657482, Abel–Ruffini theorem (statement). Also Mathlib AbelRuffini.exists_not_solvable_by_rad, Wikidata Q657482, Wikipedia Abel–Ruffini theorem
wikidata: Wikidata Q657482, Abel–Ruffini theorem (statement). Also MathWorld AbelsImpossibilityTheorem
wikipedia: Wikipedia Abel–Ruffini theorem, Abel–Ruffini theorem (statement). Also Wikidata Q657482

History

2026-10-26: add by m2/dev

A1QVRS5NR7 A1QVRS5NR7

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

Mentions

arxiv: arXiv 2609.25151#1IT5 (statement)

History

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

Applications A1QW8VSA5E

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

Mentions

wikipedia: Wikipedia Gelfand pair#MZ9Y, Applications (example)

History

2026-11-02: add by m2/dev

Legendre polynomial A1QWAA8173

URI	`m2://inv/A1QWAA8173`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Legendre polynomials QFYGJVA996

Mentions

wikidata: Wikidata Q215405, Legendre polynomial (concept). Also MathWorld LegendrePolynomial, nLab Legendre polynomial
wikipedia: Wikipedia Legendre polynomials, Legendre polynomials (definition). Also Wikidata Q215405

History

2026-10-26: add by m2/dev

Question 3. A1R52VV19C

URI	`m2://inv/A1R52VV19C`
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.06340#4T5O, Question 3. (problem). In PKNZPECH82/e1, problem 10.1

History

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

A1R5B8YNAH A1R5B8YNAH

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

Mentions

arxiv: arXiv 2609.29489#3ZX0 (statement)

History

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

The first theorem A1RBW3NQSY

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

Mentions

wikipedia: Wikipedia Pappus's centroid theorem#O8OW, The first theorem (statement)

History

2026-11-02: add by m2/dev

Examples A1RHRWF5ZT

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

Mentions

wikipedia: Wikipedia Free product#FB6B, Examples (example)

History

2026-11-02: add by m2/dev

A1RP3J91V2 A1RP3J91V2

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

Mentions

arxiv: arXiv 2609.30637#JH3I (statement). In 6G1KBA0SXV/e1, lemma 3.26

History

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

List of things named after Andrey Markov A1RQF1V7EA

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#43O4, List of things named after Andrey Markov (unknown)

History

2026-11-02: add by m2/dev

A1RR5K1KP3 A1RR5K1KP3

URI	`m2://inv/A1RR5K1KP3`
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.15588#JJAG (statement). In M2VCJFGZ4P/e1, lemma 2.2

History

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

unit A1RWYB5XHC

URI	`m2://inv/A1RWYB5XHC`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Unit of a ring 0XVEZDE9J8

Mentions

wikidata: Wikidata Q118084, unit (concept). Also LMFDB knowl ring.unit, MathWorld RingUnit, MathWorld Unit, nLab unit
wikipedia: Wikipedia Unit (ring theory), Unit (definition). Also Wikidata Q118084

History

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

Breusch–Pagan test A1RYZAWSG0

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

Mentions

wikipedia: Wikipedia List of statistics articles#IZT3, Breusch–Pagan test (definition)

History

2026-11-02: add by m2/dev

A1RZHPH0Y2 A1RZHPH0Y2

URI	`m2://inv/A1RZHPH0Y2`
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.33383#TF7H (statement). In 8AHWRHTP5G/e1, lemma 29

History

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

A1S96CSSRT A1S96CSSRT

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

Mentions

arxiv: arXiv 2610.11395#ZQT7 (example). In T3W7SMWQ73/e1, example 16

History

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

A1SDRSMZW0 A1SDRSMZW0

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

Mentions

arxiv: arXiv 2609.27125#X3PO (statement)

History

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

Integrable hidden-face transfer A1SFM0EDME

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

Mentions

arxiv: arXiv 2609.29658#UVJO, Integrable hidden-face transfer (statement)

History

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

A1SFMHSJNZ A1SFMHSJNZ

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-1.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 6.1

History

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

The spaces $W^{1,2}(U)$ and $W^{1,2}_0(U)$ A1SGYPXC2A

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

Mentions

arxiv: arXiv 2204.04317#ALWD, The spaces $W^{1,2}(U)$ and $W^{1,2}_0(U)$ (definition). In 49V3ANDZTY/e1, definition 2.5

History

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

World Programming System A1SK7CHYDG

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

Mentions

wikipedia: Wikipedia World Programming System, World Programming System (definition). Also Wikidata Q2843737

History

2026-11-02: add by m2/dev

mediant A1T2BZTMR5

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

Mentions

wikidata: Wikidata Q1965130, mediant (unknown). Also MathWorld Mediant
wikipedia: Wikipedia Mediant (mathematics), Mediant (definition). Also Wikidata Q1965130

History

2026-10-26: add by m2/dev

Example A1T5CXATAT

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

Mentions

wikipedia: Wikipedia Work hardening#R5Z7, Example (example)

History

2026-11-02: add by m2/dev

Luhn mod N algorithm A1TBS9FQZV

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#OY3V, Luhn mod N algorithm (definition)

History

2026-11-02: add by m2/dev

Newman-Penrose field equations A1TDE9WX0E

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

Mentions

wikipedia: Wikipedia Newman–Penrose formalism#V50K, Newman-Penrose field equations (unknown)

History

2026-11-02: add by m2/dev

Standard simplex obstruction for VI-gap accuracy A1TEKEKC8G

URI	`m2://inv/A1TEKEKC8G`
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.17127#9V5A, Standard simplex obstruction for VI-gap accuracy (statement). In NZJ5B5KSDQ/e1, proposition 2

History

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

Antoine Pevsner A1TJG6PPXZ

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#61PE, Antoine Pevsner (unknown)

History

2026-11-02: add by m2/dev

Nielsen-Thurston classification A1TPX7VNP5

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

Mentions

wikipedia: Wikipedia List of theorems#CHP6, Nielsen-Thurston classification (definition)

History

2026-11-02: add by m2/dev

\coqident{MoreFoundations}{Wtypes}{getfib A1TTB70VRK

URI	`m2://inv/A1TTB70VRK`
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 1904.09810#JJ6V, \coqident{MoreFoundations}{Wtypes}{getfib (definition). In T1VFA7TXPA/e1, definition 77

History

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

Teiji Takagi A1TTSZYMW0

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

Mentions

wikipedia: Wikipedia Teiji Takagi, Teiji Takagi (topic). Also Wikidata Q476959

History

2026-11-02: add by m2/dev

A1V1A39YTQ A1V1A39YTQ

URI	`m2://inv/A1V1A39YTQ`
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 2211.13105#I16S (statement). In 5ACPY6CEDV/e1, proposition 4.4

History

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

Direct method in the calculus of variations A1VK65JYWM

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

Mentions

wikipedia: Wikipedia Direct method in the calculus of variations, Direct method in the calculus of variations (definition). Also Wikidata Q5280366

History

2026-11-02: add by m2/dev

\bf Lazy boundary-reuse complexity A1VQC3S3M3

URI	`m2://inv/A1VQC3S3M3`
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.02791#DZHU, \bf Lazy boundary-reuse complexity (statement). In TT9BA4VMTW/e1, proposition D.6

History

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

A1VXXDN3Z2 A1VXXDN3Z2

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#problem-5 (exercise). In P1C114YBXG, problem, section H

History

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

A1W220F0AT A1W220F0AT

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

Mentions

arxiv: arXiv 2303.09207#HD0W (statement). In 9DQKY7KGE8/e1, proposition 4.15

History

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

A1W65ZFZJ1 A1W65ZFZJ1

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

Mentions

open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-q.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 49.2

History

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

A1W6R0KJ5R A1W6R0KJ5R

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

Mentions

arxiv: arXiv 2610.21092#7W49 (statement). In AGJE43FTF8/e1, proposition 7.12

History

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

A1W8MRT563 A1W8MRT563

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

Mentions

arxiv: arXiv 2610.11905#RK00 (statement). In QQFXT31CA5/e1, theorem 9.3

History

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

directed path A1W8SATPKV

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#X6JF, directed path (definition)

History

2026-11-02: add by m2/dev

A1WC2AJ1CT A1WC2AJ1CT

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

Mentions

arxiv: arXiv 2610.13402#XRGL (definition). In GM1DJJGFVY/e1, definition

History

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

A1WJM4GVJJ A1WJM4GVJJ

URI	`m2://inv/A1WJM4GVJJ`
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 2308.02672#2A45 (statement). In ETRT1R1CQ8/e1, lemma 4.6

History

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

analytic space A1WJQ0PB7B

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

Mentions

wikidata: Wikidata Q4751141, analytic space (unknown). Also EoM Analytic_space, nLab analytic space
wikipedia: Wikipedia Analytic space, Analytic space (definition). Also Wikidata Q4751141

History

2026-10-26: add by m2/dev

Algorithm A1WM2TMEFB

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

Mentions

wikipedia: Wikipedia De Bruijn sequence#3T2Q, Algorithm (definition)

History

2026-11-02: add by m2/dev

Xu Yue A1X1G1H7BD

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

Mentions

wikipedia: Wikipedia Xu Yue (mathematician), Xu Yue (topic). Also Wikidata Q12159141

History

2026-11-02: add by m2/dev

Uses A1X4K14YV7

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

Mentions

wikipedia: Wikipedia Octadecagon#WZNO, Uses (example)

History

2026-11-02: add by m2/dev

Bounded spectral design A1X6P9GG9H

URI	`m2://inv/A1X6P9GG9H`
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.39895#WQ8A, Bounded spectral design (statement). In B3TZBWZNM4/e1, lemma 3

History

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

Lorenzo Mascheroni A1XGJ269TF

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

Mentions

wikipedia: Wikipedia Lorenzo Mascheroni, Lorenzo Mascheroni (topic). Also Wikidata Q361989

History

2026-11-02: add by m2/dev

A1XGVXQHH9 A1XGVXQHH9

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

Mentions

arxiv: arXiv 2609.30519#89NB (statement). In GQQZNRYK15/e1, theorem 5.12

History

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

Examples A1XH3DHZ18

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

Mentions

wikipedia: Wikipedia Polycyclic group#HOJ1, Examples (example)

History

2026-11-02: add by m2/dev

StatXact A1XJA93TVA

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

Mentions

wikipedia: Wikipedia List of statistical software#M380, StatXact (definition)

History

2026-11-02: add by m2/dev

essentially surjective A1XK5BF7BD

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

Mentions

wikipedia: Wikipedia Glossary of category theory#AIRZ, essentially surjective (definition)

History

2026-11-02: add by m2/dev

Monotonicity under adding rows A1XR8E19AV

URI	`m2://inv/A1XR8E19AV`
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.28198#QJ3N, Monotonicity under adding rows (statement)

History

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

Glaisher–Kinkelin constant A1XS6RX5N8

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

Mentions

wikidata: Wikidata Q1782651, Glaisher–Kinkelin constant (object). Also MathWorld Glaisher-KinkelinConstant, OEIS A074962
wikipedia: Wikipedia Glaisher–Kinkelin constant, Glaisher–Kinkelin constant (object). Also Wikidata Q1782651

History

2026-10-26: add by m2/dev

Friedrich Maria Urban A1XW6E2D7V

URI	`m2://inv/A1XW6E2D7V`
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#B7OI, Friedrich Maria Urban (unknown)

History

2026-11-02: add by m2/dev

A1XZA7R5D6 A1XZA7R5D6

URI	`m2://inv/A1XZA7R5D6`
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.38014#0ABW (definition). In F3X5W4E0AJ/e1, definition 1

History

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

Christian Reinsch A1Y6ZRBXNK

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

Mentions

wikipedia: Wikipedia Christian Reinsch, Christian Reinsch (topic). Also Wikidata Q38267570

History

2026-11-02: add by m2/dev

Knar's formula A1YBNSN59X

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

Mentions

wikipedia: Wikipedia Joseph Knar#3DQQ, Knar's formula (statement)

History

2026-11-02: add by m2/dev

A1YHHDGM2M A1YHHDGM2M

URI	`m2://inv/A1YHHDGM2M`
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.04466#ANQH (statement). In EHW82CK883/e1, proposition 3.10

History

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

A1YK69582G A1YK69582G

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

Mentions

austin_ula: austin_ula src/section6-2.xml#activity-2 (exercise). In 649HGZKE96, activity, section 6.2.3

History

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

Harold N. Gabow A1Z81R3P0E

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

Mentions

wikipedia: Wikipedia Harold N. Gabow, Harold N. Gabow (topic). Also Wikidata Q102117086

History

2026-11-02: add by m2/dev

Six Shooter Canyon, Arizona A1ZMTYQ9AS

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

Mentions

wikipedia: Wikipedia List of places with numeric names#B1FL, Six Shooter Canyon, Arizona (unknown)

History

2026-11-02: add by m2/dev

A1ZTVBFHMR A1ZTVBFHMR

URI	`m2://inv/A1ZTVBFHMR`
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.24412#91KD (statement)

History

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

Graph dynamical system A1ZTX1GS6G

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#FS13, Graph dynamical system (definition)

History

2026-11-02: add by m2/dev

factorisation A1ZVAV8850

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

Mentions

arxiv: arXiv 2609.27458#XRYU, factorisation (statement)

History

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

Cyclic surgery theorem A1ZW3P07XJ

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

Mentions

wikipedia: Wikipedia 3-manifold#8GZH, Cyclic surgery theorem (statement)

History

2026-11-02: add by m2/dev