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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 6701–6800 of 13732.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| positive cone | YXK6NKW7C3 | unknown | open | mathlib_overview Geometry > Convex geometry > positive cone, Mathlib ConvexCone.positive |
| Positive cone of an ordered field | AB11JFAT3P | unknown | open | Wikipedia Ordered field#9NAX |
| Positive cone of an ordered vector space | 2QS0AW3KG8 | unknown | open | Wikipedia Ordered vector space#PJRB |
| 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 constrained kernel | XEBYCPHTYV | 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.20197#0F5D |
| Positive current | 59VTXCMJ2P | definition | open | Wikipedia Positive current, Wikidata Q7233260 |
| 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 | 8EMYD3DSDH | definition | open | Wikipedia Positive definiteness, Wikidata Q7233276 |
| Positive Definiteness | HG1TNEFTX5 | 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.20041#FBQG |
| 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 | definition | open | Wikidata Q2627013, MathWorld PositiveElement, nLab positive operator, Wikipedia Positive operator |
| Positive element | F5WNJAWEC1 | definition | open | Wikipedia Positive element, Wikidata Q124257255 |
| Positive energy theorem | 61K1K29VR4 | statement | open | Wikipedia List of theorems#PTXI |
| positive energy theorem | TWWERSPQS7 | statement | open | mathlib_1000 Q4179283, Wikidata Q4179283, thousand_plus Q4179283, Wikipedia Positive energy theorem, nLab positive energy theorem |
| Positive exponential chaining | 4M0VZ8P6DN | 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.22927#UM3B |
| 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 form | 18MMWP9XYY | definition | open | Wikipedia Positive form, Wikidata Q7233270 |
| 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 harmonic function | CYKFW2R7QJ | definition | open | Wikipedia Positive harmonic function, Wikidata Q7233271 |
| Positive heuristic | C247E0Q4K1 | unknown | open | Wikipedia Paradigm#H72Y |
| 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 kernels on the isoparametric branch | ZMTJVSCEEM | 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.20197#I5A8 |
| Positive linear functional | VYHZDY6JN8 | definition | open | Wikipedia Positive linear functional, Wikidata Q7233279 |
| Positive linear operator | P5MVWNPBNS | definition | open | Wikipedia Positive linear operator, Wikidata Q96399850 |
| 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 numbers | B238E5M9YA | definition | open | Wikipedia List of types of numbers#TKWM |
| 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 polynomial | D70GS3ZB0F | definition | open | Wikipedia Positive polynomial, Wikidata Q7233283 |
| positive power of ten | GG4VGKRH78 | unknown | open | Wikidata Q28874617, MathWorld n-Plex |
| Positive predictive value | Y23BZ9SXC0 | definition | open | Wikipedia List of statistics articles#UQMT |
| Positive propositional calculus | WYZGF2FYNK | unknown | open | Wikipedia List of axiomatic systems in logic#5OFY |
| 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, Wikipedia Positive real numbers |
| 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 semi-orbit | 42KJJECZVW | unknown | open | Wikipedia Orbit (dynamics)#IDZ5 |
| Positive semidefinite matrices | QXG5MD1SX2 | unknown | open | Wikipedia Definite matrix#SDTX |
| 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 set theory | 5DYD94KXVE | definition | open | Wikipedia Positive set theory, Wikidata Q7233294 |
| Positive set theory | D8FS72DJCK | definition | open | Wikipedia List of alternative set theories#06TR, Wikipedia List of first-order theories#890J |
| positive set theory | KVREAGX0JV | definition | open | Wikipedia Glossary of set theory#4GG1 |
| positive skew | Q7QSTV1VCX | definition | open | Wikipedia Skewness#DGA5 |
| 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 Weyl chamber | 6DXMREDN8T | unknown | open | Wikipedia Weyl group#TI9J |
| 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 | 4HXFP5HP1G | definition | open | Wikipedia List of harmonic analysis topics#IBN8 |
| positive-definite function | HDQD69KKH2 | definition | open | Wikidata Q2293170, MathWorld PositiveDefiniteFunction, Wikipedia Positive-definite function |
| Positive-definite function on a group | 5HPYQM6TQ2 | definition | open | Wikipedia Positive-definite function on a group, Wikidata Q7233206 |
| Positive-definite kernel | J8WGJ8KRNK | definition | open | Wikipedia Positive-definite kernel, Wikidata Q7233207 |
| 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-energy representation | 82JTWDHG78 | definition | open | Wikipedia Glossary of representation theory#57RQ |
| 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 | definition | open | Wikidata Q907206, nLab positive-operator-valued measure, Wikipedia POVM |
| 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-real function | 52G2CEMKSW | definition | open | Wikipedia Positive-real function, Wikidata Q7233208 |
| 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 |
| Positive-tolerance partition design remains strongly NP-hard | HS1H3KCM0C | 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.21523#CRLG |