Interactive Visualization of Saturation Attempts in Vampire.

Bernhard Gleiss Laura Kovács Lena Schnedlitz

Published in: IFM (2019)

Keyphrases

interactive visualization
scientific visualization
interactive visual
data visualization
visual data mining
information visualization
scientific data analysis
data mining
real world
high dimensional
multi dimensional
information processing
visualization methods