Discovering a Proof for the Fixed Point Theorem: A Case Study.

Kurt Ammon

Browse the full ECAI paper archive.