Sharp enclosures of the real roots of the classical parametric quadratic equation with one interval coefficient by the method of quantifier elimination

The method of quantifier elimination constitutes an interesting rather recent computational method in computer algebra implemented in few computer algebra systems. Here we apply this method to the determination of sharp enclosures of the two real roots (when there exist such roots) of the classical...

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

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

Παρόμοια τεκμήρια