proper extension
英 [ˈprɔpə iksˈtenʃən] 美 [ˈprɑpɚ ɪkˈstɛnʃən]

释义

真扩张；

权威例句

Extension of proper holomorphic mappings past the boundary
Nonlinear systems with unbounded controls and state constraints: a problem of proper extension
About the extension problem for proper maps
Holomorphic extension of proper meromorphic mappings.
CR mappings of finite multiplicity and extension of proper holomorphic mappings
A “constructive” proper extension of ramified type theory (the logic of Principia mathematica, second edition, Appendix B)
Research on Proper Excavation Steps in Tunnel Extension
On proper holomorphic mappings: Smooth extension to the boundary
Extension of Proper μ holomorphic Mappings
Extension of Proper μ—holomorphic Mappings