Inventory rows P2

Applications P206H4SNKN

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

Mentions

wikipedia: Wikipedia Fourier inversion theorem#69B7, Applications (example)

History

2026-11-02: add by m2/dev

Stephanie B. Alexander P208SR4PTB

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

Mentions

wikipedia: Wikipedia Stephanie B. Alexander, Stephanie B. Alexander (topic). Also Wikidata Q17279128

History

2026-11-02: add by m2/dev

Tim Pedley P2096TAT68

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

Mentions

wikipedia: Wikipedia Tim Pedley, Tim Pedley (topic). Also Wikidata Q7804099

History

2026-11-02: add by m2/dev

P20BZYX39S P20BZYX39S

URI	`m2://inv/P20BZYX39S`
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 2303.14022#YHIJ (definition). In NSYR6W27FP/e1, definition 3.1

History

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

Axel Thue P20D2Y7282

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#FDLE, Axel Thue (topic)

History

2026-11-02: add by m2/dev

Examples P20EAC3HZD

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

Mentions

wikipedia: Wikipedia Family of sets#Z0U8, Examples (example)

History

2026-11-02: add by m2/dev

P20R7GQXN4 P20R7GQXN4

URI	`m2://inv/P20R7GQXN4`
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.13745#TW3D (statement). In CFJH0Q39FZ/e1, proposition 8.11

History

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

P20SRTQB67 P20SRTQB67

URI	`m2://inv/P20SRTQB67`
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.14803#A8EX (statement). In VAEVDTBD3B/e1, theorem 4.3

History

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

P20W4E4RQG P20W4E4RQG

URI	`m2://inv/P20W4E4RQG`
Kind	statement
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#EW3W (statement). In 9ZSNSJRJ5N/e1, lemma 3

History

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

P20Y8JGHMP P20Y8JGHMP

URI	`m2://inv/P20Y8JGHMP`
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.07299#ZV5L (statement). In M70KP0BZ99/e1, theorem 5.7

History

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

Torsion of order $k$ P20YFFWTN8

URI	`m2://inv/P20YFFWTN8`
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#YZGU, Torsion of order $k$ (statement). In Y1DR0DPWD0/e1, corollary 3.12

History

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

Cuthbert Edmund Cullis P210EA6RSJ

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

Mentions

wikipedia: Wikipedia Cuthbert Edmund Cullis, Cuthbert Edmund Cullis (topic). Also Wikidata Q102193159

History

2026-11-02: add by m2/dev

Banach *-algebra P2154PS7Q3

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

Mentions

wikidata: Wikidata Q16930464, Banach *-algebra (unknown). Also MathWorld InvolutiveBanachAlgebra

History

2026-10-26: add by m2/dev

P21EJRMECN P21EJRMECN

URI	`m2://inv/P21EJRMECN`
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 2304.02722#G7S4 (statement). In AH7D55D3WV/e1, theorem 1.7

History

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

regular decomposition of $H(\divvr)$ P21F9C7TA6

URI	`m2://inv/P21F9C7TA6`
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.08016#HS94, regular decomposition of $H(\divvr)$ (statement). In YR3CSTYEJW/e1, proposition 3.1

History

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

Fides P21HG662K2

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

Mentions

wikipedia: Wikipedia Fides (reliability), Fides (definition). Also Wikidata Q3071443

History

2026-11-02: add by m2/dev

P21QPBN41F P21QPBN41F

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

Mentions

lebl_scv: lebl_scv scv.tex#defn-24 (definition). In VNMV985MXX, defn, section 6.1

History

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

P21RW73081 P21RW73081

URI	`m2://inv/P21RW73081`
Kind	statement
Layer	research
MSC	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 2610.07285#VUUQ (statement). In S284XRA4WK/e1, lemma G.3

History

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

Lester's theorem P21Z33KVH2

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

Mentions

wikipedia: Wikipedia List of theorems#XTP3, Lester's theorem (statement)

History

2026-11-02: add by m2/dev

Definition P21ZBDV3HG

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

Mentions

wikipedia: Wikipedia One-sided limit#UYRV, Definition (definition)

History

2026-11-02: add by m2/dev

P2205YN1C1 P2205YN1C1

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#ex:Twitter (example). In P1C114YBXG, example, section H

History

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

anabelian geometry P22501GZRP

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

Mentions

wikidata: Wikidata Q483270, anabelian geometry (topic). Also nLab anabelian geometry
wikipedia: Wikipedia Anabelian geometry, Anabelian geometry (topic). Also Wikidata Q483270

History

2026-10-26: add by m2/dev

Bell measurement P22H1MDXFH

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

Mentions

wikipedia: Wikipedia Bell state#7FA4, Bell measurement (unknown)

History

2026-11-02: add by m2/dev

Examples P22KC1ZDJG

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

Mentions

wikipedia: Wikipedia Compact space#QLCV, Examples (example)

History

2026-11-02: add by m2/dev

Open problems P22N7EJ475

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

Mentions

wikipedia: Wikipedia Triameter (graph theory)#DZMN, Open problems (statement)

History

2026-11-02: add by m2/dev

Exact negative direction P22RXPYPHE

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

Mentions

arxiv: arXiv 2610.08980#RC5G, Exact negative direction (statement). In X407M6WFNR/e1, lemma B.2

History

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

P22ZQMJJN9 P22ZQMJJN9

URI	`m2://inv/P22ZQMJJN9`
Kind	example
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#LMTQ (example). In 6G1KBA0SXV/e1, example 2.5

History

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

Extreme neighbours lemma P238A2VXC1

URI	`m2://inv/P238A2VXC1`
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 2610.12351#VTA6, Extreme neighbours lemma (statement). In G1S5YM8TSR/e1, lemma 2.2

History

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

Cyparissos Stéphanos P238EX6YJV

URI	`m2://inv/P238EX6YJV`
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#E83R, Cyparissos Stéphanos (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y00J, Cyparissos Stéphanos (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z9RH, Cyparissos Stéphanos (unknown)

History

2026-11-02: add by m2/dev

P23A8Z94HS P23A8Z94HS

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

Mentions

arxiv: arXiv 2610.12329#3X0N (statement). In ZJQB9W60T6/e1, lemma 2.8

History

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

synthetic mathematics P23EM7ESND

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

Mentions

hott_book: hott_book index/1/synthetic-mathematics, synthetic mathematics (concept). In N54F33XE07, index, section 1

