Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
KWARC
kwarc.info
www
Commits
c2a29dea
Commit
c2a29dea
authored
Jun 12, 2020
by
Katja Bercic
Browse files
Update mathdata.md
parent
72e3ebc8
Pipeline
#2297
passed with stage
in 1 minute and 24 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
courses/mathdata.md
View file @
c2a29dea
...
...
@@ -24,6 +24,27 @@ Announcements will be posted on the [KWARC mathematical data mailing list](http:
### Upcoming seminars:
##### The Role of Data in Discrete Mathematics
-
*Time*
: Friday, June 19, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
-
*Location*
: online at Zoom ID: 973 9039 7028
-
*Speaker*
: Gabe Cunningham (FAU)
**Abstract.**
In mathematics, a well-chosen example can help guide our intuition or
illustrate the edge-cases of our definitions.
When studying discrete objects, we can go for quantity over quality and generate
all examples of objects satisfying certain properties and up to a certain size.
How can we actually use this data for doing mathematics?
What are the barriers that prevent us from making better use of data?
In this talk, I will describe the role that data has played in my own research.
I will highlight the data repositories that currently exist in my community,
and I will discuss why I think better tools are needed and why they wouldn't ever be made without MathDataHub.
Finally, I will talk briefly about some work in progress with Katja Berčič and Jukka Kohonen
toward developing some new data sets and a Sage package to help my research community.
### Past seminars:
##### Big Math and the One-Brain Barrier -- The Tetrapod Model of Mathematical Knowledge
-
*Time*
: Friday, June 5, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
...
...
@@ -40,9 +61,6 @@ mathematical knowledge representation and permeates the work of the KWARC group.
The model is relevant to the MathDataHub effort as it will guide the further development
of the MathHub system (MathDataHub is seen as the concretization facet of MathHub).
### Past seminars:
##### MathDataHub - your dataset, but FAIR
-
*Time*
: Friday, May 22, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment