Period of time: 2004年2期
Publisher: Academic Press
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 21,issue 2
Menu
Ideal Decompositions and Subfields
By Casperson D.,Ford D.,McKAY J. in (1996)
Journal of Symbolic Computation,volume 21,issue 2 , Vol. 21, Iss. 2, 1996-02 , pp.Analogs of Grobner Bases in Polynomial Rings over a Ring
Journal of Symbolic Computation,volume 21,issue 2 , Vol. 21, Iss. 2, 1996-02 , pp.Grobner Bases with Respect to Generalized Term Orders and their Application to the Modelling Problem
By Pauer F.,Zampieri S. in (1996)
Journal of Symbolic Computation,volume 21,issue 2 , Vol. 21, Iss. 2, 1996-02 , pp.Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
By Baader F.,Schulz K.U. in (1996)
Journal of Symbolic Computation,volume 21,issue 2 , Vol. 21, Iss. 2, 1996-02 , pp.