Login / Signup
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract).
Erika Ábrahám
James H. Davenport
Matthew England
Gereon Kremer
Zak Tonks
Published in:
PAAR+SC²@IJCAR (2020)
Keyphrases
</>
extended abstract
formal proof
real life
artificial intelligence
image processing
database
databases
neural network
genetic algorithm
three dimensional
optimal solution
data structure
lower bound
projective geometry