• 其他词汇： 公式调处编译器 公式化 教条化 国事访问

• 更多词汇： 列方程式 写成公式 正式比赛 正式承认

• 其他词汇： 公式调处编译器 公式处理语言 公式调处语言 代数逻辑计算器

• 更多词汇： 公式求值 数学模型 数学模式 公式处理