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)

"TK!Solver" was designed as a personal computing tool to solve problems involving mathematical calculations and analysis. An in-depth review of this model building and problem-solving package is provided. System commands, applications (including data lists, plots/graphs, iterative problem-solving, present values), and other areas are…

A program has been written for the interactive computer graphics facility at Rensselaer Polytechnic Institute that is designed to assist the user in learning the mathematical technique of convolving two functions. Because convolution can be represented graphically by a sequence of steps involving folding, shifting, multiplying, and integration, it…

A course that incorporates a computer program as a tool to take a more detailed look at differential equations is described. (MP)

Presents computer programs (Applesoft Basic) for: (1) 2-D rotation about any point through any angle; (2) matrix transformation for 2-D rotation; (3) 3-D translation; (4) 3-D rotation; and (5) hyperboloid rotated in 2-D space. Includes background information and sample output for the matrix transformation subroutines. (JN)

This book, second in a series dealing with scientific programing in the BASIC language, provides students, engineers, and scientists with a documented library of subroutines for scientific applications. Subjects of the eight chapters include: (1) least-squares approximation of functions and smoothing of data; (2) approximating functions by series…