Thomas Sturm  Home/Search
Context Related
| fmi.unipassau.de/~st...ISISRM5E.ps.Z Cached: PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PS.gz PS Image Update HelpFrom: fmi.unipassau.de/~...techreports (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. Key words: real quantifier... (Update)
Context of citations to this paper: More
.... in the reduce [HF95] package redlog [DS96, DS97a] In addition, there is an implementation in the computer algebra system Risa Asir [Stu96] For the purpose of this paper, the authors have reimplemented the method once more in C based on saclib parsac 2 [BCE 93, Kuc90a,...
Cited by: More
Approaches to Parallel Quantifier Elimination - Dolzmann, Gloor, Sturm (1998) (Correct)
Active bibliography (related documents): More All
1.0: A New Approach for Automatic Theorem Proving in Real.. - Dolzmann, Sturm.. (1996) (Correct)
0.7: Reasoning over Networks by Symbolic Methods - Sturm (1997) (Correct)
0.7: REDLOG Computer Algebra Meets Computer Logic - Dolzmann, Sturm (1996) (Correct)
Similar documents based on text: More All
0.7: OpenXM - an Open System to Integrate Mathematical Softwares - Maekawa, Noro, al. (2000) (Correct)
0.3: Inheritance under Participation Constraints and.. - Analyti, Spyratos.. (1999) (Correct)
0.3: Inductive Logic Programming Beyond Logical Implication - Lu, Arima (1996) (Correct)
Related documents from co-citation: More All
2: Quantifier Elimination for Formulas Constrained by Quadratic Equations (context) - Hong - 1993
BibTeX entry: (Update)
Thomas Sturm. Real quadratic quantifier elimination in Risa/Asir. Research Memorandum ISIS-RM-5E, ISIS, Fujitsu Laboratories Limited, 1-9-3, Nakase, Mihama-ku, Chiba-shi, Chiba 261, Japan, September 1996. http://citeseer.ist.psu.edu/sturm96real.html More
@misc{ sturm96real,
author = "Thomas Sturm",
title = "Real Quadratic Quantifier Elimination in Risa/Asir",
text = "Thomas Sturm. Real quadratic quantifier elimination in Risa/Asir. Research
Memorandum ISIS-RM-5E, ISIS, Fujitsu Laboratories Limited, 1-9-3, Nakase,
Mihama-ku, Chiba-shi, Chiba 261, Japan, September 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/sturm96real.html" }
Citations (may not include all citations):76 Partial cylindrical algebraic decomposition for quantifier e.. (context) - Collins, Hong - 1991
42 Redlog---computer algebra meets computer logic - Dolzmann, Sturm - 1996
35 The complexity of linear problems in fields (context) - Weispfenning - 1988
23 A new approach for automatic theorem proving in real geometr.. - Dolzmann, Sturm et al. - 1996
19 Quantifier elimination for real algebra---the quadratic case.. - Weispfenning - 1996
18 Parametric linear and quadratic optimization by elimination - Weispfenning - 1994
15 Real Quantifier Elimination is Doubly exponential (context) - Davenport, Heintz - 1988
13 Quantifier elimination for real algebra---the cubic case - Weispfenning - 1994
12 Special issue on computational quantifier elimination (context) - Loos, Weispfenning et al. - 1993
11 Simplification of quantifier-free formulas over ordered fiel.. - Dolzmann, Sturm - 1995
9 Applying quantifier elimination to problems in simulation an.. (context) - Weispfenning - 1996
9 Algorithms for the geometry of semi-algebraic sets (context) - Arnon - 1981
8 Quantifier elimination: Optimal solution for two classical e.. (context) - Lazard - 1988
5 Kindly communicated to us by Hoon Hong (context) - Hong, Collins et al. - 1993
3 Rechnergestutzte Dimensionierung analoger Schaltungen auf de.. (context) - Henning - 1995
3 a Reduce Logic Package (context) - Dolzmann, Sturm - 1995
2 Asir---a computer algebra system (context) - Noro, Takeshima - 1992
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC