Please use this identifier to cite or link to this item: http://hdl.handle.net/10889/10847
Full metadata record
DC FieldValueLanguage
dc.contributor.authorIoakimidis, Nikolaos-
dc.contributor.otherΙωακειμίδης, Νικόλαος-
dc.date.accessioned2018-01-03T07:28:00Z-
dc.date.available2018-01-03T07:28:00Z-
dc.date.copyright17–20 September 2001el
dc.identifier.urihttp://www.des.upatras.gr/amm/ioakimidis/personal/papers/ANG1-P093--FullPaper.pdfel
dc.identifier.urihttp://hdl.handle.net/10889/10847-
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.language.isoenel
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.subjectMathematicael
dc.titleMathematica-based formula verification in applied mechanicsel
dc.title.alternativeΕπαλήθευση τύπων βασιζόμενη στη Mathematica στην εφαρμοσμένη μηχανικήel
dc.typeConference (paper)el
dc.description.translatedabstractΗ Mathematica είναι ένα μοντέρνο και ισχυρό σύστημα υπολογιστικής άλγεβρας που προσφέρει στο χρήστη της υπολογιστικές δυνατότητες όλων των τύπων (συμβολικές, αριθμητικές και γραφικές) σε ένα ολοκληρωμένο περιβάλλον. Επομένως, έχει επανειλημμένα χρησιμοποιηθεί σε εφαρμογές της επιστήμης του μηχανολόγου μηχανικού. Στο άρθρο αυτό θα δείξουμε ότι η Mathematica μπορεί επίσης να είναι χρήσιμη για την επαλήθευση τύπων (είτε λογικών είτε αλγεβρικών) χρησιμοποιώντας είτε τις δικές της εσωτερικές εντολές είτε επεκτάσεις αυτών των εντολών όπως το διερμηνέα της Prolog στη Mathematica του Maeder και, πρόσφατα, το πρόγραμμα Theorema του Buchberger, που βασίζεται επίσης στη Mathematica. Μπορούν επίσης να κληθούν από τη Mathematica εξωτερικά συστήματα συλλογιστικής (όπως το OTTER). Οι εφαρμογές στην επιστήμη του μηχανικού αυτού του άρθρου παίρνονται από την εφαρμοσμένη μηχανική και δείχνουν αυτές τις όχι και τόσο καλά γνωστές δυνατότητες της Mathematica, που σχετίζονται με την επαλήθευση τύπων.el
dc.subject.alternativeΕφαρμοσμένη μηχανικήel
dc.subject.alternativeΕπαλήθευση τύπωνel
dc.subject.alternativeΛογικοί υπολογισμοίel
dc.subject.alternativeΣυμβολικοί υπολογισμοίel
dc.subject.alternativeMathematicael
dcmitype.EventASME – Greek Section, First National Conference on Recent Advances in Mechanical Engineeringel
dcterms.extentANG1/P093, pp. 1–6el
dcterms.locationPatras, Greeceel
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