filib++ is an extension of the interval library filib. The most important aim of the latter was the fast computation of guaranteed bounds for interval versions of a comprehensive set of elementary function. filib++ extends this library in two aspects. First, it adds a second mode, the ”extended” mode, that extends the exception-free computation mode using special values to represent infinities and NotaNumber known from the IEEE floating-point standard 754 to intervals. In this mode so-called containment sets are computed to enclose the topological closure of a range of a function defined over an interval. Second, state of the art design uses templates and traits classes in order to get an efficient, easily extendable and portable library, fully according to the C++ standard

References in zbMATH (referenced in 43 articles )

Showing results 1 to 20 of 43.
Sorted by year (citations)

1 2 3 next

  1. Schweidtmann, Artur M.; Bongartz, Dominik; Grothe, Daniel; Kerkenhoff, Tim; Lin, Xiaopeng; Najman, Jaromił; Mitsos, Alexander: Deterministic global optimization with Gaussian processes embedded (2021)
  2. Bongartz, Dominik; Najman, Jaromił; Mitsos, Alexander: Deterministic global optimization of steam cycles using the IAPWS-IF97 model (2020)
  3. Montanher, Tiago; Neumaier, Arnold; Markót, Mihály Csaba; Domes, Ferenc; Schichl, Hermann: Rigorous packing of unit squares into a circle (2019)
  4. Schweidtmann, Artur M.; Mitsos, Alexander: Deterministic global optimization with artificial neural networks embedded (2019)
  5. Joudrier, Hugo; Thiard, Florence: A greedy approach for a rolling stock management problem using multi-interval constraint propagation. A greedy approach for a rolling stock management problem using multi-interval constraint propagation, ROADEF/EURO challenge 2014 (2018)
  6. Goubault, Eric; Putot, Sylvie: Forward inner-approximated reachability of non-linear continuous systems (2017)
  7. Mitrea, Irina; Ott, Katharine; Tucker, Warwick: Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions (2017)
  8. Ninin, Jordan: Global optimization based on contractor programming: an overview of the IBEX library (2016)
  9. Vismara, Philippe; Coletta, Remi; Trombettoni, Gilles: Constrained global optimization for wine blending (2016)
  10. Walter F. Mascarenhas: Moore: Interval Arithmetic in Modern C++ (2016) arXiv
  11. Shmarov, Fedor; Zuliani, Paolo: ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems (2015)
  12. Delanoue, Nicolas; Lagrange, Sébastien: A numerical approach to compute the topology of the apparent contour of a smooth mapping from (\mathbbR^2) to (\mathbbR^2) (2014)
  13. Goualard, Frédéric: How do you compute the midpoint of an interval? (2014)
  14. Jézéquel, Fabienne; Langlois, Philippe; Revol, Nathalie: First steps towards more numerical reproducibility (2014)
  15. Kyurkchiev, Nikolay; Iliev, Anton: A refinement of some overrelaxation algorithms for solving a system of linear equations (2013)
  16. Golev, Angel; Malinova, Anna; Zaharieva, Desislava: Software implementation of modifications of iterative algorithms for solving linear systems of equations (2012)
  17. Nehmeier, Marco: Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard (2012)
  18. Krämer, Walter: Computer-assisted proofs and symbolic computations (2010)
  19. Neher, Markus: Complex inclusion functions in the CoStLy C++ class library (2010)
  20. Popova, Evgenija D.; Krämer, Walter: Communicating functional expressions from Mathematica to C-XSC (2010)

1 2 3 next