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 ...

focused on 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 Peter John Olver (11 January 1952, Twickenham) is a British-American mathematician working in differential geometry. Education and career After moving to the USA in 1961, Olver obtained a bachelor's degree in Applied Mathematics at Brown Univ ...

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. H ...

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 compu ...

, 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 ...

/AMS, Ann Arbor, MI, US *

Michael Kohlhase Michael Kohlhase (born 13 September 1964, in Erlangen) is a 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). Academic Po ...

Jacobs University Constructor University is an international, private, residential research university located in Vegesack, Bremen (city), Bremen, Germany. It offers study programs in engineering, humanities, Natural sciences, natural and social sciences, in whic ...

, 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 Stephen M. Watt, a computer scientist and mathematician, is past Dean of the Faculty of Mathematics and Professor in the David R. Cheriton School of Computer Science at the University of Waterloo, Ontario, Canada. He previously held the title of D ...

University of Waterloo The University of Waterloo (UWaterloo, UW, or Waterloo) is a public research university with a main campus in Waterloo, Ontario, Canada. The main campus is on of land adjacent to "Uptown" Waterloo and Waterloo Park. The university also operates ...

, Waterloo, ON, Canada *

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

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 ...

, 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 Onta ...

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