Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

On the Modularity of Normal Forms in Rewriting [0.03%]

MASSIMO MARCHIORI MASSIMO MARCHIORI

Journal of symbolic computation. 1996;22(2):143-154. DOI:10.1006/jsco.1996.0045 1996

For Groups the Property of Having Finite Derivation Type is equivalent to the Homological Finiteness ConditionFP3 [0.03%]

ROBERT CREMANNS; FRIEDRICH OTTO ROBERT CREMANNS; FRIEDRICH OTTO

Journal of symbolic computation. 1996;22(2):155-177. DOI:10.1006/jsco.1996.0046 1996

Note on Kovacic's Algorithm [0.03%]

FELIX ULMER; JACQUES-ARTHUR WEIL FELIX ULMER; JACQUES-ARTHUR WEIL

Journal of symbolic computation. 1996;22(2):179-200. DOI:10.1006/jsco.1996.0047 1996

Symmetric Representation of the Elements of the Janko GroupJ1 [0.03%]

R.T. CURTIS; Z. HASAN R.T. CURTIS; Z. HASAN

Journal of symbolic computation. 1996;22(2):201-214. DOI:10.1006/jsco.1996.0048 1996

On the List of Finite Primitive Permutation Groups of Degree ≤ 50 [0.03%]

FRANCIS BUEKENHOUT; DIMITRI LEEMANS FRANCIS BUEKENHOUT; DIMITRI LEEMANS

Journal of symbolic computation. 1996;22(2):215-225. DOI:10.1006/jsco.1996.0049 1996

MAPinsure—A MAPLE Package for Life Insurance [0.03%]

DIETER ASCHENWALD; THOMAS SIEGL; ROBERT F. TICHY DIETER ASCHENWALD; THOMAS SIEGL; ROBERT F. TICHY

Journal of symbolic computation. 1996;22(2):227-234. DOI:10.1006/jsco.1996.0050 1996

Decomposition of Algebraic Functions [0.03%]

Dexter Kozen; Susan Landau; Richard Zippel Dexter Kozen; Susan Landau; Richard Zippel

Journal of symbolic computation. 1996;22(3):235-246. DOI:10.1006/jsco.1996.0051 1996

Localization and Primary Decomposition of Polynomial Ideals [0.03%]

Takeshi Shimoyama; Kazuhiro Yokoyama Takeshi Shimoyama; Kazuhiro Yokoyama

Journal of symbolic computation. 1996;22(3):247-277. DOI:10.1006/jsco.1996.0052 1996

Bi-rewrite Systems [0.03%]

Jordi Levy; Jaume Agustı́ Jordi Levy; Jaume Agustı́

Journal of symbolic computation. 1996;22(3):279-314. DOI:10.1006/jsco.1996.0053 1996

Decidability of Unification in the Theory of One-Sided Distributivity and a Multiplicative Unit [0.03%]

Manfred Schmidt-Schauß Manfred Schmidt-Schauß

Journal of symbolic computation. 1996;22(3):315-344. DOI:10.1006/jsco.1996.0054 1996