{"product_id":"intelligent-computer-mathematics-jacques-carette-9783642026133","title":"Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Cana","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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Jacques Carette\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3642026133\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783642026133\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 06\/19\/2009\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 493\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.70lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.10h x 6.10w x 1.10d","brand":"Jacques Carette","offers":[{"title":"Paperback","offer_id":48486975504639,"sku":"9783642026133","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_a83038ee-3d2b-4bd4-ad6c-0aa773e47cfe.jpg?v=1778057516","url":"https:\/\/www.whiterainbookhouse.com\/products\/intelligent-computer-mathematics-jacques-carette-9783642026133","provider":"WR Book House","version":"1.0","type":"link"}