The symbolic generation of finite-difference formulae

We describe here a framework for automatic symbolic discretization of various functional expressions. Typical examples include the construction of finite-difference formulae on irregular grids, integration formulae with variable knots, and special-purpose compact finite difference formulae.