Author:Jacques Fleuriot

Publications
ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation Jacques Fleuriot, Peter Höfner, Annabelle McIver and Alan Smaill (editors) EPiC Series in Computing, volume 17
Compass-free Navigation of Mazes Phil Scott and Jacques Fleuriot In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
Automation for Geometry in Isabelle/HOL Laura Meikle and Jacques Fleuriot In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning