Skip to main content

Intelligent Computer Mathematics

16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings

  • Conference proceedings
  • © 2009


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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: CICM 2009.

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

Access this book

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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 (40 papers)

  1. Calculemus Talks

  2. MKM Talks

Other volumes

  1. Intelligent Computer Mathematics


About this book

As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among them. The Conferences on Intelligent Computer Mathematics (cicm 2009) is a c- lection of co-located meetings, allowing researchers and practitioners active in these related areas to share recent results and identify the next challenges. The speci?c areas of the cicm conferences and workshops are described below, but the unifying theme is the computerized handling of mathematical knowledge. The successful formalization of much of mathematics, as well as a better - derstanding of its internal structure, makes mathematical knowledge in many waysmore tractable than generalknowledge,as traditionally treatedin arti?cial intelligence. Similarly, we can also expect the problem of e?ectively using ma- ematical knowledge in automated ways to be much more tractable. This is the goal of the work in the cicm conferences and workshops. In the long view, so- ing the problems addressed by cicm is an important milestone in formulating the next generation of mathematical software.

Editors and Affiliations

  • Department of Computing and Software, McMaster University, Hamilton, Canada

    Jacques Carette

  • Informatics, 2.02 Informatics Forum, University of Edinburgh, Edinburgh, UK

    Lucas Dixon

  • Department of Computer Science, University of Bologna, Bologna, Italy

    Claudio Sacerdoti Coen

  • Department of Computer Science MC 375, University of Western Ontario, London, Canada

    Stephen M. Watt

Bibliographic Information

Publish with us