عنوان

Advances in the design of symbolic computation systems

(Number (ISBN

3211828443

(Number (ISBN

9783211828441

Number

b543846

Title Proper

Advances in the design of symbolic computation systems

General Material Designation

[Book]

First Statement of Responsibility

A. Miola and M. Temperini (Eds.).

Place of Publication, Distribution, etc.

Wien

Name of Publisher, Distributor, etc.

Springer

Date of Publication, Distribution, etc.

©1997.

Specific Material Designation and Extent of Item

x, 259 p.

Series Title

Texts and monographs in symbolic computation.

Text of Note

State of the art and motivations.- Mathematica: doing mathematics by computer?.- An overview of the TASSO project.- Mathematical objects.- The uniform representation of mathematical objects by truncated power series.- p-adic arithmetic: a tool for error-free computations.- Exact solution of computational problems via parallel truncated p-adic arithmetic.- A canonical form guide to symbolic summation.- Indexes in sums and series: from formal definition to object-oriented implementation.- Programming methodologies.- Equational specifications: design, implementation, and reasoning.- On the algebraic specification of classes and inheritance in object-oriented programming.- On subtyping in languages for symbolic computation systems.- Enhanced strict inheritance in TASSO-L.- Reasoning capabilities.- Deduction and abduction using a sequent calculus.- A sequent calculus machine for symbolic computation systems.- Automated deduction by connection method in an object-oriented environment.- A general reasoning apparatus for intelligent tutoring systems in mathematics.

Disseny de sistemes -- Reculls d'escrits.

Matemàtica -- Processament de dades -- Reculls d'escrits.

Programació orientada a l'objecte (Informàtica) -- Reculls d'escrits.

Class number

Book number

A. Miola and M. Temperini (Eds.).

Alfonso Miola

Marco Temperini

Electronic name

[Book]

Y