Login / Signup
A Pragmatic Approach to Extending Provers by Computer Algebra - with Applications to Coding Theory.
Clemens Ballarin
Lawrence C. Paulson
Published in:
Fundam. Informaticae (1999)
Keyphrases
</>
computer algebra
theorem prover
theorem proving
first order logic
inference rules
computer algebra systems
automated theorem provers
evolutionary algorithm
semantic network
proof search