公式软件主要分为通用公式编辑工具和专业数学计算软件两大类，具体如下：

一、通用公式编辑工具

MathType

- 支持Word、PowerPoint、LaTeX等文档编辑，提供丰富数学符号和排版功能，适合科研、教学及工程领域。

LaTeX

- 基于文本排版系统，用于生成高质量科技文档，支持复杂公式输入和排版，适合学术论文撰写。

OpenOffice Calc

- 开源办公软件，支持基础公式编辑和数据分析，适合日常办公需求。

二、专业数学计算软件

Maple

- 集成符号计算、数值分析和图形绘制功能，支持自定义算法，适用于数学研究、工程及教育领域。

Wolfram Mathematica

- 强大的符号计算与编程工具，支持科学计算、数据可视化及复杂问题求解。

MATLAB

- 专注于数值计算和算法开发，广泛用于工程、物理及数据分析领域。

三、其他推荐工具

MathPix：

支持公式识别与LaTeX转换，适合快速将手写公式转化为标准格式。

SimpleTex：国内免费工具，可转换为Markdown语法，适合轻量级排版需求。

以上工具可根据具体需求（如排版、计算、协作等）选择，建议优先考虑权威性高、功能全面的软件。