While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary. This has made deduction systems indispensable because of the complexity and sheer size of the reasoning tasks involved. This volume is devoted to the integration of computer algebra systems and deduction systems and the results presented will improve the automated design of hardware and software systems. The articles in this collection, presented at the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, held August 6--7 in St. Andrews, Scotland, address all aspects relating deduction and computer algebra systems.
| ||||||||||||
Book Description
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
Abstract. In [2] we presented a Definite Integral Table Lookup (the DILTU) for parametric functions, including a minimal prototype implementation demonstrating its capabilities. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
mechanized reasoning systems, theorema system, basic prover, special provers, automation wrapper, external reasoners, computer algebra oracles, proof planner, computational session, command blackboard, residue class set, agent specification language, deduction tree, proof planning, tactic script, formalized mathematics, proof nodes, precondition analysis, suggestion blackboard, suggestion mechanism, symbolic computation systems, proof search, proof situation, exploration module, inference search Key Phrases - Capitalized Phrases (CAPs): (learn more)
Logic Broker Architecture, Alessandro Armando, Grzegorz Bancerek, Theoretical Computer Science, Artificial Intelligence, International Conference, Andrzej Trybulec, Journal of Automated Reasoning, Open Mechanized Reasoning Systems, Volker Sorge, Constraint Contextual Rewriting, International Symposium, Michael Kohlhase, Piotr Rudnicki, Simon Thompson, Sum of Tuples, Frontiers of Combining Systems, Electronic Notes, Manfred Kerber, Gerhard Pfister, Gert-Martin Greuel, Institute of Cybernetics, Library Committee, Machine Intelligence, Mateja Jamnik New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Abstract. In [2] we presented a Definite Integral Table Lookup (the DILTU) for parametric functions, including a minimal prototype implementation demonstrating its capabilities. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
mechanized reasoning systems, theorema system, basic prover, special provers, automation wrapper, external reasoners, computer algebra oracles, proof planner, computational session, command blackboard, residue class set, agent specification language, deduction tree, proof planning, tactic script, formalized mathematics, proof nodes, precondition analysis, suggestion blackboard, suggestion mechanism, symbolic computation systems, proof search, proof situation, exploration module, inference search Key Phrases - Capitalized Phrases (CAPs): (learn more)
Logic Broker Architecture, Alessandro Armando, Grzegorz Bancerek, Theoretical Computer Science, Artificial Intelligence, International Conference, Andrzej Trybulec, Journal of Automated Reasoning, Open Mechanized Reasoning Systems, Volker Sorge, Constraint Contextual Rewriting, International Symposium, Michael Kohlhase, Piotr Rudnicki, Simon Thompson, Sum of Tuples, Frontiers of Combining Systems, Electronic Notes, Manfred Kerber, Gerhard Pfister, Gert-Martin Greuel, Institute of Cybernetics, Library Committee, Machine Intelligence, Mateja Jamnik New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 21
books:
See all 21 books this book cites
- Computer Algebra (Lecture Notes in Computer Science) by Jacques Calmet on 4 pages
- Machine Learning by Tom M. Mitchell on page 157, and page 158
- Computer Algebra (Lecture Notes in Pure and Applied Mathematics) by Richard Jenks on page 219, and page 260
- Human Problem Solving by Allen Newell on page 251
- The Art and Craft of Problem Solving by Paul Zeitz on page 248
See all 21 books this book cites
Books on Related Topics
(learn more)
|
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
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
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
