Branca molt recent de la matemàtica computacional que té com a objecte fonamental trobar eines de resolució de problemes algèbrics de forma sitemàtica, ràpida i fiable i també trobar eines algèbriques que permetin als ordinadors la manipulació de fórmules.