Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete
Deflation and Certified Isolation of Singular Zeros of Polynomial Systems
Dense Linear Algebra over Finite Fields: the FFLAS and FFPACK packages
Detecting lacunary perfect powers and computing their roots
Detecting Simultaneous Integer Relations for Several Real Vectors
Differential Equations for Algebraic Functions
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