Differential invariants of a Lie group action: syzygies on a generating set

Differentiation of Kaltofen's division-free determinant algorithm

Digital Version of Green`s Theorem and its Application to The Coverage Problem in Formal Verification

Diversification improves interpolation

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

Factorization in categories of systems of linear partial differential equations

Factorization of linear partial differential operators and Darboux integrability of nonlinear PDEs

Fast (Multi-)Evaluation of Linearly Recurrent Sequences: Improvements and Applications

Fast algorithms for differential equations in positive characteristic

Fast Arithmetics in Artin-Schreier Towers over Finite Fields