FoCaL: A Framework for Effective Mathematics - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

FoCaL: A Framework for Effective Mathematics

Renaud Rioboo
  • Fonction : Auteur
  • PersonId : 966166
Fichier non déposé

Dates et versions

hal-01352031 , version 1 (05-08-2016)

Identifiants

  • HAL Id : hal-01352031 , version 1

Citer

Renaud Rioboo. FoCaL: A Framework for Effective Mathematics. Workshop on Open Challenges for Computer Algebra, 2006, Dagstuhl, Germany. ⟨hal-01352031⟩
23 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More