ACA'2000 2000 IMACS Conference on Applications of Computer Algebra