Symbolic computation. Artifical inteligence