爾諾等很多聞名數(shù)學(xué)家都受他開導(dǎo)或以他的研究為出發(fā)點之一 ，克羅開除得到一系列主要結(jié)果。世紀(jì)年月前期，克羅開除吳文俊開創(chuàng)了極新的數(shù)學(xué)機(jī)械化范疇