Mathematica-based formula verification in applied mechanics

• Κύριος συγγραφέας: Ioakimidis, Nikolaos
• Άλλοι συγγραφείς: Ιωακειμίδης, Νικόλαος
• Μορφή: Conference (paper)
• Γλώσσα: English
• Έκδοση: 2018
• Θέματα: 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...