New Opportunities for the Formal Proof of Computational Real Geometry?

Erika Ábrahám James H. Davenport Matthew England Gereon Kremer Zak Tonks

Published in: CoRR (2020)

Keyphrases

formal proof
real life
theorem prover
case study
three dimensional
neural network
database
data sets
real world
genetic algorithm
viewpoint