A computer algebra system written in pure Python
Modeling framework for automatically parallelized scientific ML
Symbolic expressions, rewriting and simplification
800,000 step-level correctness labels on LLM solutions to MATH problem
Programa Para Factorizar/Simplificar Expresiones algebráicas.
A way to integrate LaTeX, VS Code, and Inkscape in macOS
Installable / Portable Python Distribution for Everyone.
Performs dimensional analysis from cells in a spreadsheet.
Toolbox visualizing computations of Realizable Sign Conditions.
A user-friendly GTK+ GUI for SymPy
Some optimization functions writen in Python with GUI