/CompAssistedMath2024

GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.

Primary LanguageJupyter NotebookApache License 2.0Apache-2.0

Stargazers