¿Algún editor de LaTeX tiene un sistema de álgebra computacional integrado?

¡Si! Puede usar emacs como un editor de TeX con todas las funciones ( AucTeX ), y eso le dará acceso al emacs CAS, llamado calc, en el mismo búfer. Este sistema es bastante potente y personalizable. Lo uso cuando estoy preparando ejercicios para una clase, y su valor principal para mí está en los cálculos de autocompletar que involucran números de punto flotante o aritmética con fracciones. Tiene un solucionador y una diferenciación simbólica e integración también. En general, soy un gran admirador.

La otra forma de acceder a un CAS mientras TeXing es en el nivel de compilación. Puede usar SageTeX si le gusta Sage, y para Python puro también hay pythontex , desde el cual puede cargar el paquete sympy. A veces uso a Julia a través de la interfaz pythontex, ya que ese es el lenguaje compatible con pythontex en el que me siento más cómodo. Desde allí, vuelvo a llamar a Python con el paquete SymPy.jl, que es algo ridículo, pero estoy divagando.

También hay algunos sistemas que son computacionales primero pero que también admiten la composición tipográfica LaTeX (por ejemplo, las notebooks Jupyter).

Hay muchas opciones para explorar aquí.

WxMaxima (básicamente un front-end “más agradable” del antiguo programa Maxima) tiene cierta facilidad para producir LaTeX y hace una buena cantidad de matemática simbólica. También es gratuito y se ejecuta en Windows y Mac.

Mathematica no es un editor LaTeX per se pero tiene una funcionalidad de exportación a LaTeX.