Generalized interval-based polynomial approximations to functions in applied mechanics by using the method of quantifier elimination

• Κύριος συγγραφέας: Ioakimidis, Nikolaos
• Άλλοι συγγραφείς: Ιωακειμίδης, Νικόλαος
• Γλώσσα: English
• Έκδοση: Αυτο-έκδοση 2020
• Θέματα: Intervals; Interval parameters; Uncertainty; Ranges; Polynomial approximations; Interval-based approximations; Generalized approximations; Parameterized approximations; Interval enclosures; Beams; Winkler foundation; Oscillators; Critical damping; Displacements; Trusses; Perturbations; Quantified formulae; Quantified/free variables; Quantifier elimination; Quantifier-free formulae; Quantifiers; Symbolic computations; Computer algebra systems; Διαστήματα; Παράμετροι διαστήματος; Αβεβαιότητα; Πεδία τιμών; Πολυωνυμικές προσεγγίσεις; Προσεγγίσεις βασιζόμενες σε διαστήματα; Γενικευμένες προσεγγίσεις; Παραμετροποιημένες προσεγγίσεις; Περιβλήματα με διαστήματα; Δοκοί; Βάση Winkler; Ταλαντωτές; Κρίσιμη απόσβεση; Μετατοπίσεις; Δικτυώματα; Διαταραχές; Τύποι με ποσοδείκτες; Μεταβλητές με ποσοδείκτες/ελεύθερες μεταβλητές; Απαλοιφή ποσοδεικτών; Τύποι χωρίς ποσοδείκτες; Ποσοδείκτες; Συμβολικοί υπολογισμοί; Συστήματα υπολογιστικής άλγεβρας

The method of quantifier elimination constitutes an interesting computational approach in computer algebra already implemented in few computer algebra systems. In applied mechanics, this method was already used for the determination of ranges of functions. Here the application of the same method, qu...