Construction of the Circle in UniMath.

Marc Bezem Ulrik Buchholtz Daniel R. Grayson

Published in: CoRR (2019)

Keyphrases

real time
decision making
image processing
construction process
real world
machine learning
information retrieval
knowledge base
website
lower bound