Pavel Hrubeš
homepage: | http://www.math.ias.edu/~pahrubes/ |
search externally: | Google Scholar, Springer, CiteSeer, Microsoft Academic Search, Scirus , DBlife |
Lecture:
lecture Observations on Arithmetic Circuits and Proofs as author at Conference honoring the Winners of the Kurt Gödel Research Prize Fellowships 2008 and 2011, 3706 views |