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 1201–1300 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Parseval's integral | SGGBPM6XDD | unknown | open | Wikidata Q5678051, MathWorld ParsevalsIntegral |
| Parseval's theorem | P9AGCNT6B8 | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1443036, Mathlib tsum_sq_fourierCoeff, Wikidata Q1443036, mathlib_overview Analysis > Fourier analysis > Parseval formula for Fourier series, mathlib_undergrad Measures and integral calculus > Fourier analysis > Parseval theorem, thousand_plus Q1443036, Wikipedia Parseval's theorem, MathWorld ParsevalsTheorem, nLab Parseval's theorem, Wikidata Q944238, EoM Parseval_equality |
| Parseval's theorem | YF5S7QKKYN | concept | open | lebl_ra index/1.8.6/parseval-s-theorem |
| Parseval\footnote{ Named after the French mathematician \href{https://en.wikipedia.org/wiki/Marc-Antoine_Parseval}{Marc-Antoine Parseval} (1755--1836).} | 585MPF0WC0 | statement | open | lebl_ra ch-approximate.tex#thm-3 |
| Part I: the saturated regime | JGTWMFHN50 | 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#4FBG |
| Part II: the nonsaturated regime | 2HNF1TP4JZ | 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#DN0K |
| Parthasarathy's theorem | GFMSQN41D7 | statement | open | mathlib_1000 Q7140218, Wikidata Q7140218, thousand_plus Q7140218, Wikipedia Parthasarathy's theorem |
| partial algebra | X2NYTHCYW5 | unknown | open | Wikidata Q18386809, MathWorld PartialAlgebra |
| Partial condensation | 3Y9CZQ3AND | 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.02407#ACZD |
| Partial construction of flows | WVR4JC5SY6 | 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.31294#UCH7 |
| partial denominator | 6FT44J4WWN | unknown | open | Wikidata Q141498999, MathWorld PartialDenominator, MathWorld PartialQuotient |
| partial derivative | 2SV36AP64R | concept | node (a node has the same name as the row) | Wikidata Q186475, MathWorld PartialDerivative |
| partial derivatives | JR8P4RY8C0 | unknown | open | mathlib_undergrad Multivariable calculus > Differential calculus > partial derivatives |
| partial derivatives commute | 3PCVDMGQ8V | unknown | open | mathlib_undergrad Multivariable calculus > Differential calculus > partial derivatives commute, Mathlib second_derivative_symmetric |
| Partial derivatives of $\Phi$ | HPGTSR0WQP | unknown | open | |
| Partial derivatives of $f(x,y) = x^2+y^2$ | YGXAX2Y14B | example | open | napkin tex/diffgeo/multivar.tex#example-2 |
| Partial differential equation | H848QF9R1V | concept | open | lebl_diffyqs index/6.9/partial-differential-equation |
| partial differential equation | PTYFXNF4GT | topic | open | Wikidata Q271977, EoM Differential_equation,_partial, MathWorld PartialDifferentialEquation, ProofWiki Definition:Differential_Equation/Partial |
| partial differential equation | VA4S7FSXFK | concept | open | lebl_diffyqs index/6.8.2/partial-differential-equation |
| partial equivalence relation | ACJM3NMSWH | unknown | open | Wikidata Q7140366, nLab partial equivalence relation |
| partial evaluation | V1NK118CEF | unknown | open | Wikidata Q4008398, MathWorld PartialEvaluation |
| Partial flatness | 8C7V0DB7N6 | 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.17371#HZLE |
| partial fraction decomposition | CEHTA31B89 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q431617, EoM Undetermined_coefficients,_method_of, MathWorld PartialFractionDecomposition, ProofWiki Definition:Partial_Fractions_Expansion |
| partial fractions | 68AGB2FXGM | concept | open | active_calculus index/5.5.2/partial-fractions |
| Partial free difference quotients | YCDKJBS3X9 | 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.22109#5FEH |
| partial function | HF88V68AJT | unknown | open | Wikidata Q1756942, MathWorld PartialFunction, nLab partial function |
| partial homomorphism | 5B6JP2HDRX | 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 2405.14678#LEYW |
| partial homomorphism | SVJHET2WPS | 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 2405.14678#RFFX |
| Partial hyperbolicity | W8KPFCDCN7 | 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 2009.11127#DQ45 |
| partial numerator | VBG18R68F2 | unknown | open | Wikidata Q141499021, MathWorld PartialNumerator |
| Partial order | 54XD2R1AKV | definition | open | open_logic content/sets-functions-relations/relations/orders.tex#defn-2 |
| partial order | 8SRVF42H1J | unknown | node (a node has the same name as the row) | Wikidata Q1069998, EoM Partial_order, MathWorld PartialOrder, nLab partial order |
| partial order | HCCYB3X77J | concept | open | hott_book index/B.2.1/partial-order |
| Partial parabolic smoothing | GSNGR1MWQ5 | 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.22090#NV5I |
| partial pivoting | 4CBTSNA8S5 | concept | open | austin_ula index/5.1.2/partial-pivoting |
| partial Postnikov systems | 7VQB8W6P55 | 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.03497#4JFP |
| Partial representation of the bisection pseudogroup | QEX4G54NZ2 | 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#PZMW |
| Partial stagnation | RE7AF865CT | 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.10819#4GBQ |
| partial sum | N87BJDZR27 | unknown | node (a node has the same name as the row) | Wikidata Q91251069, MathWorld PartialSum |
| partial sums | 9K25GRA64Q | concept | open | levin_dmoi index/3.2.1/partial-sums |
| Partial SWAP evaluation | RPA09DZ80Z | 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#2FTN |
| Partial trace | 7KXG7YJ4AB | 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.01855#MG85 |
| partial trace | Y1Q9KMKJYS | unknown | open | Wikidata Q7140394, nLab partial trace |
| Partial-pattern count | Z83J8PW80T | 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.15421#YHWU |
| partially ordered set | PQCHK1SFXE | concept | open | applied_combinatorics index/6.1/partially-ordered-set |
| partially ordered set | PQTC2THJDE | topic | node (a node has the same Wikidata item as the row) | Wikidata Q474715, MathWorld PartiallyOrderedSet |
| Partially unwrapped covers | EP6B444QVN | 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.18219#CV3B |
| particle accelerator | K3X3VKG93Y | unknown | open | Wikidata Q130825, nLab particle accelerator |
| particle physics | WNBAWV60FM | definition | open | Wikidata Q18334, nLab particle physics, ProofWiki Definition:Particle_Physics |
| particle physics phenomenology | CBWZ92RJAT | unknown | open | Wikidata Q2993342, nLab phenomenology |
| particle statistics | KFZAJJAZ4F | unknown | open | Wikidata Q611755, nLab particle statistics |
| partisan game | TJCSSNMHRN | unknown | open | Wikidata Q3177942, MathWorld PartisanGame |
| Partition decomposition | 4WAPBPRK3W | 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.39700#1B77 |
| Partition estimates | 88YVKF1MJZ | 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.17276#4PSF |
| Partition expansion of the reduced tau function | WJ0DSDZQ3C | 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.00396#NOLU |
| partition function | T745P271C1 | object | node (a node has the same name as the row) | Wikidata Q15846551, MathWorld PartitionFunction, MathWorld PartitionFunctionP, OEIS A000041 |
| Partition function asymptotics | 4GVE70N7Z4 | 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.14616#0O6M |
| Partition function in one short block | WMX7EBGHV1 | 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#Z74H |
| Partition lemma | F0V1M61DVN | 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.40290#GGMH |
| partition of a set | 5VBN0M01EZ | definition | node (a node has the same name as the row) | Wikidata Q381060, MathWorld SetPartition, ProofWiki Definition:Set_Partition |
| Partition of bounded conditional mean | 9QEDGN44DJ | 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.25388#X019 |
| Partition of trees | HY9BV6QMAE | 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 2312.05005#DA6Q |
| partition of unity | H0PSV59E5H | definition | open | Wikidata Q191690, MathWorld PartitionofUnity, nLab partition of unity, ProofWiki Definition:Partition_of_Unity_(Topology) |
| Partition Pooling | AAXWT617Z8 | 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.10167#2RYJ |
| Partition regular | 1KHW9XPE6P | 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 1806.05002#DBME |
| Partition vector | ZE70J7XCHF | 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.08787#7LIE |
| Partition via characteristics | 5G1D9E1VHQ | 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.17129#2X12 |
| Partition vs. analytic rank problem | AAS4VDK14Q | 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.33733#QJSJ |
| Partition vs. analytic rank problem | ZRNJ8X82AS | 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.33733#2HS5 |
| partition, antichain | 23C5ADDCCX | concept | open | applied_combinatorics index/16.1.1/partition-antichain |
| partition, dual | P5T9P7PJC5 | concept | open | applied_combinatorics index/16.5/partition-dual |
| partition, of an integer | ESJ30PSFEF | concept | open | applied_combinatorics index/16.5.1/partition-of-an-integer |
| partition, of an integer | V7CQ5JB84H | concept | open | applied_combinatorics index/8.5/partition-of-an-integer |
| Partition-decoupling forces large Fourier norm | KY2FBMECR5 | 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.26619#8GN6 |
| Partition-linking graph | WS9C6QFXSZ | 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.39269#5L2C |
| Partition-product bound | SJXJ0GXZWB | 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.35325#8ZAX |
| Partitioning according to equalities among tampered inputs | V8BJTA7S4B | 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.02407#JMRG |
| Partitions and discretization parameter | AV5Q7DTCFP | 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.29153#2QEI |
| partitions of unity | PVTMM4WWN2 | unknown | open | mathlib_undergrad Distribution calculus > Spaces $\mathcal{D}(\R^d)$ > partitions of unity |
| PARTZ5S4Y6 | PARTZ5S4Y6 | 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.10505#3DCC |
| PARZ91XTQ2 | PARZ91XTQ2 | exercise | open | lebl_ra ch-vol1-intro.tex#exercise-2 |
| pascal | YM1MS8CTFE | definition | open | Wikidata Q44395, ProofWiki Definition:SI/Pressure/Pascal |
| Pascal formula | BG92WGP2CP | 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.36389#UO7B |
| Pascal Hitzler | SKN4FDPASP | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q30103406, nLab Pascal Hitzler |
| Pascal line | Z3N4MQJH3K | unknown | open | Wikidata Q2390131, MathWorld PascalLines |
| Pascal matrix | YYTJ3BVP6M | unknown | open | Wikidata Q7141739, MathWorld PascalMatrix |
| pascal second | A308W7B4RP | definition | open | Wikidata Q21016931, ProofWiki Definition:Pascal_Second |
| Pascal's law | Z88W1SVT6N | statement | open | Wikidata Q190760, ProofWiki Pascal's_Law |
| Pascal's rule | 9992VXCXRQ | statement | node (a node has the same Wikidata item as the row) | Wikidata Q17099544, MathWorld PascalsFormula |
| Pascal's theorem | SNPZV0X64C | statement | open | mathlib_1000 Q899002, Wikidata Q899002, thousand_plus Q899002, Wikipedia Pascal's theorem, MathWorld PascalsTheorem |
| Pascal's triangle | 9EAX2NK7G7 | concept | open | levin_dmoi index/2.2.5/pascal-s-triangle |
| Pascal's triangle | WMNSWXJXWY | definition | node (a node has the same Wikidata item as the row) | Wikidata Q177051, EoM Pascal_triangle, MathWorld PascalsTriangle, OEIS A007318, ProofWiki Definition:Pascal's_Triangle |
| Pascal's Wager | 80YTRFNJGV | statement | open | Wikidata Q830200, MathWorld PascalsWager, ProofWiki Pascal's_Wager |
| Pascal’s Hexagon Theorem | R0HKPYYJB9 | statement | open | mathlib_100 28 |
| Pasch configuration | 1D34A3JY9V | concept | open | Wikidata Q130497145, MathWorld PaschConfiguration |
| Pasch's axiom | 1X10M6J2VJ | unknown | open | Wikidata Q792528, MathWorld PaschsAxiom |
| Pasch's theorem | EF04WBTZPC | statement | open | mathlib_1000 Q951327, Wikidata Q951327, thousand_plus Q951327, Wikipedia Pasch's theorem, MathWorld PaschsTheorem |
| Pascual Jordan | XDVRYVHBTE | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q61761, nLab Pascual Jordan |
| PASFZA5EF8 | PASFZA5EF8 | 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.25896#POFG |
| Pass lengths | E74MM4H619 | 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.12713#74Z7 |