Table 3 List of included portals, sorted alphabetically.

From: Making Mathematical Research Data FAIR: Pathways to Improved Data Sharing

Portal Name

Math focus

Citability

License

# Items

URL

4TU Research Data

Multidisciplinary

DOI

CC0 (default), CC

>8300

data.4tu.nl

Archive of Formal Proofs

Proofs

URL

BSD, LGPL

~700

isa-afp.org

arXiv

Multidisciplinary

DOI, arXiv ID

CC, arXiv perpetual

>2, 2M

arxiv.org

Biomodels

Mathematical models

Model ID

CC0

>2500

ebi.ac.uk/biomodels

Database of Ring Theory

Rings

Internal ID

CC BY 4.0

~300

ringtheory.herokuapp.com

Encyclopedia of Graphs

Graphs

Graph ID

CC BY-NC-SA 3.0

>11M

atlas.gregas.eu

Figshare

Multidisciplinary

DOI

CC, MIT, GPL, Apache

>7, 3M

figshare.com

FindStat

Combinatorial statistics

Internal ID

CC BY 4.0

~2000

findstat.org

HAL

Multidisciplinary

DOI, idHAL

CC, copyright

>3M

hal.archives-ouvertes.fr

Harvard Dataverse

Multidisciplinary

DOI

CC0 (default), custom

>156000

dataverse.harvard.edu

Network Repository

Network datasets

URL

CC BY-SA

>6600

networkrepository.com

OEIS

Integer sequences

Internal ID

CC BY-NC 4.0

>350000

oeis.org

Open Science Framework

Multidisciplinary

DOI, Internal ID

diverse

>7M

osf.io

Open Science Library

Multidisciplinary

DOI

diverse

>100

codeocean.com

Papers with Code

Multidisciplinary

URL

CC BY-SA

>4000

math.paperswithcode.com

Ï€-Base

Topological counterexamples

Internal ID

CC BY 4.0

~500

topology.pi-base.org

polyDB

Discrete geometric objects

Internal ID

undefined

~500M

polydb.org

Science Data Bank

Multidisciplinary

DOI, Internal ID

diverse

>7M

scidb.cn

SuiteSparse Matrix Collection

Sparse matrices

Internal ID

CC BY 4.0

~2800

sparse.tamu.edu

The House of Graphs

Graphs

Graph ID

Copyright

~22000

houseofgraphs.org

Wikidata

Multidisciplinary linked data

Wikidata ID

CC0

>100M

wikidata.org

Zenodo

Multidisciplinary

DOI, zenodo ID

diverse

>2, 8M

zenodo.org