# MATHEXP experimental mathematics

MATHEXP develops and implements symbolic and seminumerical computational methods to deal with special functions and numbers in experimental mathematics. Our objectives span a range of topics from fundamental algorithms to applications in combinatorics, number theory, statistical physics, quantum mechanics, and algebraic geometry, pushing forward the limits of computability and efficiency.

*Experimental mathematics* is the study of mathematical phenomena by computational means.
*Computer algebra* is the art of doing effective and efficient exact mathematics on a computer.
MATHEXP develops both themes in parallel, in order to discover and prove new
mathematical results, often out of reach for classical human means. It is our
strong belief that modern mathematics will benefit more and more from computer
tools. We ambition to provide mathematical users with appropriate algorithmic
theories and implementations.

## People

### Permanent members

- Alin Bostan
- Frédéric Chyzak,
*team leader* - Pierre Lairez

### PhD students

- Hadrien Brochet,
*Palaiseau* - Alexandre Goyer,
*Palaiseau* - Alexandre Guillemot,
*Palaiseau* - Alaa Ibrahim,
*Lyon, Palaiseau, Paris* - Pingchuan Ma,
*Beijing, Palaiseau* - Rafael Mohr,
*Kaiserslautern, Palaiseau, Paris* - Hadrien Notarantonio,
*Palaiseau, Paris* - Eric Pichon-Pharabod,
*Palaiseau*

### Postdoc

- Ricardo Buring
- Lixin Du
- Claudia Fevola

### Volunteer and retired members

- Philippe Dumas
- Guy Fayolle,
*Inria emeritus*

### Friends

### Administrative assistant

- Bahar Carabetta

### Former members

- Geoffrey Datchanamourtty,
*intern* - Aleksandr Storozhenko,
*intern* - Sergey Yurkevich,
*PhD student* - Catherine St-Pierre,
*postdoc* - Raphaël Pagès,
*PhD student*

## Seminar

We organize the MATHEXP seminar.## Publications

## Where we are

This Inria team is part of the Inria Saclay Centre, with offices located in the Alan Turing building in Palaiseau.

View Larger Map