Formal Mathematics for the Masses (short paper).

Published in: CICM Workshops (2021)

Keyphrases

computer science
formal specification
formal model
learning algorithm
artificial intelligence
computer vision
feature selection
web services
three dimensional
multiscale
statistically significant
computer algebra