@conference{92f0d6670a2344b9887527c6d1f42458,
title = "A rational reconstruction of a system for experimental mathematics",
author = "J Carette and WM Farmer and Volker Sorge and M Kauers and Manfred Kerber and R Miner and W Windsteiger",
year = "2007",
month = jun,
day = "1",
doi = "10.1007/978-3-540-73086-6_2",
language = "English",
pages = "13--26",
note = "Towards Mechanized Mathematical Assistants, Proceedings of 14th Symposium, Calculemus 2007, 6th International Conference, (MKM 2007) ; Conference date: 01-06-2007",
}