Journal of Symbolic Computation, Volume 30, 2000

Volume 30, Number 1, July 2000

Schemas

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

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

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

Applications of Gröbner Bases

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

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

Algorithmic Methods in Galois Theory

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