On Computational Creativity, 'Inventing' Theorem Proofs.

Marta Franov, Yves Kodratoff

Browse the full ISMIS paper archive.