Quantifier elimination and quantifier-free formulae for universally–existentially (AE) quantified formulae in Ben-Haim's info-gap model of uncertainty

The method of quantifier elimination with implementations in some computer algebra systems already proved useful for the computation of both the robustness and the opportuneness (or opportunity) functions in Ben-Haim's info-gap (or information-gap) model of uncertainty. As is well known, this m...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Ioakimidis, Nikolaos
Άλλοι συγγραφείς: Ιωακειμίδης, Νικόλαος
Γλώσσα:English
Έκδοση: Κανένας 2021
Θέματα:
Διαθέσιμο Online:http://hdl.handle.net/10889/15680