Doron Zeilberger, Rutgers University
Rutgers Experimental Math Seminar, Sep. 6, 2018
Abstract: We use experimental mathematics, and Wilf-Zeilberger algorithmic proof theory, to compute probabilities and duration of bitcoin "double-spend" attacks. [Joint work with Evangelos Georgiadis].