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