MathLab 數學研究臺
dsh-mathlab
使用本機 Python/SymPy 進行符號計算、代數、邏輯與互動講解。可選 Lean 檢查會在本機執行提交的 Lean 原始碼，需另裝相應工具；作者驗證環境為 Windows、DSH 0.2.1-rc.5。
在 DSH 中安裝
先把開放外掛市場新增為索引源（只需一次）：插件 → 实验性插件 → 自定义插件市场，再到「发现 → 添加索引源」貼上這個地址。
複製外掛名，開啟 DSH，在「发现」裡貼上搜尋即可安裝。
dsh-mathlab
更省事：安裝開放市場外掛
dsh plugin --profile desktop add dsh-open-market它會自動加入本索引，並在「插件」頁多一個「開放市場」標籤：在裡面搜尋「MathLab 數學研究臺」即可安裝，以後有新版本也能在那裡一鍵更新。
外掛資訊
- 外掛名
- dsh-mathlab
- 版本
- 0.2.1
- 適用 DSH
- >=0.2.1-rc.5
- 釋出於
- 2026年11月4日
- 審查
- 開放外掛市場 · 包結構核查 · v0.2.1 · 2026-11-04 · 審查記錄
- 作者
- FileXego
- 分類
- 工具
關鍵詞
- dsh
- dsh-plugin
- dsh-bundle
- deepseek-harness
- math
- mathematics
- sympy
- lean4
- latex
- live-stage
- abstract-algebra
- category-theory
README 徽章
你是這個外掛的作者？把徽章放進 README，顯示點贊數，點選直達本頁。
[](https://dshopen.org/zh-tw/plugins/dsh-mathlab/)
