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.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 3301–3400 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Polynomial translation | 6C86FQE02X | statement | record (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.05164#BA2T |
| Polynomial transport to a cyclic product in the constructed range | DFRWDZMZTM | statement | record (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.26066#RS4J |
| Polynomial truncation | YKWJ0QQKRV | definition | record (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.20801#9UM0 |
| Polynomial truncation functors | C35K1TN07K | definition | record (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.20801#BNVH |
| Polynomial versus exponential growth | FVM8GZF70H | statement | record (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.11002#6HSJ |
| Polynomial-bit implementation | 118F3AS60N | statement | record (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.20187#MAZN |
| Polynomial-composition rigidity | TDS41JYGNV | statement | record (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.19243#0V6O |
| Polynomial-scale weak Poincar\'e inequality | QZ87K35AE1 | statement | record (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.09882#AUXU |
| Polynomial-space CVPP by collision search | 44QWX9232T | statement | record (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.15265#THJP |
| polynomial-time computation | 2J829QRGQZ | unknown | open | mathlib_overview Logic and computation > Complexity > polynomial-time computation, Mathlib Turing.TM2ComputableInPolyTime |
| Polynomial-Time Inner PID Syndrome | MM3B2B9PQC | statement | record (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.37578#JR6Y |
| Polynomial-Time Inner SID Syndrome | SYE7CS4SV3 | statement | record (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.37578#9TOU |
| Polynomially decreasing trial parameters | 4GAM3P57Q4 | statement | record (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.04135#9YU9 |
| Polynomially uniform Gaussian window | KKDSEN8GMS | statement | record (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.09472#0I05 |
| Polynomials of degree two or three | J3JJ4QGWJ0 | statement | record (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.33327#19DI |
| polyomino | 9P8YHDQN94 | unknown | open | Wikidata Q1144819, MathWorld Polyomino |
| polypent | 56BPFK7EDX | object | open | Wikidata Q110151481, OEIS A103465 |
| polyradius of a polydisc | BW0VYNCWWM | concept | open | lebl_scv index/1.1/polyradius-of-a-polydisc |
| Polystick | W429NE060Q | unknown | open | Wikidata Q7226991, MathWorld Polystick |
| polytopal graph | 9CERPXYJP8 | unknown | open | Wikidata Q135553266, MathWorld PolytopalGraph |
| polytope | XNT8XE294N | topic | open | Wikidata Q747980, MathWorld Polytope, nLab polytope, ProofWiki Definition:Polytope |
| Polytropic atmosphere | 4758N5FD3Y | example | record (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.02628#H0KL |
| polyvector field | SPKAN1TNN5 | unknown | open | Wikidata Q25098671, nLab multivector field |
| Pomeranchuk's theorem | BWKCQES28S | statement | open | mathlib_1000 Q4455003, Wikidata Q4455003, thousand_plus Q4455003, Wikipedia Pomeranchuk's theorem |
| Pompeiu's theorem | KVF926BT0X | statement | open | mathlib_1000 Q3534036, Wikidata Q3534036, thousand_plus Q3534036, Wikipedia Pompeiu's theorem, MathWorld PompeiusTheorem |
| Poncelet's closure theorem | G495TY5CD1 | statement | open | mathlib_1000 Q1785610, Wikidata Q1785610, thousand_plus Q1785610, Wikipedia Poncelet's closure theorem |
| Poncelet–Steiner theorem | 7K1BK9QMB9 | statement | open | mathlib_1000 Q1186134, Wikidata Q1186134, thousand_plus Q1186134, Wikipedia Poncelet–Steiner theorem, MathWorld Poncelet-SteinerTheorem |
| Pong Hau K'i | MN58EHYTPZ | unknown | open | Wikidata Q359049, MathWorld PongHauKi |
| Pontryagin action on the intersection ring | RQCJGEX0PQ | statement | record (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.04164#7KHU |
| Pontryagin class | TZ1PQFADZP | concept | open | Wikidata Q40007, MathWorld PontryaginClass, nLab Pontryagin class |
| Pontryagin duality | PF7Q1PW6WF | statement | open | Wikidata Q1632419, MathWorld PontryaginDuality, nLab Pontryagin duality |
| Pontryagin number | EWNB4Y9T00 | concept | open | Wikidata Q4516320, MathWorld PontryaginNumber |
| Pontryagin surface | E86R21Z0MB | concept | open | Wikidata Q4366381, EoM Pontryagin_surface |
| Pontryagin's maximum principle | 2KC87JZ7X8 | statement | open | Wikidata Q3491629, EoM Pontryagin_maximum_principle |
| Ponzo illusion | V15GTRQQB5 | unknown | open | Wikidata Q1190645, MathWorld PonzosIllusion |
| Pool-based learning, Theorem 3 of \protect | AC4DS3RQGC | statement | record (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.27241#PEIJ |
| Pooled Bennett bound with certified residual moments | D6M5QJ806N | statement | record (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.19207#LIYK |
| Pooled empirical newsvendor policy | NXJFKJCV96 | statement | record (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.37380#OJPC |
| Pooled gradients and local solves | 78PZXWHFES | statement | record (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.12641#FWK2 |
| Pooled rare-boundary lower bound | Z0FC3K9F0X | statement | record (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#L9GP |
| Popov-Belevitch-Hautus (PBH) tests for stabilizability and detectability | 2GH8CS2VJC | statement | record (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.15942#YCNY |
| Population ATT inference | HPASGNRGBD | statement | record (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.10873#3TCH |
| Population bound for the 1NN uphill shift in the tube | 4YS3C0X6ZC | statement | record (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.01050#YEPS |
| Population bound for the 1NN uphill shift outside the modal core | DKXHPZW2AC | statement | record (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.01050#U0I0 |
| population dynamics | 3XYW73268S | topic | open | Wikidata Q904564 |
| Population growth | TFYBFW7B9F | example | open | active_calculus source/sec-1-5-units.xml#Ex-1-5a-1-pop-growth |
| population growth | XAXEHM1JK0 | unknown | open | Wikidata Q386191, MathWorld PopulationGrowth |
| Population optimizer | J465K9T5S9 | statement | record (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.38453#ABYM |
| Population subspace learning on a loss plateau | 9ZF62HQW19 | statement | record (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.39408#XV58 |
| Population targets for left/right segments | F78EDKPP37 | definition | record (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.12271#45CI |
| Population-averaged cost and diffuse-weight limit | W13GD1CZ3R | statement | record (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.16680#R7JT |
| Population-conditional update discrepancy | YMRANBRY8Z | statement | record (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.14965#2RBZ |
| Population-error continuity along a direction set | 9BQ4R30JTN | statement | record (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.11309#9WUX |
| Population-error exponents | YAEVDDW2PK | statement | record (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.11309#KRZT |
| Population-error exponents of deterministic optimizers | E99Z8G2HKE | statement | record (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.11309#9PN8 |
| Population-KL certification | V6VCDQZNW2 | statement | record (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.33499#6JSL |
| Population-size and coalescence calibration | JKQZRPPAYZ | statement | record (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.02669#AQ49 |
| Population-SOE consistency | 7K9RZR45Q2 | statement | record (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.31470#0CFL |
| Population-SOE consistency | HJW3D1P37P | statement | record (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.31470#IAJH |
| porism | SXFX4JFZT9 | unknown | open | Wikidata Q7230113, MathWorld Porism |
| porous medium equation | 4F22XHMQ95 | unknown | open | Wikidata Q116986877, MathWorld PorousMediumEquation |
| Porter's constant | A86V40ZV5H | object | open | Wikidata Q30692563, MathWorld PortersConstant |
| Portmanteau theorem; Billingsley | 6D84WHK3GY | statement | record (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.16203#NSXZ |
| Portugal | J9YEK5HBN2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q45, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Portugal |
| poset | 9RXP9Q4WFT | concept | open | applied_combinatorics index/6.1/poset |
| poset complex | ZYVQGTHT8D | definition | record (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.15099#5SJ6 |
| poset homotopy | BNKPCFX9P0 | definition | record (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.15099#FTET |
| poset system | TDC2AD2K36 | definition | record (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.15099#JJXT |
| Posidonius | 578MRJFAAC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q185770, ProofWiki Mathematician:Posidonius |
| position | F05923RQ6M | concept | open | active_calculus index/1.1.2/position |
| position four-vector | Q8DRM6S62B | unknown | open | Wikidata Q11877149, MathWorld PositionFour-Vector |
| position vector | 3ZZCGE9DBC | unknown | open | Wikidata Q192388, MathWorld RadiusVector |
| position with respect to the tangent plane | C3NQV1RFJ6 | unknown | open | mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > position with respect to the tangent plane |
| Position--momentum transfer | NWQJG1R1QN | statement | record (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.16248#WSDM |
| Position-sampled distribution | DH9M94002N | statement | record (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.03811#6VBN |
| positional draw | JRVDM23BVC | definition | open | Wikidata Q2105652, ProofWiki Definition:Chess/Draw/Insufficient_Pieces |
| positional numeral system | MHQKFRGNND | definition | open | Wikidata Q25457532, ProofWiki Definition:Positional_Numeral_System |
| Positions carrying prime values | J2DAPES49H | statement | record (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.03811#D8V7 |
| Positive adjacent refactorization | QQ6J8565KF | statement | record (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.26066#CD79 |
| Positive and negative parts | MCJTR1RW7Z | unknown | open | Wikidata Q949756, MathWorld PositivePart |
| positive and negative predictive values | XH7PTWFA79 | unknown | open | Wikidata Q3553769, MathWorld PredictiveValue |
| Positive anticommutator factorization | 985ERJ2ZVH | statement | record (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#7FZM |
| Positive autocovariance at every lag | ES8A3JFGCK | statement | record (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.25084#WF77 |
| Positive balanced H1 entry releases original risk | C8D4YR0C1Z | statement | record (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.39408#UZ2X |
| Positive bidiagonal factors on the moment-shift rectangle | Y7E4XK5JQ3 | statement | record (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.26066#TG12 |
| Positive binary discrete Sklar decomposition | Z5315V0CNS | statement | record (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.12805#UBI3 |
| Positive certificates give dense success | D2SXNZGNXS | statement | record (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.32078#3H5O |
| Positive completion dimension | PXK4NY336D | definition | record (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.13951#WMSR |
| positive cone | YXK6NKW7C3 | unknown | open | mathlib_overview Geometry > Convex geometry > positive cone, Mathlib ConvexCone.positive |
| Positive constant term | 6JZ1HV99J4 | statement | record (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#TRA1 |
| Positive curvature on the Kervaire nine-sphere | XRJTVK8175 | statement | record (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.03298#NSQG |
| Positive definite kernel and RKHS | NH4042JMR8 | definition | record (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.05388#8L24 |
| Positive definiteness during training | TJQSY46P54 | statement | record (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.04357#TJOJ |
| Positive definiteness for a Poisson PINN | XMTKEDQ8ZA | example | record (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.04357#GPQX |
| Positive definiteness from independent continuous parameter-derivative functions | TRNEMEH2C6 | statement | record (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.04357#Z4QC |
| Positive definiteness of the joint Hessian | 1MCE29QWEG | statement | record (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.12203#GPE8 |
| Positive density of admissible Frobenius primes | 1MEKXWSCQP | statement | record (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.26196#TNLQ |
| Positive differences and increment support | TV1AB8VZDP | statement | record (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.27153#MMU6 |
| positive element | CXSCDKC0DD | unknown | open | Wikidata Q2627013, MathWorld PositiveElement, nLab positive operator |
| positive energy theorem | TWWERSPQS7 | statement | open | mathlib_1000 Q4179283, Wikidata Q4179283, thousand_plus Q4179283, Wikipedia Positive energy theorem, nLab positive energy theorem |