Dcas es un programa de álgebra computacional que tiene como característica principal el uso de identidades como reglas para la manipulación de álgebra.