Inventory rows PM

PM0A78A5MX PM0A78A5MX

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

Mentions

napkin: napkin tex/H113/ring-intro.tex#example-6 (example). In RZP28ERRZV, example, section 5.4

History

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

Pirtleville PM0CEXCTMZ

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#JD2M, Pirtleville (unknown)

History

2026-11-02: add by m2/dev

Eric C. Rowell PM0H3VQ3B5

URI	`m2://inv/PM0H3VQ3B5`
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 Q60023579, Eric C. Rowell (unknown). Also nLab Eric Rowell

History

2026-10-26: add by m2/dev

PM0SQDDSME PM0SQDDSME

URI	`m2://inv/PM0SQDDSME`
Kind	definition
Layer	research
MSC	03-XX, 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.07695#FOYF (definition). In 8Z47D12KSX/e1, definition 10.14

History

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

PM0XQ651RH PM0XQ651RH

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

Mentions

arxiv: arXiv 2609.22297#V585 (statement)

History

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

Quasi-equivalence PM0YK1MSA3

URI	`m2://inv/PM0YK1MSA3`
Kind	definition
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#S52H, Quasi-equivalence (definition). In 6G1KBA0SXV/e1, definition 2.3

History

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

PM125RQ6QN PM125RQ6QN

URI	`m2://inv/PM125RQ6QN`
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.40191#T8L5 (statement). In F0D8VSM4Z4/e1, theorem 3.6

History

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

PM133W44VN PM133W44VN

URI	`m2://inv/PM133W44VN`
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 1907.01440#R0PQ (statement). In QDRYC6WJJ7/e1, proposition 2

History

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

Generalizations PM148EES5W

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

Mentions

wikipedia: Wikipedia Generalized hypergeometric function#PJ8B, Generalizations (statement)

History

2026-11-02: add by m2/dev

PM1DV184X9 PM1DV184X9

URI	`m2://inv/PM1DV184X9`
Kind	definition
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.07445#GZ2E (definition). In F1BM3Q8125/e1, definition 2.1

History

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

PM1EMZGSAS PM1EMZGSAS

URI	`m2://inv/PM1EMZGSAS`
Kind	definition
Layer	research
MSC	14-XX, 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 2609.37520#HC33 (definition). In BDN507RN7J/e1, definition 4.1.14

History

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

Proximal gradient method PM21DM1R4A

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

Mentions

wikipedia: Wikipedia Proximal gradient method, Proximal gradient method (definition). Also Wikidata Q17086765

History

2026-11-02: add by m2/dev

Glivenko–Cantelli theorem PM27CBX0JH

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

Mentions

wikipedia: Wikipedia List of theorems called fundamental#1WYQ, Glivenko–Cantelli theorem (statement)

History

2026-11-02: add by m2/dev

Isogeometric analysis PM285ZV6YG

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

Mentions

wikipedia: Wikipedia Isogeometric analysis, Isogeometric analysis (definition). Also Wikidata Q17082433

History

2026-11-02: add by m2/dev

PM2D4AAMR3 PM2D4AAMR3

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#definition-6 (definition). In RZP28ERRZV, definition, section 58.6

History

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

Hieronymus Georg Zeuthen PM2EP4YJGC

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

Mentions

wikipedia: Wikipedia Hieronymus Georg Zeuthen, Hieronymus Georg Zeuthen (topic). Also Wikidata Q335116

History

2026-11-02: add by m2/dev

PM2Q3MAAVN PM2Q3MAAVN

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

Mentions

arxiv: arXiv 2310.06695#JRP4 (statement). In D6F8XGF5SS/e1, lemma 2.2

History

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

final stellation of the icosahedron PM2QF6VHND

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

Mentions

wikidata: Wikidata Q5449472, final stellation of the icosahedron (unknown). Also MathWorld Echidnahedron
wikipedia: Wikipedia Final stellation of the icosahedron, Final stellation of the icosahedron (definition). Also Wikidata Q5449472

History

2026-10-26: add by m2/dev

PM2X2ZB3AE PM2X2ZB3AE

URI	`m2://inv/PM2X2ZB3AE`
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.16989#Z7WA (statement). In 4769XNDWYS/e1, corollary A.2

History

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

John Henry Newman PM2X7FRPR9

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

Mentions

wikipedia: Wikipedia List of logicians#C9VU, John Henry Newman (unknown)

History

2026-11-02: add by m2/dev

ramsey sentence PM2Y493NN6

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

Mentions

wikipedia: Wikipedia Glossary of logic#SRQ4, ramsey sentence (definition)

History

2026-11-02: add by m2/dev

PM2YD0C4H4 PM2YD0C4H4

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

Mentions

arxiv: arXiv 2610.09201#FYYI (definition). In JQFPH09JG8/e1, definition 2.1

History

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

PM2YFNHT53 PM2YFNHT53

URI	`m2://inv/PM2YFNHT53`
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.00247#9IMM (statement). In ZAM4S2XS9F/e1, proposition 2.2

History

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

Moedomo Soedigdomarto PM3DG6NRAE

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

Mentions

wikipedia: Wikipedia Moedomo Soedigdomarto, Moedomo Soedigdomarto (topic). Also Wikidata Q12498728

History

2026-11-02: add by m2/dev

PM3G9D550V PM3G9D550V

URI	`m2://inv/PM3G9D550V`
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.11974#0KWP (statement). In AW6S4XZ9ZZ/e1, lemma 2.2

History

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

Exact spectral data and all iterates PM3H1YPRH0

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

Mentions

arxiv: arXiv 2609.38228#GYNV, Exact spectral data and all iterates (statement). In 9YAE8FNQST/e1, corollary 13.4

History

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

Properties PM3KR5BCSV

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

Mentions

wikipedia: Wikipedia Material nonimplication#40W4, Properties (statement)

History

2026-11-02: add by m2/dev

ball PM3N1KGQ79

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

Mentions

lebl_scv: lebl_scv index/1.1/ball, ball (concept). In VNMV985MXX, index, section 1.1

History

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

Ray-traced ambient occlusion PM3NAA05PM

URI	`m2://inv/PM3NAA05PM`
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#7UJB, Ray-traced ambient occlusion (unknown)

History

2026-11-02: add by m2/dev

PM3NX12J82 PM3NX12J82

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

Mentions

arxiv: arXiv 2610.14847#KP1A (definition). In 2RC8WXQ9ET/e1, definition 3.1

