Communication Dans Un Congrès Année : 2001

Some Hints for polynomials in the Foc project

Sylvain Boulmé
  • Fonction : Auteur
Thérèse Hardin
  • Fonction : Auteur
  • PersonId : 858297
  • IdRef : 031540376
Renaud Rioboo
  • Fonction : Auteur
  • PersonId : 919631

Résumé

The Foc project aims at supporting, within a coherent software system, the entire process of mathematical computation, starting with proved theories, ending with certified implementations of algorithms. In this paper, we explain our design requirements for the implementation, using polynomials as a running example. Indeed, proving correctness of implementations depends heavily on the way this design allows mathematical properties to be truly handled at the programming level.

Fichier non déposé

Dates et versions

hal-01571764 , version 1 (03-08-2017)

Identifiants

  • HAL Id : hal-01571764 , version 1

Citer

Sylvain Boulmé, Thérèse Hardin, Renaud Rioboo. Some Hints for polynomials in the Foc project. Calculemus 2001, Jun 2001, Siena, Italy. pp.142-154. ⟨hal-01571764⟩
107 Consultations
0 Téléchargements

Partager

  • More