Computer-assisted mathematics
This is the GitHub repository for the Proseminar on computer-assisted mathematics held at the University of Heidelberg in Summer Semester 2023.
matematiflo/CompAssistedMath2023
GitHub repository for the Proseminar on Computer-assisted mathematics held at the University of Heidelberg in Summer Semester 2023.
Jupyter Notebook