A. Maletzky. Verifying Buchberger's Algorithm in Reduction Rings
In Proceedings of the 4th International Seminar on Program Verification, Automated Debugging, and Symbolic Computation (PAS'2015, Beijing, China, October 21-23). arXiv:1604.08736 [cs.SC]
1604.08736v1.pdf
—
PDF document,
156 KB (160275 bytes)