Automated performance of task-level symbolic computations in engineering design
1992-01-01T00:00:00Z (GMT) by
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."