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.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Peter HöfnerGND, Martin E. MüllerORCiDGND, Stephan Zeissler
URN:urn:nbn:de:bvb:384-opus4-11881
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/1465
Series (Serial Number):Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2010-10)
Type:Report
Language:English
Publishing Institution:Universität Augsburg
Contributing Corporation:Department for Computer Science, University of Applied Sciences Bonn-Rhein-Sieg, St. Augustin
Release Date:2010/12/02
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht