| 1992 |
|---|
| 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 | EE | 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 |
