新 數學軟件 為 Linux

特別是對於工程專業的學生和學者設計，卡諾圖分析儀是一款商業軟件可以簡化卡諾圖和布爾表達式。實際上，它可以被證明是一個方便的工具，任何人誰的作品與布爾表達式，為他們提供強大的功能，最大限度地減少複雜的地圖。卡諾圖分析儀在Ubuntu 10.10和Ubuntu 12.04 LTS測試 特點： 在最小化的布爾表達式在轉換布爾表達式為SOP，POS和十進制形式在支持真值表和套計算在突出最小期限在簡化布爾公式與異或門的優化在支持多個邏輯運算符在自定義的操作符號，地圖定位，變量名，表達格式。 要求： ...

TRIP是一個致力於天體力學通用計算機代數系統。行程包括數字內核和具有接口GNUPLOT和xmgrace顯示。計算可以與雙，四，或多精度來執行。用戶可以動態加載寫在C，C ++或Fortran外部庫 什麼在此版本中是新的： 在TRIP現在支持多達1024​​個核心（而不是255）的計算機。在可擴展性已經在大型NUMA電腦提高。在該SCSCP服務器現在支持該協議SCSCP的1.2版本。該函數integnum可能返回結果作為數值矢量陣列。在一些錯誤已得到修復。 什麼在1.2.0版本新： ...

希爾伯特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。 什麼是新的本新聞稿中： ...

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

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

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

mathchem是一個數學化學Python包。計算以下矩陣： - 鄰接 - 拉普拉斯 - 無符號Laplace - 正規拉普拉斯 - 距離 - 電阻距離 - 距離倒數計算以下拓撲指數： - 以上所有矩陣譜 - 光譜瞬間 - 能源 - 薩格勒布M1指數 - 薩格勒布M2指標 - 連接性指數（R） - 偏心連接性指數 - Randic指數 - 原子 - 鍵連接性指數（ABC） - 埃斯特拉達指數（EE）的所有矩陣 - 距離埃斯特拉達指數（DEE） - 距離度（DD） - 反向距離度（RDD） -...