Mathematica-based formula verification in applied mechanics
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...
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Conference (paper) |
| Γλώσσα: | English |
| Έκδοση: |
2018
|
| Θέματα: | |
| Διαθέσιμο Online: | http://www.des.upatras.gr/amm/ioakimidis/personal/papers/ANG1-P093--FullPaper.pdf http://hdl.handle.net/10889/10847 |
| Περίληψη: | 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 Mathematica can also be useful for formula verification (either logical or algebraic) by employing either its own internal commands or extensions of these commands such as Maeder’s Prolog interpreter in Mathematica and, recently, Buchberger’s Theorema, based also on Mathematica. External reasoning systems (such as OTTER) can also be called from Mathematica. The engineering applications of this paper are obtained from applied mechanics and illustrate these not so well known possibilities of Mathematica related to formula verification. |
|---|
