Verified Quadratic Virtual Substitution for Real Arithmetic.

Matias Scharager Katherine Cordwell Stefan Mitsch André Platzer

Published in: Arch. Formal Proofs (2021)

Keyphrases

pairwise
real life
real environment
augmented reality
information systems
data mining
image processing
virtual environment
computational complexity
relational databases
expert systems
floating point
virtual world
multiresolution
real time
multiscale
website
artificial intelligence
machine learning
real world