FR

EN

Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies


2018 Project-Team Activity Report
POLSYS
Polynomial Systems
Research centre: Paris
In partnership with: CNRS, Sorbonne Université (UPMC)

In collaboration with: Laboratoire d'informatique de Paris 6 (LIP6)



Field: Algorithmics, Programming, Software and Architecture

Theme: Algorithmics, Computer Algebra and Cryptology
Keywords:
Computer Science and Digital Science:
  • A2.4. - Formal method for verification, reliability, certification
  • A4.3. - Cryptography
  • A4.3.1. - Public key cryptography
  • A4.3.4. - Quantum Cryptography
  • A5.10.1. - Design
  • A6.1. - Methods in mathematical modeling
  • A6.2.3. - Probabilistic methods
  • A6.2.6. - Optimization
  • A6.2.7. - High performance computing
  • A6.4.3. - Observability and Controlability
  • A8.1. - Discrete mathematics, combinatorics
  • A8.2. - Optimization
  • A8.3. - Geometry, Topology
  • A8.4. - Computer Algebra
Other Research Topics and Application Domains:
  • B5. - Industry of the future
  • B5.2. - Design and manufacturing
  • B5.2.3. - Aviation
  • B5.2.4. - Aerospace
  • B6. - IT and telecom
  • B6.3. - Network functions
  • B6.5. - Information systems
  • B9.5.1. - Computer science
  • B9.5.2. - Mathematics
  • B9.10. - Privacy