External Links

    Journal: Journal of Symbolic Computation

    Volume 30, Issue 6

    631 -- 633B. Heinrich Matzat, John McKay, Kazuhiro Yokoyama. Special Issue on Algorithmic Methods in Galois Theory - Foreword of the Guest Editors
    635 -- 651Philippe Aubry, Annick Valibouze. Using Galois Ideals for Computing Relative Resolvents
    653 -- 674Katharina Geissler, Jürgen Klüners. Galois Group Computation for Rational Polynomials
    675 -- 716Jürgen Klüners, Gunter Malle. Explicit Galois Realization of Transitive Groups of Degree up to 15
    717 -- 731Gunter Malle. Multi-parameter Polynomials with Given Galois Group
    733 -- 737Jürgen Klüners. A Polynomial with Galois Group SL2(11)
    739 -- 759Jean Marc Couveignes. Boundary of Hurwitz Spaces and Explicit Patching
    761 -- 798Michael Dettweiler, Stefan Reiter. An Algorithm of Katz and its Application to the Inverse Galois Problem
    799 -- 810Luis Dieulefait, Núria Vila. Projective Linear Groups as Galois Groups over Q via Modular Representations
    811 -- 842Montserrat Vela. Explicit Solutions of Galois Embedding Problems by Means of Generalized Clifford Algebras
    843 -- 857Gregor Kemper, Elena Mattig. Generic Polynomials with Few Parameters
    859 -- 865Arne Ledet. Generic and Explicit Realization of Small p-groups
    867 -- 872Arne Ledet. Generic Extensions and Generic Polynomials

    Volume 30, Issue 5

    493 -- 519Cassiano Durand, Christoph M. Hoffmann. A Systematic Framework for Solving Geometric Constraints Analytically
    521 -- 553Aloysius G. Helminck. Computing Orbits of Minimal Parabolic k-subgroups Acting on Symmetric k-varieties
    555 -- 571Reinhard C. Laubenbacher, Karen Schlauch. An Algorithm for the Quillen-Suslin Theorem for Quotients of Polynomial Rings by Monomial Ideals
    573 -- 582Dimitrios Poulakis, Evaggelos Voskos. On the Practical Solution of Genus Zero Diophantine Equations
    583 -- 593Josef Schicho. Proper Parametrization of Real Tubular Surfaces
    595 -- 604Wolmer V. Vasconcelos. Divisorial Extensions and the Computation of Integral Closures
    605 -- 617André Weilert. (1+i)-ary GCD Computation in Z[i] as an Analogue to the Binary GCD Algorithm
    619 -- 629Thomas Wolf. The Symbolic Integration of Exact PDEs

    Volume 30, Issue 4

    339 -- 340Quoc-Nam Tran, Franz Winkler. Special Issue on Applications of Gröbner Bases - Foreword of the Guest Editors
    341 -- 356John Abbott, Anna Maria Bigatti, Martin Kreuzer, Lorenzo Robbiano. Computing Ideals of Points
    357 -- 382Alexander Levin. Reduced Gröbner Bases, Free Difference-Differential Modules and Difference-Differential Dimension Polynomials
    383 -- 400Ignacio Ojeda Martínez de Castilla, Ramón Peidra Sánchez. Cellular Binomial Ideals. Primary Decomposition of Binomial Ideals
    401 -- 428Gábor Bodnár, Josef Schicho. Automated Resolution of Singularities for Hypersurfaces
    429 -- 449Miguel A. Borges-Trenard, Mijail Borges-Quintana, Teo Mora. Computing Gröbner Bases by FGLM Techniques in a Non-commutative Setting
    451 -- 467Quoc-Nam Tran. A Fast Algorithm for Gröbner Basis Conversion and its Applications
    469 -- 490Jörn Müller-Quade, Rainer Steinwandt. Gröbner Bases Applied to Finitely Generated Field Extensions

    Volume 30, Issue 3

    239 -- 252Vincenzo Acciaro, Jürgen Klüners. Computing Local Artin Maps, and Solvability of Norm Equations
    253 -- 289Gert-Martin Greuel. Computer Algebra and Algebraic. Geometry-Achievements and Perspectives
    291 -- 307Marc Giusti, Klemens Hägele, Grégoire Lecerf, Joël Marchand, Bruno Salvy. The Projective Noether Maple Package: Computing the Dimension of a Projective Variety
    309 -- 323Ryutaroh Matsumoto, Shinji Miura. Finding a Basis of a Linear System with Pairwise Distinct Discrete Valuations on an Algebraic Curve
    325 -- 327Maurice Mignotte. Bounds for the Roots of Lacunary Polynomials
    329 -- 337Wilberd Van Der Kallen. Complexity of the Havas, Majewski, Matthews LLL Hermite Normal Form Algorithm

    Volume 30, Issue 2

    129 -- 136Vincenzo Acciaro, Claus Fieker. Finding Normal Integral Bases of Cyclic Number Fields of Prime Degree
    137 -- 149G. Albano, Francesca Cioffi, Ferruccio Orecchia, I. Ramella. Minimally Generating Ideals of Rational Parametric Curves in Polynomial Time
    151 -- 160Pedro Berrizbeitia, Thomas G. Berry. Generalized Strong Pseudoprime Tests and Applications
    161 -- 179M hammed El Kahoui, Andreas Weber 0004. Deciding Hopf Bifurcations by Quantifier Elimination in a Software-component Architecture
    181 -- 193István Gaál. Solving Index Form Equations in Fields of Degree 9 with Cubic Subfields
    195 -- 205Reinhard C. Laubenbacher, Irena Swanson. Permanental Ideals
    207 -- 219Thomas Sturm. Linear Problems in Valued Fields
    221 -- 236Dongming Wang. Computing Triangular Systems and Regular Systems

    Volume 30, Issue 1

    1 -- 3Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel. Foreword to the Special Issue on Schemas
    5 -- 36Penny Anderson, David A. Basin. Program Development Schemata as Derived Rules
    37 -- 61Matthias Fuchs. Proofs as Schemas and Their Heuristic Use
    63 -- 91S. M. Brien, A. P. Martin. A Calculus for Schemas in Z
    93 -- 127Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson. An Abstract Formalization of Correct Schemas for Program Synthesis
    runs on