Elementary quantifier-free formulae in boundary elements

• Main Author: Ioakimidis, Nikolaos
• Other Authors: Ιωακειμίδης, Νικόλαος
• Format: Technical Report
• Language: English
• Published: 2018
• Subjects: Quantifier elimination; Quantifier-free formulae; Sturm sequences; Sturm's theorem; Inequality constraints; Boundary elements; Boundary element method; BEM; Elasticity; Crack problems; Contact problems; Maple; Απαλοιφή ποσοδεικτών; Τύποι χωρίς ποσοδείκτες; Ακολουθίες Sturm; Θεώρημα του Sturm; Ανισοτικοί περιορισμοί; Συνοριακά στοιχεία; Μέθοδος συνοριακών στοιχείων; ΜΣΣ; Ελαστικότητα; Προβλήματα ρωγμών; Προβλήματα επαφής

The use of elementary algebraic quantifier elimination techniques is suggested during the numerical solution of elasticity problems by boundary element methods in problems where the derived solutions need to be verified as far as the related physical constraints (in inequality forms) are concerned....