HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

formalized mathematics, geometry2, interactive theorem proving, Isabelle, QEPCAD, simplification.

Copyright © 2012-2023 easychair.org. All rights reserved.