Implementing Euclid's straightedge and compass constructions in type theory.

Ariel Kellison Mark Bickford Robert L. Constable

Published in: Ann. Math. Artif. Intell. (2019)

Keyphrases

formal theory
search engine
preprocessing
decision trees
multimedia
computer vision
web pages
website
three dimensional
database systems
digital libraries
social networks
wireless sensor networks
computational model
theoretical basis
multiple types
learning algorithm