History

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

Darboux's theorem P23J7EMWT3

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

Mentions

wikipedia: Wikipedia Generalized complex structure#EX7X, Darboux's theorem (statement)

History

2026-11-02: add by m2/dev

P23V1R04CT P23V1R04CT

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

Mentions

arxiv: arXiv 2610.11965#NGBQ (statement). In 48QX0QD0XR/e1, lemma 7.8

History

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

Agranovich–Dynin formula P23VEAGR1F

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

Mentions

wikipedia: Wikipedia Agranovich–Dynin formula, Agranovich–Dynin formula (statement). Also Wikidata Q4693736

History

2026-11-02: add by m2/dev

Crossing (knot theory) P2430XBGG2

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

Mentions

wikipedia: Wikipedia Knot theory#T5BW, Crossing (knot theory) (unknown)

History

2026-11-02: add by m2/dev

James–Stein estimator P24B197H5A

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

Mentions

wikipedia: Wikipedia James–Stein estimator, James–Stein estimator (definition). Also Wikidata Q6146297

History

2026-11-02: add by m2/dev

course of values recursion P24HY4AFWV

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

Mentions

wikipedia: Wikipedia Glossary of logic#2JIG, course of values recursion (definition)

History

2026-11-02: add by m2/dev

Tangent space P24MPMJ1WN

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

Mentions

wikipedia: Wikipedia List of curves topics#RSI3, Tangent space (definition)

History

2026-11-02: add by m2/dev

precategory, product of P24QTA4613

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

Mentions

hott_book: hott_book index/2.5/precategory-product-of, precategory, product of (concept). In N54F33XE07, index, section 2.5

History

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

Robustness of the frozen Calder\'on preconditioner P2517SGVPP

URI	`m2://inv/P2517SGVPP`
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.30559#SKR3, Robustness of the frozen Calder\'on preconditioner (statement). In 5A9CKXWT3H/e1, theorem 8

History

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

P256AMS3F5 P256AMS3F5

URI	`m2://inv/P256AMS3F5`
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.00292#8W7M (statement). In NX3EFW0D0X/e1, lemma 7.1

History

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

Theorem P2571XRKSA

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

Mentions

wikipedia: Wikipedia Spectral theory of compact operators#J2R0, Theorem (statement)

History

2026-11-02: add by m2/dev

László Pyber P25EBSN18E

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

Mentions

wikipedia: Wikipedia László Pyber, László Pyber (topic). Also Wikidata Q747447

History

2026-11-02: add by m2/dev

P25MC0C2RG P25MC0C2RG

URI	`m2://inv/P25MC0C2RG`
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#JTSJ (statement). In S8NB83KQX3/e1, lemma 20

History

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

P25PH796ZG P25PH796ZG

URI	`m2://inv/P25PH796ZG`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-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.15771#UFOL (statement). In F2243YZX7A/e1, theorem 4.1

History

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

Generalization P25RF603FA

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

Mentions

wikipedia: Wikipedia Fulkerson–Chen–Anstee theorem#JZ62, Generalization (statement)

History

2026-11-02: add by m2/dev

Random oracle P26B9MTADV

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#1EVH, Random oracle (definition)

History

2026-11-02: add by m2/dev

P26HGNCKKC P26HGNCKKC

URI	`m2://inv/P26HGNCKKC`
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-2 (proof). In PKGMM3P5QY, proof, section 69.4

History

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

Complete source to contraction rate P26KNMAKBP

URI	`m2://inv/P26KNMAKBP`
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.18214#3PCN, Complete source to contraction rate (statement). In S4NXHVGB0Q/e1, proposition 2.2

History

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

Examples P26M0FWJ95

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

Mentions

wikipedia: Wikipedia Factor-critical graph#ITBR, Examples (example)

History

2026-11-02: add by m2/dev

Nilradical of a Lie algebra P26Q9QNVAB

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

Mentions

wikipedia: Wikipedia Nilradical of a Lie algebra, Nilradical of a Lie algebra (definition). Also Wikidata Q7037183

History

2026-11-02: add by m2/dev

P27E9H40TN P27E9H40TN

URI	`m2://inv/P27E9H40TN`
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.09672#UFQJ (statement). In TXBXCPP0QH/e1, lemma 33

History

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

River Crossing P27M61Q21F

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#W8RH, River Crossing (unknown)

History

2026-11-02: add by m2/dev

Probability bounds analysis P27PAFQ0MJ

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

Mentions

wikipedia: Wikipedia Probability bounds analysis, Probability bounds analysis (definition). Also Wikidata Q7246873

History

2026-11-02: add by m2/dev

P27SFN5JA7 P27SFN5JA7

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise:geomconvexfuncs (exercise). In VNMV985MXX, exercise, section 2.5

History

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

P27ZHXWFX1 P27ZHXWFX1

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

Mentions

hott_book: hott_book hlevels.tex#ex:n-truncation-not-left-exact (exercise). In N54F33XE07, ex, section 6.7

History

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

P280BHF785 P280BHF785

URI	`m2://inv/P280BHF785`
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 2102.12931#1LQL (statement). In PQHTR84RAJ/e1, theorem 5.16

History

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

Riemann's minimal surface P2851W5753

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

Mentions

wikipedia: Wikipedia List of things named after Bernhard Riemann#4Z7W, Riemann's minimal surface (definition)
wikipedia: Wikipedia List of mathematical shapes#NB3N, Riemann's minimal surface (definition)
wikipedia: Wikipedia List of surfaces#U711, Riemann's minimal surface (definition)

History

2026-11-02: add by m2/dev

Gabriel Andrew Dirac P286836PKZ

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

Mentions

wikipedia: Wikipedia Gabriel Andrew Dirac, Gabriel Andrew Dirac (topic). Also Wikidata Q1007178

History

2026-11-02: add by m2/dev

P287BEHQKN P287BEHQKN

URI	`m2://inv/P287BEHQKN`
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.28650#S6OM (example)

History

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

P287D6PMC1 P287D6PMC1

URI	`m2://inv/P287D6PMC1`
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 1709.01658#1JLC (statement). In 90A5Q9HRQK/e1, lemma 4.1

History

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

P289VF1XHG P289VF1XHG

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

Mentions

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

History

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

Subadditivity effect P28BM9RST5

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

Mentions

wikipedia: Wikipedia List of cognitive biases#U55R, Subadditivity effect (definition)

