Journal: Journal of Symbolic Computation

Volume 40, Issue 6

1269 -- 1284Björn Assmann, Bettina Eick. Computing polycyclic presentations for polycyclic rational matrix groups
1285 -- 1290Lawrence H. Smith. On ordering free groups
1291 -- 1301Josef Schicho, Ibolya Szilágyi. Numerical stability of surface implicitization
1302 -- 1324Liqun Qi. Eigenvalues of a real supersymmetric tensor
1325 -- 1339José Méndez Omaña, Michael E. Pohst. Factoring polynomials over global fields II
1340 -- 1360Mustapha Er-Riani, Olivier Sero-Guillaume. Shapes of liquid drops obtained using symbolic computation
1361 -- 1382Karin Gatermann, Markus Eiswirth, Anke Sensse. Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems
1383 -- 1396K. Subramani, Dejan Desovski. Out of order quantifier elimination for Standard Quantified Linear Programs

Volume 40, Issue 4-5

1129 -- 1130Ilias S. Kotsireas, Alkiviadis G. Akritas, Stanly L. Steinberg, Michael J. Wester. Foreword to the special issue on Applications of computer algebra
1131 -- 1149Joachim Apel, Ralf Hemmecke. Detecting unnecessary reductions in an involutive basis computation
1150 -- 1168Laurent Busé, Marc Chardin. Implicitizing rational hypersurfaces using approximation complexes
1169 -- 1179Elisabetta Fortuna, Patrizia M. Gianni, Paola Parenti. Some constructions for real algebraic curves
1180 -- 1207Karin Gatermann, Serkan Hosten. Computational algebra for bifurcation theory
1208 -- 1224Rocío González-Díaz, Pedro Real. Simplification techniques for maps in simplicial topology
1225 -- 1241Nik Lygeros, Paul-Valère Marchand, Marc Massot. Enumeration and 3D representation of the stereo-isomers of alkane molecules
1242 -- 1255Richard Moeckel. Sturm s algorithm and isolating blocks
1256 -- 1268Jesús F. Palacián, Patricia Yanguas. Asymptotic invariant tori of perturbed two-body problems

Volume 40, Issue 3

1023 -- 1038Aldo Conca, Jessica Sidman. Generic initial ideals of points and curves
1039 -- 1052Manuel García Román, Socorro García Román. Gröbner bases and syzygies on bimodules over PBW algebras
1053 -- 1075Allan K. Steel. Conquering inseparability: Primary decomposition and multivariate factorization over algebraic function fields of positive characteristic
1076 -- 1086Jesús Gago-Vargas, Maria Isabel Hartillo-Hermoso, Jose Maria Ucha-Enríquez. Comparison of theoretical complexities of two methods for computing annihilating ideals of polynomials
1087 -- 1105Anna Torstensson, Victor Ufnarovski, Hans Öfverbeck. Using resultants for SAGBI basis verification in the univariate polynomial ring
1106 -- 1125J. D. Phillips, Petr Vojtechovský. Linear groupoids and the associated wreath products
1126 -- 1127Christopher J. Hillar. Erratum to "Cyclic resultants" [J. Symbolic Comput. 39 (6) (2005) 653-669]

Volume 40, Issue 2

905 -- 954Manfred Schmidt-Schauß, Klaus U. Schulz. Decidability of bounded higher-order unification
955 -- 963William Y. C. Chen, Husam L. Saad. On the Gosper-Petkovs(ek representation of rational functions
965 -- 978Elizabeth Gasparim, Irena Swanson. Computing instanton numbers of curve singularities
979 -- 997Sebastian Gann, Herwig Hauser. Perfect bases for differential equations
999 -- 1012Josep Àlvarez Montaner. Operations with regular holonomic ::::D::::-modules with support a normal crossing
1013 -- 1022John J. Cannon, Derek F. Holt, Michael C. Slattery, Allan K. Steel. Computing subgroups of bounded index in a finite group

Volume 40, Issue 1

745 -- 747Bernhard Gramlich, Salvador Lucas. Reduction strategies in rewriting and programming
749 -- 794Pierre Réty, Julie Vuotto. Tree automata for rewrite strategies
795 -- 829Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal. Operational semantics for declarative multi-paradigm languages
831 -- 873Eelco Visser. A survey of strategies in rule-based program transformation systems
875 -- 903Sergio Antoy. Evaluation strategies for functional logic programming