1. Bayer, D. and D. Mumford. What can be computed in algebraic geometry? In D. Eisenbud et al., editors, Computational algebraic geometry and commutative algebra. Proceedings of a conference held at Cortona, Italy, June 17–21, 1991, pages 1–48. Cambridge University Press, Cambridge, 1993
2. Bayer, D. and M. Stillman. A theorem on refining division orders by the reverse lexicographic order. Duke Math. J., 55:321–328, 1987.
3. Beilinson, A. Coherent sheaves on ℙn and problems of linear algebra. Functional Anal. Appl., 12:215–216, 1978.
4. Bernšteῐn, I. N., I. M. Gel’fand, and S. I. Gel’fand. Algebraic vector bundles on ℙ
n
and problems of linear algebra. Functional Anal. Appl, 12:212–214, 1978.
5. Bodnar, G. and J. Schicho. Automated resolution of singularities for hypersurfaces. J. Sym. Comp., 30:401–428, 2000.