Computing Cohomology Rings in Cubical Agda.

Thomas Lamiaux Axel Ljungström Anders Mörtberg

Published in: CPP (2023)

Keyphrases

digital images
neural network
information retrieval
search engine
feature extraction
preprocessing
evolutionary algorithm
special case