Skip to main content

CURRENTLY SOLD OUT

Advances in the Design of Symbolic Computation Systems by Marco Temperini, Alfonso Miola (Paperback, 1997)

About this product

About this product

Product Information

This volume considers new methodological aspects related to design and implementation of symbolic computation systems. It aims 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 based on 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 impelementation issues, and reasoning capabilities supported by the whole framework are described.

Product Identifiers

Publisher
Springer Verlag Gmbh
ISBN-13
9783211828441
eBay Product ID (ePID)
95175974

Product Key Features

Author
Marco Temperini, Alfonso Miola
Publication Name
Advances in the Design of Symbolic Computation Systems
Format
Paperback
Language
English
Subject
Computer Science, Mathematics
Publication Year
1997
Type
Textbook
Number of Pages
276 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Item Weight
860g

Additional Product Features

Series Title
Texts & Monographs in Symbolic Computation
Country/Region of Manufacture
Austria
Editor
Alfonso Miola, Marco Temperini

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Australian Guidebook for Structural Engineers by Lonnie Pack (Paperback, 2019)
No ratings or reviews yet.
AU $84.19 New
---- Used
Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)
No ratings or reviews yet.
AU $100.97 New
---- Used
Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
The Ethnic Cleansing of Palestine by Ilan Pappe (Paperback, 2007)
5.0 out of 5 stars based on 1 product rating
AU $35.34 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Tim Heard Keeping Stingless Bee Hives For Pets, Pollination and Sugarbag Honey
AU $31.98
Trending at AU $35.72
Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.74
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.65
Classical Mechanics: The Theoretical Minimum by George Hrabovsky
AU $27.46
Trending at AU $31.72
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $77.06
T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)
AU $42.25
Trending at AU $45.65

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like