Journal of Symbolic Computation,volume 22,issue 1  (01-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 22,issue 1

Menu

Polynomial-Time Computation of the Dimension of Algebraic Varieties in Zero-Characteristic

By Chistov A.L. in (1996)

Journal of Symbolic Computation,volume 22,issue 1 , Vol. 22, Iss. 1, 1996-01 , pp. 1-25

Academic Press

Abstract Access to resources Recommend Favorite

The Ideal Membership Problem in Non-Commutative Polynomial Rings

By Pritchard F.L.E.O.N. in (1996)

Journal of Symbolic Computation,volume 22,issue 1 , Vol. 22, Iss. 1, 1996-01 , pp. 27-48

Academic Press

Abstract Access to resources Recommend Favorite

AC Complement Problems: Satisfiability and Negation Elimination

By Fernandez M. in (1996)

Journal of Symbolic Computation,volume 22,issue 1 , Vol. 22, Iss. 1, 1996-01 , pp. 49-82

Academic Press

Abstract Access to resources Recommend Favorite

Applying Quantifier Elimination to the Birkhoff Interpolation Problem

By Gonzalez-Vega L. in (1996)

Journal of Symbolic Computation,volume 22,issue 1 , Vol. 22, Iss. 1, 1996-01 , pp. 83-103

Academic Press

Abstract Access to resources Recommend Favorite

Symbolic Finite Element Modeling of Structural Systems

By Tummarakota S.,Lieh J. in (1996)

Journal of Symbolic Computation,volume 22,issue 1 , Vol. 22, Iss. 1, 1996-01 , pp. 105-119

Academic Press

Abstract Access to resources Recommend Favorite

Total 5 item(s)