Period of time： 2004年1期
Publisher： Elsevier
Founded in： 1985
Total resources： 48
ISSN： 0747-7171
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Journal of Symbolic Computation,volume 37,issue 1
Menu
Access to resources
Recommend
Superposition with completely built-in Abelian groups
By Godoy G., Nieuwenhuis R. in (2004)
Journal of Symbolic Computation,volume 37,issue 1 , Vol. 37, Iss. 1, 2004-01 , pp.Efficient decomposition of separable algebras
By Eberly W., Giesbrecht M. in (2004)
Journal of Symbolic Computation,volume 37,issue 1 , Vol. 37, Iss. 1, 2004-01 , pp.An effective decision method for semidefinite polynomials
By Guangxing Z., Xiaoning Z. in (2004)
Journal of Symbolic Computation,volume 37,issue 1 , Vol. 37, Iss. 1, 2004-01 , pp.Corner edge cutting and Dixon A-resultant quotients
By Foo M.-C., Chionh E.-W. in (2004)
Journal of Symbolic Computation,volume 37,issue 1 , Vol. 37, Iss. 1, 2004-01 , pp.