Math 2.0

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.

Rows 4101–4200 of 5460.

NameIdKindOutcomeSources
principal ideal domainE919PXDQR4definitionnode (a node has the same Wikidata item as the row)Wikidata Q1143969, EoM Principal_ideal_domain, MathWorld PrincipalIdealDomain, nLab principal ideal domain, ProofWiki Definition:Principal_Ideal_Domain
principal ideal ring50Y6KE05YWunknownopenWikidata Q2905043, EoM Principal_ideal_ring, MathWorld PrincipalRing
Principal ideal theoremX07G0NVDBRstatementopenmathlib_1000 Q3527196, Wikidata Q3527196, thousand_plus Q3527196, Wikipedia Principal ideal theorem
principal part9VAR272T2Tconceptnode (a node has the same name as the row)Wikidata Q7245087, MathWorld PrincipalPart
Principal pyramid2TB1WREV9Hdefinitionrecord (an 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.26262#TF2C
principal root of unitySPWX0GBXRDconceptopenWikidata Q25303623, MathWorld PrincipalRootofUnity
Principal specialization180TFNW6J5statementrecord (an 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.12326#CNPA
principal specializationsYSK6GRX0XEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2211.01586#0DTD, arXiv 2610.12326#7HPR
principal valueERGSNTZE00unknownnode (a node has the same Wikidata item as the row)Wikidata Q6126499, MathWorld PrincipalValue
Principalization extension8R3WN6GE5Cstatementrecord (an 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.35229#NJJY
Principia MathematicaEHE7F62QTWunknownout_of_scope (a book, not an item of mathematics)Wikidata Q163335, nLab Principia Mathematica, ProofWiki Book:Alfred_North_Whitehead/Principia_Mathematica
principleT1D9HRBH5VunknownopenWikidata Q211364, MathWorld Principle
Principle of Complete Mathematical InductionP00GWVDPZ0statementopenernst_ibl MAAPressVersion/CompleteInduction.tex#theorem-1
principle of computational equivalenceFDRC9MN3PQunknownopenWikidata Q17990750, MathWorld PrincipleofComputationalEquivalence
principle of excluded middle2SZ7R66N5Vstatementnode (a node has the same Wikidata item as the row)Wikidata Q468422, ProofWiki Law_of_Excluded_Middle
principle of inclusion-exclusion2DSKEV12RXconceptopenapplied_combinatorics index/7.2/principle-of-inclusion-exclusion
Principle of Inclusion-Exclusion8MVKRJ3PQ4statementopenapplied_combinatorics source/s_inclusion-exclusion_statement.ptx#thm_inclusion-exclusion
principle of inclusion/exclusion1EDPPTQ9F3conceptopenlevin_dmoi index/2.1.2/principle-of-inclusion-exclusion
Principle of Inclusion/ExclusionKYJT70F1K8statementopenmathlib_100 96, Mathlib Finset.inclusion_exclusion_sum_biUnion, Mathlib Finset.inclusion_exclusion_card_biUnion, Mathlib Finset.inclusion_exclusion_sum_inf_compl, Mathlib Finset.inclusion_exclusion_card_inf_compl
principle of induction5XBXPEJGZQconceptopenlebl_ra index/11.9.2/principle-of-induction
Principle of inductionG2N3JB62AXstatementopenlebl_ra ch-vol1-intro.tex#induction:thm
Principle of InductionTRQH1KMDBJstatementopenapplied_combinatorics source/s_background_formal-num-sys.ptx#principle-1
principle of isolated zerosRK725KEMF1unknownopenmathlib_overview Analysis > Complex analysis > principle of isolated zeros, Mathlib AnalyticAt.eventually_eq_zero_or_eventually_ne_zero, mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > principle of isolated zeros
principle of least action7A4N3JRFWTunknownopenWikidata Q722799, nLab principle of least action
Principle of Mathematical Induction4S62WK129Fstatementopenapplied_combinatorics source/s_induction_induction.ptx#princ_math-induction
Principle of Mathematical Induction938CE51CY3statementopenernst_ibl MAAPressVersion/MoreInduction.tex#thm:PMI2
Principle of Mathematical InductionA0MSSZQR1Fstatementopenernst_ibl MAAPressVersion/IntroInduction.tex#thm:PMI
principle of mathematical inductionA9S2EJPE8NstatementopenWikidata Q54500890, EoM Induction_axiom, MathWorld PrincipleofMathematicalInduction, ProofWiki Principle_of_Mathematical_Induction
principle of permanenceFPTCA339RMconceptopenWikidata Q7245167, MathWorld PrincipleofPermanence
principle of relativityK7QV13J60RunknownopenWikidata Q945995, EoM Relativity_principle
Principle of strong induction7KGH6RH2G3statementopenlebl_ra ch-vol1-intro.tex#thm-2
principle of strong inductionCSAM73QXXFconceptopenlebl_ra index/11.9.2/principle-of-strong-induction
principle of sufficient reason1JMNVZNBPNstatementopenWikidata Q636778, ProofWiki Principle_of_Sufficient_Reason
principle rootDQD3MF3B5ZunknownopenWikidata Q141499754, MathWorld PrincipalRoot
Prior concentration and separationSF6BNZN6SSstatementrecord (an 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.10860#SGOX
priority queue75AX91T3ENunknownopenWikidata Q629283, MathWorld PriorityQueue
prismN3ASVJBP64unknownopenWikidata Q180544, EoM Prism, MathWorld Prism
Prism filtrationH3XSWM0E7Xstatementrecord (an 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#JECA
prism graphQJNZ9VV20FunknownopenWikidata Q25303783, MathWorld PrismGraph
Prismatic $F$-gauges12PN42JFW3definitionrecord (an 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.33808#PLB2
prismatoidXXR0WCJ2DHunknownopenWikidata Q1757451, EoM Prismoid, MathWorld Prismatoid
prisoner's dilemma6E2ANWD25BdefinitionopenWikidata Q41693, MathWorld PrisonersDilemma, ProofWiki Definition:Prisoner's_Dilemma
Privacy amplification with continuous side informationYFFNK69HTWstatementrecord (an 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.12413#1KN1
Privacy caps the audit statistic9TTR4R52S8statementrecord (an 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.09206#TA0J
Privacy caps the signed loss difference of every pairPFQ59P78XQstatementrecord (an 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.09206#THR3
Privacy guarantee of Saturated PTRA73SGZHRDHstatementrecord (an 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.05867#X284
Privacy instability at every correlated Gaussian pairKX561WV6FKstatementrecord (an 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#HFVO
Privacy Loss Random VariableV1D7TNTCB6definitionrecord (an 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.19573#HTGZ
Private measure on a finite metric spaceBK005Y3PVWstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.09167#2QNK
Private measure on a finite subset of the interval3QMVQ7KT08statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.09167#H2MN
Private measure on a metric space8W3Z06JGQ5statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.09167#LCB4
Private measure on the cubeDHSXVYX7YHstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.09167#UEJE
Private measure on the cube: a lower boundT0F3WN5CNVstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.09167#YBT6
Private measure on the intervalWMP8SVE2EPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.09167#WBJA
Private measure yields private synthetic data67VG49ZST8statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.09167#FGZ1
Private measure, asymptotically5FZTBWSEMJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.09167#C3DD
Private measure: a lower boundQB9GKA8K9Ystatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.09167#HHMD
Private refinementDDWBPEPW1Fstatementrecord (an 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#XBEA
Private synthetic data in the cubeDZ2YM9K68Pstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.09167#ET55
Private synthetic data in the cube: a lower bound8VW4ZVDP1Cstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.09167#V3NC
Private-image spectrumW270312GMKstatementrecord (an 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.09472#JWSL
PRJ4THZQS3PRJ4THZQS3exerciseopenlebl_diffyqs ch-fourier-and-pde.tex#exercise-41
PRJG0N2BHZPRJG0N2BHZstatementopennapkin tex/calculus/differentiate.tex#theorem-5
PRJJ3N2Z6TPRJJ3N2Z6Tstatementrecord (an 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.18503#H7GX
PRJK3AWN8NPRJK3AWN8Ndefinitionopenaustin_ula src/section3-1.xml#definition-1
PRJKC4KVH2PRJKC4KVH2definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2602.15812#OYO0
PRK4HT4WK8PRK4HT4WK8statementrecord (an 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.04870#KL90
PRKECSG30HPRKECSG30Hstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1012.0963#YBXL
PRKJG55J2WPRKJG55J2Wstatementrecord (an 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.09019#N5OF
PRMBAZ2Y4APRMBAZ2Y4Astatementrecord (an 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#DBII
PRMBX81J56PRMBX81J56statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2111.09700#NY6M
PRMCNY5653PRMCNY5653statementrecord (an 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.39905#TD03
PRMHHCT1HSPRMHHCT1HSdefinitionrecord (an 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.36884#MTDJ
PRMTQ9GWH0PRMTQ9GWH0statementrecord (an 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.09390#CZEB
Pro-MTS and pro-$\sh{T}(0)$-MTS-algebra1AEWAF055Adefinitionrecord (an 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.26896#K4VV
Probabilistic cellular automatonW08W2YQYN1definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv math/0003117#UUYE
Probabilistic color controlVF88G2QSV0definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv math/0003117#4BNI
Probabilistic Sliding-Window GC CapacityQPM8HM6SVQstatementrecord (an 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.09998#JIXP
Probabilistic validity of Formulation 2A785E6QZ6Mstatementrecord (an 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.20539#T9HR
probabilityRCYM4B7YHGdefinitionopenWikidata Q9492, EoM Probability, MathWorld Probability, ProofWiki Definition:Probability
probabilityW7AYPE3XBTconceptopenapplied_combinatorics index/10.1/probability
probability amplitudeQCKHJT5APDunknownopenWikidata Q653850, nLab probability amplitude
probability axiomsJ1FQ0JNN4Bunknownnode (a node has the same Wikidata item as the row)Wikidata Q974605, MathWorld ProbabilityAxioms
Probability cooperadH8ZKX6YC1Qdefinitionrecord (an 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.15006#SNPZ
Probability coordinate chartEY7PESYN4Kdefinitionrecord (an 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.00039#2C06
Probability CoverK29FWZZ5D0definitionrecord (an 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.33946#EZUX
probability density function6D41320J4Wunknownopenmathlib_overview Probability Theory > Random variables and their laws > probability density function, Mathlib MeasureTheory.HasPDF, mathlib_undergrad Probability Theory > Random variables and their laws > probability density function
probability density functionETSJFGDMCHunknownnode (a node has the same Wikidata item as the row)Wikidata Q207522, MathWorld ProbabilityDensityFunction
probability distributionJS6VWZQACJunknownnode (a node has the same name as the row)Wikidata Q200726, MathWorld StatisticalDistribution
probability generating functionsJEBSJ5W4XWunknownopenmathlib_undergrad Probability Theory > Random variables and their laws > probability generating functions
probability measureDDCM3KT19Cdefinitionnode (a node has the same Wikidata item as the row)Wikidata Q355020, MathWorld ProbabilityMeasure, nLab probability distribution, ProofWiki Definition:Probability_Measure
probability measureJP8N6YSN9Wunknownopenmathlib_overview Probability Theory > Definitions in probability theory > probability measure, Mathlib MeasureTheory.IsProbabilityMeasure, mathlib_undergrad Probability Theory > Definitions of a probability space > probability measure
Probability of a fixed flagged matrix4PXNS9T4Y0statementrecord (an 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#CCKI
Probability of failure of localization1322FQ74CPstatementrecord (an 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.06372#RZK2
Probability of Joint Sector Satisfaction6ZCZC91SHZstatementrecord (an 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#AJK9
Probability of Joint Sector Satisfaction8HEQ6DFBDGstatementrecord (an 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#G4NF
Probability of the AMP good eventsC04BSP87FQstatementrecord (an 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#1K95
Probability operadXJNCS1BNKPdefinitionrecord (an 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.15006#N4PL
probability spaceAB7KC69R96definitionnode (a node has the same name as the row)Wikidata Q623472, MathWorld ProbabilitySpace, ProofWiki Definition:Probability_Space
probability theoryK5NACBYN7Wtopicnode (a node has the same Wikidata item as the row)Wikidata Q5862903, nLab probability theory, ProofWiki Definition:Probability_Theory