Qing Li, Zhigang Deng, et al.
IEEE T-MI
The day is coming when information about the propagation of roundoff error in certain types of numerical methods can be determined automatically. This paper investigates the possibility of mechanizing simple Wilkinson-type roundoff analyses. Limitations to the scope of this automation are discussed. © 1974 Springer-Verlag.
Qing Li, Zhigang Deng, et al.
IEEE T-MI
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006
Yun Mao, Hani Jamjoom, et al.
CoNEXT 2006
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007