新 教育和科學軟件 為 Linux

希爾伯特II項目是分散的訪問驗證和可讀性的數學知識。因為它的名字已經表明，這個項目是在希爾伯特計劃的傳統。 希爾伯特II要成為一個自由，世界各地的數學知識，包含數學定理和證明在正式的正確形式基地。屬於所有文件都在GNU自由文檔許可證出版。 我們的目標是共同的數學論證適應正式語法。這意味著，只要在數學某種論證經常使用，我們將期待它融入希爾伯特II的正式語言。這種形式語言被稱為qedeq格式。...

DanCalculator是用Java編寫的一個開源的計算器軟件，允許用戶做基本的數學運算，如師，乘法，加法和減法。。用Java編寫的，DanCalculator是一個跨平台的工具，旨在在Linux，Mac OS＆NBSP完美運行; X＆NBSP;和Windows操作系統 要求： < p> 在Java...

高斯＆ndash的;喬丹是消除設計，讓精明的用戶可以毫不費力地反轉矩陣，採用了高銘大街的開源軟件; -Jordan消除。高斯＆ndash的;約旦消去顯示的溶液和計算，並支持矩陣高達10×10的尺寸。這是一個跨平台的應用程序，旨在在Linux，Mac OS＆NBSP運行;...

BoolStuff是可以支持一些操作上的布爾表達式二叉樹的C語言庫。一個命令名為booldnf調用這個庫的表達式轉換，還提供了DNF 特點： 在一個簡單的布爾表達式解析器（支持運營商AND，OR和NOT，以及括號內）; 在一個算法來轉換一個布爾表達式二叉樹到其析取範式（這種算法支持NOT運算符）; 在一個函數，確定一個表達式樹在DNF。 什麼是新的本新聞稿中： ...

RKWard被設計成了一個透明和易於使用的界面，R語言的開源軟件。RKward不僅提供了方便的用戶界面，而且還照顧無縫集成與辦公套件 什麼在此版本中是新的： 在添加選項強制，關閉一個圖形窗口添加插件按行或列子集data.frames 在Windows平台上，增加一個新的（實驗）二進制啟動包裝（rkward.exe）在恢復到默認情況下，建立R封裝形式源在Mac OS...

常微分方程RubySode系統（Sode.rb）是一個Ruby程序來生成一個Ruby程序來解決單個（或制度），常微分方程（S）。長泰勒級數法，通過YF教授首創長安，誰在20世紀70年代末的時候我還是個研究生有任教於內布拉斯加大學，被使用。泰勒級數項數可以在這個問題文件中指定，但它通常是30 什麼在此版本中是新的： 結果現在總結在table.html，它具有鏈接到指定的問題的文件，則程序生成，​​並運行的程序的結果。在一個新的程序現在可以檢測操作系統（以及詢問是否可以不告訴），並要求使用（C，C...

火星模擬計劃旨在創建一個模擬火星上的未來人居的一個開源的Java軟件。火星模擬計劃的主窗口包括以下組件： - 菜單欄 - 搜索工具 - 時間工具 - 火星導航 - 監控工具 - 路虎信息窗口 - 結算信息窗口 - 人物信息窗口 - 股吧這是你可以修改仿真配置文件。任何更改後，新的仿真，必須啟動： - buildings.xml - crops.xml - landmarks.xml - malfunctions.xml - medical.xml - people.xml - ...

JKuadrat是用Java編寫的一個免費的圖形軟件，可用於計算的determinan和平方根公式。為了使用JKuadrat，你應該http://www.slideshare.net/trisaptoadji/my-javanote03閱讀它的教程。用Java編寫的，JKuadrat是支持在Linux，Mac OS＆NBSP獨立於平台的應用; X＆NBSP;和Windows操作系統 要求： < ul> 在Java...

HEALPix（分層等面積isoLatitude像素化）為像素化，分層指數化，綜合，分析，以及數據的可視化上的球的球上的軟件。至於建議中的名字，這像素化產生的球面，其中每個像素包含相同的表面面積每一個像素的細分 什麼是此版本中的新： 在錯誤修正和改進：常規：在libsharp C中使用的球諧變換的Fortran和C ++庫，因為HEALPix 3.10現在可以與任何gcc版本編譯的。在C ++：在見常規部分上面在Fortran...

EqualX是一個應用程序，讓你輕鬆編寫方程乳膠和預覽他們的實時。項目的目標是： - 幫助用戶寫入更容易方程乳膠和預覽他們的實時： - 符號完成 - 包含必要的符號GUI工具 - 自定義生成的方程（前景色，背景色，字體大小，字體，陰影等） - 生成公式可以拖放在其他應用程序 - 以不同的格式導出/導入生成的方程（PNG，GIF，JPG，PDF，PS，SVG，MathML可等） - 標籤生成的方程，並自動保存在庫中。 （sqlite3的） - 從庫搜索標記方程 - 編輯模板的序言 什麼是此版本中的新： ...