Αποστολή με SMS: Mathematica-based formula verification in applied mechanics