Concepedia

Harvey L. Garner

HL

4

Publications

698

Citations

4

H-Index

1958

Active since

Affiliations

University of Michigan(Current)

Harvey L. Garner is an author at University of Michigan specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationComputer EngineeringVerificationCoding TheoryData SecurityAutomated ReasoningSystems Engineering

Publications per year

1958–1966

4

Publications

4

The residue number system

Harvey L. Garner · 1959 · 341 citations

Residue Code, Real Data Type, Engineering +9

The Residue Number System

Harvey L. Garner · IEEE Transactions on Electronic Computers · 1959 · 270 citations

Residue Code, Engineering, Computational Number Theory +7

Error Codes for Arithmetic Operations

Harvey L. Garner · IEEE Transactions on Electronic Computers · 1966 · 54 citations

Mathematical Programming, Systematic Code, Engineering +11

Generalized Parity Checking

Harvey L. Garner · IEEE Transactions on Electronic Computers · 1958 · 33 citations

Program Checking, Engineering, Computational Number Theory +12

Rows per page

1–4 of 4