Samuel Arturo Figueroa del Cid
Ph.D. New York University 2000
Dissertation:
A Rigorous Framework for Fully Supporting the IEEE Standard for Floating-Point Arithmetic in High-Level Programming Languages
Advisor: Robert B. K. Dewar
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 69431 for the advisor ID.