Journal of Symbolic Computation, Volume 44, 2009

Volume 44, Number 1, January 2009

• Willem A. de Graaf, Jana Pílniková, Josef Schicho:
  Parametrizing Del Pezzo surfaces of degree 8 using Lie algebras. 1-14
  
• Alexander Fronk, Britta Kehden:
  State space analysis of Petri nets with relation-algebraic methods. 15-47
  
• Sergei A. Abramov, Moulay A. Barkatou:
  D'Alembertian series solutions at ordinary points of LODE with polynomial coefficients. 48-59
  
• Claus-Peter Wirth:
  Shallow confluence of conditional term rewriting systems. 60-98
  
• Kuniaki Tsuji:
  An improved EZ-GCD algorithm for multivariate polynomials. 99-110
  

Volume 44, Number 2, February 2009

• Marc Dohm, Severinas Zube:
  The implicit equation of a canal surface. 111-130
  
• Tobias Beck:
  Formal desingularization of surfaces: The Jung method revisited. 131-160
  
• Rida T. Farouki, Carlotta Giannelli, Alessandra Sestini:
  Helical polynomial curves and double Pythagorean hodographs I. Quaternion and Hopf map representations. 161-179
  
• Martin Aigner, Bert Jüttler, Laureano González-Vega, Josef Schicho:
  Parameterizing surfaces with certain special support functions, including offsets of quadrics and rationally supported surfaces. 180-191
  
• Carlos Andradas, Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera:
  On the simplification of the coefficients of a parametrization. 192-210
  
• Leonid Bedratyuk:
  A complete minimal system of covariants for the binary form of degree 7. 211-220
  

Volume 44, Number 3, March 2009

• Jean-Charles Faugère, Fabrice Rouillier:
  Foreword. 221
  
• Daniel Lazard:
  Thirty years of Polynomial System Solving, and now? 222-231
  
• Laurent Busé, Mohamed Elkadi, André Galligo:
  A computational study of ruled surfaces. 232-241
  
• Xiao-Shan Gao, Yong Luo, Chun-Ming Yuan:
  A characteristic set method for ordinary difference polynomial systems. 242-260
  
• Sylvain Neut, Michel Petitot, Raouf Dridi:
  Élie Cartan's geometrical vision or how to avoid expression swell. 261-270
  
• Ilias S. Kotsireas, Christos Koukouvinos:
  Hadamard matrices of Williamson type: A challenge for Computer Algebra. 271-279
  
• Greg Reid, Lihong Zhi:
  Solving polynomial systems via symbolic-numeric reduction to geometric involutive form. 280-291
  
• Bernard Mourrain, Jean Pascal Pavone:
  Subdivision methods for solving polynomial equations. 292-306
  

Volume 44, Number 4, April 2009

• Rida T. Farouki, Carlotta Giannelli, Alessandra Sestini:
  Helical polynomial curves and double Pythagorean hodographs II. Enumeration of low-degree curves. 307-332
  
• Oleg Golubitsky, Marina V. Kondratieva, Alexey Ovchinnikov:
  Algebraic transformation of differential characteristic decompositions from one ranking to another. 333-357
  
• Bjarke Hammersholt Roune:
  The Slice Algorithm for irreducible decomposition of monomial ideals. 358-381
  
• Evelyne Hubert:
  Differential invariants of a Lie group action: Syzygies on a generating set. 382-416
  
• Josep M. Miret, Xavier Hernández, Sebastià Xambó-Descamps:
  Corrigendum to: "Computing the characteristic numbers of the variety of nodal plane cubics inP² [J. Symb. Computation 42 (1-2) (2007) 192-202]. 417-418
  

Volume 44, Number 5, May 2009

• Francisco Jesus Castro-Jiménez, Laureano González-Vega:
  Foreword from the editors. 419-420
  
• An Khuong Nguyen:
  On d-solvability for linear differential equations. 421-434
  
• Shinichi Tajima, Yayoi Nakamura:
  Annihilating ideals for an algebraic local cohomology class. 435-448
  
• Hiromasa Nakayama:
  Algorithm computing the local b function by an approximate division algorithm in D. 449-462
  
