He is known for Bolzano's theorem, and also jointly with Karl Weierstrass developed the Bolzano-Weierstrass theorem.

This article is a stub. You can help Wikipedia by fixing it.