History

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

Dyadic form PM3XZTH24P

URI	`m2://inv/PM3XZTH24P`
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.16510#U8JA, Dyadic form (statement). In V7SQ4VXCRX/e1, theorem 3.1

History

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

Antoni Kosinski PM3YM3749B

URI	`m2://inv/PM3YM3749B`
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#FLDV, Antoni Kosinski (unknown)

History

2026-11-02: add by m2/dev

a universal ceiling PM42HECM0R

URI	`m2://inv/PM42HECM0R`
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#7U6E, a universal ceiling (statement)

History

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

Eduardo Barrio PM43ZJB8WC

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

Mentions

wikipedia: Wikipedia Eduardo Barrio, Eduardo Barrio (topic). Also Wikidata Q16727398

History

2026-11-02: add by m2/dev

Complementary series representation PM45AWZG4B

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

Mentions

wikipedia: Wikipedia Complementary series representation, Complementary series representation (definition). Also Wikidata Q5156429

History

2026-11-02: add by m2/dev

Characterizations PM45WWVVN0

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

Mentions

wikipedia: Wikipedia Equidiagonal quadrilateral#1MBR, Characterizations (statement)

History

2026-11-02: add by m2/dev

An invisible rank jump PM46K47TV7

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

Mentions

arxiv: arXiv 2609.27966#RU84, An invisible rank jump (example)

History

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

PM47Z84E83 PM47Z84E83

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

Mentions

arxiv: arXiv 2609.27931#LB6N (statement)

History

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

Localization of operators PM4A14BJ6K

URI	`m2://inv/PM4A14BJ6K`
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.12731#1DIN, Localization of operators (statement). In 2NCV1M6WYS/e1, corollary 3.7

History

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

PM4D6T9WJH PM4D6T9WJH

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

History

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

Frances Kuo PM4GA9BW6C

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

Mentions

wikipedia: Wikipedia List of Taiwanese mathematicians#MI41, Frances Kuo (unknown)

History

2026-11-02: add by m2/dev

PM4N56NVJ7 PM4N56NVJ7

URI	`m2://inv/PM4N56NVJ7`
Kind	definition
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.11210#HKCC (definition). In CRFDGFZHBF/e1, definition 9.2

History

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

PM4Q404GAC PM4Q404GAC

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

Mentions

arxiv: arXiv 2205.15365#9XMH (unknown). In R2XC1SC9NZ/e1, unknown 3

History

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

Exact local covariance recursion PM4XA8WKWS

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

Mentions

arxiv: arXiv 2609.23927#13Q5, Exact local covariance recursion (statement)

History

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

PM4XJDE46W PM4XJDE46W

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

Mentions

arxiv: arXiv 2610.18346#6DCG (statement). In QVPNGHTMEX/e1, lemma 3.1

History

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

PM4XN918V5 PM4XN918V5

URI	`m2://inv/PM4XN918V5`
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 2203.15223#AYXZ (statement). In HSY17Q75DM/e1, theorem 3

History

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

Bounded PM4Z1CY78P

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

Mentions

wikipedia: Wikipedia Glossary of general topology#84WK, Bounded (definition)

History

2026-11-02: add by m2/dev

PM50E4789D PM50E4789D

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#prop:ext-terms (statement). In PKGMM3P5QY, prop, section 19.6

History

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

Hard list-flip transition PM556EQTHA

URI	`m2://inv/PM556EQTHA`
Kind	definition
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.12456#W1QQ, Hard list-flip transition (definition). In 5XPM4E03W6/e1, definition 4.5

History

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

Stationary Ornstein--Uhlenbeck limit PM564TVYXX

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

Mentions

arxiv: arXiv 2609.38228#0WKF, Stationary Ornstein--Uhlenbeck limit (statement). In 9YAE8FNQST/e1, theorem 13.14

History

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

PM56KY7MK1 PM56KY7MK1

URI	`m2://inv/PM56KY7MK1`
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 2610.20131#0EIE (statement). In 29D4TTE3J2/e1, proposition 6.7

History

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

PM5KTDK51J PM5KTDK51J

URI	`m2://inv/PM5KTDK51J`
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#CCVP (statement). In X38P26DK6S/e1, theorem 5.15

History

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

PM60TX0JDN PM60TX0JDN

URI	`m2://inv/PM60TX0JDN`
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.11145#GAO2 (statement). In 2KME4YY99M/e1, corollary 11

History

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

Extended trajectory PM63VED4XJ

URI	`m2://inv/PM63VED4XJ`
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.14988#160E, Extended trajectory (definition). In B29M4E6KGC/e1, definition H.1

History

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

PM6514H2X8 PM6514H2X8

URI	`m2://inv/PM6514H2X8`
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 2606.20229#R0Q3 (definition). In 1B85G2QJC2/e1, definition 2.3

History

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

PM67RVYPJ8 PM67RVYPJ8

URI	`m2://inv/PM67RVYPJ8`
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 2610.20131#TMHD (statement). In 29D4TTE3J2/e1, lemma 8.7

History

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

PM6EP8HY2B PM6EP8HY2B

URI	`m2://inv/PM6EP8HY2B`
Kind	definition
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.23941#RJOJ (definition)

History

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

Jennifer Madans PM6KX7S3BJ

URI	`m2://inv/PM6KX7S3BJ`
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#FWS9, Jennifer Madans (unknown)

History

2026-11-02: add by m2/dev

PM6M4HZ62X PM6M4HZ62X

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#example-8 (example). In E59CDZA4DP, example, section 11.1.4

History

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

alternative hypothesis PM6MQ2MXVH

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

Mentions

wikidata: Wikidata Q843558, alternative hypothesis (unknown). Also MathWorld AlternativeHypothesis

History

2026-10-26: add by m2/dev

Antisymmetric PM6MTQ9V6T

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

Mentions

wikipedia: Wikipedia List of first-order theories#L1JK, Antisymmetric (definition)

History

2026-11-02: add by m2/dev

PM6QPMRZGA PM6QPMRZGA

URI	`m2://inv/PM6QPMRZGA`
Kind	definition
Layer	research
MSC	17-XX, 20-XX, 22-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 2610.01208#YQS5 (definition). In 317GZJ38HS/e1, definition 5.4

History

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

Affine approximation after reflection PM6RV5C7QH

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

Mentions