History

2026-11-02: add by m2/dev

P28E29GF2J P28E29GF2J

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

Mentions

arxiv: arXiv 2610.19455#E6Y6 (statement). In CBF6TQS4DW/e1, lemma 2.2

History

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

P28JWMFWAM P28JWMFWAM

URI	`m2://inv/P28JWMFWAM`
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 2609.33313#L5JV (statement). In HRCEFY172P/e1, theorem 3.27

History

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

P28Q7YAJS5 P28Q7YAJS5

URI	`m2://inv/P28Q7YAJS5`
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.05232#WC3Q (statement). In DA3VN96YX2/e1, corollary 3.10

History

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

Riesz rearrangement inequality P28QVC1QJ9

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

Mentions

wikipedia: Wikipedia List of inequalities#VLOJ, Riesz rearrangement inequality (statement)

History

2026-11-02: add by m2/dev

Elastic collision P28RA49VNS

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

Mentions

wikipedia: Wikipedia Elastic collision, Elastic collision (definition). Also Wikidata Q1044799

History

2026-11-02: add by m2/dev

Transposition cipher P28Z4M2Q0B

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

Mentions

wikipedia: Wikipedia List of permutation topics#SW9Z, Transposition cipher (definition)

History

2026-11-02: add by m2/dev

P291PNEF81 P291PNEF81

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

Mentions

arxiv: arXiv 2610.21929#H4TF (statement). In 2PP4XRVS0J/e1, proposition 2.3

History

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

P2963ASD6X P2963ASD6X

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphalgorithms_min-wt-span.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 12.1.1

History

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

Robert Steinberg P297F2K8ED

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#441O, Robert Steinberg (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KZU8, Robert Steinberg (unknown)

History

2026-11-02: add by m2/dev

Row operations P29KP47CTC

URI	`m2://inv/P29KP47CTC`
Kind	statement
Layer	research
MSC	17-XX, 57-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.10262#N20C, Row operations (statement). In MVSGDTN2PB/e1, lemma 4.5

History

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

Lesk algorithm P29WEMDPNR

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

Mentions

wikipedia: Wikipedia List of algorithms#2OST, Lesk algorithm (unknown)

History

2026-11-02: add by m2/dev

beta-binomial distribution P29WWSDJY8

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

Mentions

wikidata: Wikidata Q307557, beta-binomial distribution (unknown). Also MathWorld BetaBinomialDistribution
wikipedia: Wikipedia Beta-binomial distribution, Beta-binomial distribution (definition). Also Wikidata Q307557

History

2026-10-26: add by m2/dev

Examples P2A8YAGPV0

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

Mentions

wikipedia: Wikipedia Oscillation (mathematics)#MLA8, Examples (example)

History

2026-11-02: add by m2/dev

P2AAFFX5TH P2AAFFX5TH

URI	`m2://inv/P2AAFFX5TH`
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.23128#679J (statement)

History

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

Rayleigh stationarity P2AFXMRZVR

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

Mentions

arxiv: arXiv 2609.21670#EAA2, Rayleigh stationarity (statement)

History

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

octagonal number P2APZKWGM3

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

Mentions

wikidata: Wikidata Q2634498, octagonal number (definition). Also MathWorld OctagonalNumber, OEIS A000567, ProofWiki Definition:Octagonal_Number
wikipedia: Wikipedia Octagonal number, Octagonal number (definition). Also Wikidata Q2634498

History

2026-10-26: add by m2/dev

Simultaneous coverage P2AYFJPBXW

URI	`m2://inv/P2AYFJPBXW`
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.14965#RB0N, Simultaneous coverage (statement). In HNJB1WHQGZ/e1, proposition 1

History

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

normal distribution P2B3RPZM0Y

URI	`m2://inv/P2B3RPZM0Y`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Normal distribution 05AQE0QR0D

Mentions

wikidata: Wikidata Q133871, normal distribution (unknown). Also MathWorld NormalDistribution
wikipedia: Wikipedia Normal distribution, Normal distribution (definition). Also Wikidata Q133871

History

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

Arthur Cayley P2B64310DE

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

Mentions

wikipedia: Wikipedia List of geometers#6HG6, Arthur Cayley (topic)
wikipedia: Wikipedia List of mathematicians born in the 19th century#VE49, Arthur Cayley (topic)

History

2026-11-02: add by m2/dev

P2BB8Q6XV9 P2BB8Q6XV9

URI	`m2://inv/P2BB8Q6XV9`
Kind	statement
Layer	research
MSC	46-XX, 51-XX, 52-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.24131#BQ8V (statement)

History

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

Spectrum and Ramanujan conjectures P2BBD7NPM5

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

Mentions

wikipedia: Wikipedia Arithmetic hyperbolic 3-manifold#K2RD, Spectrum and Ramanujan conjectures (statement)

History

2026-11-02: add by m2/dev

P2BKJ7DCWX P2BKJ7DCWX

URI	`m2://inv/P2BKJ7DCWX`
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.15700#L3LL (statement). In S95MSZ7MDR/e1, lemma 3.10

History

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

P2BMZ94P9F P2BMZ94P9F

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

Mentions

arxiv: arXiv 2312.06581#EJ6G (example). In WXJ2V3HA2R/e1, example D.1

History

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

P2BQQE9580 P2BQQE9580

URI	`m2://inv/P2BQQE9580`
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.21036#UE21 (statement). In G0M4N3E0CG/e1, proposition 3.5

History

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

P2BWFFT2HR P2BWFFT2HR

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

Mentions

active_calculus: active_calculus source/activities/act-3-4-3.xml#act-3-4-3 (exercise). In 907G4C4EJ1, activity, section 3.4.2

History

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

P2BX40A7RA P2BX40A7RA

URI	`m2://inv/P2BX40A7RA`
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.20345#98V4 (statement). In WVRRST04WS/e1, lemma 14

History

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

diagonalizable P2C4BWRZWT

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

Mentions

austin_ula: austin_ula index/4.3.2/diagonalizable, diagonalizable (concept). In 649HGZKE96, index, section 4.3.2

History

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

Theorem 1 (Johnson bound for A_q(n,d)) P2C86VNXPN

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

Mentions

wikipedia: Wikipedia Johnson bound#GBOR, Theorem 1 (Johnson bound for A_q(n,d)) (statement)

History

2026-11-02: add by m2/dev

