Supporting data-driven mathematics: database and interface generation

MaRDI QIDQ2306445zbMATH OpenFDO

Authors Katja Berčič

Publication date 23 March 2020

Published in Séminaire Lotharingien de Combinatoire (Search for Journal in Brave)

Full work available at URL http://www.mat.univie.ac.at/~slc/wpapers/FPSAC2019//100.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

database frameworkmathematical dataschema declaration

Mathematics Subject Classification ID

Database theory (68P15) Digital mathematics libraries and repositories (68V35)

Recommendations

• Towards a unified mathematical data infrastructure: database and interface generation
• Computable data, mathematics, and digital libraries in Mathematica and Wolfram\(|\)Alpha
• Krextor -- an extensible framework for contributing content math to the web of data
• The importance of databases in mathematics
• scientific article; zbMATH DE number 1497743

Cites work

• A query language for formal mathematical libraries
• DiscreteZOO: towards a fingerprint database of discrete objects
• scientific article; zbMATH DE number 2000105 (Why is no real title available?)

Cited in

(2)

• Towards a unified mathematical data infrastructure: database and interface generation
• scientific article; zbMATH DE number 78582 (Why is no real title available?)

Describes a project that uses

Uses Software

• DiscreteZOO
• QMT

This page was built for publication: Supporting data-driven mathematics: database and interface generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2306445)