default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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 inP2 [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 - Khuong Nguyen-An:
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 San Miguel, 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 - Luisa 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é André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 - Emmanuel Briand, Mercedes H. 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 CP3. 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 - Fernando San Segundo, J. Rafael 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, Tom 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, Vincel 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, Dane L. Flannery:
On deciding finiteness of matrix groups. 1037-1043 - Robert 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, Joris van der Hoeven, Chun-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 - Daniel Lazard, Scott McCallum:
Iterated discriminants. 1176-1193 - Mohamed Elkadi, André Galligo, Martin 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 E. Avendano:
The number of roots of a lacunary bivariate polynomial on a line. 1280-1284 - Mari F. 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
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 - Mingbo Zhang, Xiao-Shan Gao:
Decomposition of ordinary difference polynomials. 1394-1409 - 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 - Dave Bayer, Amelia Taylor:
Reverse search for monomial ideals. 1477-1486 - 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, Reiner Lauterbach, Hans-Michael Möller:
Preface. 1533-1535 - 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 - Xavier Dahan, Éric Schost, Jie Wu:
Evaluation properties of invariant polynomials. 1592-1604
Volume 44, Number 12, December 2009
- Daniel Augot, Jean-Charles Faugère, Ludovic Perret:
Foreword. 1605-1607 - 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 - Delphine Boucher, Felix Ulmer:
Coding with skew polynomial rings. 1644-1656 - M. Prem Laxman Das, Kripasindhu Sikdar:
List decoding codes on Garcia-Stictenoth tower using Gröbner basis. 1657-1661 - Kwankyu Lee, Michael E. O'Sullivan:
List decoding of Hermitian codes using Gröbner bases. 1662-1675 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-15 22:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
