Interval Extensions of Multivalued Inverse Functions

Abstract : The implementation of inverse functions provided by most interval arithmetic software libraries is restricted to bijective functions and to the principal branch of multivalued functions. On the other hand, some algorithms—most notably, constraint propagation algorithms—require multivalued inverse functions as well. We present in details in this paper the algorithms to implement interval arithmetic extensions of the following multivalued inverse functions: the inverse integral power, the inverse cosine, the inverse sine, the inverse tangent, the inverse hyperbolic cosine, and the inverse multiplication. The issues raised by their effective as well as efficient implementation with floating-point numbers in the gaol C++ library are carefully addressed.
Type de document :
Pré-publication, Document de travail
23 pages. 2007
Liste complète des métadonnées
Contributeur : Frédéric Goualard <>
Soumis le : mardi 17 juin 2008 - 08:11:34
Dernière modification le : mercredi 24 juin 2015 - 10:59:12
Document(s) archivé(s) le : vendredi 28 mai 2010 - 22:31:36


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-00288457, version 1



Frédéric Goualard. Interval Extensions of Multivalued Inverse Functions. 23 pages. 2007. <hal-00288457>



Consultations de
la notice


Téléchargements du document