Paul Gowland

Publication Activity (10 Years)

Years Active: 2000-2003
Publications (10 Years): 0

Publications

David R. Lester, Paul Gowland
Using PVS to validate the algorithms of an exact arithmetic. Theor. Comput. Sci. 291 (2) (2003)
Paul Gowland, David R. Lester
A Survey of Exact Arithmetic Implementations. CCA (2000)