Stellarium

Stellarium 0.18.1 更新

Stellarium 是一個多平台,免費分發的開源軟件項目,從頭開始設計,作為一個完整而全面的天文館應用程序,包括在類似產品中找不到的許多功能。它為用戶提供了真實的天空模擬,以及日出和日落。即時訪問超過600,000顆星借助Stellarium,您將獲得超過600,000顆恆星,逼真的銀河系,星座的插圖和星座,以及更多讓新人無法呼吸的功能,並幫助最有經驗的天文學家發現新的恆星和行星。...

布爾表達式求解器是一個命令行實用程序,生成一個真值表對於給定的布爾表達式。它是用Java編寫的,所以它可以運行在安裝了Java運行時環境的任何平台,但生成文件和shell腳本包括為了方便一般要求*...

Pcb

Pcb 20050315

PCB是一個方便的工具,X Window系統的設計印刷電路板。所有的坐標單位是1/1000英寸。佈局由直線,圓弧,多邊形的元素(線,針腳和圓弧),過孔和文本信息分開成若干層。他們每個人都確定一個獨特的名稱和顏色(如果你的顯示器支持)。此外,還支持SMD電路。八層被支持,此外還有一個絲網層。銷和SMD焊盤和通孔的能見度是可控的。所有的文件都是7位ASCII,並可以與任何的Unix命令將其結果寫入標準輸出進行預處理(需要GNU...

PP3

PP3 1.3.2

PP3創建天體圖。它會產生非常高的圖形質量與分辨率無關的地圖。它們可以被用來,例如,作為說明在書籍或在網頁上。它可以改變許多參數,和任意的文本可以被放置在地圖上。輸出格式是EPS或PDF。程序本身只包含一個可執行文件和數據文件的目錄。該方案需要一個小的文本文件作為輸入,並產生一個乳膠,PostScript或PDF文件。...

HartMath

HartMath 0.8 pre2

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