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.
(EL)
Η Mathematica είναι ένα μοντέρνο και ισχυρό σύστημα υπολογιστικής άλγεβρας που προσφέρει στο χρήστη της υπολογιστικές δυνατότητες όλων των τύπων (συμβολικές, αριθμητικές και γραφικές) σε ένα ολοκληρωμένο περιβάλλον. Επομένως, έχει επανειλημμένα χρησιμοποιηθεί σε εφαρμογές της επιστήμης του μηχανολόγου μηχανικού. Στο άρθρο αυτό θα δείξουμε ότι η Mathematica μπορεί επίσης να είναι χρήσιμη για την επαλήθευση τύπων (είτε λογικών είτε αλγεβρικών) χρησιμοποιώντας είτε τις δικές της εσωτερικές εντολές είτε επεκτάσεις αυτών των εντολών όπως το διερμηνέα της Prolog στη Mathematica του Maeder και, πρόσφατα, το πρόγραμμα Theorema του Buchberger, που βασίζεται επίσης στη Mathematica. Μπορούν επίσης να κληθούν από τη Mathematica εξωτερικά συστήματα συλλογιστικής (όπως το OTTER). Οι εφαρμογές στην επιστήμη του μηχανικού αυτού του άρθρου παίρνονται από την εφαρμοσμένη μηχανική και δείχνουν αυτές τις όχι και τόσο καλά γνωστές δυνατότητες της Mathematica, που σχετίζονται με την επαλήθευση τύπων.
(EL)
University of Patras
