Math & Computer Study Group

This SG aims to build a cross-disciplinary community where researchers in mathematical sciences can share research, computational tools, and open-source software. It promotes collaboration through seminars, coding sessions, and partnerships with institutions like IMI, focusing on computer-assisted mathematics including simulation, visualization, formal proof, and machine learning applications.

Objectives

We aim to create a space where:

Researchers in mathematical science can share information on their research and computational tools relevant to it.
Computer-assisted mathematics and hypothesis testing can be discussed for building a cross-disciplinary community.
Mathematical software and open-source packages can be prototyped and shared.
Collaboration with industrial partners is facilitated by potential support from IMI, Kyushu University.

Typical examples of “Computer-assisted Math” include large-scale computation, computational experiments, visualization, simulation, applications of machine learning, formal proof, and other related techniques.

Each spring and autumn, we will organize seminars with invited researchers, and conduct coding sessions where we write code together, followed by short presentations on what each person worked on.

Facilitators:: Ryoko Tomiyasu (RiKEN iTHEMS/Kyushu University) – Contact: ryoko.tomiyasu@riken.jp; Taketo Sano (RIKEN iTHEMS) – Contact: taketo.sano@riken.jp