Hilbert II

Hilbert II 0.04.06

希尔伯特II项目是分散的访问验证和可读性的数学知识。因为它的名字已经表明，这个项目是在希尔伯特计划的传统。 希尔伯特II要成为一个自由，世界各地的数学​​知识，包含数学定理和证明在正式的正确形式基地。属于所有文件都在GNU自由文档许可证出版。 我们的目标是共同的数学论证适应正式语法。这意味着，只要在数学某种论证经常使用，我们将期待它融入希尔伯特II的正式语言。这种形式语言被称为qedeq格式。...

20 Feb 15 在 教育和科学软件, 数学软件
Linux
阅读更多
DanCalculator

DanCalculator 0.3

DanCalculator是用Java编写的一个开源的计算器软件，允许用户做基本的数学运算，如师，乘法，加法和减法。。用Java编写的，DanCalculator是一个跨平台的工具，旨在在Linux，Mac OS＆NBSP完美运行; X＆NBSP;和Windows操作系统 要求： < p> 在Java...

20 Feb 15 在 教育和科学软件, 数学软件
Linux
阅读更多
Gauss-Jordan elimination

Gauss-Jordan elimination 3 Beta

高斯＆ndash的;乔丹是消除设计，让精明的用户可以毫不费力地反转矩阵，采用了高铭大街的开源软件; -Jordan消除。高斯＆ndash的;约旦消去显示的溶液和计算，并支持矩阵高达10×10的尺寸。这是一个跨平台的应用程序，旨在在Linux，Mac OS＆NBSP运行;...

20 Feb 15 在 教育和科学软件, 数学软件
Linux
阅读更多
BoolStuff

BoolStuff 0.1.14

BoolStuff是可以支持一些操作上的布尔表达式二叉树的C语言库。一个命令名为booldnf调用这个库的表达式转换，还提供了DNF 特点： 在一个简单的布尔表达式解析器（支持运营商AND，OR和NOT，以及括号内）; 在一个算法来转换一个布尔表达式二叉树到其析取范式（这种算法支持NOT运算符）; 在一个函数，确定一个表达式树在DNF。 什么是新的本新闻稿中： ...

20 Feb 15 在 教育和科学软件, 数学软件
Linux
阅读更多
RKward

RKward 0.6.1

RKWard被设计成了一个透明和易于使用的界面，R语言的开源软件。RKward不仅提供了方便的用户界面，而且还照顾无缝集成与办公套件 什么在此版本中是新的： 在添加选项强制，关闭一个图形窗口添加插件按行或列子集data.frames 在Windows平台上，增加一个新的（实验）二进制启动包装（rkward.exe）在恢复到默认情况下，建立R封装形式源在Mac OS...

20 Feb 15 在 教育和科学软件, 电子设计自动化
Linux
阅读更多
Systems of Ordinary Differential Equations

Systems of Ordinary Differential Equations 0049

常微分方程RubySode系统（Sode.rb）是一个Ruby程序来生成一个Ruby程序来解决单个（或制度），常微分方程（S）。长泰勒级数法，通过YF教授首创长安，谁在20世纪70年代末的时候我还是个研究生有任教于内布拉斯加大学，被使用。泰勒级数项数可以在这个问题文件中指定，但它通常是30 什么在此版本中是新的： 结果现在总结在table.html，它具有链接到指定的问题的文件，则程序生成，​​并运行的程序的结果。在一个新的程序现在可以检测操作系统（以及询问是否可以不告诉），并要求使用（C，C...

20 Feb 15 在 教育和科学软件, 数学软件
Linux
阅读更多
Mars Simulation Project

Mars Simulation Project 3.04

火星模拟计划旨在创建一个模拟火星上的未来人居的一个开源的Java软件。火星模拟计划的主窗口包括以下组件： - 菜单栏 - 搜索工具 - 时间工具 - 火星导航 - 监控工具 - 路虎信息窗口 - 结算信息窗口 - 人物信息窗口 - 股吧这是你可以修改仿真配置文件。任何更改后，新的仿真，必须启动： - buildings.xml - crops.xml - landmarks.xml - malfunctions.xml - medical.xml - people.xml - ...

20 Feb 15 在 教育和科学软件, 天文软件
Linux
阅读更多
JKuadrat

JKuadrat 1.1

JKuadrat是用Java编写的一个免费的图形软件，可用于计算的determinan和平方根公式。为了使用JKuadrat，你应该http://www.slideshare.net/trisaptoadji/my-javanote03阅读它的教程。用Java编写的，JKuadrat是支持在Linux，Mac OS＆NBSP独立于平台的应用; X＆NBSP;和Windows操作系统 要求： < ul> 在Java...

20 Feb 15 在 教育和科学软件, 数学软件
Linux
阅读更多
HEALPix

HEALPix 3.11

HEALPix（分层等面积isoLatitude像素化）为像素化，分层指数化，综合，分析，以及数据的可视化上的球的球上的软件。至于建议中的名字，这像素化产生的球面，其中每个像素包含相同的表面面积每一个像素的细分 什么是此版本中的新： 在错误修正和改进：常规：在libsharp C中使用的球谐变换的Fortran和C ++库，因为HEALPix 3.10现在可以与任何gcc版本编译的。在C ++：在见常规部分上面在Fortran...

20 Feb 15 在 教育和科学软件, 天文软件
Linux
阅读更多
EqualX

EqualX 0.6.0 Beta

EqualX是一个应用程序，让你轻松编写方程乳胶和预览他们的实时。项目的目标是： - 帮助用户写入更容易方程乳胶和预览他们的实时： - 符号完成 - 包含必要的符号GUI工具 - 自定义生成的方程（前景色，背景色，字体大小，字体，阴影等） - 生成公式可以拖放在其他应用程序 - 以不同的格式导出/导入生成的方程（PNG，GIF，JPG，PDF，PS，SVG，MathML可等） - 标签生成的方程，并自动保存在库中。 （sqlite3的） - 从库搜索标记方程 - 编辑模板的序言 什么是此版本中的新： ...

20 Feb 15 在 教育和科学软件, 数学软件
Linux
阅读更多
最近浏览的软件
按类别搜索
热门软件