| Document Type
|
:
|
BL
|
| Record Number
|
:
|
724127
|
| Doc. No
|
:
|
b543846
|
| Main Entry
|
:
|
A. Miola and M. Temperini (Eds.).
|
| Title & Author
|
:
|
Advances in the design of symbolic computation systems\ A. Miola and M. Temperini (Eds.).
|
| Publication Statement
|
:
|
Wien: Springer, ©1997.
|
| Series Statement
|
:
|
Texts and monographs in symbolic computation.
|
| Page. NO
|
:
|
x, 259 p.
|
| ISBN
|
:
|
3211828443
|
|
|
:
|
: 9783211828441
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Disseny de sistemes -- Reculls d'escrits.
|
| Subject
|
:
|
Matemàtica -- Processament de dades -- Reculls d'escrits.
|
| Subject
|
:
|
Programació orientada a l'objecte (Informàtica) -- Reculls d'escrits.
|
| LC Classification
|
:
|
QA76.9.S88A456 1997
|
| Added Entry
|
:
|
Alfonso Miola
|
|
|
:
|
Marco Temperini
|