P2CSF0TZN3 P2CSF0TZN3

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

Mentions

arxiv: arXiv 2609.26496#5FUD (statement)

History

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

edge P2CYGNTT2J

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

Mentions

wikidata: Wikidata Q3297804, edge (definition). Also nLab edge, ProofWiki Definition:Graph_(Graph_Theory)/Edge

History

2026-10-26: add by m2/dev

P2D16NXH17 P2D16NXH17

URI	`m2://inv/P2D16NXH17`
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.03384#Y3JR (statement). In J55JTTKG84/e1, corollary 4.19

History

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

P2D259EGFR P2D259EGFR

URI	`m2://inv/P2D259EGFR`
Kind	statement
Layer	research
MSC	53-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.39845#B5BY (statement). In RK8DFVGQP1/e1, lemma 6

History

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

P2D9F60KZR P2D9F60KZR

URI	`m2://inv/P2D9F60KZR`
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 2301.02848#60P5 (statement). In G6WQDW52TJ/e1, lemma 4.8

History

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

decidable, equality P2DCVPQDRH

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

Mentions

hott_book: hott_book index/A.11/decidable-equality, decidable, equality (concept). In N54F33XE07, index, section A.11

History

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

Snezhana Abarzhi P2DCVS8EHT

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

Mentions

wikipedia: Wikipedia Snezhana Abarzhi, Snezhana Abarzhi (topic). Also Wikidata Q101243255

History

2026-11-02: add by m2/dev

P2DFV1MK76 P2DFV1MK76

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

Mentions

arxiv: arXiv 2610.07718#5L1X (statement). In CEKW9CNVVW/e1, lemma 6.10

History

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

$C^{1,\theta}$ estimates P2DJHY51XY

URI	`m2://inv/P2DJHY51XY`
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 2609.32829#U4Y6, $C^{1,\theta}$ estimates (statement). In RYWAX33Z51/e1, proposition 7.3

History

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

P2DJJ8Y2R8 P2DJJ8Y2R8

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

Mentions

arxiv: arXiv 2610.16853#2OSF (statement). In Y43AAKZ7E6/e1, lemma 2.2

History

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

Gromov's systolic inequality P2DTEA0SGX

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

Mentions

wikipedia: Wikipedia Systolic geometry#MZXP, Gromov's systolic inequality (statement)

History

2026-11-02: add by m2/dev

P2DVDH3RJE P2DVDH3RJE

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

Mentions

arxiv: arXiv 2609.24007#FDJP (statement)

History

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

P2DYX7TMSV P2DYX7TMSV

URI	`m2://inv/P2DYX7TMSV`
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.08583#OTOJ (statement). In 5EKTECQ2P1/e1, lemma 3.3

History

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

invertible matrix P2E2KV54BD

URI	`m2://inv/P2E2KV54BD`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Invertible matrix 0EB9N0S33C

Mentions

wikidata: Wikidata Q242188, invertible matrix (definition). Also EoM Non-singular_matrix, MathWorld NonsingularMatrix, ProofWiki Definition:Invertible_Matrix
wikipedia: Wikipedia Invertible matrix, Invertible matrix (definition). Also Wikidata Q242188

History

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

P2E4HWNNAY P2E4HWNNAY

URI	`m2://inv/P2E4HWNNAY`
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.09042#57BO (statement). In 7CS3N5K9FJ/e1, lemma 5

History

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

P2E6FY8H1G P2E6FY8H1G

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#example-5 (example). In Y91XFCEVHQ, example, section 4.2.2

History

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

P2EE80Q5X8 P2EE80Q5X8

URI	`m2://inv/P2EE80Q5X8`
Kind	definition
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.24580#6SXB (definition)

History

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

Oka's lemma P2EM0MSQ6Q

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

Mentions

lebl_scv: lebl_scv index/2.6/oka-s-lemma, Oka's lemma (concept). In VNMV985MXX, index, section 2.6

History

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

P2EP8D5DQW P2EP8D5DQW

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

Mentions

arxiv: arXiv 2103.08272#DOTW (definition). In H72E12TYHA/e1, definition 4.9

History

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

P2ESC0J5HQ P2ESC0J5HQ

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

Mentions

arxiv: arXiv 2609.37606#22E1 (statement). In WNFW6GY38C/e1, lemma 2.2

History

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

permutation P2ESQS1537

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

Mentions

applied_combinatorics: applied_combinatorics index/2.2/permutation, permutation (concept). In QKM9DD2H56, index, section 2.2

History

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

P2EWYVBXN3 P2EWYVBXN3

URI	`m2://inv/P2EWYVBXN3`
Kind	statement
Layer	research
MSC	05-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.22708#8HD6 (statement)

History

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

P2F4S9F9M3 P2F4S9F9M3

URI	`m2://inv/P2F4S9F9M3`
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 2406.07116#KYIE (statement). In 5B030CB2RK/e1, proposition 8.9

History

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

P2FFMRZ2TD P2FFMRZ2TD

URI	`m2://inv/P2FFMRZ2TD`
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.18744#BAFM (statement). In AE07JDH5D3/e1, lemma 3.6

History

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

Examples P2FGBKRQ82

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

Mentions

wikipedia: Wikipedia Orthogonal polynomials on the unit circle#CFGB, Examples (example)

History

2026-11-02: add by m2/dev

Public Policy Polling P2FHQTN3DH

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

Mentions

wikipedia: Wikipedia List of polling organizations#GMKJ, Public Policy Polling (unknown)

History

2026-11-02: add by m2/dev

$n=2$, odd $p$ P2FMJHA9VN

URI	`m2://inv/P2FMJHA9VN`
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#JOEU, $n=2$, odd $p$ (statement). In 1SPQ4J3AWY/e1, corollary 6.5

History

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

The Story of 1 P2FRGYGBFJ

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

Mentions

wikipedia: Wikipedia The Story of 1, The Story of 1 (definition). Also Wikidata Q7766736

History

2026-11-02: add by m2/dev

P2FTJ1C396 P2FTJ1C396

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

Mentions

arxiv: arXiv 2610.17669#A9YW (statement). In RAWXJ72WWA/e1, theorem 3.4

History

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

Odd torsion and parallel edges P2FWZ1MDKT

URI	`m2://inv/P2FWZ1MDKT`
Kind	problem
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#B9IC, Odd torsion and parallel edges (problem). In Y1DR0DPWD0/e1, problem 8.6

