On the Mechanization of the Proof of Hessenberg's Theorem

M. Bezem, R.D.A. Hendriks

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 6th International Workshop on Automated Deduction in Geometry
EditorsF. Botana, E. Roanes-Lozano
PublisherUniversidad de Vigo
Publication statusPublished - 2006

Bibliographical note


Cite this