Introduction

WWW interface to ATP systems

Uses a suite of currently available ATP systems

• Maintained in a database structure
• Interface generated from database
• Interface as current as database

Three part interface

• Problem specification
• Mode specification
• System selection