About ZMC
ZMC(ZEN Mathematics Center) is an international research institute established with the aim of promoting and developing modern mathematics with a focus on arithmetic geometry and the formalization of modern mathematics using computer languages.
OUR SCOPE
Arithmetic geometry is a branch of modern mathematics that aims to elucidate various problems in number theory using algebraic geometry methods, and research is being conducted all over the world. Among them, Japan’s research in the field of so-called “anabelian geometry,” including algorithmic anabelian geometry, is world leading. Generally speaking, progress in modern mathematics is speeding up, not slowing down. It is becoming more difficult for mathematicians to follow new important papers and results. On the other hand, in recent years, research on proof-supporting systems using computer languages has progressed, and in fact, some modern mathematical theories, including theorems in arithmetic geometry, have been “formalized.” The formalization of mathematical theories here means rewriting theorems and their proofs into computer programs. This is an example of synergy between modern mathematics and computer science. The relationship between artificial intelligence (AI) and mathematics is also an important topic in modern society. In light of this situation, we would like to create a new relationship between modern society and mathematics through the activities that promote modern mathematics, such as arithmetic geometry represented by anabelian geometry, and its formalization.We would also like to provide support to young researchers around the world who are aiming to work in modern mathematics and related fields.