Global Optimization Serving Proofs of Theoretical Mathematical Theorems

摘要：

The paper provides an introduction to interval arithmetic based and stochastic global optimization techniques for the verification of some mathematical models. Illustrative examples are described from the fields of circle packing and chaotic behaviour of dynamical systems.

关键词： global optimization theorem proving computer assisted interval methods

作者: Tibor Csendes

作者单位: Institute of Informatics, University of Szeged, Hungary

会议类型: 国际会议

会议名称: The First World Congress on Global Optimization in Engineering & Science(第一届工程与科学全局优化国际会议 WCGO2009)

会议地点: 长沙

会议语种:英文

页码: 778-783

在线出版日期: 2009-06-01（万方平台首次上网日期，不代表论文的发表时间）