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
Previous | 
Home