![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Emiris I.Z. Mourrain B.
Publisher: Academic Press
ISSN: 0747-7171
Source: Journal of Symbolic Computation, Vol.28, Iss.1, 1999-07, pp. : 3-44
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)
A selected tour of the theory of identification matrices
By Chen L.
Theoretical Computer Science, Vol. 240, Iss. 2, 2000-06 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
By Viry P.
Journal of Symbolic Computation, Vol. 28, Iss. 3, 1999-09 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Comprehensive synchronization elimination for Java
By Aldrich J. Gun Sirer E. Chambers C. Eggers S.J.
Science of Computer Programming, Vol. 47, Iss. 2, 2003-05 ,pp. :
![](/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)
Simulation and Optimization by Quantifier Elimination
Journal of Symbolic Computation, Vol. 24, Iss. 2, 1997-08 ,pp. :