Computing Cohomology Rings in Cubical Agda.

Thomas Lamiaux Axel Ljungström Anders Mörtberg

Published in: CoRR (2022)

Keyphrases

image processing
object recognition
digital images
information retrieval
computer vision
multimedia
case study
three dimensional
preprocessing
expert systems
color images