Computer Assisted Theorem Proving and Applications｜2024a024 – 産業数学の先進的・基礎的共同研究拠点　九州大学IMI | Joint Research Center for Advanced and Fundamental Mathematics-for-Industry

Computer Assisted Theorem Proving and Applications｜2024a024

Overview Program https://www.math.nagoya-u.ac.jp/~garrigue/tpp2024 November 25, 2024.【Open】 12:50-17:55 TBA September 26, 2024.【Open】 9:00-16:40 TBA Registration Advance … 続きを読む Computer Assisted Theorem Proving and Applications｜2024a024