Mathematica-based formula verification in applied mechanics

• Main Author: Ioakimidis, Nikolaos
• Other Authors: Ιωακειμίδης, Νικόλαος
• Format: Conference (paper)
• Language: English
• Published: 2018
• Subjects: Applied mechanics; Formula verification; Logical computations; Symbolic computations; Mathematica; Εφαρμοσμένη μηχανική; Επαλήθευση τύπων; Λογικοί υπολογισμοί; Συμβολικοί υπολογισμοί

Mathematica is a modern and powerful computer algebra system offering all types of computational facilities (symbolic, numerical and graphical) to its user in an integrated environment. Therefore, it has been repeatedly used in mechanical engineering applications. In this paper, we will show that Ma...