Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

共收录本刊相关文章索引2143条

A new method for undecidability proofs of first order theories [0.03%]

Ralf Treinen Ralf Treinen

Journal of symbolic computation. 1992;14(5):437-457. DOI:10.1016/0747-7171(92)90016-w 1992

Implicitization of rational parametric equations [0.03%]

Xiao-Shan Gao; Shang-Ching Chou Xiao-Shan Gao; Shang-Ching Chou

Journal of symbolic computation. 1992;14(5):459-470. DOI:10.1016/0747-7171(92)90017-x 1992

On lucky ideals for Gröbner basis computations [0.03%]

Franz Pauer Franz Pauer

Journal of symbolic computation. 1992;14(5):471-482. DOI:10.1016/0747-7171(92)90018-y 1992

Gröbner bases and primary decomposition of modules [0.03%]

Elizabeth W. Rutman Elizabeth W. Rutman

Journal of symbolic computation. 1992;14(5):483-503. DOI:10.1016/0747-7171(92)90019-z 1992

Solving a congruence on a graded algebra by a subresultant sequence and its application [0.03%]

Ba-Zhong Shen Ba-Zhong Shen

Journal of symbolic computation. 1992;14(5):505-522. DOI:10.1016/0747-7171(92)90020-5 1992

Automatic generation of mapping functions for infinite elements using REDUCE [0.03%]

Christine Barbier; Peter Bettess; Jacqueline A. Bettess Christine Barbier; Peter Bettess; Jacqueline A. Bettess

Journal of symbolic computation. 1992;14(5):523-534. DOI:10.1016/0747-7171(92)90021-u 1992

Editorial Board [0.03%]

Journal of symbolic computation. 1992;14(1):0-0. DOI:10.1016/0747-7171(92)90022-v 1992

Comprehensive Gröbner bases [0.03%]

Volker Weispfenning Volker Weispfenning

Journal of symbolic computation. 1992;14(1):1-29. DOI:10.1016/0747-7171(92)90023-w 1992

Computation of Hilbert functions [0.03%]

Dave Bayer; Mike Stillman Dave Bayer; Mike Stillman

Journal of symbolic computation. 1992;14(1):31-50. DOI:10.1016/0747-7171(92)90024-x 1992

AC-unification race: The system solving approach, implementation and benchmarks [0.03%]

Mohamed Adi; Claude Kirchner Mohamed Adi; Claude Kirchner

Journal of symbolic computation. 1992;14(1):51-70. DOI:10.1016/0747-7171(92)90025-y 1992