Recent Developments in Digital Mathematics Libraries
DOI:
https://doi.org/10.55630/dipp.2014.4.7Keywords:
Digital Mathematical Library, EuDML, BulDML, DML/CZ, Open Access, Archiving, Institutional Repositories, DSpace, Electronic publishingAbstract
The paper presents recent developments in the domain of digital mathematics libraries towards the envisioned 21st Century Global Library for Math ematics. The Bulgarian Digital Mathematical Library BulDML and the Czech Digital Mathematical Library DML - CZ are founding partners of the EuDML Initiative and through it contribute to the sustainable development of the European Digital Mathematics Library EuDML and to the global advanc ements in this area.References
American Mathematical Society, MathSciNet, http://www.ams.org/mathscinet/, accessed July 30, 2014.
Apache Software Foundation, Apache Lucene Core, http://lucene.apache.org/core/, a ccessed July 30, 2014.
Bouche, T., Goutorbe, C., Jorda, J. -P. and Jost, M.: The EuDML Metadata Schema: Ve rsion 1.0. In Petr Sojka and Thierry Bouche (eds.): Towards a Digital Mathematics Library. Bertinoro, Italy, July 20– 21st, 2011. Masaryk University Press, Brno, Czech Republic, 2011. pp. – 61, http://dml.cz/bitstream/handle/10338.dmlcz/702602/DML_004 -2011- 1_9.pdf.
Bulgarian Mathematics Digital Library, http://sci gems.math.bas.bg.
Category: Proof assistants, Wikipedia, http://en.wikipedia.org/wiki/Category: Proof_assistants, last modified September 21, 2011.
Conferen ce on Intelligent Computer Mathematics, last modified July 6, 2014, http://cicm conference.org/2014/.
Cornell University Library, Digital Mathematics Library. S.E. Thomas, principal invest iga tor, R.K. Dennis and J. Poland, co principal investigators, last updated December 2, 2004, http://www.library.cornell.edu/dmlib/.
Czech Digital Mathematics Library, http://dml.cz.
Developing a 21st Century Global Library for Mathematics. Report of the Committee on Planning a Global Library of the Mathematical Sciences; Board on Mathematical Sciences and Their Applications; Division on Engineering and Physical Sciences; National R esearch Council; ISBN -0- - -3, http://www.nap.edu/catalog.php?record_id=18619.
DML: Digital Mathematics Library. http://www.mathematik.uni bielefeld.de/~rehmann/DML/dml_links.html, accessed July 30, 2014.
EuDML metadata schema specification (v2.0 – final), 2013, https://project.eudml.org/eudml -metadata-schemaspecification -v20-final, accessed July 30, 2014.
European Digital Mathematics Library, Appendix, EuDML Metadata Schema (Final), Tagging Best Practices, in EuDML Metadata Schema Specification (v2.0 final), https://project.eudml.org/sites/default/files/d36 appendix_uncropped.pdf.
Ewing, John. Twenty Centuries of Mathematics: Digitizin g and Disseminating the Past Mathematical Literature. Notices of the AMS vol. 49(7), 2002, pp.771 –777. See www.ams.org/notices/200207/fea ewing.pdf .
FIZ Karlsruhe, zbMATH, https://zbmath.org/, accessed July 30, 2014.
[Formulasearchengine] Formulasearchengine, Making math - the language of science – searchable, http://www.formulasearchengine.com/ , accessed July 30, 2014.
ITHAKA, JSTOR, http://www.jstor.org/ , accessed July 30, 2014.
[theorems] List of Theorems, Wikipedia, last modified June 30, 2014, http://en.wikipedia.org/wiki/List_of_theorems .
LOCKSS, Global & Private LOCKSS Networks, http://www.lockss.org/community/networks/ , accessed July 30, 2014.
MIR@MU, MIaS/WebMIaS, last change April $4, 2014, https://mir.fi.muni.cz/mias/ .
Mizar Home Page, last modified January 8, 2014, http://mizar.org/ .
NIST Digital Library of Mathematical Functions, last modified April 25, , http://dlmf.nist.gov/.
NUMDAM, Recherche et téléchargement d’archives de revues mathématiques numérisées, http://www.numdam.org/ , accessed July 30, 2014.
On - Line Encyclopedia of Integer Sequences® (OEIS®) Wiki, last modified February 24, 2014, https://oeis.org/wiki/Welcome/.
The Coq Proof Assistant, http://coq.inria.fr/, accessed January 16, 2014.
The EuDML Metadata Schema. Deliverable 3.2 in the project of the EuDML, http://project.eudml.org/sites/default/files/D3.2 v1.6.pdf.
The Jahrbuch Project, Electronic Research Archive for Mathematics, last modified October 31, 2006, http://www.emis.de/projects/JFM/ .
U.S. National Library of Medicine National Center for Biotechnology Information. Journal archiving and interchange tag library, niso jats version 1.0 , August 2012. Full online documentation at http://jats.nlm.nih.gov/1.0/ .
Wolfram MathWorld, last updated July 18, 2014, http://mathworld.wolfram.com/.
Wolfram Research, Inc., The Wolfram Functions Site, http://functions.wolfram.com/ , accessed July 30, 2014.
