Αποστολή με SMS: Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition