Complex Function Differentiability. - Chanapat Pacharapokin; Hiroshi Yamazaki; Yasunari Shidama; Yatsuka Nakamura (Formaliz. Math., 2009)

The Cauchy-Riemann Differential Equations of Complex Functions. - Hiroshi Yamazaki; Yasunari Shidama; Chanapat Pacharapokin; Yatsuka Nakamura (Formaliz. Math., 2009)