Bookshelf
| can't find it |

| browse books |
books
 

| book details |

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

Edited by Jacques Carette, Edited by Lucas Dixon, Edited by Claudio Sacerdoti Coen, Edited by Stephen Watt

| on special |

normal price: R 2 300.95

Price: R 2 185.95


| book description |

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.

| product details |



Normally shipped | Available from overseas. Usually dispatched in 14 days
Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published date | 19 Jun 2009
Language |
Format | Paperback / softback
Pages | 493
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-6420-2613-3
Readership Age |
BISAC | computers / artificial intelligence


| other options |


| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order


The Colonialist: The Vision of Cecil Rhodes

William Kelleher Storey
Paperback / softback
528 pages
was: R 425.95
now: R 382.95
Usually dispatched in 6-12 days

This first comprehensive biography of Cecil Rhodes in a generation illuminates Rhodes’s vision for the expansion of imperialism in southern Africa, connecting politics and industry to internal development, and examines how this fueled a lasting, white-dominated colonial society.

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages


Enquiries only


Survive the AI Apocalypse: A guide for solutionists

Bronwyn Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Stock is usually dispatched in 6-12 days from date of order

Look around you is anything real or normal any more? News, images and videos created by AI are everywhere.