UE High-performance exact computations

Degrees incorporating this pedagocial element :


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.