Journals in DBLP
Ruyong Feng , Xiao-Shan Gao A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2006, v:41, n:7, pp:739-762 [Journal ] Domenico Cantone , Gianluca Cincotti , Giovanni Gallo Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2006, v:41, n:7, pp:763-789 [Journal ] Attila Bérczes , Attila Pethö , Volker Ziegler Parameterized norm form equations with arithmetic progressions. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2006, v:41, n:7, pp:790-810 [Journal ] Richard Henderson , Todd Macedo , Sam Nelson Symbolic computation with finite quandles. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2006, v:41, n:7, pp:811-817 [Journal ] A. D. Myasnikov , Robert M. Haralick A hybrid search algorithm for the Whitehead Minimization problem. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2006, v:41, n:7, pp:818-834 [Journal ] Vesselin Drensky , Roberto La Scala Gröbner bases of ideals invariant under endomorphisms. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2006, v:41, n:7, pp:835-846 [Journal ]