Automated performance of task-level symbolic computations in engineering design

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."