Edinburgh Research Explorer

Automation for Geometry in Isabelle/HOL

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Automation for Geometry in Isabelle/HOL. / Meikle, Laura; Fleuriot, Jacques.

PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning. ed. / Renate A. Schmidt; Stephan Schulz; Boris Konev. EasyChair, 2012. p. 84-94 (EasyChair Proceedings in Computing; Vol. 9).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Meikle, L & Fleuriot, J 2012, Automation for Geometry in Isabelle/HOL. in RA Schmidt, S Schulz & B Konev (eds), PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning. EasyChair Proceedings in Computing, vol. 9, EasyChair, pp. 84-94.

APA

Meikle, L., & Fleuriot, J. (2012). Automation for Geometry in Isabelle/HOL. In R. A. Schmidt, S. Schulz, & B. Konev (Eds.), PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning (pp. 84-94). (EasyChair Proceedings in Computing; Vol. 9). EasyChair.

Vancouver

Meikle L, Fleuriot J. Automation for Geometry in Isabelle/HOL. In Schmidt RA, Schulz S, Konev B, editors, PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning. EasyChair. 2012. p. 84-94. (EasyChair Proceedings in Computing).

Author

Meikle, Laura ; Fleuriot, Jacques. / Automation for Geometry in Isabelle/HOL. PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning. editor / Renate A. Schmidt ; Stephan Schulz ; Boris Konev. EasyChair, 2012. pp. 84-94 (EasyChair Proceedings in Computing).