
Journals in DBLP
 Steve Linton, Roberto Sebastiani
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2002, v:34, n:4, pp:239 [Journal]
 Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat
Incorporating Decision Procedures in Implicit Induction. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2002, v:34, n:4, pp:241258 [Journal]
 James H. Davenport
Equality in Computer Algebra and Beyond. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2002, v:34, n:4, pp:259270 [Journal]
 Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg
A Constructive Algebraic Hierarchy in Coq. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2002, v:34, n:4, pp:271286 [Journal]
 Andreas Meier, Martin Pollet, Volker Sorge
Comparing Approaches to the Exploration of the Domain of Residue Classes. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2002, v:34, n:4, pp:287306 [Journal]
