3 research outputs found
Bravo MaRDI: A Wikibase Powered Knowledge Graph on Mathematics
Mathematical world knowledge is a fundamental component of Wikidata. However,
to date, no expertly curated knowledge graph has focused specifically on
contemporary mathematics. Addressing this gap, the Mathematical Research Data
Initiative (MaRDI) has developed a comprehensive knowledge graph that links
multimodal research data in mathematics. This encompasses traditional research
data items like datasets, software, and publications and includes semantically
advanced objects such as mathematical formulas and hypotheses. This paper
details the abilities of the MaRDI knowledge graph, which is based on Wikibase,
leading up to its inaugural public release, codenamed Bravo, available on
https://portal.mardi4nfdi.de.Comment: Accepted at Wikidata'23: Wikidata workshop at ISWC 202
The Lean mathematical library
This paper describes mathlib, a community-driven effort to build a unified
library of mathematics formalized in the Lean proof assistant. Among proof
assistant libraries, it is distinguished by its dependently typed foundations,
focus on classical mathematics, extensive hierarchy of structures, use of
large- and small-scale automation, and distributed organization. We explain the
architecture and design decisions of the library and the social organization
that has led us here