SPECFUN - 2017 - Annual activity report

SPECFUN

SPECFUN - 2017

Project-Team Specfun

Personnel

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

DynaMoW
ECS
DDMF
Mgfun
Ssreflect
Math-Components
CoqInterval

New Results

Efficient Algorithms in Computer Algebra
Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane
Multiple Binomial Sums
Algebraic Diagonals and Walks
A Human Proof of the Gessel Conjecture
Subresultants in Multiple Roots
On Matrices with Displacement Structure: Generalized Operators and Faster Algorithms
Quasilinear Average Complexity for Solving Polynomial Systems
Computing the Homology of Basic Semialgebraic Sets in Weak Exponential Time
Formally Certified Computation of Improper Definite Integrals
A Complete Formal Proof of the Irrationality of $ζ (3)$

Partnerships and Cooperations

National Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Publications of the year
References in notes

Previous |

Home | Next next

Section: New Software and Platforms

DynaMoW

Dynamic Mathematics on the Web

Functional Description: Programming tool for controlling the generation of mathematical websites that embed dynamical mathematical contents generated by computer-algebra calculations. Implemented in OCaml.

Participants: Alexis Darrasse, Frédéric Chyzak and Maxence Guesdon
Contact: Frédéric Chyzak
URL: http://ddmf.msr-inria.inria.fr/DynaMoW/

Previous |

Home | Next next