用Python编写的Modelica到计算机代数系统（CAS）编译器。 安装 Python / PyPI： pip install pymoca Anaconda / Conda： 安装anaconda 3。 设置环境。 ./create_conda_env.sh enduser . activate pymoca jupyter notebook 例子 路线图 已完成的任务 解析Modelica 用于简单模型的Sympy Simulation / CAS创建 Casadi CAS创建简单模型 去做 收集需求并统一Casadi模型 延迟解析以读取大型库 支持更多的Modelica语言元素

munkres的代数拓扑 中文版 适合高年级本科生和研究生

英文版的线性代数教程，学起来非常简单，很适合自学

二元决策图计算器 通过布尔代数公式构造BDD 可以通过以下链接获取计算器： : 计算器可以做什么 根据给定的逻辑代数公式构造BDD 设置要拆分的变量的顺序 逐步输出解决方案 显示真值表和一些其他数据 允许您移动构造的节点 计算器工作原理的一个例子 为某些电路构建BDD的示例

编程实现guass和householder求解线性方程组，并比较分析结果。

数据库 关系代数例题讲解，例:LIU老师所教授课程的课程号，课程名 ∏CNO,CNAME(σTNAME=‘LIU’ （C） 2. 检索年龄大于23岁的男学生的学号和姓名 ∏SNO,SNAME（ σ AGE>23 ∧ SEX=‘M’（S））

整理的几套历年考试真题以及答案，供大家复习参考，祝取得好成绩。

中文翻译Introduction to Linear Algebra, 5th Edition 5.3节（仅供交流学习）

大学线性代数.pdf

SymPy：一个纯Python编写的计算机代数系统