Emil Jeřábek

activity

20112023

most citedInteger factoring and modular square roots

35 citations · 115 across the 15 of their papers we have counts for

collaborators

Showing 2020 · cs.LOShow all

2 papers · 2 filters

cs.LO2020

Iterated multiplication in $V T C^{0}$

Emil Jeřábek

We show that $V T C^{0}$ , the basic theory of bounded arithmetic corresponding to the complexity class $TC^{0}$ , proves the $I M U L$ axiom expressing the totality of iterated mult…

cs.LO2020

On the proof complexity of logics of bounded branching

Emil Jeřábek

We investigate the proof complexity of extended Frege (EF) systems for basic transitive modal logics (K4, S4, GL, ...) augmented with the bounded branching axioms $BB_{k}$ .…

Iterated multiplication in VTC0

On the proof complexity of logics of bounded branching

Iterated multiplication in $V T C^{0}$