Certified infinite randomness expansion: Difference between revisions

No edit summary
 
Line 146: Line 146:


'''RUVExpansion'''
'''RUVExpansion'''
'''Input''': <math>D</math>, <math>t</math>, <math>N</math>  
'''Input''': <math>D</math>, <math>t</math>, <math>N</math>  


Write
153

edits