Skip to content
Snippets Groups Projects
Commit e3b631a7 authored by Tom Wiesing's avatar Tom Wiesing
Browse files

Update mathdata.md

parent eeca9a74
Branches
No related tags found
No related merge requests found
Pipeline #2244 passed
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
courses/mathdata.md
+ 1
− 0
View file @ e3b631a7
......@@ -29,6 +29,7 @@ Announcements will be posted on the [KWARC mathematical data mailing list](http:
- *Time*: Friday, May 22, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
- *Location*: online at Zoom ID: 998 0468 1137
- *Speaker*: Tom Wiesing (FAU)
- [Slides](https://kwarc.info/people/twiesing/pubs/slides/2020_05_22_mdh.pdf)
**Abstract.** MathDataHub provides dataset hosting and a searchable interface for the hosted dataset.
It was developed by Katja Berčič, Michael Kohlhase, Florian Rabe, and Tom Wiesing.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment