symbolic-computation

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

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

針對機器人的快速符號運算、程式碼生成與非線性最佳化

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

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

使用 Rust 重新實作的 Wolfram Language / Mathematica（Wolfram oxidized）

Julia 語言中的分散式高效能符號迴歸

用於建立複雜類神經網路的簡單函式庫。

Lean 4 中的科學計算。