default search action
9th UITP 2010: Edinburgh, UK
- David Aspinall, Claudio Sacerdoti Coen:
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, UITP 2010, Edinburgh, UK, July 15, 2010. Electronic Notes in Theoretical Computer Science 285, Elsevier 2012 - David Aspinall, Claudio Sacerdoti Coen
:
Preface. 1-2 - Holger Gast:
Engineering the Prover Interface. 3-16 - Vladimir Komendantsky, Alexander Konovalov
Interfacing Coq + SSReflect with GAP. 17-28 - Andrei Lapets
A User-friendly Interface for a Lightweight Verification System. 29-41 - Tuan-Minh Pham, Yves Bertot:
A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs. 43-55 - John K. Slaney
Visualising Reasoning: What ATP Can Learn From CP. 57-70 - Carst Tankink
Narrating Formal Proof (Work in Progress). 71-83 - Freek Wiedijk:
Pollack-inconsistency. 85-100 - Makarius Wenzel:
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit. 101-114 - Laura I. Meikle, Jacques D. Fleuriot
Integrating Systems around the User: Combining Isabelle, Maple, and QEPCAD in the Prover's Palette. 115-119
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: