1. Bachmann, O., Gräbe, H.-G.: The SymbolicData Project: Towards an electronic repository of tools and data for benchmarks of computer algebra software. In: Reports on Computer Algebra, January 27 (2000), Centre for Computer Algebra, University of Kaiserslautern, See http://www.mathematik.uni-kl.de/~zca
2. Chou, S.-C.: Mechanical Geometry Theorem Proving. Reidel, Dortrecht (1988)
3. Series on Applied Mathematics;S.-C. Chou,1994
4. Gao, X.-S., Wang, D. (eds.): Mathematics Mechanization and Applications. Academic Press, London (2000)
5. Lecture Notes in Artificial Intelligence,1999