The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra

Abstract : There is a growing interest in numeric-algebraic techniques in the computer algebra community as such techniques can speed up many applications. This paper is concerned with one such approach called Exact Numeric Computation (ENC). The ENC approach to algebraic number computation is based on iterative verified approximations, combined with constructive zero bounds. This paper describes CORE 2, the latest version of the CORE, a package designed for applications such as non-linear computational geometry. The adaptive complexity of ENC combined with filters makes such libraries practical. CORE 2 smoothly integrates our algebraic ENC subsystem with transcendental functions with epsilon-accurate comparisons. This paper describes how the design of CORE 2 addresses key software issues such as modularity, extensibility, efficiency in the a setting that combines algebraic and transcendental elements. Our redesign preserves the original goals of the CORE, namely, to provide a simple and natural interface for ENC computation to support rapid prototyping and exploration. We present examples, experimental results, and timings for our new system, released as CORE 2.0.
Type de document :
Communication dans un congrès
Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. Springer, 6327, 2010, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00519591
Contributeur : Sylvain Pion <>
Soumis le : lundi 20 septembre 2010 - 17:45:15
Dernière modification le : samedi 27 janvier 2018 - 01:31:48
Document(s) archivé(s) le : mardi 21 décembre 2010 - 03:06:29

Fichiers

abs1c.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00519591, version 1

Collections

Citation

Jihun Yu, Chee Yap, Zilin Du, Sylvain Pion, Hervé Brönnimann. The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra. Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan. Springer, 6327, 2010, Lecture Notes in Computer Science. 〈inria-00519591〉

Partager

Métriques

Consultations de la notice

199

Téléchargements de fichiers

204