Automated Theory Exploration for Interactive Theorem Proving: - An Introduction to the Hipster System.

Published in: ITP (2017)

Keyphrases

interactive theorem proving
semi automated
information systems
neural network
general theory
theoretical basis
fully automated
theoretical framework
multiscale
decision making
data sets
information technology
user interface
mobile robot
image sequences
website
multimedia
image processing
automated analysis