Interactive Visualization of Saturation Attempts in Vampire.

Bernhard Gleiss Laura Kovács Lena Schnedlitz

Published in: CoRR (2020)

Keyphrases

interactive visualization
data visualization
interactive visual
scientific visualization
information visualization
visualization methods
visual data mining
mobile devices
multidimensional data
scientific data analysis
machine learning