Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

Slope retention techniques for solving boundary-value problems in differential equations [0.03%]

R.D. Hills R.D. Hills

Journal of symbolic computation. 1992;13(1):59-80. DOI:10.1016/0747-7171(92)90006-p 1992

Some experiments with a completion theorem prover [0.03%]

Ursula Martin; Michael Lai Ursula Martin; Michael Lai

Journal of symbolic computation. 1992;13(1):81-100. DOI:10.1016/0747-7171(92)90007-q 1992

Application of ordered standard bases to catastrophe theory [0.03%]

R.G. Cowell R.G. Cowell

Journal of symbolic computation. 1992;13(1):101-115. DOI:10.1016/0747-7171(92)90008-r 1992

An optimality result for clause form translation [0.03%]

Thierry Boy de la Tour Thierry Boy de la Tour

Journal of symbolic computation. 1992;14(4):283-301. DOI:10.1016/0747-7171(92)90009-s 1992

An improved general E-unification method [0.03%]

Daniel J. Dougherty; Patricia Johann Daniel J. Dougherty; Patricia Johann

Journal of symbolic computation. 1992;14(4):303-320. DOI:10.1016/0747-7171(92)90010-2 1992

Unification under a mixed prefix [0.03%]

Dale Miller Dale Miller

Journal of symbolic computation. 1992;14(4):321-358. DOI:10.1016/0747-7171(92)90011-r 1992

Some properties of finite special string-rewriting systems [0.03%]

Louxin Zhang Louxin Zhang

Journal of symbolic computation. 1992;14(4):359-369. DOI:10.1016/0747-7171(92)90012-s 1992

A field guide to equational logic [0.03%]

George F. McNulty George F. McNulty

Journal of symbolic computation. 1992;14(4):371-397. DOI:10.1016/0747-7171(92)90013-t 1992

Solutions of systems of algebraic equations and linear maps on residue class rings [0.03%]

Kazuhiro Yokoyama; Masayuki Noro; Taku Takeshima Kazuhiro Yokoyama; Masayuki Noro; Taku Takeshima

Journal of symbolic computation. 1992;14(4):399-417. DOI:10.1016/0747-7171(92)90014-u 1992

Well rewrite orderings and well quasi-orderings [0.03%]

Pierre Lescanne Pierre Lescanne

Journal of symbolic computation. 1992;14(5):419-435. DOI:10.1016/0747-7171(92)90015-v 1992