Journal of Symbolic Computation, Volume 39, 2005

Volume 39, Number 1, January 2005

Alexander Hulpke:
Constructing transitive permutation groups. 1-30
Electronic Edition (link) BibTeX
John Abbott, Martin Kreuzer, Lorenzo Robbiano:
Computing zero-dimensional schemes. 31-49
Electronic Edition (link) BibTeX
Hans-Christian Graf v. Bothmer, Cord Erdenberger, Katharina Ludwig:
A new family of rational surfaces in P4. 51-60
Electronic Edition (link) BibTeX
M'hammed El Kahoui:
Birational properties of the gap subresultant varieties. 61-71
Electronic Edition (link) BibTeX
William A. Adkins, J. William Hoffman, Hao Hao Wang:
Equations of parametric surfaces with base points via syzygies. 73-101
Electronic Edition (link) BibTeX
Mathias Schulze:
Good bases for tame polynomials. 103-126
Electronic Edition (link) BibTeX

Volume 39, Number 2, February 2005

Ruth L. Auerbach:
The Gröbner fan and Gröbner walk for modules. 127-153
Electronic Edition (link) BibTeX
William Y. C. Chen, Qing-Hu Hou, Yan-Ping Mu:
Applicability of the q-analogue of Zeilberger's algorithm. 155-170
Electronic Edition (link) BibTeX
Markus Rosenkranz:
A new symbolic method for solving linear two-point boundary value problems on the level of operators. 171-199
Electronic Edition (link) BibTeX
Mohamud Mohammed, Doron Zeilberger:
Sharp upper bounds for the orders of the recurrences output by the Zeilberger and q-Zeilberger algorithms. 201-207
Electronic Edition (link) BibTeX
Maria Paola Bonacina:
Towards a unified model of search in theorem-proving: subgoal-reduction strategies. 209-255
Electronic Edition (link) BibTeX

Volume 39, Number 3-4, March-April 2005

Arjeh M. Cohen, Gert-Martin Greuel, Marie-Françoise Roy:
Preface. 257-258
Electronic Edition (link) BibTeX
Carlos D'Andrea, Gabriela Jeronimo:
Subresultants and generic monomial bases. 259-277
Electronic Edition (link) BibTeX
Jan Draisma:
Representation theory on the open Bruhat cell. 279-303
Electronic Edition (link) BibTeX
Elisabetta Fortuna, Patrizia M. Gianni, Barry M. Trager:
Irreducible decomposition of polynomial ideals. 305-316
Electronic Edition (link) BibTeX
Laurent Busé, André Galligo:
Semi-implicit representations of surfaces in , resultants and applications. 317-329
Electronic Edition (link) BibTeX
Luis David Garcia, Michael Stillman, Bernd Sturmfels:
Algebraic geometry of Bayesian networks. 331-355
Electronic Edition (link) BibTeX
Harm Derksen, Emmanuel Jeandel, Pascal Koiran:
Quantum automata and algebraic groups. 357-371
Electronic Edition (link) BibTeX
David Helm, Ezra Miller:
Algorithms for graded injective resolutions and local cohomology over semigroup rings. 373-395
Electronic Edition (link) BibTeX
Bernard Mourrain:
Bezoutian and quotient ring structure. 397-415
Electronic Edition (link) BibTeX
Michel Granger, Toshinori Oaku, Nobuki Takayama:
Tangent cone algorithm for homogenized differential operators. 417-431
Electronic Edition (link) BibTeX
Joris van der Hoeven:
Effective analytic functions. 433-449
Electronic Edition (link) BibTeX
Marius van der Put:
Galois theory and algorithms for linear differential equations. 451-463
Electronic Edition (link) BibTeX
Orlando Villamayor U.:
On constructive desingularization. 465-491
Electronic Edition (link) BibTeX
Uli Walther:
Algorithmic stratification of R_homD for regular algebraic (M,N)-modules on Cⁿ. 493-499
Electronic Edition (link) BibTeX

Volume 39, Number 5, May 2005

Automated Reasoning and Computer Algebra Systems (AR-CA)

Olga Caprotti, Volker Sorge:
Integration of automated reasoning and computer algebra systems. 501-502
Electronic Edition (link) BibTeX
Alessandro Armando, Clemens Ballarin:
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting. 503-521
Electronic Edition (link) BibTeX
Michael Beeson, Freek Wiedijk:
The meaning of infinity in calculus and computer algebra systems. 523-538
Electronic Edition (link) BibTeX
Hanne Gottliebsen, Tom Kelsey, Ursula Martin:
Hidden verification for computational mathematics. 539-567
Electronic Edition (link) BibTeX
David Delahaye, Micaela Mayero:
Dealing with algebraic expressions over a field in Coq using Maple. 569-592
Electronic Edition (link) BibTeX
Simon Colton:
Automated conjecture making in number theory using HR, Otter and Maple. 593-615
Electronic Edition (link) BibTeX

Volume 39, Number 6, June 2005

Michael E. Pohst:
Factoring polynomials over global fields I. 617-630
Electronic Edition (link) BibTeX
Xu-an Zhao, Hongzhu Gao, Xiaole Su:
Homotopy classification of maps between simply connected four manifolds. 631-642
Electronic Edition (link) BibTeX
Ivan Damgård, Gudmund Skovbjerg Frandsen:
Efficient algorithms for the gcd and cubic residuosity in the ring of Eisenstein integers. 643-652
Electronic Edition (link) BibTeX
Christopher J. Hillar:
Cyclic resultants. 653-669
Electronic Edition (link) BibTeX
Vahid Dabbaghian-Abdoly:
An algorithm for constructing representations of finite groups. 671-688
Electronic Edition (link) BibTeX
Falai Chen, David A. Cox, Yang Liu:
The mu-basis and implicitization of a rational parametric surface. 689-706
Electronic Edition (link) BibTeX
Henri Lombardi, Ihsen Yengui:
Suslin's algorithms for reduction of unimodular rows. 707-717
Electronic Edition (link) BibTeX
Juan Gerardo Alcázar, J. Rafael Sendra:
Computation of the topology of real algebraic space curves. 719-744
Electronic Edition (link) BibTeX