Organizing Committee
Comité d'organisation
Paola Boito (University of Pisa)
Eleonora Guerrini (Université de Montpellier)
Pierre-Jean Spaenlehauer (INRIA Nancy Grand-Est)
Comité d'organisation
Paola Boito (University of Pisa)
Eleonora Guerrini (Université de Montpellier)
Pierre-Jean Spaenlehauer (INRIA Nancy Grand-Est)
Description
Computer Algebra refers to the study and design of algorithms for manipulating mathematical expressions and objects. It is naturally at the interface between Mathematics, Computer Science, and various application fields. It covers a wide range of subjects, such as effective linear algebra, algorithmic number theory, integration and summations in closed-form expression, differential and polynomial system solving, or special functions. The French Computer Algebra community takes part in the organization of the main international conferences (ISSAC, FoCM, MEGA, . . . ). On top of scientific excellence in their theoretical works, members of this community also develop for widely used software such as Maple, SageMath and Magma, and software libraries such as mpfr, pari, fgb, rs, linbox, etc. The vitality of this community is also recognized by prestigious national prizes (e.g. CNRS medal). This success is notably due to the Journées Nationales de Calcul Formel (JNCF), which is a remarkable opportunity for researchers to discuss recent and ongoing work with their peers. Expected outcomes include:
|
Le calcul formel désigne la conception et l’analyse d’algorithmes pour la manipulation d’expressions et d’objets mathématiques. C’est une discipline à l’interface des mathématiques, de l’informatique et de différents domaines d’application. Il recouvre de nombreux sujets, de la théorie algorithmique des nombres à la résolution de systèmes polynomiaux ou différentiels en passant par les fonctions spéciales ou l’algèbre linéaire effective. La communauté française de calcul formel participe à l’organisation des principales conférences internationales (ISSAC, FoCM, MEGA, . . . ). Reconnus internationalement pour leurs contributions théoriques, les membres de la communauté participent également au développement de logiciels largement utilisés comme Maple, SageMath, Magma, ainsi que de bibliothèques comme mpfr, pari, fgb, rs, linbox, etc. Sa vitalité doit beaucoup aux Journées nationales de calcul formel (JNCF), qui représentent une opportunité remarquable pour les chercheurs d’échanger avec leurs pairs autour de travaux récents ou en cours. Les résultats que nous attendons sont en particulier :
|
Courses
TBA
TBA
Contributed talks
TBA
SPONSORS