Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. B. Buchberger, Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems, Aequationes mathematicea, Vol. 4/3, 374–383, 1970
2. B. Buchberger, A Theoretical Basis for the Reduction of Polynomials to Canonical Forms, ACM SIGSAM Bulletin 39, 19–29, August 1976
3. B. Buchberger, Some Properties of Gröbner-Bases for Polynomial Ideals, ACM SIGSAM Bulletin 40, 19–24, November 1976
4. R. Loos, Toward a Formal Implementation of Computer Algebra, Proceedings of EUROSAM 1974, ACM SIGSAM Bulletin 8, 9–16, August 1974
5. M. Lauer, Canonical Representatives for Residue Classes of a Polynomial Ideal, Proceedings of ACM SIGSAM 1976, 339–345
Cited by
103 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献