## 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 |