Γενικό Τμήμα (Δημοσ. Π.Π. σε συνέδρια)
Permanent URI for this collection
Browsing Γενικό Τμήμα (Δημοσ. Π.Π. σε συνέδρια) by Issue Date
Now showing 1 - 2 of 2
Results Per Page
- ItemOpen AccessMathematica-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.
- ItemOpen AccessMathematica-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.