History

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

Arthur Ogus P2G3NC5JHQ

URI	`m2://inv/P2G3NC5JHQ`
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 Q18631929, Arthur Ogus (unknown). Also nLab Arthur Ogus

History

2026-10-26: add by m2/dev

P2GDW26WV9 P2GDW26WV9

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

Mentions

arxiv: arXiv 2609.25062#081E (problem)

History

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

P2GHCAMEXB P2GHCAMEXB

URI	`m2://inv/P2GHCAMEXB`
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.06321#PRJW (statement). In PGV1116XX4/e1, proposition 5.7

History

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

P2GHPJAJHQ P2GHPJAJHQ

URI	`m2://inv/P2GHPJAJHQ`
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 1008.4946#GKC0 (statement). In R4ZM6Q4SHH/e1, proposition 4

History

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

Elementary properties P2GJKXT0Z6

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

Mentions

wikipedia: Wikipedia Frobenius manifold#DRJB, Elementary properties (statement)

History

2026-11-02: add by m2/dev

Jerome Paul Levine P2GMG9H2FF

URI	`m2://inv/P2GMG9H2FF`
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#DF9Z, Jerome Paul Levine (topic)

History

2026-11-02: add by m2/dev

P2GSJNS0DG P2GSJNS0DG

URI	`m2://inv/P2GSJNS0DG`
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 2507.12309#MRXS (statement). In ZR53K3E0FR/e1, lemma 31

History

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

P2GTFR5DSP P2GTFR5DSP

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

Mentions

arxiv: arXiv 2610.18673#32VO (definition). In 7ZFD9XRKA1/e1, definition 2.23

History

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

P2GTQ9X2PM P2GTQ9X2PM

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

Mentions

arxiv: arXiv 2610.21093#IPSX (statement). In TBFPBPQV3G/e1, lemma 8.4

History

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

P2GZX0RN0G P2GZX0RN0G

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

Mentions

arxiv: arXiv 2610.15385#B1V4 (statement). In HBZXCMYPME/e1, corollary 4.4

History

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

P2H2WP9RP6 P2H2WP9RP6

URI	`m2://inv/P2H2WP9RP6`
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 0809.1307#G79Q (statement). In TP09MNWY6B/e1, lemma 2.7

History

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

P2H3GRAJPZ P2H3GRAJPZ

URI	`m2://inv/P2H3GRAJPZ`
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#SWME (statement). In 13GSWBXPCM/e1, theorem 2.19

History

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

Example P2H4GJC6PC

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

Mentions

wikipedia: Wikipedia Deterministic finite automaton#7DBX, Example (example)

History

2026-11-02: add by m2/dev

P2H946GDED P2H946GDED

URI	`m2://inv/P2H946GDED`
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.07963#WTHF (statement). In HAGJKEZ1CK/e1, proposition 7.11

History

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

Schur product theorem P2HE68E4DJ

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

Mentions

wikipedia: Wikipedia Schur product theorem, Schur product theorem (statement). Also Wikidata Q17103152

History

2026-11-02: add by m2/dev

P2HFQMGP6S P2HFQMGP6S

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

Mentions

arxiv: arXiv 2503.19528#8HCR (statement). In EM5955MDHN/e1, proposition 3.2

History

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

Exponential hitting-time statistics for stochastic gradient descent P2J178WBCS

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

Mentions

arxiv: arXiv 2609.30274#2THQ, Exponential hitting-time statistics for stochastic gradient descent (statement). In 6ASPPVJP5M/e1, corollary 4

History

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

P2JMRSY4FF P2JMRSY4FF

URI	`m2://inv/P2JMRSY4FF`
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.24185#D1JE (statement)

History

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

Fractal landscape P2JX9ARKWP

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

Mentions

wikipedia: Wikipedia Fractal landscape, Fractal landscape (definition). Also Wikidata Q3100949

History

2026-11-02: add by m2/dev

Bing shrinking P2K1DFVA1X

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

Mentions

wikipedia: Wikipedia Bing shrinking, Bing shrinking (definition). Also Wikidata Q4914155

History

2026-11-02: add by m2/dev

Question 9.5 P2K1E9QGF7

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

Mentions

arxiv: arXiv 2609.31549#ZE5R, Question 9.5 (problem). In CVB7NA2N10/e1, problem 1.1

History

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

P2K20CC8S9 P2K20CC8S9

URI	`m2://inv/P2K20CC8S9`
Kind	statement
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.13213#ZEPD (statement). In V97F4YZ8B0/e1, theorem 4.1

History

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

Planck constant P2K5922HX1

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

Mentions

wikipedia: Wikipedia List of numbers#2KN6, Planck constant (unknown)

History

2026-11-02: add by m2/dev

Properties P2KJDTD1AN

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

Mentions

wikipedia: Wikipedia Abundant number#LGZX, Properties (statement)

History

2026-11-02: add by m2/dev

Prager--Synge P2KN3KD6JQ

URI	`m2://inv/P2KN3KD6JQ`
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.12088#41RZ, Prager--Synge (statement). In 5A39XSJ04W/e1, theorem 7.2

History

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

P2KN3SETAC P2KN3SETAC

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

Mentions

arxiv: arXiv 2609.31352#VRR2 (definition). In SQZGKRDVBX/e1, definition 3.1

History

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

Ring of functions P2KPR27P2S

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

Mentions

wikipedia: Wikipedia Ring (mathematics)#HHVV, Ring of functions (unknown)

History

2026-11-02: add by m2/dev

P2KRMX6TQQ P2KRMX6TQQ

URI	`m2://inv/P2KRMX6TQQ`
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.07673#BVG5 (statement). In 37B1MPV8GX/e1, theorem 6.4

History

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

Sylvester matrix P2KX1QSNDJ

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

Mentions

wikidata: Wikidata Q1482452, Sylvester matrix (concept). Also MathWorld SylvesterMatrix
wikipedia: Wikipedia Sylvester matrix, Sylvester matrix (definition). Also Wikidata Q1482452

History

2026-10-26: add by m2/dev

Related results P2MMKE7635

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

Mentions

wikipedia: Wikipedia Mirsky's theorem#AP5B, Related results (statement)

History

2026-11-02: add by m2/dev

P2MXFXC8AW P2MXFXC8AW

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

Mentions

arxiv: arXiv 2609.39700#VQKF (statement). In E7W2HDNEKJ/e1, theorem 10.28

