Journal of symbolic computation文章索引

期刊名：Journal of symbolic computation

缩写：J SYMB COMPUT

ISSN：0747-7171

e-ISSN：1095-855X

IF/分区：1.1/Q2

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

Incorporating Decision Procedures in Implicit Induction [0.03%]

Alessandro Armando; Michaël Rusinowitch; Sorin Stratulat Alessandro Armando; Michaël Rusinowitch; Sorin Stratulat

Journal of symbolic computation. 2002;34(4):241-258. DOI:10.1006/jsco.2002.0549 2002

Comparing Approaches to the Exploration of the Domain of Residue Classes [0.03%]

Andreas Meier; Martin Pollet; Volker Sorge Andreas Meier; Martin Pollet; Volker Sorge

Journal of symbolic computation. 2002;34(4):287-306. DOI:10.1006/jsco.2002.0550 2002

Equality in Computer Algebra and Beyond [0.03%]

James H Davenport James H Davenport

Journal of symbolic computation. 2002;34(4):259-270. DOI:10.1006/jsco.2002.0551 2002

A Constructive Algebraic Hierarchy in Coq [0.03%]

Herman Geuvers; Randy Pollack; Freek Wiedijk; Jan Zwanenburg Herman Geuvers; Randy Pollack; Freek Wiedijk; Jan Zwanenburg

Journal of symbolic computation. 2002;34(4):271-286. DOI:10.1006/jsco.2002.0552 2002

Editorial: The Integration of Automated Reasoning and Computer Algebra Systems [0.03%]

Steve Linton; Roberto Sebastiani Steve Linton; Roberto Sebastiani

Journal of symbolic computation. 2002;34(4):239-0. DOI:10.1006/jsco.2002.0553 2002

Computing Rational Forms of Integer Matrices [0.03%]

Mark Giesbrecht; Arne Storjohann Mark Giesbrecht; Arne Storjohann

Journal of symbolic computation. 2002;34(3):157-172. DOI:10.1006/jsco.2002.0554 2002

Potential Good Reduction of Elliptic Curves [0.03%]

Masanari Kida Masanari Kida

Journal of symbolic computation. 2002;34(3):173-180. DOI:10.1006/jsco.2002.0555 2002

Involutive Bases in the Weyl Algebra [0.03%]

Marcus Hausdorf; Werner M. Seiler; Rainer Steinwandt Marcus Hausdorf; Werner M. Seiler; Rainer Steinwandt

Journal of symbolic computation. 2002;34(3):181-198. DOI:10.1006/jsco.2002.0556 2002

Algorithmic Computation of Flattenings and of Modular Deformations [0.03%]

Bernd Martin Bernd Martin

Journal of symbolic computation. 2002;34(3):199-212. DOI:10.1006/jsco.2002.0557 2002

Computing Modular Invariants of p-groups [0.03%]

R James Shank; David L Wehlau R James Shank; David L Wehlau

Journal of symbolic computation. 2002;34(5):307-327. DOI:10.1006/jsco.2002.0558 2002