Author:
Stokes Tim,Bulmer Michael
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Buchberger, B., Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory, Multidimensional Systems Theory (ed. N. K. Bose), D. Reidel, 184–232 (1985).
2. Chou, S.-C., Mechanical Geometry Theorem Proving, D. Reidel (1988).
3. Chou, S.-C., Gao, X.-S. and Zhang, J.-Z., Automated Geometry Theorem Proving Using Vector Calculation, Proc. ISSAC’ 93, Kiev, 284–291 (1993).
4. Chou, S.-C., Gao, X.-S. and Zhang, J.-Z., Automated Production of Traditional Proofs for Constructive Geometry Theorems, Proc. 8th IEEE Symbolic Logic in Computer Science, Montreal, 48–56 (1993).
5. Chou, S.-C., Gao, X.-S. and Zhang, J.-Z., Automated Production of Traditional Proofs in Solid Geometry, J. Automated Reasoning 14, 257–291 (1995).