Citation: M. Kalkbrener, A GENERALIZED EUCLIDEAN ALGORITHM FOR GEOMETRY THEOREM-PROVING, Annals of mathematics and artificial intelligence, 13(1-2), 1995, pp. 73-95
Citation: M. Kalkbrener et al., LOW DEGREE SOLUTIONS TO LINEAR-EQUATIONS WITH K[X] COEFFICIENTS, Journal of symbolic computation, 16(1), 1993, pp. 75-81
Citation: M. Kalkbrener, A GENERALIZED EUCLIDEAN ALGORITHM FOR COMPUTING TRIANGULAR REPRESENTATIONS OF ALGEBRAIC-VARIETIES, Journal of symbolic computation, 15(2), 1993, pp. 143-167