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
- 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
- Daniel Lazard: Thirty years of Polynomial System Solving, and now? 222-231
- 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
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 inP2 [J. Symb. Computation 42 (1-2) (2007) 192-202]. 417-418
Volume 44, Number 5, May 2009
- 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
- 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
- Víctor Álvarez, José Ándrés Armario, María Dolores Frau, Pedro 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
Volume 44, Number 6, June 2009
- Abramo Hefez, Marcelo Escudeiro Hernandes: Analytic classification of plane branches up to multiplicity 4. 626-634
- Roy Joshua, Shaun Van Ault: Implementation of Stanley's algorithm for projective group imbeddings. 655-672
- J. Busch: Lower bounds for decision problems in imaginary, norm-Euclidean quadratic integer rings. 683-699
Volume 44, Number 7, July 2009
- 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
- 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
- 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
- R. T. Curtis, B. T. Fairbairn: Symmetric representation of the elements of the Conway group .0. 1044-1067
- Filip Cools: On the relation between weighted trees and tropical Grassmannians. 1079-1086
Volume 44, Number 9, September 2009
- 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, Cum-Ming 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
- 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
- Martin Avendano: The number of roots of a lacunary bivariate polynomial on a line. 1280-1284
- 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
Volume 44, Number 10, October 2009
- Daniel Robertz: Noether normalization guided by monomial cone decompositions. 1359-1373
- Roberto La Scala, Viktor Levandovskyy: Letterplace ideals and non-commutative Gröbner bases. 1374-1393
- Shih Ping Tung: Algorithms for near solutions to polynomial equations. 1410-1424
- Josep M. Miret, Jordi Pujolàs, Kumar Saurav, Sebastià Xambó-Descamps: Computing some fundamental numbers of the variety of nodal cubics in P3. 1425-1447
- Marcin Dumnicki: An algorithm to bound the regularity and nonemptiness of linear systems in Pn. 1448-1462
- Raymond Hemmecke, Peter N. Malkin: Computing generating sets of lattice ideals and Markov bases of lattices. 1463-1476
- Songxin Liang, David J. Jeffrey: Automatic computation of the complete root classification for a parametric polynomial. 1487-1501
- David Harvey: Faster polynomial multiplication via multipoint Kronecker substitution. 1502-1510
- T. Wietecha, K. Sokalski: Plus-minus algorithm - A method for derivation of the Bäcklund transformations. 1511-1528
- Adam Clay, Lawrence H. Smith: Corrigendum to: "On ordering free groups" [J. Symbolic Comput. 40(2005) 1285-1290]. 1529-1532
Volume 44, Number 11, November 2009
- Robert M. Corless, Karin Gatermann, Ilias S. Kotsireas: Using symmetries in the eigenvalue method for polynomial systems. 1536-1550
- Gheorghe Craciun, Alicia Dickenstein, Anne Shiu, Bernd Sturmfels: Toric dynamical systems. 1551-1565
- Daniel Heldt, Martin Kreuzer, Sebastian Pokutta, Hennie Poulisse: Approximate computation of zero-dimensional polynomial ideals. 1566-1591
Volume 44, Number 12, December 2009
- Daniel Augot, Magali Bardet, Jean-Charles Faugère: On the decoding of binary cyclic codes with the Newton identities. 1608-1625
- Stanislav Bulygin, Ruud Pellikaan: Bounded distance decoding of linear error-correcting codes with Gröbner bases. 1626-1643
- M. Prem Laxman Das, Kripasindhu Sikdar: List decoding codes on Garcia-Stictenoth tower using Gröbner basis. 1657-1661
- Jean-Charles Faugère, Ludovic Perret: An efficient algorithm for decomposing multivariate polynomials and its applications to cryptography. 1676-1689
- Pierrick Gaudry: Index calculus for abelian varieties of small dimension and the elliptic curve discrete logarithm problem. 1690-1702
- Côme Berbain, Henri Gilbert, Jacques Patarin: QUAD: A multivariate stream cipher with provable security. 1703-1723
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team