お知らせ

Structure Computer を公開しました。離散力学系の構造の問いに、独立に検査できる証明書つきで答えます。