SymPy has some routines to make formulas more palatable. For instance, it can print sympy.Expr objects (expressions) in LATEX:
The second argument of solve() indicates the set of “output” variables. Indeed, we have three equations for twelve variables. Each equation can be used to express one variable as function of the others. Thus, we can pick three variables and express them as functions of the remaining nine.
via Solving symbolic equations with SymPy – Stéphane Caron
SymPy is a Python library for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the code as simple as possible in order to be comprehensible and easily extensible. SymPy is written entirely in Python.
SQLite is a database that is stored in a single file on disk. SQLite is built into Python
via Python import sql – Google Search
in IPython qtconsole (which one could embed inside a custom PyQt/PySide application, and keep track of all the defined symbols
via math – Mathematical equation manipulation in Python – Stack Overflow