An Automated Procedure for Globally Optimal Design

An experimental computer system for globally optimal design, called BAGOP, is discussed. This new tool uses the computer algebra system MACSYMA to implement a variety of tests and branching rules in a flexible branch-and-bound framework. Many problems of globally optimal design have been solved by BAGOP, some of them for the first time, and most of them for the first time in an entirely automated way