Inventory rows AT

𝔲 AT0189T61V

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

Mentions

wikipedia: Wikipedia Glossary of set theory#IF8Z, 𝔲 (definition)

History

2026-11-02: add by m2/dev

Shape of the distribution AT02PD03KC

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

Mentions

wikipedia: Wikipedia List of statistics articles#S40W, Shape of the distribution (definition)

History

2026-11-02: add by m2/dev

Equivalence of the two definitions AT0HN936QJ

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

Mentions

arxiv: arXiv 2610.16731#8SJO, Equivalence of the two definitions (statement). In D68KBZQ4Q6/e1, theorem 5.1

History

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

Buckingham π theorem AT0K555PN5

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

Mentions

wikipedia: Wikipedia List of theorems#KALD, Buckingham π theorem (statement)

History

2026-11-02: add by m2/dev

AT0YV6E9DR AT0YV6E9DR

URI	`m2://inv/AT0YV6E9DR`
Kind	statement
Layer	research
MSC	49-XX, 62-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.22642#NJ54 (statement)

History

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

Steinhaus–Johnson–Trotter algorithm AT0ZHDN8ZH

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

Mentions

wikipedia: Wikipedia List of algorithms#Q88O, Steinhaus–Johnson–Trotter algorithm (unknown)

History

2026-11-02: add by m2/dev

Placebo-controlled study AT10WJHCQ7

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

Mentions

wikipedia: Wikipedia Placebo-controlled study, Placebo-controlled study (definition). Also Wikidata Q7200267

History

2026-11-02: add by m2/dev

AT1151VJJP AT1151VJJP

URI	`m2://inv/AT1151VJJP`
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#NC2W (statement). In F3BKXXPR3K/e1, theorem 3.75

History

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

Fibration of simplicial sets AT16KNSW4Q

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

Mentions

wikipedia: Wikipedia Fibration of simplicial sets, Fibration of simplicial sets (definition). Also Wikidata Q113379941

History

2026-11-02: add by m2/dev

Quantitative fixed-index confluence AT184RY407

URI	`m2://inv/AT184RY407`
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.22027#QNQ5, Quantitative fixed-index confluence (statement)

History

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

AT1A3SCHJS AT1A3SCHJS

URI	`m2://inv/AT1A3SCHJS`
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.27800#UVQ6 (statement)

History

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

Dirac adjoint AT1BHYGJZJ

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#V51J, Dirac adjoint (definition)

History

2026-11-02: add by m2/dev

automorphism AT1CY0AD6T

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

Mentions

wikipedia: Wikipedia Glossary of logic#I5NP, automorphism (definition)

History

2026-11-02: add by m2/dev

Sergei Gukov AT1DNVY1SC

URI	`m2://inv/AT1DNVY1SC`
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 Q7453551, Sergei Gukov (unknown). Also nLab Sergei Gukov

History

2026-10-26: add by m2/dev

Semiparametric regression AT1FKSC28Q

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

Mentions

wikipedia: Wikipedia List of statistics articles#VV6K, Semiparametric regression (definition)

History

2026-11-02: add by m2/dev

derangement AT1HVABQDQ

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

Mentions

wikidata: Wikidata Q1207920, derangement (unknown). Also EoM Derangement, MathWorld Derangement
wikipedia: Wikipedia Derangement, Derangement (definition). Also Wikidata Q1207920

History

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

Galois connection AT1J5RBP72

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

Mentions

wikipedia: Wikipedia List of order theory topics#48AL, Galois connection (definition)

History

2026-11-02: add by m2/dev

Statement AT1MBXWAF8

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

Mentions

wikipedia: Wikipedia Bishop–Gromov inequality#A3K9, Statement (statement)

History

2026-11-02: add by m2/dev

Kulkarni–Nomizu product AT254A76D9

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

Mentions

wikipedia: Wikipedia Kulkarni–Nomizu product, Kulkarni–Nomizu product (definition). Also Wikidata Q550628

History

2026-11-02: add by m2/dev

