Giacpy est une interface Python pour le système d'algèbre informatique Giac, permettant d'accéder à ses fonctionnalités avancées depuis un environnement Python. Ce projet facilite les calculs symboliques, la résolution d'équations, la manipulation de polynômes et les opérations d'algèbre linéaire. Il est particulièrement utile pour les chercheurs, enseignants et étudiants en mathématiques ou en sciences appliquées nécessitant des outils de calcul formel performants.

Giacpy_sage est une interface Python/Cython pour la bibliothèque C++ giac, un système d'algèbre informatique généraliste. Ce projet permet d'exécuter des calculs symboliques, des opérations sur les polynômes, des résolutions d'équations et des intégrations/dérivations directement depuis Python ou SageMath. Il facilite l'interaction avec les fonctionnalités avancées de giac tout en offrant une intégration transparente dans l'écosystème Sage.

Bibliothèque logicielle dédiée à la manipulation, l'analyse et la simplification d'expressions mathématiques. Elle permet de parser, évaluer et transformer des formules algébriques complexes en fournissant des outils pour le calcul symbolique et numérique. Utilisée dans des contextes scientifiques ou techniques nécessitant une gestion avancée des équations.

Ce projet académique développe des implémentations concrètes de machines de Turing, des outils théoriques fondamentaux en informatique. Il permet de modéliser, simuler et visualiser le fonctionnement de machines de Turing classiques ou avancées (multi-bandes, universelles). Les constructions réalisées, comme l'émulation d'alphabets n-symboles par un alphabet binaire ou la machine universelle, offrent des bases pour l'étude des calculs théoriques et des algorithmes.