Bonjour,
Dans le cadre de la communauté COSCINUS de la Mission Numérique du CEA, il est envisagé de créer un réseau sur les mathématiques formelles - ou symboliques - (*) et, plus particulièrement, sur les logiciels permettant de faire des mathématiques formelles (MATHEMATICA de chez WOLFRAM, MAPLE, MAXIMA, … ).
Ce réseau aurait pour but de fédérer les utilisateurs CEA de logiciels de mathématiques formelles pour permettre des échanges et de l'entraide.
L'ambition est de réaliser une cartographie des utilisateurs de logiciels de mathématiques formelles et de leurs usages, d'échanger sur les pratiques, de lister des éléments de comparaison des différents logiciels, de promouvoir leur utilisation en interne CEA, de rapprocher les acteurs ayant les mêmes problématiques et ceux qui peuvent apporter une aide, d'échanger sur les besoins et les difficultés dans ce domaine...
Pour nous aider à orienter la création de ce réseau sur les sujets d'intérêt pour vous, pourriez-vous SVP renseigner le questionnaire ci-dessous ?
L'analyse des données collectées permettra de lancer les actions jugées soutenantes au réseau, comme par exemple : des formations sur site, des séminaires thématiques, des présentations par des mathématiciens sur des points particuliers, des rencontres pour favoriser les coopérations entre utilisateurs (créations de routines, d'add-ons/applets sur ces logiciels, si besoin lancement de projets)…
Merci par avance pour votre aide,
François SAINT ANTONIN - DES/Liten - membre COSCINUS à l'origine du projet
Alexia DAVEZAC - DRT/CRP - Community manager COSCINUS
(*) Mathématiques formelles : il s'agit des mathématiques avant la phase "calculs numériques". Les logiciels dédiés permettent par ex de donner automatiquement les formes symboliques des dérivées ou intégrales, traiter des expressions de logique, simplifier les relations issues de plusieurs relations, réaliser des graphes, avoir des développements limités pour des vérifications de calculs complexes, etc.