Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams

The POLSYS Team and ARIC at ENS Lyon are part of the QOLAPS (Quantifier Elimination, Optimization, Linear Algebra and Polynomial Systems) Associate Team with the Symbolic Computation Group at North Carolina State University. Activities of this associate team are described at the following url:

http://www-polsys.lip6.fr/QOLAPS/index.html

Informal International Partners

• Crypto team at Royal Holloway, University of London, UK.

• Prof. Victor Y. Pan, Department of Mathematics and Computer Science Lehman College, City University of New York, USA.

Inria International Labs

The POLSYS Team is involved in the ECCA (Exact Certified Computation with Algebraic Systems) at LIAMA in China.