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
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
- Efficient algorithms for mixed creative telescoping
- Fast computation of the
- 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
- Efficient algorithms for mixed creative telescoping
- Fast computation of the
- 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