Rigorous Global Search: Continuous Problems

• 1 January 1996
• book
• Published by Springer Nature
• https://doi.org/10.1007/978-1-4757-2495-0

Abstract

Keywords

• FORTRAN
• COMPUTATIONAL GEOMETRY
• COMPUTER
• DESIGN
• GEOMETRY
• LINEAR ALGEBRA
• OPERATIONS RESEARCH
• OPTIMIZATION
• SOFTWARE
• VERIFICATION