Author:
Chou Shang-Ching,Schelter William F.
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference10 articles.
1. M. Artin and W. Schelter, Graded Algebras of Global Dimension 3, Preprint (1985).
2. B.Buchberger, “An Algorithm Criterion for the Solvability of a System of Algebraic Equations’ (German),Aequationes Math.4 (1970), 374–383.
3. B. Buchberger, “Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory”, Chapter 6 inRecent Trends in Multidimensional Systems Theory, N.K. Bose (ed.) D. Reidel Publ. Comp. 1985.
4. S.C. Chou, “Proving Elementary Geometry Theorems Using Wu's Algorithm”, inAutomated Theorem Proving: After 25 years, Ed. By W.W. Bledsoe and D. Loveland, AMS Contemporary Mathematics Series29 (1984), 243–286.
5. S.C. Chou, “Proving and Discovering Theorems in Elementary Geometries Using Wu's Method”, PhD Thesis, Department of Mathematics, University of Texas, Austin (1985).
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity;Journal of Automated Reasoning;2023-11-20
2. Converting three-space matrices to equivalent six-space matrices for Delone scalars in S6;Acta Crystallographica Section A Foundations and Advances;2020-01-01
3. Proof-checking Euclid;Annals of Mathematics and Artificial Intelligence;2019-01-10
4. Parametric Standard Bases and Their Applications;Computer Algebra in Scientific Computing;2019
5. Meta-heuristics, Machine Learning, and Deep Learning Methods;Evolutionary Approach to Machine Learning and Deep Neural Networks;2018