Please use this identifier to cite or link to this item:
Title: Mathematica-based formula verification in applied mechanics
Other Titles: Επαλήθευση τύπων βασιζόμενη στη Mathematica στην εφαρμοσμένη μηχανική
Authors: Ioakimidis, Nikolaos
Keywords: Applied mechanics
Formula verification
Logical computations
Symbolic computations
Keywords (translated): Εφαρμοσμένη μηχανική
Επαλήθευση τύπων
Λογικοί υπολογισμοί
Συμβολικοί υπολογισμοί
Event: ASME – Greek Section, First National Conference on Recent Advances in Mechanical Engineering
Abstract: 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.
Abstract (translated): Η Mathematica είναι ένα μοντέρνο και ισχυρό σύστημα υπολογιστικής άλγεβρας που προσφέρει στο χρήστη της υπολογιστικές δυνατότητες όλων των τύπων (συμβολικές, αριθμητικές και γραφικές) σε ένα ολοκληρωμένο περιβάλλον. Επομένως, έχει επανειλημμένα χρησιμοποιηθεί σε εφαρμογές της επιστήμης του μηχανολόγου μηχανικού. Στο άρθρο αυτό θα δείξουμε ότι η Mathematica μπορεί επίσης να είναι χρήσιμη για την επαλήθευση τύπων (είτε λογικών είτε αλγεβρικών) χρησιμοποιώντας είτε τις δικές της εσωτερικές εντολές είτε επεκτάσεις αυτών των εντολών όπως το διερμηνέα της Prolog στη Mathematica του Maeder και, πρόσφατα, το πρόγραμμα Theorema του Buchberger, που βασίζεται επίσης στη Mathematica. Μπορούν επίσης να κληθούν από τη Mathematica εξωτερικά συστήματα συλλογιστικής (όπως το OTTER). Οι εφαρμογές στην επιστήμη του μηχανικού αυτού του άρθρου παίρνονται από την εφαρμοσμένη μηχανική και δείχνουν αυτές τις όχι και τόσο καλά γνωστές δυνατότητες της Mathematica, που σχετίζονται με την επαλήθευση τύπων.
Appears in Collections:Γενικό Τμήμα (Δημοσ. Π.Π. σε συνέδρια)

Files in This Item:
File Description SizeFormat 
ANG1-P093-2001-C9.pdf124.02 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons