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 3401–3500 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Positive families of asymptotically optimal reference laws | CKXBNE78AC | 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#17Z4 |
| Positive finite coefficients | 5RGDKE5Q98 | 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.18214#2SSY |
| Positive first moments for every subchain | QAEJCFH0K8 | 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#KQMD |
| Positive Gaussian mixtures | R87QYJNBHT | 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.37615#Q5UM |
| Positive Half-Cauchy common-factor phase diagram | N4PF3949A1 | 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.29658#DDXO |
| Positive Half-Cauchy phase transition under Clayton | 7HBBMPGPFC | 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.29658#CTKH |
| positive integer | C17EEWKPQ7 | definition | open | Wikidata Q16317911, MathWorld PositiveInteger, OEIS A000027, ProofWiki Definition:Strictly_Positive/Integer |
| Positive integral $D(n)$-triple | TZJYDZJCPJ | 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.03121#A5AJ |
| Positive Integrating Factors | 9ZNXZZG8PK | 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.30105#07JA |
| Positive links | 3D693JK6S0 | 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.08583#NOBC |
| Positive links and slice-torus invariants | 8BAKB8F88A | 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.10206#YU5V |
| Positive lower bound on the stationary variance | ZRT2PTEQ96 | 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 2607.28185#76EG |
| Positive margin growth and a trajectory-level coordinate bound | NAJ4PWN1QY | 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#0N1Y |
| positive matrix | 504KBR9D54 | concept | open | austin_ula index/4.5.3/positive-matrix |
| positive matrix | D19SPHV44S | unknown | open | Wikidata Q22582649, MathWorld PositiveMatrix |
| positive measure | CVD9QYMJ5R | unknown | open | mathlib_overview Analysis > Measures and integral calculus > positive measure, Mathlib MeasureTheory.Measure, mathlib_undergrad Measures and integral calculus > Measure theory > positive measure |
| Positive measures for all radial moment sequences | HN80EV31ZV | 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#RQKE |
| Positive moment representation | ER2NVMV6K4 | 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.14069#U3AQ |
| Positive overlap of near-maximizers | E3DDJ2BH8W | 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.06490#SKUL |
| Positive Poisson representation | Q552ZTTYZN | 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.32387#WWSB |
| positive power of ten | GG4VGKRH78 | unknown | open | Wikidata Q28874617, MathWorld n-Plex |
| Positive rational powers | RESJ394YBH | 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.10192#ZJBV |
| positive real number | QAX3QQNV1V | definition | open | Wikidata Q3176558, MathWorld PositiveNumber, nLab positive number, ProofWiki Definition:Positive/Real_Number |
| Positive reconstruction | P9PS34JBJ5 | 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#NMKN |
| Positive refactorization into the minimum-height pattern | MFRB4AC7JP | 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#8EQ3 |
| Positive remaining mass | 4C2D4VQCC5 | 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.13613#PNN6 |
| Positive semidefinite partitions | HSJNQRBBNQ | 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#VMTL |
| Positive solution of $L^mR^m$ | EBHJPAWMV9 | 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.18512#XMHW |
| Positive spectral representation and almost-sure frequency identification | 42P7YGHJV9 | 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.16351#8D4E |
| Positive strip estimate | 83HW26QPV8 | 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.01391#IVIL |
| Positive tail exponent | VT3EB2QV7B | 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.27752#C6SJ |
| Positive threshold | Z00S3SC3N3 | 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.29524#3B2R |
| Positive torus formula | VGMK57VWNE | 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.10828#X47D |
| Positive upper--lower exchange | N55FFSXZZ7 | 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.08568#KPX5 |
| positive, type | FKH8A2E6J7 | concept | open | hott_book index/1.12/positive-type |
| Positive-activity Potts induction | SAZAPJ0VY3 | 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.12456#1ORV |
| Positive-area transfer of the lower mean | N4D3CY4DAN | 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.18788#8T22 |
| Positive-block factorization | ZP4508AEWV | 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.04608#JAXJ |
| positive-definite function | HDQD69KKH2 | unknown | open | Wikidata Q2293170, MathWorld PositiveDefiniteFunction |
| positive-definite matrix | 2Z8JQJ3GJZ | unknown | node (a node has the same name as the row) | Wikidata Q1052034, EoM Positive-definite_form, MathWorld PositiveDefiniteMatrix |
| Positive-definite operator | CY62FNW4YF | 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.14906#WH48 |
| positive-definite quadratic form | R63EXRT7EA | unknown | node (a node has the same name as the row) | Wikidata Q77594017, MathWorld PositiveDefiniteQuadraticForm |
| Positive-definiteness certificate | 2W7P593SJ5 | 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.04357#0S1J |
| positive-degree trivialization | 9EXXJAFM7S | 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.26286#YSA0 |
| Positive-density local solution and continuation | HQWHG91G00 | 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.04894#M37E |
| Positive-depth quadratic saving | 1FDCXHCS8W | 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.14509#EWBH |
| Positive-excess relation bound | 9ZW0A0TQT1 | 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.14509#OXJF |
| Positive-kernel return theorem | HMEMC2RDBB | 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.16351#HCCV |
| Positive-mass closure | J9RA0KHX6R | 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.19837#5EZ8 |
| positive-operator-valued measure | 3SG1VHMVCV | unknown | open | Wikidata Q907206, nLab positive-operator-valued measure |
| Positive-parameter continuation at one fixed mass | MAQCZQD9A5 | 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.18788#QQCT |
| Positive-probability Gaussian instability | WWHXXPR5AG | 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.28198#AN8R |
| Positive-projection Jensen inequality | 2FW15ZH9KQ | 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.19837#INNV |
| positive-semidefinite matrix | 8XQP955FKQ | unknown | node (a node has the same name as the row) | Wikidata Q130344267, MathWorld PositiveSemidefiniteMatrix |
| positive-semidefinite quadratic form | KZ5C43DVJZ | unknown | open | Wikidata Q77594945, MathWorld PositiveSemidefiniteQuadraticForm |
| Positive-stage integral estimate | KTQK7X1V77 | 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.18788#KLUB |
| positivism | HF8JTB8AJD | unknown | open | Wikidata Q131015, nLab positivism |
| Positivity alone does not give branchwise refinement | SZG608TYXH | 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#AXTA |
| Positivity alternative | XKB3NGEBKG | 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.00339#E6O7 |
| Positivity criterion at depth | 1KMYVF3NVC | 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.04357#D8W8 |
| Positivity from root existence | 6ABEKQMRTJ | 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.07905#PVM2 |
| Positivity in dimensions five through seven | BP10GCY47P | 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.05421#ONZ0 |
| Positivity in the mean for Problem $\mathcal{A}$ | M50QHYH285 | 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.32206#O6LZ |
| Positivity in the mean for Problem $\mathcal{B}$ | 4REAKSSQDP | 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.32206#RVBB |
| Positivity of $\kappa_s(U,T)-\kappa_s(W,T\cap W)$ | SY0X231JZR | 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.40252#Q9JX |
| Positivity of $\Real(s^\gamma)$ in the right half-plane | VP05D3572W | 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.06631#T6JZ |
| Positivity of $P_h^N$ | XWPSJ07FW8 | 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.25912#0UZ6 |
| Positivity of the AG Gap Function | ZZ4E04DAMV | 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.20364#53MP |
| Positivity of the edge speeds | G3ST6K9H7Z | 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.18312#X970 |
| Positivity of the empirical marginal state | 5RGQSPEWZ6 | 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#TYCH |
| Positivity of the Gap Function for $SO_{11}$ | J4BXRJWBHT | 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.20364#07K1 |
| Positivity of the observable coefficients | YE55ENP24Y | 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.20090#15BF |
| Positivity of the plateau polynomial | RG2X5AW4P0 | 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.06480#OORO |
| Positivity of the spiral kernel | SCSEXS1APK | 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#TCL6 |
| Positivity of the three-point matrices | 39V8TV89DF | 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#9GTE |
| Positivity on the full range | 8M2R4WAEKK | 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#NLSW |
| Positivity on the whole boundary | 8GM328ZMBZ | 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#AZNC |
| positron | PAHB4TZ8YN | definition | open | Wikidata Q3229, nLab positron, ProofWiki Definition:Positron |
| Possible values argument | XC8SBW6RS7 | statement | open | napkin tex/set-theory/CH.tex#lemma-2 |
| possibly infinite tensor product | ZYQ04MDACW | unknown | open | Wikidata Q141726204, nLab infinitary tensor product |
| Post's theorem | NSXD66D26T | statement | open | mathlib_1000 Q3007384, Wikidata Q3007384, thousand_plus Q3007384, Wikipedia Post's theorem |
| Post-deviation conflicts | TKHDFY3SDK | 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.04948#M7DF |
| Post-layer vacuum-compatible estimate | 9744X7RYM1 | 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.04894#8PZQ |
| Post-Message Loss Decomposes into Three Stages | A2ZPJAGD6C | 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.03769#DF5D |
| Postage stamp problem | 7D6SEFBXTD | problem | open | Wikidata Q7233768, MathWorld PostageStampProblem |
| Posterior and Evidence at Finite $L$ | JN3E932RMR | 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 2212.14457#RC1N |
| Posterior and Evidence at Fixed $\lpost$ | ZHM6D3MCSW | 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 2212.14457#5VQW |
| Posterior and Evidence at Fixed $\lpre$ | 9NG8WW7T3D | 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 2212.14457#W637 |
| Posterior averaging bound | K9KECRTZCZ | 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.05333#VIV4 |
| Posterior Bayes action | 46P0TE6G8P | 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.29348#I3S3 |
| Posterior consistency | G9S6AP68B9 | 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.02893#RJ79 |
| Posterior Contraction Rate | FB4FETGJ0Q | 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.07240#63NB |
| Posterior covariance in the multinomial experiment | PCAJ5C3VPX | 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.29348#UQSW |
| Posterior covariance matrices | CSRQPRF50Z | 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#LW8F |
| Posterior covariance minorization | NBA0P2KY02 | 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#6WZQ |
| Posterior covariance moment bounds | 1Y3X27GNB6 | 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#I6O8 |
| Posterior log-loss regret and induced rank regret | JGY2XCX75S | 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.29688#GH48 |
| Posterior predictive state for product Haar-POVM data | VEDPSP4SRG | 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#765V |
| Posterior rigidity at the entropy frontier | MH5H4RNAHK | 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#BYXL |
| Posterior variance in the negative-binomial experiment | EDC1DWX0EH | 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.29348#9UCS |