Jeremy Johnson

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 2

Top Topics

Fourier Transform

Top Venues

Publications

Patrick Brinich, Jeremy Johnson
Generating Formally Verified Quantum Fourier Transform Algorithms. CICM (2024)
Bruce W. Char, Jeremy Johnson, Steve Earth
Moving forward with LogicWriter Actual, A Web App for Early Undergraduate Writing with Mathematical Logic. SIGCSE (2) (2024)
Bruce W. Char, Jeremy Johnson, David Saunders, Andrew P. Wack
Some Experiments with Parallel Bignum Arithmetic. PASCO (1994)