A Bilingual Theorem Prover for Evaluating HPC Systems.

Ralph Butler Chrisila C. Pettey

Published in: PDPTA (2007)

Keyphrases

theorem prover
automated reasoning
scientific computing
first order logic
computer algebra systems
term rewriting
distributed systems
computer systems
inference rules
theorem proving
computing systems
automated theorem proving
learning algorithm
high performance computing