Framework for symbolic computation