Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [58 references]  Display  Hide  Download
Contributor : Frédéric Goualard Connect in order to contact the contributor
Submitted on : Tuesday, June 17, 2008 - 8:11:34 AM
Last modification on : Thursday, April 5, 2018 - 10:36:25 AM
Long-term archiving on: : Friday, May 28, 2010 - 10:31:36 PM


Files produced by the author(s)


  • HAL Id : hal-00288457, version 1



Frédéric Goualard. Interval Extensions of Multivalued Inverse Functions. 2007. ⟨hal-00288457⟩



Record views


Files downloads