Geometry theorem proving by decomposition of quasi-algebraic sets: an application of the Ritt-Wu principle

Authors:
Hai-Ping Ko
Affiliations:
MITRE Corp., Bedford, MA
Venue:
Artificial Intelligence - Special issue on geometric reasoning
Year:
1988

Citing 0
Cited 4

Automated reasoning in geometries using the characteristic set method and Gröbner basis method

ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Refutational proofs of geometry theorems via characteristic set computation

ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Design of an intelligent system for the automatic demonstration of geometry theorems

TELE-INFO'10 Proceedings of the 9th WSEAS international conference on Telecommunications and informatics
Modelling using UML diagrams of an intelligent system for the automatic demonstration of geometry theorems

WSEAS Transactions on Computers

Quantified Score

Hi-index	0.00

Visualization

Abstract