REDLOG-aided derivation of feasibility conditions in applied mechanics and engineering problems under simple inequality constraints

• Κύριος συγγραφέας: Ioakimidis, Nikolaos
• Άλλοι συγγραφείς: Ιωακειμίδης, Νικόλαος
• Μορφή: Technical Report
• Γλώσσα: English
• Έκδοση: 2018
• Θέματα: Computer algebra; Elasticity; Feasibility conditions; Heat transfer; Inequality constraints; Plates; Quantifier elimination; Symbolic computations; Reduce; REDLOG; Υπολογιστική άλγεβρα; Ελαστικότητα; Συνθήκες εφικτότητας; Μετάδοση θερμότητας; Ανισοτικοί περιορισμοί; Πλάκες; Απαλοιφή ποσοδεικτών; Συμβολικοί υπολογισμοί

Problems involving symbolic computations and quantified variables in parametric inequality constraints appear quite naturally and frequently in applied mechanics and engineering. In this technical report, we illustrate the use of REDLOG, a recent logic package of the well-known Reduce computer algeb...