The parallel numerical method of mechanical theorem proving

Authors:
J. Zhang;L. Yang;M. Deng
Affiliations:
-;-;-
Venue:
Theoretical Computer Science
Year:
1990

Citing 0
Cited 3

An Application of CLP: Checking the Correctness of Theoremsin Geometry

Constraints
Decision Complexity in Dynamic Geometry

ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Synthesizing geometry constructions

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation

Quantified Score

Hi-index	5.23

Visualization

Abstract