Math 2.0

Inventory: P

The rows of the inventory whose names start with P. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Rows 2801–2900 of 5460.

NameIdKindOutcomeSources
Plateau lawYQGF94FRFJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.06480#1TNG
Plateau positivity, uniformly in a small fieldXRJ9KNW026statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.06480#CW1I
Plateau's lawsJJDH3VNEE8unknownopenWikidata Q1974553, MathWorld PlateausLaws
Plateau's problemADQA2BPPMBproblemopenWikidata Q1972021, MathWorld PlateausProblem
PlatoB8TTA5KTB3unknownout_of_scope (a person, not an item of mathematics)Wikidata Q859, nLab Plato, ProofWiki Mathematician:Plato
Plato's number32Y8EM0W5XconceptopenWikidata Q7202408, MathWorld PlatosNumbers
Platonic AcademyHS7HABCKB5definitionopenWikidata Q193093, ProofWiki Definition:Plato's_Academy
Platonic graph74NZ4NHZ7QdefinitionopenWikidata Q19598654, MathWorld PlatonicGraph, ProofWiki Definition:Platonic_Graph
Platonic numberSYQD1D79FFobjectopenWikidata Q116735720, OEIS A053012
Platonic solidW66T6Z1FD5statementnode (a node has the same name as the row)mathlib_1000 Q188745, Wikidata Q188745, thousand_plus Q188745, MathWorld PlatonicSolid, nLab Platonic solid, ProofWiki Definition:Platonic_Solid
Platonic solidZ15R4HFF2Mconceptopenlevin_dmoi index/5.3.2/platonic-solid
player strategy9V1HJN8276unknownopenWikidata Q1546627, MathWorld Strategy
Playfair's axiomSZF1WSX9GRstatementopenWikidata Q3915714, MathWorld PlayfairsAxiom, ProofWiki Axiom:Playfair's_Axiom
plethysm3Y1ZHQX28MunknownopenWikidata Q7204726, nLab plethysm
Plimpton 322XBEHVE3MM5unknownout_of_scope (a book, not an item of mathematics)Wikidata Q1470425, ProofWiki Book:Tablet/Plimpton_322
PLMC lower bound on a Gaussian targetDCJNX94BTMstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.06308#UH1E
Plot-connectedness and the shapeFVT7JC9W8Wdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26270#1GPM
Plots are homsNRN5W7B9GDstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26270#WEDZ
Plots of $\PrPf(\Xcal)$ are smooth and measurableXBQWBEHNGJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26270#268D
Plug InsertionY39D5CFYTTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.10558#FEFV
Plug-in estimatorDW9QZHTEQZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21363#WLNF
Plug-In Selector RegretYWEM7GXR30statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.03769#YJOX
Plug-in stabilityJG7DG4MS25statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11007#TLOE
plump, ordinalA3G6DBCDQ9conceptopenhott_book index/B.6/plump-ordinal
plump, ordinalWKM13FZM10conceptopenhott_book index/C.5/plump-ordinal
plump, successorF744W50HV9conceptopenhott_book index/C.5/plump-successor
plurisubharmonic function5CZ2DT5NR5topicopenWikidata Q7205565, EoM Plurisubharmonic_function, MathWorld PlurisubharmonicFunction
plus construction1QYPCJNX02unknownopenWikidata Q7205616, nLab plus construction
plus sign31D2BDJ3ZKunknownopenWikidata Q6265342, MathWorld PlusSign
Plus-one valuationRH2JQF0ET7statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37754#DDO0
Plus-state boundDFJWRR1MCZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37479#5O88
PlutoDJP36MJHCPdefinitionopenWikidata Q339, ProofWiki Definition:Pluto
Plücker embeddingQ9C945NQDYunknownopenWikidata Q2996684, MathWorld PlueckerEmbedding, nLab Plücker embedding
Plücker's conoidCN19A4KXFEunknownopenWikidata Q7205923, MathWorld PlueckersConoid
Plünnecke-Petridis inequalityHYASA541DPunknownopenmathlib_overview Combinatorics > Additive combinatorics > Plünnecke-Petridis inequality, Mathlib Finset.pluennecke_petridis_inequality_add
PM0A78A5MXPM0A78A5MXexampleopennapkin tex/H113/ring-intro.tex#example-6
PM0SQDDSMEPM0SQDDSMEdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.07695#FOYF
PM125RQ6QNPM125RQ6QNstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.40191#T8L5
PM133W44VNPM133W44VNstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1907.01440#R0PQ
PM1DV184X9PM1DV184X9definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.07445#GZ2E
PM1EMZGSASPM1EMZGSASdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.37520#HC33
PM2D4AAMR3PM2D4AAMR3definitionopennapkin tex/linalg/eigenvalues.tex#definition-6
PM2Q3MAAVNPM2Q3MAAVNstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2310.06695#JRP4
PM2X2ZB3AEPM2X2ZB3AEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16989#Z7WA
PM2YD0C4H4PM2YD0C4H4definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.09201#FYYI
PM2YFNHT53PM2YFNHT53statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.00247#9IMM
PM3G9D550VPM3G9D550Vstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11974#0KWP
PM3NX12J82PM3NX12J82definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14847#KP1A
PM47Z84E83PM47Z84E83statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27931#LB6N
PM4D6T9WJHPM4D6T9WJHunknownopen
PM4N56NVJ7PM4N56NVJ7definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11210#HKCC
PM4Q404GACPM4Q404GACunknownopenarXiv 2205.15365#9XMH
PM4XJDE46WPM4XJDE46Wstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.18346#6DCG
PM4XN918V5PM4XN918V5statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2203.15223#AYXZ
PM50E4789DPM50E4789Dstatementopenopen_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#prop:ext-terms
PM56KY7MK1PM56KY7MK1statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.20131#0EIE
PM5KTDK51JPM5KTDK51Jstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.22288#CCVP
PM60TX0JDNPM60TX0JDNstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11145#GAO2
PM6514H2X8PM6514H2X8definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2606.20229#R0Q3
PM67RVYPJ8PM67RVYPJ8statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.20131#TMHD
PM6M4HZ62XPM6M4HZ62Xexampleopenlebl_ra ch-several-vars-ders.tex#example-8
PM6QPMRZGAPM6QPMRZGAdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.01208#YQS5
PM73BZ3HD8PM73BZ3HD8exerciseopenlevin_dmoi ptx/exercises/seq-basics.ptx#exercise-10
PM7TCX8NW4PM7TCX8NW4statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16779#3G9S
PM87NK4FDSPM87NK4FDSstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1004.4564#CH8I
PM8G4KYRVRPM8G4KYRVRstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11905#CQEJ
PM8Q130GWAPM8Q130GWAstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2607.25960#ZOCJ
PM9662P028PM9662P028statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.30302#TFDF
PMA1SGSABMPMA1SGSABMproblemrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26745#0AUS
PMA38TSP77PMA38TSP77conjecturerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.03208#R7XN
PMAJF3KS5EPMAJF3KS5Estatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25307#Z1C5
PMAKANH1CKPMAKANH1CKconjecturerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2203.07710#MAC0
PMAM8VQ42NPMAM8VQ42Ndefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.02495#QATS
PMATWYGRBBPMATWYGRBBstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.24716#0RP8
PMAYPWC0DJPMAYPWC0DJdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2308.05715#IBF0
PMB49P64BQPMB49P64BQstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.07644#QVCW
PMBHYJFQFPPMBHYJFQFPproofopenopen_logic content/normal-modal-logic/completeness/lindenbaums-lemma.tex#proof-2
PMCKC5917PPMCKC5917Pstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.12633#PFRJ
PMD31WZB1RPMD31WZB1Rstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2507.17002#FFF2
PMD3CKDMSPPMD3CKDMSPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2507.03563#CTOZ
PMDAFE4WRTPMDAFE4WRTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.06461#3SKH
PMDB6MAGP9PMDB6MAGP9definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2504.00267#VT2S
PME strategies64122FTTVKdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2103.02468#R0AG
PMETMY1C68PMETMY1C68statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.24323#8V2Z
PMEY0JN9Z0PMEY0JN9Z0statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2508.21045#S8H3
PMF04GH86JPMF04GH86Jstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.32710#4U1N
PMFDJCGJJBPMFDJCGJJBexampleopennapkin tex/alg-NT/finite-field.tex#example-4
PMFNGB89H4PMFNGB89H4statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.02570#47ZI
PMG407NEEYPMG407NEEYstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.20916#CT7D
PMGDM85BCKPMGDM85BCKstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26019#AO28
pmGH precompactness for tamed metric measure spacesDDXFV5SYBCstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11478#5FTN
PMGPYBH90MPMGPYBH90Mstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.06899#OUSD
PMHAK575CVPMHAK575CVstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.29847#J80R
PMHAXPE09KPMHAXPE09Kproofopenapplied_combinatorics source/s_background_total-order-N.ptx#proof-3
PMHGQKCKGYPMHGQKCKGYstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.18673#HDB2
PMJSTVCNBEPMJSTVCNBEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv math/0406514#UKFU
PMJW7D9528PMJW7D9528definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.13347#P5WI
PMK1C0YKYJPMK1C0YKYJdefinitionopenernst_ibl MAAPressVersion/IntroFunctions.tex#def:function
PMMCBYX1QBPMMCBYX1QBexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.24845#CF1W
PMMKRDY9E3PMMKRDY9E3statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08357#2X30