Panoptes: An Exploration Tool for Formal Proofs.

William M. Farmer Orlin G. Grigorov

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

formal proofs
visualization tool
software tools
databases
website
search algorithm
analysis tool
data sets
neural network
information systems
image processing
three dimensional
data structure
preprocessing
user friendly
information visualization