Previous | 
Home
Section: New Results
A Complete Formal Proof of the
Irrationality of
Assia Mahboubi and Thomas Sibut-Pinote have completed a formal proof
of the irrationality of the constant
Overall Objectives
Research Program
New Software and Platforms
New Results
- Efficient Algorithms in Computer Algebra
- Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane
- Multiple Binomial Sums
- Algebraic Diagonals and Walks
- A Human Proof of the Gessel Conjecture
- Subresultants in Multiple Roots
- On Matrices with Displacement Structure: Generalized Operators and Faster Algorithms
- Quasilinear Average Complexity for Solving Polynomial Systems
- Computing the Homology of Basic Semialgebraic Sets in Weak Exponential Time
- Formally Certified Computation of Improper Definite Integrals
- A Complete Formal Proof of the
Irrationality of
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
New Software and Platforms
New Results
- Efficient Algorithms in Computer Algebra
- Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane
- Multiple Binomial Sums
- Algebraic Diagonals and Walks
- A Human Proof of the Gessel Conjecture
- Subresultants in Multiple Roots
- On Matrices with Displacement Structure: Generalized Operators and Faster Algorithms
- Quasilinear Average Complexity for Solving Polynomial Systems
- Computing the Homology of Basic Semialgebraic Sets in Weak Exponential Time
- Formally Certified Computation of Improper Definite Integrals
- A Complete Formal Proof of the
Irrationality of
Partnerships and Cooperations
Bibliography