Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1995

Integrating Symbolic Mathematical Computation and Artificial Intelligence

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

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)

Conference series link(s): AISMC: International Conference on Artificial Intelligence and Symbolic Mathematical Computing

Conference proceedings info: AISMC 1994.

Sections

Buy it now

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

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

Table of contents (19 papers)

  1. Front Matter

    PDF

  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

  8. Datalog and TwoGroups and C++

    • Greg Butler
    Pages 80-92

  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

  16. Combining computer algebra and rule based reasoning

    • Reinhard Bündgen
    Pages 209-223

  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

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation