To: seminaire-gallium-moscova@inria.fr
From: Francois.Pottier@inria.fr
Subject: SEM - INRIA : Gallium - 23/06/08 - Paris - FR

           Vous pouvez vous abonner à nos annonces de séminaires
                    http://pauillac.inria.fr/seminaires/

                             S E M I N A I R E
       __                                  
      / _`  _   /  /  o                       /| /|   __  __  __ __    _  _
     /   ) __) /  /  / /  / /\/|    -----    / |/ |  /  )(_  /  /  ) ) ) __)
    (___/ (_/ (_ (_ / (__/ /   |            /     | (__/ __)(_ (__/ (_/ (_/
                                                
                          I N R I A - Rocquencourt
                         Amphi Turing du bâtiment 1

                            Lundi 23 juin, 10h30

                              ----------------
                              Gabriel Dos Reis
                              ----------------

                            Texas A&M University

        ===========================================================
        OpenAxiom: A Categorial Platform for Scientific Computation
        ===========================================================

OpenAxiom is an open source platform for scientific computation, with a bias
toward Computer Algebra. It is an evolution of the Scratchpad-II/AXIOM system.
OpenAxiom distinguishes itself from conventional computer algebra systems in
its systematic use of a two-level type system: domains and categories.
Domains provide representations for values and implementations for operations,
while categories provide structures for domains.  The OpenAxiom system has
over 1200 categories and domains for algebraic computations (polynomial system
solvers, Groebner basis computations), certified numerical computations
(interval arithmetic), semantics-based program transformations (algorithmic
differentiation), etc.  This talk will discuss challenges in a `type-based'
approach to algebraic and symbolic computations, including work in progress
such as linguistic support for formally verified computer algebra algorithms.

OpenAxiom: http://www.open-axiom.org/