Sébastien Celles présentera Giac.jl, un projet intégrant le moteur de calcul formel Giac — développé par Bernard Parisse, créateur de Xcas et contributeur majeur à GeoGebra — directement dans l’écosystème Julia.
Giac.jl permet d’exploiter toute la puissance de Giac sans nécessiter de compilation locale grâce à BinaryBuilder. Les fonctionnalités couvrent le calcul symbolique (factorisation, dérivation, intégration), la résolution d’équations différentielles, les transformées de Laplace — absentes de Symbolics.jl —, ainsi que des outils avancés comme la factorisation d’entiers, utile pour les défis de cryptographie (CTF).
La méthode innovante de développement assistée par intelligence artificielle sera décrite ainsi que les défis de génie logiciel rencontrés.
Pour en savoir plus, le code et la documentation sont disponibles sur github.com/s-celles/Giac.jl.
Pierre Navaro