FORMAC

abbr.

formula manipulation compiler 公式处理编译程序；

FORMAC
FORMAC
Introduction to FORMAC
FORMAC an experimental formula manipulation Compiler
Experience with FORMAC algorithm design
Automatic simplification in FORMAC
Automatic simplification in FORMAC
Formac Meets Pappus: Some Observations on Elementary Analytic Geometry by Computer
Eliminating monotonous mathematics with FORMAC
Determination of lie-b?cklund symmetries of differential equations using formac