Verified Quadratic Virtual Substitution for Real Arithmetic.

Matias Scharager Katherine Cordwell Stefan Mitsch André Platzer

Published in: FM (2021)

Keyphrases

virtual environment
virtual reality
real life
virtual space
computational complexity
pairwise
data structure
virtual world
information retrieval
genetic algorithm
information systems
preprocessing
augmented reality