Software de computacao simbolica - Significado, sinônimos e exemplos