Towards the animation of proofs - testing proofs by examples.

Susumu Hayashi Ryosuke Sumitomo Ken-ichiro Shii

Published in: Theor. Comput. Sci. (2002)

Keyphrases

theorem prover
theorem proving
formal proofs
real time
computer programs
decision procedures
mathematical proofs
information systems
multiscale
expert systems
artificial neural networks
test set
computer animation
formal proof