GitHub repository: Cactus-proj/MTCAS
Primary language: TeX
Description: 计算机代数系统的数学理论（Mathematica Theory of Computer Algebra System，MTCAS）