UE High-performance exact computations

Diplômes intégrant cet élément pédagogique :

Descriptif

This course presents the theoretical and practical aspects of exact computations: linear algebra and arbitrary precision arithmetic. It studies the complexity issues, different algorithmic paradigms and their applications in mathematical computing, coding, and verifiedcomputations. We will explore a selection of recent algorithmic advances in the field, as well as their applications in solving various problems, such as the study of DNA or Protein sequences, image pattern recognition, coding theory, etc.

Informations complémentaires

Méthode d'enseignement : En présence
Langue(s) : Anglais