A Univalent Formalization of Constructive Affine Schemes.

Max Zeuner Anders Mörtberg

Published in: TYPES (2022)

Keyphrases

affine invariant
affine transformation
image registration
data sets
data mining
real time
neural network
artificial neural networks
image warping