Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Kauers, Manuel (Editor), Kerber, Manfred (Editor), Miner, Robert (Editor), Windsteiger, Wolfgang (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Lecture Notes in Computer Science, 4573
• Subjects: Mathematics.; Computer communication systems.; Database management.; Data mining.; Artificial intelligence.; Algebra.; Artificial Intelligence (incl. Robotics).; Data Mining and Knowledge Discovery.; Information Systems Applications (incl. Internet).; Database Management.; Computer Communication Networks.

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 Mathem...