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

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: Frédéric Chyzak, Alexis Darrasse and Maxence Guesdon
Contact: Frédéric Chyzak
URL: http://ddmf.msr-inria.inria.fr/DynaMoW/

Previous |

Home | Next next