Author:
Chen Xuefeng,Li Peng,Lin Long,Wang Dingkang
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Buchberger, B.: Gröbner Bases: An Algorithmic Method in Polynomial Ideal theorey. In: Bose, N.K. (ed.) Multidimensional Systems Theory, pp. 184–232. D. Reidel Publishing Co., Dordrecht (1985)
2. Lecture Notes in Artificial Intelligence;X.F. Chen,2004
3. Chou, S.-C.: Mechanical Geometry Theorem Proving. D. Reidel Publishing Co., Dordrecht (1988)
4. Chou, S.-C., Gao, X.-S.: Methods for Mechanical Geometry Formula Deriving. In: Proc. ISSAC 1990, pp. 265–270. ACM Press, New York (1990)
5. Cox, D., Little, J., O’Shea, D.: Ideal, Varieties, and Algorithems, 2nd edn. Springer, New York (1997)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献