Original language | English |
---|---|
Title of host publication | Proceedings of the 6th International Workshop on Automated Deduction in Geometry |
Editors | F. Botana, E. Roanes-Lozano |
Publisher | Universidad de Vigo |
Pages | 160-181 |
Publication status | Published - 2006 |
On the Mechanization of the Proof of Hessenberg's Theorem
M. Bezem, R.D.A. Hendriks
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review