computer-algebra

純 Python 編寫的計算機代數系統

完全在你的瀏覽器中執行、編譯與執行用於科學計算與資料視覺化的 JavaScript！一個完全在瀏覽器中的開源科學計算環境，具備 GPU 加速矩陣運算、TeX 支援、資料視覺化與符號運算。

一個用於 Julia 中自動化平行科學機器學習 (SciML) 的因果建模框架。結合符號學的計算機代數系統，用於物理資訊機器學習與微分方程的自動轉換

SymEngine 是一個用 C++ 編寫的快速符號運算函式庫

GAP (Groups, Algorithms, Programming, a System for Computational Discrete Algebra) 的主要開發儲存庫

用 Javascript (Typescript) 寫的電腦代數系統

Symbolica 是一個用於 Python 和 Rust 的高效能電腦代數函式庫。以空前速度運算大型運算式、進行模式比對，並產生最佳化的數值程式碼。

適用於 C# 與 F# 的開源跨平台符號代數函式庫。可用於生產環境與研究用途。

FLINT（數論快速庫）。

🧩 具備代數資料類型的形狀安全符號微分

一個用於代數、幾何與數論計算的綜合性開源電腦代數系統

⟨Grassmann-Clifford-Hodge⟩ 微分幾何代數。