頂部 教育和科學軟件 為 Linux

間隔算術艾達是一個數學庫，提供間隔的Ada的實現。它包括算術和關係運算。例如：三態邏輯包間隔用作根包，並提供必要的間隔定義關係操作的三態邏輯。類型的邏輯被定義為： 類型邏輯是（假，真，不確定）; 下面的操作定義邏輯： 功能“不”（左：邏輯）返回邏輯; 功能“和”（左，右：邏輯）返回邏輯;    功能“和”（左：邏輯;右：布爾）       返回邏輯;    功能“和”（左：布爾;右：邏輯）       返回邏輯; 函數“或”（左，右：邏輯）返回邏輯;    函數“或”（左：邏輯;右：布爾）       返回...

通常所說的草，這是用於地理空間數據管理和分析，圖像處理，圖形/地圖製作，空間建模和可視化地理信息系統（GIS）。草是目前在學術和商業環境在世界各地，還有許多政府機構和環境諮詢公司所採用。 GRASS GIS是在GNU / GPL許可證發布免費的軟件 本發行版是新的： 此版本提供了許多新功能，包括時空數據庫支持，圖像分割，重新投影過程中蒸散量和輻射從衛星圖像，自動線的頂點緻密的估計，更LIDAR支持和大力改進的圖形用戶界面體驗。 GRASS GIS...

TRMiner是一個Python的工具，旨在科學數據策展人＆NBSP;它允許快速修剪科學出版物的大集合相關的一個給定的挖掘目標句子。這是在兩個步驟中實現的。首先，文本tranlated為標記相關的單詞序列。其次，正則表達式模式中搜索令牌序列。 。火柴被翻譯回自然語言的句子和作為提供基於HTML5的輸出，允許手動策展人進行排序，並為進一步的閱讀和信息提取率匹配 要求 ...

印章是一個Python模塊，提供Hadoop的序列比對。密封的MapReduce的應用生物序列比對。它運行在Hadoop（http://hadoop.apache.org）通過Pydoop（http://pydoop.sourceforge.net），一個用於Hadoop的Python的MapReduce和HDFS API。 要求： ...

avalanchetoolbox是一個工具箱，用於識別和描述分支過程，如神經元雪崩 要求： ...

IQR是一個仿真系統圖形化設計和控制大規模的神經元模型。IQR是用於創建和運行大型神經網絡仿真工具。通過IQR的圖形用戶界面（GUI）能夠為用戶： - 設計系統 - 控制模擬的運行 -...

mathtools提供簡單的數學公式和計算，例如一個圓的面積，英尺到米，速度=距離/時間＆NBSP;以及更多，甚至更上的方式。檢查我們在BitBucket上！...

imposm.geocoder是一個地理編碼為OpenStreetMap的數據，開發了作為一個Python libary和可用於地址轉換為坐標。眼下的地理編碼器還處於早期測試狀態和一些代碼是德國的地址進行了優化。請注意，該API將在未來改變。這取決於一個的PostgreSQL / PostGIS的數據庫和進口刀具Imposm上。它是開發和Omniscale支撐。在libary運行在Linux或Mac OS X和釋放作為Apache...

jplephem讓您請教一個噴氣推進實驗室星歷表的位置和行星之一的速度或幅度和速率的變化對地球的垂頭或月球的天平動的＆NBSP;要使用確定火星的位置在DE421星歷，例如，你將開始通過安裝兩個包：PIP安裝jplephemPIP安裝de421然後你就可以使用這樣一個腳本計算的位置：進口de421從jplephem進口歷E =星歷（de421）JED =...

DE405一直是基礎美國海軍天文台的天文年曆自2003年以來和權力的噴氣推進實驗室的在線HORIZONS服務＆NBSP;提供坐標和速度的主要行星，太陽和地球的月球。名稱：DE405（1997年5月）年：1600 2200，通過行星：是太陽/月亮：是章動：是Librations：是報告：斯坦迪什（1998）[PDF]大小：54...