Volltext-Downloads (blau) und Frontdoor-Views (grau)
The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 18 of 144
Back to Result List

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.

Export metadata

Additional Services

Search Google Scholar Check availability

Statistics

Show usage statistics
Metadaten
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