Journal of Symbolic Computation, Volume 42, 2007

Volume 42, Numbers 1-2, January-February 2007

• Alicia Dickenstein, Patrizia Gianni, Tomás Recio:
  Foreword from the Editors. 1-3
  
• Carlos Beltrán, Luis Miguel Pardo:
  On the probability distribution of singular varieties of given corank. 4-29
  
• Ivo Bleylevens, Ralf L. M. Peeters, Bernard Hanzon:
  Efficiency improvement in an nD systems approach to polynomial optimization. 30-53
  
• T. Bogart, A. N. Jensen, D. Speyer, Bernd Sturmfels, Rekha R. Thomas:
  Computing tropical varieties. 54-73
  
• Massimo Caboara, Sara Faridi, Peter Selinger:
  Simplicial cycles and the computation of simplicial trees. 74-88
  
• Antonio Campillo, Gert-Martin Greuel, Christoph Lossen:
  Equisingular calculations for plane curve singularities. 89-114
  
• Raymond Curran, Eduardo Cattani:
  Restriction of A-discriminants and dual defect toric varieties. 115-135
  
• André Galligo, Michael Stillman:
  On the geometry of parametrized bicubic surfaces. 136-158
  
• Giulio Genovese:
  Improving the algorithms of Berlekamp and Niederreiter for factoring polynomials over finite fields. 159-177
  
• Abramo Hefez, Marcelo Escudeiro Hernandes:
  Standard bases for local rings of branches and their modules of differentials. 178-191
  
• Xavier Hernández, Josep M. Miret, Sebastià Xambó-Descamps:
  Computing the characteristic numbers of the variety of nodal plane cubics in P³. 192-202
  
• Evelyne Hubert, Irina A. Kogan:
  Rational invariants of a group action. Construction and rewriting. 203-217
  
• Gabriela Jeronimo, Juan Sabia:
  Computing multihomogeneous resultants using straight-line programs. 218-235
  
• Joris van der Hoeven:
  Around the numeric-symbolic computation of differential Galois groups. 236-264
  

Volume 42, Number 3, March 2007

• Michael P. Barnett:
  Mathscape and molecular integrals. 265-289
  
• Carlos D'Andrea, Hoon Hong, Teresa Krick, Ágnes Szántó:
  An elementary proof of Sylvester's double sums for subresultants. 290-297
  
• K. Fukuda, A. N. Jensen, N. Lauritzen, Robert H. Thomas:
  The generic Gröbner walk. 298-312
  
• Eivind Eriksen, Trond Stølen Gustavsen:
  Computing obstructions for existence of connections on modules. 313-323
  
• Andreas Dolzmann, Volker Weispfenning:
  Multiple object semilinear motion planning. 324-337
  
• Juan Gerardo Alcázar, J. Rafael Sendra:
  Local shape of offsets to algebraic curves. 338-351
  
• Temur Kutsia:
  Solving equations with sequence variables and sequence functions. 352-388
  

Volume 42, Number 4, April 2007

• Joris van der Hoeven:
  Efficient accelero-summation of holonomic functions. 389-428
  
• Hitoshi Koshita:
  An example of relations on the Ext-quiver for the Suzuki group Sz(8) in characteristic 2. 429-442
  
• Enric Rodríguez-Carbonell, Deepak Kapur:
  Generating all polynomial invariants in simple loops. 443-476
  
• Grégoire Lecerf:
  Improved dense multivariate polynomial factorization algorithms. 477-494
  

Volume 42, Number 5, May 2007

• Quoc-Nam Tran:
  Special issue on Applications of Computer Algebra. 495-496
  
• Jennifer R. Daniel, Aloysius G. Helminck:
  Computing the fine structure of real reductive symmetric spaces. 497-510
  
• Helena A. Verrill, David Joyner:
  Computing with toric varieties. 511-532
  
• Quoc-Nam Tran:
  A new class of term orders for elimination. 533-548
  
• Alain Bretto, Alain Faisant, Luc Gillibert:
  G-graphs: A new representation of groups. 549-560
  
• Alexander B. Levin:
  Gröbner bases with respect to several orderings and multivariable dimension polynomials. 561-578
  

