{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T10:51:39Z","timestamp":1744195899813,"version":"3.37.3"},"reference-count":31,"publisher":"Walter de Gruyter GmbH","issue":"1","funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["RA-18723-1 OAF"],"award-info":[{"award-number":["RA-18723-1 OAF"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["676541"],"award-info":[{"award-number":["676541"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,2,25]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>In this article, we analyze the state of research data in mathematics. We find that while the mathematical community embraces the notion of open data, the FAIR principles are not yet sufficiently realized. Indeed, we claim that the case of mathematical data is special, since the objects of interest are abstract (all properties can be known) and complex (they have a rich inner structure that must be represented). We present a novel classification of mathematical data and derive an extended set of FAIR requirements, which accomodate the special needs of math datasets. We summarize these as <jats:bold>deep FAIR<\/jats:bold>. Finally, we show a prototypical system infrastructure, which can realize deep FAIRness for one category (tabular data) of mathematical datasets.<\/jats:p>","DOI":"10.1515\/itit-2019-0028","type":"journal-article","created":{"date-parts":[[2020,2,11]],"date-time":"2020-02-11T09:02:08Z","timestamp":1581411728000},"page":"7-17","source":"Crossref","is-referenced-by-count":2,"title":["(Deep) FAIR mathematics"],"prefix":"10.1515","volume":"62","author":[{"given":"Katja","family":"Ber\u010di\u010d","sequence":"first","affiliation":[{"name":"Computer Science , 9171 FAU Erlangen N\u00fcrnberg , Erlangen , Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9859-6337","authenticated-orcid":false,"given":"Michael","family":"Kohlhase","sequence":"additional","affiliation":[{"name":"Computer Science , 9171 FAU Erlangen N\u00fcrnberg , Erlangen , Germany"}]},{"given":"Florian","family":"Rabe","sequence":"additional","affiliation":[{"name":"Computer Science , 9171 FAU Erlangen N\u00fcrnberg , Erlangen , Germany"}]}],"member":"374","published-online":{"date-parts":[[2020,2,11]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Gunnar Brinkmann et al. \u201cHouse of Graphs: A database of interesting graphs\u201d. Discrete Appl. Math. 161.1-2 (2013), pp.\u2009311\u2013314. ISSN: 0166-218X. DOI: 10.1016\/j.dam.2012.07.018.","key":"2023033120072925320_j_itit-2019-0028_ref_001_w2aab3b7c49b1b6b1ab2ab1Aa","DOI":"10.1016\/j.dam.2012.07.018"},{"doi-asserted-by":"crossref","unstructured":"Hans Ulrich Besche, Bettina Eick, and E.A. O\u2019Brien. \u201cA Millennium Project: Constructing small groups\u201d. Intern. J. Alg. and Comput. 12.05 (2002), pp.\u2009623\u2013644.","key":"2023033120072925320_j_itit-2019-0028_ref_002_w2aab3b7c49b1b6b1ab2ab2Aa","DOI":"10.1142\/S0218196702001115"},{"unstructured":"Katja Bercic. Math Databases wiki. URL: https:\/\/github.com\/MathHublnfo\/Documentation\/wiki\/Math-Databases (visited on 01\/15\/2019).","key":"2023033120072925320_j_itit-2019-0028_ref_003_w2aab3b7c49b1b6b1ab2ab3Aa"},{"unstructured":"Jan De Beule et\u2009al. GAP package Digraphs. URL: https:\/\/www.gap-system.org\/Packages\/digraphs.html (visited on 01\/25\/2019).","key":"2023033120072925320_j_itit-2019-0028_ref_004_w2aab3b7c49b1b6b1ab2ab4Aa"},{"doi-asserted-by":"crossref","unstructured":"Katja Bercic, Michael Kohlhase, and Florian Rabe. \u201cTowards a Unified Mathematical Data Infrastructure: Database and Interface Generation\u201d. In: Intelligent Computer Mathematics (CICM 2019). Ed. by Cezary Kaliszyck et\u2009al. LNAI 11617. Springer, 2019, pp.\u200928-43. DOI: 10.1007\/978-3-030-23250-4.","key":"2023033120072925320_j_itit-2019-0028_ref_005_w2aab3b7c49b1b6b1ab2ab5Aa","DOI":"10.1007\/978-3-030-23250-4_3"},{"doi-asserted-by":"crossref","unstructured":"Sara C. Billey and Bridget E. Tenner. \u201cFingerprint databases for theorems\u201d. Notices Amer. Math. Soc. 60.8 (2013), pp.\u20091034\u20131039. ISSN: 0002-9920. DOI: 10.1090\/noti1029.","key":"2023033120072925320_j_itit-2019-0028_ref_006_w2aab3b7c49b1b6b1ab2ab6Aa","DOI":"10.1090\/noti1029"},{"doi-asserted-by":"crossref","unstructured":"John Cremona. \u201cThe L-functions and modular forms database project\u201d. Foundations of Computational Mathematics 16.6 (2016), pp.\u20091541\u20131553. ISSN: 1615-3383. DOI: 10.1007\/s10208-016-9306-z.","key":"2023033120072925320_j_itit-2019-0028_ref_007_w2aab3b7c49b1b6b1ab2ab7Aa","DOI":"10.1007\/s10208-016-9306-z"},{"unstructured":"DataMathHub - Census of Small, Connected, Cubic, Vertex-Transitive Graphs. URL: https:\/\/data.mathhub.info\/collection\/cvt\/ (visited on 12\/14\/2019).","key":"2023033120072925320_j_itit-2019-0028_ref_008_w2aab3b7c49b1b6b1ab2ab8Aa"},{"unstructured":"vt_schema.mmt. URL: https:\/\/gl.mathhub.info\/ODK\/mbgen\/blob\/master\/source\/cvt_schema.mmt (visited on 12\/14\/2019).","key":"2023033120072925320_j_itit-2019-0028_ref_009_w2aab3b7c49b1b6b1ab2ab9Aa"},{"unstructured":"Digraphs file format incompatibility. URL: https:\/\/github.com\/gap-packages\/Digraphs\/issues\/158 (visited on 01\/25\/2019).","key":"2023033120072925320_j_itit-2019-0028_ref_010_w2aab3b7c49b1b6b1ab2ac10Aa"},{"unstructured":"Datasets on MathHub.info. URL: https:\/\/data.mathhub.info (visited on 09\/24\/2019).","key":"2023033120072925320_j_itit-2019-0028_ref_011_w2aab3b7c49b1b6b1ab2ac11Aa"},{"unstructured":"Dataset Search. URL: https:\/\/datasetsearch.research.google.com\/ (visited on 01\/25\/2020).","key":"2023033120072925320_j_itit-2019-0028_ref_012_w2aab3b7c49b1b6b1ab2ac12Aa"},{"unstructured":"European Commission Expert Group on FAIR Data. Turning FAIR into reality. 2018.","key":"2023033120072925320_j_itit-2019-0028_ref_013_w2aab3b7c49b1b6b1ab2ac13Aa"},{"unstructured":"GDML. URL: https:\/\/en.wikipedia.org\/wiki\/Global_Digital_Mathematics_Library (visited on 01\/28\/2019).","key":"2023033120072925320_j_itit-2019-0028_ref_014_w2aab3b7c49b1b6b1ab2ac14Aa"},{"doi-asserted-by":"crossref","unstructured":"Michael Kohlhase et al. \u201cKnowledge-Based Interoperability for Mathematical Software Systems\u201d. In: MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences. Ed. by Johannes Blomer, Temur Kutsia, and Dimitris Simos. LNCS 10693. Springer-Verlag, 2017, pp.\u2009195-210. URL: https:\/\/github.com\/OpenDreamKit\/OpenDreamKit\/blob\/master\/WP6\/MACIS17-interop\/crc.pdf.","key":"2023033120072925320_j_itit-2019-0028_ref_015_w2aab3b7c49b1b6b1ab2ac15Aa","DOI":"10.1007\/978-3-319-72453-9_14"},{"unstructured":"The L-functions and Modular Forms Database. URL: http:\/\/www.lmfdb.org (visited on 02\/01\/2016).","key":"2023033120072925320_j_itit-2019-0028_ref_016_w2aab3b7c49b1b6b1ab2ac16Aa"},{"unstructured":"Brendan McKay. Graph formats. URL: http:\/\/users.cecs.anu.edu.au\/~bdm\/data\/formats.html (visited on 01\/25\/2019).","key":"2023033120072925320_j_itit-2019-0028_ref_017_w2aab3b7c49b1b6b1ab2ac17Aa"},{"unstructured":"MitM: The Math-in-the-Middle Ontology. URL: https:\/\/mathhub.info\/library\/group?id=MitM (visited on 12\/05\/2019).","key":"2023033120072925320_j_itit-2019-0028_ref_018_w2aab3b7c49b1b6b1ab2ac18Aa"},{"unstructured":"Ron Ausbrooks et\u2009al. Mathematical Markup Language (MathML) Version 3.0. Ed. by David Carlisle, Patrick Ion, and Robert Miner, 2010. URL: http:\/\/www.w3.org\/TR\/MathML3.","key":"2023033120072925320_j_itit-2019-0028_ref_019_w2aab3b7c49b1b6b1ab2ac19Aa"},{"unstructured":"MMT - Language and System for the Uniform Representation of Knowledge. Project web site. URL: https:\/\/uniformal.github.io\/ (visited on 01\/15\/2019).","key":"2023033120072925320_j_itit-2019-0028_ref_020_w2aab3b7c49b1b6b1ab2ac20Aa"},{"unstructured":"Modelica and the Modelica Association. URL: https:\/\/modelica.org\/ (visited on 01\/22\/2019).","key":"2023033120072925320_j_itit-2019-0028_ref_021_w2aab3b7c49b1b6b1ab2ac21Aa"},{"unstructured":"MathWebSearch. URL: https:\/\/github.com\/MathWebSearch (visited on 01\/05\/2020).","key":"2023033120072925320_j_itit-2019-0028_ref_022_w2aab3b7c49b1b6b1ab2ac22Aa"},{"doi-asserted-by":"crossref","unstructured":"Developing a 21st Century Global Library for Mathematics Research. Tech. rep. National Research Council, 2014. DOI: 10.17226\/18619.","key":"2023033120072925320_j_itit-2019-0028_ref_023_w2aab3b7c49b1b6b1ab2ac23Aa","DOI":"10.17226\/18619"},{"unstructured":"The OBO Foundry. URL: http:\/\/www.obofoundry.org\/ (visited on 12\/13\/2019).","key":"2023033120072925320_j_itit-2019-0028_ref_024_w2aab3b7c49b1b6b1ab2ac24Aa"},{"unstructured":"The On-Line Encyclopedia of Integer Sequences. URL: http:\/\/oeis.org (visited on 05\/28\/2017).","key":"2023033120072925320_j_itit-2019-0028_ref_025_w2aab3b7c49b1b6b1ab2ac25Aa"},{"doi-asserted-by":"crossref","unstructured":"Primoz Potocnik, Pablo Spiga, and Gabriel Verret. \u201cCubic vertex-transitive graphs on up to 1280 vertices\u201d. J. Symbolic Comput. 50 (2013), pp.\u2009465\u2013477. ISSN: 0747-7171. DOI: 10.1016\/j.jsc.2012.09.002.","key":"2023033120072925320_j_itit-2019-0028_ref_026_w2aab3b7c49b1b6b1ab2ac26Aa","DOI":"10.1016\/j.jsc.2012.09.002"},{"unstructured":"The Systems Biology Markup Language. URL: http:\/\/sbml.org (visited on 03\/17\/2017).","key":"2023033120072925320_j_itit-2019-0028_ref_027_w2aab3b7c49b1b6b1ab2ac27Aa"},{"unstructured":"Wikidata:Introduction. URL: https:\/\/wikidata.org\/wiki\/Wikidata:Introduction (visited on 01\/25\/2015).","key":"2023033120072925320_j_itit-2019-0028_ref_028_w2aab3b7c49b1b6b1ab2ac28Aa"},{"doi-asserted-by":"crossref","unstructured":"Mark D. Wilkinson et al. \u201cThe FAIR Guiding Principles for scientific data management and stewardship\u201d. Scientific Data 3 (2016), 160018. DOI: 10.1038\/sdata.2016.18.","key":"2023033120072925320_j_itit-2019-0028_ref_029_w2aab3b7c49b1b6b1ab2ac29Aa","DOI":"10.1038\/sdata.2016.18"},{"doi-asserted-by":"crossref","unstructured":"Tom Wiesing, Michael Kohlhase, and Florian Rabe. \u201cVirtual Theories - A Uniform Interface to Mathematical Knowledge Bases\u201d. In: MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences. Ed. by Johannes Blomer, Temur Kutsia, and Dimitris Simos. LNCS 10693. Springer-Verlag, 2017, pp.\u2009243-257. URL: https:\/\/github.com\/OpenDreamKit\/OpenDreamKit\/blob\/master\/WP6\/MACIS17-vt\/crc.pdf.","key":"2023033120072925320_j_itit-2019-0028_ref_030_w2aab3b7c49b1b6b1ab2ac30Aa","DOI":"10.1007\/978-3-319-72453-9_17"},{"doi-asserted-by":"crossref","unstructured":"Mark Ziemann, Yotam Eren, and Assam El-Osta. \u201cGene name errors are widespread in the scientific literature\u201d. Genome Biology 17 (2016), 177. DOI: 10.1186\/s13059-016-1044-7.","key":"2023033120072925320_j_itit-2019-0028_ref_031_w2aab3b7c49b1b6b1ab2ac31Aa","DOI":"10.1186\/s13059-016-1044-7"}],"container-title":["it - Information Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyter.com\/view\/journals\/itit\/62\/1\/article-p7.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/itit-2019-0028\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/itit-2019-0028\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,1]],"date-time":"2023-04-01T08:23:48Z","timestamp":1680337428000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/itit-2019-0028\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,1]]},"references-count":31,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2020,2,11]]},"published-print":{"date-parts":[[2020,2,25]]}},"alternative-id":["10.1515\/itit-2019-0028"],"URL":"https:\/\/doi.org\/10.1515\/itit-2019-0028","relation":{},"ISSN":["2196-7032","1611-2776"],"issn-type":[{"type":"electronic","value":"2196-7032"},{"type":"print","value":"1611-2776"}],"subject":[],"published":{"date-parts":[[2020,2,1]]}}}