MINISYMPOSIUM "READY FOR MARDI, AM I A DIGITAL MATHEMATICIAN?"

Page created by Cory Cole
 
CONTINUE READING
MINISYMPOSIUM "READY FOR MARDI, AM I A DIGITAL MATHEMATICIAN?"
- The

                                                                          within the NFDI

                                                                                           @mardi4nfdi

                          Minisymposium „Ready for MaRDI,
                            am I a digital mathematician?“

Thomas Koprucki and Karsten Tabelow
WIAS, Weierstrass Institute for Applied Analysis and Stochastics

September 27th, 2021 DMV-ÖMG Annual Meeting 2021             Uni Passau   (Online-Event)
MINISYMPOSIUM "READY FOR MARDI, AM I A DIGITAL MATHEMATICIAN?"
Mathematical Research and Its Data

* Images: WIAS; K. Jansen and E. Katrukha, Kapitein Lab, Molecular and Cellular Biophysics, Utrecht University, NL (STED)   2
MINISYMPOSIUM "READY FOR MARDI, AM I A DIGITAL MATHEMATICIAN?"
Mathematical Research Data: Factual Material to Validate Research Findings

  Confirmability

  Kepler’s conjecture:
  The art of packing oranges

   Proof by T. Hales                                     Formal Verification       Verified Proof

  Ann. Math. 162 (2005),                                  Based on computer code   Not accessible to classical
  1065–1185                                                                        peer-review

* images: Orange Stack (Adobe Stock) and Weierstrass Institute                                 3
MINISYMPOSIUM "READY FOR MARDI, AM I A DIGITAL MATHEMATICIAN?"
Mathematical Research Data: Factual Material to Validate Research Findings

  Confirmability

  Kepler’s conjecture:
  The art of packing oranges

   Two important                             Face centered cubic lattice   Hexagonal closed package
   Crystallographic
   Lattices

  Optimal solutions

* images: Weierstrass Institute, TU Berlin                                            4
MINISYMPOSIUM "READY FOR MARDI, AM I A DIGITAL MATHEMATICIAN?"
Mathematical Models

  Optimal solutions

* Images: MPI HLL, Volkswagen AG, Cells in Motion WWU Münster   5
MINISYMPOSIUM "READY FOR MARDI, AM I A DIGITAL MATHEMATICIAN?"
Modeling and Computing Workflow

* Image: Babaroga – stock.adobe.com   6
MINISYMPOSIUM "READY FOR MARDI, AM I A DIGITAL MATHEMATICIAN?"
Modeling and Computing Workflow

* Image: Babaroga – stock.adobe.com   7
MINISYMPOSIUM "READY FOR MARDI, AM I A DIGITAL MATHEMATICIAN?"
Mathematical Research Data

* Image: WIAS                8
MINISYMPOSIUM "READY FOR MARDI, AM I A DIGITAL MATHEMATICIAN?"
Supporting Mathematical Research by a Research Data Infrastructure

                                                                     9
