.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Advances in the Design of Symbolic Computation Systems
. Ed(S): Miola, Alfonso; Temperini, Marco
€ 130.43
FREE Delivery in Ireland
Description for Advances in the Design of Symbolic Computation Systems
Paperback. Considers methodological aspects related to design and implementation of symbolic computation systems. This volume describes the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues. Editor(s): Miola, Alfonso; Temperini, Marco. Series: Texts and Monographs in Symbolic Computation. Num Pages: 286 pages, 4 black & white illustrations, biography. BIC Classification: UMX; UMZ; UY. Category: (P) Professional & Scholarly; (UP) Postgraduate. Dimension: 235 x 155 x 14. Weight in Grams: 391.
New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods à la Hilbert and methods of natural deduction. In particular the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues, and ... Read more
New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects into a homogeneous software environment for scientific computation. The proposed methodology is based on a combination of different techniques: algebraic specification through modular approach and completion algorithms, approximated and exact algebraic computing methods, object-oriented programming paradigm, automated theorem proving through methods à la Hilbert and methods of natural deduction. In particular the proposed treatment of mathematical objects, via techniques for method abstraction, structures classification, and exact representation, the programming methodology which supports the design and implementation issues, and ... Read more
Product Details
Format
Paperback
Publication date
1997
Publisher
Springer Verlag GmbH Austria
Number of pages
286
Condition
New
Series
Texts and Monographs in Symbolic Computation
Number of Pages
276
Place of Publication
Vienna, Austria
ISBN
9783211828441
SKU
V9783211828441
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Advances in the Design of Symbolic Computation Systems