Symbolic-computation Packages