( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format.

, , , , , и . IEEE Trans. Computers, 58 (2): 148-162 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Dave Harrison

David Harrison

Harrison Kia

Elizabeth Harrison

Alan Harrison

 

Другие публикации лиц с тем же именем

Floating-Point Verification Using Theorem Proving.. SFM, том 3965 из Lecture Notes in Computer Science, стр. 211-242. Springer, (2006)Verifying the Accuracy of Polynomial Approximations in HOL.. TPHOLs, том 1275 из Lecture Notes in Computer Science, стр. 137-152. Springer, (1997)Floating Point Verification in HOL Light: The Exponential Function.. AMAST, том 1349 из Lecture Notes in Computer Science, стр. 246-260. Springer, (1997)Theorem proving with the real numbers.. CPHC/BCS distinguished dissertations Springer, (1998)British Library, EThOS.A HOL Theory of Euclidean Space.. TPHOLs, том 3603 из Lecture Notes in Computer Science, стр. 114-129. Springer, (2005)A Software Implementation of the IEEE 754R Decimal Floating-Point Arithmetic Using the Binary Encoding Format., , , , , и . IEEE Trans. Computers, 58 (2): 148-162 (2009)The HOL Light Theory of Euclidean Space.. J. Autom. Reason., 50 (2): 173-190 (2013)A Skeptic's Approach to Combining HOL and Maple., и . J. Autom. Reason., 21 (3): 279-294 (1998)Some new results on decidability for elementary algebra and geometry., , и . Ann. Pure Appl. Log., 163 (12): 1765-1802 (2012)Re-envisioning instructional technology research in higher education environments: a content analysis of a grant program., , , и . J. Comput. High. Educ., 24 (3): 164-181 (2012)