Section: Contracts and Grants with Industry

Contracts with Industry

The Algorithms Project and Waterloo Maple Inc. (WMI) have collaborated for many years based on reciprocal interests. Thanks to this collaboration, the company WMI considers Inria as a special partner and grants it a free license for all of its research units.

Our work on automating the derivation of formulæ for special functions is hosted and funded for 6 years (2007–2012) by the Microsoft Research - INRIA Joint Centre as one of its projects, called “Dynamic Dictionary of Mathematical Functions”.