Skip to main content
SpringerLink
Log in

Integrating Symbolic Mathematical Computation and Artificial Intelligence

Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Jacques Calmet
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. John A. Campbell
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 958)

Included in the following conference series:

Conference proceedings info: AISMC 1994.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  2. Interactive theorem proving and computer algebra

    • Johannes Ueberberg
    Pages 1-9

  3. A practical algorithm for geometric theorem proving

    • Ashutosh Rege, John Canny
    Pages 10-17

  4. Combining theorem proving and symbolic mathematical computing

    • Karsten Homann, Jacques Calmet
    Pages 18-29

  5. Tools for solving problems in the scope of algebraic programming

    • Y. V. Kapitonova, A. A. Letichevsky, M. S. L'vov, V. A. Volkov
    Pages 30-47

  6. Planning a proof of the intermediate value theorem

    • Myles Chippendale
    Pages 48-63

  7. A general technique for automatically optimizing programs through the use of proof plans

    • Peter Madden, Ian Green
    Pages 64-79

  8. Datalog and TwoGroups and C++

    • Greg Butler
    Pages 80-92

  9. Linear logic and real closed fields: A way to handle situations dynamically

    • Pierre Jumpertz
    Pages 93-114

  10. A proof environment for arithmetic with the omega rule

    • Siani Baker, Alan Smaill
    Pages 115-130

  11. Using commutativity properties for controlling coercions

    • Stephan A. Missura, Andreas Weber
    Pages 131-143

  12. Theories = signatures + propositions used as types

    • Stephan A. Missura
    Pages 144-155

  13. The ideal structure of Gröbner base computations

    • Stéphane Collart, Daniel Mall
    Pages 156-166

  14. Modeling cooperating agents scenarios by deductive planning methods and logical fiberings

    • Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans
    Pages 167-190

  15. Propagation of mathematical constraints in subdefinite models

    • Vitaly Telerman
    Pages 191-208

  16. Combining computer algebra and rule based reasoning

    • Reinhard Bündgen
    Pages 209-223

  17. Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory

    • Shusaku Tsumoto, Hiroshi Tanaka
    Pages 224-243

  18. Subsymbolic processing using adaptive algorithms

    • David J. Nettleton, Roberto Garigliano
    Pages 244-254

  19. An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus

    • Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Eugenio Roanes-Macías
    Pages 255-263

  20. Subdefinite computations and symbolic transformations in the uniCalc solver

    • Alexander Semenov, Alexander Babichev, Alexander Leshchenko
    Pages 264-275
Back to top

Keywords

About this book

This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994.
The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation