Previous | 
Home
Section: Highlights of the Year
Highlights of the Year
Awards
Pierre Lairez has received the ISSAC Distinguished Paper Award for his joint work with T. Vaccon on -adic differential equations [58].
Overall Objectives
Research Program
New Software and Platforms
New Results
- Formally certified computation of definite integrals
- Real closed fields
- Combinatorial walks with small steps in the quarter plane
- Multiple binomial sums
- Algebraic diagonals and walks
- A human proof of the Gessel conjecture
- Enumeration of 3-dimensional lattice walks confined to the positive octant
- Computation of the similarity class of the -curvature
- Efficient algorithms for mixed creative telescoping
- Fast computation of the th term of an algebraic series over a finite prime field
- Formal methods for cryptocurrencies
- Computing solutions of linear Mahler equations
- Formal solutions of singularly perturbed linear differential systems
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
New Software and Platforms
New Results
- Formally certified computation of definite integrals
- Real closed fields
- Combinatorial walks with small steps in the quarter plane
- Multiple binomial sums
- Algebraic diagonals and walks
- A human proof of the Gessel conjecture
- Enumeration of 3-dimensional lattice walks confined to the positive octant
- Computation of the similarity class of the -curvature
- Efficient algorithms for mixed creative telescoping
- Fast computation of the th term of an algebraic series over a finite prime field
- Formal methods for cryptocurrencies
- Computing solutions of linear Mahler equations
- Formal solutions of singularly perturbed linear differential systems
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography