Methodologies of Design and Implementation of Symbolic Computation Systems

Duration

November 1990 - October 1991.

Director

Dongming Wang

Sponsored by

DIS-Roma, Italy.

Goals

In cooperation with TASSO, a project on the specification and programming methodologies for axiomatizable objects manipulation under development in Italy, the main goal of this project is to pursue research on the methodologies of design and implementation of computation and deduction methods for manipulating mathematical objects including

(i)

sums and series,

(ii)

radical expressions and functions,

(iii)

trigonometric expressions and functions, (iv) limits, derivatives and integrals, and (v) numerical computation. To achieve this goal, the abstract specification of these objects will be carefully studied by following the object-oriented paradigm. This specification with machine experiments will be integrated into the general framework of TASSO.

Selected Publications

Olga Caprotti: A formal characterization of indexed mathematical objects for the manipulation of sums and series; RISC-Linz report series no. 91-26 and Report of Dip. di Informatica e Sistemistica, Univ. Roma, Italy.

Dongming Wang: Differentiation and integration of indefinite summations with respect to indexed variables; RISC-Linz report series no. 90-37.

Wei Shen, Bernhard Wall, Dongming Wang: Manipulating uncertain mathematical objects: the case of indefinite sums and products; Proc. DISCO'92, April 1992, Bath, England. To appear.

Maintained by: The System Administration
Last Modification: March 7, 1997

[Up] [RISC-Linz] [University] [Search]