An object-oriented model for the certified computer algebra library - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

An object-oriented model for the certified computer algebra library

Stéphane Fechter
  • Fonction : Auteur
  • PersonId : 1010794
Fichier non déposé

Dates et versions

hal-01543982 , version 1 (21-06-2017)

Identifiants

  • HAL Id : hal-01543982 , version 1

Citer

Stéphane Fechter. An object-oriented model for the certified computer algebra library. Formal Methods for Open Object-Based Distributed Systems (FMOODS) PhD workshop, Mar 2002, University of Twente, Netherlands. ⟨hal-01543982⟩
21 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More