2011
Team Activity Report

GALAAD

Geometry, algebra, algorithms

Research centre: Sophia Antipolis - Méditerranée

In partnership with: CNRS, Université Nice - Sophia Antipolis

In collaboration with: Laboratoire Jean-Alexandre Dieudonné (JAD)

In collaboration with: Laboratoire Jean-Alexandre Dieudonné (JAD)

Field: Algorithmics, Programming, Software and Architecture

Theme: Algorithms, Certification, and Cryptography

Theme: Algorithms, Certification, and Cryptography

Keywords: Algorithmic Geometry, Computer Algebra, Real Numbers