Manuel Kauers Manfred Kerber Robert Miner Wolfgang Windsteiger Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings Calculemus/MKM Lecture Notes in Computer Science 4573 Springer 2007 978-3-540-73083-5 db/conf/mkm/mkm2007.html