MATHEXP

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. A deep involvement in these fields, in tight interaction with experts, is a key part of our methodology.