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

The proceedings from the 16th Calculemus Symposium and the 8th International Conference on Mathematical Knowledge Management highlight a crucial intersection of mathematics and computer science. Esteemed researchers gathered to share their insights and innovations that bridge the gap between intelligent computer systems and mathematical theory.

This collection showcases a range of topics, reflecting the dynamic exploration of how technology can enhance mathematical methods and applications. Each paper contributes to the growing knowledge of intelligent mathematical computation, offering readers a glimpse into the future of the field.

With a blend of theoretical foundations and practical applications, this volume is poised to inspire both academics and practitioners. It serves as a testament to the collaborative spirit of the community dedicated to advancing the capabilities and understanding of mathematical computations through intelligent systems.