This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.

Although today's mathematical research community takes its international character very much for granted, this ``global nature'' is relatively recent, having evolved over a period of roughly 150 years-from the beginning of the nineteenth century to the middle of the twentieth century. During this time, the practice of mathematics changed from being centered on a collection of disparate national communities to being characterized by an international group of scholars for whom thegoal of mathematical research and cooperation transcended national boundaries. Yet, the development of an international community was far from smooth and involved obstacles such as war, political upheaval, and national rivalries. Until now, this evolution has been largely overlooked by historians andmathematicians alike. This book addresses the issue by bringing together essays by twenty experts in the history of mathematics who have investigated the genesis of today's international mathematical community. This includes not only developments within component national mathematical communities, such as the growth of societies and journals, but also more wide-ranging political, philosophical, linguistic, and pedagogical issues. The resulting volume is essential reading for anyone interestedin the history of modern mathematics. It will be of interest to mathematicians, historians of mathematics, and historians of science in general.

This reference serves as a reader-friendly guide to every basic tool and skill required in the mathematical library and helps mathematicians find resources in any format in the mathematics literature. It lists a wide range of standard texts, journals, review articles, newsgroups, and Internet and database tools for every major subfield in mathematics and details methods of access to primary literature sources of new research, applications, results, and techniques. Using the Mathematics Literature is the most comprehensive and up-to-date resource on mathematics literature in both print and electronic formats, presenting time-saving strategies for retrieval of the latest information.