Author:
Liang Tielin,Wang Dongming
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Hilbert D. Grundlagen der Geometrie. Teubner, Stuttgart, 1899
2. Wu W-t. Mechanical Theorem Proving in Geometries: Basic Principles (translated from the Chinese version by Jin X, Wang D). Springer-Verlag, Wien New York, 1994
3. Chou S-C, Gao X-S, Liu Z, et al. Geometric theorem provers and algebraic equation solvers. In: Gao X-S, Wang D, eds. Mathematics Mechanization and Applications, Academic Press, London, 2000, 491–505
4. LNAI;T. Liang,2006
5. Joan-Arinyo R, Hoffmann C M. A brief on constraint solving. http://www.cs.purdue.edu/homes/cmh/distribution/papers/Constraints/ThailandFull.pdf , 2005
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献