Bhubaneswar Mishra

Fields, Clarendon Press, 1996. Computational Real Algebraic Geometry, Bhubaneswar Mishra, Handbook of Discrete and Computational Geometry, CRC Press, 1997

Theorems for Hoare-Like Axiom Systems（1976） 博士導師 羅伯特·李·康斯特勃（英语：Robert Lee Constable） 博士生 艾倫·愛默生 布巴內斯瓦爾·米莎拉（英语：Bhubaneswar Mishra） 大衛·L·迪爾（英语：David L. Dill）