GALAAD Team, INRIA http://www-sop.inria.fr/teams/galaad/joomla/index.php 2014-08-01T16:18:58Z Joomla! 1.5 - Open Source Content Management 2006-09-22T14:27:06Z 2006-09-22T14:27:06Z http://www-sop.inria.fr/teams/galaad/joomla/index.php/component/content/article/1-latest/70-galaad.html Bernard Mourrain mourrain@sophia.inria.fr

<h2 align="left">Joint team between <a href="http://www-sop.inria.fr/teams/galaad/joomla/../../..//">Inria</a> &amp; <a href="http://math.unice.fr/">Laboratoire J.A. Dieudonné</a></h2> <table style="width: 100%;" border="0"> <tbody> <tr> <td align="left"> <h4> <div align="justify">Many problems in scientific computation and in applications such as CAGD, robotics, computer vision, molecular biology, signal processing... involves algebra and geometry. The objective of the project is to develop algorithmic methods for effective and reliable resolution of these geometric and algebraic problems.</div> </h4> <br /> <h4> <div align="justify">Our research in effective algebraic geometry includes methods to solve polynomial equations, to compute resultants, to factorise polynomials, to detect and analyse singularities of algebraic varieties, to describe the topology of semi-algebraic sets. We are specially interested in problems on semi-algebraic curves and surfaces, such as intersection, singularity, topology, arrangement computations. These geometric investigations lead to algebraic questions, and particularly to the resolution of polynomial equations. We work on the design and analysis of new methods based for instance on normal form computation, resultants or subdivision techniques.</div> </h4> </td> <td align="center" width="250"><img src="http://www-sop.inria.fr/teams/galaad/joomla/../../../galaad/images/stories/logos/def4bar.png" alt="Image" title="Image" height="254" hspace="6" width="254" border="0" /></td> </tr> </tbody> </table> <table style="width: 100%;" border="0"> <tbody> <tr> <td align="center" width="200"><img src="http://www-sop.inria.fr/teams/galaad/joomla/../../../galaad/images/stories/logos/bohemian.png" alt="Image" title="Image" height="180" hspace="6" width="180" border="0" /></td> <td width="400"> <h4> <div align="justify">Approximate numerical calculations, is usually opposed to symbolic calculations. We are exploring these bonds between geometry, algebra and numerical computation. How to deal with approximate semi-algebraic models ? How to control the error and to certify the results in numerical algebraic geometry computation ? How to improve the representation of our problem ? These are investigations we are following, in this emmerging field at the frontier between symbolic and numeric computation.</div> </h4> </td> </tr> </tbody> </table> <table style="width: 100%;" border="0"> <tbody> <tr> <td width="300"> <h4> <div align="justify">The implementation and validation of our algorithms form another important component of our activity. We pay attention to problems of genericity, modularity, effectiveness, suitable for the writing of algebraic and geometrical codes. We develop the following software:</div> </h4> <ul> <li style="text-align: left"> <h4>packages for the open-source project <a href="http://www.mathemagix.org">mathemagix</a> (polynomial solvers, algebraic-geometric computation, ...).</h4> </li> <li> <h4><a href="http://axel.inria.fr">Axel</a>, an algebraic-geometric modeler.</h4> </li> <li style="text-align: left"> <h4><a href="http://www-sop.inria.fr/teams/galaad/joomla/../software/multires">Multires</a>, a maple package for resultant and residu computation.</h4> </li> </ul> <p> </p> </td> <td align="center" width="300"> <p><img src="http://www-sop.inria.fr/teams/galaad/joomla/../../../galaad/images/stories/logos/axel.png" alt="Image" title="Image" height="220" hspace="6" width="324" border="0" /></p> </td> </tr> </tbody> </table>

<h2 align="left">Joint team between <a href="http://www-sop.inria.fr/teams/galaad/joomla/../../..//">Inria</a> &amp; <a href="http://math.unice.fr/">Laboratoire J.A. Dieudonné</a></h2> <table style="width: 100%;" border="0"> <tbody> <tr> <td align="left"> <h4> <div align="justify">Many problems in scientific computation and in applications such as CAGD, robotics, computer vision, molecular biology, signal processing... involves algebra and geometry. The objective of the project is to develop algorithmic methods for effective and reliable resolution of these geometric and algebraic problems.</div> </h4> <br /> <h4> <div align="justify">Our research in effective algebraic geometry includes methods to solve polynomial equations, to compute resultants, to factorise polynomials, to detect and analyse singularities of algebraic varieties, to describe the topology of semi-algebraic sets. We are specially interested in problems on semi-algebraic curves and surfaces, such as intersection, singularity, topology, arrangement computations. These geometric investigations lead to algebraic questions, and particularly to the resolution of polynomial equations. We work on the design and analysis of new methods based for instance on normal form computation, resultants or subdivision techniques.</div> </h4> </td> <td align="center" width="250"><img src="http://www-sop.inria.fr/teams/galaad/joomla/../../../galaad/images/stories/logos/def4bar.png" alt="Image" title="Image" height="254" hspace="6" width="254" border="0" /></td> </tr> </tbody> </table> <table style="width: 100%;" border="0"> <tbody> <tr> <td align="center" width="200"><img src="http://www-sop.inria.fr/teams/galaad/joomla/../../../galaad/images/stories/logos/bohemian.png" alt="Image" title="Image" height="180" hspace="6" width="180" border="0" /></td> <td width="400"> <h4> <div align="justify">Approximate numerical calculations, is usually opposed to symbolic calculations. We are exploring these bonds between geometry, algebra and numerical computation. How to deal with approximate semi-algebraic models ? How to control the error and to certify the results in numerical algebraic geometry computation ? How to improve the representation of our problem ? These are investigations we are following, in this emmerging field at the frontier between symbolic and numeric computation.</div> </h4> </td> </tr> </tbody> </table> <table style="width: 100%;" border="0"> <tbody> <tr> <td width="300"> <h4> <div align="justify">The implementation and validation of our algorithms form another important component of our activity. We pay attention to problems of genericity, modularity, effectiveness, suitable for the writing of algebraic and geometrical codes. We develop the following software:</div> </h4> <ul> <li style="text-align: left"> <h4>packages for the open-source project <a href="http://www.mathemagix.org">mathemagix</a> (polynomial solvers, algebraic-geometric computation, ...).</h4> </li> <li> <h4><a href="http://axel.inria.fr">Axel</a>, an algebraic-geometric modeler.</h4> </li> <li style="text-align: left"> <h4><a href="http://www-sop.inria.fr/teams/galaad/joomla/../software/multires">Multires</a>, a maple package for resultant and residu computation.</h4> </li> </ul> <p> </p> </td> <td align="center" width="300"> <p><img src="http://www-sop.inria.fr/teams/galaad/joomla/../../../galaad/images/stories/logos/axel.png" alt="Image" title="Image" height="220" hspace="6" width="324" border="0" /></p> </td> </tr> </tbody> </table>