Project-Team:SPECFUN

Project-Team Specfun

Team, Visitors, External Collaborators

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

Application Domains

Computer Algebra in Mathematics

Highlights of the Year

New Software and Platforms

DynaMoW
ECS
DDMF
Mgfun
Ssreflect
Math-Components

New Results

Computing solutions of linear Mahler equations
Becker's conjecture on Mahler functions
Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
Bijections between Łukasiewicz walks and generalized tandem walks
Putting Fürer's algorithm into practice with the BPAS library
Fast coefficient computation for algebraic power series in positive characteristic
Counting walks with large steps in an orthant
Subresultants of (x-α)m and (x-β)n, Jacobi polynomials and complexity
A numerical transcendental method in algebraic geometry

Partnerships and Cooperations

International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Publications of the year
References in notes

Inria | Raweb 2018 | Presentation of the Project-Team SPECFUN | SPECFUN Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Highlights of the Year

Highlights of the Year

Awards

Georges Gonthier, Martìn Abadi and Cédric Fournet receiver the 20 year test-of-time award for their LICS 1998 paper Secure Implementation of Channel Abstractions, during LICS 2018 in Oxford.

Previous |

Home | Next next