#symbolic-computation