In the Hand of the Beholder: Comparing Interactive Proof Visualizations.
Christian AlrabbaaStefan BorgwardtNina KnieriemenAlisa KovtunovaAnna Milena RothermelFrederik WiehrPublished in: Description Logics (2021)
Keyphrases
- data visualization
- data structures and algorithms
- information visualization
- theorem proving
- theorem prover
- neural network
- visualization tool
- user friendly
- computer vision
- data sets
- human computer interaction
- computer graphics
- multiscale
- image processing
- information systems
- genetic algorithm
- machine learning
- visual analytics
- visual representations