Telescopers for Rational and Algebraic Functions via Residues
Tensor manipulation in GPL Maxima
TeXmacs interfaces to Maxima, MuPAD and REDUCE
TeXmacs-maxima interface
The $z$-Transform and Automata-Recognizable Systems of Nonhomogeneous Linear Recurrence Equations over Semirings
The acoustic wave equation in the expanding universe. Sachs-Wolfe theorem
The complexity of computing the Hilbert polynomial of smooth equidimensional complex projective varieties
The DMM bound: multivariate (aggregate) separation bounds
The F5 Algorithm in Buchberger's Style
The Hilbert scheme of points and its link with border basis
The integration of systems of linear PDEs using conservation laws of syzygies
The Invar Tensor Package
The Invar tensor package: Differential invariants of Riemann
The Parametric Solution of Underdetermined linear ODEs
The Piranha algebraic manipulator
The Power of Vocabulary: The Case of Cyclotomic Polynomials
The weighted difference substitutions and Nonnegativity Decision of Forms
Théorie de Galois effective : aide mémoire
Time- and Space-Efficient Evaluation of Some Hypergeometric Constants
Topology of 2D and 3D Rational Curves