1 paper · 1 filter
Tong Cheng, Zhihan Gao, Yuxin Ma +2
Mathematicians like Markov and Bishop made an effort to develop constructive mathematics and extended many theorems in classical mathematical analysis. Heine Borel theorem tells us…