On Computational Creativity, 'Inventing' Theorem Proofs.

Marta Franová Yves Kodratoff

Published in: ISMIS (2009)

Keyphrases

interactive theorem proving
mathematical programming
theorem prover
databases
real world
special case
digital topology
mathematical proofs