Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

De l'algorithmique à l'arithmétique via le calcul formel

Paul Zimmermann 1
1 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This document presents my research contributions from 1988 to 2001, performed first at INRIA Rocquencourt within the Algo project (1988 to 1992), then at INRIA Lorraine and LORIA within the projects Euréca (1993-1997), PolKA (1998-2000), and Spaces (2001). Three main periods can be roughly distinguished: from 1988 to 1992 where my research focused on analysis of algorithms and random generation, from 1993 to 1997 where I worked on computer algebra and related algorithms, finally from 1998 to 2001 where I was interested in arbitrary precision floating-point arithmetic with well-defined semantics.
Document type :
Habilitation à diriger des recherches
Complete list of metadata
Contributor : Paul Zimmermann <>
Submitted on : Friday, October 15, 2010 - 4:09:48 PM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Sunday, January 16, 2011 - 2:56:48 AM



  • HAL Id : tel-00526731, version 1



Paul Zimmermann. De l'algorithmique à l'arithmétique via le calcul formel. Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2001. ⟨tel-00526731⟩



Record views


Files downloads