Hideki Sakurai

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 1

Top Topics

Connected Components

Top Venues

Formaliz. Math.

Publications

Tetsu Kachi, Tetsuo Narita, Hideki Sakurai, Jun Suda
Process Technologies for GaN High Voltage Devices. DRC (2019)
Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama
Banach's Continuous Inverse Theorem and Closed Graph Theorem. Formaliz. Math. 20 (4) (2012)
Hideki Sakurai, Hisayoshi Kunimune, Yasunari Shidama
Open Mapping Theorem. Formaliz. Math. 16 (1-4) (2008)
Hideki Sakurai, Hisayoshi Kunimune, Yasunari Shidama
Uniform Boundedness Principle. Formaliz. Math. 16 (1-4) (2008)