maTHmU / nVLinks
☆41Updated 8 years ago
Alternatives and similar repositories for nV
Users that are interested in nV are comparing it to the libraries listed below
Sorting:
- Mathematica Theory of Computer Algebra System☆118Updated 9 years ago
- Core Interpreter of maTHmU CAS☆67Updated 8 years ago
- Core Interpreter of maTHmU CAS☆36Updated 4 years ago
- ☆26Updated 8 years ago
- 不定积分过程生成器(By Mathematica)☆45Updated last year
- Yanqi Lake Lectures on Algebra, Part III☆49Updated 4 months ago
- Lean4中文教程☆34Updated 4 months ago
- ☆26Updated 7 years ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆74Updated 3 weeks ago
- ☆48Updated last year
- Mathpix API in Mathematica☆72Updated 5 years ago
- ☆98Updated 6 years ago
- ☆43Updated 5 months ago
- Wolfram Language support for Visual Studio Code.☆51Updated 2 years ago
- 计算方法撷英 Notes on Computing Methods☆21Updated 4 years ago
- Gödel, Escher, Bach: an Eternal Golden Braid☆86Updated 2 years ago
- 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版☆211Updated last week
- ☆177Updated last year
- Project Euler | 欧拉计划 中文翻译站☆46Updated 2 months ago
- Selected Works of Mao Tse-Tung☆16Updated 5 years ago
- ☆62Updated 6 years ago
- Please go to https://github.com/maTHmU/nV☆15Updated 11 years ago
- Yet another EGE library☆23Updated last year
- TeXmacs for Windows (build in MSys2/Mingw32 environment)☆28Updated last year
- Integral function scripts for maTHmU CAS.☆9Updated 11 years ago
- generate chord music from irrational numbers☆46Updated 7 years ago
- 这是个中文版 的C++小测题。☆22Updated 5 years ago
- Birdee Language compiler and runtime☆40Updated 5 years ago
- History of type theory (Chinese).☆347Updated last month
- Official Editor for BKEngine Game Development☆21Updated 6 years ago