公式处理语言

巴黎工艺学院(Institute Universite de Technologie)计算机科学系的M．Laplace一直在致力于改进原有的FORMAC语言。FORMAC(FORmula MAnipulation Compiler)是从1964年以来搞了很久的一个语言。最初从事这一语言的人都已转走，因此这个语言的内部问题一度处于无人过问状态。这是一个功能有限的语言，只能处理多项式运算和初等函数表达式的形式微分。