A rational reconstruction of a system for experimental mathematics

J Carette, WM Farmer, Volker Sorge, M Kauers, Manfred Kerber, R Miner, W Windsteiger

Research output: Contribution to conference (unpublished)Paper

3 Citations (Scopus)
Original languageEnglish
Pages13-26
Number of pages14
DOIs
Publication statusPublished - 1 Jun 2007
EventTowards Mechanized Mathematical Assistants, Proceedings of 14th Symposium, Calculemus 2007, 6th International Conference, (MKM 2007) -
Duration: 1 Jun 2007 → …

Conference

ConferenceTowards Mechanized Mathematical Assistants, Proceedings of 14th Symposium, Calculemus 2007, 6th International Conference, (MKM 2007)
Period1/06/07 → …

Cite this