Jesse Bingham

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 2

Top Topics

Connectionist Models

Top Venues

IEEE Trans. Computers

Publications

Warren E. Ferguson, Jesse Bingham, Levent Erkök, John R. Harrison, Joe Leslie-Hurd
Digit Serial Methods with Applications to Division and Square Root. IEEE Trans. Computers 67 (3) (2018)
Warren E. Ferguson, Jesse Bingham, Levent Erkök, John R. Harrison, Joe Leslie-Hurd
Digit Serial Methods with Applications to Division and Square Root (with mechanically checked correctness proofs). CoRR (2017)
Jesse Bingham
Universal Boolean Functional Vectors. FMCAD (2015)
Jesse Bingham, Joe Leslie-Hurd
Verifying Relative Error Bounds Using Symbolic Simulation. CAV (2014)
Jesse Bingham
Formalizing a Proof that e is Transcendental. J. Formaliz. Reason. 4 (1) (2011)