next up previous contents index Next: Introduction

  • La page de J-P. Merlet
  • J-P. Merlet home page
  • La page Présentation de COPRIN
  • COPRIN home page
  • La page "Présentation" de l'INRIA
  • INRIA home page

    ALIAS-Maple
    The Maple interface for ALIAS
    Version 2.5
    September 2007
    The COPRIN project
    Jean-Pierre Merlet