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

Feb. 21, 2019
Workshop, Software in Mathematics Demonstration Track in Hakata Workshop 2019.
Feb. 23, 2017
Workshop, Software in Mathematics Demonstration Track in Hakata Workshop 2017.
Feb. 15, 2015
Workshop, Software in Mathematics Demonstration Track in Hakata Workshop 2015.
Nov. 15, 2014
Workshop, Theorem proving and provers for reliable theory and implementations.
June 10, 2014
IMI Workshop on Optimization in the Real World − Toward solving real world optimization problems − (October 14−15, 2014).
April 8, 2014
English version is now available.