maTHmU / MTCAS
Mathematica Theory of Computer Algebra System
☆112Updated 9 years ago
Alternatives and similar repositories for MTCAS:
Users that are interested in MTCAS are comparing it to the libraries listed below
- ☆41Updated 7 years ago
- Core Interpreter of maTHmU CAS☆67Updated 7 years ago
- ☆25Updated 7 years ago
- Core Interpreter of maTHmU CAS☆36Updated 4 years ago
- Yanqi Lake Lectures on Algebra, Part III☆46Updated last month
- Introduction to Modular Forms: A Chinese textbook about modular forms☆70Updated 3 months ago
- Selected Works of Mao Tse-Tung☆16Updated 4 years ago
- ☆157Updated 9 months ago
- Gödel, Escher, Bach: an Eternal Golden Braid☆84Updated 2 years ago
- ☆46Updated 10 months ago
- 初等数学笔记，LaTeX 排版，内容涉及代数、数论、几何、组合等。☆137Updated 2 years ago
- 史济怀复变函数LaTeX重排☆148Updated last week
- Lean4中文教程☆32Updated last year
- Chinese translation of the book "TeX by Topic"☆79Updated last year
- ☆61Updated 6 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆209Updated this week
- 小时百科☆81Updated this week
- VSCode extension for bTeX.☆20Updated last year
- 计算方法撷英 Notes on Computing Methods☆21Updated 4 years ago
- 《力学概论》LaTeX 重排版☆248Updated 8 months ago
- Asiatic pTeX☆294Updated this week
- 不定积分过程生成器（By Mathematica）☆43Updated last year
- ntype cafe summer school resources☆137Updated 7 months ago
- History of type theory (Chinese).☆327Updated 2 weeks ago
- Mathpix API in Mathematica☆72Updated 5 years ago
- 计蒜客软工外包事件记录☆38Updated 4 years ago
- Learn LaTeX the Hard Way☆53Updated 8 years ago
- some documents for Mathcrowd Community☆33Updated 4 years ago
- Package to use Wolfram Language in your LaTeX documents☆137Updated 10 years ago
- LaTeX package that embeds and executes Wolfram Language (Mathematica) codes inside LaTeX documents☆124Updated 4 years ago