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