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 3001–3100 of 5460.

NameIdKindOutcomeSources
PNVDJ4RNM2PNVDJ4RNM2proofopennapkin tex/linalg/transpose.tex#proof-7
PNVDPZ77DZPNVDPZ77DZstatementrecord (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 1204.5958#DIYU
PNVQWK6H5XPNVQWK6H5Xstatementrecord (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.32300#DRRX
PNWCHPZEP6PNWCHPZEP6statementrecord (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.01912#GG45
PNWQZH678VPNWQZH678Vstatementrecord (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.03337#4N5N
PNX664WPSBPNX664WPSBexamplerecord (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 2405.14678#V3VT
PNXC3VW16GPNXC3VW16Gstatementrecord (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.25167#49CP
PNXST5KYJ6PNXST5KYJ6statementrecord (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.39269#EFWF
PNXX2R7CP3PNXX2R7CP3examplerecord (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.27056#WVV7
PNY3GWV2G7PNY3GWV2G7statementrecord (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.35858#B2KK
PNYNAKG210PNYNAKG210statementrecord (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#8K22
PNZ4JXFSNQPNZ4JXFSNQstatementrecord (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.20558#8YH8
Pochhammer symbolM552GSVTA7unknownopenWikidata Q132335, MathWorld PochhammerSymbol, MathWorld RisingFactorial
Pocklington--Lehmer certificateWASS9J34D9statementrecord (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.18859#QJRW
Pocklington-Lehmer primality testRHA40JS8W0unknownopenWikidata Q4241328, MathWorld PocklingtonsTheorem
Poggendorff illusionRZM7JGTJ04unknownopenWikidata Q1542758, MathWorld PoggendorffIllusion
Pogson's ratioH8CGCXGH5WunknownopenWikidata Q9199869, MathWorld PogsonsRatio
Pohlke's theorem8VZVE3SWASstatementopenWikidata Q3984032, EoM Pohlke-Schwarz_theorem, MathWorld PohlkesTheorem
Poincar\'e dualityEKXY5E8RHNstatementrecord (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.01731#NHMX
Poincar\'e dualityEY6EH19292statementrecord (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 1303.4328#VRZO
Poincar\'e dualityF1GHX943F2statementrecord (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 1303.4328#7QFQ
Poincar\'e DualityQSNEGMGYPYstatementrecord (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 0809.0068#0IBC
Poincar\'e homotopyR4G78N8EE4statementrecord (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.27966#P7ZI
Poincar\'e inequality8M0PJWDK5Estatementrecord (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 2407.20385#N9CD
Poincar\'e inequalityZ2XPMS2P58statementrecord (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.32561#B103
Poincar\'e inequality and forcing estimate on a rectangleAVRG3KM3CKstatementrecord (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.33033#8XSI
Poincar\'e inequality on a unit cellWQ6NC6CFQVstatementrecord (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.09001#DRZY
Poincar\'e LemmaRZ4B9EPBG4statementopenlebl_diffyqs ch-first-order-ode.tex#theorem-1
Poincar\'e LemmaTR5881TRMTconceptopenlebl_diffyqs index/4.8.1/poincar-e-lemma
Poincar\'e on a cell5JRHADGPZBstatementrecord (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.12088#EB2T
Poincar\'e--Bendixson TheoremCX821C2XXFconceptopenlebl_diffyqs index/8.4/poincar-e-bendixson-theorem
Poincar\'e--Bendixson\footnote{ \href{https://en.wikipedia.org/wiki/Ivar_Otto_Bendixson}{Ivar Otto Bendixson} (1861--1935) was a Swedish mathematician.}8CXTVVJEDGstatementopenlebl_diffyqs ch-nonlin-systems.tex#theorem-1
Poincar\'e--Birkhoff--WittT1X009QMH0statementrecord (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.02042#U73N
Poincar\'e--resolvent inequalityGJ3EMPHKMVstatementrecord (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.15199#BCD3
Poincar\'e--Siegel dichotomy for the canonical real actionMJE8EATES5statementrecord (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.26269#V28M
Poincaré algebraGT5KG542WZunknownopenWikidata Q87918657, nLab Poincaré Lie algebra
Poincaré complexG8N5D91NHAunknownopenWikidata Q7207863, nLab Poincaré complex
Poincaré conjectureT253BT4TJ5conjectureopenWikidata Q203586, MathWorld PoincareConjecture, nLab Poincaré conjecture, ProofWiki Poincaré_Conjecture
Poincaré disk modelV9BKN74FTSunknownopenWikidata Q2617832, MathWorld PoincareHyperbolicDisk
Poincaré dualityENJNS8FFTRstatementopenmathlib_1000 Q2063099, Wikidata Q2063099, thousand_plus Q2063099, Wikipedia Poincaré duality theorem, EoM Poincaré_duality, nLab Poincaré duality
Poincaré homology sphereKYKFFP0BTHunknownopenWikidata Q56312588, nLab Poincaré homology sphere
Poincaré inequalityE3A085XZHVunknownopenWikidata Q1751496, EoM Poincaré_inequality
Poincaré Inequality/Spectral Gap InequalityKYNBY9GH1Bstatementrecord (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 2608.19483#O4DJ
Poincaré lemmaS1V89R8WR6statementopenWikidata Q18215105, nLab Poincaré lemma
Poincaré mapRVHVZ074J0unknownopenWikidata Q339199, MathWorld PoincareMap
Poincaré metricZ0K2N1D30FunknownopenWikidata Q377798, MathWorld HyperbolicMetric
Poincaré recurrence theoremKAGPXH1K1Nstatementopenmathlib_1000 Q226014, Mathlib MeasureTheory.Conservative.ae_mem_imp_frequently_image_mem, Wikidata Q226014, thousand_plus Q226014, Wikipedia Poincaré recurrence theorem
Poincaré-Verdier duality2SQ92GFF42statementrecord (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 2311.01874#OXUC
Poincaré–Bendixson theorem5M230KMDZKstatementnode (a node has the same name as the row)mathlib_1000 Q248931, Wikidata Q248931, thousand_plus Q248931, Wikipedia Poincaré–Bendixson theorem
Poincaré–Birkhoff theoremZSYCAXJ9C8statementopenWikidata Q3527140, EoM Poincaré_last_theorem
Poincaré–Birkhoff–Witt theoremMYPKFPQXKJstatementopenmathlib_1000 Q2270905, Wikidata Q2270905, thousand_plus Q2270905, Wikipedia Poincaré–Birkhoff–Witt theorem, MathWorld Poincare-Birkhoff-WittTheorem, nLab PBW theorem
Poincaré–Hopf theoremY53DFZZ0VRstatementopenmathlib_1000 Q1305766, Wikidata Q1305766, thousand_plus Q1305766, Wikipedia Poincaré–Hopf theorem, EoM Poincaré-Hopf_theorem, nLab Poincaré–Hopf theorem
Poinsot's spiralsY0PSDY22QGconceptopenWikidata Q527907, MathWorld PoinsotsSpirals
pointDB0YZ7XAHFdefinitionopenWikidata Q44946, MathWorld Point, ProofWiki Definition:Point
point at infinityB5F455R6KPunknownopenWikidata Q1191139, MathWorld PointatInfinity
point charge4ZDNN787Z2definitionopenWikidata Q439029, ProofWiki Definition:Point_Charge
point estimation71RBR2PQHVunknownopenWikidata Q1192065, MathWorld PointEstimator
point groupRD6S85J41XunknownopenWikidata Q899720, MathWorld PointGroups
Point groups in four dimensionsDPX9SQRWZPunknownopenWikidata Q17099598, MathWorld UniformPolychoron, Wikidata Q2816686
point groups in three dimensionsCCP09VSE5QunknownopenWikidata Q7208207, MathWorld SphericalGroup
point process7ENZQT5GKGunknownopenWikidata Q7208287, MathWorld PointProcess
Point processes with exact intensity and spectral controlJWT0TZ5XFHstatementrecord (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.38228#ZQF1
point reflectionJKVBYEF4XYunknownopenWikidata Q1203075, MathWorld InversionOperation
Point selectionVZ60FRPHCJstatementrecord (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.00337#F1T2
Point stabilizers7ZE76F5KHNstatementrecord (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.04271#TY8R
Point Transfer4GAJR49GAQstatementrecord (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.24314#TPCW
Point-free vs. Point-set TopologyMRXKTKF95Rdefinitionrecord (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 2104.00162#YADT
point-level exactness of the checksHR6R2RXDQEstatementrecord (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.14051#Q7Q3
Point-Line-Point TransferPXGD5RM2MJstatementrecord (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.24314#05QP
Point-mass Gaussian valueTPC8X32JPMstatementrecord (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.27250#WHLD
Point-Point-Point ConstraintPFYC56PKPYstatementrecord (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.24314#4NEN
Point-preimage evaluationFSRM253GRMstatementrecord (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.29839#XM7O
Point-wise estimateTABE5ZEBVPstatementrecord (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.32387#Y7IL
Pointed $C^\infty$ (Cheeger--Gromov) convergence81F4GETT0Fdefinitionrecord (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.19273#74Q2
pointed cone6WDKZPDEXKunknownopenmathlib_overview Geometry > Convex geometry > pointed cone, Mathlib PointedCone
pointed face presentationsAM1HGV96VTdefinitionrecord (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.32733#1D0Q
Pointed Gromov--Hausdorff convergence1R61JSRNESdefinitionrecord (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.24610#8XZH
Pointed mapping objects and reduced objects1B9XRYJ9CFstatementrecord (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.03865#PGGZ
pointed object2WQGS3GM5CunknownopenWikidata Q91431286, EoM Pointed_object, nLab pointed object
pointed realizationQGBFV7W6Y2definitionrecord (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.32733#31VO
pointed setQZX5HQXJCKdefinitionopenWikidata Q3054915, EoM Pointed_set, nLab pointed set, ProofWiki Definition:Pointed_Set
pointed space651XRNYFX3unknownopenWikidata Q1419329, EoM Pointed_space, MathWorld PointedSpace, nLab pointed space, nLab pointed topological space
Pointed ultralimitVWZS3ZRQ16definitionrecord (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.17400#OB5H
Pointed versionZXRWWC4PYQstatementrecord (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.03865#6X0S
pointfree topologyB0G1AA29HTconceptopenhott_book index/B.5/pointfree-topology
pointless topology7CV1AGH8V8topicopenWikidata Q7208386, nLab point-free topology
Points of the quadrics are values of theta functionsMW5Z6EYKRQstatementrecord (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.12434#9B2R
Points on a circleFNAGE1JXFCstatementrecord (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.37368#PC0Q
Points-to-pieces transformVPPR51WV55definitionrecord (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.03865#VWI4
Pointwise anticoncentrationFHTCC01Q4Qstatementrecord (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.08708#KTX1
Pointwise bounds5CSEE64978statementrecord (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 1905.02785#HPGL
Pointwise bounds7ZQPSM8QE4statementrecord (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 1905.02785#K4RZ
Pointwise boundsG3P9E0GJNCstatementrecord (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.22090#7ACY
Pointwise bounds for $L_t$X7RHA6CW1Cstatementrecord (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.19410#8KK1
Pointwise channelM7EZV9FGYAdefinitionrecord (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.25987#IQ9P
Pointwise comparison to a short interval average after clippingCAMJKVPXZRstatementrecord (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.08424#HUQO
pointwise conjugate integrand2T68MKZDKZdefinitionrecord (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.26645#CN8E
Pointwise consistency of the convex $K$-NN pre-image map239M9PHS39statementrecord (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.24332#91KS
pointwise convergence76JVZ5TXXVunknownopenmathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > pointwise convergence, Mathlib tendsto_pi_nhds
pointwise convergence9Q896GGER2conceptopenlebl_ra index/1.2.1/pointwise-convergence