Stress concentration factors: determination of ranges of values by the method of quantifier elimination

• Main Author: Ioakimidis, Nikolaos
• Other Authors: Ιωακειμίδης, Νικόλαος
• Format: Technical Report
• Language: English
• Published: 2018
• Subjects: Intervals; Functions; Ranges; Stress concentration factors; Elasticity; Strips; Edge notches; Circular holes; Rectangular holes; Upper bounds; Lower bounds; Minimization; Maximization; Symbolic computations; Quantifiers; Universal quantifier; Quantified formulae; Quantifier elimination; Quantifier-free formulae; Computer algebra systems; Mathematica; Διαστήματα; Συναρτήσεις; Πεδία τιμών; Σύνολα τιμών; Συντελεστές συγκεντρώσεως τάσεων; Ελαστικότητα; Λωρίδες; Πλευρικές εγκοπές; Κυκλικές οπές; Ορθογωνικές οπές; Άνω φράγματα; Κάτω φράγματα; Ελαχιστοποίηση; Μεγιστοποίηση; Συμβολικοί υπολογισμοί; Ποσοδείκτες; Καθολικός ποσοδείκτης; Τύποι με ποσοδείκτες; Απαλοιφή ποσοδεικτών; Τύποι χωρίς ποσοδείκτες; Συστήματα υπολογιστικής άλγεβρας

The interesting and modern method of quantifier elimination in computer algebra was already applied to a very large number of problems including, e.g., ranges of functions and several applied mechanics problems. Here this method is applied to the determination of ranges of stress concentration facto...