Transcendental functions and mechanical theorem proving in elementary geometries

Authors:
Xiaoshan Gao
Affiliations:
-
Venue:
Journal of Automated Reasoning
Year:
1990

Citing 0
Cited 3

Implementing non-linear constraints with cooperative solvers

SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
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