Remarks on the complexity of roundoff analysis
- W. Miller
- 1974
- Computing
Publications
3 results for Webb Miller
Toward Abstract Numerical Analysis
- Webb Miller
- 1973
- Journal of the ACM
Toward mechanical verification of properties of roundoff error propagation
- Webb Miller
- 1973
- STOC 1973