Progress in the Formalization of Matiyasevich's Theorem in the Mizar System.

Published in: CICM Workshops (2018)

Keyphrases

computer assisted
formal model
database
data sets
learning algorithm
information systems
face recognition
data structure
cooperative
lower bound
scheduling problem
formal analysis
von neumann