Numerical verification of equations in applied mechanics: comments on the inexpensive alternative to computer algebra

• Main Author: Ioakimidis, Nikolaos
• Other Authors: Ιωακειμίδης, Νικόλαος
• Format: Technical Report
• Language: English
• Published: 2018
• Subjects: Numerical verification; Verification of equations; Hypotheses and conclusions; Computer algebra; Gröbner bases; Applied mechanics; Elasticity; Compatibility equations; Movement of a particle; Slider-crank mechanism; Parallel numerical method; Maple; Αριθμητική επαλήθευση; Επαλήθευση εξισώσεων; Υποθέσεις και συμπεράσματα; Υπολογιστική άλγεβρα; Βάσεις Gröbner; Εφαρμοσμένη μηχανική; Ελαστικότητα; Εξισώσεις συμβιβαστού; Κίνηση υλικού σημείου; Μηχανισμός διωστήρα–στροφάλου; Παράλληλη αριθμητική μέθοδος

Computer algebra methods play a continually increasing rôle in the proof of equations and theorems. Gröbner bases and characteristic sets have been extensively used in this task. Here we attempt a critical view of this approach, which is frequently extremely computer-memory- and time-consuming. In f...