必須有 數學軟件 為 Linux

Gplib ++的程序和C ++類來分析和模型地球物理資料庫。Gplib ++是一些將成為該庫的部分代碼的第一印象。文檔還是很稀疏，任何幫助表示讚賞。否則原諒我希望可以盡快提供第一記錄的正確版本。Moorkamp，M.，AG瓊斯和DW伊頓（2007年）中，使用遺傳算法遠震接收函數和電磁資料聯合反演：關於遺傳算法聯合反演代碼的一些信息可以發現是地震波速和電導率兼容？，地球物理。水庫。 。快報，34，L16311，DOI：10.1029 / 2007GL030519。要求：·ANTLR 2.7.1·ATLAS...

圖示是一個研究項目，attemts解決作圖隱式的問題（即形式F（X，Y）=...

GraphThing是一個工具，允許你創建，操縱和學習曲線。這些“圖”是數學對象（看這個介紹圖論），描述集之間的關係;他們不是2D繪圖，圖表或任何類似。如果右側的圖像沒什麼意思的話，你很可能在錯誤的地方。 這意味著，它不僅花你一分錢，但你也可以自由地再分發或修改但它請你，只要你也給這些自由給他人。作為一個例子，該CityBuilder項目採取GraphThing的特定版本，並且修改了它自己的需要。他們已經發布的源代碼在GNU...

GRPN是一個圖形化的逆波蘭式（RPN）計算器。它是用C語言編寫，並使用GIMP工具包（GTK）在X11上面。 GRPN是在Linux下開發的，但也已經在SunOS和Solaris下測試。它是用C語言編寫，並使用GIMP工具包（GTK）在X11上面。GRPN可與實數和複數。號碼可以顯示在4種不同的基數的模式，和複數可以顯示在任一笛卡爾或極坐標形式。GRPN使用堆棧和逆波蘭式來計算表達式。疊GRPN是無限的，僅受可用內存的限制。GRPN支持以下功能：·一般數學函數：+ - * /...

GtkMathView是一個C ++渲染引擎的MathML文檔。...

HartMath是用Java編寫的一個實驗性的計算機代數程序。它具有很大的數字運算，符號和數字評估，圖中繪製出，polynomial-，向量和矩陣函數。...

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

可擴展線性解算器項目Hypre的目標是開發可擴展的算法和軟件解決並行計算機上方程的大型，稀疏線性系統。主要的軟件產品是hypre，高性能預處理器庫，具有並行多重網格方法，結構化和非結構化網格的問題。感興趣的問題出現在模擬規範正在開發的LLNL和其他地方來研究物理現象在國防，環保，能源和生物科學。雖然並行處理是必要的，這些問題的數值解，單獨它是不夠的。可伸縮的數值算法也是必需的。通過“可擴展的”，我們通常是指有效地使用附加的計算資源，以解決越來越大的問題的能力。許多因素促成可擴展性，包括並行計算機的體系結構和...

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

Java的代數系統（或JAS的簡稱）是一個開源的，免費分發的，面向對象，多線程，並支持systems.Implemented...