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 3101–3200 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| pointwise convergence | B3NRMGSXPE | definition | node (a node has the same Wikidata item as the row) | Wikidata Q1778098, EoM Pointwise_convergence, MathWorld PointwiseConvergence, nLab pointwise convergence, ProofWiki Definition:Pointwise_Convergence |
| Pointwise convergence | C8FS2V5KST | 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.21781#30A1 |
| pointwise convergence | SJ3QVX25KT | concept | open | lebl_ra index/9.1.1/pointwise-convergence |
| pointwise convergence, complex series | BJRS0GX0CB | concept | open | lebl_ra index/1.2.1/pointwise-convergence-complex-series |
| Pointwise covariance of the local posterior predictive state | WQHRCKPETT | 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.00117#MN4H |
| Pointwise criterion | EFMF4XCNRT | 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#JK66 |
| Pointwise density bound with coordinate-weight error | 6G1J8V9SC2 | 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.05498#YTIE |
| Pointwise determination of the heat-kernel diagonal | 29W6Z3EG06 | 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.08011#UGVD |
| Pointwise diagonal fibration | QWZ10B1NAZ | 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.28220#8T6C |
| Pointwise Dimension | JFFMJXMAJ0 | 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.28742#KIKK |
| Pointwise Equality at the Head Yields Type Equality | 1GD1M4C0P1 | 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.21131#06JH |
| pointwise estimates | 80KC747MQT | 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.15610#88VJ |
| Pointwise failure of VRAF | YR50DHRJR2 | 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.35631#LWCG |
| Pointwise lacunarity law for Diophantine angles | D949PPZXBQ | conjecture | 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.00295#WJ07 |
| Pointwise maps are exact and zero-local | ZABHDE2YRN | 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.25987#6QNE |
| Pointwise maximality of maximal relaxed subslope | NTM291R5K0 | 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.21775#VST6 |
| Pointwise NTK: existence, nullspace, and rank | TBC9981AB3 | 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#1RO3 |
| pointwise operation | Q910Y68YFQ | unknown | open | Wikidata Q9248237, EoM Pointwise_operation |
| pointwise order | WXH5MR3EGC | unknown | open | Wikidata Q122390492, EoM Pointwise_order, nLab pointwise order |
| Pointwise reciprocal-Gamma limit, Dominici | NC7QYTKAE0 | 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.25060#JPF3 |
| Pointwise regularization modulus | 9XQGJ3FQDV | 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.14988#JWLG |
| Pointwise soliton resolution for rational initial data | MMT3VKEQ54 | 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.00770#HTD3 |
| Pointwise spectral correspondence | QSAPM68RZR | 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.00077#OSXY |
| Pointwise stability | KVYQTN0FXP | 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.05652#QKOD |
| Pointwise stabilizers of non-collinear triples | 7WJAY9PYWX | 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.15340#W17Y |
| Pointwise sufficient condition | K2NQ1YF9FG | 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.27961#6Q0F |
| Pointwise two-term ratio expansion | 1DXBJ2P0R6 | 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.25060#ZIT1 |
| pointwise, equality of functions | YAZWMNV86N | concept | open | hott_book index/1.9/pointwise-equality-of-functions |
| pointwise, functionality | SWMR6CMPHP | concept | open | hott_book index/A.12.3/pointwise-functionality |
| Pointwise, local \(L^p\), and uniform profile limits | 41ZFMDNE3M | 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.08821#WBEU |
| pointwise, operations on functions | 8V96NV1EAK | concept | open | hott_book index/1.9/pointwise-operations-on-functions |
| poise | P8CT8YESYS | definition | open | Wikidata Q2100949, ProofWiki Definition:Poise |
| poiseuille | 6DA96WFPDM | definition | open | Wikidata Q751310, ProofWiki Definition:Poiseuille |
| Poisson algebra | F5V58GDR0F | concept | open | Wikidata Q11143305, EoM Poisson_algebra, nLab Poisson algebra |
| Poisson approximation | GXATN8352J | 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.39699#RTLG |
| Poisson bracket | J9GDTYD3ER | concept | open | Wikidata Q1052775, EoM Poisson_brackets, MathWorld PoissonBracket |
| Poisson cochain complex | HYGA0C9ZEV | 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.08091#U66F |
| Poisson cohomology | A97AJHZA60 | unknown | open | Wikidata Q59539876, nLab Poisson cohomology |
| Poisson comparison for unbiased PSD sparsifiers | M8GZJCTSQ1 | 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#YDEC |
| Poisson derivation | 9MZPYSGD8H | 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.08091#JK9C |
| Poisson dispersion | XN75EBDTCA | 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.10511#83FB |
| Poisson distribution | J45TZDMRRN | definition | node (a node has the same name as the row) | Wikidata Q205692, EoM Poisson_distribution, MathWorld PoissonDistribution, ProofWiki Definition:Poisson_Distribution |
| Poisson domination for bounded service | Y31KP5M808 | 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#X1OI |
| Poisson equation and differential values | 18EGW5T4JE | 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.04117#9WI7 |
| Poisson formula | NTPQZADHD9 | 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 2106.11898#BVNG |
| Poisson formula in families | 2DDTDH8ETX | 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 2106.11898#7H1B |
| Poisson geometry | C7EF96BFC1 | topic | open | Wikidata Q126597694, nLab Poisson geometry |
| Poisson kernel | 8HY9EY9SCW | concept | open | Wikidata Q2596534, MathWorld PoissonKernel |
| Poisson ladder | ATK16HT6HF | 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.00902#RY8O |
| Poisson law | VG9JD88YG4 | unknown | open | mathlib_overview Probability Theory > Random variables and their laws > Poisson law, Mathlib ProbabilityTheory.poissonMeasure, mathlib_undergrad Probability Theory > Random variables and their laws > Poisson law |
| Poisson limit theorem | D8FQT3V40P | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q7208500, Mathlib ProbabilityTheory.tendsto_choose_mul_pow_of_tendsto_mul_atTop, Wikidata Q7208500, thousand_plus Q7208500, Mathlib ProbabilityTheory.binomial_tendsto_poissonPMFReal_atTop, Wikipedia Poisson limit theorem, MathWorld PoissonTheorem |
| Poisson majorization | Q2WHFM6KYQ | 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.24606#TXAC |
| Poisson manifold | JYEJEV819N | unknown | open | Wikidata Q1464936, EoM Poisson_manifold, MathWorld PoissonManifold, nLab Poisson manifold |
| Poisson process | 3G28KN9MC4 | concept | node (a node has the same Wikidata item as the row) | Wikidata Q1145117, EoM Poisson_process, MathWorld PoissonProcess |
| Poisson process | J3EYE6K4SY | 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 2609.27961#C6ZZ |
| Poisson reference process | 37DDV9DPQD | 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.39699#6ZLX |
| Poisson regression | 87MXH9ZK13 | 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 2609.32977#J04N |
| Poisson solution factor | GTFYV6R7BY | 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.25380#4JRP |
| Poisson statistics: IDS unfolding and linear scaling | DATM6ZY423 | 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.21268#GZ64 |
| Poisson summation | Y92CYYC3DT | 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#YXA4 |
| Poisson summation formula | D0FMTMCM3S | statement | open | Wikidata Q387743, MathWorld PoissonSumFormula, nLab Poisson summation formula |
| Poisson velocity in $\R$: $L^1$ but not $L^{1,1}$ | C7X5D7WA6H | 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.15086#NMI3 |
| Poisson's equation | JZBCK6CN6M | unknown | open | Wikidata Q827688, EoM Poisson_equation, MathWorld PoissonsEquation |
| Poissonised stopping rule | 4FC044Q8XK | 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.26017#2SZR |
| Poisson–Lie group | 4KFAWCJ3XN | unknown | open | Wikidata Q7208511, EoM Poisson_Lie_group, nLab Poisson Lie group |
| Poisson’s formula | AN2Q0S4XKQ | unknown | open | mathlib_undergrad Distribution calculus > Applications > Poisson’s formula, Mathlib SchwartzMap.tsum_eq_tsum_fourier |
| poker | RVGE7CWBPT | unknown | open | Wikidata Q80131, MathWorld Poker |
| Pol Vanhaecke | T4Q0QKE4GN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q38134618, nLab Pol Vanhaecke |
| Poland | F9K312FYJA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q36, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Poland |
| Polar and quadratic radicals | 2F29137WSY | 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.15815#W8UK |
| Polar angle | JK7YNDRSYX | unknown | open | Wikidata Q16863210, MathWorld PolarAngle |
| Polar bundle | MQJ2HKR1JC | 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.38126#9UOI |
| polar circle | GF2EM9417N | unknown | open | Wikidata Q19598677, MathWorld PolarCircle |
| polar coordinate system | Z8XKEKB2RK | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q62494, EoM Polar_coordinates, MathWorld PolarCoordinates, nLab polar coordinates |
| Polar coordinates | W3H7ZFNB4E | exercise | open | lebl_ra ch-several-vars-ders.tex#mv:exercise:polarcoordinates |
| polar coordinates | XY0SNV93HG | concept | open | lebl_ra index/11.5.2/polar-coordinates |
| Polar decomposition | BFPR4F1F38 | 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.32505#LI5W |
| polar decomposition | T80H7EKDTD | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q2101158, MathWorld PolarDecomposition, nLab polar decomposition |
| polar decompositions in $\mathrm{GL}(n, \C)$ | 82ZDT4FP69 | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > polar decompositions in $\mathrm{GL}(n, \C)$ |
| polar decompositions in $\mathrm{GL}(n, \R)$ | 4B8G7H3QAX | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > polar decompositions in $\mathrm{GL}(n, \R)$ |
| Polar form | F9EMPKE9NS | 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.25120#RVP6 |
| polar form of a quadratic | 6H8NDWB4M5 | unknown | open | mathlib_overview Linear algebra > Bilinear and quadratic forms > polar form of a quadratic, Mathlib QuadraticMap.polar, mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Quadratic forms > polar form of a quadratic |
| polar homology | FVY3A7BVKM | unknown | open | Wikidata Q7209084, nLab polar homology |
| Polar radical and polar rank | E454PB0JEC | 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.15815#GHVM |
| Polar set | TJV0DJHEZ6 | 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.39409#JG3H |
| polar set | WW9GS76WTJ | concept | open | Wikidata Q2101025, MathWorld VectorSpacePolar |
| polar sine | VNS23V3KXA | concept | open | Wikidata Q7209101, MathWorld PolarSine |
| polar submanifolds for one trace | MTPEP72KDX | 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.04000#MD5W |
| polar vector | GFEFSB0FZS | concept | open | Wikidata Q109622094, MathWorld PolarVector |
| Polaris | S877797GB5 | definition | open | Wikidata Q12980, ProofWiki Definition:Polaris |
| polarity | F02FZRBXXA | concept | open | hott_book index/1.12/polarity |
| polarization identity | 194RYRPBZ9 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1817177, nLab polarization identity |
| Polarized constant-core packet | Z3FP9SH397 | 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.24962#EYDG |
| pole | HNJN17CM97 | definition | open | Wikidata Q899731, EoM Pole_(of_a_function), MathWorld Pole, ProofWiki Definition:Isolated_Singularity/Pole |
| pole and polar | PHP70HN339 | unknown | open | Wikidata Q1751490, MathWorld Polar |
| Policy convergence under strong convexity | XPV9PMWFWD | 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.39837#6WAR |
| Policy gradient theorem | F912TNA22H | 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.04117#XM4X |
| Policy learning under maintained coverage | 83ZEE5ZRRQ | 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#0NH7 |
| Policy switch at stopping times | WRQSV65P9R | 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 2609.39274#4AMW |
| Polignac's conjecture | N8HYBZM129 | conjecture | open | Wikidata Q1402534, MathWorld dePolignacsConjecture |