SPECFUN - 2018 - Annual activity report

SPECFUN

SPECFUN - 2018

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

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