Login / Signup
P.rex: An Interactive Proof Explainer.
Armin Fiedler
Published in:
IJCAR (2001)
Keyphrases
</>
graphical interface
data visualization
computer graphics
highly interactive
product configuration
relational databases
interactive video
data sets
virtual reality
user interaction
data structure
similarity measure
decision making
information systems
social networks
artificial intelligence
neural network