STRAT V4.0全新开发了一种解析公式求解器。该求解器是我们独立开发，在程序中独立运行，不借助其它平台。
利用解析公式求解器，可以直接输入包含高等数学函数的表达式，以表达可变量。例如，一个随时间变化的荷载P=10kN，在一般情况下，需要计算该荷载在各时间的实际值，然后输入一组数据，输入一组数据，来表示这种变化的荷载。利用解析公式求解器，只需简单的输入公式10*sin[(t)]，就可以了。
STRAT解析公式求解器，包含绝大多数常用的高等数学函数。函数的标志符类直接采用一般通用的数学函数式，非常直观。