SPECFUN - 2015 - Annual activity report

SPECFUN

SPECFUN - 2015

Project-Team Specfun

Members

Overall Objectives

Scientific challenges, expected impact
Research axes

Research Program

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

Highlights of the Year

New Software and Platforms

Coq
DynaMoW
ECS
Math-Components
Ring
Ssreflect

New Results

Integration of rational functions
Multiple binomial sums
Diagonals of rational functions and selected differential Galois groups
Algebraic Diagonals and Walks
A human proof of the Gessel conjecture
Enumeration of 3-dimensional lattice walks confined to the positive octant
Efficient algorithms for rational first integrals
Quasi-optimal computation of the $p$ -curvature
Axiomatic constraint systems for proof search modulo theories
DynaMoW: Dynamic Mathematics on the Web
ECS: Encyclopedia of Combinatorial Structures
Mathematical Components Library

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Publications of the year
References in notes

Previous |

Home | Next next

Creation of the Team: 2012 November 01, updated into Project-Team: 2014 July 01

Section: Members

Research Scientists

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

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

Alin Bostan [Inria, Researcher]

Philippe Dumas [Éducation Nationale, Professor, until August 2015; Inria, Researcher, since September 2015]

Engineer

Maxence Guesdon [Inria, Engineer, 40%]

PhD Students

Louis Dumont [École Polytechnique]

Thomas Sibut Pinote [École Polytechnique]

Post-Doctoral Fellow

Carst Tankink [Inria, until February 2015]

Visiting Scientist

Marc Mezzarobba [CNRS]

Administrative Assistant

Christine Biard [Inria]

Previous |

Home | Next next