Login / Signup
Direct proof of a theorem by Kalkbrener, Sweedler, and Taylor.
Erich Kaltofen
Published in:
SIGSAM Bull. (1993)
Keyphrases
</>
interactive theorem proving
theorem prover
case study
theorem proving
neural network
artificial intelligence
high level
von neumann
automated theorem proving
geometry theorem proving