Journal: Journal of Symbolic Computation

Volume 38, Issue 6

1461 -- 1470Shuhong Gao, Erich Kaltofen, Alan G. B. Lauder. Deterministic distinct-degree factorization of polynomials over finite fields
1471 -- 1486Peter Kirschenhofer, Jörg M. Thuswaldner. Elements of small norm in Shanks cubic extensions of imaginary quadratic fields
1487 -- 1506Rikard Bøgvad, Thomas Meyer. On algorithmically checking whether a Hilbert series comes from a complete intersection
1507 -- 1521George E. Collins. Single-factor coefficient bounds
1523 -- 1533Nicoleta Bila, Jitse Niesen. On a new procedure for finding nonclassical symmetries
1535 -- 1550Anton Leykin. Algorithmic proofs of two theorems of Stafford
1551 -- 1567Elisabetta Fortuna, Patrizia M. Gianni, Domenico Luminati. Algorithmical determination of the topology of a real algebraic surface

Volume 38, Issue 5

1327 -- 1341Lê Tuân Hoa, Eero Hyry. Castelnuovo-Mumford regularity of initial ideals
1343 -- 1373Thom Mulders. Certified sparse linear system solving
1375 -- 1415Marco Bozzano, Giorgio Delzanno. Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols
1417 -- 1427Arnaud Bodin. Computation of Milnor numbers and critical values at infinity
1429 -- 1443Xavier-François Roblot. Polynomial factorization algorithms over number fields
1445 -- 1460John J. Cannon, Bettina Eick, Charles R. Leedham-Green. Special polycyclic generating sequences for finite soluble groups

Volume 38, Issue 4

1167 -- 1168Arjeh M. Cohen, Xiao-Shan Gao, Nobuki Takayama. Editorial
1169 -- 1190Massimo Caboara, Martin Kreuzer, Lorenzo Robbiano. Efficiently computing minimal sets of critical pairs
1191 -- 1205Anne Frühbis-Krüger. Partial standard bases as a tool for studying families of singularities
1207 -- 1225Mathias Schulze. A normal form algorithm for the Brieskorn lattice
1227 -- 1246Masayuki Noro, Kazuhiro Yokoyama. Implementation of prime decomposition of polynomial ideals over small finite fields
1247 -- 1259Michael Joswig, Günter M. Ziegler. Convex hulls, oracles, and homology
1261 -- 1272Komei Fukuda. From the zonotope construction to the Minkowski addition of convex polytopes
1273 -- 1302Jesús A. De Loera, Raymond Hemmecke, Jeremiah Tauzer, Ruriko Yoshida. Effective lattice point counting in rational convex polytopes
1303 -- 1326Sergei A. Abramov, Jacques Carette, Keith O. Geddes, Ha Q. Le. Telescoping in the context of symbolic summation in Maple

Volume 38, Issue 3

1043 -- 1076Thomas Cluzeau, Mark van Hoeij. A modular algorithm for computing the exponential solutions of a linear differential operator
1077 -- 1118Graham Ellis. Computing group resolutions
1119 -- 1144Haibao Duan, Xuan Zhao, Xuezhi Zhao. The Cartan matrix and enumerative calculus
1145 -- 1163Clemens Heuberger, Alain Togbé, Volker Ziegler. Automatic solution of families of Thue equations and an example of degree 8
1165 -- 0Sergei A. Abramov, Marko Petkovsek. Erratum to Rational normal forms and minimal decompositions of hypergeometric terms [J. Symbolic Comput 33 (2002) 521-543]

Volume 38, Issue 2

915 -- 958Arthur D. Chtcherba, Deepak Kapur. Resultants for unmixed bivariate polynomial systems produced using the Dixon formulation
959 -- 973Jesús A. De Loera, David Haws, Raymond Hemmecke, Peter Huggins, Bernd Sturmfels, Ruriko Yoshida. Short rational functions for toric algebra and applications
975 -- 1002Anne Fredet. Linear differential equations in exponential extensions
1003 -- 1024Lenwood S. Heath, Nicholas A. Loehr. New algorithms for generating Conway polynomials over finite fields
1025 -- 1042María-Jesús Pisabarro. Computing lattice ideals of unions of monomial curves

Volume 38, Issue 1

777 -- 814Arthur D. Chtcherba, Deepak Kapur. Constructing Sylvester-type resultant matrices using the Dixon formulation
815 -- 832Yong-Bin Li. Applications of the theory of weakly nondegenerate conditions to zero decomposition for polynomial systems
833 -- 842Claus Fieker. Minimizing representations over number fields
843 -- 872Cristina Blanco, Gabriela Jeronimo, Pablo Solernó. Computing generators of the ideal of a smooth affine algebraic variety
873 -- 897Claude Marché, Xavier Urbain. Modular and incremental proofs of AC-termination
899 -- 914Dongming Wang. A simple method for implicitizing rational curves and surfaces