Subject
General Engineering,Software
Reference46 articles.
1. FORMAC meets Pappus: some observations on elementary analytic geometry by computer;Cerutti;Amer. Math. Monthly,1969
2. Buchberger, B., Applications of Gröbner bases in nonlinear computational geometry. In Trends in Computer Algebra, Proceedings of an International Symposium, Bad Neuenahr, May 1987. ed. R. Janβen. Lecture Notes in Computer Science, Vol. 296. Springer Verlag, Berlin, 1988, pp. 52–80.
3. Buchberger, B., Collins, G.E. and Kutzler, B., Algebraic methods for geometric reasoning. In Annual Review of Computer Science, Vol. 3, ed. J.F. Traub, B.J. Grosz, B.W. Lampson and N.J. Nilsson. Annual Reviews Inc., Palo Alto, CA, 1988, pp. 85–199.
4. Chou, S.-C., Mechanical Geometry Theorem Proving. Reidel, Dordrecht, 1988.
5. Wang, D.-M., An implementation of characteristic sets method in Maple. Report, in TeX format, 11 pages, distributed electronically with Maple V, release 2, 1993). Research Institute for Symbolic Computation, Johannes Kepler University, Linz, 1991.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献