Formal and Efficient Primality Proofs by Use of Computer Algebra Oracles.

Olga Caprotti Martijn Oostdijk

Published in: J. Symb. Comput. (2001)

Keyphrases

computer algebra
theorem prover
automated theorem provers
information systems
search algorithm
probability distribution
computationally expensive
real time
image sequences
bayesian networks
data streams
theorem proving
mathematical theory