Theorem Reuse by Proof Term Transformation.

Einar Broch Johnsen Christoph Lüth

Published in: TPHOLs (2004)

Keyphrases

interactive theorem proving
linear transformation
term frequency
knowledge base
knowledge management
theorem prover
theorem proving
von neumann
digital topology