author = {Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger},
title = {{Towards Mechanized Mathematical Assistants}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {4573},
publisher = {Springer},
address = {Heidelberg},
isbn_issn = {ISSN 0302-9743},
year = {2007},
editor = {Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger},
length = {404},
conferencename = {Calculemus 2007 and MKM 2007},
url = {http://www.springeronline.com/978-3-540-73083-5}