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

Contributions au calcul exact intensif

Abstract : Scientific computing is often associated with numerical computation. Yet in many scientific disciplines it is necessary to go beyond the approximations: need for certification of results, computation over discrete mathematical structures, numerical algorithm instability. Computer algebra therefore strive to give accurate or certified results. Now, the main obstruction to the use of symbolic computation is often the poor performance of commercial systems even on fundamental operations such as linear algebra. The goal of this work is to reduce the gap between exact and numerical computations, both in the algorithm and the software sides. The challenges are numerous: developing an effective arithmetic for discrete structures; designing algorithms with optimal leading terms of complexity, taking into account the growth of intermediate data; transcribing these algorithms in software that combines perennial efficiency, interfacing and genericity.
Complete list of metadatas

Cited literature [79 references]  Display  Hide  Download
Contributor : Jean-Guillaume Dumas <>
Submitted on : Friday, September 3, 2010 - 5:37:41 PM
Last modification on : Thursday, November 19, 2020 - 1:00:50 PM
Long-term archiving on: : Tuesday, October 23, 2012 - 3:36:30 PM


  • HAL Id : tel-00514925, version 1



Jean-Guillaume Dumas. Contributions au calcul exact intensif. Calcul formel [cs.SC]. Université de Grenoble, 2010. ⟨tel-00514925⟩



Record views


Files downloads