History

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

William Wilson Hunter P2N17341XG

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

Mentions

wikipedia: Wikipedia William Wilson Hunter, William Wilson Hunter (topic). Also Wikidata Q724677

History

2026-11-02: add by m2/dev

Regularity theorem for harmonic functions P2N6SRA2NM

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

Mentions

wikipedia: Wikipedia Harmonic function#933U, Regularity theorem for harmonic functions (statement)

History

2026-11-02: add by m2/dev

Coherent Policy P2N8MHPEQT

URI	`m2://inv/P2N8MHPEQT`
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.20126#XUY1, Coherent Policy (definition). In KVXDWX9B11/e1, definition 2.2

History

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

Singular point P2NAV2S85Y

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#R3Y7, Singular point (definition)

History

2026-11-02: add by m2/dev

P2ND23SSTH P2ND23SSTH

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

Mentions

napkin: napkin tex/alg-geom/spec-zariski.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 28.3

History

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

Abstract logic P2NE7NJHC7

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

Mentions

wikipedia: Wikipedia Abstract logic, Abstract logic (definition). Also Wikidata Q2748142

History

2026-11-02: add by m2/dev

Whitney isomorphism theorem P2NW0R2E3T

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

Mentions

wikipedia: Wikipedia Line graph#D2C8, Whitney isomorphism theorem (statement)

History

2026-11-02: add by m2/dev

P2P1F886CF P2P1F886CF

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

Mentions

arxiv: arXiv 2609.28189#VRXM (statement)

History

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

P2PB3V2QRC P2PB3V2QRC

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

Mentions

lebl_scv: lebl_scv scv.tex#lemma:regdense (statement). In VNMV985MXX, lemma, section 6.5

History

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

P2PBQXF1WN P2PBQXF1WN

URI	`m2://inv/P2PBQXF1WN`
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.30363#IHDU (definition). In QHBBP180QJ/e1, definition 3

History

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

P2PHPM6PJB P2PHPM6PJB

URI	`m2://inv/P2PHPM6PJB`
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.01354#VQ24 (statement). In BWD76W20W8/e1, theorem 2.5

History

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

Inductive tensor product P2PJ5SPDBZ

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

Mentions

wikipedia: Wikipedia List of topologies#GFQE, Inductive tensor product (definition)

History

2026-11-02: add by m2/dev

P2PKDWFWKT P2PKDWFWKT

URI	`m2://inv/P2PKDWFWKT`
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#FKQZ (statement). In 5E9G06XJKC/e1, lemma D.31

History

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

Zero--one generalization P2PKE4SQ6V

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

Mentions

arxiv: arXiv 2609.38453#N4HJ, Zero--one generalization (statement). In DWKWF242Y0/e1, lemma 1

History

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

P2PWSWNR2J P2PWSWNR2J

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

Mentions

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

History

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

P2PZDYQ76B P2PZDYQ76B

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

History

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

Examples P2PZR6N59C

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

Mentions

wikipedia: Wikipedia Twists of elliptic curves#JGFA, Examples (example)

History

2026-11-02: add by m2/dev

Hodge star operator P2Q06T8FHT

URI	`m2://inv/P2Q06T8FHT`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Hodge star operator 1Y4WX4XQWJ

Mentions

wikidata: Wikidata Q1622692, Hodge star operator (concept). Also MathWorld HodgeStar, nLab Hodge star operator
wikipedia: Wikipedia Hodge star operator, Hodge star operator (definition). Also Wikidata Q1622692

History

2026-10-26: add by m2/dev

P2Q3V1KYE6 P2Q3V1KYE6

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-102 (exercise). In VNMV985MXX, exercise, section 2.3

History

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

MOPAC P2Q5N5DC07

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#4MCU, MOPAC (unknown)

History

2026-11-02: add by m2/dev

P2Q7FQBF2X P2Q7FQBF2X

URI	`m2://inv/P2Q7FQBF2X`
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.08104#HZWW (statement). In AH6BX8RZTW/e1, theorem 1.5

History

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

type P2Q9E9Q54R

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

Mentions

wikidata: Wikidata Q124168363, type (concept). Also MathWorld Type, nLab type

History

2026-10-26: add by m2/dev

Generalization P2Q9FQC7G4

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

Mentions

wikipedia: Wikipedia Splitter (geometry)#7UXF, Generalization (statement)

History

2026-11-02: add by m2/dev

Alternative definitions P2QAQBR09V

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

Mentions

wikipedia: Wikipedia Differentiable manifold#G5RK, Alternative definitions (definition)

History

2026-11-02: add by m2/dev

Kaṇakkatikāram P2QB9Z4MAP

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

Mentions

wikipedia: Wikipedia Kaṇakkatikāram, Kaṇakkatikāram (definition). Also Wikidata Q124217206

History

2026-11-02: add by m2/dev

P2QNSCH704 P2QNSCH704

URI	`m2://inv/P2QNSCH704`
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#73PQ (statement). In 6NVP3YRWVA/e1, corollary 4.23

History

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

P2QV31Z4Y0 P2QV31Z4Y0

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#problem-4 (exercise). In P1C114YBXG, problem, section F

History

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

Elliptic geometry P2QW6R2ZMP

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#PR32, Elliptic geometry (definition)

History

2026-11-02: add by m2/dev

P2QWCM19P2 P2QWCM19P2

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

Mentions

arxiv: arXiv 2609.25539#JV2D (statement)

History

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

Martin Schechter P2QWHTTMQH

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

Mentions

wikipedia: Wikipedia Martin Schechter (mathematician), Martin Schechter (topic). Also Wikidata Q1904917

History

2026-11-02: add by m2/dev

P2QZ90DCYE P2QZ90DCYE

URI	`m2://inv/P2QZ90DCYE`
Kind	example
Layer	research
MSC	05-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.00562#1LL8 (example). In 99CQPHSSYF/e1, example Example

History

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

P2R2NN7ZBV P2R2NN7ZBV

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

Mentions

arxiv: arXiv 0903.0651#DS6G (statement). In 6R0KH80PTK/e1, theorem 9

History

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

Explicit photon-tail bound P2R3WRM98A

URI	`m2://inv/P2R3WRM98A`
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.22308#G406, Explicit photon-tail bound (statement). In 4QN87R0P1G/e1, proposition 17

History

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

Definitions P2R81Y2VKJ

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

