FORMAC◇（FORmula MAnipulation Compiler）——公式翻译程序设计语言公式处理编译程序。第一个广泛用于需要形式代数处理的数学问题领域内的语言，于1964年发明成功。
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。