Japanese version is here.

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 software. The software will be internationally released in order to contribute to advanced researches in industries and various scientific areas including mathematics itself.

What's New