共 50 条
- [5] Lusin approximation for horizontal curves in step 2 Carnot groups [J]. Calculus of Variations and Partial Differential Equations, 2016, 55
- [6] Feebly compact paratopological groups and real-valued functions [J]. MONATSHEFTE FUR MATHEMATIK, 2012, 168 (3-4): : 579 - 597
- [7] Feebly compact paratopological groups and real-valued functions [J]. Monatshefte für Mathematik, 2012, 168 : 579 - 597
- [10] MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions [J]. Journal of Automated Reasoning, 2010, 44 : 175 - 205