Projet : CAFE - cafe

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h2><a name="SECTION00053000000000000000" id= "SECTION00053000000000000000">Bibliothèque  <span class="MATH"><img width="11" height="11" align="bottom" border="0" src="img1.png" alt= "$ \Sigma$" /><sup>it</sup></span></a></h2> <a name="CAFE_logiciels_Sumit" id="CAFE_logiciels_Sumit"></a> <p><br /> <br /> <span class="textbf">Participants :</span> Manuel Bronstein [correspondant], Hélène Prieto.<br /> <br /></p> <p><strong>Mots clés :</strong> <i>calcul formel, équations différentielles, équations aux différences .</i></p> <p>La <a name="tex2html7" href= "http://www-sop.inria.fr/cafe/Manuel.Bronstein/sumit" target= "_top" id="tex2html7">bibliothèque</a>  <span class="MATH"><img width="11" height="11" align="bottom" border="0" src="img1.png" alt= "$ \Sigma$" /><sup>it</sup></span> incorpore nos algorithmes de résolution d'équations fonctionnelles. Elle continue à être développée dans le projet. Nous avons achevé cette année son portage comme extension de la bibliothèque S<small>ALLI</small> (cf. <a href= "logic_Salli_Toc.html#CAFE_logiciels_Salli">5.2</a>), et y avons rajouté des implantations modulaires de calcul de déterminant, ainsi qu'un résolveur d'équations aux différences finies linéaires.</p> <p>Nous distribuons deux programmes interactifs qui permettent d'effectuer des calculs avec  <span class="MATH"><img width="11" height="11" align="bottom" border="0" src="img1.png" alt= "$ \Sigma$" /><sup>it</sup></span> sans utiliser le compilateur Aldor :</p> <ul> <li><a name="tex2html8" href= "http://www-sop.inria.fr/cafe/Manuel.Bronstein/sumit/bernina.html" target="_top" id="tex2html8"><tt>Bernina</tt></a>, un serveur permettant de manipuler et de résoudre les équations différentielles linéaires à coefficients polynomiaux,</li> <li><a name="tex2html9" href= "http://www-sop.inria.fr/cafe/Manuel.Bronstein/sumit/shasta.html" target="_top" id="tex2html9"><tt>Shasta</tt></a> : un serveur nouvellement produit cette année qui permet de manipuler et de résoudre les équations aux différences finies linéaires à coefficients polynomiaux.</li> </ul> </body>