The Algebraic Hierarchy of the FTA Project (2002)

by H Geuvers, R Pollack, F Wiedijk, J Zwanenburg
Venue:Journal of Symbolic Computation, Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems