 | 1992 |
| 6 |  | Keith O. Geddes,
Stephen R. Czapor,
George Labahn:
Algorithms for computer algebra.
Kluwer 1992: I-XVIII, 1-585 |
| 5 |  | J. E. F. Guimaraes,
G. R. Heppler,
Stephen R. Czapor:
A Method for Simulataneous Search for Refutations and Models by Equational Constraint Solving.
J. Symb. Comput. 13(6): 643-676 (1992) |
| 1991 |
| 4 |  | Stephen R. Czapor:
A Heuristic Selection Strategy for Lexicographic Gröbner Bases?
ISSAC 1991: 39-48 |
| 1989 |
| 3 |  | Stephen R. Czapor:
Solving Algebraic Equations: Combining Buchberger's Algorithm with Multivariate Factorization.
J. Symb. Comput. 7(1): 49-53 (1989) |
| 1987 |
| 2 |  | Stephen R. Czapor:
Solving algebraic equations via Buchberger's algorithm.
EUROCAL 1987: 260-269 |
| 1984 |
| 1 |  | Stephen R. Czapor,
Keith O. Geddes:
A Comparison of Algorithms for the Symbolic Computation of Padé Approximants.
EUROSAM 1984: 248-259 |