Ronald Brown, Anne Heyworth Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2000, v:29, n:1, pp:5-31 [Journal]

Sergey Bratus, Igor Pak Fast Constructive Recognition of a Black Box Group Isomorphic to Sn or An using Goldbach's Conjecture. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2000, v:29, n:1, pp:33-57 [Journal]

David A. Wolfram A Formula for the General Solution of a Constant-coefficient Difference Equation. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2000, v:29, n:1, pp:79-82 [Journal]

Vincent Prosper SFA, a Package on Symmetric Functions Considered as Operators over the Ring of Polynomials for the Computer Algebra System Maple. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2000, v:29, n:1, pp:83-94 [Journal]