Proceedings of the 9th international workshop on user interfaces for theorem provers (UITP10), Edinburgh, UK, July 15, 2010. (English) Zbl 1284.68005
Electronic Notes in Theoretical Computer Science 285. Amsterdam: Elsevier. 120 p., electronic only (2012).
Show indexed articles as search result.
The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 1280.68013].Indexed articles:
Komendantsky, Vladimir; Konovalov, Alexander; Linton, Steve, Interfacing Coq + SSReflect with GAP, 17-28 [Zbl 1294.68124]
Lapets, Andrei; Kfoury, Assaf, A user-friendly interface for a lightweight verification system, 29-41 [Zbl 1294.68148]
Pham, Tuan Minh; Bertot, Yves, A combination of a dynamic geometry software with a proof assistant for interactive formal proofs, 43-55 [Zbl 1294.68126]
Slaney, John, Visualising reasoning: what ATP can learn from CP, 57-70 [Zbl 1294.68127]
Wiedijk, Freek, Pollack-inconsistency, 85-100 [Zbl 1294.68130]
Wenzel, Makarius, Asynchronous proof processing with Isabelle/Scala and Isabelle/jEdit, 101-114 [Zbl 1294.68129]
Meikle, Laura I.; Fleuriot, Jacques D., Integrating systems around the user: combining Isabelle, Maple, and QEPCAD in the prover’s palette, 115-119 [Zbl 1294.68125]
MSC:
68-06 | Proceedings, conferences, collections, etc. pertaining to computer science |
68T15 | Theorem proving (deduction, resolution, etc.) (MSC2010) |
68U35 | Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) |
00B25 | Proceedings of conferences of miscellaneous specific interest |