Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods [0.03%]

Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi

Journal of symbolic computation. 1994;18(1):41-81. DOI:10.1006/jsco.1994.1036 1994

A Microcomputer Based System for Small Relation Algebras [0.03%]

Ivo Düntsch Ivo Düntsch

Journal of symbolic computation. 1994;18(1):83-86. DOI:10.1006/jsco.1994.1037 1994

A Computer Algebra Approach to the Discrete Dirichlet Problem [0.03%]

Craig R. Orr; Doron Zeilberger Craig R. Orr; Doron Zeilberger

Journal of symbolic computation. 1994;18(1):87-90. DOI:10.1006/jsco.1994.1038 1994

Finite Derivation Type Implies The Homological Finiteness Condition FP3 [0.03%]

Robert Cremanns; Friedrich Otto Robert Cremanns; Friedrich Otto

Journal of symbolic computation. 1994;18(2):91-112. DOI:10.1006/jsco.1994.1039 1994

Combining Symbolic Constraint Solvers on Algebraic Domains [0.03%]

Hélène Kirchner; Christophe Ringeissen Hélène Kirchner; Christophe Ringeissen

Journal of symbolic computation. 1994;18(2):113-155. DOI:10.1006/jsco.1994.1040 1994

Transformation of Logic Programs to FP Programs Based on Dataflows [0.03%]

Susumu Yamasaki; Kentaro Iida Susumu Yamasaki; Kentaro Iida

Journal of symbolic computation. 1994;18(2):157-182. DOI:10.1006/jsco.1994.1041 1994

Simple Multivariate Polynomial Multiplication [0.03%]

Victor Y. Pan Victor Y. Pan

Journal of symbolic computation. 1994;18(3):183-186. DOI:10.1006/jsco.1994.1042 1994

The Hecke Operators on Sk(Γ1(N)) [0.03%]

Xiangdong Wang Xiangdong Wang

Journal of symbolic computation. 1994;18(3):187-198. DOI:10.1006/jsco.1994.1043 1994

Real Number Computations: On the Use of Information [0.03%]

Klaus Meer Klaus Meer

Journal of symbolic computation. 1994;18(3):199-206. DOI:10.1006/jsco.1994.1044 1994

Parallel Computation of Gröbner Bases on Distributed Memory Machines [0.03%]

Hiroyuki Sawada; Satoshi Terasaki; Akira Aiba Hiroyuki Sawada; Satoshi Terasaki; Akira Aiba

Journal of symbolic computation. 1994;18(3):207-222. DOI:10.1006/jsco.1994.1045 1994