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


Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Author:Peter HöfnerGND, Martin E. MüllerORCiDGND, Stephan Zeissler
Frontdoor URL
Series (Serial Number):Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2010-10)
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