Journal: Journal of Symbolic Computation

Volume 39, Issue 6

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

Volume 39, Issue 5

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

Volume 39, Issue 3-4

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

Volume 39, Issue 2

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

Volume 39, Issue 1

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