Mentions

wikipedia: Wikipedia Gumbel distribution#RZ84, Definitions (definition)

History

2026-11-02: add by m2/dev

Andrey Leman P2RC87MAG9

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

Mentions

wikipedia: Wikipedia Andrey Leman, Andrey Leman (topic). Also Wikidata Q123238798

History

2026-11-02: add by m2/dev

P2RCWS3BCS P2RCWS3BCS

URI	`m2://inv/P2RCWS3BCS`
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.02743#HHRP (statement). In GQH4ZPDWET/e1, proposition 2.1

History

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

Procedure P2RFDBW9YD

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

Mentions

wikipedia: Wikipedia Duncan's new multiple range test#CY1H, Procedure (definition)

History

2026-11-02: add by m2/dev

Weak-acylindricity P2RMYTDD8Y

URI	`m2://inv/P2RMYTDD8Y`
Kind	statement
Layer	research
MSC	20-XX, 37-XX, 57-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.19787#2EQB, Weak-acylindricity (statement). In A4VP56CT7B/e1, corollary 4.4

History

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

P2RP3BZJMZ P2RP3BZJMZ

URI	`m2://inv/P2RP3BZJMZ`
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 2212.02556#CRU0 (statement). In 78QQZYTGTD/e1, fact 3.8

History

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

Lebesgue Measure and Integration P2S3KHK9EQ

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

Mentions

mathlib_100: mathlib_100 86, Lebesgue Measure and Integration (statement). Also Mathlib MeasureTheory.lintegral
mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > integral of positive measurable functions, integral of positive measurable functions (unknown). Also Mathlib MeasureTheory.lintegral
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > integral of positive measurable functions, integral of positive measurable functions (unknown). Also Mathlib MeasureTheory.lintegral

History

2026-10-26: add by m2/dev

P2SNAYW3A7 P2SNAYW3A7

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

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/addition.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 71.8

History

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

non-edge P2SQ91YCRT

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#610R, non-edge (definition)

History

2026-11-02: add by m2/dev

Death of John Forbes Nash Jr. P2SX3FNM1B

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

Mentions

wikipedia: Wikipedia John Forbes Nash Jr.#ID3U, Death of John Forbes Nash Jr. (unknown)

History

2026-11-02: add by m2/dev

P2SYHNQR2X P2SYHNQR2X

URI	`m2://inv/P2SYHNQR2X`
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.37846#R6FV (statement). In DCA0M1EE4A/e1, lemma 1

History

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

P2T1CH150B P2T1CH150B

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

Mentions

arxiv: arXiv 2609.25168#CBNL (example)

History

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

Suzuki versus One-Point Hermitian Codes P2T1QKDNAP

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

Mentions

arxiv: arXiv 2609.31484#WVWT, Suzuki versus One-Point Hermitian Codes (statement). In 1RDQ10G87W/e1, proposition 4.3

History

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

conformal map P2T381T3N5

URI	`m2://inv/P2T381T3N5`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Conformal map 0VHNKP1N3K

Mentions

wikidata: Wikidata Q850275, conformal map (unknown). Also EoM Conformal_mapping, MathWorld ConformalMapping, nLab conformal map
wikipedia: Wikipedia Conformal map, Conformal map (definition). Also Wikidata Q850275

History

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

P2T99NAJ9M P2T99NAJ9M

URI	`m2://inv/P2T99NAJ9M`
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.28181#SJQQ (statement)

History

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

Proof of \cref{thm:flattening} P2T9D80263

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

Mentions

hott_book: hott_book hits.tex#proof-34, Proof of \cref{thm:flattening} (proof). In N54F33XE07, proof, section 5.12

History

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

Theorem P2TGFYXG05

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

Mentions

wikipedia: Wikipedia Maschke's theorem#OWB3, Theorem (statement)

History

2026-11-02: add by m2/dev

Numerical diffusion P2TJP7W11T

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

Mentions

wikipedia: Wikipedia Numerical diffusion, Numerical diffusion (definition). Also Wikidata Q7069655

History

2026-11-02: add by m2/dev

P2TKNB1PJP P2TKNB1PJP

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

Mentions

arxiv: arXiv 2609.29489#656B (statement)

History

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

P2TMXCHKM2 P2TMXCHKM2

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

Mentions

napkin: napkin tex/H113/quotient.tex#definition-3 (definition). In RZP28ERRZV, definition, section 3.2

History

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

P2TV2XNR9B P2TV2XNR9B

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

Mentions

arxiv: arXiv 2610.08193#9N4V (example). In 8XAKGH8S2D/e1, example 4.5

History

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

P2TXBPJE7J P2TXBPJE7J

URI	`m2://inv/P2TXBPJE7J`
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.20656#RI7H (example)

History

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

P2TZ1BC89Y P2TZ1BC89Y

URI	`m2://inv/P2TZ1BC89Y`
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.20097#QUL0 (statement)

History

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

P2V9K3KTWD P2V9K3KTWD

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

Mentions

arxiv: arXiv 2312.14445#Y8M6 (statement). In V56MKF0KW2/e1, lemma 3.4

History

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

Generalizations P2VCARDTYH

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

Mentions

wikipedia: Wikipedia Family of curves#MFK8, Generalizations (statement)

History

2026-11-02: add by m2/dev

Forder Lectureship P2VCN0DSM7

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

Mentions

wikipedia: Wikipedia Forder Lectureship, Forder Lectureship (definition). Also Wikidata Q47035321

History

2026-11-02: add by m2/dev

k-subset P2VHADN6KG

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

Mentions

wikidata: Wikidata Q141500538, k-subset (unknown). Also MathWorld k-Subset

History

2026-10-26: add by m2/dev

Periods and real-part levels P2VKRNNPMQ

URI	`m2://inv/P2VKRNNPMQ`
Kind	statement
Layer	research
MSC	30-XX, 32-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.12497#51JI, Periods and real-part levels (statement). In Z0SAF18JPP/e1, proposition 3.6

History

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

Equation (3.27), Theorems 3.10, 4.7 P2VP5F5FZK

URI	`m2://inv/P2VP5F5FZK`
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.23128#LBDM, Equation (3.27), Theorems 3.10, 4.7 (statement)

History

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

P2VQ4P4AP6 P2VQ4P4AP6

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

Mentions

arxiv: arXiv 2609.22296#4YXG (statement)

History

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

