Journal of Symbolic Computation, Volume 39, 2005

Volume 39, Number 1, January 2005

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

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

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

Automated Reasoning and Computer Algebra Systems (AR-CA)

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

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