LIBRARY Applications of CAS to alg. geometry and symbolic-numerical solving 2000 · ENGLISH · GZ View details →