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