Describes the Automated Reasoning Assistant (AURA) computer program at the Argonne National Laboratory. Given a set of initial assumptions (axioms) and a problem, AURA follows a logical path leading to a solution. Includes types of problems which can be solved. (JN)

Scientists are designing computer models of biological systems, and of compounds with complex molecules, that can be used to get answers once obtainable only by sacrificing laboratory animals. Although most programs are still under development, some are in use by industrial/pharmaceutical companies. The programs and experiments they simulate are…