Maxima是一种用Common Lisp开发的计算机代数系统（或符号计算系统），用于公式推导、符号计算、数值计算等。
类似的商业产品有美国Wolfram Research公司的Mathematica、加拿大滑铁卢大学的Maple（其计算机代数系统核心作为Matlab的符号计算系统）等等。
-
这个Blog里曾经多次提到过超强数学软件Mathematica，但目前为止我还没发现它的Linux版，Wine似乎也没有用。其实，在Linux下也有很多类似于Mathematica的数学软件，其中Maxima是我用的最多的一个。这里简单介绍一下Maxima的各个函数供大家参考，也方便我自己今后查询。 安装：sudo apt-get install maxima maxima-share 运
-
https://blog.csdn.net/liyuanbhu/article/details/7829422
-
一个比较好用的开源符号计算软件。参考 http://maxima.sourceforge.net/ <img src="http://www.forkosh.dreamhost.com/mimetex.cgi?/x=/frac{-b/pm/sqrt{b^2-4ac}}{2a}">
-
三角运算 (%i1) trigexpand(sin(10*x+y)); (%o1) cos(10 x) sin(y) + sin(10 x) cos(y) (%i2) trigexpand(sin(2*x)); (%o2) 2 cos(x) sin(x) (%i3) trigsimp(2*cos(x)^2+sin(
-
集合定义 maxima 似乎只支持有限集。建立集合的方式是列举。 set(a_1, ..., a_n) n 个元素的集合 {a_1, ..., a_n} 同上 setify(foo) list->set 把列表 foo 转换为集合 fullsetify(foo) 把列表 foo 转换为集合, 对列表的列表元素递归调用 fullsetify。列表的列表元素指的
-
Axiom是一个通用的计算机代数系统，用于研究和开发数学算法，定义了强类型的数学形式上正确的类型系统，拥有自己的编程语言和内置编译器。
-
三范式 第一范式 在关系模型中，对域添加的一个规范要求，所有的域都应该是原子性的，即数据库表的每一列都是不可分割的原子数据项，而不能是集合，数组，记录等非原子数据项。 第二范式 在第一范式的基础上，非码属性必须完全依赖于候选码，在第一范式基础上消除非主属性对主码的部分函数依赖。 第三范式 在第一范式基础上，任何非主属性不依赖于其它非主属性，在第二范式基础上消除传递依赖。
-
计算机操作系统
-
编译系统的四个阶段 预处理：将头文件的内容直接插入到文本 编译：源码到汇编 汇编：汇编指令到机器指令，这时得到的可重定位目标程序还无法执行 链接：将标准库函数所在的预编译文件合入到上一步的程序中，得到最终的可执行文件 系统硬件组成 32 位、64 位也是计算机总线依次传递的字的大小 控制器和适配器：控制器存在硬件上，硬件直接与 I/O 总线相连，在主板内部；适配器：不在主机内部而是通过扩展槽相连到
-
冯·诺依曼体系结构 计算机处理的数据和指令一律用二进制数表示 顺序执行程序 计算机运行过程中，把要执行的程序和处理的数据首先存入主存储器（内存），计算机执行程序时，将自动地并按顺序从主存储器中取出指令一条一条地执行，这一概念称作顺序执行程序。 计算机硬件由运算器、控制器、存储器、输入设备和输出设备五大部分组成。 数据的机内表示 二进制表示 机器数 由于计算机中符号和数字一样，都必须用二进制数串来表
-
编译系统 静态链接 目标文件 动态链接 编译系统 以下是一个 hello.c 程序： // c #include int main() { printf("hello, world\n"); return 0; } 在 Unix 系统上，由编译器把源文件转换为目标文件。 // bash gcc -o hello hello.c 这个过程大致如下： 预处理阶段：处理以 # 开