"Essays in algebraic simplification (phd thesis)" - читать интересную книгу автора (Fateman.)