Paul Gowland

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003

2 David Lester, Paul Gowland: Using PVS to validate the algorithms of an exact arithmetic. Theor. Comput. Sci. 291(2): 203-218 (2003)

2000

1 EE Paul Gowland, David Lester: A Survey of Exact Arithmetic Implementations. CCA 2000: 30-47

2003
2		David Lester, Paul Gowland: Using PVS to validate the algorithms of an exact arithmetic. Theor. Comput. Sci. 291(2): 203-218 (2003)
2000
1	EE	Paul Gowland, David Lester: A Survey of Exact Arithmetic Implementations. CCA 2000: 30-47

Coauthor Index

1 David Lester [1] [2]