Automated performance of task-level symbolic computations in engineering design
journal contributionposted on 01.01.1992, 00:00 by Dhiraj K. Pathak, D. M. Steier, Carnegie Mellon University.Engineering Design Research Center.
Abstract: "In this paper we describe a prototype system, Soar/Mathematica, for automated performance of symbolic computations in engineering design. The input to the system comprises of [sic] a mathematical model of a design artifact and the queries or transformations desired on this model by the engineer. The system automatically does the mathematics required to achieve the input goals by intelligently using a computer algebra system. We demonstrate the system performance by an example from sensitivity analysis."