Automated mathematics: integrating proofs, algorithms and data by 
Prof. Dr. Florian Rabe on
Prof. Dr. Florian Rabe 24 Oct 2022
in Announcements
Florian Rabe will co-organize a Dagstuhl Seminar on automated mathematics in October 2023.