"E pluribus unum" or How to Derive Single-equation Descriptions for Output-quantities in Nonlinear Circuits using Differential Algebra
"On the engineers' new toolbox" or Analog Circuit Design, using Symbolic Analysis, Computer Algebra, and Elementary Network Transformations
A baby steps/giant steps Monte Carlo algorithm for computing roadmaps in smooth compact real hypersurfaces
A bound on the minimum of a real positive polynomial over the standard simplex
A cache-friendly truncated FFT
A comparison of four approaches to the calculation of conservation laws
A complete algorithm to find exact minimal polynomial by approximations
A Complete Method for Checking Hurwitz Stability of a Polytope of Matrices
A correct proof of the heuristic GCD algorithm
A fast algorithm for reversion of power series
A Fast Approach to Creative Telescoping
A formal calculus on the Riordan near algebra
A General Solver Based on Sparse Resultants
A Generalized Criterion for Signature Related Gröbner Basis Algorithms
A Generalized Criterion for Signature-based Algorithms to Compute Gröbner Bases
A linear algebra approach to the differentiation index of generic DAE systems
A local construction of the Smith normal form of a matrix polynomial
A Majorization Order on Monomials and Termination of a Successive Difference Substitution Algorithm
A Maple Package for Computing Groebner Bases for Linear Recurrence Relations
A New Algorithm for Inverting General Cyclic Heptadiagonal Matrices Recursively