Can the Eureqa symbolic regression program, computer algebra and numerical analysis help each other?

Caractéristiques arithmétiques des processeurs graphiques

Certification of bounds on expressions involving rounded operators

Classdesc and Graphcode: support for scientific programming in C++

Classifying extrema using intervals

Comments on the Reliability of Lawson and Hanson's Linear Distance Programming Algorithm: Subroutine LDP

Computational Complexity of Iterated Maps on the Interval (Extended Abstract)

Computer validated proofs of a toolset for adaptable arithmetic

Conformal Computing: Algebraically connecting the hardware/software boundary using a uniform approach to high-performance computation for software and hardware applications

Coupling Methodology within the Software Platform Alliances