Geometry Theorem Proving by Decomposing Polynomial Systems into Strong Regular Sets.

Yong-Bin Li Wu Liu Xiao-Lin Xiang

Published in: J. Comput. Sci. Technol. (2004)

Keyphrases

control system
geometry theorem proving
real time
machine learning
case study
knowledge base
decision trees
optimal solution
expert systems
information technology
mobile devices
computer systems