Three loops; {\rm \Icorref{cor:nfour AT26TVQH5E

URI	`m2://inv/AT26TVQH5E`
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#F546, Three loops; {\rm \Icorref{cor:nfour (statement). In RWNP4FEE65/e1, theorem 2.1

History

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

AT27R0F4GK AT27R0F4GK

URI	`m2://inv/AT27R0F4GK`
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 2605.30285#56DD (statement). In YMY0NNSM27/e1, lemma 4.3

History

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

Klára Dán von Neumann AT2J157STS

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#DCXK, Klára Dán von Neumann (unknown)

History

2026-11-02: add by m2/dev

Properties AT2K3S1V2V

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

Mentions

wikipedia: Wikipedia Hilbert cube#JP3F, Properties (statement)

History

2026-11-02: add by m2/dev

AT2NQ3FREN AT2NQ3FREN

URI	`m2://inv/AT2NQ3FREN`
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.00144#TY3W (statement). In HAZGBX88B3/e1, theorem 4

History

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

AT33NTNAK8 AT33NTNAK8

URI	`m2://inv/AT33NTNAK8`
Kind	statement
Layer	research
MSC	13-XX, 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.23469#FO8D (statement)

History

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

AT364MCD9K AT364MCD9K

URI	`m2://inv/AT364MCD9K`
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 2504.09464#ZD5R (statement). In RN1XRCS2CH/e1, theorem 2

History

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

Small-bias sample space AT37SVABGQ

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

Mentions

wikipedia: Wikipedia Small-bias sample space, Small-bias sample space (definition). Also Wikidata Q7542591

History

2026-11-02: add by m2/dev

5-cube AT3QCP3QM1

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#XY3N, 5-cube (definition)

History

2026-11-02: add by m2/dev

AT43BDHW05 AT43BDHW05

URI	`m2://inv/AT43BDHW05`
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.30480#I801 (statement). In VP7MPRKH0M/e1, theorem 3.3

History

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

International Crime Victims Survey AT44HH8VMY

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

Mentions

wikipedia: Wikipedia International Crime Victims Survey, International Crime Victims Survey (definition). Also Wikidata Q6049978

History

2026-11-02: add by m2/dev

AT44TGQNSA AT44TGQNSA

URI	`m2://inv/AT44TGQNSA`
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.29723#MTGS (statement)

History

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

AT4651BBR7 AT4651BBR7

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

Mentions

arxiv: arXiv 2609.22551#OO73 (statement)

History

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

AT46R84S7W AT46R84S7W

URI	`m2://inv/AT46R84S7W`
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 2110.08714#VEWB (statement). In A3RAXBSWA5/e1, corollary 3.11

History

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

AT4EQET8HZ AT4EQET8HZ

URI	`m2://inv/AT4EQET8HZ`
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.35275#K5M2 (statement). In B0NV0JBAKB/e1, lemma A.1

History

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

AT4MSJHSFQ AT4MSJHSFQ

URI	`m2://inv/AT4MSJHSFQ`
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#XL0C (statement). In JC3PAB5DRC/e1, lemma 5

History

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

Kaidā glyphs AT4X9G8T4S

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

Mentions

wikipedia: Wikipedia Kaidā glyphs, Kaidā glyphs (definition). Also Wikidata Q719131

History

2026-11-02: add by m2/dev

AT558VXCYM AT558VXCYM

URI	`m2://inv/AT558VXCYM`
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 2103.12669#8PSG (statement). In ZA6XNBA90V/e1, corollary 3.12

History

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

Nancy J. Adler AT59VNSGHD

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#LCEN, Nancy J. Adler (unknown)

History

2026-11-02: add by m2/dev

Bias blind spot AT5JTY4HEE

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

Mentions

wikipedia: Wikipedia List of cognitive biases#GPLU, Bias blind spot (unknown)

History

2026-11-02: add by m2/dev

AT5NPHNS81 AT5NPHNS81

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

Mentions

arxiv: arXiv 2610.16554#TGMF (statement). In GWNT8HEZG1/e1, corollary 3.24

History

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

Paul Steinhardt AT5QB0X5PE

URI	`m2://inv/AT5QB0X5PE`
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 Q964294, Paul Steinhardt (unknown). Also nLab Paul Steinhardt

History

2026-10-26: add by m2/dev

AT5QSEFVQ8 AT5QSEFVQ8

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

Mentions

arxiv: arXiv 2610.13680#69MM (unknown). In QNBFHFZ3H0/e1, unknown 39

History

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

Pappus graph AT5R3AMGPT

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

Mentions

wikidata: Wikidata Q3115526, Pappus graph (unknown). Also House of Graphs 1248, MathWorld PappusGraph
wikipedia: Wikipedia Pappus graph, Pappus graph (definition). Also Wikidata Q3115526

History

2026-10-26: add by m2/dev

Plateau AT65GSMCTX

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#GVNF, Plateau (definition)

History

2026-11-02: add by m2/dev

Truncated triakis icosahedron AT6C6SGMSD

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

Mentions

wikipedia: Wikipedia Truncated triakis icosahedron, Truncated triakis icosahedron (definition). Also Wikidata Q60795065

History

2026-11-02: add by m2/dev

Gabriele Nebe AT6DCZ0NTR

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

Mentions

wikipedia: Wikipedia Gabriele Nebe, Gabriele Nebe (topic). Also Wikidata Q6525207

History

2026-11-02: add by m2/dev

General number field sieve AT6KQ5ENTS

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

Mentions

wikipedia: Wikipedia List of number theory topics#QH9W, General number field sieve (definition)
wikipedia: Wikipedia List of number theory topics#TTPO, General number field sieve (definition)

History

2026-11-02: add by m2/dev

AT6RXN0CKB AT6RXN0CKB

URI	`m2://inv/AT6RXN0CKB`
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.32946#7EZV (statement). In 6AEBXNK614/e1, theorem 4.8

History

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

Mike Worboys AT6RZB6YT5

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

Mentions

wikipedia: Wikipedia Mike Worboys, Mike Worboys (topic). Also Wikidata Q11108939

History

2026-11-02: add by m2/dev

AT6WKP3W27 AT6WKP3W27

URI	`m2://inv/AT6WKP3W27`
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 2209.07892#CVH9 (definition). In RGAFSKTAHM/e1, definition 2.1

History

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

Nae Ionescu AT6Y6YQCG2

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

Mentions

wikipedia: Wikipedia Nae Ionescu, Nae Ionescu (topic). Also Wikidata Q1380594

History

2026-11-02: add by m2/dev

The edit-cap term is unavoidable AT73DGRMM9

URI	`m2://inv/AT73DGRMM9`
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.11007#TF1F, The edit-cap term is unavoidable (statement). In MF0H78XZXC/e1, theorem 3

History

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

orthogonal set AT74V15QXC

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

Mentions

wikidata: Wikidata Q20877816, orthogonal set (unknown). Also MathWorld OrthogonalSet, MathWorld OrthogonalVectors

History

2026-10-26: add by m2/dev

AT7634PAE1 AT7634PAE1

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

History

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

AT76A3710R AT76A3710R

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-260 (exercise). In VNMV985MXX, exercise, section 5.2

History

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

associativity, of addition, of Cauchy reals AT7BDF641Y

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

Mentions

hott_book: hott_book index/B.3.3/associativity-of-addition-of-cauchy-reals, associativity, of addition, of Cauchy reals (concept). In N54F33XE07, index, section B.3.3

History

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

370261 (number) AT7SJDWMH9

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

Mentions

wikipedia: Wikipedia Prime gap#JIUD, 370261 (number) (unknown)

History

2026-11-02: add by m2/dev

Finite-family relative ping-pong AT81TZ5G75

URI	`m2://inv/AT81TZ5G75`
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.36098#9XSN, Finite-family relative ping-pong (statement). In NRP62VNE58/e1, proposition 5.1

History

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

Hollander, Myles AT85FCKGGV

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

Mentions

wikipedia: Wikipedia List of statisticians#7SVQ, Hollander, Myles (unknown)

History

2026-11-02: add by m2/dev

Tree-cotree lemma AT8AH3FSJP

URI	`m2://inv/AT8AH3FSJP`
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.30561#TR8O, Tree-cotree lemma (statement). In EHQBEXHF9W/e1, lemma 2.5

History

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

AT8B1K5QE5 AT8B1K5QE5

URI	`m2://inv/AT8B1K5QE5`
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 2610.12479#NG0M (definition). In WE001PR75Z/e1, definition 28

History

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

Robert Miller Hardt AT8EE84WWK

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

Mentions

wikipedia: Wikipedia Robert Miller Hardt, Robert Miller Hardt (topic). Also Wikidata Q15842676

History

2026-11-02: add by m2/dev

Synthetic differential geometry AT8F7NABDQ

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#S8YN, Synthetic differential geometry (definition)

History

2026-11-02: add by m2/dev

Tim Cochran AT8XGAMWCX

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

Mentions

wikipedia: Wikipedia Tim Cochran, Tim Cochran (topic). Also Wikidata Q18655751

History

2026-11-02: add by m2/dev

AT8ZPWX15M AT8ZPWX15M

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

Mentions

arxiv: arXiv 2610.17060#DGHD (statement). In 5KR3MHYVV6/e1, lemma 3.13

History

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

AT91QWR07N AT91QWR07N

URI	`m2://inv/AT91QWR07N`
Kind	statement
Layer	research
MSC	20-XX, 22-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 math/0512416#EMD0 (statement). In WJD9YPGGYH/e1, lemma 4.3

History

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

Rademacher–Menchov theorem AT99GTW0SG

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

Mentions

wikipedia: Wikipedia Rademacher–Menchov theorem, Rademacher–Menchov theorem (statement). Also Wikidata Q17079965

History

2026-11-02: add by m2/dev

Shmuel Agmon AT99N8BG8E

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#SOR1, Shmuel Agmon (topic)

History

2026-11-02: add by m2/dev

basepoint chains AT9B4W2SWV

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

Mentions

arxiv: arXiv 2609.32733#L832, basepoint chains (definition). In PCAS8S14J6/e1, definition 3.2

History

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

Matrix t-distribution AT9CKSVYB9

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

Mentions

wikipedia: Wikipedia List of statistics articles#L6HA, Matrix t-distribution (definition)

History

2026-11-02: add by m2/dev

Gödel's completeness theorem AT9G1SH5BQ

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#UO5Y, Gödel's completeness theorem (statement)

History

2026-11-02: add by m2/dev

Christopher I. Byrnes AT9KKHZYKH

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

Mentions

wikipedia: Wikipedia Christopher I. Byrnes, Christopher I. Byrnes (topic). Also Wikidata Q5591426

History

2026-11-02: add by m2/dev

Applications AT9KP9FTC7

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

Mentions

wikipedia: Wikipedia Differential Galois theory#B62H, Applications (example)

History

2026-11-02: add by m2/dev

lifting one Witt layer AT9T4X31A6

URI	`m2://inv/AT9T4X31A6`
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.09298#ZG54, lifting one Witt layer (statement). In 1SPQ4J3AWY/e1, lemma 3.4

History

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

Inverse transform sampling AT9V3KHNDT

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

Mentions

wikipedia: Wikipedia List of statistics articles#UJ1F, Inverse transform sampling (definition)

History

2026-11-02: add by m2/dev

Principal geodesic analysis AT9XM4TFDR

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

Mentions

wikipedia: Wikipedia List of statistics articles#S3G0, Principal geodesic analysis (definition)

History

2026-11-02: add by m2/dev

ATA00VCAMR ATA00VCAMR

URI	`m2://inv/ATA00VCAMR`
Kind	statement
Layer	research
MSC	05-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.40200#9UEY (statement). In VWNB6QJWFN/e1, lemma 6.3

History

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

Eugen Jahnke ATA1PA0MYN

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

Mentions

wikipedia: Wikipedia Eugen Jahnke, Eugen Jahnke (topic). Also Wikidata Q103221

History

2026-11-02: add by m2/dev

ATA593Q283 ATA593Q283

URI	`m2://inv/ATA593Q283`
Kind	definition
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.29498#P6LS (definition)

History

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

ATA9MMQTHC ATA9MMQTHC

URI	`m2://inv/ATA9MMQTHC`
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 2609.31858#HI5C (definition). In QV16PHDXKJ/e1, definition 2.10

History

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

Rose Catherine Pinkney ATAC46VR85

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#O33Y, Rose Catherine Pinkney (unknown)

History

2026-11-02: add by m2/dev

ATAF4FRJP8 ATAF4FRJP8

URI	`m2://inv/ATAF4FRJP8`
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#5ICI (statement)

History

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

lax symmetric monoidal endofunctor ATAG18QZWX

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

Mentions

arxiv: arXiv 2405.14678#PCKW, lax symmetric monoidal endofunctor (definition). In 9ZSNSJRJ5N/e1, definition 13

History

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

Examples ATAKNRDJ6G

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

Mentions

wikipedia: Wikipedia God's algorithm#MKJY, Examples (example)

History

2026-11-02: add by m2/dev

Pompeiu's theorem ATB1PT0PHV

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

Mentions

wikipedia: Wikipedia List of theorems#F0MY, Pompeiu's theorem (statement)

History

2026-11-02: add by m2/dev

Yvon Villarceau ATB5HMADY2

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

Mentions

wikipedia: Wikipedia Yvon Villarceau, Yvon Villarceau (topic). Also Wikidata Q3036587

History

2026-11-02: add by m2/dev

Azriel Rosenfeld ATB7882E6Z

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ZXN9, Azriel Rosenfeld (unknown)

History

2026-11-02: add by m2/dev

Hacovercosine ATBD32QHG6

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#7MNQ, Hacovercosine (definition)

History

2026-11-02: add by m2/dev

principal ATBGXPE2ZY

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

Mentions

wikipedia: Wikipedia Glossary of module theory#JMXK, principal (definition)

History

2026-11-02: add by m2/dev

Bounded Burnside problem ATBH73K7BP

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#C2V6, Bounded Burnside problem (conjecture)

History

2026-11-02: add by m2/dev

Four vertex theorem ATBK36NSNE

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

Mentions

mathlib_1000: mathlib_1000 Q994401, Four-vertex theorem (statement). Also Wikidata Q994401
thousand_plus: thousand_plus Q994401, Four-vertex theorem (statement). Also Wikidata Q994401, Wikipedia Four-vertex theorem
wikipedia: Wikipedia Four vertex theorem, Four vertex theorem (statement). Also Wikidata Q994401

History

2026-10-26: add by m2/dev

ATBVR1M9HT ATBVR1M9HT

URI	`m2://inv/ATBVR1M9HT`
Kind	statement
Layer	research
MSC	14-XX, 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 2504.07573#V79H (statement). In 78X5SKJX8J/e1, lemma 7.3

History

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

ATBVXK4AMR ATBVXK4AMR

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

Mentions

arxiv: arXiv 2504.00596#M3F3 (statement). In F8RC6AENB0/e1, proposition 2.11

History

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

Ibn Mu'adh al-Jayyani ATC1PXDKBC

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

Mentions

wikipedia: Wikipedia Ibn Mu'adh al-Jayyani, Ibn Mu'adh al-Jayyani (topic). Also Wikidata Q2987645

History

2026-11-02: add by m2/dev

ATC9SD7HCT ATC9SD7HCT

URI	`m2://inv/ATC9SD7HCT`
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 1705.04310#KIAZ (definition). In MG51GG0QZN/e1, definition 5.12

History

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

Clifford module bundle ATCGEERC6Q

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

Mentions

wikidata: Wikidata Q16949216, Clifford module bundle (unknown). Also nLab Clifford module bundle
wikipedia: Wikipedia Clifford module bundle, Clifford module bundle (definition). Also Wikidata Q16949216

History

2026-10-26: add by m2/dev

ATD45GMQGS ATD45GMQGS

URI	`m2://inv/ATD45GMQGS`
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.14154#ZGZ7 (statement). In 8X6PXX2TRA/e1, proposition 6.2

History

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

ATD4WVNYDX ATD4WVNYDX

URI	`m2://inv/ATD4WVNYDX`
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.37425#TGCL (statement). In E02TSC01RN/e1, lemma 2

History

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

perfect information ATD7M067MC

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

Mentions

wikidata: Wikidata Q1074338, perfect information (unknown). Also MathWorld PerfectInformation
wikipedia: Wikipedia Perfect information, Perfect information (definition). Also Wikidata Q1074338

History

2026-10-26: add by m2/dev

Definition ATDCQKKECX

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

Mentions

wikipedia: Wikipedia Logical NOR#6AXP, Definition (definition)

History

2026-11-02: add by m2/dev

logarithm ATDEGAS7TG

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

Mentions

mathlib_overview: mathlib_overview Analysis > Special functions > logarithm, logarithm (unknown). Also Mathlib Real.log
mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > logarithms, logarithms (unknown). Also Mathlib Real.log
wikidata: Wikidata Q11197, logarithm (unknown). Also EoM Logarithm_of_a_number, Mathlib Real.log, MathWorld Logarithm, nLab logarithm
wikipedia: Wikipedia Logarithm, Logarithm (definition). Also Wikidata Q11197

History

2026-10-26: add by m2/dev

ATDNPS42YP ATDNPS42YP

URI	`m2://inv/ATDNPS42YP`
Kind	statement
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 2609.27775#K6I0 (statement)

History

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

Thomae's function ATDYJVHTY0

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

Mentions

wikipedia: Wikipedia List of mathematical functions#GK2A, Thomae's function (definition)

History

2026-11-02: add by m2/dev

Examples ATE74FNC8H

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

Mentions

wikipedia: Wikipedia Distribution (differential geometry)#QAEI, Examples (example)

History

2026-11-02: add by m2/dev

Alpha compositing ATE7HZ4JYP

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#VO77, Alpha compositing (unknown)

History

2026-11-02: add by m2/dev

algorithms for calculating variance ATE7K15Z3R

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

Mentions

wikidata: Wikidata Q4724375, algorithms for calculating variance (unknown). Also MathWorld SampleVarianceComputation
wikipedia: Wikipedia Algorithms for calculating variance, Algorithms for calculating variance (definition). Also Wikidata Q4724375

History

2026-10-26: add by m2/dev

naked singularity ATEDHS0E3S

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

Mentions

wikidata: Wikidata Q285949, naked singularity (unknown). Also EoM Naked_singularity, nLab naked singularity

History

2026-10-26: add by m2/dev

sexagesimal ATEF2Q7K51

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

Mentions

wikidata: Wikidata Q114799, sexagesimal (unknown). Also MathWorld Sexagesimal
wikipedia: Wikipedia Sexagesimal, Sexagesimal (definition). Also Wikidata Q114799

History

2026-10-26: add by m2/dev

Formal definition ATEQNZEA0F

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

Mentions

wikipedia: Wikipedia Representation ring#GRB1, Formal definition (definition)

History

2026-11-02: add by m2/dev

ATETEV476A ATETEV476A

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_seq-basics.ptx#example-2 (example). In Y91XFCEVHQ, example, section 3.1

History

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

Complementarity of $w_T^{*,k}$ ATETY6CCES

URI	`m2://inv/ATETY6CCES`
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.21454#UP85, Complementarity of $w_T^{*,k}$ (statement). In ZP2RJFZ3V2/e1, corollary 4.9

History

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

ATEZ8F409Y ATEZ8F409Y

URI	`m2://inv/ATEZ8F409Y`
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.24374#6JM7 (statement)

History

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

Ogive ATF1SPQE29

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

Mentions

wikipedia: Wikipedia Ogive (statistics), Ogive (definition). Also Wikidata Q48997143

History

2026-11-02: add by m2/dev

ATF6TVW4G0 ATF6TVW4G0

URI	`m2://inv/ATF6TVW4G0`
Kind	example
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.31387#JC5C (example). In GBD60VB1JX/e1, example 3

History

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

ATF6ZWKFKP ATF6ZWKFKP

URI	`m2://inv/ATF6ZWKFKP`
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.19273#KEGG (statement). In T3BY4TXYT4/e1, theorem 1.9

History

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

ATFCMRA0XR ATFCMRA0XR

URI	`m2://inv/ATFCMRA0XR`
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 2204.07961#Z8BO (statement). In 4DK4VRKZVM/e1, lemma 2.3

History

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

ATFEP5VA0K ATFEP5VA0K

URI	`m2://inv/ATFEP5VA0K`
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 2502.05771#Q6QO (statement). In 958KKGH89J/e1, lemma 2.3

History

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

ATFNYTR483 ATFNYTR483

URI	`m2://inv/ATFNYTR483`
Kind	statement
Layer	research
MSC	11-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.13347#0BMX (statement). In Z6QS82DPHE/e1, theorem 3.1

History

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

ATFVY7QZ07 ATFVY7QZ07

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

Mentions

arxiv: arXiv 2207.12181#QJBR (statement). In FSD8NE3XSR/e1, proposition 7.9

History

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

Definition ATG4501BKF

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

Mentions

wikipedia: Wikipedia Complete bipartite graph#BS9U, Definition (definition)

History

2026-11-02: add by m2/dev

ATG8VS71AP ATG8VS71AP

URI	`m2://inv/ATG8VS71AP`
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.24314#OMAV (statement)

History

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

Vagif Rza Ibrahimov ATGA3FCRHZ

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

Mentions

wikipedia: Wikipedia Vagif Rza Ibrahimov, Vagif Rza Ibrahimov (topic). Also Wikidata Q18594724

History

2026-11-02: add by m2/dev

Giuliana Davidoff ATGJ06J5BS

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

Mentions

wikipedia: Wikipedia Giuliana Davidoff, Giuliana Davidoff (topic). Also Wikidata Q85905702

History

2026-11-02: add by m2/dev

Definition ATGK9BPCSN

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

Mentions

wikipedia: Wikipedia Negative hypergeometric distribution#7SYH, Definition (definition)

History

2026-11-02: add by m2/dev

Array controller based encryption ATGR8X93V0

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

Mentions

wikipedia: Wikipedia Array controller based encryption, Array controller based encryption (definition). Also Wikidata Q4795877

History

2026-11-02: add by m2/dev

Disjoint majority restrictions ATH6QH6TQM

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

Mentions

arxiv: arXiv 2610.02407#YMCQ, Disjoint majority restrictions (statement). In ZZER8ZBSCR/e1, lemma 6.18

History

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

Hazard ratio ATHGZQ1W35

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

Mentions

wikipedia: Wikipedia Hazard ratio, Hazard ratio (definition). Also Wikidata Q3930246

History

2026-11-02: add by m2/dev

Special Collection Service ATHH8DYZ3Z

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

Mentions

wikipedia: Wikipedia Special Collection Service, Special Collection Service (definition). Also Wikidata Q13503524

History

2026-11-02: add by m2/dev

Properties ATHS070JFZ

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

Mentions

wikipedia: Wikipedia Euler equations (fluid dynamics)#PEBF, Properties (statement)

History

2026-11-02: add by m2/dev

ATHZAYKKY7 ATHZAYKKY7

URI	`m2://inv/ATHZAYKKY7`
Kind	statement
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#CT0J (statement). In CY1FE8W1ZW/e1, lemma 0.15

History

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

Admissibles are monic and preserve the cell class ATJCRDWTJB

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

Mentions

arxiv: arXiv 2609.28220#G6R4, Admissibles are monic and preserve the cell class (statement)

History

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

Gallai–Hasse–Roy–Vitaver theorem ATJD17ER8K

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

Mentions

wikipedia: Wikipedia Mirsky's theorem#BZQO, Gallai–Hasse–Roy–Vitaver theorem (statement)

History

2026-11-02: add by m2/dev

ATJNB0DE5G ATJNB0DE5G

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-94 (exercise). In E9HS8K3A52, exercise, section 5.8.3

History

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

Refinement ATJNEHFDQH

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

Mentions

wikipedia: Wikipedia Glossary of general topology#2W5W, Refinement (definition)

History

2026-11-02: add by m2/dev

Maurice Janet ATJR7EFJ6X

URI	`m2://inv/ATJR7EFJ6X`
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#C5WD, Maurice Janet (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GIXK, Maurice Janet (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V4VE, Maurice Janet (topic)

History

2026-11-02: add by m2/dev

ATJS55XA4R ATJS55XA4R

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

Mentions

arxiv: arXiv 2104.00162#FM2Y (definition). In HVGT9D84WV/e1, definition 1.12

History

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

ATJWVRG4PG ATJWVRG4PG

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

Mentions

arxiv: arXiv 2609.36456#AAEF (statement). In E3MBNAPCQG/e1, lemma 5.2

History

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

Orr–Sommerfeld equation ATJZZXJP5D

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

Mentions

wikipedia: Wikipedia Orr–Sommerfeld equation, Orr–Sommerfeld equation (definition). Also Wikidata Q7104117

History

2026-11-02: add by m2/dev

Poisson ladder ATK16HT6HF

URI	`m2://inv/ATK16HT6HF`
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 2610.00902#RY8O, Poisson ladder (definition). In 1BYMXTH5MW/e1, definition 9.1

History

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

discrete geometry ATK1YNNRFQ

URI	`m2://inv/ATK1YNNRFQ`
Kind	topic
Layer	textbook
MSC	52Cxx
Sources	2
Outcome	open
Node	Discrete geometry Q0RW86P85F

Mentions

wikidata: Wikidata Q906377, discrete geometry (topic). Also ProofWiki Definition:Discrete_Geometry
wikipedia: Wikipedia Discrete geometry, Discrete geometry (topic). Also Wikidata Q906377

History

2026-10-26: add by m2/dev

Posynomial ATK415DN2D

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

Mentions

wikipedia: Wikipedia Posynomial, Posynomial (definition). Also Wikidata Q2078288

History

2026-11-02: add by m2/dev

ATK46CS0MK ATK46CS0MK

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

Mentions

arxiv: arXiv 2609.39539#CUJQ (statement). In GVR218P3ZR/e1, lemma 2.4.3

History

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

ATKDA7WWHB ATKDA7WWHB

URI	`m2://inv/ATKDA7WWHB`
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.32903#D1VY (statement). In S8NB83KQX3/e1, lemma 1

History

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

Formal definition ATKG7KF7MC

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

Mentions

wikipedia: Wikipedia Zero bias transform#XN0F, Formal definition (definition)

History

2026-11-02: add by m2/dev

Relative rotations of central configurations from designs ATKK22PXDE

URI	`m2://inv/ATKK22PXDE`
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.04136#47HA, Relative rotations of central configurations from designs (statement). In TBYTWR87F3/e1, corollary 1.5

History

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

Definitions. ATKKGF4DR2

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

Mentions

wikipedia: Wikipedia Strictly singular operator#CQOS, Definitions. (definition)

History

2026-11-02: add by m2/dev

Lev Kopelev ATKKTNK0BH

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#TZT2, Lev Kopelev (unknown)

History

2026-11-02: add by m2/dev

Levey–Jennings chart ATKP3C7WKJ

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

Mentions

wikipedia: Wikipedia List of statistics articles#KXPN, Levey–Jennings chart (definition)

History

2026-11-02: add by m2/dev

Glivenko's theorem ATKP49354H

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

Mentions

mathlib_1000: mathlib_1000 Q28458131, Glivenko's theorem (probability theory) (statement). Also Wikidata Q28458131
thousand_plus: thousand_plus Q28458131, Glivenko's theorem (statement). Also Wikidata Q28458131, Wikipedia Glivenko's theorem (probability theory)
wikipedia: Wikipedia Glivenko's theorem (probability theory), Glivenko's theorem (statement). Also Wikidata Q28458131

History

2026-10-26: add by m2/dev

Formulation ATKPZDVR1R

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

Mentions

wikipedia: Wikipedia Liberman's lemma#INH0, Formulation (definition)

History

2026-11-02: add by m2/dev

Definitions ATKXATRJ4N

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

Mentions

wikipedia: Wikipedia Calculus of structures#DDNG, Definitions (definition)

History

2026-11-02: add by m2/dev

SORT ATKYD8Q5PA

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

Mentions

wikipedia: Wikipedia SORT (journal), SORT (definition). Also Wikidata Q7392093

History

2026-11-02: add by m2/dev

ATKYVKNB7Z ATKYVKNB7Z

URI	`m2://inv/ATKYVKNB7Z`
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.04165#TPN3 (statement). In PKN283MHF8/e1, lemma 3.3

History

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

Rotational lift of the Weyl matrix ATKZEB03Z3

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

Mentions

arxiv: arXiv 2609.26066#SOF4, Rotational lift of the Weyl matrix (statement)

History

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

Lebesgue covering lemma \footnote{Named after the French mathematician \href{https://en.wikipedia.org/wiki/Henri_Lebesgue}{Henri L\'eon Lebesgue} (1875--1941). The number $\delta$ is sometimes called the \myindex{Lebesgue number} of the cover.} ATMFKZ961T

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#ms:lebesgue, Lebesgue covering lemma \footnote{Named after the French mathematician \href{https://en.wikipedia.org/wiki/Henri_Lebesgue}{Henri L\'eon Lebesgue} (1875--1941). The number $\delta$ is sometimes called the \myindex{Lebesgue number} of the cover.} (statement). In E59CDZA4DP, lemma, section 4.4.2

History

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

ATMFVD2G6P ATMFVD2G6P

URI	`m2://inv/ATMFVD2G6P`
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.11120#E3Y8 (statement). In KCY80F2YGP/e1, theorem 1

History

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

ATMHASTYB2 ATMHASTYB2

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

Mentions

hott_book: hott_book hlevels.tex#proof-2 (proof). In N54F33XE07, proof, section 6.1

History

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

29 ATMKQFMA21

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

Mentions

wikipedia: Wikipedia 29 (number), 29 (definition). Also Wikidata Q543929

History

2026-11-02: add by m2/dev

set of complex numbers without zero ATMNXGEXP3

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

Mentions

wikidata: Wikidata Q105525706, set of complex numbers without zero (unknown). Also MathWorld PuncturedPlane

History

2026-10-26: add by m2/dev

ATMVA5A15P ATMVA5A15P

URI	`m2://inv/ATMVA5A15P`
Kind	statement
Layer	research
MSC	53-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.32300#AJK3 (statement). In VNE8N0D2FB/e1, corollary 1.8

History

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

Leibniz formula for pi ATMX6W219D

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

Mentions

wikipedia: Wikipedia List of topics related to π#XLQN, Leibniz formula for pi (statement)

History

2026-11-02: add by m2/dev

Green ATN20A70K6

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#thm-2, Green (statement). In E59CDZA4DP, thm, section 5.6

History

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

August Adler ATN29PE0AD

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

Mentions

wikipedia: Wikipedia August Adler, August Adler (topic). Also Wikidata Q3508228

History

2026-11-02: add by m2/dev

Four exponentials conjecture ATNEGPY0WC

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#MZ0Q, Four exponentials conjecture (conjecture)

History

2026-11-02: add by m2/dev

Sobolev inequality ATNN0JW79E

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

Mentions

mathlib_1000: mathlib_1000 Q3711848, Sobolev embedding theorem (statement). Also Wikidata Q3711848
thousand_plus: thousand_plus Q3711848, Sobolev embedding theorem (statement). Also Wikidata Q3711848, Wikipedia Sobolev embedding theorem
wikidata: Wikidata Q3711848, Sobolev inequality (statement). Also EoM Imbedding_theorems
wikipedia: Wikipedia Sobolev inequality, Sobolev inequality (statement). Also Wikidata Q3711848

History

2026-10-26: add by m2/dev

Non-examples ATNPCHF48P

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

Mentions

wikipedia: Wikipedia Constant-recursive sequence#XBEN, Non-examples (counterexample)

History

2026-11-02: add by m2/dev

Michele Cipolla ATNT5R0FW3

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#V5W7, Michele Cipolla (topic)

History

2026-11-02: add by m2/dev

Symmetric sparse matrix ATNVGCQ6NZ

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

Mentions

wikipedia: Wikipedia Sparse matrix#EF27, Symmetric sparse matrix (unknown)

History

2026-11-02: add by m2/dev

residue field ATP2H8TKK9

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#YW1S, residue field (definition)

History

2026-11-02: add by m2/dev

Giacomo Albanese ATPAWHQP36

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#5VIM, Giacomo Albanese (topic)
wikipedia: Wikipedia List of Italian mathematicians#UO25, Giacomo Albanese (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NF5P, Giacomo Albanese (topic)

History

2026-11-02: add by m2/dev

Decomposition of $\Ql^{\mathcal G}$ ATPH8CRRK8

URI	`m2://inv/ATPH8CRRK8`
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.01731#DNPU, Decomposition of $\Ql^{\mathcal G}$ (statement). In 3TJ2FWXQ0D/e1, theorem 4.6

History

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

Bekenstein–Hawking entropy ATPJDC6QZB

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

Mentions

wikidata: Wikidata Q3055341, Bekenstein–Hawking entropy (unknown). Also nLab Bekenstein-Hawking entropy

History

2026-10-26: add by m2/dev

ATPPCZEWRF ATPPCZEWRF

URI	`m2://inv/ATPPCZEWRF`
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 2110.06338#6XGC (statement). In W1VVK7WDPK/e1, lemma 2.7

History

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

MU-convertible channels ATPWRVQ2GB

URI	`m2://inv/ATPWRVQ2GB`
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 2609.40355#XKI3, MU-convertible channels (definition). In SBP98GWKC8/e1, definition 3

History

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

ATQ17EYR1F ATQ17EYR1F

URI	`m2://inv/ATQ17EYR1F`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 53-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.22288#T5BM (statement). In X38P26DK6S/e1, theorem 5.7

History

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

Cartesian product ATQ3YAQC1W

URI	`m2://inv/ATQ3YAQC1W`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Cartesian product 09CEDJYBKP

Mentions

wikidata: Wikidata Q173740, Cartesian product (unknown). Also EoM Cartesian_product, MathWorld CartesianProduct, nLab cartesian product
wikipedia: Wikipedia Cartesian product, Cartesian product (definition). Also Wikidata Q173740

History

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

Sinusoidal plane-wave solutions of the electromagnetic wave equation ATQ40S0B8B

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

Mentions

wikipedia: Wikipedia Sinusoidal plane-wave solutions of the electromagnetic wave equation, Sinusoidal plane-wave solutions of the electromagnetic wave equation (definition). Also Wikidata Q7525226

History

2026-11-02: add by m2/dev

Darboux derivative ATQ483W10J

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

Mentions

wikipedia: Wikipedia List of Lie groups topics#NLT1, Darboux derivative (definition)

History

2026-11-02: add by m2/dev

Applications ATQBJ3ECXD

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

Mentions

wikipedia: Wikipedia Weakened weak form#CRW7, Applications (example)

History

2026-11-02: add by m2/dev

PCP theorem ATQFNME10R

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

Mentions

mathlib_1000: mathlib_1000 Q1140200, PCP theorem (statement). Also Wikidata Q1140200
thousand_plus: thousand_plus Q1140200, PCP theorem (statement). Also Wikidata Q1140200, Wikipedia PCP theorem
wikipedia: Wikipedia PCP theorem, PCP theorem (statement). Also Wikidata Q1140200

History

2026-10-26: add by m2/dev

crunode ATQGE9KYNY

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#VJTG, crunode (definition)

History

2026-11-02: add by m2/dev

Fork-join queue ATQJ0KCAKN

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

Mentions

wikipedia: Wikipedia List of statistics articles#5HR0, Fork-join queue (definition)

History

2026-11-02: add by m2/dev

ATQM5NH631 ATQM5NH631

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

Mentions

arxiv: arXiv 2610.11596#2QBC (statement). In 76850E2X7T/e1, proposition 3.4

History

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

ATQMR75D2W ATQMR75D2W

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

Mentions

austin_ula: austin_ula src/section7-3.xml#activity-1 (exercise). In 649HGZKE96, activity, section 7.3.2

History

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

ATQVKCMPDW ATQVKCMPDW

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

Mentions

arxiv: arXiv 2610.13950#ZF3Z (statement). In 8E5S3VJ8P4/e1, proposition 3

History

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

DFB/DFL/Franz Beckenbauer Supercup ATQZP28HMB

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

Mentions

wikipedia: Wikipedia List of Borussia Dortmund records and statistics#Z70E, DFB/DFL/Franz Beckenbauer Supercup (unknown)

History

2026-11-02: add by m2/dev

Estimate for $W$ ATR22ZT7PK

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

Mentions

arxiv: arXiv 2610.03011#7ULA, Estimate for $W$ (statement). In VE8FB6K8EN/e1, lemma 10

History

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

Morse–Palais lemma ATR6F1Z34J

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

Mentions

wikipedia: Wikipedia Morse–Palais lemma, Morse–Palais lemma (statement). Also Wikidata Q4257928

History

2026-11-02: add by m2/dev

Tullio Regge ATR9XP6Y4N

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#0W5C, Tullio Regge (unknown)

History

2026-11-02: add by m2/dev

ATRFGYP1RM ATRFGYP1RM

URI	`m2://inv/ATRFGYP1RM`
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 2610.10511#JHXV (statement). In BTX64QG716/e1, lemma 3.10

History

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

Local coefficients and automorphism twists ATRJ7BV76C

URI	`m2://inv/ATRJ7BV76C`
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.36444#PMX8, Local coefficients and automorphism twists (statement). In 4DJE72VPJP/e1, theorem 5.2

History

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

ATRRGAMMX6 ATRRGAMMX6

URI	`m2://inv/ATRRGAMMX6`
Kind	statement
Layer	research
MSC	05-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.12484#RX3O (statement). In GW23NX78SB/e1, lemma 4.13

History

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

Properties ATRSPZPK9A

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

Mentions

wikipedia: Wikipedia Casimir element#6KYX, Properties (statement)

History

2026-11-02: add by m2/dev

ATS1BKBF72 ATS1BKBF72

URI	`m2://inv/ATS1BKBF72`
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.06541#9JO6 (statement). In R604B78EVK/e1, lemma 3.2

History

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

Hilton–Milnor theorem ATS6E9GA5Z

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#4QVR, Hilton–Milnor theorem (definition)

History

2026-11-02: add by m2/dev

ATS9V5YEFH ATS9V5YEFH

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

Mentions

arxiv: arXiv 2609.26337#4BR4 (definition)

History

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

Adjunction space ATSCTADQTE

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

Mentions

wikipedia: Wikipedia List of algebraic topology topics#2Z1B, Adjunction space (definition)
wikipedia: Wikipedia List of general topology topics#N8ZR, Adjunction space (definition)
wikipedia: Wikipedia List of topologies#RXZ3, Adjunction space (definition)

History

2026-11-02: add by m2/dev

Results ATSDWFVNF0

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

Mentions

wikipedia: Wikipedia Baum–Connes conjecture#DZNG, Results (statement)

History

2026-11-02: add by m2/dev

Dominant quadratic roots ATSFP1CBMP

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

Mentions

arxiv: arXiv 2610.09912#ZXLQ, Dominant quadratic roots (statement). In 65TJENWK7X/e1, lemma 66

History

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

Tvibåsen Valley ATSG9KV8WJ

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

Mentions

wikipedia: Wikipedia List of places with numeric names#76KA, Tvibåsen Valley (unknown)

History

2026-11-02: add by m2/dev

Vaschenko-Zakharchenko, Myhailo Yegorovych ATSGQ2E3GY

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

Mentions

wikipedia: Wikipedia List of Ukrainian mathematicians#AHJE, Vaschenko-Zakharchenko, Myhailo Yegorovych (unknown)

History

2026-11-02: add by m2/dev

Abb Landis ATSP5DTKQV

URI	`m2://inv/ATSP5DTKQV`
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#SP6D, Abb Landis (unknown)

History

2026-11-02: add by m2/dev

Regularity of proximal gradient-step denoisers ATSQNM34QG

URI	`m2://inv/ATSQNM34QG`
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.32393#5DQN, Regularity of proximal gradient-step denoisers (statement). In F4816HC2JH/e1, proposition A.3

History

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

Bitruncated cubic honeycomb ATSV36V3HV

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#ZG8A, Bitruncated cubic honeycomb (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#VVBL, Bitruncated cubic honeycomb (object)

History

2026-11-02: add by m2/dev

ATSX0P17E7 ATSX0P17E7

URI	`m2://inv/ATSX0P17E7`
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.34613#DBEQ (statement). In JPR86T9Y78/e1, proposition 3.1

History

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

Medical disclosure ATSYAY51KX

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

Mentions

arxiv: arXiv 2610.13685#UK87, Medical disclosure (example). In 4XQWY8C4AV/e1, example 1

History

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

ATSZESQ2W1 ATSZESQ2W1

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

Mentions

arxiv: arXiv 2609.31274#MXCD (definition). In RK0ZMDJ23T/e1, definition 2.3.1

History

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

Hexaflexagon ATT02CZCHZ

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

Mentions

wikipedia: Wikipedia Flexagon#7FW2, Hexaflexagon (unknown)

History

2026-11-02: add by m2/dev

Reproducibility ATT02MQ268

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

Mentions

wikipedia: Wikipedia List of statistics articles#2XUC, Reproducibility (definition)

History

2026-11-02: add by m2/dev

ATT4CQRD7Y ATT4CQRD7Y

URI	`m2://inv/ATT4CQRD7Y`
Kind	example
Layer	research
MSC	11-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.32138#WFEN (example). In ZG0GNHTCWB/e1, example 6.11

History

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

elementary abelian groups ATT99C93X6

URI	`m2://inv/ATT99C93X6`
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.07508#WIHL, elementary abelian groups (statement). In TPA3E67MKK/e1, corollary 7.11

History

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

ATTAT1P9RP ATTAT1P9RP

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

Mentions

arxiv: arXiv 2610.07092#Z7H2 (definition). In JWNYJVH8XG/e1, definition 2.16

History

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

David Silvester ATTCWKZPN5

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

Mentions

wikipedia: Wikipedia David Silvester, David Silvester (topic). Also Wikidata Q83410875

History

2026-11-02: add by m2/dev

Generalizations ATTF4S9AVT

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

Mentions

wikipedia: Wikipedia Perfect set property#G0SV, Generalizations (statement)

History

2026-11-02: add by m2/dev

ATTKMP0HHQ ATTKMP0HHQ

URI	`m2://inv/ATTKMP0HHQ`
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.36113#A24Q (statement). In FSGSVD0XYH/e1, lemma 13

History

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

Euclid's algorithm for polynomials ATTXT9QKZ1

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

Mentions

wikipedia: Wikipedia Polynomial greatest common divisor#H1X2, Euclid's algorithm for polynomials (unknown)

History

2026-11-02: add by m2/dev

volume ATTYADH5NB

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

Mentions

lebl_ra: lebl_ra index/5.5.1/volume, volume (concept). In E59CDZA4DP, index, section 5.5.1

History

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

ATTZWNHBD8 ATTZWNHBD8

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

Mentions

arxiv: arXiv 2610.12486#ND8K (statement). In CWQ2YHT24E/e1, lemma 2.1

History

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

ATV54E90FG ATV54E90FG

URI	`m2://inv/ATV54E90FG`
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.11997#89C1 (statement). In REVYK9ZEP2/e1, corollary 14

History

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

ATV6DF29JT ATV6DF29JT

URI	`m2://inv/ATV6DF29JT`
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.05784#7PLT (statement). In 6NVP3YRWVA/e1, lemma 5.4

History

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

Open Technology Fund ATV6Z3DD8W

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

Mentions

wikipedia: Wikipedia Open Technology Fund, Open Technology Fund (definition). Also Wikidata Q24910455

History

2026-11-02: add by m2/dev

Nishimori-line identities ATVDBN62ZP

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

Mentions

arxiv: arXiv 2609.37479#3HQU, Nishimori-line identities (statement). In P3RTT99C41/e1, lemma 7.1

History

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

generator ATVET48XK0

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#CY0G, generator (definition)

History

2026-11-02: add by m2/dev

Computation Model for OPI ATVG2F6E2T

URI	`m2://inv/ATVG2F6E2T`
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.12357#AKEC, Computation Model for OPI (definition). In 1F26AF81XP/e1, definition 2.10

History

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

Danyu Lin ATVZJ70WER

URI	`m2://inv/ATVZJ70WER`
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#U2CT, Danyu Lin (unknown)

History

2026-11-02: add by m2/dev

Ludwig Boltzmann ATWHSS25EQ

URI	`m2://inv/ATWHSS25EQ`
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 Q84296, Ludwig Boltzmann (unknown). Also nLab Ludwig Boltzmann, ProofWiki Mathematician:Ludwig_Eduard_Boltzmann

History

2026-10-26: add by m2/dev

ATWSPF5N5V ATWSPF5N5V

URI	`m2://inv/ATWSPF5N5V`
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#ZEGB (statement). In 9DQKY7KGE8/e1, proposition 6.37

History

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

Ben Knudsen ATX08PVAZH

URI	`m2://inv/ATX08PVAZH`
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 Q102868595, Ben Knudsen (unknown). Also nLab Ben Knudsen

History

2026-10-26: add by m2/dev

Tong Yang ATXCEK7JX1

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

Mentions

wikipedia: Wikipedia Tong Yang (mathematician), Tong Yang (topic). Also Wikidata Q134621604

History

2026-11-02: add by m2/dev

ATXGH2TW2D ATXGH2TW2D

URI	`m2://inv/ATXGH2TW2D`
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.21675#BZPE (statement). In TB1294GY5X/e1, theorem 3.22

History

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

Formal definition ATXGNPAKAB

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

Mentions

wikipedia: Wikipedia Hermitian manifold#T5F2, Formal definition (definition)

History

2026-11-02: add by m2/dev

simple root ATXH8PKT2V

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

Mentions

wikidata: Wikidata Q121311950, simple root (unknown). Also MathWorld SimpleRoot

History

2026-10-26: add by m2/dev

\bf Density of Random Periodic Invariant Measures ATXP1R9A8V

URI	`m2://inv/ATXP1R9A8V`
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 1612.08394#ZV0X, \bf Density of Random Periodic Invariant Measures (statement). In 1P8D88DKG5/e1, theorem C

History

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

Separating seed ATXW30MPZQ

URI	`m2://inv/ATXW30MPZQ`
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.15631#KT7M, Separating seed (definition). In AF465QFRGQ/e1, definition III.1

History

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

ATY0AJBSMQ ATY0AJBSMQ

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

Mentions

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

History

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

Abstract apeirotope ATY6CNFG3E

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

Mentions

wikipedia: Wikipedia Apeirotope#A7UR, Abstract apeirotope (unknown)

History

2026-11-02: add by m2/dev

Monotone budget coupling ATYJS22117

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

Mentions

arxiv: arXiv 2609.19908#RQOH, Monotone budget coupling (statement)

History

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

ATYQAC8GQF ATYQAC8GQF

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

Mentions

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

History

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

Max Born ATYVPA5ZKK

URI	`m2://inv/ATYVPA5ZKK`
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 Q58978, Max Born (unknown). Also nLab Max Born

History

2026-10-26: add by m2/dev

ATYZWZG8GM ATYZWZG8GM

URI	`m2://inv/ATYZWZG8GM`
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.17569#8NI2 (statement). In ERE1EWGZA3/e1, theorem 1.3

History

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

ATZ07K5V7Z ATZ07K5V7Z

URI	`m2://inv/ATZ07K5V7Z`
Kind	example
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 1810.06028#KRSL (example). In ZPFHH6YJG3/e1, example 2.27

History

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

Principles of Neurodynamics (1962) ATZPC54N8K

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

Mentions

wikipedia: Wikipedia Perceptron#NN7H, Principles of Neurodynamics (1962) (statement)

History

2026-11-02: add by m2/dev

Feasible spectrum ATZRQ3Z406

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

Mentions

arxiv: arXiv 2610.09912#O2FB, Feasible spectrum (definition). In 65TJENWK7X/e1, definition 6

History

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

Uses ATZXNS50SN

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

Mentions

wikipedia: Wikipedia Trade data#9RIF, Uses (example)

History

2026-11-02: add by m2/dev

Subcritical fractional Lane--Emden Liouville theorem ATZXPWT45A

URI	`m2://inv/ATZXPWT45A`
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.10188#C9S1, Subcritical fractional Lane--Emden Liouville theorem (statement). In S608Z3ZBP6/e1, theorem 1.2

History

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