Previous | 
Home
Section: Highlights of the Year
Highlights of the Year
Awards
Pierre Lairez has been awarded this year the “Ecole Polytechnique thesis prize”, for his PhD thesis defended in 2014 [53] .
Overall Objectives
Research Program
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 -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
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
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 -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
Partnerships and Cooperations
Bibliography