You are here : Version française > Présentation > Trimestres et mois thématiques
-
Partager cette page
Symposium / Seminar
Recent Trends in Computer Algebra
From April 1, 2023 to July 15, 2023
Lyon / Paris
Computer algebra, a.k.a. symbolic computation, is a broad transdisciplinary area which aims at computerizing mathematics, i.e. solving exactly mathematical problems, using computers. Hence, it encompasses effective mathematics in algebra, analysis, geometry and number theory, the design of algorithms, the study of their complexities, their implementations and their use in applications, as well as software system aspects to manipulate and encode efficiently mathematical objects.
Read more
The semester will consist of three working workshops :
- Effective Aspects in Diophantine Approximation (March 27-31)
Organized by B. Adamczewski, A. Bostan, B. Salvy, W. Zudilin. - Certified and Symbolic-Numeric Computation (May 22-26)
Organized by N. Brisebarre, A. Mahboubi, D. Pous, B. Salvy. - Mathematical Software and High Performance Algebraic Computing (June 26-30)
Organized by W. Decker, J.-G. Dumas, C. Pernet, E. Thomé, G. Villard.
Organisation Comittee :
- Alin Bostan (Inria, Saclay, France)
- Mark Giesbrecht (University of Waterloo, Canada)
- Christoph Koutschan (RICAM, Linz, Austria)
- Marni Mishna (Simon Fraser University, Canada)
- Mohab Safey El Din (Sorbonne Universite, France)
- Bruno Salvy (Inria, CNRS, ENS Lyon, UCBL, France)
- Gilles Villard (CNRS, ENS Lyon, Inria, UCBL, France)
To read as well
PROGRAMME du semestre
- Effective Aspects in Diophantine Approximation (March 27-31)
Organized by B. Adamczewski, A. Bostan, B. Salvy, W. Zudilin. - Certified and Symbolic-Numeric Computation (May 22-26)
Organized by N. Brisebarre, A. Mahboubi, D. Pous, B. Salvy. - Mathematical Software and High Performance Algebraic Computing (June 26-30)
Organized by W. Decker, J.-G. Dumas, C. Pernet, E. Thomé, G. Villard.