Unsolvability of the Quintic Formalized in Dependent Type Theory.

Sophie Bernard Cyril Cohen Assia Mahboubi Pierre-Yves Strub

Published in: ITP (2021)

Keyphrases

theoretical framework
information theory
information retrieval
image processing
similarity measure
theoretical basis
genetic algorithm
decision making