<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/>
    <title>Project-Team:SPECFUN</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="New Software and Platforms - Mgfun"/>
    <meta name="dc.title" content="New Software and Platforms - Mgfun"/>
    <meta name="dc.subject" content=""/>
    <meta name="dc.publisher" content="INRIA"/>
    <meta name="dc.date" content="(SCHEME=ISO8601) 2018-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="SPECFUN"/>
    <script type="text/javascript" src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-MML-AM_CHTML">
      <!--MathJax-->
    </script>
  </head>
  <body>
    <div class="tdmdiv">
      <div class="logo">
        <a href="http://www.inria.fr">
          <img style="align:bottom; border:none" src="../static/img/icons/logo_INRIA-coul.jpg" alt="Inria"/>
        </a>
      </div>
      <div class="TdmEntry">
        <div class="tdmentete">
          <a href="uid0.html">Project-Team Specfun</a>
        </div>
        <span>
          <a href="uid1.html">Team, Visitors, External Collaborators</a>
        </span>
      </div>
      <div class="TdmEntry">Overall Objectives<ul><li><a href="./uid3.html">Scientific challenges, expected impact</a></li><li><a href="./uid16.html">Research axes</a></li></ul></div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid29.html&#10;&#9;&#9;  ">Studying special functions by computer algebra</a></li><li><a href="uid45.html&#10;&#9;&#9;  ">Trusted computer-algebra calculations</a></li><li><a href="uid55.html&#10;&#9;&#9;  ">Machine-checked proofs of formalized mathematics</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid62.html&#10;&#9;&#9;  ">Computer Algebra in Mathematics</a></li></ul></div>
      <div class="TdmEntry">
        <a href="./uid67.html">Highlights of the Year</a>
      </div>
      <div class="TdmEntry">New Software and Platforms<ul><li><a href="uid70.html&#10;&#9;&#9;  ">DynaMoW</a></li><li><a href="uid74.html&#10;&#9;&#9;  ">ECS</a></li><li><a href="uid78.html&#10;&#9;&#9;  ">DDMF</a></li><li class="tdmActPage"><a href="uid82.html&#10;&#9;&#9;  ">Mgfun</a></li><li><a href="uid85.html&#10;&#9;&#9;  ">Ssreflect</a></li><li><a href="uid89.html&#10;&#9;&#9;  ">Math-Components</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid94.html&#10;&#9;&#9;  ">Computing solutions of linear Mahler equations</a></li><li><a href="uid95.html&#10;&#9;&#9;  ">Becker's conjecture on Mahler functions</a></li><li><a href="uid96.html&#10;&#9;&#9;  ">Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions</a></li><li><a href="uid97.html&#10;&#9;&#9;  ">Bijections between Łukasiewicz walks and generalized tandem walks</a></li><li><a href="uid98.html&#10;&#9;&#9;  ">Putting Fürer's algorithm into practice with the BPAS library</a></li><li><a href="uid99.html&#10;&#9;&#9;  ">Fast coefficient computation for algebraic power series in positive characteristic</a></li><li><a href="uid100.html&#10;&#9;&#9;  ">Counting walks with large steps in an orthant</a></li><li><a href="uid101.html&#10;&#9;&#9;  ">Subresultants of <m:math xmlns:m="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msup xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mo>(</mo><mi>x</mi><mo>-</mo><mi>α</mi><mo>)</mo></mrow><mi>m</mi></msup></m:math> and <m:math xmlns:m="http://www.w3.org/1998/Math/MathML" overflow="scroll"><msup xmlns="http://www.w3.org/1998/Math/MathML"><mrow><mo>(</mo><mi>x</mi><mo>-</mo><mi>β</mi><mo>)</mo></mrow><mi>n</mi></msup></m:math>, Jacobi polynomials and complexity</a></li><li><a href="uid102.html&#10;&#9;&#9;  ">A numerical transcendental method in
algebraic geometry</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid104.html&#10;&#9;&#9;  ">International Research Visitors</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid108.html&#10;&#9;&#9;  ">Promoting Scientific Activities</a></li><li><a href="uid146.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li><li><a href="uid162.html&#10;&#9;&#9;  ">Popularization</a></li></ul></div>
      <div class="TdmEntry">
        <div>Bibliography</div>
      </div>
      <div class="TdmEntry">
        <ul>
          <li>
            <a id="tdmbibentyear" href="bibliography.html">Publications of the year</a>
          </li>
          <li>
            <a id="tdmbibentfoot" href="bibliography.html#References">References in notes</a>
          </li>
        </ul>
      </div>
    </div>
    <div id="main">
      <div class="mainentete">
        <div id="head_agauche">
          <small><a href="http://www.inria.fr">
	    
	    Inria
	  </a> | <a href="../index.html">
	    
	    Raweb 
	    2018</a> | <a href="http://www.inria.fr/en/teams/specfun">Presentation of the Project-Team SPECFUN</a> | <a href="https://specfun.inria.fr/">SPECFUN Web Site
	  </a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="specfun.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="specfun.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-specfun-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../specfun/specfun.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-specfun-epub.png"/>
                </a>
              </td>
            </tr>
            <tr>
              <td/>
              <td>PDF
</td>
              <td>e-Pub
</td>
            </tr>
          </table>
        </div>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid78.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid85.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
      <div id="textepage">
        <!--DEBUT2 du corps du module-->
        <h2>Section: 
      New Software and Platforms</h2>
        <h3 class="titre3">Mgfun</h3>
        <p>
          <i>multivariate generating functions package</i>
        </p>
        <p class="notaparagraph"><span class="smallcap">Functional Description: </span> The Mgfun Project is a collection of packages for the computer algebra system Maple, and is intended for the symbolic manipulation of a large class of special functions and combinatorial sequences (in one or several variables and indices) that appear in many branches of mathematics, mathematical physics, and engineering sciences. Members of the class satisfy a crucial finiteness property which makes the class amenable to computer algebra methods and enjoy numerous algorithmic closure properties, including algorithmic closures under integration and summation.</p>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid83"> </a>Contact: Frédéric Chyzak</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid84"> </a>URL: <a href="http://specfun.inria.fr/chyzak/mgfun.html">http://specfun.inria.fr/chyzak/mgfun.html</a></p>
          </li>
        </ul>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid78.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid85.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
    </div>
  </body>
</html>
