Orthonormal RBF wavelet and ridgelet-like series and transforms for high-dimensional problems

OTTER 3.3 Reference Manual

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

Q-adic Transform revisited

Quantifier Elimination over Finite Fields Using Gröbner Bases

Random polynomials and expected complexity of bisection methods for real solving

Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes

Rational Hadamard products via Quantum Diagonal Operators