Interactive Proofs for Rounding Arithmetic.

Shuo Chen Jung Hee Cheon Dongwoo Kim Daejun Park

Published in: IEEE Access (2022)

Keyphrases

user interaction
graphical interface
real time
databases
neural network
learning algorithm
information systems
lower bound
linear programming
virtual reality
user friendly
approximation algorithms
interactive learning