This specific ISBN edition is currently not available.View all copies of this ISBN edition:
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 reasoning capabilities supported by the whole framework are described.
"synopsis" may belong to another edition of this title.
Book Description Springer, 1997. Condition: New. book. Seller Inventory # M3211828443
Book Description Springer, 1997. Paperback. Condition: New. 1997. Seller Inventory # DADAX3211828443
Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783211828441_lsuk
Book Description Springer Verlag GmbH, 1997. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783211828441
Book Description Springer Verlag GmbH, 1997. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783211828441
Book Description Condition: New. Seller Inventory # ria9783211828441_ing
Book Description Springer, 1997. Paperback. Condition: New. Seller Inventory # INGM9783211828441
Book Description Springer 1997-03, 1997. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 4-5 working days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # NU-LSI-06923041
Book Description Springer, 1997. Paperback. Condition: NEW. 9783211828441 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0399574
Book Description Springer, 2013. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9783211828441