A note on real quantifier elimination by virtual term substitution of unbounded degree
Authors: Kristjan Liiva, Grant Passmore and Paul Jackson
Paper Information
| Title: | A note on real quantifier elimination by virtual term substitution of unbounded degree |
| Authors: | Kristjan Liiva, Grant Passmore and Paul Jackson |
| Proceedings: | PAS 2014 Proceedings |
| Editors: | Dongming Wang, Tudor Jebelean and Wei Li |
| Keywords: | quantifier elimination, real algebra, nonlinear real arithmetic, virtual term substitution |
| Abstract: | ABSTRACT. We describe work in progress on constructing a complete implementation of Weispfenning's virtual term substitution method for real closed field formulas of unbounded degree. We build upon a recent high-performance library for computing over non-Archimedean real closed fields using Thom's Lemma. (Extended abstract) |
| Pages: | 0 |
| Talk: | Jul 17 15:00 |
| Paper: |  |