Quantifier-elimination-based interval computations in beam problems studied by using the approximate methods of finite differences and of finite elements

• Κύριος συγγραφέας: Ioakimidis, Nikolaos
• Άλλοι συγγραφείς: Ιωακειμίδης, Νικόλαος
• Γλώσσα: English
• Έκδοση: Αυτο-έκδοση 2020
• Θέματα: Intervals; Interval arithmetic; Interval variables; Interval parameters; Uncertainty; Ranges; Finite differences; Finite elements; Systems of linear algebraic equations; Beams; Parametric loading; Deflection; Rotation; Bending moment; Quantifiers; Universal quantifier; Existential quantifier; Quantified formulae; Quantified/free variables; Quantifier elimination; Quantifier-free formulae; Symbolic computations; Computer algebra systems; REDLOG; Διαστήματα; Αριθμητική διαστημάτων; Μεταβλητές διαστήματος; Παράμετροι διαστήματος; Αβεβαιότητα; Πεδία τιμών; Πεπερασμένες διαφορές; Πεπερασμένα στοιχεία; Συστήματα γραμμικών αλγεβρικών εξισώσεων; Δοκοί; Παραμετρική φόρτιση; Βέλος κάμψεως; Στροφή; Ροπή κάμψεως; Ποσοδείκτες; Καθολικός ποσοδείκτης; Υπαρξιακός ποσοδείκτης; Τύποι με ποσοδείκτες; Μεταβλητές με ποσοδείκτες/ελεύθερες μεταβλητές; Απαλοιφή ποσοδεικτών; Τύποι χωρίς ποσοδείκτες; Συμβολικοί υπολογισμοί; Συστήματα υπολογιστικής άλγεβρας

The rather recent interesting computational method of quantifier elimination already implemented in four computer algebra systems has been already used in many problems of engineering interest including several problems of applied and computational mechanics. Among the previous applications of inter...