Sturmfels, Bernd2007-08-162007-08-161988https://hdl.handle.net/11299/4821An Algorithmic Proof of The Quillen-Suslin Theorem