Journal: Journal of Symbolic Computation

Volume 45, Issue 9

887 -- 901Gert-Martin Greuel, Santiago Laplagne, Frank Seelisch. Normalization of rings
902 -- 917Liang Chen, Michael B. Monagan. Algorithms for solving linear systems over cyclotomic fields
918 -- 942Huishi Li. Looking for Gröbner basis theory for (almost) skew 2-nomial algebras
943 -- 951Bettina Eick. Some new simple Lie algebras in characteristic 2

Volume 45, Issue 8

825 -- 836Preda Mihailescu, Victor Vuletescu. Elliptic Gauss sums and applications to point counting
837 -- 843Andries E. Brouwer, Mihaela Popoviciu. The invariants of the binary decimic
844 -- 856Rida T. Farouki, Takis Sakkalis. Rational rotation-minimizing frames on polynomial space curves of arbitrary degree
857 -- 878Joris van der Hoeven. Newton s method and FFT trading
879 -- 886Joachim von zur Gathen, Maurice Mignotte, Igor Shparlinski. Approximate polynomial GCD: Small degree and small height perturbations

Volume 45, Issue 7

721 -- 722Antonio Campillo, Patrick Fitzpatrick, Edgar Martínez-Moro, Ruud Pellikaan. Special issue algebraic coding theory and applications
723 -- 733Nigel Boston, Gary McGuire. The weight distributions of cyclic codes with two zeros and zeta functions
734 -- 756Nathan Owen Ilten, Hendrik Süß. Algebraic geometry codes from polyhedral divisors
757 -- 772Drue Coles, Emma Previato. Decoding by rank-2 bundles over plane quartics
773 -- 786Peter Beelen, Kristian Brander. Key equations for list decoding of Reed-Solomon codes and how to solve them
787 -- 799Sunghyu Han, Jon-Lark Kim. Formally self-dual additive codes over F::4::
800 -- 812W. Fish, Jennifer D. Key, E. Mwambene. Binary codes from the line graph of the n-cube
813 -- 824Carmen Martínez, Ramón Beivide, Cristobal Camarero, Esteban Stafford, Ernst M. Gabidulin. Quotients of Gaussian graphs and their application to perfect codes

Volume 45, Issue 6

617 -- 628Prashant Batra, Vikram Sharma. Bounds on absolute positiveness of multivariate polynomials
629 -- 656Volker Gebhardt, Juan González-Meneses. Solving the conjugacy problem in Garside groups by cyclic sliding
657 -- 676Jan Vrsek, Miroslav Lávicka. On convolutions of algebraic curves
677 -- 683Kurt Mehlhorn, Saurabh Ray. Faster algorithms for computing Hong s bound on absolute positiveness
684 -- 708Sergei A. Abramov, Marko Petkovsek. Polynomial ring automorphisms, rational (w, sigma)-canonical forms, and the assignment problem
709 -- 720Andries E. Brouwer, Mihaela Popoviciu. The invariants of the binary nonic

Volume 45, Issue 5

499 -- 500Temur Kutsia. Symbolic computation in software science: Foreword from the editor
501 -- 522Sergio Antoy. Programming with narrowing: A tutorial
523 -- 550Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-patterns for rule-based languages
551 -- 573Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi. Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
574 -- 597Thomas Genet, Vlad Rusu. Equational approximations for tree automata completion
598 -- 616Masahiko Sato, Randy Pollack. External and internal syntax of the lambda-calculus

Volume 45, Issue 4

393 -- 413Tetsuo Ida, Hidekazu Takahashi. Origami fold as algebraic graph rewriting
414 -- 433Xiaohong Jia, Haohao Wang, Ron Goldman. Set-theoretic generators of rational space curves
434 -- 442Gabriela Jeronimo, Daniel Perrucci. On the minimum of a positive polynomial over the standard simplex
462 -- 480Kenta Nishiyama, Masayuki Noro. Stratification associated with local b-functions
481 -- 498Meera Sitharam, Jörg Peters, Yong Zhou. Optimized parametrization of systems of incidences between rigid bodies

Volume 45, Issue 3

287 -- 305Ruyong Feng, Michael F. Singer, Min Wu. Liouvillian solutions of linear difference-differential equations
306 -- 323Ruyong Feng, Michael F. Singer, Min Wu. An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations
324 -- 341Sonia L. Rueda, J. Rafael Sendra. Linear complete differential resultants and the implicitization of linear DPPEs
342 -- 372Allan K. Steel. Computing with algebraically closed fields
373 -- 392J. Araújo, Paul von Bünau, J. D. Mitchell, Max Neunhöffer. Computing automorphisms of semigroups

Volume 45, Issue 2

