Interactive proofs and a Shamir-like result for real number computations.

Martijn Baartse Klaus Meer

Published in: Comput. Complex. (2019)

Keyphrases

computational complexity
maximum number
artificial intelligence
evolutionary algorithm
computer graphics
virtual reality
real time
information retrieval
image processing
expert systems
theorem proving
fixed number