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.

This content is only available via PDF.
You do not currently have access to this content.