Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

Deciding Hopf Bifurcations by Quantifier Elimination in a Software-component Architecture [0.03%]

M’hammed El Kahoui; Andreas Weber M’hammed El Kahoui; Andreas Weber

Journal of symbolic computation. 2000;30(2):161-179. DOI:10.1006/jsco.1999.0353 2000

Minimally Generating Ideals of Rational Parametric Curves in Polynomial Time [0.03%]

G. Albano; F. Cioffi; F. Orecchia; I. Ramella G. Albano; F. Cioffi; F. Orecchia; I. Ramella

Journal of symbolic computation. 2000;30(2):137-149. DOI:10.1006/jsco.1999.0354 2000

Computing Triangular Systems and Regular Systems [0.03%]

Dongming Wang Dongming Wang

Journal of symbolic computation. 2000;30(2):221-236. DOI:10.1006/jsco.1999.0355 2000

Solving Index Form Equations in Fields of Degree 9 with Cubic Subfields [0.03%]

István Gaál István Gaál

Journal of symbolic computation. 2000;30(2):181-193. DOI:10.1006/jsco.1999.0356 2000

Special Issue on Advances in First-order Theorem Proving Foreword of the Guest Editors [0.03%]

Journal of symbolic computation. 2000;29(2):117-118. DOI:10.1006/jsco.1999.0357 2000

Theorem Proving Techniques for View Deletion in Databases [0.03%]

Chandrabose Aravindan; Peter Baumgartner Chandrabose Aravindan; Peter Baumgartner

Journal of symbolic computation. 2000;29(2):119-147. DOI:10.1006/jsco.1999.0358 2000

Cut-elimination and Redundancy-elimination by Resolution [0.03%]

Matthias Baaz; Alexander Leitsch Matthias Baaz; Alexander Leitsch

Journal of symbolic computation. 2000;29(2):149-177. DOI:10.1006/jsco.1999.0359 2000

Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models [0.03%]

Ricardo Caferra; Nicolas Peltier Ricardo Caferra; Nicolas Peltier

Journal of symbolic computation. 2000;29(2):177-211. DOI:10.1006/jsco.1999.0360 2000

Speeding up Algorithms on Atomic Representations of Herbrand Models via New Redundancy Criteria [0.03%]

Reinhard Pichler Reinhard Pichler

Journal of symbolic computation. 2000;29(2):213-257. DOI:10.1006/jsco.1999.0361 2000

Goals and Benchmarks for Automated Map Reasoning [0.03%]

Andrea Formisano; Eugenio G. Omodeo; Marco Temperini Andrea Formisano; Eugenio G. Omodeo; Marco Temperini

Journal of symbolic computation. 2000;29(2):259-297. DOI:10.1006/jsco.1999.0362 2000