Object Oriented and Functional Programming for Symbolic Manipulation
Obtaining Exact Interpolation Multivariate Polynomial by Approximation
On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems
On Computing Groebner Basis in the Rings of Differential Operators
On computing the Hermite form of a matrix of differential polynomials
On Consensus under Polynomial Protocols
On decomposition of tame polynomials and rational functions
On factorization and solution of multidimensional linear partial differential equations
On finding multiplicities of characteristic polynomial factors of black-box matrices
On Kahan's Rules for Determining Branch Cuts
On rational definite summation
On Ritt's decomposition Theorem in the case of finite fields
On the asymptotic and practical complexity of solving bivariate systems over the reals
On the complexity of computing with zero-dimensional triangular sets
On the Complexity of Solving a Bivariate Polynomial System
On the Complexity of Solving Quadratic Boolean Systems
On the Complexity of the Generalized MinRank Problem
On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity
On the Computation of Matrices of Traces and Radicals of Ideals
On the Different Shapes Arising in a Family of Rational Curves Depending on a Parameter