An experimental computer system for globally optimal design, called BAGOP, is discussed. This new tool uses the computer alebra system MACSYMA to implement a variety of tests and branching rules in a flexible branch-and-bound framework. Problems of globally optimal design are solved exactly for the first time, in an entirely automated way.