The ''Global Digital Mathematics Library'' (GDML) is a project organized under the auspices of the

International Mathematical Union The International Mathematical Union (IMU) is an international non-governmental organization devoted to international cooperation in the field of mathematics across the world. It is a member of the International Science Council (ISC) and supports ...

(IMU) to establish a

digital library A digital library, also called an online library, an internet library, a digital repository, or a digital collection is an online database of digital objects that can include text, still images, audio, video, digital documents, or other digital me ...

focused on

mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

. A working group was convened in September 2014, following the 2014

International Congress of Mathematicians The International Congress of Mathematicians (ICM) is the largest conference for the topic of mathematics. It meets once every four years, hosted by the International Mathematical Union (IMU). The Fields Medals, the Nevanlinna Prize (to be rename ...

, by former IMU President

Ingrid Daubechies Baroness Ingrid Daubechies ( ; ; born 17 August 1954) is a Belgian physicist and mathematician. She is best known for her work with wavelets in image compression. Daubechies is recognized for her study of the mathematical methods that enhance i ...

and Chair Peter J. Olver of the IMU’s Committee on Electronic Information and Communication (CEIC). Currently the working group has eight members, namely: * Thierry Bouche, Institut Fourier & Cellule MathDoc, Grenoble, France *

Bruno Buchberger Bruno Buchberger (born 22 October 1942) is Professor of Computer Mathematics at Johannes Kepler University in Linz, Austria. In his 1965 Ph.D. thesis, he created the theory of Gröbner bases, and has developed this theory throughout his career. ...

RISC In computer engineering, a reduced instruction set computer (RISC) is a computer designed to simplify the individual instructions given to the computer to accomplish tasks. Compared to the instructions given to a complex instruction set comput ...

, Hagenberg/Linz, Austria * Patrick Ion,

Mathematical Reviews ''Mathematical Reviews'' is a journal published by the American Mathematical Society (AMS) that contains brief synopses, and in some cases evaluations, of many articles in mathematics, statistics, and theoretical computer science. The AMS also pu ...

/AMS, Ann Arbor, MI, US *

Michael Kohlhase Michael Kohlhase (born 13 September 1964, in Erlangen) is a Germans, German computer scientist and professor at University of Erlangen–Nuremberg, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content). Ac ...

Jacobs University Constructor University is an international, private, residential research university located in Vegesack, Bremen, Germany. It offers study programs in engineering, humanities, natural and social sciences, in which students can acquire bachelor' ...

, Bremen, Germany * Jim Pitman,

University of California, Berkeley The University of California, Berkeley (UC Berkeley, Berkeley, Cal, or California) is a public land-grant research university in Berkeley, California. Established in 1868 as the University of California, it is the state's first land-grant u ...

, CA, US * Olaf Teschke, zbMATH/FIZ, Berlin, Germany * Stephen M. Watt,

University of Waterloo The University of Waterloo (UWaterloo, UW, or Waterloo) is a public research university with a main campus in Waterloo, Ontario Waterloo is a city in the Canadian province of Ontario. It is one of three cities in the Regional Municipality ...

, Waterloo, ON, Canada *

Eric Weisstein Eric Wolfgang Weisstein (born March 18, 1969) is an American mathematician and Encyclopedia, encyclopedist who created and maintains the encyclopedias ''MathWorld'' and ''ScienceWorld''. In addition, he is the author of the ''CRC Concise Ency ...

Wolfram Research Wolfram Research, Inc. ( ) is an American multinational company that creates computational technology. Wolfram's flagship product is the technical computing program Wolfram Mathematica, first released on June 23, 1988. Other products include Wo ...

, McAllen, TX, US

Background

In the spring of 2014, the Committee on Planning a Global Library of the Mathematical Sciences released a comprehensive study entitled “Developing a 21st Century Global Library for Mathematics Research.” This report states in its Strategic Plan section, “There is a compelling argument that through a combination of machine learning methods and editorial effort by both paid and volunteer editors, a significant portion of the information and knowledge in the global mathematical corpus could be made available to researchers as

linked open data In computing, linked data (often capitalized as Linked Data) is structured data which is interlinked with other data so it becomes more useful through semantic queries. It builds upon standard Web technologies such as HTTP, RDF and URIs, but r ...

through the GDML."

Workshop

A workshop titled "Semantic Representation of Mathematical Knowledge" was held at the

Fields Institute The Fields Institute for Research in Mathematical Sciences, commonly known simply as the Fields Institute, is an international centre for scientific research in mathematical sciences. It is an independent non-profit with strong ties to 20 Ontari ...

in Toronto during February 3–5, 2016. The goal of the workshop was to lay down the foundations of a prototype semantic representation language for the GDML. The workshop's organizers recognized that the extremely wide scope of mathematics as a whole made it unrealistic to map out the detailed concepts, structures, and operations needed and used in individual mathematical subjects. The workshop therefore limited itself to surveys of the status quo in mathematical representation languages including representation of prominent and fundamental theorems in certain areas that could serve as building blocks for additional mathematical results, and to discussing ways to best identify and design semantic components for individual disciplines of mathematics. The workshop organizers are presently preparing a report summarizing the workshop's conclusions and making recommendations for further progress towards a GDML.

References

{{reflist

Background

Workshop

References

See also