Effective Bounds for P-Recursive Sequences

Effective partitioning method for computing weighted Moore-Penrose inverse

Efficient algorithm for computing the Euler-Poincaré characteristic of a semi-algebraic set defined by few quadratic inequalities

Efficient Characteristic Set Algorithms for Equation Solving in Finite Fields and Applications in Cryptanalysis

Efficient Computation of the Characteristic Polynomial

Efficient dot product over word-size finite fields

Efficient polynomial time algorithms computing industrial-strength primitive roots

Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem

Explicit factors of some iterated resultants and discriminants

Explicit formula for the generating series of diagonal 3D rook paths

Extension of the functionality of the symbolic program FORM by external software