arxiv: arXiv 2610.16248#GLQO, Affine approximation after reflection (statement). In TP61DYMBMK/e1, lemma 12

History

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

The first contact PM72JNDBYK

URI	`m2://inv/PM72JNDBYK`
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#SZS5, The first contact (statement). In NKXTXH59P1/e1, lemma E.2

History

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

PM73BZ3HD8 PM73BZ3HD8

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 3.1

History

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

Shattering in Max-XORSAT PM76PMEX1F

URI	`m2://inv/PM76PMEX1F`
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.40345#UFEG, Shattering in Max-XORSAT (statement). In WK0PT95WW1/e1, theorem 4.6

History

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

ICM Emmy Noether Lecture PM7DYHB2X3

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

Mentions

wikipedia: Wikipedia Noether Lecture#IRZ9, ICM Emmy Noether Lecture (unknown)

History

2026-11-02: add by m2/dev

PM7TCX8NW4 PM7TCX8NW4

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

Mentions

arxiv: arXiv 2610.16779#3G9S (statement). In 1R7H0ZAHWA/e1, theorem 4.6

History

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

\probname{3-Sat PM7Z2NZ9EN

URI	`m2://inv/PM7Z2NZ9EN`
Kind	problem
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.38436#5DRV, \probname{3-Sat (problem). In 702AF3E4AF/e1, problem 4.4

History

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

PM87NK4FDS PM87NK4FDS

URI	`m2://inv/PM87NK4FDS`
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 1004.4564#CH8I (statement). In BZ54C9SKYS/e1, lemma 4.4

History

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

PM8G4KYRVR PM8G4KYRVR

URI	`m2://inv/PM8G4KYRVR`
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#CQEJ (statement). In QQFXT31CA5/e1, proposition 8.2

History

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

Henry Longueville Mansel PM8GM3NM84

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

Mentions

wikipedia: Wikipedia Henry Longueville Mansel, Henry Longueville Mansel (topic). Also Wikidata Q12061474

History

2026-11-02: add by m2/dev

Signe Kjelstrup PM8NCRQWD5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#LHWI, Signe Kjelstrup (unknown)

History

2026-11-02: add by m2/dev

PM8Q130GWA PM8Q130GWA

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

Mentions

arxiv: arXiv 2607.25960#ZOCJ (statement). In 13GSWBXPCM/e1, lemma 4.12

History

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

Philip Hauser PM8SWQA76Z

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

Mentions

wikipedia: Wikipedia Philip Hauser, Philip Hauser (topic). Also Wikidata Q1777102

History

2026-11-02: add by m2/dev

Primitive lexical edits PM8Y3HTPZG

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

Mentions

arxiv: arXiv 2609.20207#OI3D, Primitive lexical edits (definition)

History

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

Terminology PM92XZZ8VK

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

Mentions

wikipedia: Wikipedia Artificial general intelligence#EVVA, Terminology (definition)

History

2026-11-02: add by m2/dev

PM9662P028 PM9662P028

URI	`m2://inv/PM9662P028`
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.30302#TFDF (statement). In R6ABTE22G0/e1, theorem 5

History

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

PM97PARWKV PM97PARWKV

URI	`m2://inv/PM97PARWKV`
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.21535#3YE5 (statement)

History

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

Javelin argument PM97Q8XH3X

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

Mentions

wikipedia: Wikipedia Javelin argument, Javelin argument (definition). Also Wikidata Q6165344

History

2026-11-02: add by m2/dev

Limit of a sequence PM9AEXQS8J

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

Mentions

wikipedia: Wikipedia List of calculus topics#5TJK, Limit of a sequence (definition)
wikipedia: Wikipedia List of real analysis topics#11O3, Limit of a sequence (definition)

History

2026-11-02: add by m2/dev

explicit four-shift dependence PM9JC3J82F

URI	`m2://inv/PM9JC3J82F`
Kind	statement
Layer	research
MSC	26-XX, 37-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 2608.08190#72R4, explicit four-shift dependence (statement). In AC1NA254DB/e1, theorem 1.1

History

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

Saturation criterion PM9PKBSZ75

URI	`m2://inv/PM9PKBSZ75`
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.38396#W5XM, Saturation criterion (statement). In FGNNVKQR1Z/e1, theorem 5.6

History

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

Real arrival time and too-long paths PMA1E013QT

URI	`m2://inv/PMA1E013QT`
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.39269#U3S9, Real arrival time and too-long paths (definition). In HS4X20TX33/e1, definition 0.7

History

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

PMA1SGSABM PMA1SGSABM

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

Mentions

arxiv: arXiv 2609.26745#0AUS (problem)

History

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

Generalizations PMA33DAKWN

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

Mentions

wikipedia: Wikipedia Pinwheel tiling#U8VL, Generalizations (statement)

History

2026-11-02: add by m2/dev

PMA38TSP77 PMA38TSP77

URI	`m2://inv/PMA38TSP77`
Kind	conjecture
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.03208#R7XN (conjecture). In A3CMP0TJK2/e1, conjecture I

History

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

R. P. Paranjpye PMA923M1KA

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

Mentions

wikipedia: Wikipedia R. P. Paranjpye, R. P. Paranjpye (topic). Also Wikidata Q7273900

History

2026-11-02: add by m2/dev

Interclass correlation PMADTFZB72

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

Mentions

wikipedia: Wikipedia Interclass correlation, Interclass correlation (definition). Also Wikidata Q6045770

History

2026-11-02: add by m2/dev

Ben Sakoguchi PMAF29N4PK

URI	`m2://inv/PMAF29N4PK`
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#F539, Ben Sakoguchi (unknown)

History

2026-11-02: add by m2/dev

PMAJF3KS5E PMAJF3KS5E

URI	`m2://inv/PMAJF3KS5E`
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.25307#Z1C5 (statement)

History

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

PMAKANH1CK PMAKANH1CK

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

Mentions

arxiv: arXiv 2203.07710#MAC0 (conjecture). In NESGAWA54K/e1, conjecture 3.1

History

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

Rotation decay law PMAKER2A1M

URI	`m2://inv/PMAKER2A1M`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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.00295#X970, Rotation decay law (statement). In 7HXP270BD0/e1, lemma 3.6

History

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

PMAM8VQ42N PMAM8VQ42N

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

Mentions

arxiv: arXiv 2610.02495#QATS (definition). In T4S7XVAJJC/e1, definition 3.1

History

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

PMATWYGRBB PMATWYGRBB

URI	`m2://inv/PMATWYGRBB`
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.24716#0RP8 (statement)

History

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

PMAYPWC0DJ PMAYPWC0DJ

URI	`m2://inv/PMAYPWC0DJ`
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#IBF0 (definition). In FC0SB9JFWH/e1, definition 8.2

History

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

Compactness of constrained energy sublevels PMB039QB1Y

URI	`m2://inv/PMB039QB1Y`
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.01855#GS7E, Compactness of constrained energy sublevels (statement). In MM8P5CJR18/e1, proposition 4.1

History

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

Zubov's method PMB17HD7RQ

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

Mentions

wikipedia: Wikipedia Zubov's method, Zubov's method (definition). Also Wikidata Q17097810

History

2026-11-02: add by m2/dev

PMB49P64BQ PMB49P64BQ

URI	`m2://inv/PMB49P64BQ`
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.07644#QVCW (statement). In TFAN2DR6FD/e1, lemma 13

History

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

Expansive map PMB9QZJG3Q

URI	`m2://inv/PMB9QZJG3Q`
Kind	definition
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 2411.17227#DAHT, Expansive map (definition). In DDNP38CHQJ/e1, definition 3.2

History

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

Meusnier's theorem PMBATSE9BP

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

Mentions

wikipedia: Wikipedia List of theorems#JDTP, Meusnier's theorem (statement)

History

2026-11-02: add by m2/dev

PMBHYJFQFP PMBHYJFQFP

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

Mentions

open_logic: open_logic content/normal-modal-logic/completeness/lindenbaums-lemma.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 51.3

History

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

H-vector PMBZMSNXW7

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

Mentions

wikipedia: Wikipedia H-vector, H-vector (definition). Also Wikidata Q5627866

History

2026-11-02: add by m2/dev

Each connected component of \(Z\) is a compact smooth surface enclosing a bounded region PMC07YB0RM

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

Mentions

arxiv: arXiv 2609.19926#RG5B, Each connected component of \(Z\) is a compact smooth surface enclosing a bounded region (statement)

History

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

Interview PMC10T5YF6

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

Mentions

wikipedia: Wikipedia List of psychological research methods#3DAK, Interview (unknown)

History

2026-11-02: add by m2/dev

Barabási–Albert model PMCDWB7JHK

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

Mentions

wikipedia: Wikipedia Barabási–Albert model, Barabási–Albert model (definition). Also Wikidata Q734787

History

2026-11-02: add by m2/dev

Dinitz conjecture PMCEQNTSEB

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

Mentions

mathlib_1000: mathlib_1000 Q5278348, Galvin's theorem (statement). Also Wikidata Q5278348
thousand_plus: thousand_plus Q5278348, Galvin's theorem (statement). Also Wikidata Q5278348, Wikipedia Dinitz conjecture
wikidata: Wikidata Q5278348, Dinitz conjecture (statement). Also MathWorld DinitzProblem
wikipedia: Wikipedia Dinitz theorem, Dinitz theorem (statement). Also Wikidata Q5278348

History

2026-10-26: add by m2/dev

PMCGAV9SA9 PMCGAV9SA9

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

Mentions

arxiv: arXiv 2609.23167#FTK0 (statement)

History

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

PMCKC5917P PMCKC5917P

URI	`m2://inv/PMCKC5917P`
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.12633#PFRJ (statement). In NGZ5AZ70NN/e1, corollary 1.8

History

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

Dubins PMCQ2NNG5J

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

Mentions

arxiv: arXiv 2606.21391#7YYI, Dubins (definition). In J9C7YMKJ33/e1, definition 2.3

History

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

PMD31WZB1R PMD31WZB1R

URI	`m2://inv/PMD31WZB1R`
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 2507.17002#FFF2 (statement). In 2EEBP88T16/e1, proposition 5.6

History

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

PMD3CKDMSP PMD3CKDMSP

URI	`m2://inv/PMD3CKDMSP`
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 2507.03563#CTOZ (statement). In R6DR6F68BJ/e1, lemma 5.1

History

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

Suspension of judgment PMD61AAGK8

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

Mentions

wikipedia: Wikipedia Suspension of judgment, Suspension of judgment (definition). Also Wikidata Q3965155

History

2026-11-02: add by m2/dev

Basic properties PMD73X5GG0

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

Mentions

wikipedia: Wikipedia Bethe lattice#V4DD, Basic properties (statement)

History

2026-11-02: add by m2/dev

PMDAFE4WRT PMDAFE4WRT

URI	`m2://inv/PMDAFE4WRT`
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.06461#3SKH (statement). In QXY3W2JV2N/e1, proposition 2.3

History

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

PMDB6MAGP9 PMDB6MAGP9

URI	`m2://inv/PMDB6MAGP9`
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 2504.00267#VT2S (definition). In 38XJWDZ2PH/e1, definition 3.11

History

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

Ehud de Shalit PMDBGNVGT8

URI	`m2://inv/PMDBGNVGT8`
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#X2CR, Ehud de Shalit (topic)

History

2026-11-02: add by m2/dev

Height of a formal group law PMDMBJC8DF

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

Mentions

wikipedia: Wikipedia Formal group law#HJ9N, Height of a formal group law (unknown)

History

2026-11-02: add by m2/dev

Endpoint exclusion PME2Z1E38J

URI	`m2://inv/PME2Z1E38J`
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 2609.38041#HFTV, Endpoint exclusion (statement). In 54NQGN1BWM/e1, lemma A.2

History

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

Ciphertext-only attack PMEE5SWCYG

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

Mentions

wikipedia: Wikipedia Ciphertext-only attack, Ciphertext-only attack (definition). Also Wikidata Q2734040

History

2026-11-02: add by m2/dev

Completeness (order theory) PMEF8F49KX

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

Mentions

wikipedia: Wikipedia List of order theory topics#ZP7Q, Completeness (order theory) (definition)

History

2026-11-02: add by m2/dev

PMETMY1C68 PMETMY1C68

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

Mentions

arxiv: arXiv 2609.24323#8V2Z (statement)

History

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

PMEY0JN9Z0 PMEY0JN9Z0

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

Mentions

arxiv: arXiv 2508.21045#S8H3 (statement). In CGA36VE1C5/e1, lemma 3.7.1

History

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

Tensor spectral norm PMEY93VMRM

URI	`m2://inv/PMEY93VMRM`
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.33219#XYSB, Tensor spectral norm (definition). In ETTQWMJZXJ/e1, definition 4

History

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

Instanton PMEZRJEXMZ

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

Mentions

wikipedia: Wikipedia List of string theory topics#PG2F, Instanton (definition)

History

2026-11-02: add by m2/dev

PMF04GH86J PMF04GH86J

URI	`m2://inv/PMF04GH86J`
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.32710#4U1N (statement). In KVYG6R7CGJ/e1, theorem 1.1

History

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

Elementary topos PMF08S9D3K

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

Mentions

wikipedia: Wikipedia Elementary topos, Elementary topos (definition). Also Wikidata Q113936655

History

2026-11-02: add by m2/dev

Applications PMF93KY39D

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

Mentions

wikipedia: Wikipedia Delone set#P59W, Applications (example)

History

2026-11-02: add by m2/dev

Transfer PMFCJPBF77

URI	`m2://inv/PMFCJPBF77`
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.38220#05DF, Transfer (statement). In 1AC4S19925/e1, theorem 4.6

History

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

PMFDJCGJJB PMFDJCGJJB

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

Mentions

napkin: napkin tex/alg-NT/finite-field.tex#example-4 (example). In RZP28ERRZV, example, section 12.4

History

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

PMFNGB89H4 PMFNGB89H4

URI	`m2://inv/PMFNGB89H4`
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.02570#47ZI (statement). In 6JK30RQ1SX/e1, lemma 4.1

History

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

PMFNRZTKKD PMFNRZTKKD

URI	`m2://inv/PMFNRZTKKD`
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.22394#WFEU (statement)

History

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

Definition PMFWZXY3ED

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

Mentions

wikipedia: Wikipedia Unconditional convergence#FA94, Definition (definition)

History

2026-11-02: add by m2/dev

John Casey PMG0Q2NBA3

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

Mentions

wikipedia: Wikipedia John Casey (mathematician), John Casey (topic). Also Wikidata Q1699566

History

2026-11-02: add by m2/dev

PMG407NEEY PMG407NEEY

URI	`m2://inv/PMG407NEEY`
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#CT7D (statement). In HV598NZW9X/e1, lemma 3.5

History

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

Gosper island PMGBN01Q55

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

Mentions

wikidata: Wikidata Q118285951, Gosper island (unknown). Also MathWorld GosperIsland

History

2026-10-26: add by m2/dev

Walter Schnee PMGCMWWGY7

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

Mentions

wikipedia: Wikipedia Walter Schnee, Walter Schnee (topic). Also Wikidata Q90640

History

2026-11-02: add by m2/dev

PMGDM85BCK PMGDM85BCK

URI	`m2://inv/PMGDM85BCK`
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.26019#AO28 (statement)

History

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

PMGPYBH90M PMGPYBH90M

URI	`m2://inv/PMGPYBH90M`
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.06899#OUSD (statement). In 5Z2K9JGFSS/e1, lemma 3.3

History

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

Explicit-input UGC-hardness PMH76QPCXY

URI	`m2://inv/PMH76QPCXY`
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.04027#LYHV, Explicit-input UGC-hardness (statement). In DQB4YR2DFH/e1, theorem 13.3

History

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

PMHAK575CV PMHAK575CV

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

Mentions

arxiv: arXiv 2609.29847#J80R (statement)

History

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

PMHAXPE09K PMHAXPE09K

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_total-order-N.ptx#proof-3 (proof). In QKM9DD2H56, proof, section B.11

History

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

Formal definitions PMHBVZ13B0

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

Mentions

wikipedia: Wikipedia Unitary representation#LJWB, Formal definitions (definition)

History

2026-11-02: add by m2/dev

PMHGQKCKGY PMHGQKCKGY

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

Mentions

arxiv: arXiv 2610.18673#HDB2 (statement). In 7ZFD9XRKA1/e1, proposition 6.2

History

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

Fundamental theorems of welfare economics PMHPTAXH3N

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

Mentions

wikipedia: Wikipedia Kenneth Arrow#BF16, Fundamental theorems of welfare economics (statement)

History

2026-11-02: add by m2/dev

Automated theorem proving PMHPYVRX5P

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#RQFQ, Automated theorem proving (statement)

History

2026-11-02: add by m2/dev

Paul Wolfskehl PMHZC5PT4H

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

Mentions

wikipedia: Wikipedia Paul Wolfskehl, Paul Wolfskehl (topic). Also Wikidata Q77826

History

2026-11-02: add by m2/dev

Networks and Heterogeneous Media PMJ1W9G5SY

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

Mentions

wikipedia: Wikipedia Networks and Heterogeneous Media, Networks and Heterogeneous Media (definition). Also Wikidata Q20157456

History

2026-11-02: add by m2/dev

Generalizations PMJE48BCT5

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

Mentions

wikipedia: Wikipedia Khinchin's constant#BKEG, Generalizations (statement)

History

2026-11-02: add by m2/dev

Applications PMJG0NGQ9B

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

Mentions

wikipedia: Wikipedia NM-method#KEKZ, Applications (example)

History

2026-11-02: add by m2/dev

Compositional game theory PMJMZW9D1A

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

Mentions

wikipedia: Wikipedia Compositional game theory, Compositional game theory (topic). Also Wikidata Q125804010

History

2026-11-02: add by m2/dev

Richard Axel PMJPF1N5S2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#MYV8, Richard Axel (unknown)

History

2026-11-02: add by m2/dev

PMJSTVCNBE PMJSTVCNBE

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

Mentions

arxiv: arXiv math/0406514#UKFU (statement). In CY1FE8W1ZW/e1, corollary 0.192

History

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

PMJW7D9528 PMJW7D9528

URI	`m2://inv/PMJW7D9528`
Kind	definition
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#P5WI (definition). In Z6QS82DPHE/e1, definition Definition

History

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

Definition PMJXKJDTCR

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

Mentions

wikipedia: Wikipedia Self-similar process#P2YD, Definition (definition)

History

2026-11-02: add by m2/dev

PMK1C0YKYJ PMK1C0YKYJ

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#def:function (definition). In P1C114YBXG, definition, section D

History

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

Truncated 5-cubes PMKCK7K4WT

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

Mentions

wikipedia: Wikipedia Truncated 5-cubes, Truncated 5-cubes (definition). Also Wikidata Q7847852

History

2026-11-02: add by m2/dev

Statement PMKCQJ9AHC

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

Mentions

wikipedia: Wikipedia Brenier's theorem#EJWD, Statement (statement)

History

2026-11-02: add by m2/dev

Module of covariants PMKCV13T76

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

Mentions

wikipedia: Wikipedia Module of covariants, Module of covariants (definition). Also Wikidata Q18390847

History

2026-11-02: add by m2/dev

Institute for Mathematical Research PMKGPXPRMG

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

Mentions

wikipedia: Wikipedia Institute for Mathematical Research, Institute for Mathematical Research (definition). Also Wikidata Q15995176

History

2026-11-02: add by m2/dev

Coercivity for the limiting Dirichlet form \& Spectral Gap for functions supported at infinity PMKJY8QP8C

URI	`m2://inv/PMKJY8QP8C`
Kind	statement
Layer	research
MSC	35-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 2608.19483#E7UU, Coercivity for the limiting Dirichlet form \& Spectral Gap for functions supported at infinity (statement). In M2PEDAF7AX/e1, proposition 4.3

History

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

canonical transformation PMM3EMW0DG

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

Mentions

wikidata: Wikidata Q1366892, canonical transformation (unknown). Also MathWorld CanonicalTransformation, nLab canonical transformation
wikipedia: Wikipedia Canonical transformation, Canonical transformation (definition). Also Wikidata Q1366892

History

2026-10-26: add by m2/dev

Number bond PMM80RB2ZZ

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

Mentions

wikipedia: Wikipedia Number bond, Number bond (definition). Also Wikidata Q7069567

History

2026-11-02: add by m2/dev

Lifting theory PMMAFVV6T1

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

Mentions

wikipedia: Wikipedia Lifting theory, Lifting theory (definition). Also Wikidata Q6545685

History

2026-11-02: add by m2/dev

PMMCBYX1QB PMMCBYX1QB

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

Mentions

arxiv: arXiv 2609.24845#CF1W (example)

History

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

Markus Hausmann PMME3C5CRF

URI	`m2://inv/PMME3C5CRF`
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 Q44438579, Markus Hausmann (unknown). Also nLab Markus Hausmann

History

2026-10-26: add by m2/dev

Orbit small-ball PMMHGMWCSR

URI	`m2://inv/PMMHGMWCSR`
Kind	conjecture
Layer	research
MSC	49-XX, 90-XX, 93-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.00295#ZU6A, Orbit small-ball (conjecture). In 7HXP270BD0/e1, conjecture 3.20

History

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

PMMKRDY9E3 PMMKRDY9E3

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

Mentions

arxiv: arXiv 2610.08357#2X30 (statement). In R9GRCAWHG0/e1, proposition 5.3

History

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

PMMP3RSE6N PMMP3RSE6N

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

Mentions

arxiv: arXiv 2610.19285#WQJY (definition). In 6DJR9DKY5W/e1, definition 3.1

History

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

PMMPFPSVE2 PMMPFPSVE2

URI	`m2://inv/PMMPFPSVE2`
Kind	statement
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 2609.25449#ZE25 (statement). In 9JHMTYGWFQ/e1, lemma 11.3

History

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

Indecomposable module PMMR80SFN1

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#AIF9, Indecomposable module (definition)

History

2026-11-02: add by m2/dev

Pontrjagin–Thom construction PMMV0845VF

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#4MC4, Pontrjagin–Thom construction (definition)

History

2026-11-02: add by m2/dev

Ilya Piatetski-Shapiro PMMZ7T4K1J

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#AGF2, Ilya Piatetski-Shapiro (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D9IW, Ilya Piatetski-Shapiro (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FA9X, Ilya Piatetski-Shapiro (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FC68, Ilya Piatetski-Shapiro (topic)

History

2026-11-02: add by m2/dev

Properties PMN7FERPXZ

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

Mentions

wikipedia: Wikipedia Navier–Stokes equations#ZAT4, Properties (statement)

History

2026-11-02: add by m2/dev

Definition PMNAV3G1EJ

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

Mentions

wikipedia: Wikipedia Empirical measure#SBTQ, Definition (definition)

History

2026-11-02: add by m2/dev

Donald Ringe PMNCNKE0WN

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#8FOK, Donald Ringe (unknown)

History

2026-11-02: add by m2/dev

Formulation PMNFYXE84Z

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

Mentions

wikipedia: Wikipedia Function of a real variable#EDJG, Formulation (definition)

History

2026-11-02: add by m2/dev

two-sided bounds to large-deviation principle PMNMWH9AZV

URI	`m2://inv/PMNMWH9AZV`
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.10840#8G6M, two-sided bounds to large-deviation principle (statement). In P0HKF5DY7M/e1, proposition 5.2

History

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

Final Value Theorem using Laplace transform of the derivative PMNVCTSVW0

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

Mentions

wikipedia: Wikipedia Final value theorem#3WX0, Final Value Theorem using Laplace transform of the derivative (statement)

History

2026-11-02: add by m2/dev

Join PMP189BE1J

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

Mentions

arxiv: arXiv 2609.20606#IBW1, Join (definition)

History

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

PMP8DMD9JM PMP8DMD9JM

URI	`m2://inv/PMP8DMD9JM`
Kind	statement
Layer	research
MSC	05-XX, 20-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.04305#AU86 (statement). In Y1DR0DPWD0/e1, proposition 5.1

History

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

PMPP27JQFQ PMPP27JQFQ

URI	`m2://inv/PMPP27JQFQ`
Kind	statement
Layer	research
MSC	35-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 2503.12486#HTY4 (statement). In 3343AEAXB3/e1, theorem 4.1

History

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

Analog computer PMPPSRNC6E

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

Mentions

wikipedia: Wikipedia Analog computer, Analog computer (definition). Also Wikidata Q63759

History

2026-11-02: add by m2/dev

Dupuis, Josée PMQ0EJR1EM

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

Mentions

wikipedia: Wikipedia List of statisticians#U2P5, Dupuis, Josée (unknown)

History

2026-11-02: add by m2/dev

Asymptotic enumeration PMQA7KXABA

URI	`m2://inv/PMQA7KXABA`
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.14616#GYLS, Asymptotic enumeration (statement). In 17ACAG0N9C/e1, corollary 2.6

History

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

Examples PMQAE976XJ

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

Mentions

wikipedia: Wikipedia Torsion (algebra)#K1D8, Examples (example)

History

2026-11-02: add by m2/dev

PMQGB8N3GK PMQGB8N3GK

URI	`m2://inv/PMQGB8N3GK`
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 2309.16041#DQYR (statement). In 2GD6NWJVRM/e1, lemma 2.2

History

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

PMQGK24KYZ PMQGK24KYZ

URI	`m2://inv/PMQGK24KYZ`
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#KAUJ (statement). In EHW82CK883/e1, lemma 4.4

History

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

Chess PMQK11Y5EW

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#5S3U, Chess (unknown)

History

2026-11-02: add by m2/dev

PMQKJXNQZT PMQKJXNQZT

URI	`m2://inv/PMQKJXNQZT`
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.13114#UXP9 (statement). In 38RG49M1NB/e1, theorem 2.3

History

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

Definition PMQMSRBS5R

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

Mentions

wikipedia: Wikipedia Quadratic Lie algebra#NXZI, Definition (definition)

History

2026-11-02: add by m2/dev

Wightman axioms PMQT2ZY4CT

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

Mentions

wikipedia: Wikipedia List of axioms#BMAY, Wightman axioms (statement)

History

2026-11-02: add by m2/dev

PMR2GMQ99D PMR2GMQ99D

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

Mentions

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

History

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

Statement of the theorem PMR5F6A239

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

Mentions

wikipedia: Wikipedia Stahl's theorem#8SJO, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

MinHash PMRC06NDF6

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

Mentions

wikipedia: Wikipedia MinHash, MinHash (definition). Also Wikidata Q11091745

History

2026-11-02: add by m2/dev

Solow–Swan model PMRTFNKX0X

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

Mentions

wikipedia: Wikipedia Solow–Swan model, Solow–Swan model (definition). Also Wikidata Q777494

History

2026-11-02: add by m2/dev

PMRWTNFHNE PMRWTNFHNE

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

Mentions

napkin: napkin tex/calculus/differentiate.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 30.6

History

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

PMRX826J9F PMRX826J9F

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

Mentions

arxiv: arXiv 2609.33162#7VXA (statement). In RPC7VG3KHQ/e1, lemma 9.3

History

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

Gabriel Judah Lichtenfeld PMRXXXX7A3

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#ZLSX, Gabriel Judah Lichtenfeld (topic)

History

2026-11-02: add by m2/dev

Demon algorithm PMS1NS605H

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

Mentions

wikipedia: Wikipedia List of algorithms#Q8VK, Demon algorithm (unknown)

History

2026-11-02: add by m2/dev

PMS7AFNZGQ PMS7AFNZGQ

URI	`m2://inv/PMS7AFNZGQ`
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.25314#LHRC (statement)

History

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

George Yevick PMS928P711

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

Mentions

wikipedia: Wikipedia George Yevick, George Yevick (topic). Also Wikidata Q137205488

History

2026-11-02: add by m2/dev

Validity of the measure change PMSC3KFTP2

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

Mentions

arxiv: arXiv 2610.05864#M8ZE, Validity of the measure change (statement). In 31QPXWDZSH/e1, lemma A.1

History

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

Definition PMSCB3VKX2

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

Mentions

wikipedia: Wikipedia Leray spectral sequence#7Y6A, Definition (definition)

History

2026-11-02: add by m2/dev

Instability of the intersection points PMSF6RNV4B

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

Mentions

arxiv: arXiv 2610.19953#PEZQ, Instability of the intersection points (statement). In CHPJWBREES/e1, proposition 3.10

History

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

Chen Greif PMSQPAK14E

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

Mentions

wikipedia: Wikipedia Chen Greif, Chen Greif (topic). Also Wikidata Q102263179

History

2026-11-02: add by m2/dev

Boundary Difference and Index Mapping PMSVBRJSMW

URI	`m2://inv/PMSVBRJSMW`
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 2610.02495#O40O, Boundary Difference and Index Mapping (statement). In T4S7XVAJJC/e1, lemma 8.1

History

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

Pascal's Flaw PMSYP4PSHM

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

Mentions

wikipedia: Wikipedia Pascal's wager#CJ3O, Pascal's Flaw (unknown)

History

2026-11-02: add by m2/dev

Non-classical analysis PMT0EAAR1P

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#8O5E, Non-classical analysis (definition)

History

2026-11-02: add by m2/dev

Stanton number PMT4G9XZ3W

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

Mentions

wikipedia: Wikipedia Stanton number, Stanton number (definition). Also Wikidata Q901845

History

2026-11-02: add by m2/dev

Dudley's theorem PMT53ARH2F

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

Mentions

wikipedia: Wikipedia List of theorems#LO20, Dudley's theorem (statement)

History

2026-11-02: add by m2/dev

PMT85M5D53 PMT85M5D53

URI	`m2://inv/PMT85M5D53`
Kind	problem
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 2603.29838#13OI (problem). In KP0X1RKKKB/e1, problem 1.6

History

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

PMTB9XYVV1 PMTB9XYVV1

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

Mentions

arxiv: arXiv 2609.39890#0RRU (definition). In GGVQ3B9KJ6/e1, definition 1

History

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

Indecomposable distribution PMTR1GJH0A

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

Mentions

wikipedia: Wikipedia Indecomposable distribution, Indecomposable distribution (definition). Also Wikidata Q6015779

History

2026-11-02: add by m2/dev

PMV0W066SA PMV0W066SA

URI	`m2://inv/PMV0W066SA`
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.18277#KHE3 (statement). In YFRNY7S92A/e1, lemma 6.1

History

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

Peppercoin PMV2FJXTY4

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

Mentions

wikipedia: Wikipedia Peppercoin, Peppercoin (definition). Also Wikidata Q7166394

History

2026-11-02: add by m2/dev

PMV6TA5G8S PMV6TA5G8S

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

Mentions

hott_book: hott_book setmath.tex#cor-2 (statement). In N54F33XE07, cor, section C.2

History

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

Wigner–Eckart theorem PMV7GG4V7Z

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

Mentions

mathlib_1000: mathlib_1000 Q195133, Wigner–Eckart theorem (statement). Also Wikidata Q195133
thousand_plus: thousand_plus Q195133, Wigner–Eckart theorem (statement). Also Wikidata Q195133, Wikipedia Wigner–Eckart theorem
wikidata: Wikidata Q195133, Wigner–Eckart theorem (statement). Also MathWorld Wigner-EckartTheorem
wikipedia: Wikipedia Wigner–Eckart theorem, Wigner–Eckart theorem (statement). Also Wikidata Q195133

History

2026-10-26: add by m2/dev

Howland will forgery trial PMVBEQ41E5

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

Mentions

wikipedia: Wikipedia List of statistics articles#L017, Howland will forgery trial (definition)

History

2026-11-02: add by m2/dev

PMVEMASNGY PMVEMASNGY

URI	`m2://inv/PMVEMASNGY`
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.17677#9UN7 (statement). In 5E9G06XJKC/e1, lemma G.4

History

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

PMVGYRVYGD PMVGYRVYGD

URI	`m2://inv/PMVGYRVYGD`
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.17604#X4LL (definition). In CZNRSB168G/e1, definition

History

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

PMVSFDWRXR PMVSFDWRXR

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

Mentions

arxiv: arXiv 2510.12502#7Q4O (statement). In 3A4K47Y9F2/e1, theorem 5.4

History

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

External validity PMVX1X32BE

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

Mentions

wikipedia: Wikipedia External validity, External validity (definition). Also Wikidata Q1057880

History

2026-11-02: add by m2/dev

Mikhail Menshikov PMVXWGBFRC

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#LL4B, Mikhail Menshikov (topic)

History

2026-11-02: add by m2/dev

Generalizations PMW5AW9TPR

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

Mentions

wikipedia: Wikipedia Bilinear form#X1N7, Generalizations (statement)

History

2026-11-02: add by m2/dev

Great pentagrammic hexecontahedron PMW95R7714

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#I00A, Great pentagrammic hexecontahedron (object)

History

2026-11-02: add by m2/dev

PMWFCMFFQF PMWFCMFFQF

URI	`m2://inv/PMWFCMFFQF`
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.18252#41XN (statement). In PSQ3CNVK2D/e1, lemma 3.3

History

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

PMWWW5ZZVQ PMWWW5ZZVQ

URI	`m2://inv/PMWWW5ZZVQ`
Kind	statement
Layer	research
MSC	13-XX, 16-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.14060#BI7Q (statement). In X47RYAZF8P/e1, lemma 3.24

History

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

PMX3VX6B5C PMX3VX6B5C

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

Mentions

arxiv: arXiv 2409.01237#RFD3 (statement). In M9VHCG48HB/e1, theorem 1

History

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

Properties PMX87SGVHP

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

Mentions

wikipedia: Wikipedia Kepler triangle#J4KF, Properties (statement)

History

2026-11-02: add by m2/dev

PMX8MB0WXH PMX8MB0WXH

URI	`m2://inv/PMX8MB0WXH`
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.06326#ORQQ (statement). In DPR6B6X0JX/e1, theorem 3

History

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

Elastica theory PMXDWN1QDP

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

Mentions

wikipedia: Wikipedia Elastica theory, Elastica theory (topic). Also Wikidata Q1324959

History

2026-11-02: add by m2/dev

Catalan tiling PMXP82MCDD

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

Mentions

wikipedia: Wikipedia List of Euclidean uniform tilings#VQ2G, Catalan tiling (unknown)

History

2026-11-02: add by m2/dev

Omori−Yau maximum principle PMXS03Z0K2

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

Mentions

wikipedia: Wikipedia Shing-Tung Yau#006O, Omori−Yau maximum principle (statement)

History

2026-11-02: add by m2/dev

1/3–2/3 conjecture PMXZ2ZRWT0

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#B72A, 1/3–2/3 conjecture (conjecture)

History

2026-11-02: add by m2/dev

Harmonic series PMY0Q4NWCG

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

Mentions

wikipedia: Wikipedia List of real analysis topics#6DGU, Harmonic series (definition)

History

2026-11-02: add by m2/dev

Paul Turán PMY38CK785

URI	`m2://inv/PMY38CK785`
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#P0FB, Paul Turán (topic)

History

2026-11-02: add by m2/dev

Applications PMYE9WGMXP

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

Mentions

wikipedia: Wikipedia Ratchet effect#90SX, Applications (example)

History

2026-11-02: add by m2/dev

PMYH2WJC00 PMYH2WJC00

URI	`m2://inv/PMYH2WJC00`
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 2610.15593#HDLP (statement). In PREJREM4BB/e1, lemma 2.7

History

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

PMYK9W1P09 PMYK9W1P09

URI	`m2://inv/PMYK9W1P09`
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.30760#RCIB (statement). In MMVNRRE7N0/e1, lemma 3.1

History

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

Lipschitz condition PMYSXNS4TD

URI	`m2://inv/PMYSXNS4TD`
Kind	concept
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Lipschitz condition 055VVSN00V

Mentions

wikidata: Wikidata Q91259634, Lipschitz condition (concept). Also MathWorld LipschitzCondition

History

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

PMYW4JF9MW PMYW4JF9MW

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_seq-polyfit.ptx#example-deltak (example). In Y91XFCEVHQ, example, section 3.3

History

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

PMYWJBSYAH PMYWJBSYAH

URI	`m2://inv/PMYWJBSYAH`
Kind	statement
Layer	research
MSC	20-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.18070#B78Z (statement). In RASQS0FG8A/e1, theorem 3.1

History

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

Irreducible polynomials have distinct roots PMZ03HE5BJ

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

Mentions

napkin: napkin tex/alg-NT/norm-trace.tex#lem:irred_complex, Irreducible polynomials have distinct roots (statement). In RZP28ERRZV, lemma, section 15.1

History

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

PMZ0SA8D06 PMZ0SA8D06

URI	`m2://inv/PMZ0SA8D06`
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.36922#887P (statement). In BMHWE5QTTR/e1, theorem 3.3

History

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

PMZQ4JJ85R PMZQ4JJ85R

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-24 (statement). In VNMV985MXX, thm, section 6.4

History

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

PMZVCS7HCX PMZVCS7HCX

URI	`m2://inv/PMZVCS7HCX`
Kind	definition
Layer	research
MSC	14-XX, 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 2609.37520#A2NQ (definition). In BDN507RN7J/e1, definition 4.1.20

History

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

Manava PMZY03AD2T

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#5FHG, Manava (unknown)

History

2026-11-02: add by m2/dev