Parallel computation of real solving bivariate polynomial systems by zero-matching method

Parameterized Telescoping Proves Algebraic Independence of Sums

Parameterized Type Definitions in Mathematica: Methods and Advantages

ParFORM: Parallel Version of the Symbolic Manipulation Program FORM

ParFORM: recent development

Partial Denominator Bounds for Partial Linear Difference Equations

Pattern Classification In Symbolic Streams via Semantic Annihilation of Information

Performance Comparison of Function Evaluation Methods

Polynomial integration on regions defined by a triangle and a conic

Polynomial Time Nondimensionalisation of Ordinary Differential Equations via their Lie Point Symmetries

Polynomial-time computing over quadratic maps I: sampling in real algebraic sets

Power Series Composition and Change of Basis

Products of Ordinary Differential Operators by Evaluation and Interpolation