An Elimination Method for Solving Bivariate Polynomial Systems: Eliminating the Usual Drawbacks
An Example of Clifford Algebras Calculations with GiNaC
An Introduction to Using Software Tools for Automatic Differentiation
An OpenMath Content Dictionary for Tensor Concepts
Approximating Mathematical Semantic Web Services Using Approximation Formulas and Numerical Methods
Automated code generation for discontinuous Galerkin methods
Automated derivation of the adjoint of high-level transient finite element programs
Automatic Deduction in Dynamic Geometry using Sage
Automatic Differentiation Tools in Optimization Software
Automatic generation of non-uniform random variates for arbitrary pointwise computable probability densities by tiling