Paul Gowland

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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 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		Paul Gowland, David Lester: A Survey of Exact Arithmetic Implementations. CCA 2000: 30-47

Coauthor Index

1 David Lester [1] [2]