Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • zolekode-master-patch-26857
  • zolekode-master-patch-78201
  • zolekode-master-patch-54259
  • zolekode-master-patch-38209
5 results

mathdata.md

Blame
    • mathdata.md 3.80 KiB 
    layout: course

title: Seminar for mathematical data
instructors:
semesters:
    - SS20

    This seminar grew out of the planned April 2020 bilateral workshop on mathematical data from Ljubljana to an online setting.

    The main goal is to build and interconnect the community of people interested in data generated within mathematical research as well as data related to mathematics in other ways.

    The seminar will aim for a relaxed atmosphere and shorter talks, with plenty of time for discussion.

    • Time: Fridays, 14:00-15:30 (12:00-13:30 UTC)
    • Zoom ID of the seminar will be posted with each announcement.

    Announcements will be posted on the KWARC mathematical data mailing list.

    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)
    • Location: online at Zoom ID: 939 0067 6059
    • Speaker: Michael Kohlhase (FAU)

    Abstract. In this talk I will present an information model for doing mathematics, which posits that humans very efficiently integrate five aspects of mathematics: inference, computation, concretization, narration, and organization. The challenge for mathematical software systems is to integrate these five aspects in the same way humans do.

    The Tetrapod model has cristallized out of almost two decades of work on 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).

    MathDataHub - your dataset, but FAIR
    • 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

    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. In this talk I will give a basic introduction and overview of the system.

    An overview of mathematical data (Welcome to the seminar)
    • Time: Friday, May 8, 2020 from 14:00 to 15:30 (Central European Summer Time, UTC+2)
    • Location: online at Zoom ID: 995-5145-1656
    • Speaker: Katja Berčič (FAU)

    Abstract. I will present some of the topics that are relevant for data in mathematics: the state of the art, technical and theoretical issues that arise, as well as broader trends in scientific research data.