The Realization and Application of Symbolic Computation Modules in SGARP