Maintaining a Library of Formal Mathematics.

Floris van Doorn Gabriel Ebner Robert Y. Lewis

Published in: CICM (2020)

Keyphrases

computer science
database
computer vision
formal model
real time
genetic algorithm
image sequences
formal analysis