Verified Quadratic Virtual Substitution for Real Arithmetic.

Matias Scharager Katherine Cordwell Stefan Mitsch André Platzer

Published in: CoRR (2021)

Keyphrases

virtual environment
real environment
data sets
real world
objective function
information retrieval
real life
augmented reality
arithmetic operations
database
databases
information systems
pairwise
mobile robot
virtual reality