Funder
National Natural Science Foundation of China
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference29 articles.
1. Buchberger, B.: Gröebner bases: an algorithmic method in polynomial ideal theory. In: Multidimensional Systems Theory-Progress, Directions and Open Problems in Multidimensional Systems. Reidel Publishing Company, pp. 184–232 (1985)
2. Cao, N.B., Li, H.B., Zhang, S.P.: Geometric decomposition and its program implementation based on conformal geometric algebra. Acta Mathematicae Applicatae Sinica 30(5), 891–902 (2007). (in Chinese)
3. Chang, G.Z.: Complex Number Calculation and Geometry Proof. Shanghai Education Press, Shanghai (1980). (in Chinese)
4. Chou, S.C.: Mechanical Geometry Theorem Proving. D. Reidel, Boston (1988)
5. Chou, S.C., Gao, X.S., Zhang, J.Z.: Mechanical geometry theorem proving by vector calculation. In: Proceedings of the 1993 International Symposium on Symbolic and Algebraic Manipulation, Kiev, ACM Press (1993)