Journal of Symbolic Computation, Volume 34 Number 1. Number 2. Number 3. Number 4

Size: px

Start display at page:

Download "Journal of Symbolic Computation, Volume 34 Number 1. Number 2. Number 3. Number 4"

Delilah Marshall
5 years ago
Views:

1 Journal of Symbolic Computation, Volume 34 Number 1 Eick, B., Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups Giesl, J., Arts, T. and Ohlebusch, E., Modular Termination Proofs for Rewriting Using Dependency Pairs Diaz-Toca, G. M. and Gonzalez-Vega, L., Barnett s Theorems About the Greatest Common Divisor of Several Univariate Polynomials Through Bezout-like Matrices Chu, H. and Kang, M.-C., Quartic Fields and Radical Extensions.. 83 Number 2 Kaplan, S. and Teicher, M., Identifying Half-Twists Using Randomized Algorithm Methods Bouziane, D. and El Kahoui, M., Computation of the Dual of a Plane Projective Curve Dickenstein, A. and Sturmfels, B., Elimination Theory in Codimension Gaál, I., On the Resolution of Resultant Type Equations Collins, G. E., Johnson, J. R. and Krandick, W., Interval Arithmetic in Cylindrical Algebraic Decomposition Number 3 Giesbrecht, M. and Storjohann, A., Computing Rational Forms of Integer Matrices Kida, M., Potential Good Reduction of Elliptic Curves Hausdorf, M., Seiler, W. M. and Steinwandt, R., Involutive Bases in the Weyl Algebra Martin, B., Algorithmic Computation of Flattenings and of Modular Deformations Gebhardt, V., Efficient Collection in Infinite Polycyclic Groups Kemper, G., The Calculation of Radical Ideals in Positive Characteristic 229 Number 4 Special Issue on Integration of Automated Reasoning and Computer Algebra Systems Linton, S. and Sebastiani, R., Editorial: The Integration of Automated Reasoning and Computer Algebra Systems

2 II Contents Armando, A., Rusinowitch, M. and Stratulat, S., Incorporating Decision Procedures in Implicit Induction Davenport, J. H., Equality in Computer Algebra and Beyond Geuvers, H., Pollack, R., Wiedijk, F. and Zwanenburg, J., A Constructive Algebraic Hierarchy in Coq Meier, A., Pollet, M. and Sorge, V., Comparing Approaches to the Exploration of the Domain of Residue Classes Number 5 Shank, R. J. and Wehlau, D. L., Computing Modular Invariants of p-groups Tefera, A., MultInt, a MAPLE Package for Multiple Integration by the WZ Method Cormier, O., Singer, M. F., Trager, B. M. and Ulmer, F., Linear Differential Operators for Polynomial Equations Mosteig, E. and Sweedler, M., Valuations and Filtrations Heuberger, C., Pethő, A. and Tichy, R. F., Thomas Family of Thue Equations Over Imaginary Quadratic Fields Monico, C., Computing the Primary Decomposition of Zero-dimensional Ideals Xia, B. and Yang, L., An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems Number 6 van der Hoeven, J., Relax, but Don t be Too Lazy Aubry, P., Rouillier, F. and Safey El Din, M., Real Solving for Positive Dimensional Systems Püschel, M., Decomposing Monomial Representations of Solvable Groups 561 Seiler, W. M., Taylor and Lyubeznik Resolutions via Gröbner Bases. 597

