Bernard Parisse signale un fait qui semble assez peu connu des Pythonneurs : le moteur de calcul formel de Xcas est disponible sous forme d’un module Python appelé giacpy.
On a alors accès à toutes les fonctions de calcul formel de Xcas, qui sont souvent plus complètes et (presque toujours) bien plus rapides que sympy. Quelques exemples en intégration formelle :
from giacpy import *
x=giac(’x’)
integrate(x**2*sin(x)**4*exp(-x),(x,0,inf))
integrate(atan(sqrt(1-x**2)),x)
integrate(atan(2*x/(1+x**2)),x)
integrate(ln(x+sqrt(1+x**2)),x)
Plus de détails : https://www-fourier.ujf-grenoble.fr/~parisse/giac_fr.html#python