顶部 数学软件 为 Linux

Schifra是一个非常强大的，高度优化的，和极其配置的Reed-Solomon纠错代码库的软件和基于IP的核心应用，实现在C ++和VHDL。项目支持标准，缩短，且打孔的Reed-Solomon码。它还具有堆叠产品编码和交织的支持。Schifra提供了一个简洁的，可预测和确定的接口，适合于简单和无缝集成到需要的Reed-Solomon纠错码功能复杂的数据通信项目的开发。这里是“Schifra”的一些主要特点：ยท错误和纠删ยท支持的符号大小 - ...

命令行计算器“中图法”是可以在Linux控制台直接计算的计算器。解压缩文件CLCC到/ usr / bin您可能需要以root登陆或e​​quvalent账户，才能够当您需要它来访问它。然后，只需写CLCC 67​​ + 89，答案将直接呈现给大家。 CLCC计算从左至右没有例外。 CLC也有一个使用反斜杠参数发送给CLC一些额外的参数。 CLCC R2 10/3这将四舍五入结果到2位小数，您可以使用1到9，如果你想圆的总和。 第r参数也可与其它参数相结合，但它首先必须加入像这样 CLCC R3C...

视觉图灵机项目是一个程序，让您创建图灵机有一个点，然后点击界面而不是使用深奥的语言。您可以带上您的复合机成小盒子，然后再用他们作为一个更大的机器的一部分。 VTM还设有一个无限长的磁带。什么是新的，在此版本：·新的功能包括一个n元组符号，多个窗口（MDI），一个巨大的工作空间（10000x10000像素）无存储问题，编辑您自己的机器的能力，执行机的n倍的能力（其中n是不确定的），使用表达式（如N +...

K3DSurf是谁产生与数学公式（参数或显式方程），三维表面的程序。更高级版本正在建设中，因此所有的意见都欢迎。 K3DSurf程序作了只是为了好玩，为了打发时间，并学习一些基本的3D绘图技术设备（无需OpenGL的）。如果你不能运行Linux，你可以找到一个小程序的Java浏览：http://www.wintonet.com/java/j3dsurf.html。这就是所谓的J3DSurf...

Calcoo是RPN和代数的科学计算器。以下是“Calcoo”一些主要特点：...

L2P创建LaTeX的格式化数学表达式的PNG图像。虽然它可以转换一个整体的LaTeX文档，它的设计很容易产生从LaTeX的代码只是一个片段的图像。下载L2P这里，或阅读文档。 L2P依赖于其他软件：乳胶，dvips，并转换。最后一个是来自ImageMagick的图形工具。如果您已经乳胶在现代Unix或Linux系统中工作，你可能已经拥有了这一切安装。示例：* L2P -i“$ ^ 4倍= 2-7​​ COS {2 PI X}...

GNU polyxmass是质谱软件套件（生物）-polymers。GNU polyxmass集成了一个质谱框架，用户可以定义全新的高分子化学（内polyxdef模块），而且为了使用这些定义来进行简单的计算质量（在polyxcalc模块内）或执行高分子化学复杂的模拟与相关质量数据计算（内polyxedit模块）。该框架允许所定义的高分子化学的各个方面的完全定制，和的方式将聚合物序列以图形方式显示。这项计划以前称为“polyXmass”。要求：·该方案依赖于libxml2库，并在glib2 / gdk2 /...

Dstar精简版是一个用C实现的D *精简版的算法，如[凯尼格，2002]解释。也有一些小的修改，这个代码来提高计算时间和路径距离。这是一个非常简单的软件，并应采取很少的时间来了解和整合。命令：[Q / Q] - 退出[R / R] - 重新规划[A / A] - 切换自动重新计划[C / C] - 清除（重启）鼠标左键点击 - 使细胞不能游历（成本-1）鼠标中点击 - 移动目标细胞点击鼠标右键 - 移动开始小区小区颜色如下：红色 - 不能游历绿色 - 穿越，但与成本改变红/绿与小紫方 -...

ESC / Java2的前端项目解析的Java 1.4源代码和Java 1.5字节码到抽象语法树，可以被用于扩展静态检查。扩展静态检查的Java版本2（ESC / Java2中）是一种编程工具，它试图通过程序代码的静态分析和正式的注释来查找JML标注的Java程序中常见的运行时错误。用户可以控制的数量和种类检查ESC / Java2的执行由他们的注释与程序特殊格式的注释称为编译指示。ESC /...

图示是一个研究项目，attemts解决作图隐式的问题（即形式F（X，Y）=...