Abstract: Since the early fifties, when the first codes for symbolic manipulations became available, their development and use have evolved into a scientific discipline. Besides the indisputable gain in ...