De l'algorithmique à l'arithmétique via le calcul formel
Ce mémoire présente mes travaux de recherche de 1988 à 2001, travaux effectués d'abord à l'INRIA Rocquencourt au sein du projet Algo (1988 à 1992), puis à l'INRIA Lorraine et au LORIA dans les projets Euréca (1993 à 1997), PolKA (1998 à 2000), et Spaces (2001). Au niveau thématique, o...
Main Author: | |
---|---|
Language: | FRE |
Published: |
Université Henri Poincaré - Nancy I
2001
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00526731 http://tel.archives-ouvertes.fr/docs/00/52/67/31/PDF/hdr.pdf |