數理公式終結者，一個由袁銘鈞開發(fā)的能用公式幫助你計算各種數學、物理題目的軟件，本次更新完善了數學公式部分，使數學部分的所有項都能使用了，修復了幾個bug，使軟件運行中更加穩(wěn)定。DB0紅軟基地

軟件介紹

數理公式終結者專為滿足學生、科研工作者的日常學習工作需求而設計。本軟件支持變量公式計算、表達式計算等一系列專業(yè)而使用的計算功能，算式支持漢字、函數、變量等復雜符號，軟件獨創(chuàng)用模糊技術自動判斷語句含義，是一款值得下載的計算器軟件。DB0紅軟基地

軟件功能

　　還指出變量公式計算、數值計算、表達式計算、復雜的公式計算、角度變換、進制換算、數理統(tǒng)計、計算面體產狀、計算點的距離方位等功能。DB0紅軟基地
　　算式可以使用漢字、函數、變量、公式等復雜的符號，軟件采用模糊技術將自動判斷語句的意義，轉換各項符號，完成各項計算。DB0紅軟基地
　　可在三套坐標系內進行經緯度與公里網坐標的相互轉換；可在北京54坐標系、西安80坐標系、WGS84(國家2000)坐標系間進行坐標轉換；可對跨兩個分帶的坐標點進行跨帶坐標轉換；可對六度帶、三度帶、一點五度帶的坐標點進行相互轉換。DB0紅軟基地

相關介紹

公式，在自然科學中用數學符號表示幾個量之間關系的式子。具有普遍性，適合于同類關系的所有問題。在數理邏輯中，公式是表達命題的形式語法對象，除了這個命題可能依賴于這個公式的自由變量的值之外。公式精確定義依賴于涉及到的特定的形式邏輯，但有如下一個非常典型的定義（特定于一階邏輯):公式是相對于特定語言而定義的；就是說，一組常量符號、函數符號和關系符號，這里的每個函數和關系符號都帶有一個元數(arity）來指示它所接受的參數的數目。DB0紅軟基地

軟件截圖

DB0紅軟基地