PRPVis（可视化的概率路线图规划）是一个概率为基础的规划与几个自由度，如机器人，物体的运动方法。该项目PRPVis提供了教学对学生的算法，该算法用于交互式可视化。 在线演示（浏览器需要Java...

Extcalc 是 Linux 平台下的一款桌面计算器软件。附带很到高级的计算方法。

简单的RPN计算器；

高保真计算器模拟器。

SpeedCrunch 是一款强大的高精度桌面计算器，支持包括Windows、Linux和MacOS系统。

PyMVPA (Python MultiVariate Pattern Analysis) 是一个用来简化大型数据集的模式分类分析的Python模块。提供一些高级的抽象的常用的处理步骤和一些常用算法的实现，而且它不仅仅局限于神经影像...

《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十 年代末提出几何定理自动证明的吴方法...

ZGrapher 该软件可以绘制 y(x), x(y)，极限，变量曲线图以及表格定义的函数。计算功能包括获得派生值，切线和法线方程式，数字化积分和递归分析。曲线图，坐标轴平面图，空间可以被完 全定制。...

PathVisio是一个生物信息学工具，可以让你做各种各样的生物途径图。 PathVisio帮助您组织生物信息，并让您现在或发布的信息更容易。您可以创建和借鉴的途径，并将其输出到很多图像格式，批注在...

宗旨:    1, 辅助中医大夫储备药方、药名药理备查。让大夫能腾出精力集中诊断分析, 而不必消耗精力去记忆琐碎的细节。    2, 平时有空方便时自己录入储备或完善...

QPolymer模型是所谓的FENE的各种流参考帧类型的拉格朗日模拟，如湍流，层流剪切等基于Qt的图形用户界面是在此项目以动画的动态创建。

Fityk是一个非线性拟合和数据分析工具，Fityk通常用于实验数据的分析，Fityk可以支持常见的峰形功能。它界面直观，支持进行用户定义，可以进行优化和自动处理。