Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Lecture Notes in Computer Science

Integrating Symbolic Mathematical Computation and Artificial Intelligence

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

Editors: Calmet, Jacques, Campbell, John A. (Eds.)

Free Preview

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49533-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-60156-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (19 chapters)

Table of contents (19 chapters)
  • Interactive theorem proving and computer algebra

    Pages 1-9

    Ueberberg, Johannes

  • A practical algorithm for geometric theorem proving

    Pages 10-17

    Rege, Ashutosh (et al.)

  • Combining theorem proving and symbolic mathematical computing

    Pages 18-29

    Homann, Karsten (et al.)

  • Tools for solving problems in the scope of algebraic programming

    Pages 30-47

    Kapitonova, Y. V. (et al.)

  • Planning a proof of the intermediate value theorem

    Pages 48-63

    Chippendale, Myles

Buy this book

eBook $74.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-49533-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA in USD
  • ISBN 978-3-540-60156-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Integrating Symbolic Mathematical Computation and Artificial Intelligence
Book Subtitle
Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers
Editors
  • Jacques Calmet
  • John A. Campbell
Series Title
Lecture Notes in Computer Science
Series Volume
958
Copyright
1995
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-49533-8
DOI
10.1007/3-540-60156-2
Softcover ISBN
978-3-540-60156-2
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 281
Topics