Julio Rubio García (Universidad de la Rioja, España (Spain))

Title: Symbolic Computation Systems as Sotfware Systems

Abstract. In symbolic computation systems much
attention is paid to the design and
implementation of efficient algorithms.
Usually, less effort is devoted to other
aspects of the software development
process, as specification or usability.

In the talk, an initiative to get a more
holistic view of symbolic computation systems
is presented. Our interests range from the use
of formal methods (as algebraic specification,
or certification of program correctness by means
of Automated Theorem Provers) to interoperability
issues (based on XML interfaces), without forgetting
the classical aspects of improving systems scope (new algorithms).

These ideas will be illustrated through examples
extracted from programs to compute in Algebraic Topology.