GitHub repository for the seminar on Computer-assisted mathematics
held at the University of Heidelberg during the Summer Semester of 2024.
matematiflo / compassistedmath2024 Goto Github PK
View Code? Open in Web Editor NEWGitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.
Home Page: https://matematiflo.github.io/SoSe_2024/CompAssistedMath2024.html
License: Apache License 2.0