2012 Project-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