Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Algebra and Number Theory
Reference25 articles.
1. Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1–2), 3–21 (2008)
2. Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalem Polynomideal (An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal). Ph.D. thesis, Mathematical Institute, University of Innsbruck, Austria, 1965. English translation published in the J. Symb. Comput. 475–511 (2006)
3. Buchberger, B.: An algorithmic criterion for the solvability of a system of algebraic equations. Aequ. Math. 4(3), 374–383 (1970). English translation published in Gröbner Bases and Applications, London Mathematical Society Lecture Note Series 251 (1998)
4. Caboara, M.: A dynamic algorithm for Gröbner basis computation. In: ISSAC ’93, pp. 275–283. ACM Press (1993)
5. Caboara, M., Perry, J.: Reducing the size and number of linear programs in a dynamic Gröbner basis algorithm. Appl. Algebra Eng. Commun. Comput. bf 25(1), 99–117 (2014)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献