• Montserrat Manubens, Antonio Montes:
  Minimal canonical comprehensive Gröbner systems. 463-478
  
• Marc Dohm:
  Implicitization of rational ruled surfaces with mu-bases. 479-489
  
• Rosario Rubio, J. Miguel Serradilla, M. Pilar Vélez:
  Detecting real singularities of a space curve from a real rational parametrization. 490-498
  
• Diego Ruano:
  On the structure of generalized toric codes. 499-506
  
• Gabriela Olteanu, Ángel del Río:
  An algorithm to compute the Wedderburn decomposition of semisimple group algebras implemented in the GAP package wedderga. 507-516
  
• Manuel A. Insua, Manuel Ladra:
  Gröbner bases in universal enveloping algebras of Leibniz algebras. 517-526
  
• L. M. Camacho, J. R. Gómez, A. J. González, B. A. Omirov:
  Naturally graded quasi-filiform Leibniz algebras. 527-539
  
• Mohamed Barakat, Daniel Robertz:
  conley: Computing connection matrices in Maple. 540-557
  
• Víctor Álvarez, José Ándrés Armario, María Dolores Frau, P. Real:
  The homological reduction method for computing cocyclic Hadamard matrices. 558-570
  
• J. Santiago Jorge, Víctor M. Gulías, José Luis Freire:
  Certifying properties of an efficient functional program for computing Gröbner bases. 571-582
  
• Emmanuel Briand, Mercedes Rosas:
  Milne's volume function and vector symmetric polynomials. 583-590
  

Volume 44, Number 6, June 2009

• Andrew J. Hanson, Ji-Ping Sha:
  A tessellation for Fermat surfaces in CP³. 591-605
  
• Scott R. Pope, Ágnes Szántó:
  Nearest multivariate system with given root multiplicities. 606-625
  
• Abramo Hefez, Marcelo Escudeiro Hernandes:
  Analytic classification of plane branches up to multiplicity 4. 626-634
  
• F. San Segundo, J. R. Sendra:
  Partial degree formulae for plane offset curves. 635-654
  
• Roy Joshua, Shaun Van Ault:
  Implementation of Stanley's algorithm for projective group imbeddings. 655-672
  
• J. E. Cremona, T. A. Fisher:
  On the equivalence of binary quartics. 673-682
  
• J. Busch:
  Lower bounds for decision problems in imaginary, norm-Euclidean quadratic integer rings. 683-699
  

Volume 44, Number 7, July 2009

• Carlos D'Andrea, Bernard Mourrain:
  Special issue on symbolic and algebraic computation. 701-702
  
• Hirokazu Anai, Shinji Hara, Masaaki Kanno, Kazuhiro Yokoyama:
  Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem. 703-725
  
• Eda Cesaratto, Julien Clément, Benoit Daireaux, Loïck Lhote, Véronique Maume-Deschamps, Brigitte Vallée:
  Regularity of the Euclid Algorithm; application to the analysis of fast GCD Algorithms. 726-767
  
• Jin-San Cheng, Xiao-Shan Gao, Chee-Keng Yap:
  Complete numerical isolation of real roots in zero-dimensional triangular systems. 768-785
  
• Serena Cicalò, Willem A. de Graaf:
  Non-associative Gröbner bases, finitely-presented Lie rings and the Engel condition, II. 786-800
  
• Christian Costermans, Hoang Ngoc Minh:
  Noncommutative algebra, multiple harmonic sums and applications in discrete probability. 801-817
  
• Dimitrios I. Diochnos, Ioannis Z. Emiris, Elias P. Tsigaridas:
  On the asymptotic and practical complexity of solving bivariate systems over the reals. 818-835
  
• Raouf Dridi, Michel Petitot:
  New classification techniques for ordinary differential equations. 836-851
  
• Jean-François Jaulent, Sebastian Pauli, Michael E. Pohst, Florence Soriano-Gafiuk:
  Computation of 2-groups of narrow logarithmic divisor classes of number fields. 852-863
  
• Jean-Pierre Jouanolou:
  An explicit duality for quasi-homogeneous ideals. 864-871
  
