Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

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

Symbolic Computation on Complex Polynomial Solution of Differential Equations [0.03%]

Jun Zhang Jun Zhang

Journal of symbolic computation. 1996;22(3):345-354. DOI:10.1006/jsco.1996.0055 1996

Hilbert Functions and the Buchberger Algorithm [0.03%]

CARLO TRAVERSO CARLO TRAVERSO

Journal of symbolic computation. 1996;22(4):355-376. DOI:10.1006/jsco.1996.0056 1996

Computingxmmodp(x)and an Application to Splitting a Polynomial Into Factors Over a Fixed Disc [0.03%]

VICTOR Y. PAN VICTOR Y. PAN

Journal of symbolic computation. 1996;22(4):377-380. DOI:10.1006/jsco.1996.0057 1996

Efficient Simulation of Forward-Branching Systems with Constructor Systems [0.03%]

BRUNO SALINIER; ROBERT STRANDH BRUNO SALINIER; ROBERT STRANDH

Journal of symbolic computation. 1996;22(4):381-399. DOI:10.1006/jsco.1996.0058 1996

Modular Higher-Order Equational Preunification [0.03%]

ZHENYU QIAN; KANG WANG ZHENYU QIAN; KANG WANG

Journal of symbolic computation. 1996;22(4):401-424. DOI:10.1006/jsco.1996.0059 1996

On the Resolution of Index Form Equations in Sextic Fields with an Imaginary Quadratic Subfield [0.03%]

ISTVÁN GAÁL; MICHAEL POHST ISTVÁN GAÁL; MICHAEL POHST

Journal of symbolic computation. 1996;22(4):425-434. DOI:10.1006/jsco.1996.0060 1996

Rigorous Error Analysis of Numerical Algorithms via Symbolic Computations [0.03%]

MARIAN MROZEC MARIAN MROZEC

Journal of symbolic computation. 1996;22(4):435-458. DOI:10.1006/jsco.1996.0061 1996

Symbolic Solutions for a Class of Partial Differential Equations [0.03%]

BRAM DE JAGER; BRAM VAN ASCH BRAM DE JAGER; BRAM VAN ASCH

Journal of symbolic computation. 1996;22(4):459-468. DOI:10.1006/jsco.1996.0062 1996

Editorial: Executable Temporal Logics [0.03%]

M. FISHER; S. KONO; M.A. ORGUN M. FISHER; S. KONO; M.A. ORGUN

Journal of symbolic computation. 1996;22(5-6):469-473. DOI:10.1006/jsco.1996.0063 1996