Special issue on practical development of exact real number computation

Norbert Müller Martin Escardo 1 Paul Zimmermann 2
2 SPACES - Solving problems through algebraic computation and efficient software
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : no abstract
Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal.inria.fr/hal-00917738
Contributor : Paul Zimmermann <>
Submitted on : Thursday, December 12, 2013 - 12:42:31 PM
Last modification on : Thursday, January 11, 2018 - 6:20:00 AM

Identifiers

  • HAL Id : hal-00917738, version 1

Collections

Citation

Norbert Müller, Martin Escardo, Paul Zimmermann. Special issue on practical development of exact real number computation. Norbert Müller and Martin Escardo and Paul Zimmermann. Elsevier, pp.154, 2005. ⟨hal-00917738⟩

Share

Metrics

Record views

213