• Daniel Kunkle, Gene Cooperman:
  Harnessing parallel disks to solve Rubik's cube. 872-890
  
• Xin Li, Marc Moreno Maza, Éric Schost:
  Fast arithmetic for triangular sets: From theory to practice. 891-907
  
• Hiroshi Sekigawa:
  On real factors of real interval polynomials. 908-922
  
• Wenyuan Wu, Greg Reid, Silvana Ilie:
  Implicit Riquier Bases for PDAE and their semi-discretizations. 923-941
  

Volume 44, Number 8, August 2009

• Mark Giesbrecht, George Labahn, Wen-shin Lee:
  Symbolic-numeric sparse interpolation of multivariate polynomials. 943-959
  
• William Y. C. Chen, Ernest X. W. Xia:
  The q-WZ method for infinite series. 960-971
  
• Arthur D. Chtcherba, Deepak Kapur, Manfred Minimair:
  Cayley-Dixon projection operator for multi-univariate composed polynomials. 972-999
  
• Joris van der Hoeven:
  On asymptotic extrapolation. 1000-1016
  
• Moulay A. Barkatou, Eckhard Pflügel:
  On the Moser- and super-reduction algorithms of systems of linear differential equations and their complexity. 1017-1036
  
• A. S. Detinko, D. L. Flannery:
  On deciding finiteness of matrix groups. 1037-1043
  
• R. T. Curtis, B. T. Fairbairn:
  Symmetric representation of the elements of the Conway group .0. 1044-1067
  
• James McLaughlin, Andrew V. Sills, Peter Zimmer:
  Rogers-Ramanujan computer searches. 1068-1078
  
• Filip Cools:
  On the relation between weighted trees and tropical Grassmannians. 1079-1086
  

Volume 44, Number 9, September 2009

• André Galligo, Luis Miguel Pardo, Josef Schicho:
  Effective methods in algebraic geometry. 1087-1088
  
• Clémence Durvye:
  Evaluation techniques for zero-dimensional primary decomposition. 1089-1113
  
• Peter Bürgisser, Peter Scheiblechner:
  On the complexity of counting components of algebraic varieties. 1114-1136
  
• Xiao-Shan Gao, J. Van der Hoeven, C. M. Yuan, Gui-Lin Zhang:
  Characteristic set method for differential-difference polynomial systems. 1137-1163
  
• Carlos D'Andrea, Hoon Hong, Teresa Krick, Ágnes Szántó:
  Sylvester's double sums: The general case. 1164-1175
  
• Daniel Lazard, Scott McCallum:
  Iterated discriminants. 1176-1193
  
• Mohamed Elkadi, André Galligo, M. Weimann:
  Towards toric absolute factorization. 1194-1211
  
• Gregor Kemper:
  Separating invariants. 1212-1222
  
• Willem A. de Graaf:
  Constructing algebraic groups from their Lie algebras. 1223-1233
  
• Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager:
  Generators of the ideal of an algebraic space curve. 1234-1254
  
• Hendrik Hubrechts:
  Quasi-quadratic elliptic curve point counting using rigid cohomology. 1255-1267
  
• Bernd Martin, Hendrik Süß:
  Milnor algebras could be isomorphic to modular algebras. 1268-1279
  
• Martin Avendano:
  The number of roots of a lacunary bivariate polynomial on a line. 1280-1284
  
• Mari Castle, Victoria Powers, Bruce Reznick:
  A quantitative Pólya's Theorem with zeros. 1285-1290
  
• Lionel Alberti, Bernard Mourrain, Jean-Pierre Técourt:
  Isotopic triangulation of a real algebraic surface. 1291-1310
  
• Eduardo Sáenz-de-Cabezón, Henry P. Wynn:
  Betti numbers and minimal free resolutions for multi-state system reliability bounds. 1311-1325
  
• Michael Brickenstein, Alexander Dreyer:
  PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials. 1326-1345
  
• Clément M. Gosselin, Brian Moore, Josef Schicho:
  Dynamic balancing of planar mechanisms using toric geometry. 1346-1358