Mathematica-based formula verification in applied mechanics

dc.contributor.authorIoakimidis, Nikolaos
dc.contributor.otherΙωακειμίδης, Νικόλαος–20 September 2001el
dc.description.abstractMathematica 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.el
dc.description.translatedabstractΗ Mathematica είναι ένα μοντέρνο και ισχυρό σύστημα υπολογιστικής άλγεβρας που προσφέρει στο χρήστη της υπολογιστικές δυνατότητες όλων των τύπων (συμβολικές, αριθμητικές και γραφικές) σε ένα ολοκληρωμένο περιβάλλον. Επομένως, έχει επανειλημμένα χρησιμοποιηθεί σε εφαρμογές της επιστήμης του μηχανολόγου μηχανικού. Στο άρθρο αυτό θα δείξουμε ότι η Mathematica μπορεί επίσης να είναι χρήσιμη για την επαλήθευση τύπων (είτε λογικών είτε αλγεβρικών) χρησιμοποιώντας είτε τις δικές της εσωτερικές εντολές είτε επεκτάσεις αυτών των εντολών όπως το διερμηνέα της Prolog στη Mathematica του Maeder και, πρόσφατα, το πρόγραμμα Theorema του Buchberger, που βασίζεται επίσης στη Mathematica. Μπορούν επίσης να κληθούν από τη Mathematica εξωτερικά συστήματα συλλογιστικής (όπως το OTTER). Οι εφαρμογές στην επιστήμη του μηχανικού αυτού του άρθρου παίρνονται από την εφαρμοσμένη μηχανική και δείχνουν αυτές τις όχι και τόσο καλά γνωστές δυνατότητες της Mathematica, που σχετίζονται με την επαλήθευση τύπων.el
dc.relation.ispartofASME – Greek Section, First National Conference on Recent Advances in Mechanical Engineeringel
dc.subjectApplied mechanicsel
dc.subjectFormula verificationel
dc.subjectLogical computationsel
dc.subjectSymbolic computationsel
dc.subject.alternativeΕφαρμοσμένη μηχανικήel
dc.subject.alternativeΕπαλήθευση τύπωνel
dc.subject.alternativeΛογικοί υπολογισμοίel
dc.subject.alternativeΣυμβολικοί υπολογισμοίel
dc.titleMathematica-based formula verification in applied mechanicsel
dc.title.alternativeΕπαλήθευση τύπων βασιζόμενη στη Mathematica στην εφαρμοσμένη μηχανικήel
dc.typeConference (paper)el
dcmitype.EventASME – Greek Section, First National Conference on Recent Advances in Mechanical Engineeringel
dcterms.extentANG1/P093, pp. 1–6el
dcterms.locationPatras, Greeceel
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
124.02 KB
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
5.38 KB
Item-specific license agreed upon to submission