Login / Signup
Connecting Proof Checkers and Computer Algebra Using OpenMath.
Olga Caprotti
Arjeh M. Cohen
Published in:
TPHOLs (1999)
Keyphrases
</>
computer algebra
theorem prover
automated theorem provers
automated theorem proving
theorem proving
inference rules
first order logic
proof search
computer algebra systems
natural deduction
multiresolution
data sets
database systems
image segmentation
e learning
neural network
mathematical proofs