Loading...
Please wait, while we are loading the content...
Similar Documents
Real Quadratic Quantifier Elimination in Risa/Asir
| Content Provider | Semantic Scholar |
|---|---|
| Author | Sturm, Thomas |
| Copyright Year | 2005 |
| Abstract | Weispfenning has shown how to use test term methods for quantifier elimination in linear and quadratic first-order formulas over real closed fields. This paper describes the state of the implementation of such methods in the computer algebra system Risa/Asir. The package described here is entirely written in the C programming language. We point on possible extensions of the package and give examples for automatic quantifier eliminations performed by Risa/Asir. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.math.kobe-u.ac.jp/OpenXM/Stable/numtr.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |