Hilbert II

Hilbert II 0.04.06

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

分形Fr0st是用Python編寫/ pygame的一個應用程序,讓用戶可以直觀,因為它呈現的11參見迭代系統&NBSP的結果;這是它的一個非常早期的版本,有很多計劃的funcionality失踪。唯一控制迄今被移動鼠標來改變活性的位置變換和左右鍵來轉換之間切換。很難在非技術術語來解釋,只是嘗試一下。如果你知道如何使用隆起,就可以讓自己的火焰被冰凍所呈現的 什麼在此版本中是新的: ...

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

EqualX

EqualX 0.6.0 Beta

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

並行三維快速傅立葉變換,被稱為P3DFFT,是在廣泛的學科,如物理,氣候學,化學計算運算庫。該項目在SDSC開發梅德Pekurovsky作為戰略協作應用程​​序(SAC)項目產品 特點: 並行實現二維數據的分解,克服了一個重要的限制了其他3D FFT庫的可擴展性實現1D或平板,分解。在優化並行通信和單CPU的性能。在建的精心優化,靈活的一維FFT庫之上。 什麼在此版本中是新的: 在這個版本增加了各類錯誤修正和改進 什麼在2.4版本的新: ...

Stacniac

Stacniac 1.0

Stacniac是RPN計算器程序。您可以下載並免費使用它(但捐贈欣然接受 - 點擊下面的按鈕)。您可以鏈接到這個網頁。請不要再分發Stacniac;請不要反編譯或修改。Stacniac是“有點奇怪”,因為它不具備按鈕:您輸入數字,然後鍵入命令。很顯然,大多數人喜歡代數計算器和喜歡點擊的按鈕,所以我不認為Stacniac將會有廣泛的吸引力;不過,我喜歡RPN,喜歡跑從鍵盤的計算器。Stacniac有一個相當大的集合這是由輸入短(但希望很明顯)字樣調用命令。...