The main algorithms of real algebraic geometry which solve a problem solved by CAD are related to the topology of semi-algebraic sets.
Οι κύριοι αλγόριθμοι της πραγματικής αλγεβρικής γεωμετρίας που λύνουν ένα πρόβλημα που επιλύεται από CAD σχετίζονται με την τοπολογία των ημι-αλγεβρικών σύνολων.