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.