3 Index to Volume 34 An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems, 461 Algorithmic Computation of Flattenings and of Modular Deformations, 199 Armando, A., Rusinowitch, M. and Stratulat, S., Incorporating Decision Procedures in Implicit Induction, 241 Aubry, P., Rouillier, F. and Safey El Din, M., Real Solving for Positive Dimensional Systems, 543 Barnett s Theorems About the Greatest Common Divisor of Several Univariate Polynomials Through Bezout-like Matrices, 59 Bouziane, D. and El Kahoui, M., Computation of the Dual of a Plane Projective Curve, 105 The Calculation of Radical Ideals in Positive Characteristic, 229 Chu, H. and Kang, M.-C., Quartic Fields and Radical Extensions, 83 Collins, G. E., Johnson, J. R. and Krandick, W., Interval Arithmetic in Cylindrical Algebraic Decomposition, 145 Comparing Approaches to the Exploration of the Domain of Residue Classes, 287 Computation of the Dual of a Plane Projective Curve, 105 Computing Modular Invariants of p-groups, 307 Computing Rational Forms of Integer Matrices, 157 Computing the Primary Decomposition of Zero-dimensional Ideals, 451 A Constructive Algebraic Hierarchy in Coq, 271 Cormier, O., Singer, M. F., Trager, B. M. and Ulmer, F., Linear Differential Operators for Polynomial Equations, 355 Davenport, J. H., Equality in Computer Algebra and Beyond, 259 Decomposing Monomial Representations of Solvable Groups, 561 Diaz-Toca, G. M. and Gonzalez-Vega, L., Barnett s Theorems About the Greatest Common Divisor of Several Univariate Polynomials Through Bezoutlike Matrices, 59 Dickenstein, A. and Sturmfels, B., Elimination Theory in Codimension 2, 119 Editorial: The Integration of Automated Reasoning and Computer Algebra Systems, 239 Efficient Collection in Infinite Polycyclic Groups, 213 Eick, B., Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups, 1 Elimination Theory in Codimension 2, 119 Equality in Computer Algebra and Beyond, 259 Gaál, I., On the Resolution of Resultant Type Equations, 137 Gebhardt, V., Efficient Collection in Infinite Polycyclic Groups, 213

4 IV Index to Volume 34 Geuvers, H., Pollack, R., Wiedijk, F. and Zwanenburg, J., A Constructive Algebraic Hierarchy in Coq, 271 Giesbrecht, M. and Storjohann, A., Computing Rational Forms of Integer Matrices, 157 Giesl, J., Arts, T. and Ohlebusch, E., Modular Termination Proofs for Rewriting Using Dependency Pairs, 21 Hausdorf, M., Seiler, W. M. and Steinwandt, R., Involutive Bases in the Weyl Algebra, 181 Heuberger, C., Pethő, A. and Tichy, R. F., Thomas Family of Thue Equations Over Imaginary Quadratic Fields, 437 Identifying Half-Twists Using Randomized Algorithm Methods, 91 Incorporating Decision Procedures in Implicit Induction, 241 Interval Arithmetic in Cylindrical Algebraic Decomposition, 145 Involutive Bases in the Weyl Algebra, 181 Kaplan, S. and Teicher, M., Identifying Half-Twists Using Randomized Algorithm Methods, 91 Kemper, G., The Calculation of Radical Ideals in Positive Characteristic, 229 Kida, M., Potential Good Reduction of Elliptic Curves, 173 Linear Differential Operators for Polynomial Equations, 355 Linton, S. and Sebastiani, R., Editorial: The Integration of Automated Reasoning and Computer Algebra Systems, 239 Martin, B., Algorithmic Computation of Flattenings and of Modular Deformations, 199 Meier, A., Pollet, M. and Sorge, V., Comparing Approaches to the Exploration of the Domain of Residue Classes, 287 Modular Termination Proofs for Rewriting Using Dependency Pairs, 21 Monico, C., Computing the Primary Decomposition of Zero-dimensional Ideals, 451 Mosteig, E. and Sweedler, M., Valuations and Filtrations, 399 MultInt, a MAPLE Package for Multiple Integration by the WZ Method, 329 On the Resolution of Resultant Type Equations, 137 Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups, 1 Potential Good Reduction of Elliptic Curves, 173 Püschel, M., Decomposing Monomial Representations of Solvable Groups, 561 Quartic Fields and Radical Extensions, 83

5 Index to Volume 34 V Real Solving for Positive Dimensional Systems, 543 Relax, but Don t be Too Lazy, 479 Seiler, W. M., Taylor and Lyubeznik Resolutions via Gröbner Bases, 597 Shank, R. J. and Wehlau, D. L., Computing Modular Invariants of p-groups, 307 Taylor and Lyubeznik Resolutions via Gröbner Bases, 597 Tefera, A., MultInt, a MAPLE Package for Multiple Integration by the WZ Method, 329 Thomas Family of Thue Equations Over Imaginary Quadratic Fields, 437 Valuations and Filtrations, 399 van der Hoeven, J., Relax, but Don t be Too Lazy, 479 Xia, B. and Yang, L., An Algorithm for Isolating the Real Solutions of Semialgebraic Systems, 461

SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic

SPECTRA - a Maple library for solving linear matrix inequalities in exact arithmetic Didier Henrion Simone Naldi Mohab Safey El Din Version 1.0 of November 5, 2016 Abstract This document briefly describes