151 -- 152Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari. Special issue on automated deduction: Decidability, complexity, tractability
153 -- 172Aharon Abadi, Alexander Rabinovich, Mooly Sagiv. Decidable fragments of many-sorted logic
173 -- 193Adria Gascón, Guillem Godoy, Manfred Schmidt-Schauß, Ashish Tiwari. Context unification with one context variable
194 -- 228Carsten Lutz, Frank Wolter. Deciding inseparability and conservative extensions in the description logic EL
229 -- 260Maria Paola Bonacina, Mnacho Echenim. Theory decision by decomposition
261 -- 286Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, hélène-kirchner. Combination of convex theories: Modularity, deduction completeness, and explanation

Volume 45, Issue 12

1251 -- 1253Carlos D Andrea, Marc Giusti, Luis M. Pardo, Ragni Piene. Effective methods in algebraic geometry 2009: Barcelona. Guest editors foreword
1254 -- 1269Hirotachi Abo. On non-defectivity of certain Segre-Veronese varieties
1270 -- 1279Saugata Basu, Marie-Françoise Roy. Bounding the radii of balls meeting every connected component of semi-algebraic sets
1280 -- 1295Cristina Bertone, Guillaume Chèze, André Galligo. Modular Las Vegas algorithms for polynomial absolute factorization
1296 -- 1315María Angélica Cueto, Enrique A. Tobis, Josephine Yu. An implicitization challenge for binary factor analysis
1316 -- 1329Gema M. Diaz-Toca, Henri Lombardi. Dynamic Galois Theory
1330 -- 1340Amir Hashemi, Gwénolé Ars. Extended F::5:: criteria
1341 -- 1358Pierre-Vincent Koseleff, D. Pecker, F. Rouillier. The first rational Chebyshev knots
1359 -- 1377J. M. Landsberg. P versus NP and geometry
1378 -- 1390Thierry Coquand, Henri Lombardi, Claude Quitté. Curves and coherent Prüfer rings
1391 -- 1425Antonio Montes, Michael Wibmer. Gröbner bases for polynomial systems with parameters
1426 -- 1441L. X. Chåu Ngô, Franz Winkler. Rational general solutions of first order non-autonomous parametrizable ODEs
1442 -- 1458Christian Eder, John Perry. F5C: A variant of Faugère s F5 algorithm with reduced Gröbner bases
1459 -- 1470Peter Scheiblechner. On a generalization of Stickelberger s Theorem

Volume 45, Issue 11

1097 -- 1100Martin Giese, Andrew Ireland, Laura Kovács. Introduction
1101 -- 1113Stefan Kauer, Jürgen F. H. Winkler. Mechanical inference of invariants for FOR-loops
1114 -- 1143Ali Mili, Shir Aharon, Chaitanya Nadkarni, Lamia Labed Jilani, Asma Louhichi, Olfa Mraihi. Reflexive transitive invariant relations: A basis for computing loop functions
1144 -- 1162Igor V. Konnov, Vladimir A. Zakharov. An invariant-based approach to the verification of asynchronous parameterized networks
1163 -- 1183Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin. Verifying pointer safety for programs with unknown calls
1184 -- 1211Yannick Moy, Claude Marché. Modular inference of subprogram contracts for safety checking
1212 -- 1233Andrey Rybalchenko, Viorica Sofronie-Stokkermans. Constraint solving for interpolation
1234 -- 1249Bican Xia, Zhihai Zhang. Termination of linear programs with nonlinear constraints

Volume 45, Issue 10

953 -- 964Eduardo Sáenz-de-Cabezón. Computing the support of monomial iterated mapping cones
965 -- 974Stefan O. Tohaneanu. On the De Boer-Pellikaan method for computing minimum distance
975 -- 985Maria Emilia Alonso, Henri Lombardi. Local Bézout Theorem
1075 -- 1096Marc Mezzarobba, Bruno Salvy. Effective bounds for P-recursive sequences

Volume 45, Issue 1

1 -- 18Martin Peternell. Rational two-parameter families of spheres and rational offset surfaces
19 -- 37Claudia Fassino. Almost vanishing polynomials for sets of limited precision points
38 -- 45Alberto Damiano, Graziano Gentili, Daniele C. Struppa. Computations in the ring of quaternionic polynomials
46 -- 59Rouchdi Bahloul, Toshinori Oaku. Local Bernstein-Sato ideals: Algorithm and examples
60 -- 73Bahman Engheta. A bound on the projective dimension of three cubics
74 -- 95Temur Kutsia, Jordi Levy, Mateu Villaret. On the relation between Context and Sequence Unification
96 -- 123Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José-Luis Ruiz-Reina. A verified Common Lisp implementation of Buchberger s algorithm in ACL2
124 -- 149François Boulier, François Lemaire, Marc Moreno Maza. Computing differential characteristic sets by change of ordering