1 citations · 1 across the 4 of their papers we have counts for
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…