ATPPortal: A User-friendly Webbased Interface for Automated Theorem Provers and for Automatically Generated Proofs
- This report describes the design, the implementation and the usage of a system for managing different systems for automated theorem proving and automatically generated proofs. In particular, we focus on a user-friendly web-based interface and a structure for collecting and cataloguing proofs in a uniform way. The second point hopefully helps to understand the structure of automatically generated proofs and builds a starting point for new insights for strategies for proof planning.
Document Type: | Report |
---|---|
Language: | English |
Author: | Peter Höfner, Martin Eric Müller, Stephan Zeissler |
Parent Title (English): | Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg |
Issue: | 2010-10 |
URL: | https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-11881 |
Contributing Corporation: | Fakultät für Angewandte Informatik der Universität Augsburg |
Date of first publication: | 2010/12/02 |
Departments, institutes and facilities: | Fachbereich Informatik |
Dewey Decimal Classification (DDC): | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
Entry in this database: | 2015/04/02 |