Γενικό Τμήμα (Δημοσ. Π.Π. σε συνέδρια)

Permanent URI for this collection

https://hdl.handle.net/10889/2172

Browse

Browsing Γενικό Τμήμα (Δημοσ. Π.Π. σε συνέδρια) by Issue Date

Filter results by year or month
Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Open Access
    Mathematica-based formula verification in applied mechanics
    Ioakimidis, Nikolaos; Ιωακειμίδης, Νικόλαος
    Γενικό Τμήμα (Δημοσ. Π.Π. σε συνέδρια)
    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.
  • Thumbnail Image
    Item
    Open Access
    Mathematica-based natural language processing in applied mechanics
    Ioakimidis, Nikolaos; Ιωακειμίδης, Νικόλαος
    Γενικό Τμήμα (Δημοσ. Π.Π. σε συνέδρια)
    The probably novel possibility of using the computer algebra system Mathematica in NLP (natural language processing) is briefly studied in few elementary applications from applied mechanics. At first, Buchberger’s Mathematica-based Theorema system was found able to lead to a completely natural proof of an elementary propositional-type example from applied mechanics. The same system, Theorema, was also found useful for the syntactic analysis of related very simple sentences, a classical field of application of the Prolog logic-oriented language. The next step has been to use Prolog itself as an external package to Mathematica. Finally, elementary NLP has been achieved directly with Mathematica. The present results show that NLP is within Mathematica’s reach, offering the further advantage of performing symbolic computations (contrary to logic-oriented languages). Therefore, probably, gradually, Mathematica (independently of Theorema and Prolog) could lead to an automated environment of both text and formula checking (including symbols and computations) in applied mechanics and mechanical engineering in general.