See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/220532106 Organizing Numerical Theories Using Axiomatic Type Classes Article in Journal of Automated Reasoning · July 2004 DOI: 10.1007/s10817-004-3997-6 · Source: DBLP CITATIONS 17 READS 11 1 author: Lawrence Paulson University of Cambridge 219 PUBLICATIONS 7,908 CITATIONS SEE PROFILE All content following this page was uploaded by Lawrence Paulson on 18 December 2014. The user has requested enhancement of the downloaded file. All in-text references underlined in blue are linked to publications on ResearchGate, letting you access and read them immediately.