- ItemOpen AccessMathematica-based natural language processing in applied mechanicsThe 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.
- ItemOpen AccessMathematica-based formula verification in applied mechanicsMathematica 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.