References
- Balogh , J. , Csendes , T. and Stateva , R. P. 2003 . Application of a stochastic method to the solution of the phase stability problem: cubic equations of state . Fluid Phase Equilibria , 212 : 257 – 267 .
- Bánhelyi , B. , Csendes , T. and Garay , B. M. 2007 . Optimization and the Miranda approach in detecting horseshoe-type chaos by computer . Int. J. Bifurcation and Chaos , 17 : 735 – 747 .
- Csendes , T. 2001 . New subinterval selection criteria for interval global optimization . J. Global Optim. , 19 : 307 – 327 .
- Csendes , T. 2003 . Numerical experiences with a new generalized subinterval selection criterion for interval global optimization . Reliable Computing , 9 : 109 – 125 .
- Csendes , T. , Bánhelyi , B. and Hatvani , L. 2007 . Towards a computer-assisted proof for chaos in a forced damped pendulum equation . J. Comput. Appl. Math. , 199 : 378 – 383 .
- Csendes , T. , Garay , B. M. and Bánhelyi , B. 2006 . A verified optimization technique to locate chaotic regions of Hénon systems . J. Global Optim. , 35 : 145 – 160 .
- Csendes , T. , Pál , L. , Oscar , J. , Sendín , H. and Banga , J.R. 2008 . The GLOBAL optimization method revisited . Optim. Lett. , 2 : 445 – 454 .
- Hammer , R. , Hocks , M. , Kulisch , U. and Ratz , D. 1993 . Numerical Toolbox for Verified Computing I , Berlin : Springer-Verlag .
- Kearfott , R. B. 1996 . Rigorous Global Search: Continuous Problems , Dordrecht : Kluwer .
- Markót , M.Cs. and Csendes , T. 2005 . A new verified optimization technique for the ‘packing circles in a unit square’ problems . SIAM J. Optim. , 16 : 193 – 219 .
- Markót , M. C. , Fernandez , J. , Casado , L. G. and Csendes , T. 2006 . New interval methods for constrained global optimization . Math. Program. , 106 : 287 – 318 .
- Rump , S. M. 1999 . “ INTLAB – Interval Laboratory ” . In in Developments in Reliable Computing , Edited by: Csendes , T. 77 – 104 . Dordrecht : Kluwer .
- Szabó , P. G. , Markót , M. C. , Csendes , T. , Specht , E. , Casado , L. G. and García , I. 2007 . New Approaches to Circle Packing in a Square – With Program Codes , Berlin : Springer-Verlag .
- Tóth , B. , Fernández , J. and Csendes , T. 2007 . Empirical convergence speed of inclusion functions for facility location problems . J. Comput. Appl. Math. , 199 : 384 – 389 .