EN FR
Homepage Inria website

New Software and Platforms
Bilateral Contracts and Grants with Industry
Bibliography


Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

  • The objective of our Agrement with WATERLOO MAPLE INC. is to promote software developments to which we actively contribute.

    On the one hand, WMI provides man power, software licenses, technical support (development, documentation and testing) for an inclusion of our developments in their commercial products. On the other hand, OURAGAN offers perpetual licenses for the use of the concerned source code.

    As past results of this agreement one can cite our C-Library RS for the computations of the real solutions zero-dimensional systems or also our collaborative development around the Maple package DV for solving parametric systems of equations.

    For this term, the agreement covers algorithms developed in areas including but not limited to: 1) solving of systems of polynomial equations, 2) validated numerical polynomial root finding, 3) computational geometry, 4) curves and surfaces topology, 5) parametric algebraic systems, 6) cylindrical algebraic decompositions, 7) robotics applications.

    In particular, it covers our collaborative work with some of our partners, especially the Gamble Project-Team - Inria Nancy Grand Est.

  • In 2019, a contract was signed with the company Safran Tech. Its goal is to bring our scientific expertise on mathematical and algorithmic aspects on certain problems studied in gearbox vibration analysis. Gear fault diagnosis is an important issue in aeronautics industry since a damage in a gearbox, which is not detected in time, can have dramatic effects on the safety of a plane. Since the vibrations of a spur gear can be modeled as a product of two periodic functions related to the gearbox kinematic, [92] has proposed to recover each function from the global signal by means of an optimal reconstruction problem which, by means of Fourier analysis, yields a Frobenius norm minimization problem for structured matrices. The goal of the collaboration is to use symbolic-numeric to study this problem.