Implementing an Automatic Differentiator in ACL2
Implementing Gröbner bases for operads
Improved complexity bounds for real root isolation using Continued Fractions
Improved complexity bounds for real root isolation using Continued Fractions
Improvement Of Barreto-Voloch Algorithm For Computing $r$th Roots Over Finite Fields
Integrating multiple sources to answer questions in Algebraic Topology
Interpolation of Shifted-Lacunary Polynomials
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language