Automated performance of task-level symbolic computations in engineering design Dhiraj K. Pathak D. M. Steier Carnegie Mellon University.Engineering Design Research Center. 10.1184/R1/6552002.v1 https://kilthub.cmu.edu/articles/journal_contribution/Automated_performance_of_task-level_symbolic_computations_in_engineering_design/6552002 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." 1992-01-01 00:00:00 Engineering design. Artificial intelligence.