数理公（gōng）式终结者（zhě），一个由袁铭钧开发的能（néng）用公式帮助你计算各种（zhǒng）数学（xué）、物理题目的软件（jiàn），本次更新（xīn）完善（shàn）了数学公（gōng）式部分，使数学（xué）部分的（de）所有（yǒu）项都能使用了，修复（fù）了几（jǐ）个bug，使（shǐ）软（ruǎn）件运行中更加（jiā）稳定。
数理公式终结者专为（wéi）满足学（xué）生、科研工作者的（de）日常学习工作需求（qiú）而设计。本软件支持变量（liàng）公式计算、表达式计算（suàn）等一系列专业而使用的计算功能，算式支（zhī）持汉字、函数、变量等复（fù）杂（zá）符号，软（ruǎn）件独创用模糊（hú）技术自动判断语句含义，是一款值得下载的计算器软件。
还指出变量公式计算（suàn）、数值计（jì）算、表达（dá）式计算、复杂的公式（shì）计算、角度变换、进（jìn）制换算（suàn）、数理统计、计算（suàn）面体产状、计（jì）算（suàn）点的距离方位等功能。
算式可以使（shǐ）用汉字、函数、变量（liàng）、公式（shì）等复杂的符号，软件采用（yòng）模糊技术（shù）将自动判断（duàn）语（yǔ）句的意义（yì），转换各项符号，完成各项计算。
可在三套坐标（biāo）系内进行经纬（wěi）度与公里网坐（zuò）标的（de）相互转换；可在北京54坐标系、西安80坐（zuò）标（biāo）系、WGS84(国家2000)坐（zuò）标系（xì）间进行坐标转换；可对跨（kuà）两（liǎng）个分（fèn）带的坐标点进行跨带坐标转换；可对六度带、三（sān）度带、一点五度带（dài）的坐标点进行相互转换。
公式，在自（zì）然科学中用数学符号（hào）表示（shì）几个量之间（jiān）关系的式子。具（jù）有普遍性（xìng），适合于同（tóng）类关系的所有问题。在数（shù）理逻辑（jí）中，公式（shì）是表（biǎo）达命题的（de）形式语法对象（xiàng），除了这个命题可能依赖于这个公式的自由变量（liàng）的值之外。公式（shì）精（jīng）确（què）定义依赖于涉及到的（de）特定的（de）形式逻辑，但有如下一个非（fēi）常典型的定义（yì）（特定于一阶逻辑):公（gōng）式是相对于特定语言而（ér）定义的；就是说，一组（zǔ）常量符号、函数符（fú）号（hào）和关系（xì）符号，这里的每个函数和关系符号（hào）都带有一个元数(arity）来指示它（tā）所（suǒ）接受的参数的数目。