MINISYMPOSIUM "READY FOR MARDI, AM I A DIGITAL MATHEMATICIAN?"
National Research Data Infrastructure (NFDI)

                                                                   FAIR research data infrastructure
                                                                   30 consortia, all disciplines
                                                                   3 calls (`19,`20,`21)

                                                        FhG IUK
                                                        FhG IUK

                                                             FU Berlin

                                                             TU München           Prof. Dr. York Sure-Vetter
                                                             LMU München          Director

                                                             TU Braunschweig
                                                             FAU Erlangen-
                                                             Nürnberg

https://www.nfdi.de    https://www.dfg.de/foerderung/programme/nfdi/                10
- Anzahl der bewilligten Anträge nach primärem Fachgebiet -
    NFDI consortia

             Runde 1            startet                                      Runde 1 und 2

             1   1              October 2020
                                                                                 1         2
            11% 11%                                                          1
                         1
     2                  11%                                              1
    22%                                                                                                2
                                                                 1
                         2
                        23%
             2                                               1
            22%
                                                                                                           3
                                starting
          Runde 2                                                    3
                                October 2021
                                                                                               2
             1   1                                                                2
       1    10% 10%      1
      10%               10%
     1                     1
    10%                   10%          Geisteswissenschaften                                   Sozial- und Verhaltenswissenschaften
                                       Biologie                                                Medizin
       1                               Chemie                                                  Physik
      10%          3
                  30%                  Mathematik                                              Geowissenschaften
                                       Maschinenbau und Produktionstechnik                     Materialwissenschaft und Werkstofftechnik
                                       Informatik, System- und Elektrotechnik

4   3. NFDI-Konferenz, 08.07.2021               Es werden nur die Fachgebiete genannt in denen auch Anträge bewilligt wurden.

    https://www.dfg.de/foerderung/programme/nfdi/konferenz_2021/index.html                                          11
European Open Science Cloud (EOSC) and GAIA-X
                                          The relationship between the EOSC-Core, EOSC-Exchange, EOSC-Federation and t
                                                            as a subset of the EOSC resources is depicted in figure 1.

    started 2015, launched 2018
    secretariat est. 2020

                                                            Figure 1. High-level diagram of the EOSC depicting the relationship between EOSC-Core, EOSC-Exchange, EOSC-Fede
                                                                                                                        the MVE

                                                            The EAWG also developed an architectural diagram describing a functional overview
                                                            EOSC and has identified concrete frameworks of the EOSC Interoperability Fram
                                                            (EIF) and functions to be included in the MVE, with a focus on the essential func
                                                            the EOSC-Core.

started 2020
                     FAIR-Data-Spaces: 6.3 M€ BMBF funding
                     for cooperation with NFDI (Jun 2021)

 https://eosc-portal.eu                            https://www.data-infrastructure.eu                                          12
National Research Data Infrastructure (NFDI) for FAIR data

               Findable            Accessible           Interoperable    Re-usable

                                        force11.org

                                                                        13
Objectives

* Image: Garry Killian – stock.adobe.com   14
Task Areas

                  Data Culture and Community Integration

                  MaRDI Portal                                            Synergies
                                                                          within NFDI
                  Create and provide Services

   Computer          Scientific         Statistics and     Inter-
   Algebra           Computing          Mach. Learning     disciplinary

    Algorithms

    Mathematical Models

    Workflows

                  Governance

                                                                           15
Task Areas

                   Data Culture and Community Integration       K. Hulek 18:00

                   MaRDI Portal                             O. Teschke 15:00
                                                                                   Synergies
                                                                                   within NFDI
                   Create and provide Services                          P. Scharf 15:30

   Computer           Scientific           Statistics and      Inter-
   Algebra            Computing            Mach. Learning      disciplinary
   M. Horn 12:00      S. Rave 12:30
    Algorithms
                                      C. Lehrenfeld 16:30
    Mathematical Models
                                                             U. Lucke 17:00
    Workflows
                                                                      D. Iglezakis, 17:30

                   Governance

                                                                                     16
MaRDI Layer Architecture for FAIR data

                                         17
Existing MaRDI Services

                          19
Integration of Federated Services into MaRDI Portal

                                                      20
Value-Chain for New Services for Data, Research and Knowledge

                                                                21
Value-Chain for Integration With External Services

                                                     22
MaRDI for Other Disciplines

                              23
Community Integration

* Images: MFO, DMV, EMS, GAMM   24
Engaging the community

                         25
Consortium and Competencies

                              26
An Infrastructure for Mathematics-Driven Research of Tomorrow

                                                                27
An Infrastructure for Mathematics-Driven Research of Tomorrow

We are starting October 2021!                 MaRDI Kick-off Meeting: 2.-4.11.2021

https://www.mardi4nfdi.de            @mardi4nfdi                    28
Towards a Data Culture for Mathematics and Its Users

* Images: WIAS                                         29
You can also read