CAD is an algorithm which was introduced in 1973 by G. Collins to implement with an acceptable complexity the Tarski–Seidenberg theorem on quantifier elimination over the real numbers.
Η CAD είναι ένας αλγόριθμος που εισήχθη το 1973 από τον Γ. Collins για να εφαρμόσει με αποδεκτή πολυπλοκότητα το θεώρημα του Tarski για την απαλοιφή ποσοδείκτη στους πραγματικούς αριθμούς.