Short Proofs Using Compact Representations of Algebraic Integers.

Christoph Thiel

Published in: J. Complex. (1995)

Keyphrases

compact representations
higher order
theorem proving
probabilistic inference
machine learning
natural deduction
theorem prover
logic programs
automated theorem provers
formal proof
computer algebra
database
feature set
website
genetic algorithm
information retrieval
databases