Applications of quantifier elimination to the proofs of algebraic inequalities in engineering problems related to Todinov's method for risk reduction

• Main Author: Ioakimidis, Nikolaos
• Other Authors: Ιωακειμίδης, Νικόλαος
• Language: English
• Published: Κανένας 2022
• Subjects: Risk reduction; Uncertainty reduction; Algebraic inequalities; Todinov's method; Equivalent resistances; Resistors; Equivalent spring constants; High-reliability components; Ranking systems; Superior reliability; Strain energy; Bars; Tension; Cantilevers; Bending; Proof by induction; Universal quantifier; Quantifier elimination; Quantifier-free formulae; Μείωση κινδύνου; Μείωση αβεβαιότητας; Αλγεβρικές ανισότητες; Μέθοδος του Todinov; Ισοδύναμες αντιστάσεις; Αντιστάτες; Ισοδύναμες σταθερές ελατηρίου; Εξαρτήματα υψηλής αξιοπιστίας; Συστήματα κατατάξεως; Υψηλή αξιοπιστία; Ενέργεια παραμορφώσεως; Ράβδοι; Εφελκυσμός; Πρόβολοι; Κάμψη; Απόδειξη με επαγωγή; Καθολικός ποσοδείκτης; Απαλοιφή ποσοδεικτών; Τύποι χωρίς ποσοδείκτες

An interesting and efficient method based on algebraic inequalities for the reduction of risk and uncertainty as well as for the generation of new knowledge and the optimization of systems and processes has been recently proposed by Todinov. This method requires the proof of the related inequality a...