Panel 3 International Mathematical Knowledge Trust IMKT: Update on the Global Digital Mathematics Library Rio de Janeiro 7 August 2018 Rio de Janeiro Update on the Global Digital Mathematics Library
Panel Introduction Patrick D. F . Ion (moderator) Stephen M. Watt Gadadhar Misra Alf A. Onshuus Liu Zheng Thierry Bouche Rio de Janeiro Update on the Global Digital Mathematics Library
Stephen M. Watt Dean of Mathematics, University of Waterloo, Ontario, Canada Western University, Ontario; IBM T.J. Watson Research Center; INRIA and University of Nice Computer algebra: co-author of Maple and Axiom, Aldor; W3C MathML and InkML Rio de Janeiro Update on the Global Digital Mathematics Library
In International Mathematical Knowl wledge Trust - IM IMKT: an Update on the Global Digital Mathematics Library Stephen M. Watt David R. Cheriton School of Computer Science University of Waterloo 2018 International Congress of Mathematicians Rio de Janeiro, Brazil 2018-08-01 – 2018-08-09
Mathematical Knowledge Can be • Of permanent relevance, • Represented exactly, • Treated mechanically. 2 × 3 × 7 = 42
Global Digital Math Library – a longstanding vision • Many advocates over time, likely including some in this room. • Envisaged as linked digitization of (much or) all of past math literature in an enhanced, open article repositories. • Scope: 10 6 → 10 7 items.
IMU GDML Working Group Initiated by Ingrid Daubechies at Seoul ICM. Thierry Bouche (U Grenoble, France) Bruno Buchberger (RISC Linz, Austria) Patrick Ion, chair (Math Reviews, USA) Michael Kohlhase (FAU Erlangen-Nürnberg, Germany) Jim Pitman (UC Berkeley, USA) Olaf Teschke (ZB Math, Germany) Stephen Watt (U Waterloo, Canada) Eric Weisstein (Wolfram Research, USA)
WG Remit The GDML WG is charged with the tasks of • designing a road map for the practical next steps towards the GDML • determining its organizational structure • prioritizing the different requirements for its implementation • estimating an incremental budget, both start-up and sustaining funds • fostering the writing of proposals to funding organizations
WG Activities • Workshops, sessions and panels • Specific presentations and conference presentations • Seed funding grant • Founding not-for-profit • Seed projects
What the Future Was • A linked repository of articles is nice, but don’t we have this already?
The Present Day • Article Repositories Publisher archives www.springer .com/online+journals+archive JSTOR www.jstor.org arXiv arxiv.org EuDML eudml.org NUMDAM numdam.org GöttingerDigitalisierungszentrum gdz.sub.uni-goettingen.de/gdz RusDML www.rusdml.de/rusdml Private Lists www.math.uni-bielefeld.de/~rehmann/DML …
The Present Day • Indexes, Reviews, Author Databases Inspec inspecdirect.theiet.org zbMATH zbmath.org MathReviews/MathSciNet www.ams.org/mathscinet Math Genealogy Project www.genealogy.math.ndsu.nodak.edu . . . . . .
The Present Day • General Summary Works Wikipedia Mathematics Project www.wikipeda.org MathWorld mathworld.wolfram.com Wolfram Functions Site functions.wolfram.com NIST Digital Library of Mathematical Functions dlmf.nist.gov Digital Repository of Math Formulae gw32.iu.xsede.org/index.php/Main_Page …
The Present Day • Specialized Tools and Databases Online Encyclopedia of Integer Sequences oeis.org Dynamic Dictionary of Mathematical Functions ddmf.msr-inria.inria.fr Online Integral Calculator www.wolframalpha.com/calculators/integral-calculator Inverse Symbolic Calculator isc.carma.newcastle.edu.au Atlas of Finite Simple Groups brauer.maths.qmul.ac.uk/Atlas/v3 L-functions and modular forms database www.lmfdb.org Combinatorial Statistic Finder www.findstat.org A Catalogue of Lattices www.math.rwth-aachen.de/~Gabriele.Nebe/LATTICES Encyclopedia of Triangle Centers faculty.evansville.edu/ck6/encyclopedia/ETC.html …
The Present Day • Proof Libraries Big Proofs (4 Colour, Feit Thompson, Kepler, …) Mizar Mathematical Library www.mizar.org/library Archive of Formal Proofs www.isa-afp.org MetaMath Proof Explorer us.metamath.org/mpegif/mmset.html …
The Present Day • Other Projects and Activities Encyclopedia of Continued Fractions s blog.wolframalpha.com/2013/05/16/computational-knowledge-of-continued-fractions Maple Function Advisor r www.maplesoft.com/support/help/MapleSim/view.aspx?path=FunctionAdvisor Maple impl. of Exact Solutions of the Einstein Field Equations s jointmathematicsmeetings.org/amsmtgs/2181_abstracts/1116-00-2335.pdf GAP Package liealgdb www.gap-system.org/Packages/liealgdb.html Matrix Market math.nist.gov/MatrixMarket EqWorld eqworld.ipmnet.ru Formulasheet formulasheet.com SymbolicData wiki.symbolicdata.org …
Current Direction • From page images to parsed pages to semantic mark up to corpus analysis • Support tools for dealing with the meaning of content. • Mathematical Digital Library • Mathematical Knowledge Base • Mathematical Knowledge Tools
Pando, the Trembling Giant Quaking aspen, estimated • 47,000 trunks 433,000 m 2 • 6,000,000 Kg 80,000 y.o. Credit: Google Maps Credit: J. Zapell/Public domain
IMKT Projects • F Abstracts • Formal Harmony Tom Hales • Special Function Concordance • Mathematical Document Classification (N-Grams and Machine Learning) William Casselman
Several Groups’ Work
Slightly Less Obvious Statements about Getting Something Done • Can afford to hand-annotate/capture a small subset • Rely on improvements of technology/AI By Hand Supervised automation Automation + checking Automation J ? • Approximation goes a long way • Future-proof the data
Open Participation and Return on Effort
Gadadhar Misra Indian Institute of Science, Bangalore Vice-President of the Indian National Science Academy for publications and informatics Operator theory Rio de Janeiro Update on the Global Digital Mathematics Library
Gadadhar Misra, Indian Institute of Science Preprint Archives in India
PREPRINTS Preprint archives provide a platform for permanently storing so fu copies of scientific manuscripts, o fu en before peer-review, with open access to any interested person.
NIH Notes: “Scientists issue preprints to speed dissemination, establish priority , obtain feedback , and o fg set publication bias ”.
The ArXiV
The ArXiV ❖ With the advent of internet, one of the first and popular online preprint archives was ‘ arXiv ’ (http://arXiv.org) which in over 25 years of its existence, strongly influenced many publishers and impacted how science is disseminated.
The ArXiV ❖ With the advent of internet, one of the first and popular online preprint archives was ‘ arXiv ’ (http://arXiv.org) which in over 25 years of its existence, strongly influenced many publishers and impacted how science is disseminated. ❖ The ArXiV originated at Los Alamos (for physics) and at Duke University (for mathematics).
The ArXiV ❖ With the advent of internet, one of the first and popular online preprint archives was ‘ arXiv ’ (http://arXiv.org) which in over 25 years of its existence, strongly influenced many publishers and impacted how science is disseminated. ❖ The ArXiV originated at Los Alamos (for physics) and at Duke University (for mathematics). ❖ These sites had then been combined at the Los Alamos (LANL) centre and have since moved to Cornell University.
ArXiV @IMSc
ArXiV @IMSc ❖ The IMSc mirror at https://in.arxiv.org is a mirror site for ArXiV that has been functional since the late nineties.
ArXiV @IMSc ❖ The IMSc mirror at https://in.arxiv.org is a mirror site for ArXiV that has been functional since the late nineties. ❖ Currently, the mirror is connected to the internet with an su fg iciently high-speed link so that it is up-to-date within about 20-30 minutes from the time that the primary site is updated.
ArXiV @IMSc ❖ The IMSc mirror at https://in.arxiv.org is a mirror site for ArXiV that has been functional since the late nineties. ❖ Currently, the mirror is connected to the internet with an su fg iciently high-speed link so that it is up-to-date within about 20-30 minutes from the time that the primary site is updated. ❖ There is enough processing power and disk-space to last us for quite a while.
Open Access India Open Access India is in the process of forming a steering committee to manage a Preprints Repository for India, indiaRxiv .
Indian Academy of Sciences Online Repository “This is an Open Access Repository of publications of Fellows of the Indian Academy of Sciences. It attempts to collect, preserve and disseminate the intellectual output of the Academy available as publications by its Fellows in peer-reviewed journals.”
Recommend
More recommend
