35:40 duration 35 minutes 40 seconds
Elementary analytic functions in VTC0 - Emil…
Elementary analytic functions in VTC0 - Emil Jerabek
Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Elementary analytic functions in VTC0 by Emil Jerabek, Czech Academy of Sciences