Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers /
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
c1995.
|
| Series: | Lecture notes in computer science ;
958. |
| Subjects: |
Table of Contents:
- Interactive Theorem Proving and Computer Algebra / J. Ueberberg
- A Practical Algorithm for Geometric Theorem Proving / A. Rege and J. Canny
- Combining Theorem Proving and Symbolic Mathematical Computing / K. Homann and J. Calmet
- Tools for Solving Problems in the Scope of Algebraic Programming / Y. V. Kapitonova, A. A. Letichevsky, V. A. Volkov and M. S. L'vov
- Planning a Proof of the Intermediate Value Theorem / M. Chippendale
- A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans / P. Madden and I. Green
- Datalog and TwoGroups and C++ / G. Butler
- Linear Logic and Real Closed Fields: a Way to Handle Situations Dynamically / P. Jumpertz
- A Proof Environment for Arithmetic with the Omega Rule / S. Baker and A. Smaill
- Using Commutativity Properties for Controlling Coercions / S. A. Missura and A. Weber
- Theories = Signatures + Propositions Used as Types / S. A. Missura.
- The Ideal Structure of Grobner Base Computations / S. Collart and D. Mall
- Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings / J. Pfalzgraf, K. Stokkermans and U. C. Sigmund
- Propagation of Mathematical Constraints in Subdefinite Models / V. Telerman
- Combining Computer Algebra and Rule Based Reasoning / R. Bundgen
- Algebraic Specification of Empirical Inductive Learning Methods based on Rough Sets and Matroid Theory / S. Tsumoto and H. Tanaka
- Subsymbolic Processing using Adaptive Algorithms / D. J. Nettleton and R. Garigliano
- An Interpretation of the Propositional Boolean Algebra as a k-algebra. Effective Calculus / L. M. Laita, L. de Ledesma, E. Roanes-Lozano and E. Roanes-Macias
- Subdefinite Computations and Symbolic Transformations in the UniCalc Solver / A. Semenov, A. Babichev and A. Leshchenko.