1) formula editing tool
公式编辑工具
1.
Design and implementation of SVG-based specific formula editing tool
基于SVG的专用公式编辑工具的设计与实现
4) formula editor
公式编辑器
1.
Implementation of Formula Editor for Mathematical Documents Describes base on XML
基于XML描述的数学公式编辑器实施方案
2.
This article introduces the application methods of formula editor Math Type 5.
介绍了公式编辑器MathType5。
3.
The formula editor can be applied to all kinds of control systems software development,which can expand the monitoring system function,increase system flexibility and applicability.
针对各种计算机测控系统中的无法直接测量得到的变量,采用脚本语言开发一种通用的组件式的公式编辑器。
5) MapTools
地图编辑工具
6) author tool language
编辑工具语言
补充资料：公式
公式
formula
公式[伽丽词匕;中opMy月a} 形式化语言(fol们llb双划langi‘ge)中的一个句子(可能带有参数).在几种专有的形式化语言中公式概念的精确定义可见公理集合论(axl0Inatic Set thoory)，形式算术(a月thn犯tic，fon了以1)，谓词演算(p代过i以te口Ic山LIS)，类型论(ty娜，tl袱〕ryof).在数学的实践中，公式也有语义的意义.它们可能是名字、命题的形式、定义的缩写等等.B.H.r钾也“撰卢景波译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条