Publisher
Springer Berlin Heidelberg
Reference5 articles.
1. Buchberger, B.: Gröbner bases: An algorithmic method in polynomial ideal theory. In: Böse, N. K. (ed.): Multidimensional systems theory. Dordrecht-Boston: D. Reidel Publ. Co. (1985), pp. 184–232.
2. Hong, H., Wang, D., Winkler, F. (eds.): Short description of existing provers. Ann. Math. Artif. Intell. 13 (1995) 195–202.
3. Wang, D.: Geometry theorem proving with existing technology. In: Medlar II 12-month deliverables. DOC, Imperial College, Univ. of London (1993);
4. Proc. 1st Asian Tech. Conf. Math. (Singapore, December 18???21, 1995), pp. 561???570.
5. Wu, W.: Mechanical theorem proving in geometries: Basic principles. Wien-New York: Springer-Verlag (1994).
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献