Research Divisions

Laboratory of Advanced Software in Mathematics



This laboratory aims to make mathematical theories and theorems which were discovered at the Institute of Mathematics for Industry into algorithms and to implement them as softwares. These softwares will be internationally released in order to contribute to advanced researches in industries and various scientific areas including mathematics itself.

Laboratory of Advanced Software in Mathematics List of Academic Staffs


EI, Shin-Ichiro (Professor) ... Nonlinear Analysis

SHIRAI, Tomoyuki (Professor) (concurrent) ... Probability Theory, Determinantal Point Processes

TAKAGI, Tsuyoshi (Professor) (concurrent) ... Cryptography, Information Security, Computational Number Theory

MIZOGUCHI, Yoshihiro (Associate Professor) ... Software Science, Graph Transformation, Theory of Computing

NINOMIYA, Yoshiyuki (Associate Professor) (concurrent) ... Mathematical Statistics, Biometrics

WAKI, Hayato (Associate Professor) ... Optimization, Mathematical Programming, Continuous Optimization, Semidefinite Programming Problem, Optimization Software

SHIBUTA, Takafumi (Assistant Professor) ... Computational algebra, Commutative algebra, Algebraic geometry