论文信息 - Buchberger Algorithm and Integer Programming - 字舞流文

Buchberger Algorithm and Integer Programming

Carlo Traverso | Pasqualina Conti | Carlo Traverso | C. Traverso | P. Conti

[1] D. A. Spear. A constructive approach to commutative ring theory , 1977 .

[2] Lorenzo Robbiano,et al. Term Orderings on the Polynominal Ring , 1985, European Conference on Computer Algebra.

[3] Carlo Traverso,et al. “One sugar cube, please” or selection strategies in the Buchberger algorithm , 1991, ISSAC '91.

[4] David Shannon,et al. Using Gröbner Bases to Determine Algebra Membership Split Surjective Algebra Homomorphisms Determine Birational Equivalence , 1988, J. Symb. Comput..

[5] Carlo Traverso,et al. Experimenting the Gröbner basis algorithm with the A1PI system , 1989, ISSAC '89.

[6] Loïc Pottier. Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms , 1991, RTA.