Wu, W. [1994]. Mechanical Theorem Proving in Geometries, Texts and Monographs in Symbolic Computation, Springer. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Proof-assistants using Dependent Type Systems - Barendregt, Geuvers (1999) (5 citations) (Correct)
.... classical predicate logic, the system of Bibel for classical predicate logic with equality, see Bibel and Schmitt [1998] the Boyer Moore theorem prover Nqthm based upon primitive recursive arithmetic, see Boyer and Moore [1997] and the geometry theorem prover of Wu that was already mentioned, see Wu [1994]. At the other end of the spectrum a user friendly proof checker usually has some form of automated deduction in order to make it more easy for the user to provide proof objects. Proof assistents consists of a proof development system together with a proof checker. 5.1. Comparing ....
Wu, W. [1994]. Mechanical Theorem Proving in Geometries, Texts and Monographs in Symbolic Computation, Springer.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC