Travelled to:2 × USA
Collaborated with:∅
Talks about:roundoff (1) properti (1) complex (1) toward (1) stabil (1) propag (1) mechan (1) comput (1) verif (1) numer (1)
Person: Webb Miller
DBLP: Miller:Webb
Contributed to:
19741973Wrote 2 papers:
- STOC-1974-Miller #complexity
- Computational Complexity and Numerical Stability (WM), pp. 317–322.
- STOC-1973-Miller #fault #towards #verification
- Toward Mechanical Verification of Properties of Roundoff Error Propagation (WM), pp. 50–58.