@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",

}