تفاصيل الكتاب

978-3-540-73086-6

Towards Mechanized Mathematical Assistants

Publication Date: 2007

ISBN: 978-3-540-73086-6

Internet Resource: Please Login to download book


This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathematical Knowledge Management, an emerging interdisciplinary ?eld of research in the intersection of mathematics, computer science, library s- ence, and scienti?c publishing. Both conferences aimed to provide mechanized mathematical assistants. Although the two conferences have separate communities and separate foci, there is a signi?cant overlap in the interests in building mechanized mathem- ical assistants. For this reason it was decided to collocate the two events in 2007 for the ?rst time, at RISC in Hagenberg, Austria.


Subject: Computer Science, Algebra, Arithmetic, Calculation, Homological algebra, automated deduction systems, automated theory formation, calculus, e-learning, formal logic, formal proof, knowledge discovery, knowledge management, mathe, mathematical assistant systems, theorem