Interactive derivation viewer

Posted in Science on August 09, 2008

Interactive derivation viewer

This describes the IDV, a tool for graphically rendering derivations that are written in the Thousands of Problems for Theorem Provers (TPTP) language.

Author: Steven Trac, University of Miami

Watch Video

Tags: Science, Lectures, Computer Science, VideoLectures.Net, Software and Tools