The Greatest Common Divisor: A Case Study for Program Extraction from Classical Proofs.

Ulrich Berger Helmut Schwichtenberg

Published in: TYPES (1995)

Keyphrases

computer programs
test bed
database
automatic extraction
case study
test cases
knowledge extraction
genetic algorithm
learning algorithm
artificial intelligence
objective function
formal proof