default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 34, 2002
Volume 34, Number 1, July 2002
- Bettina Eick:
Orbit-stabilizer Problems and Computing Normalizers for Polycyclic Groups. 1-19 - Jürgen Giesl
, Thomas Arts, Enno Ohlebusch:
Modular Termination Proofs for Rewriting Using Dependency Pairs. 21-58 - Gema M. Diaz-Toca, Laureano González-Vega:
Barnett's Theorems About the Greatest Common Divisor of Several Univariate Polynomials Through Bezout-like Matrices. 59-81 - Huah Chu, Ming-Chang Kang:
Quartic Fields and Radical Extensions. 83-89
Volume 34, Number 2, August 2002
- Shmuel Kaplan, Mina Teicher:
Identifying Half-Twists Using Randomized Algorithm Methods. 91-103 - Driss Bouziane, M'hammed El Kahoui:
Computation of the Dual of a Plane Projective Curve. 105-117 - Alicia Dickenstein, Bernd Sturmfels:
Elimination Theory in Codimension 2. 119-135 - István Gaál:
On the Resolution of Resultant Type Equations. 137-144 - George E. Collins, Jeremy R. Johnson, Werner Krandick:
Interval Arithmetic in Cylindrical Algebraic Decomposition. 145-157
Volume 34, Number 3, September 2002
- Mark Giesbrecht, Arne Storjohann:
Computing Rational Forms of Integer Matrices. 157-172 - Masanari Kida:
Potential Good Reduction of Elliptic Curves. 173-180 - Marcus Hausdorf, Werner M. Seiler, Rainer Steinwandt:
Involutive Bases in the Weyl Algebra. 181-198 - Bernd Martin:
Algorithmic Computation of Flattenings and of Modular Deformations. 199-212 - Volker Gebhardt:
Efficient Collection in Infinite Polycyclic Groups. 213-228 - Gregor Kemper:
The Calculation of Radical Ideals in Positive Characteristic. 229-238
Volume 34, Number 4, October 2002
- Steve Linton, Roberto Sebastiani:
Editorial: The Integration of Automated Reasoning and Computer Algebra Systems. 239 - Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat:
Incorporating Decision Procedures in Implicit Induction. 241-258 - James H. Davenport:
Equality in Computer Algebra and Beyond. 259-270 - Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg:
A Constructive Algebraic Hierarchy in Coq. 271-286 - Andreas Meier, Martin Pollet, Volker Sorge:
Comparing Approaches to the Exploration of the Domain of Residue Classes. 287-306
Volume 34, Number 5, November 2002
- R. James Shank, David L. Wehlau:
Computing Modular Invariants of p-groups. 307-327 - Akalu Tefera:
MultInt, a MAPLE Package for Multiple Integration by the WZ Method. 329-353 - Olivier Cormier, Michael F. Singer, Barry M. Trager, Felix Ulmer:
Linear Differential Operators for Polynomial Equations. 355-398 - Edward Mosteig, Moss Sweedler:
Valuations and Filtrations. 399-435 - Clemens Heuberger, Attila Pethö, Robert F. Tichy:
Thomas' Family of Thue Equations Over Imaginary Quadratic Fields. 437-449 - Chris Monico:
Computing the Primary Decomposition of Zero-dimensional Ideals. 451-459 - Bican Xia, Lu Yang:
An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems. 461-477
Volume 34, Number 6, December 2002
- Joris van der Hoeven:
Relax, but Don't be Too Lazy. 479-542 - Philippe Aubry, Fabrice Rouillier, Mohab Safey El Din:
Real Solving for Positive Dimensional Systems. 543-560 - Markus Püschel:
Decomposing Monomial Representations of Solvable Groups. 561-596 - Werner M. Seiler:
Taylor and Lyubeznik Resolutions via Gröbner Bases. 597-608
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
