A formalization of Dedekind domains and class groups of global fields.

Anne Baanen Sander R. Dahmen Ashvni Narayanan Filippo A. E. Nuccio

Published in: CoRR (2021)

Keyphrases

computer vision
genetic algorithm
database
databases
real world
image processing
case study
probabilistic model
application domains