Author:Jacques Fleuriot

Publications
Compass-free Navigation of Mazes Phil Scott and Jacques Fleuriot In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
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
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