The Sturm library manual - a C++ library for symbolic computation (1994)

by H Hong, A Neubacher, V Stahl