Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

Resolution-based Theorem Proving for Many-valued Logics [0.03%]

Matthias Baaz; Christian G. Fermüller Matthias Baaz; Christian G. Fermüller

Journal of symbolic computation. 1995;19(4):353-391. DOI:10.1006/jsco.1995.1021 1995

Fraction Free Gaussian Elimination for Sparse Matrices [0.03%]

Hong R. Lee; B.David Saunders Hong R. Lee; B.David Saunders

Journal of symbolic computation. 1995;19(5):393-402. DOI:10.1006/jsco.1995.1022 1995

Coefficient Fields of Solutions in Kovacic's Algorithm [0.03%]

Alexey Zharkov Alexey Zharkov

Journal of symbolic computation. 1995;19(5):403-408. DOI:10.1006/jsco.1995.1023 1995

Homogeneous Bivariate Decompositions [0.03%]

Joachim von zur Gathen; Jürgen Weiss Joachim von zur Gathen; Jürgen Weiss

Journal of symbolic computation. 1995;19(5):409-434. DOI:10.1006/jsco.1995.1024 1995

Factorization of Prime Ideal Extensions in Dedekind Domains [0.03%]

Ilaria del Corso Ilaria del Corso

Journal of symbolic computation. 1995;19(5):435-439. DOI:10.1006/jsco.1995.1025 1995

A Gröbner Approach to Involutive Bases [0.03%]

Joachim Apel Joachim Apel

Journal of symbolic computation. 1995;19(5):441-457. DOI:10.1006/jsco.1995.1026 1995

The Todd-Coxeter Procedure and Left Kan Extensions [0.03%]

S. Carmody; M. Leeming; R.F.C. Walters S. Carmody; M. Leeming; R.F.C. Walters

Journal of symbolic computation. 1995;19(5):459-488. DOI:10.1006/jsco.1995.1027 1995

Perfect Bases for Equational Theories [0.03%]

Jaroslav Ježek; George F. McNulty Jaroslav Ježek; George F. McNulty

Journal of symbolic computation. 1995;19(5):489-505. DOI:10.1006/jsco.1995.1028 1995

A Fast Method for Finding the Basis of Non-negative Solutions to a Linear Diophantine Equation [0.03%]

Miguel Filgueiras; Ana Paula Tomás Miguel Filgueiras; Ana Paula Tomás

Journal of symbolic computation. 1995;19(6):507-526. DOI:10.1006/jsco.1995.1029 1995

A Rational Function Decomposition Algorithm by Near-separated Polynomials [0.03%]

Cesar Alonso; Jaime Gutierrez; Tomas Recio Cesar Alonso; Jaime Gutierrez; Tomas Recio

Journal of symbolic computation. 1995;19(6):527-544. DOI:10.1006/jsco.1995.1030 1995