EN FR
EN FR


Section: New Results

Highlights of the Year

Two results are particularly important this year, our computer-checked proof [11] of irrationality of ζ(3) and our new algorithm [19] for the integration of multiple integrals. The former is our first success in the merger between computer algebra and formal methods, and stimulates further research in this direction around special functions and creative telescoping. The latter has made a large class of integrals possible in practice, thus allowing us to compute a challenging list of integrals related to famous Calabi–Yau various; it has also received attention by physicists.