Inventory rows P3

Basic properties P30119RS8A

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

Mentions

wikipedia: Wikipedia Hypercomplex manifold#1LKT, Basic properties (statement)

History

2026-11-02: add by m2/dev

P30KSCMVKK P30KSCMVKK

URI	`m2://inv/P30KSCMVKK`
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.26357#9NAZ (statement)

History

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

telescoping sum P30W8B5D3W

URI	`m2://inv/P30W8B5D3W`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Telescoping series 0GXKM1R7E4

Mentions

wikidata: Wikidata Q2164293, telescoping sum (unknown). Also MathWorld TelescopingSum
wikipedia: Wikipedia Telescoping series, Telescoping series (definition). Also Wikidata Q2164293

History

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

P311MCRPWR P311MCRPWR

URI	`m2://inv/P311MCRPWR`
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 2210.01497#J81Z (definition). In QAKFAHRC8Z/e1, definition 1.1

History

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

Finitely related module P313VMJ8N8

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

Mentions

wikipedia: Wikipedia Finitely generated module#3VRV, Finitely related module (unknown)

History

2026-11-02: add by m2/dev

P314Y8JF65 P314Y8JF65

URI	`m2://inv/P314Y8JF65`
Kind	statement
Layer	research
MSC	20-XX, 22-XX, 53-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.14045#5T1Z (statement). In KZ71GXT2B0/e1, corollary 6.7

History

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

P318NQJC67 P318NQJC67

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

Mentions

arxiv: arXiv 2609.37450#ZPFN (statement). In FP05Z6EBV4/e1, theorem 3.9

History

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

P3195ZF1W4 P3195ZF1W4

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

Mentions

hott_book: hott_book setmath.tex#lem-5 (statement). In N54F33XE07, lem, section C.3

History

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

Sophie Germain identity P31A4EW3VV

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

Mentions

wikipedia: Wikipedia List of mathematical identities#K9S0, Sophie Germain identity (statement)

History

2026-11-02: add by m2/dev

Pre- and post-test probability P31C9MTC5H

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

Mentions

wikipedia: Wikipedia List of statistics articles#DI1I, Pre- and post-test probability (definition)

History

2026-11-02: add by m2/dev

P31EDQ9TF5 P31EDQ9TF5

URI	`m2://inv/P31EDQ9TF5`
Kind	statement
Layer	research
MSC	03-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.05986#T1EE (statement). In N5ZM8MXJXH/e1, theorem 1.1

History

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

