Journal: Journal of Symbolic Computation

Volume 44, Issue 9

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

Volume 44, Issue 8

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

Volume 44, Issue 7

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

Volume 44, Issue 6

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

Volume 44, Issue 5

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

Volume 44, Issue 4

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

Volume 44, Issue 3

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

Volume 44, Issue 2

111 -- 130Marc Dohm, Severinas Zube. The implicit equation of a canal surface
131 -- 160Tobias Beck. Formal desingularization of surfaces: The Jung method revisited
161 -- 179Rida T. Farouki, Carlotta Giannelli, Alessandra Sestini. Helical polynomial curves and double Pythagorean hodographs I. Quaternion and Hopf map representations
180 -- 191Martin 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
192 -- 210Carlos Andradas, Tomás Recio, J. Rafael Sendra, Luis Felipe Tabera. On the simplification of the coefficients of a parametrization
211 -- 220Leonid Bedratyuk. A complete minimal system of covariants for the binary form of degree 7

Volume 44, Issue 12

1605 -- 1607Daniel Augot, Jean-Charles Faugère, Ludovic Perret. Foreword
1608 -- 1625Daniel Augot, Magali Bardet, Jean-Charles Faugère. On the decoding of binary cyclic codes with the Newton identities
1626 -- 1643Stanislav Bulygin, Ruud Pellikaan. Bounded distance decoding of linear error-correcting codes with Gröbner bases
1644 -- 1656Delphine Boucher, Felix Ulmer. Coding with skew polynomial rings
1657 -- 1661M. Prem Laxman Das, Kripasindhu Sikdar. List decoding codes on Garcia-Stictenoth tower using Gröbner basis
1662 -- 1675Kwankyu Lee, Michael E. O Sullivan. List decoding of Hermitian codes using Gröbner bases
1676 -- 1689Jean-Charles Faugère, Ludovic Perret. An efficient algorithm for decomposing multivariate polynomials and its applications to cryptography
1690 -- 1702Pierrick Gaudry. Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem
1703 -- 1723Côme Berbain, Henri Gilbert, Jacques Patarin. QUAD: A multivariate stream cipher with provable security

Volume 44, Issue 11

1533 -- 1535Robert M. Corless, Reiner Lauterbach, Hans-Michael Möller. Preface
1536 -- 1550Robert M. Corless, Karin Gatermann, Ilias S. Kotsireas. Using symmetries in the eigenvalue method for polynomial systems
1551 -- 1565Gheorghe Craciun, Alicia Dickenstein, Anne Shiu, Bernd Sturmfels. Toric dynamical systems
1566 -- 1591Daniel Heldt, Martin Kreuzer, Sebastian Pokutta, Hennie Poulisse. Approximate computation of zero-dimensional polynomial ideals
1592 -- 1604Xavier Dahan, Éric Schost, Jie Wu. Evaluation properties of invariant polynomials

Volume 44, Issue 10

40 -- 0Adam Clay, Lawrence H. Smith. Corrigendum to: On ordering free groups [J. Symbolic Comput
1359 -- 1373Daniel Robertz. Noether normalization guided by monomial cone decompositions
1374 -- 1393Roberto La Scala, Viktor Levandovskyy. Letterplace ideals and non-commutative Gröbner bases
1394 -- 1409Mingbo Zhang, Xiao-Shan Gao. Decomposition of ordinary difference polynomials
1410 -- 1424Shih Ping Tung. Algorithms for near solutions to polynomial equations
1425 -- 1447Josep M. Miret, Jordi Pujolàs, Kumar Saurav, Sebastià Xambó-Descamps. Computing some fundamental numbers of the variety of nodal cubics in P:::3:::
1448 -- 1462Marcin Dumnicki. An algorithm to bound the regularity and nonemptiness of linear systems in P:::n:::
1463 -- 1476Raymond Hemmecke, Peter N. Malkin. Computing generating sets of lattice ideals and Markov bases of lattices
1477 -- 1486Dave Bayer, Amelia Taylor. Reverse search for monomial ideals
1487 -- 1501Songxin Liang, David J. Jeffrey. Automatic computation of the complete root classification for a parametric polynomial
1502 -- 1510David Harvey. Faster polynomial multiplication via multipoint Kronecker substitution

Volume 44, Issue 1

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