Amazon.com: Advances in the Design of Symbolic Computation Systems (Texts & Monographs in Symbolic Computation) (9783211828441): Alfonso Miola, Marco Temperini: Books

Quantity:


	Amazon Prime Free Trial required. Sign up when you check out. Learn More

More Buying Choices

Have one to sell? Sell yours here

Share your own customer images

Search inside this book

Tell the Publisher!
I'd like to read this book on Kindle

Don't have a Kindle? Get your Kindle here, or download a FREE Kindle Reading App.

Advances in the Design of Symbolic Computation Systems (Texts & Monographs in Symbolic Computation) [Paperback]

Alfonso Miola (Editor), Marco Temperini (Editor)

Price:	$114.00 & this item ships for FREE with Super Saver Shipping. Details
Deal Price:
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

In Stock.
Ships from and sold by Amazon.com. Gift-wrap available.

Want it delivered Tuesday, February 28? Choose One-Day Shipping at checkout. Details

FREE Two-Day Shipping for students on millions of items. Learn more

Book Description

Publication Date: March 27, 1997 | ISBN-10: 3211828443 | ISBN-13: 978-3211828441 | Edition: 1

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.

#outer_postBodyPS { display: none; } #psGradient { display: none; } #psPlaceHolder { display: none; } #psExpand { display: none; } 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.

Product Details

Paperback: 259 pages
Publisher: Springer; 1 edition (March 27, 1997)
Language: English
ISBN-10: 3211828443
ISBN-13: 978-3211828441
Product Dimensions: 9.2 x 6.1 x 0.6 inches
Shipping Weight: 12.8 ounces (View shipping rates and policies)
Amazon Best Sellers Rank: #3,713,367 in Books (See Top 100 in Books)

Would you like to update product info or give feedback on images?

Customer Reviews

There are no customer reviews yet.

Create your own review

Video reviews

Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

Inside This Book (learn more)

Citations (learn more)

1 book cites this book:

Elimination Methods (Texts & Monographs in Symbolic Computation) by D. Wang in Back Matter

Tags Customers Associate with This Product

(What's this?)

Click on a tag to find related items, discussions, and people.

computer algebra(1)

Sell a Digital Version of This Book in the Kindle Store

If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store. Learn more

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Customer Discussions

This product's forum

Discussion	Replies	Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Receive e-mail when new posts are made

Prompts for sign-in

Guidelines

Active discussions in related forums

Discussion	Replies	Latest Post
Science forum Abiogenesis be Manned- There is no evidence for life having started naturally on Earth.	1337	16 minutes ago
Science forum Can evolution produce a Supreme Being?	532	24 minutes ago
Science forum How is the closed Lorentzt group of Special Relativity related to "g(0)" the metric tensor of General relativity?	7	26 minutes ago
Textbook forum I just received a "very good" textbook without its disc - what are your thoughts?	170	1 hour ago
Science forum Really and finally - this forum and probably most others is the domain of lunatics	67	1 hour ago
Science forum Global warming is nothing but a hoax and a scare tactic	395	2 hours ago
Science forum was the moon landing real or fake, and why?	1779	2 hours ago
Textbook forum sellers are deceivers	3	5 hours ago