Journal of Symbolic Computation,volume 34,issue 1  (07-2004)

Period of time： 2004年1期

Publisher： Academic Press

Founded in： 1985

Total resources： 48

ISSN： 0747-7171

Subject： TP Automation Technology , Computer Technology

Favorite

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 34,issue 1

Menu

Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups

By Eick B. in (2002)

Journal of Symbolic Computation,volume 34,issue 1 , Vol. 34, Iss. 1, 2002-07 , pp. 1-19

Academic Press

Abstract Access to resources Recommend Favorite

Modular Termination Proofs for Rewriting Using Dependency Pairs

By Giesl J.,Arts T.,Ohlebusch E. in (2002)

Journal of Symbolic Computation,volume 34,issue 1 , Vol. 34, Iss. 1, 2002-07 , pp. 21-58

Academic Press

Abstract Access to resources Recommend Favorite

Barnett’s Theorems About the Greatest Common Divisor of Several Univariate Polynomials Through Bezout-like Matrices

By Diaz-Toca G.M.,Gonzalez-Vega L. in (2002)

Journal of Symbolic Computation,volume 34,issue 1 , Vol. 34, Iss. 1, 2002-07 , pp. 59-81

Academic Press

Abstract Access to resources Recommend Favorite

Quartic Fields and Radical Extensions

By Chu H.,Kang M-c. in (2002)

Journal of Symbolic Computation,volume 34,issue 1 , Vol. 34, Iss. 1, 2002-07 , pp. 83-89

Academic Press

Abstract Access to resources Recommend Favorite

Total 4 item(s)