Volume 42, Number 6, June 2007

• Jana Pílniková:
  Trivializing a central simple algebra of degree 4 over the rational numbers. 579-586
  
• Ioana Dumitriu, Alan Edelman, Gene Shuman:
  MOPS: Multivariate orthogonal polynomials (symbolically). 587-620
  
• Marcin Dumnicki, Witold Jarnicki:
  New effective bounds on the dimension of a linear system in P². 621-635
  
• Daniel Lazard, Fabrice Rouillier:
  Solving parametric polynomial systems. 636-667
  
• Michael C. Slattery:
  Generation of groups of square-free order. 668-677
  
• Juan Gerardo Alcázar, Josef Schicho, J. Rafael Sendra:
  A delineability-based method for computing critical sets of algebraic surfaces. 678-691
  

Volume 42, Number 7, July 2007

• Marc Moreno Maza, Gregory J. Reid, Robin Scott, Wenyuan Wu:
  On approximate triangular decompositions in dimension zero. 693-716
  
• Hoon Hong, John Perry:
  Are Buchberger's criteria necessary for the chain condition? 717-732
  
• Howard Cheng, George Labahn:
  Output-sensitive modular algorithms for polynomial matrix normal forms. 733-750
  
• Chi-Ming Lam, Vladimir Shpilrain, Jie-Tai Yu:
  Recognizing and parametrizing curves isomorphic to a line. 751-756
  
• Manuel Bronstein:
  Structure theorems for parallel integration. 757-769
  

Volume 42, Number 8, August 2007

• Joris van der Hoeven:
  Generalized power series solutions to linear partial differential equations. 771-791
  
• Joris van der Hoeven:
  New algorithms for relaxed multiplication. 792-802
  
• Michael Wibmer:
  Gröbner bases for families of affine or projective schemes. 803-834
  
• Sonia Pérez-Díaz:
  Computation of the singularities of parametric plane curves. 835-857
  

Volume 42, Number 9, September 2007

• Peter Schauenburg:
  A Gröbner-based treatment of elimination theory for affine varieties. 859-870
  
• Gábor P. Nagy, Petr Vojtechovský:
  The Moufang loops of order 64 and 81. 871-883
  
• Philippe Saux Picart, Cyril Brunie:
  Symmetric subresultants and applications. 884-919
  
• Christopher J. Sangwin, P. Ramsden:
  Linear syntax for communicating elementary mathematics. 920-934
  

Volume 42, Number 10, October 2007

• Leonid Bedratyuk:
  On complete system of invariants for the binary form of degree 7. 935-947
  
• Manuel Kauers:
  Summation algorithms for Stirling number identities. 948-970
  
• Isabel Bermejo, Ignacio García-Marco, Juan José Salazar González:
  An algorithm for checking whether the toric ideal of an affine monomial curve is a complete intersection. 971-991
  
• Conrad Creel, Sam Nelson:
  Symbolic computation with finite biquandles. 992-1000
  

Volume 42, Numbers 11-12, November - December 2007

• Viktor Levandovskyy:
  Foreword from the Editor. 1001-1002
  
• Franz Pauer:
  Gröbner bases with coefficients in rings. 1003-1011
  
• Edward L. Green, Øyvind Solberg:
  An algorithmic approach to resolutions. 1012-1033
  
• Gareth A. Evans, Christopher D. Wensley:
  Complete involutive rewriting systems. 1034-1051
  
• José Manuel Casas, Manuel A. Insua, Manuel Ladra:
  Poincaré-Birkhoff-Witt theorem for Leibniz n. 1052-1065
  
• Peter J. Cameron, Natalia Iyudu:
  Graphs of relations and Hilbert series. 1066-1078
  
• Tatiana Gateva-Ivanova, Shahn Majid:
  Set-theoretic solutions of the Yang-Baxter equation, graphs and computations. 1079-1112
  
• Alban Quadrat, Daniel Robertz:
  Computation of bases of free modules over the Weyl algebras. 1113-1141
  
• Rafael Falcón, Jorge Martín-Morales:
  Gröbner bases and the number of Latin squares related to autotopisms of order <= 7. 1142-1154