Previous | 
Home
Section: New Results
Highlights of the Year
Two results are particularly important this year, our computer-checked
proof [11] of irrationality of
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
- Highlights of the Year
- A formal proof of the irrationality
of
- Criterion for the existence of telescopers for mixed hypergeometric terms
- Integration of rational functions
- Efficient algorithms for linear differential equations in positive characteristic
- Efficient algorithms for rational first integrals
- Computation of necessary integrability conditions for parametrized Hamiltonian systems
- Non-D-finite excursions in the quarter plane
- A human proof of the Gessel conjecture
- Enumeration of 3-dimensional lattice walks confined to the positive octant
- Asymptotic expansions for linear homogeneous divide-and-conquer recurrences: Algebraic and analytic approaches collated
- Asynchronous interaction with Coq
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
- Highlights of the Year
- A formal proof of the irrationality
of
- Criterion for the existence of telescopers for mixed hypergeometric terms
- Integration of rational functions
- Efficient algorithms for linear differential equations in positive characteristic
- Efficient algorithms for rational first integrals
- Computation of necessary integrability conditions for parametrized Hamiltonian systems
- Non-D-finite excursions in the quarter plane
- A human proof of the Gessel conjecture
- Enumeration of 3-dimensional lattice walks confined to the positive octant
- Asymptotic expansions for linear homogeneous divide-and-conquer recurrences: Algebraic and analytic approaches collated
- Asynchronous interaction with Coq
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography