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 2501–2600 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Picard's theorem on existence and uniqueness | R4SR1WNRTA | statement | open | lebl_ra ch-metric.tex#thm-2 |
| Picard's theorem on existence and uniqueness | T6D2PWVAAB | statement | open | lebl_diffyqs ch-first-order-ode.tex#slope:picardthm |
| Picard's theorem on existence and uniqueness for systems | F4ATAPJQEE | statement | open | lebl_diffyqs ch-systems.tex#sys:picardthm |
| Picard–Lindelöf theorem | VK6HN5Q6Q5 | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q530152, Mathlib IsPicardLindelof.exists_eq_forall_mem_Icc_hasDerivWithinAt, Wikidata Q530152, mathlib_undergrad Multivariable calculus > Differential equations > Cauchy-Lipschitz Theorem, thousand_plus Q530152, Wikipedia Picard–Lindelöf theorem, EoM Cauchy-Lipschitz_theorem, ProofWiki Picard's_Existence_Theorem |
| Pick's theorem | AYH3CZYN9D | statement | open | mathlib_1000 Q646523, Wikidata Q646523, thousand_plus Q646523, Wikipedia Pick's theorem, MathWorld PicksTheorem |
| Pickands–Balkema–de Haan theorem | 8CNTB14A5C | statement | open | mathlib_1000 Q7190748, Wikidata Q7190748, thousand_plus Q7190748, Wikipedia Pickands–Balkema–de Haan theorem |
| Picking a basis for linear maps | XBX6X2JWMJ | statement | open | napkin tex/linalg/vector-space.tex#thm:linear_map_basis |
| Pick’s Theorem | E61NND89ZQ | statement | open | mathlib_100 92 |
| pico | CYVQEKF1AT | definition | open | Wikidata Q154341, ProofWiki Definition:Metric_System/Scaling_Prefixes/pico- |
| PID | 8KAYGWGB5R | concept | open | lebl_scv index/D/pid |
| PID | EDS75P2QZ3 | concept | open | lebl_scv index/6.4/pid |
| PID Projection | 3RS8QM19GR | 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#2ERH |
| Pidduck polynomial | 8P9P2K5Y1H | unknown | open | Wikidata Q7191280, MathWorld PidduckPolynomial |
| PIE | QWXXS309Y1 | concept | open | levin_dmoi index/2.1.2/pie |
| pie chart | T9K4W8TT7S | unknown | open | Wikidata Q273404, MathWorld PieChart |
| Piece-wise polynomial approximation error | KQ9CMQ4HFD | 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.21033#DZ7P |
| Piece-wise polynomial approximation of Gaussians | XSSR4ERYA8 | 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.21033#DVV0 |
| Piece-wise polynomial approximation of Gaussians, Lemma 36 | G5C0T36894 | 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.21033#ZWKT |
| Piece-wise polynomial approximation of log-concave distributions | WAEY8NWDC0 | 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.21033#N82T |
| Piece-wise polynomial approximation of log-concave distributions, Lemma 27 | JBZ40J9DW3 | 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.21033#6YR3 |
| piecewise $C^k$ functions | 3AXFDPK2ST | unknown | open | mathlib_undergrad Single Variable Real Analysis > Differentiability > piecewise $C^k$ functions |
| piecewise affine scalar potentials | F5Q01CY8GT | 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.08016#Z9MC |
| Piecewise Constant Embedding and Projection Operators | MG25PQPHS9 | 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.13355#6C34 |
| piecewise constant function | 2NPECJP8AS | unknown | open | Wikidata Q91306981, MathWorld PiecewiseConstantFunction |
| piecewise continuous function | A2TRZCDNG2 | unknown | open | Wikidata Q116457584, MathWorld PiecewiseContinuous |
| piecewise function | WXHT0WT3PC | unknown | open | Wikidata Q2037833, MathWorld PiecewiseFunction |
| piecewise linear function | 5RTM2H183G | unknown | open | Wikidata Q2375229, MathWorld PiecewiseLinearFunction |
| piecewise linear manifold | EDSE0EV180 | unknown | open | Wikidata Q7191425, EoM Piecewise-linear_topology, nLab piecewise-linear manifold |
| Piecewise polynomials | P0ZMYZ6KY8 | 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.21033#HSMP |
| piecewise smooth | QGVWF861ZW | concept | open | lebl_ra index/1.8.5/piecewise-smooth |
| piecewise smooth boundary | PHBMPZ5ZF5 | concept | open | lebl_ra index/5.6/piecewise-smooth-boundary |
| Piecewise-affine Gaussian zero formula | XDXYJS63EP | 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.32695#BJ5R |
| Piecewise-Uniform Configuration | FAG7J1HR47 | 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.13222#BDR9 |
| Pierce--Yung | P3HXSASZ5Q | 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.14841#B7X7 |
| Pierce--Yung | QBSC7XRMR6 | 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.14841#OQ6T |
| Pierpont prime | G7HYZCN5KN | unknown | open | Wikidata Q872371, MathWorld PierpontPrime, OEIS A005109 |
| Pierre Berthelot | F8MVC12ZEY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q931228, nLab Pierre Berthelot |
| Pierre Cartier | 5ETAK2FNN2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q574633, nLab Pierre Cartier |
| Pierre de Fermat | 146XTNYA2W | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q75655, EoM Fermat,_Pierre_de, nLab Pierre de Fermat, ProofWiki Mathematician:Pierre_de_Fermat |
| Pierre Deligne | EWNDN7NZCW | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q334045, nLab Pierre Deligne, ProofWiki Mathematician:Pierre_René_Deligne |
| Pierre Fayet | BET7GQNW01 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q2093441, nLab Pierre Fayet |
| Pierre François Verhulst | TCMPMV7CJX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q425539, ProofWiki Mathematician:Pierre_François_Verhulst |
| Pierre Gabriel | FTNPF060ZY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1343092, nLab Pierre Gabriel |
| Pierre Ramond | EY5818YH7E | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q40047, nLab Pierre Ramond |
| Pierre Sikivie | KBTXYXF7A9 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q24565714, nLab Pierre Sikivie |
| Pierre-Louis Moreau de Maupertuis | Y67ZT62EQM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q164374, ProofWiki Mathematician:Pierre_Louis_Moreau_de_Maupertuis |
| Pierre-Simon Laplace | JZ9C7J7D8K | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q44481, EoM Laplace,_Pierre-Simon_Marquis_de |
| Piet Hein | Q3VQEAEJQX | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q359592, ProofWiki Mathematician:Piet_Hein |
| Pieter Cuijpers | HSPVTD6GE2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102292637, nLab Pieter Cuijpers |
| Pietro Fré | Y50WTKCGYN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q57077418, nLab Pietro Fré |
| pigeon hole principle | 3P4K51M9YF | concept | open | applied_combinatorics index/4.1/pigeon-hole-principle |
| Pigeon Hole Principle | 7G1N9B5400 | statement | open | applied_combinatorics source/s_basics_pigeonhole.ptx#prop_pigeon |
| pigeon hole principle, generalized | BYZHHJ218J | concept | open | applied_combinatorics index/5.4.2/pigeon-hole-principle-generalized |
| Pigeonhole Principle | 74590KYKPB | statement | open | ernst_ibl MAAPressVersion/FiniteSets.tex#theorem-2 |
| pigeonhole principle | QPG9W1P9X6 | concept | open | levin_dmoi index/4.2.3/pigeonhole-principle |
| pigeonhole principle | RFC4P7M3X9 | statement | node (a node has the same Wikidata item as the row) | Wikidata Q188276, MathWorld DirichletsBoxPrinciple, ProofWiki Dirichlet's_Box_Principle |
| Pikhurko--Yilma | VBN3NFK9NV | 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.06038#R7EG |
| Pillai sequence | JM7SWMMERB | object | open | Wikidata Q48999996, OEIS A066352 |
| Pillai's conjecture | FTF3NNKP6Y | conjecture | open | Wikidata Q3023699, MathWorld PillaisConjecture |
| pinch point | 8AVZB5D04K | unknown | open | Wikidata Q7194894, MathWorld PinchPoint |
| Pinchable multicurves | B8F8XVEV8Z | 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.29450#FKBJ |
| Pincherle derivative | X8FYVC1ZC5 | concept | open | Wikidata Q7194927, MathWorld PincherleDerivative |
| Pink, , Proposition 8.1 | 6WSPV5EC35 | 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.37252#Q3R1 |
| Pink--R\"ossler | 486NJ68A26 | 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.17325#D5PK |
| Pinned discounted dynamics | QZYZ0T4555 | 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.31535#0122 |
| Pinning lags | QQMSTNEMZZ | 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.09912#B0L7 |
| Pinsker's inequality | MEE7B4JR8Z | 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.38659#NW9Z |
| Pinsker's inequality for the binary divergence | ZQN1N00E7Q | 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.27766#4JUV |
| Pinsker's inequality; Lemma 11.6.1 | HPH6E5D51W | 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.14615#DT83 |
| pion | CX7VRBJQ18 | unknown | open | Wikidata Q4097, nLab pion |
| Pipe-Flow in $\nu=2$ | Q0VJVANRE8 | 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.31294#4K3B |
| Pipe-Flow in $\nu\geq 3$ | YS44Y264P2 | 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.31294#5LAC |
| Pisano period | 16NJEJ7XG1 | concept | open | Wikidata Q4351325, MathWorld PisanoPeriod |
| Pisot–Vijayaraghavan number | FNXA84T40V | concept | open | Wikidata Q1030382, MathWorld PisotNumber |
| Pitchfork bifurcation | 4R7S0AKSFH | unknown | open | Wikidata Q1785924, MathWorld PitchforkBifurcation |
| Pitman–Koopman–Darmois theorem | E1KZQXHN6D | statement | open | mathlib_1000 Q1188504, Wikidata Q1188504, thousand_plus Q1188504, Wikipedia Pitman–Koopman–Darmois theorem |
| Pitot theorem | SYMQ71YCFS | statement | open | mathlib_1000 Q2310718, Wikidata Q2310718, thousand_plus Q2310718, Wikipedia Pitot theorem |
| Pitt's inequality | D4ZBMMD8B3 | 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.34946#XAE0 |
| Pitt's inequality | HT1A3SZJF9 | 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.35669#U8NJ |
| Pitt-admissible datum | D51XFRVHPQ | 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.34946#SK0I |
| pivot element | PRJ32MWRVK | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1425280, MathWorld Pivoting |
| pivot position | FRNY80N8F0 | concept | open | austin_ula index/1.4.1/pivot-position |
| Pivot theorem | QFKE0PEZ3P | statement | open | Wikidata Q7199658, MathWorld PivotTheorem |
| pivotal isocubic | 5JPC1ZW3EJ | unknown | open | Wikidata Q2001664, MathWorld PivotalIsocubic |
| pivotal isogonal cubic | CZ77066DXT | unknown | open | Wikidata Q2603355, MathWorld PivotalIsogonalCubic |
| pivotal isotomic cubic | W9GSCR0B8S | unknown | open | Wikidata Q2131777, MathWorld PivotalIsotomicCubic |
| pizza theorem | GSN2SYZT1D | statement | open | mathlib_1000 Q1809539, Wikidata Q1809539, thousand_plus Q1809539, Wikipedia Pizza theorem, MathWorld PizzaTheorem |
| PJ0N341VCD | PJ0N341VCD | 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 2011.06637#ENMQ |
| PJ0XS8MM60 | PJ0XS8MM60 | 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.34613#9YE8 |
| PJ1QKSH7MN | PJ1QKSH7MN | 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.03373#S1WM |
| PJ1QM45Y0K | PJ1QM45Y0K | 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.16362#IT5C |
| PJ21H9SK9R | PJ21H9SK9R | 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.15167#RMI1 |
| PJ32AZPV7G | PJ32AZPV7G | problem | record (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 2410.18564#0ALZ |
| PJ42111CRN | PJ42111CRN | 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.19660#053T |
| PJ47QYQSC5 | PJ47QYQSC5 | exercise | open | napkin tex/alg-geom/localization.tex#problem-2 |
| PJ4J7YB91T | PJ4J7YB91T | 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.12777#RDE4 |
| PJ54DEXNC3 | PJ54DEXNC3 | 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.27078#RMR7 |
| PJ5E8JD28V | PJ5E8JD28V | 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 2608.17785#2CJA |
| PJ5KDKYPMV | PJ5KDKYPMV | 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.05953#VRWL |
| PJ5TR71HP5 | PJ5TR71HP5 | 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 2503.08018#NV2V |