References in zbMATH (referenced in 11 articles )

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

  1. Chiang, Wei-Fan; Baranowski, Mark; Briggs, Ian; Solovyev, Alexey; Gopalakrishnan, Ganesh; Rakamarić, Zvonimir: Rigorous floating-point mixed-precision tuning (2017)
  2. Domes, Ferenc; Goldsztejn, Alexandre: A branch and bound algorithm for quantified quadratic programming (2017)
  3. Martin, Benjamin; Correia, Marco; Cruz, Jorge: A certified branch & bound approach for reliability-based optimization problems (2017)
  4. Martin, Benjamin; Goldsztejn, Alexandre; Granvilliers, Laurent; Jermann, Christophe: Constraint propagation using dominance in interval branch & bound for nonlinear biobjective optimization (2017)
  5. Martin, Benjamin; Goldsztejn, Alexandre; Granvilliers, Laurent; Jermann, Christophe: On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach (2016)
  6. Walter F. Mascarenhas: Moore: Interval Arithmetic in Modern C++ (2016) arXiv
  7. Goldsztejn, Alexandre; Domes, Ferenc; Chevalier, Brice: First order rejection tests for multiple-objective optimization (2014)
  8. Goualard, Frédéric: How do you compute the midpoint of an interval? (2014)
  9. Ishii, Daisuke; Goldsztejn, Alexandre; Jermann, Christophe: Interval-based projection method for under-constrained numerical systems (2012)
  10. Corliss, George F.; Kearfott, R. Baker; Nedialkov, Ned; Pryce, John D.; Smith, Spencer: Interval subroutine library mission (2008)
  11. Brönnimann, Hervé; Melquiond, Guillaume; Pion, Sylvain: The design of the Boost interval arithmetic library (2006)