P2VQHD2PPC P2VQHD2PPC

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

Mentions

arxiv: arXiv 2609.22847#4GBK (statement)

History

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

P2VXCCCHM7 P2VXCCCHM7

URI	`m2://inv/P2VXCCCHM7`
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.15405#IOS1 (statement). In 9QCYCXVF5W/e1, lemma 2.3

History

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

P2VXTRPYDB P2VXTRPYDB

URI	`m2://inv/P2VXTRPYDB`
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 1902.04230#QY2J (statement). In 22JZ68FGCW/e1, proposition 6.4

History

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

Pierre de Carcavi P2VZJP07V2

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

Mentions

wikipedia: Wikipedia Pierre de Carcavi, Pierre de Carcavi (topic). Also Wikidata Q2332441

History

2026-11-02: add by m2/dev

Jacob Lüroth P2W27679RT

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

Mentions

wikipedia: Wikipedia Jacob Lüroth, Jacob Lüroth (topic). Also Wikidata Q90575

History

2026-11-02: add by m2/dev

The totally positive moment case P2W80QPHPE

URI	`m2://inv/P2W80QPHPE`
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#T4G1, The totally positive moment case (statement)

History

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

P2WJ3YDH3H P2WJ3YDH3H

URI	`m2://inv/P2WJ3YDH3H`
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.07370#FT60 (statement). In Q94QXG67CK/e1, lemma III.1

History

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

CH-quasigroup P2WSGZANB0

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

Mentions

wikipedia: Wikipedia CH-quasigroup, CH-quasigroup (definition). Also Wikidata Q5011015

History

2026-11-02: add by m2/dev

Kingsley Davis P2WX1ER7N8

URI	`m2://inv/P2WX1ER7N8`
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#I4FU, Kingsley Davis (unknown)

History

2026-11-02: add by m2/dev

P2X1G95MTR P2X1G95MTR

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#prop-8 (statement). In E59CDZA4DP, prop, section 4.4.1

History

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

Hasse norm theorem P2X7B1KCJ0

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#GKIV, Hasse norm theorem (statement)

History

2026-11-02: add by m2/dev

P2XEMXEBNG P2XEMXEBNG

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

Mentions

arxiv: arXiv 2610.04325#RN17 (statement). In 42XHT97E64/e1, proposition 7.3

History

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

Euler's Polygon Division Problem P2XJC41X17

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

Mentions

wikidata: Wikidata Q31197637, Euler's Polygon Division Problem (concept). Also MathWorld EulersPolygonDivisionProblem

History

2026-10-26: add by m2/dev

Torkel Franzén P2XV78G2TD

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

Mentions

wikipedia: Wikipedia Torkel Franzén, Torkel Franzén (topic). Also Wikidata Q1839062

History

2026-11-02: add by m2/dev

Doob's second martingale convergence theorem P2XYJMN2P5

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

Mentions

wikipedia: Wikipedia Doob's martingale convergence theorems#E6ZG, Doob's second martingale convergence theorem (statement)

History

2026-11-02: add by m2/dev

Herman Auerbach P2Y3VQ3YKR

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#IT6U, Herman Auerbach (topic)

History

2026-11-02: add by m2/dev

P2Y9HRB31N P2Y9HRB31N

URI	`m2://inv/P2Y9HRB31N`
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 2211.14214#GVAP (statement). In SY85Y9E45A/e1, lemma 36

History

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

P2YATEDDNN P2YATEDDNN

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

Mentions

arxiv: arXiv 2609.25168#1N1B (statement)

History

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

row-reduced matrices P2YE4H5BQ9

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

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > row-reduced matrices, row-reduced matrices (unknown)

History

2026-10-26: add by m2/dev

Relativistic Doppler effect P2YEJETM34

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

Mentions

wikipedia: Wikipedia Relativistic Doppler effect, Relativistic Doppler effect (definition). Also Wikidata Q579900

History

2026-11-02: add by m2/dev

P2YH9JT3F9 P2YH9JT3F9

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

Mentions

arxiv: arXiv 2504.02065#7751 (statement). In 60CK7P5F36/e1, theorem 5.4

History

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

Open cover homology theorem P2YN051E0A

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

Mentions

napkin: napkin tex/homology/long-exact.tex#thm:open_cover_homology, Open cover homology theorem (statement). In RZP28ERRZV, theorem, section 54.3

History

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

P2YQ07PGDZ P2YQ07PGDZ

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

Mentions

arxiv: arXiv 2609.27484#GLZL (statement)

History

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

Procedure P2YR77Z4VD

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

Mentions

wikipedia: Wikipedia Crutchfield situation#FLHF, Procedure (definition)

History

2026-11-02: add by m2/dev

P2YX9Z2TJ3 P2YX9Z2TJ3

URI	`m2://inv/P2YX9Z2TJ3`
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.12053#QC7R (statement). In MQ226ETRP6/e1, lemma 2.2

History

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

The ceiling, matched P2YYPNSPSR

URI	`m2://inv/P2YYPNSPSR`
Kind	statement
Layer	research
MSC	60-XX, 62-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.27765#F4M8, The ceiling, matched (statement)

History

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

P2Z6JDCWZ7 P2Z6JDCWZ7

URI	`m2://inv/P2Z6JDCWZ7`
Kind	example
Layer	research
MSC	05-XX, 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 2609.34845#JYDZ (example). In SBZNH932ZV/e1, example 2.12

History

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

P2ZBZ90Z8G P2ZBZ90Z8G

URI	`m2://inv/P2ZBZ90Z8G`
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#FU6D (definition). In 38XJWDZ2PH/e1, definition 4.12

History

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

P2ZRGMR068 P2ZRGMR068

URI	`m2://inv/P2ZRGMR068`
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.23341#1607 (statement)

History

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

P2ZYVMRQF3 P2ZYVMRQF3

URI	`m2://inv/P2ZYVMRQF3`
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 2404.05451#ZBKS (statement). In 5YMFYAFFJ7/e1, theorem K

History

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

Eisenstein series P2ZZX45H89

URI	`m2://inv/P2ZZX45H89`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Eisenstein series EYREVY31BN

Mentions

wikidata: Wikidata Q1313257, Eisenstein series (concept). Also nLab Eisenstein series
wikipedia: Wikipedia Eisenstein series, Eisenstein series (definition). Also Wikidata Q1313257

History

2026-10-26: add by m2/dev