The algebraic hierarchy of the FTA Project (2002)

by Herman Geuvers , Y Pollack , Freek Wiedijk , Jan Zwanenburg
Venue:Journal of Symbolic Computation, Special Issue on the Integration of Automated Reasoning and Computer Algebra Systems
Citations:14 - 7 self