One-dimensional reduction of clause (iv P31MWJ1433

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

Mentions

arxiv: arXiv 2609.24931#S0ZD, One-dimensional reduction of clause (iv (statement)

History

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

Histogram P31SNQSG48

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

Mentions

wikipedia: Wikipedia List of statistics articles#JWXW, Histogram (definition)
wikipedia: Wikipedia List of graphical methods#Q3CB, Histogram (definition)

History

2026-11-02: add by m2/dev

Aesthetic–usability effect P31V0CEDMN

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

Mentions

wikipedia: Wikipedia List of cognitive biases#VP5N, Aesthetic–usability effect (unknown)

History

2026-11-02: add by m2/dev

Lozanić's triangle P31WPWY820

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

Mentions

wikipedia: Wikipedia Lozanić's triangle, Lozanić's triangle (definition). Also Wikidata Q6694640

History

2026-11-02: add by m2/dev

multimagic square P31XK498M3

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

Mentions

wikidata: Wikidata Q13220408, multimagic square (concept). Also MathWorld MultimagicSquare
wikipedia: Wikipedia Multimagic square, Multimagic square (definition). Also Wikidata Q13220408

History

2026-10-26: add by m2/dev

XYZ inequality P31Z505V00

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

Mentions

wikipedia: Wikipedia XYZ inequality, XYZ inequality (statement). Also Wikidata Q5454716

History

2026-11-02: add by m2/dev

P31Z9BYCQT P31Z9BYCQT

URI	`m2://inv/P31Z9BYCQT`
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.02798#22JY (statement). In 446QW3DHTN/e1, theorem 4.4

History

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

Fourier vanishing P324NHEYDR

URI	`m2://inv/P324NHEYDR`
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 2509.05577#957G, Fourier vanishing (statement). In EFWBREMZAP/e1, proposition 1.1

History

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

P3259J0KFJ P3259J0KFJ

URI	`m2://inv/P3259J0KFJ`
Kind	statement
Layer	research
MSC	16-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 2210.17066#KTST (statement). In X2AEJAQEP8/e1, theorem

History

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

Ample vector bundle P32ARKXFMB

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#Q3DW, Ample vector bundle (definition)

History

2026-11-02: add by m2/dev

Examples P32DM7MNYM

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

Mentions

wikipedia: Wikipedia Uniform convergence#E594, Examples (example)

History

2026-11-02: add by m2/dev

List of derivatives and integrals in alternative calculi P32HBATMSZ

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

Mentions

wikipedia: Wikipedia List of derivatives and integrals in alternative calculi, List of derivatives and integrals in alternative calculi (topic). Also Wikidata Q6616075

History

2026-11-02: add by m2/dev

P32JRBD8T7 P32JRBD8T7

URI	`m2://inv/P32JRBD8T7`
Kind	example
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.13295#WNNA (example). In 8Q7QXTWD0S/e1, example 6.8

History

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

P32M57N686 P32M57N686

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

Mentions

arxiv: arXiv 2610.14914#CSTD (statement). In CHC3T113Y4/e1, theorem 7.4

History

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

P32M87V9X6 P32M87V9X6

URI	`m2://inv/P32M87V9X6`
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.11271#4CDG (statement). In HF7J38T8Y6/e1, theorem 4.8

History

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

Rellich-Kondrachov on bounded sets P333VNY8KF

URI	`m2://inv/P333VNY8KF`
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.09001#TG02, Rellich-Kondrachov on bounded sets (statement). In HJC1JJZRSH/e1, theorem 1.4

History

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

142 polytope P337JG1AG1

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#B5DW, 142 polytope (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#BGA2, 142 polytope (object)

History

2026-11-02: add by m2/dev

Resolutions of the paradox P33A58FZ9Z

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

Mentions

wikipedia: Wikipedia Burali-Forti paradox#DUEF, Resolutions of the paradox (statement)

History

2026-11-02: add by m2/dev

Ramanujan–Sato series P33G4Z1PYY

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

Mentions

wikipedia: Wikipedia List of topics related to π#BC1C, Ramanujan–Sato series (definition)
wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#TRLI, Ramanujan–Sato series (definition)

History

2026-11-02: add by m2/dev

P33M56HW15 P33M56HW15

URI	`m2://inv/P33M56HW15`
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 2609.38953#ECFA (statement). In 3CRBMY85R5/e1, proposition 6.1

History

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

Theorem P33PKSPPKA

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

Mentions

wikipedia: Wikipedia Happy ending problem#GMO8, Theorem (statement)

History

2026-11-02: add by m2/dev

Construction of the complex hyperbolic space P33T71YK49

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

Mentions

wikipedia: Wikipedia Complex hyperbolic space#KX7R, Construction of the complex hyperbolic space (definition)

History

2026-11-02: add by m2/dev

P33W7EYZB0 P33W7EYZB0

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

Mentions

arxiv: arXiv 2610.00909#1AKG (statement). In Z4TD36VFPW/e1, proposition 2.6

History

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

Billie Moore P342Q9P1TB

URI	`m2://inv/P342Q9P1TB`
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#HWMP, Billie Moore (unknown)

History

2026-11-02: add by m2/dev

Metzler matrix P342RVNH5M

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

Mentions

wikipedia: Wikipedia Metzler matrix, Metzler matrix (definition). Also Wikidata Q5931208

History

2026-11-02: add by m2/dev

edges P348ZNX2AV

URI	`m2://inv/P348ZNX2AV`
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#X3RC, edges (statement). In GQH4ZPDWET/e1, proposition 2.3

History

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

Cayley's theorem P349J4SW8Q

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

Mentions

wikipedia: Wikipedia Permutation group#9YEW, Cayley's theorem (statement)

History

2026-11-02: add by m2/dev

Formula P34R07RQ9F

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

Mentions

wikipedia: Wikipedia Treynor ratio#BSB1, Formula (statement)

History

2026-11-02: add by m2/dev

Alberto Dou Mas de Xaxàs P34TZN5N5H

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

Mentions

wikipedia: Wikipedia Alberto Dou Mas de Xaxàs, Alberto Dou Mas de Xaxàs (topic). Also Wikidata Q8193470

History

2026-11-02: add by m2/dev

P34V7VFYRQ P34V7VFYRQ

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

Mentions

hott_book: hott_book homotopy.tex#cor:sn-connected (statement). In N54F33XE07, cor, section 7.2

History

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

Kondrachov embedding theorem P34XSQYDS4

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

Mentions

wikipedia: Wikipedia Rellich–Kondrachov theorem#QM09, Kondrachov embedding theorem (statement)

History

2026-11-02: add by m2/dev

Invariant variety P34Z9F0P0J

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

Mentions

arxiv: arXiv 2609.35102#3ZMT, Invariant variety (definition). In XK6H7F2F13/e1, definition 4.8

History

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

P3514VZJYM P3514VZJYM

URI	`m2://inv/P3514VZJYM`
Kind	definition
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 2102.09374#EP27 (definition). In TGAHH1F8K5/e1, definition 2.4

History

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

Meaning and Necessity P351MJCJBA

URI	`m2://inv/P351MJCJBA`
Kind	definition
Layer	textbook
Sources	2
Outcome	out_of_scope (a book or a journal, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q6803696, Meaning and Necessity (unknown). Also nLab Meaning and Necessity
wikipedia: Wikipedia Meaning and Necessity, Meaning and Necessity (definition). Also Wikidata Q6803696

History

2026-10-26: add by m2/dev

Hubbard–Stratonovich transformation P355V310F7

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

Mentions

wikipedia: Wikipedia Hubbard–Stratonovich transformation, Hubbard–Stratonovich transformation (definition). Also Wikidata Q17027759

History

2026-11-02: add by m2/dev

Karmarkar's algorithm P35AR3Y0TP

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

Mentions

wikipedia: Wikipedia Karmarkar's algorithm, Karmarkar's algorithm (definition). Also Wikidata Q2246305

History

2026-11-02: add by m2/dev

Primal certificates define feasible densities P35K6ABQK9

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

Mentions

arxiv: arXiv 2610.05164#ZDVI, Primal certificates define feasible densities (statement). In JY6RYSNXMJ/e1, theorem 5.2

History

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

Eugene Wigner P35K6Z3VG6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1XU6, Eugene Wigner (topic)

History

2026-11-02: add by m2/dev

Two Bridges, Manhattan P35PM63PTG

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

Mentions

wikipedia: Wikipedia List of places with numeric names#M7B3, Two Bridges, Manhattan (unknown)

History

2026-11-02: add by m2/dev

Precession P35PN0E3XB

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#95LS, Precession (definition)

History

2026-11-02: add by m2/dev

P35X82GCWH P35X82GCWH

URI	`m2://inv/P35X82GCWH`
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.06206#6JGA (statement). In A7611PTXVQ/e1, proposition 4.1

History

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

Exponential law P363ADDNGG

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

Mentions

wikipedia: Wikipedia Function space#O29E, Exponential law (statement)

History

2026-11-02: add by m2/dev

Matrix coefficient P36902E5XX

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

Mentions

wikipedia: Wikipedia Matrix coefficient, Matrix coefficient (definition). Also Wikidata Q4356506

History

2026-11-02: add by m2/dev

abundance P36B6W3W63

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

Mentions

wikidata: Wikidata Q122889655, abundance (concept). Also MathWorld Abundance

History

2026-10-26: add by m2/dev

P36D9N0JC6 P36D9N0JC6

URI	`m2://inv/P36D9N0JC6`
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 2512.11346#25VY (statement). In ZW58VE9XE3/e1, theorem D

History

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

Lambda functions P36TZ2SDNY

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

Mentions

wikidata: Wikidata Q4272617, Lambda functions (unknown). Also MathWorld LambdaFunction

History

2026-10-26: add by m2/dev

Turmite P36W8CQDWQ

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

Mentions

wikidata: Wikidata Q3099136, Turmite (unknown). Also MathWorld Turmite

History

2026-10-26: add by m2/dev

A.J. Tolland P36YQ50ZCV

URI	`m2://inv/P36YQ50ZCV`
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 Q102407679, A.J. Tolland (unknown). Also nLab AJ Tolland

History

2026-10-26: add by m2/dev

P36Z2P6GWP P36Z2P6GWP

URI	`m2://inv/P36Z2P6GWP`
Kind	statement
Layer	research
MSC	14-XX, 20-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.03756#J007 (statement). In 2381M4GBTT/e1, theorem 7.1

History

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

Definition P372BC8RJH

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

Mentions

wikipedia: Wikipedia Lorentz space#TGZA, Definition (definition)

History

2026-11-02: add by m2/dev

P372P49RDB P372P49RDB

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

Mentions

arxiv: arXiv 2610.03763#KWRM (statement). In ARZ4X5PXXC/e1, corollary 5.4

History

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

Akaike information criterion P37ES32BEK

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

Mentions

wikipedia: Wikipedia Akaike information criterion, Akaike information criterion (statement). Also Wikidata Q1662573

History

2026-11-02: add by m2/dev

P37F0BP65B P37F0BP65B

URI	`m2://inv/P37F0BP65B`
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.08480#KKWK (statement). In R4EEE89C3S/e1, theorem 4.15

History

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

Comparison with equilibrium growth P37F9TZM84

URI	`m2://inv/P37F9TZM84`
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.03912#OA83, Comparison with equilibrium growth (statement). In RJ553C7NJM/e1, corollary 3.3

History

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

Raghunatha Siromani P37FBY1GP0

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

Mentions

wikipedia: Wikipedia List of logicians#Y647, Raghunatha Siromani (topic)

History

2026-11-02: add by m2/dev

Trajectory comparison P37MS2GA0E

URI	`m2://inv/P37MS2GA0E`
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#A2R5, Trajectory comparison (statement). In 9YAE8FNQST/e1, proposition 4.15

History

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

Universe PER $\Uc_i$ P37NSPK9VX

URI	`m2://inv/P37NSPK9VX`
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 2610.21131#LHTV, Universe PER $\Uc_i$ (definition). In CPYWHRTPKC/e1, definition 6.9

History

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

P37SWEAJ5J P37SWEAJ5J

URI	`m2://inv/P37SWEAJ5J`
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 2511.07697#TCX1 (statement). In 57P5P33HS3/e1, lemma 11

History

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

Steffen's polyhedron P37T5JVXFT

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

Mentions

wikipedia: Wikipedia Steffen's polyhedron, Steffen's polyhedron (object). Also Wikidata Q30593513

History

2026-11-02: add by m2/dev

Properties P37TK8Z783

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

Mentions

wikipedia: Wikipedia Primary pseudoperfect number#6CMB, Properties (statement)

History

2026-11-02: add by m2/dev

Compound of small stellated dodecahedron and great dodecahedron P37X4R1B1P

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#2ZLU, Compound of small stellated dodecahedron and great dodecahedron (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#K3ZT, Compound of small stellated dodecahedron and great dodecahedron (object)

History

2026-11-02: add by m2/dev

P385JP9C4T P385JP9C4T

URI	`m2://inv/P385JP9C4T`
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 2608.24190#290B (statement). In DW7FVA587C/e1, theorem 3.19

History

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

Rudolf Ernest Langer P386ET6DTP

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

Mentions

wikipedia: Wikipedia Rudolf Ernest Langer, Rudolf Ernest Langer (topic). Also Wikidata Q7377177

History

2026-11-02: add by m2/dev

P389BQF2YD P389BQF2YD

URI	`m2://inv/P389BQF2YD`
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.15805#PN8O (statement). In 2XVWG0Z18V/e1, lemma 5.2

History

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

P38JF2T0A5 P38JF2T0A5

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

Mentions

hott_book: hott_book hlevels.tex#thm:hlevel-prod (statement). In N54F33XE07, thm, section 6.1

History

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

P38JRD3414 P38JRD3414

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/identity.tex#prop:iden2 (statement). In PKGMM3P5QY, prop, section 8.5

History

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

Fermat's theorem P38VYN16QW

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

Mentions

wikipedia: Wikipedia Fermat's theorem, Fermat's theorem (statement). Also Wikidata Q230409

History

2026-11-02: add by m2/dev

Soft Output Viterbi Algorithm P390VH08M5

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

Mentions

wikipedia: Wikipedia Viterbi algorithm#JVTC, Soft Output Viterbi Algorithm (unknown)

History

2026-11-02: add by m2/dev

Freeman law P391SWV3JF

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

Mentions

wikipedia: Wikipedia Freeman law, Freeman law (statement). Also Wikidata Q5501020

History

2026-11-02: add by m2/dev

P3972TSC0T P3972TSC0T

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

Mentions

arxiv: arXiv 2610.15378#Y17A (statement). In W4J7ZF6EDN/e1, lemma 3

History

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

P399FF7QKW P399FF7QKW

URI	`m2://inv/P399FF7QKW`
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.20466#JCAU (statement). In M4ZVJWM8YA/e1, lemma A.6

History

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

P39G5CTX22 P39G5CTX22

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#mv:prop:contdiffpartials (statement). In E59CDZA4DP, prop, section 11.4.2

History

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

P39KATNATK P39KATNATK

URI	`m2://inv/P39KATNATK`
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.06473#Q9AC (statement). In P1MYSYHSGX/e1, lemma B.3

History

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

Definition P39VPE10QQ

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

Mentions

wikipedia: Wikipedia Frame (linear algebra)#FZPT, Definition (definition)

History

2026-11-02: add by m2/dev

Beatrice Aitchison P3A4CQW8CG

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

Mentions

wikipedia: Wikipedia Beatrice Aitchison, Beatrice Aitchison (topic). Also Wikidata Q25983036

History

2026-11-02: add by m2/dev

Properties P3A66E0QE9

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

Mentions

wikipedia: Wikipedia Whittaker–Henderson smoothing#GK0U, Properties (statement)

History

2026-11-02: add by m2/dev

Invariance of domain P3A6G05W63

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

Mentions

wikipedia: Wikipedia Invariance of domain, Invariance of domain (definition). Also Wikidata Q3527201

History

2026-11-02: add by m2/dev

P3A9FJVX0F P3A9FJVX0F

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

Mentions

arxiv: arXiv 2609.29839#JFLK (statement)

History

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

P3B85XDHNN P3B85XDHNN

URI	`m2://inv/P3B85XDHNN`
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.09129#TQGJ (statement). In Z1RZSF68XZ/e1, theorem 5.3

History

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

Examples P3BFNW7SA9

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

Mentions

wikipedia: Wikipedia Empty sum#U5PB, Examples (example)

History

2026-11-02: add by m2/dev

Weyl denominator formula P3BRB2FYWN

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

Mentions

wikipedia: Wikipedia Weyl character formula#2LQU, Weyl denominator formula (statement)

History

2026-11-02: add by m2/dev

P3CC2HQ72X P3CC2HQ72X

URI	`m2://inv/P3CC2HQ72X`
Kind	statement
Layer	research
MSC	26-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 2112.10058#D8LL (statement). In YQKKA47GS9/e1, lemma 3.7

History

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

P3CCVYZPTD P3CCVYZPTD

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

Mentions

arxiv: arXiv 2610.01946#RBCR (conjecture). In NB1Z31FMXN/e1, conjecture 1.1

History

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

P3CD9WF0AB P3CD9WF0AB

URI	`m2://inv/P3CD9WF0AB`
Kind	statement
Layer	research
MSC	05-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.30310#C3LN (statement). In 31XSBAFMEQ/e1, theorem 2

History

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

Kerala School of Mathematics, Kozhikode P3CFJ6T8PM

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

Mentions

wikipedia: Wikipedia Kerala School of Mathematics, Kozhikode, Kerala School of Mathematics, Kozhikode (definition). Also Wikidata Q6393404

History

2026-11-02: add by m2/dev

Example P3CHKZV47R

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

Mentions

wikipedia: Wikipedia Hypothetico-deductive model#4D41, Example (example)

History

2026-11-02: add by m2/dev

P3CMG9N5QV P3CMG9N5QV

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

Mentions

arxiv: arXiv 2609.30086#8U2S (statement)

History

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

Applications P3CW66TXT3

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

Mentions

wikipedia: Wikipedia Discrepancy of hypergraphs#OF54, Applications (example)

History

2026-11-02: add by m2/dev

Abu Zayd al-Balkhi P3CXA2C2J6

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

Mentions

wikipedia: Wikipedia List of Iranian mathematicians#6NQU, Abu Zayd al-Balkhi (topic)

History

2026-11-02: add by m2/dev

Sum rule in differentiation P3CZMGTS2E

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#UB4Y, Sum rule in differentiation (definition)

History

2026-11-02: add by m2/dev

Integral determinant precision P3D4JB25XY

URI	`m2://inv/P3D4JB25XY`
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.05652#Q5C5, Integral determinant precision (statement). In 8BNPFYQDQX/e1, lemma 17.7

History

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

Interior non-degeneracy and smoothness of weak solutions P3DH9G2R7S

URI	`m2://inv/P3DH9G2R7S`
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.08434#P42F, Interior non-degeneracy and smoothness of weak solutions (statement). In VN8087G2FC/e1, theorem 1

History

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

Examples P3DKDV4303

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

Mentions

wikipedia: Wikipedia Non-integer base of numeration#48NJ, Examples (example)

History

2026-11-02: add by m2/dev

quotient topological space P3DNCZ58ZS

URI	`m2://inv/P3DNCZ58ZS`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Quotient topology 0NQ1H2X495

Mentions

wikidata: Wikidata Q1139111, quotient topological space (unknown). Also MathWorld QuotientSpace
wikipedia: Wikipedia Quotient space (topology), Quotient space (definition). Also Wikidata Q1139111

History

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

Arthur–Merlin protocol P3DREN635M

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

Mentions

wikipedia: Wikipedia Arthur–Merlin protocol, Arthur–Merlin protocol (definition). Also Wikidata Q4800823

History

2026-11-02: add by m2/dev

Richard V. Andree P3DSX0VYZE

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

Mentions

wikipedia: Wikipedia Richard V. Andree, Richard V. Andree (topic). Also Wikidata Q7329619

History

2026-11-02: add by m2/dev

Statement P3DTE0PK7J

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

Mentions

wikipedia: Wikipedia Hall–Petresco identity#4J90, Statement (statement)

History

2026-11-02: add by m2/dev

P3E245P1Q8 P3E245P1Q8

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

Mentions

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

History

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

ALGLIB P3E3PGH560

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#8FOX, ALGLIB (definition)

History

2026-11-02: add by m2/dev

Supersaturated smooth homogeneous Roth--S\'ark\"ozy P3E5WGP5HH

URI	`m2://inv/P3E5WGP5HH`
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 1806.05002#H3XG, Supersaturated smooth homogeneous Roth--S\'ark\"ozy (statement). In JBAQ7DTW7B/e1, theorem 10.1

History

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

P3E7GPSNHB P3E7GPSNHB

URI	`m2://inv/P3E7GPSNHB`
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.14741#LJ1J (statement). In RK1VPWWX9E/e1, lemma 3.4

History

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

P3EFHYKN5Y P3EFHYKN5Y

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

Mentions

wikipedia: Wikipedia Sunflower (mathematics)#GBJU (problem)

History

2026-11-02: add by m2/dev

nonparametric regression P3EPJKRYT2

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#6BG3, nonparametric regression (definition)

History

2026-11-02: add by m2/dev

P3ERM25EQA P3ERM25EQA

URI	`m2://inv/P3ERM25EQA`
Kind	statement
Layer	research
MSC	14-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 1802.02910#9PSL (statement). In AY2MA29921/e1, lemma 011

History

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

Supercentenarian paradox P3EWSZBDCB

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

Mentions

wikipedia: Wikipedia St. Petersburg paradox#MTP7, Supercentenarian paradox (statement)

History

2026-11-02: add by m2/dev

Robert Recorde P3F4Y7TECF

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

Mentions

wikipedia: Wikipedia Robert Recorde, Robert Recorde (topic). Also Wikidata Q318192

History

2026-11-02: add by m2/dev

Example P3F571Q3ZD

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

Mentions

wikipedia: Wikipedia Markov additive process#C2K1, Example (example)

History

2026-11-02: add by m2/dev

Applications P3F5G5APA9

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

Mentions

wikipedia: Wikipedia Method of continuity#QA05, Applications (example)

History

2026-11-02: add by m2/dev

P3FCNS9J4P P3FCNS9J4P

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

Mentions

arxiv: arXiv 2609.29469#R7G4 (statement)

History

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

Examples P3FK072XGP

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

Mentions

wikipedia: Wikipedia Quotient space (linear algebra)#0N3Q, Examples (example)

History

2026-11-02: add by m2/dev

Quasi-exact solvability P3FRV3VJHM

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

Mentions

wikipedia: Wikipedia Quasi-exact solvability, Quasi-exact solvability (definition). Also Wikidata Q25111852

History

2026-11-02: add by m2/dev

P3G3S0BVDE P3G3S0BVDE

URI	`m2://inv/P3G3S0BVDE`
Kind	statement
Layer	research
MSC	05-XX, 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.05179#HVA0 (statement). In 9EMCPF1F2T/e1, proposition 6

History

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

P3G70CMY85 P3G70CMY85

URI	`m2://inv/P3G70CMY85`
Kind	example
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.13229#L6R6 (example). In 4WN20N5Z57/e1, example 4.1

History

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

distribution axiom P3GA6TQMGV

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

Mentions

wikipedia: Wikipedia Glossary of logic#MADL, distribution axiom (definition)

History

2026-11-02: add by m2/dev

P3GBB0TQTD P3GBB0TQTD

URI	`m2://inv/P3GBB0TQTD`
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.09561#AO5F (statement). In WDV5E2CVTR/e1, theorem 6.7

History

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

P3GK08SQM1 P3GK08SQM1

URI	`m2://inv/P3GK08SQM1`
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 2207.11097#V5YS (statement). In 13H5BTAXHF/e1, proposition 2

History

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

Theorem P3GM526ZMV

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

Mentions

wikipedia: Wikipedia Darmois–Skitovich theorem#JL0I, Theorem (statement)

History

2026-11-02: add by m2/dev

Diameter P3GPGV51WS

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

Mentions

wikipedia: Wikipedia Diameter (computational geometry), Diameter (definition). Also Wikidata Q131735738

History

2026-11-02: add by m2/dev

Cecilia Krieger P3GQBPZWAX

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

Mentions

wikipedia: Wikipedia Cecilia Krieger, Cecilia Krieger (topic). Also Wikidata Q2943725

History

2026-11-02: add by m2/dev

P3GWY3R72Q P3GWY3R72Q

URI	`m2://inv/P3GWY3R72Q`
Kind	problem
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.40054#M8LK (problem). In CA4C9PFM1E/e1, problem 1.2.2

History

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

Ramsey's Theorem for Graphs P3GXY4705S

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

Mentions

applied_combinatorics: applied_combinatorics source/ch_probmeth.ptx#thm_graphramsey, Ramsey's Theorem for Graphs (statement). In QKM9DD2H56, theorem, section 11.1

History

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

P3H11ZECKW P3H11ZECKW

URI	`m2://inv/P3H11ZECKW`
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#3QR7 (statement). In NGZ5AZ70NN/e1, lemma 3.15

History

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

Examples P3H67NFHS2

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

Mentions

wikipedia: Wikipedia Proximal gradient method#WNV5, Examples (example)

History

2026-11-02: add by m2/dev

Outcome chance node P3H6AQZVF4

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

Mentions

arxiv: arXiv 2609.26265#3647, Outcome chance node (definition)

History

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

Formal definition P3HA8BVQA6

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

Mentions

wikipedia: Wikipedia Triangle center#MQT5, Formal definition (definition)

History

2026-11-02: add by m2/dev

P3HRD6TWRK P3HRD6TWRK

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

Mentions

arxiv: arXiv 2609.32338#W3FN (statement). In HVY45JQRNK/e1, theorem 1.3

History

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

P3HS9FBAS0 P3HS9FBAS0

URI	`m2://inv/P3HS9FBAS0`
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 2609.23972#6XO3 (statement)

History

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

Pierce--Yung P3HXSASZ5Q

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

Mentions

arxiv: arXiv 2610.14841#B7X7, Pierce--Yung (statement). In 6V5HP8W1ZG/e1, lemma 2

History

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

Bernstein's theorem on monotone functions P3HYJJKT95

URI	`m2://inv/P3HYJJKT95`
Kind	statement
Layer	textbook
MSC	46-XX
Sources	4
Outcome	open
Node	Bernstein's theorem on monotone functions ZBS1JA62QP

Mentions

mathlib_1000: mathlib_1000 Q3527015, Bernstein's theorem on monotone functions (statement). Also Wikidata Q3527015
thousand_plus: thousand_plus Q3527015, Bernstein's theorem (statement). Also Wikidata Q3527015, Wikipedia Bernstein's theorem on monotone functions
wikidata: Wikidata Q3527015, Bernstein's theorem on monotone functions (statement). Also MathWorld CompletelyMonotonicFunction
wikipedia: Wikipedia Bernstein's theorem on monotone functions, Bernstein's theorem on monotone functions (statement). Also Wikidata Q3527015

History

2026-10-26: add by m2/dev

P3J27FVPC7 P3J27FVPC7

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

Mentions

wikipedia: Wikipedia Beal conjecture#L8KA (problem)

History

2026-11-02: add by m2/dev

Local cubic nonvanishing P3J3T3Q5W3

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

Mentions

arxiv: arXiv 2609.25762#9CIE, Local cubic nonvanishing (statement)

History

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

P3J42MT4CY P3J42MT4CY

URI	`m2://inv/P3J42MT4CY`
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.00337#FX0Y (statement). In 5STQ3ABZ60/e1, theorem 1.2

History

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

Joseph Oscar Irwin P3J4WRDNCF

URI	`m2://inv/P3J4WRDNCF`
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 Q6285968, Joseph Oscar Irwin (unknown). Also EoM Irwin,_Joseph_Oscar

History

2026-10-26: add by m2/dev

Table of the largest known graphs of a given diameter and maximal degree P3JBTGS8JV

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

Mentions

wikipedia: Wikipedia Table of the largest known graphs of a given diameter and maximal degree, Table of the largest known graphs of a given diameter and maximal degree (definition). Also Wikidata Q7673253

History

2026-11-02: add by m2/dev

Nikolas Breuckmann P3JE1FV1KD

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

Mentions

wikipedia: Wikipedia Nikolas Breuckmann, Nikolas Breuckmann (topic). Also Wikidata Q123973427

History

2026-11-02: add by m2/dev

Lazy argument P3JSED148K

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

Mentions

wikipedia: Wikipedia Lazy argument, Lazy argument (definition). Also Wikidata Q6506150

History

2026-11-02: add by m2/dev

P3JTN7QS2K P3JTN7QS2K

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

Mentions

arxiv: arXiv 2209.00811#DNQE (statement). In 9T4X83HHQS/e1, lemma 5.2

History

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

Akira Yoshizawa P3JTXXHS4N

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

Mentions

wikipedia: Wikipedia Akira Yoshizawa, Akira Yoshizawa (topic). Also Wikidata Q209200

History

2026-11-02: add by m2/dev

Galileo's paradox P3JXE7HRTV

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

Mentions

wikipedia: Wikipedia Galileo's paradox, Galileo's paradox (statement). Also Wikidata Q2915190

History

2026-11-02: add by m2/dev

Local uniqueness P3JZWVQD4M

URI	`m2://inv/P3JZWVQD4M`
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.35030#AS0P, Local uniqueness (statement). In DPT4P2BTEW/e1, theorem 8.3

History

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

tensor P3KAJGR4FQ

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

Mentions

wikipedia: Wikipedia Glossary of module theory#KDTV, tensor (definition)

History

2026-11-02: add by m2/dev

Dedekind's axiom P3KN0MEX8Q

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

Mentions

wikipedia: Wikipedia List of things named after Richard Dedekind#9FQF, Dedekind's axiom (definition)

History

2026-11-02: add by m2/dev

P3KNGH4S9F P3KNGH4S9F

URI	`m2://inv/P3KNGH4S9F`
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.11902#YA7A (statement). In K66QKM4N5E/e1, theorem 3.25

History

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

William Hamilton Meeks, III P3KQ8RJWVJ

URI	`m2://inv/P3KQ8RJWVJ`
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#EKN0, William Hamilton Meeks, III (topic)

History

2026-11-02: add by m2/dev

P3KQRT6WQG P3KQRT6WQG

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

Mentions

arxiv: arXiv 2609.26340#R2YP (statement)

History

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

Extensions P3KRYSQ96Q

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

Mentions

wikipedia: Wikipedia Newton's law of universal gravitation#TCZG, Extensions (statement)

History

2026-11-02: add by m2/dev

Bernstein set P3KVS74W3A

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

Mentions

wikipedia: Wikipedia Bernstein set, Bernstein set (definition). Also Wikidata Q4894578

History

2026-11-02: add by m2/dev

Large-$n$ decay P3KZ83EA73

URI	`m2://inv/P3KZ83EA73`
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 2509.22289#GMAE, Large-$n$ decay (statement). In BF5Y4V84GV/e1, corollary 2

History

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

P3M7XBW6KM P3M7XBW6KM

URI	`m2://inv/P3M7XBW6KM`
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.21475#ST71 (statement). In TTRSZVT4VX/e1, theorem 4.12

History

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

P3ME3XH158 P3ME3XH158

URI	`m2://inv/P3ME3XH158`
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.08226#MB6D (statement). In V6EPE8XHAD/e1, lemma 4.2

History

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

Laws regarding their use P3ME6Y3EV4

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

Mentions

wikipedia: Wikipedia Electronic signature#3S38, Laws regarding their use (statement)

History

2026-11-02: add by m2/dev

P-variation P3MG1AZ7F7

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

Mentions

wikipedia: Wikipedia P-variation, P-variation (definition). Also Wikidata Q48996041

History

2026-11-02: add by m2/dev

P3MGN4FZ9S P3MGN4FZ9S

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

Mentions

napkin: napkin tex/homology/cup-product.tex#example-2 (example). In RZP28ERRZV, example, section 52.4

History

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

P3MGS64KF5 P3MGS64KF5

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

Mentions

arxiv: arXiv 2610.12908#SB96 (statement). In TNC658NVMQ/e1, corollary 6.8

History

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

Jacobian conjecture P3MHZXTXSN

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

Mentions

wikipedia: Wikipedia Polynomial ring#HL4D, Jacobian conjecture (statement)

History

2026-11-02: add by m2/dev

Littlewood's 4/3 inequality P3MWFZBZR8

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

Mentions

wikipedia: Wikipedia List of inequalities#WJ3N, Littlewood's 4/3 inequality (statement)

History

2026-11-02: add by m2/dev

Regular and coarsened minimum-distance estimation on \(\mathcal P(\Theta_J)\ P3N4HSJGP3

URI	`m2://inv/P3N4HSJGP3`
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.07190#563L, Regular and coarsened minimum-distance estimation on \(\mathcal P(\Theta_J)\ (statement). In ZWS6Q4467X/e1, corollary 5.1

History

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

tangent P3NEHQ2Q3W

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#8E5A, tangent (definition)

History

2026-11-02: add by m2/dev

Conway sphere P3NEY64WJB

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

Mentions

wikidata: Wikidata Q5166748, Conway sphere (concept). Also MathWorld ConwaySphere
wikipedia: Wikipedia Conway sphere, Conway sphere (definition). Also Wikidata Q5166748

History

2026-10-26: add by m2/dev

P3NGP3T155 P3NGP3T155

URI	`m2://inv/P3NGP3T155`
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 1606.05058#I1SM (statement). In V6392C0ANF/e1, theorem H.2

History

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

P3NH11NPK9 P3NH11NPK9

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

Mentions

arxiv: arXiv 2609.20203#U3M4 (statement)

History

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

Koebe 1/4 theorem P3NJKRZE23

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

Mentions

wikipedia: Wikipedia List of theorems#OWEJ, Koebe 1/4 theorem (statement)

History

2026-11-02: add by m2/dev

P3NKJ9N7AY P3NKJ9N7AY

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

Mentions

arxiv: arXiv 2609.25353#CVQY (definition)

History

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

Krull ring P3NMCQSVKD

URI	`m2://inv/P3NMCQSVKD`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Krull domain CB9WJCN9BM

Mentions

wikidata: Wikidata Q623257, Krull ring (concept). Also EoM Krull_ring
wikipedia: Wikipedia Krull ring, Krull ring (definition). Also Wikidata Q623257

History

2026-10-26: add by m2/dev

P3NVGAFVPS P3NVGAFVPS

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

Mentions

napkin: napkin tex/alg-NT/dedekind.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 10.7

History

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

simple harmonic motion P3NVTT28N4

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

Mentions

wikidata: Wikidata Q835975, simple harmonic motion (unknown). Also MathWorld SimpleHarmonicMotion
wikipedia: Wikipedia Simple harmonic motion, Simple harmonic motion (definition). Also Wikidata Q835975

History

2026-10-26: add by m2/dev

Scientific American P3NWWDQBM0

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

Mentions

wikidata: Wikidata Q39379, Scientific American (unknown). Also ProofWiki Book:Journal/Scientific_American

History

2026-10-26: add by m2/dev

type, product P3P0AXQ7B6

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

Mentions

hott_book: hott_book index/1.6/type-product, type, product (concept). In N54F33XE07, index, section 1.6

History

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

P3P6W3DHQ7 P3P6W3DHQ7

URI	`m2://inv/P3P6W3DHQ7`
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.10372#9AJ6 (statement). In P77W283VXT/e1, lemma 9.4

History

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

Examples P3P8N7SMNQ

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

Mentions

wikipedia: Wikipedia Lie algebroid#P3KF, Examples (example)

History

2026-11-02: add by m2/dev

P3PBR03Q18 P3PBR03Q18

URI	`m2://inv/P3PBR03Q18`
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 2104.05191#H395 (statement). In CCNH3FK8YZ/e1, theorem 1.2

History

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

Basic properties P3PG4488ZG

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

Mentions

wikipedia: Wikipedia Injective tensor product#VGMB, Basic properties (statement)

History

2026-11-02: add by m2/dev

P3PHB8B6V1 P3PHB8B6V1

URI	`m2://inv/P3PHB8B6V1`
Kind	problem
Layer	research
MSC	20-XX, 26-XX, 35-XX, 37-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 2311.00585#77AW (problem). In 332PQD90SW/e1, problem 2.8

History

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

Summability kernel P3PK4QKX29

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

Mentions

wikipedia: Wikipedia Summability kernel, Summability kernel (definition). Also Wikidata Q17052475

History

2026-11-02: add by m2/dev

P3PPX3P8T5 P3PPX3P8T5

URI	`m2://inv/P3PPX3P8T5`
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.12852#AUTP (statement). In 1NRV3J17T7/e1, proposition 3.2

History

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

Generalised hyperbolic distribution P3PQZGP5PY

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

Mentions

wikipedia: Wikipedia Generalised hyperbolic distribution, Generalised hyperbolic distribution (definition). Also Wikidata Q2560504

History

2026-11-02: add by m2/dev

Local conductor and character P3PY6M49HH

URI	`m2://inv/P3PY6M49HH`
Kind	statement
Layer	research
MSC	14-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.20572#UQ52, Local conductor and character (statement)

History

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

P3PYDH31R2 P3PYDH31R2

URI	`m2://inv/P3PYDH31R2`
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 2609.32650#OOGM (statement). In PHXJ87HKYB/e1, theorem 1.2

History

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

P3PYEAT77N P3PYEAT77N

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

Mentions

arxiv: arXiv 2610.05314#0QZR (statement). In PA3B6C0WY7/e1, proposition 6.1

History

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

P3QATYJETW P3QATYJETW

URI	`m2://inv/P3QATYJETW`
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#HRDU (statement). In 48QX0QD0XR/e1, lemma 4.2

History

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

P3QEHRXX2W P3QEHRXX2W

URI	`m2://inv/P3QEHRXX2W`
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.12810#HZLP (statement). In DR35633CPN/e1, proposition 7.2

History

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

P3QEV6XJCH P3QEV6XJCH

URI	`m2://inv/P3QEV6XJCH`
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.13618#81IF (statement). In XDQAEGH345/e1, lemma 3.9

History

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

Algebraic interior P3QK3REZDV

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

Mentions

wikipedia: Wikipedia Algebraic interior, Algebraic interior (definition). Also Wikidata Q4724006

History

2026-11-02: add by m2/dev

P3QZQ9TB0A P3QZQ9TB0A

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

Mentions

arxiv: arXiv 2606.00589#VTFX (statement). In C8JAGP8VCQ/e1, proposition 7.2

History

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

Data revision P3RB12FBQR

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

Mentions

wikipedia: Wikipedia Official statistics#IY0R, Data revision (unknown)

History

2026-11-02: add by m2/dev

Theorem P3RHVGX79K

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

Mentions

wikipedia: Wikipedia Minkowski functional#V7CL, Theorem (statement)

History

2026-11-02: add by m2/dev

P3RNM9TTAN P3RNM9TTAN

URI	`m2://inv/P3RNM9TTAN`
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 2506.21337#1X97 (statement). In EPZN0JTG2Z/e1, lemma 3.16

History

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

P3RW7TKMW7 P3RW7TKMW7

URI	`m2://inv/P3RW7TKMW7`
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 2609.31278#6CO6 (definition). In KEP21CZFV9/e1, definition #1

History

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

Theorem P3RYP8EGW7

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

Mentions

wikipedia: Wikipedia Cayley configuration space#V7HN, Theorem (statement)

History

2026-11-02: add by m2/dev

P3RYRP3DSM P3RYRP3DSM

URI	`m2://inv/P3RYRP3DSM`
Kind	example
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 2608.24424#G1K9 (example). In RQHGZ4AA5T/e1, example 5.2

History

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

group theory P3S15KPQ7D

URI	`m2://inv/P3S15KPQ7D`
Kind	topic
Layer	textbook
MSC	20-XX
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q874429, group theory (topic). Also MathWorld GroupTheory, nLab group theory, ProofWiki Definition:Group_Theory
wikipedia: Wikipedia Group theory, Group theory (topic). Also Wikidata Q874429

History

2026-10-26: add by m2/dev

Multiple of the median P3S24WCAJG

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

Mentions

wikipedia: Wikipedia List of statistics articles#49FJ, Multiple of the median (definition)

History

2026-11-02: add by m2/dev

Variants P3S5VJRGZF

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

Mentions

wikipedia: Wikipedia Magnetotellurics#L2EN, Variants (statement)

History

2026-11-02: add by m2/dev

!!^{derivability} P3S7662PNZ

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

Mentions

open_logic: open_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#defn-1, !!^{derivability} (definition). In PKGMM3P5QY, defn, section 31.1

History

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

Complexity theory P3SKG74JMZ

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#R4SV, Complexity theory (definition)

History

2026-11-02: add by m2/dev

Example P3SRMGWH10

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

Mentions

wikipedia: Wikipedia Fibonacci nim#TW9B, Example (example)

History

2026-11-02: add by m2/dev

P3SRT0ZMFZ P3SRT0ZMFZ

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

Mentions

arxiv: arXiv 2610.10477#SJZH (statement). In 1NZSZ241WE/e1, lemma 3.4

History

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

Hessian P3SSQBTACK

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#AKCC, Hessian (definition)

History

2026-11-02: add by m2/dev

Colinear map P3SYH5C0X4

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

Mentions

wikipedia: Wikipedia Comodule#IPRM, Colinear map (unknown)

History

2026-11-02: add by m2/dev

P3T6SRH3WB P3T6SRH3WB

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

Mentions

arxiv: arXiv 2609.21060#A818 (statement)

History

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

Belphegor number P3T6Z8RE2B

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

Mentions

wikipedia: Wikipedia Belphegor's prime#M0PP, Belphegor number (unknown)

History

2026-11-02: add by m2/dev

Benoist--Kobayashi P3T7AHP94H

URI	`m2://inv/P3T7AHP94H`
Kind	statement
Layer	research
MSC	20-XX, 22-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 2609.32916#S78A, Benoist--Kobayashi (statement). In G1RP4JY5PE/e1, theorem 4.2.3

History

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

Choquet integral P3T9HGVY26

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

Mentions

wikipedia: Wikipedia Choquet integral, Choquet integral (definition). Also Wikidata Q5104911

History

2026-11-02: add by m2/dev

binary logarithm P3TJYQKZQ0

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

Mentions

wikidata: Wikidata Q581168, binary logarithm (unknown). Also MathWorld BinaryLogarithm
wikipedia: Wikipedia Binary logarithm, Binary logarithm (definition). Also Wikidata Q581168

History

2026-10-26: add by m2/dev

P3TMJAXPZ8 P3TMJAXPZ8

URI	`m2://inv/P3TMJAXPZ8`
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.05611#Z0DI (statement). In QDTX6NXFEB/e1, theorem

History

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

rewriting rule P3TSAFEQAR

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

Mentions

hott_book: hott_book index/4.4/rewriting-rule, rewriting rule (concept). In N54F33XE07, index, section 4.4

History

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

Similitude P3TW3H0BE1

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

Mentions

wikipedia: Wikipedia Similitude, Similitude (definition). Also Wikidata Q254515

History

2026-11-02: add by m2/dev

Abel's theorem P3V117S17D

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

Mentions

wikipedia: Wikipedia One-sided limit#BNNJ, Abel's theorem (statement)

History

2026-11-02: add by m2/dev

P3V451V7K5 P3V451V7K5

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

Mentions

arxiv: arXiv 2609.31126#U4RH (statement). In GK1V5GEHTK/e1, theorem 2.5

History

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

Asymmetric (public key) encryption P3V4S2FE84

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

Mentions

wikipedia: Wikipedia List of algorithms#4BOJ, Asymmetric (public key) encryption (definition)

History

2026-11-02: add by m2/dev

P3V61211N1 P3V61211N1

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

Mentions

arxiv: arXiv 2609.24795#3SXE (definition)

History

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

Split-plot design P3VFY67EAQ

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

Mentions

wikipedia: Wikipedia Restricted randomization#0QR1, Split-plot design (unknown)

History

2026-11-02: add by m2/dev

P3W02M09ZQ P3W02M09ZQ

URI	`m2://inv/P3W02M09ZQ`
Kind	statement
Layer	research
MSC	20-XX, 22-XX, 53-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.14045#NFIF (statement). In KZ71GXT2B0/e1, lemma 2.12

History

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

P3WN9HFZG1 P3WN9HFZG1

URI	`m2://inv/P3WN9HFZG1`
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 2207.07461#3J5K (statement). In GAG532VMPF/e1, theorem 1.5.1

History

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

P3WPXV1FMH P3WPXV1FMH

URI	`m2://inv/P3WPXV1FMH`
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.26406#RN43 (statement)

History

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

P3X0S2HA3D P3X0S2HA3D

URI	`m2://inv/P3X0S2HA3D`
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.28794#U7DN (definition)

History

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

Understanding Physics P3X2GWVN7W

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

Mentions

wikidata: Wikidata Q7883795, Understanding Physics (unknown). Also ProofWiki Book:Isaac_Asimov/Understanding_Physics

History

2026-10-26: add by m2/dev

P3X5T09F5G P3X5T09F5G

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

Mentions

arxiv: arXiv 2212.00617#RAJU (statement). In K7505G10SS/e1, proposition 5.12

History

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

P3X7GW8PWJ P3X7GW8PWJ

URI	`m2://inv/P3X7GW8PWJ`
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 2212.14457#DO2H (statement). In PNRHHWGHM2/e1, proposition 4.2

History

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

P3XC0TVZB3 P3XC0TVZB3

URI	`m2://inv/P3XC0TVZB3`
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.02079#WTWK (statement). In CNS2J2E4T2/e1, lemma 26

History

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

Arturo Reghini P3XJ281YPA

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#OJIP, Arturo Reghini (topic)

History

2026-11-02: add by m2/dev

P3XNPT70FD P3XNPT70FD

URI	`m2://inv/P3XNPT70FD`
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.32557#ULZX (statement). In 7MSKC957WD/e1, theorem 2.2

History

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

Endogenous rank response P3XPSP4NA5

URI	`m2://inv/P3XPSP4NA5`
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.01391#EIGK, Endogenous rank response (statement). In MAZNVJX5YK/e1, theorem 14

History

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

Tucker decomposition P3XQ58W5AT

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

Mentions

wikipedia: Wikipedia Tucker decomposition, Tucker decomposition (definition). Also Wikidata Q7851097

History

2026-11-02: add by m2/dev

P3XT4SRSFJ P3XT4SRSFJ

URI	`m2://inv/P3XT4SRSFJ`
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 2310.02073#V4HE (statement). In 3PNCRG6J62/e1, theorem 4.1

History

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

P3XT5RYJSQ P3XT5RYJSQ

URI	`m2://inv/P3XT5RYJSQ`
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.09201#OAPF (statement). In JQFPH09JG8/e1, lemma 6.2

History

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

P3XZSM1WYM P3XZSM1WYM

URI	`m2://inv/P3XZSM1WYM`
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 2507.05923#IYZF (statement). In ZFKZ6YDT62/e1, lemma 9

History

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

P3Y9NG32G6 P3Y9NG32G6

URI	`m2://inv/P3Y9NG32G6`
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.00770#P2BQ (statement). In AYGRJSRG1M/e1, proposition

History

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

Example P3YC50KZKG

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

Mentions

wikipedia: Wikipedia Proactive secret sharing#VH9G, Example (example)

History

2026-11-02: add by m2/dev

P3YJH608Q1 P3YJH608Q1

URI	`m2://inv/P3YJH608Q1`
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 2410.01436#Q4P0 (statement). In FE59Q5BHKZ/e1, lemma 4

History

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

P3YP01A701 P3YP01A701

URI	`m2://inv/P3YP01A701`
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 2403.16814#41DD (statement). In MN03Z3PRFT/e1, proposition 1

History

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

Statement of the theorem P3YPAZABRT

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

Mentions

wikipedia: Wikipedia Nielsen–Schreier theorem#1FBY, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Complete output and running time for $\mathsf V$ P3YR55YVJF

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

Mentions

arxiv: arXiv 2610.07293#ILR1, Complete output and running time for $\mathsf V$ (statement). In V1GVYM0WQG/e1, proposition 5.12

History

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

Schanuel's lemma P3YTBTS2P7

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#DI9J, Schanuel's lemma (statement)

History

2026-11-02: add by m2/dev

Representations P3YWEZBDT4

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

Mentions

wikipedia: Wikipedia Quantum group#Y5XH, Representations (definition)

History

2026-11-02: add by m2/dev

P3YZDEQSG3 P3YZDEQSG3

URI	`m2://inv/P3YZDEQSG3`
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.26180#2GJD (statement)

History

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

Szymanski's conjecture P3Z5AZKPS9

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

Mentions

wikipedia: Wikipedia Szymanski's conjecture, Szymanski's conjecture (conjecture). Also Wikidata Q7665039

History

2026-11-02: add by m2/dev

Schützenberger theorem P3Z6XY7XWE

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

Mentions

wikipedia: Wikipedia Monoid factorisation#LE0M, Schützenberger theorem (statement)

History

2026-11-02: add by m2/dev

P3Z8MFP6AA P3Z8MFP6AA

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

Mentions

napkin: napkin tex/linalg/inner-form.tex#sproblem-1 (exercise). In RZP28ERRZV, sproblem, section 60.5

History

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

Continually updated language-model pipeline P3ZN589VMM

URI	`m2://inv/P3ZN589VMM`
Kind	example
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.26951#OTM1, Continually updated language-model pipeline (example)

History

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

P3ZQTFX61K P3ZQTFX61K

URI	`m2://inv/P3ZQTFX61K`
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 2403.02207#A7UP (statement). In 1T3ZYPQZF0/e1, theorem 4.9

History

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

P3ZTF75NVW P3ZTF75NVW

URI	`m2://inv/P3ZTF75NVW`
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#M4DN (statement). In EHW82CK883/e1, corollary 7.3

History

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