SPECFUN - 2013 - Annual activity report

SPECFUN

SPECFUN - 2013

Team Specfun

Members

Overall Objectives

Scientific challenges, expected impact
Research axes
Highlights of the Year

Research Program

Studying special functions by computer algebra
Trusted computer-algebra calculations
Machine-checked proofs of formalized mathematics

Application Domains

Experimental mathematics with special functions

Software and Platforms

Mgfun
DDMF
DynaMoW
Ring
SSReflect
Coqfinitgroup

New Results

Creative telescoping for bivariate hyperexponential functions
Creative telescoping for rational functions
Complexity of the uncoupling of linear functional systems
Computation of integrals related to the Ising model
Non-D-finite excursions in the quarter plane
A human proof of Gessel's lattice path conjecture
Efficient algorithms for rational first integrals
Reactive document checking in Coq
Efficient normalization of ring/field expressions in Coq
Documentation of Coq's canonical structures
Maintenance and development of the SSReflect extension for Coq and its user manual
Efficient proof-search techniques in sequent calculus
A formal proof of the irrationality of $ζ (3)$
Documentation of the Mathematical Components libraries

Bilateral Contracts and Grants with Industry

Bilateral Grants with Industry

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Publications of the year
References in notes

Previous |

Home | Next next

Creation of the Team: 2012 November 01

Section: Members

Research Scientists

Alin Bostan [Inria, Researcher]

Frédéric Chyzak [Team leader, Inria, Researcher]

Assia Mahboubi [Team vice-leader, Inria, Researcher]

Enrico Tassi [Inria, Researcher]

Faculty Member

Philippe Dumas [Min. de l'Éducation Nationale, Professor]

PhD Students

Augustin Barillec [ÉNS Lyon, from Sep 2013]

Louis Dumont [École Polytechnique, from Oct 2013]

Pierre Lairez [École Polytechnique]

Basile Morcrette [Univ. Paris VI, until Oct 2013]

Administrative Assistant

Valérie Lecomte [Inria, Administrative Assistant]

Previous |

Home | Next next