Andrew P. Smith, César A. Muñoz, Anthony J. Narkawicz, Mantas Markevicius. A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. In Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015. pages 71-78, IEEE, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.