Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Collaboration within the Inria/Microsoft Research Joint Centre

We participate in the collaboration Mathematical Components 2 with Microsoft Research. Currently, the main thrust lies around the exploitation of results in the Mathematical Components library, which was our main point of focus until the completion of the proof of the Feit-Thompson theorem.