Interactive Solution Viewers for Automated Theorem Proving

Journal article

Open access

Peer reviewed

Daniel Li, Esteban Morales, Geoff Sutcliffe and Jack McKeown

The International FLAIRS Conference Proceedings, Vol.39(1)

2026-05-06

Abstract

This paper describes interactive viewers for TPTP format proofs and models generated by Automated Theorem Proving (ATP) systems.

url

https://doi.org/10.32473/flairs.39.1.141690View

Published (Version of record) Open

1 Record Views

Title: Interactive Solution Viewers for Automated Theorem Proving
Creators: Daniel Li - University of Miami
Esteban Morales - University of Miami
Geoff Sutcliffe - University of Miami
Jack McKeown - University of Vienna
Publication Details: The International FLAIRS Conference Proceedings, Vol.39(1)
Academic Unit: College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991033077253502976