Interval arithmetic for Ada

Interval arithmetic for Ada 1.10

间隔算术艾达是一个数学库，提供间隔的Ada的实现。它包括算术和关系运算。例如：三态逻辑包间隔用作根包，并提供必要的间隔定义关系操作的三态逻辑。类型的逻辑被定义为： 类型逻辑是（假，真，不确定）; 下面的操作定义逻辑： 功能“不”（左：逻辑）返回逻辑; 功能“和”（左，右：逻辑）返回逻辑;    功能“和”（左：逻辑;右：布尔）       返回逻辑;    功能“和”（左：布尔;右：逻辑）       返回逻辑; 函数“或”（左，右：逻辑）返回逻辑;    函数“或”（左：逻辑;右：布尔）       返回...

14 Apr 15 在 教育和科学软件, 数学软件
Linux
阅读更多
TRMiner

TRMiner 1.1

TRMiner是一个Python的工具，旨在科学数据策展人＆NBSP;它允许快速修剪科学出版物的大集合相关的一个给定的挖掘目标句子。这是在两个步骤中实现的。首先，文本tranlated为标记相关的单词序列。其次，正则表达式模式中搜索令牌序列。 。火柴被翻译回自然语言的句子和作为提供基于HTML5的输出，允许手动策展人进行排序，并为进一步的阅读和信息提取率匹配 要求 ...

14 Apr 15 在 教育和科学软件, 生物信息学
Linux
阅读更多
Seal

Seal 20120307

印章是一个Python模块，提供Hadoop的序列比对。密封的MapReduce的应用生物序列比对。它运行在Hadoop（http://hadoop.apache.org）通过Pydoop（http://pydoop.sourceforge.net），一个用于Hadoop的Python的MapReduce和HDFS API。 要求： ...

14 Apr 15 在 教育和科学软件, 生物信息学
Linux
阅读更多
mathtools

mathtools 1.2

mathtools提供简单的数学公式和计算，例如一个圆的面积，英尺到米，速度=距离/时间＆NBSP;以及更多，甚至更上的方式。检查我们在BitBucket上！...

14 Apr 15 在 教育和科学软件, 数学软件
Linux
阅读更多
imposm.geocoder

imposm.geocoder 0.1.3

imposm.geocoder是一个地理编码为OpenStreetMap的数据，开发了作为一个Python libary和可用于地址转换为坐标。眼下的地理编码器还处于早期测试状态和一些代码是德国的地址进行了优化。请注意，该API将在未来改变。这取决于一个的PostgreSQL / PostGIS的数据库和进口刀具Imposm上。它是开发和Omniscale支撑。在libary运行在Linux或Mac OS X和释放作为Apache...

14 Apr 15 在 教育和科学软件, 地理软件
Linux
阅读更多
jplephem

jplephem 1.1

jplephem让您请教一个喷气推进实验室星历表的位置和行星之一的速度或幅度和速率的变化对地球的垂头或月球的天平动的＆NBSP;要使用确定火星的位置在DE421星历，例如，你将开始通过安装两个包：PIP安装jplephemPIP安装de421然后你就可以使用这样一个脚本计算的位置：进口de421从jplephem进口历E =星历（de421）JED =...

14 Apr 15 在 教育和科学软件, 天文软件
Linux
阅读更多
de405

de405 1997

DE405一直是基础美国海军天文台的天文年历自2003年以来和权力的喷气推进实验室的在线HORIZONS服务＆NBSP;提供坐标和速度的主要行星，太阳和地球的月球。名称：DE405（1997年5月）年：1600到2200行星：是太阳/月亮：是章动：是Librations：是报告：斯坦迪什（1998）[PDF]大小：54...

14 Apr 15 在 教育和科学软件, 天文软件
Linux
阅读更多
de406

de406 1997

de406是它的日期不远的过去或将来使用的喷气推进实验室的在线服务的地平线长周期的星历。名称：DE406（1997年5月）年：-3000到3000行星：是太阳/月亮：是章动：无Librations：无报告：斯坦迪什（1998）[PDF]大小：190...

14 Apr 15 在 教育和科学软件, 天文软件
Linux
阅读更多
最近浏览的软件
按类别搜索
热门软件