Portal

From MaRDI portal
Portal


MaRDI Services

MaRDI offers a wide range of services:


MaRDI Portal

Web application (stable version)

The MaRDI Portal serves as the primary access point and query interface to the MaRDI knowledge graph, facilitating the exploration and utilisation of open mathematical research data. It offers a robust platform for researchers to access a wide array of mathematical content. The portal enhances research data accessibility by providing tools to query and interact with the items of the knowledge graph, such as publications,datasets, software, and mathematical formulae. Through this interface, the MaRDI Portal significantly advances the efficiency and effectiveness of mathematical research methodologies.

Maintained by: TA5

MaRDI Packaging System

Tool/Application (beta version)

MaPS helps researchers create and publish software runtimes, as well as deploy and run software inside published runtimes.

Maintained by: TA1

MaRDI Knowledge Graph

Database (stable version)

Serving the global mathematical community, the MaRDI Knowl-edge Graph is a comprehensive resource containing over 5 million items and 500 million relationships among open mathematical research data. This graph integrates essential data from a diverse array of data sources, including DLMF, CRAN, PolyDB, swMATH, zb-MATH Open, arXiv, and OpenML. It is accessible through an API and the MaRDI portal and supports the mathematical research community by offering comprehensive insights and facilitating cross-referencing among datasets, publications, and research outputs

Maintained by: TA5

MaRDMO

Tool/Application (stable version)

MaRDMO is a plugin designed to streamline the documentation of workflows. Primarily utilized for Model-Simulation-Optimization workflows in the numerical domain, MaRDMO also exhibits versatility in accommodating workflows from other domains such as algebra. Integrated within the Research Data Management Organiser (RDMO), it offers a structured questionnaire guiding researchers through the documentation process.

Maintained by: TA4

MaRDI Help Desk

Outreach | Support/Consulting (stable version)

The MaRDI Help Desk is your first entry point to MaRDI services, support, and training. Mathematical data consultant Christiane Görgen can help you find out how to handle your research data in practice, what to write in a funding application about it, or how to connect to existing infrastructure and projects. She currently prepares training material for these topics, knows the consortium inside out, and can direct very topic-specific inquiries to the appropriate experts. Dissemination coordinator Tabea Bacher supports the initiative's outreach, community integration, and workshop implementation. She can help with organizational matters, and she is busy building bridges between MaRDI and the library communities.

Maintained by: TA6

MaRDI Open Interfaces

Tool/Application (beta version)

Software that connects different numerical packages together. Users can invoke numerical solvers written in one programming language from another one. Besides that, implementations for the same numerical problem are accessed via a generic interface to avoid code modifications when switching implementations.

Maintained by: TA2

mlr3

Tool/Application (stable version)

mlr3 is an open-source machine learning framework in R that provides a unified interface for training, evaluating, and benchmarking machine learning models with extensible support for various algorithms and workflows.

Maintained by: TA3

MathAlgoDB Knowledge Graph for Scientific Computing

Tool/Application (stable version)

Algorithms are the main building blocks of scientific computing. MathAlgoDB is a knowledge graph with an underlying ontology that allows to systematically search algorithms solving problems, publications documenting them, software implementing and benchmarks testing them. The knowledge graph is accessible via a user-friendly interface that allows adding and editing available data.

Maintained by: TA2

MaRDIFlow

Tool/Application (beta version)

This computational framework abstracts multi-layered components from FAIR computational experiments through an input/output pipeline. By incorporating them into redundant descriptions, we describe arbitrary levels of abstraction ranging from mere I/O data to mathematical models. Using this working prototype, users can execute example cases through a user-friendly command-line interface, enabling interaction with the framework's features.

Maintained by: TA2

MediaWiki Math Search Extension

Tool/Application (No status available.)

The MaRDI portal team adjusted the extension for semantic formula search in the knowledge graph. The extension is used by several wikis dealing with mathematical formulae.

Maintained by: TA5


About Us

Welcome to the MaRDI Portal of the NFDI.

Welcome to the MaRDI Portal — your gateway to open mathematical research data. Access our comprehensive MaRDI knowledge graph integrating data from sources like DLMF, CRAN, PolyDB, swMATH (partially), zbMATH (partially). Whether you are a researcher, a student, or simply someone passionate about mathematics, the MaRDI Portal is here to support your exploration, learning, and discovery with resources tailored to diverse needs and interests.

We embrace the open-source philosophy — our source code repositories and detailed technical documentation are freely accessible. Or, maybe you want to read about our personas - some fictional characters that embody the distinct goals, motivations, and challenges of our users. If you have further questions or recommendations, you can find ways to contact us here.


MaRDI Task Areas

The MaRDI project is organized into the following task areas:



Examples



Paper of the day

Discover today's highlight:

Model-based clustering of multiple networks with a hierarchical algorithm

Summary:
This paper introduces a hierarchical algorithm for clustering multiple networks, even when these networks vary in size and do not share the same vertices. The method uses a statistical model-based approach, leveraging stochastic block models (SBMs) to group networks with similar topological structures. Clustering is achieved by maximizing the integrated classification likelihood (ICL) criterion, with an automated selection of the optimal number of clusters. A novel technique is presented to address label-switching issues in SBMs by comparing graphons, enabling accurate aggregation of clusters. The method is evaluated on synthetic data and applied to ecological food web networks, demonstrating its efficiency, interpretability, and robustness compared to existing graph clustering approaches.

Easy summary:
This paper explains a way to group networks, like maps of connections between people or animals, based on how their structure is similar. It uses a smart math-based method called stochastic block models (SBMs) to figure out these groups automatically. The process builds a tree-like diagram (dendrogram) to show how the networks are connected and picks the best number of groups without guessing. A special trick compares parts of the networks to make sure the grouping is accurate, even if the networks are labeled differently. This method was tested on fake data and real examples, like food chains in nature, and worked better than older techniques.

Read more about it on the MaRDI portal: https://portal.mardi4nfdi.de/wiki/Publication:57414

Read more about it on arXiv: https://doi.org/10.1007/S11222-023-10329-W

(Hint: The summaries are AI generated and might contain errors.)




Triples
Humans
swMATH Items
zbMath Open Articles
arXiv Preprints
OpenML Datasets
Services



More Statistics

Triples

634653806

zbMATH Open articles

4867848

humans

1270340

zbMATH Open authors

1204126

arXiv

757214

arXiv with summaries

7

Wikidata items

511142

swMATH

42045

CRAN packages

21256

DLMF

771

Datasets

5496

Theorems

1006

PolyDB collections

21