MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "John Harrison" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

43 documents found, showing 1 through 10. Next 10 →

ATOM

Formalizing basic complex analysis Dedicated to Andrzej Trybulec on the occasion of his 65th birthday
by John Harrison
… birthday John Harrison Intel Corporation, JF1-13 2111 NE 25th Avenue, Hillsboro OR 97124, USA johnh…
Add To MetaCart

Proof Style
by John Harrison — 1997 — University of Cambridge Computer Laboratory
…Proof Style John Harrison University of Cambridge Computer Laboratory New Museums Site Pembroke…
Cited by 13 (3 self) – Add To MetaCart

Formal Verification of Floating Point Trigonometric Functions
by John Harrison — 2000 — Formal Methods in Computer-Aided Design: Third International Conference FMCAD 2000, volume 1954 of Lecture Notes in Computer Science
…Formal verification of floating point trigonometric functions John Harrison Intel Corporation, EY2…
Cited by 12 (3 self) – Add To MetaCart

Floating-point verification using theorem proving
by John Harrison — 2006 — Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, volume 3965 of Lecture Notes in Computer Science
…Floating-Point Verification using Theorem Proving John Harrison Intel Corporation, JF1-13 2111 NE…
Cited by 2 (1 self) – Add To MetaCart

Floating point verification in HOL Light: the exponential function
by John Harrison — 1997 — University of Cambridge Computer Laboratory
…Floating point verification in HOL Light: the exponential function John Harrison University…
Cited by 14 (5 self) – Add To MetaCart

Complex quantifier elimination in HOL
by John Harrison — 2001 — TPHOLs 2001: Supplemental Proceedings
…Complex quantifier elimination in HOL John Harrison Intel Corporation, EY2-03 5200 NE Elam Young…
Cited by 4 (2 self) – Add To MetaCart

Verifying the accuracy of polynomial approximations in HOL
by John Harrison — 1997 — Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs’97
…Verifying the accuracy of polynomial approximations in HOL John Harrison University of Cambridge…
Cited by 9 (6 self) – Add To MetaCart

A Machine-Checked Theory of Floating Point Arithmetic
by John Harrison — 1999
…A machine-checked theory of floating point arithmetic John Harrison Intel Corporation, EY2-03 5200…
Cited by 24 (5 self) – Add To MetaCart

Floating-point verification
by John Harrison — 1995 — International Journal Of Man-Machine Studies
…Floating-Point Verification John Harrison (Intel Corporation, JF1-13, 2111 NE 25th Avenue…
Cited by 2 (0 self) – Add To MetaCart

Formal verification of square root algorithms
by John Harrison — 2003 — Formal Methods in Systems Design
…Formal verification of square root algorithms John Harrison Intel Corporation, JF1-13 2111 NE 25th…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB