symbolic calculation under scientific programming languages