Towards an Automated Geometer.

Francisco Botana, Zoltn Kovcs, Toms Recio

Browse the full AISC paper archive.