![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Weispfenning V.
Publisher: Academic Press
ISSN: 0747-7171
Source: Journal of Symbolic Computation, Vol.24, Iss.2, 1997-08, pp. : 189-208
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Journal of Automated Reasoning, Vol. 45, Iss. 2, 2010-08 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Testing Stability by Quantifier Elimination
By Hong H. Liska R. Steinberg S.
Journal of Symbolic Computation, Vol. 24, Iss. 2, 1997-08 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Nonlinear Control System Design by Quantifier Elimination
By Jirstrand M.
Journal of Symbolic Computation, Vol. 24, Iss. 2, 1997-08 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Robust Multi-Objective Feedback Design by Quantifier Elimination
By Dorato P. Yang W. Abdallah C.
Journal of Symbolic Computation, Vol. 24, Iss. 2, 1997-08 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Applying Quantifier Elimination to the Birkhoff Interpolation Problem
Journal of Symbolic Computation, Vol. 22, Iss. 1, 1996-01 ,pp. :