Improved Assistance for Interactive Proof (Keynote).

Cezary Kaliszyk

Published in: CPP (2023)

Keyphrases

user interaction
key issues
neural network
computer graphics
improved algorithm
theorem prover
real time
databases
decision making
case study
multi agent
relational databases
user interface
virtual reality
graphical interface