[Todos CMAT] dos noticias internacionales de matem. + otras dos

Dr. Roberto Markarian roma en fing.edu.uy
Mar Jun 7 04:22:36 UYT 2016

Towards a Global Digital Mathematics Library

I write as chair of the eight-person Global Digital Mathematics  
Library Working Group (GDML WG)  
<https://blog.wias-berlin.de/imu-icm-panel-wdml/category/gdml-wg/>  of  
the IMU's Committee on Electronic Information and Communication  
(CEIC); we have been working steadily for 18 months. Now I retired  
from Mathematical Reviews (MR; online MathSciNet  
<http://ams.org/mathscinet> ) after trying to serve mathematics by  
helping access its knowledge. Why would I now be involved in trying  
realize some of the grand promise that is expressed in the 2006 GA  
Resolution of the IMU  
?  Actually the question for me was why wouldn't I jump at the chance?  
I've always been committed to mathematics as a global enterprise.  
After early peripatetic years in London UK, MIT, Groningen, RIMS Kyoto  
and Heidelberg, I joined MR in 1980; later I could visit Strasbourg  
and IHES each for a year and Auckland NZ.

MathSciNet <http://ams.org/mathscinet>  and zbMATH  
<http://zbmath.org/>  provide a much appreciated service in helping  
navigate the literature of mathematics. Their abstracting (reviewing)  
and indexing has helped many of us a lot in developing and employing  
mathematics. There's more that can be done today for the world's  
mathematical community.  There can be novel and effective  
representations of mathematical knowledge, a store of theorems not  
just metadata about articles.  We can make it open,  
machine-processable and advance research in this way.  There can be  
links with computation and databases like the current offerings of  
Wolfram!Alpha <https://www.wolframalpha.com/> , Wikipedia  
<https://en.wikipedia.org/wiki/Main_Page> , Maple  
<http://maplesoft.com/> , OEIS <https://oeis.org/> , DLMF  
<http://dlmf.nist.gov/>  and others.  The experience gained in other,  
better funded, fields with data-mining and ontologies can be  
capitalized upon for our mathematical heritage.

Due to the world communication network of the internet these things  
will result from a distributed system of contributions looking  
eventually like a grand modern form of library, but more robust  
against disasters by reason of its distribution.  This protects our  
mathematical heritage and spreads it to all countries.

The 2006 IMU resolution calling for work toward a World Digital  
Mathematical Library produced much benevolent discussion. But no  
actions ensued until a meeting of international experts at the US  
Academy of Sciences and the resulting 2012 report from the US National  
Research Council <http://arxiv.org/abs/1404.1905> . Work on problems  
of Mathematical Knowledge Management (MKM), Digital Mathematical  
Libraries (DML) and Automated Theorem Proving (ATP) continued all the  
while, but was made up mostly of small largely independent efforts.   
In a sense, the whole GDML remained what is commercially termed  

At ICM Seoul 2014, IMU President Ingrid Daubechies, supported by CEIC  
chair Peter Olver, set up the GDML WG to get matters moving and  
concrete projects underway toward a GDML.  The WG has been planning,  
considering project details, and doing outreach.  We've organized a  
successful special session at JMM Seattle 2016 <http://bit.ly/1U4wX9S>  
, and will have them in July 2016 at 7ECM  
<http://www.7ecm.de/program/mini_symposia.html>  and ICMS2016  
<http://icms2016.zib.de/sessions.html>  in Berlin, and be involved in  
CICM2016 <http://www.mathunion.org/typo3/CICM2016>  in Bialystok.  The  
GDML WG collaborated with the Wolfram Foundation and the Fields  
Institute to organize an international workshop on Semantic  
Representation of Mathematics  
at Fields in February 2016, generously funded by the Alfred P. Sloan  
Foundation.  This represents the start of exploration of a very  
promising technical aspect for a digital library now that we have so  
much computing power available.

What is needed is more engagement and more internationalization.  
Therefore, the WG setting up an International Mathematical Knowledge  
Trust (IMKT) <http://imkt.org/>  based in Canada, this should be  
followed by regional KTs. The purpose of the IMKT is to establish a  
mathematical knowledge commons — a public resource consisting of  
mathematical knowledge represented in non-proprietary,  
machine-readable formats, together with an international network of  
knowledge providers, information systems, and semantic services based  
on it, that is, a global digital mathematical library. Another way of  
justifying this goal is to assert that using open, interoperable  
representation standards and open knowledge licenses turns  
mathematical knowledge into Open Mathematical Knowledge Data, and the  
body of mathematical knowledge into a public resource that can drive  
future mathematical research and practice.

There are already efforts in Europe to build upon the successful  
prototype European Digital Mathematics Library (EuDML)  
<http://eudml.org/>  and to push for a new European Knowledge  
Infrastructure for Mathematics (EuKIM). Mathematics is international,  
mathematics is universal (ideally and mostly) and is comparatively  
cheap to practice (usually). Recent mathematical breakthroughs did not  
involve enormous sums of money to get the resources to build big  
machines, though there's a great deal of mathematical infrastructure  
to the search for a Higgs particle at LHC  
<http://home.cern/topics/higgs-boson>  or even the detection of  
gravitational waves at LIGO <http://www.ligo.org/> .  But we each do  
need to be conscious of the community's need for mathematical  
infrastructure and support, and be willing to contribute our pieces.

Patrick D. F. Ion


Biographical Info: I have been involved in Mathematical Knowledge  
Management (MKM) for many years. At MR I was instrumental in passing  
to the use of TeX in 1985, on TUG's Steering Committee for a decade,  
and heavily implicated in the revisions of the Mathematical Subject  
Classification (MSC). I became co-chair of the World Wide Web  
Consortium Math Working Group, which developed the MathML  
specification, of which I am an editor and one author; this is now an  
ISO standard. My main mathematical interests are now in quantum  
stochastics, q-analogues and the discrete Fourier transform in  
elementary geometry; my MKM concerns are MSC in the Semantic Web, the  
relation of graph structures found in the mathematical literature to  
mathematical knowledge and sociology, and digital libraries.

ICM 2018

 From August 1st to 9th, 2018, Rio de Janeiro will host the   
<http://www.icm2018.org/> International Congress of Mathematicians  
(ICM) in its largest and most traditional convention center:  
Riocentro, in the Barra da Tijuca neighborhood. Subscription to the  
Congress  <http://www.icm2018.org/portal/en/#newsletter> Newsletter is  
now open.

The Program Committee (PC) for the International Congress of  
Mathematicians 2018 in Rio de Janeiro, Brazil, August 1-9, 2018 has  
been set up.  The PC has decided on a list of 19 sections at congress.  
The Adhering Organizations of IMU and the mathematical societies  
worldwide are invited to nominate plenary and sectional speakers.    
All communication concerning the scientific program of ICM 2018 is  
handled by the Chair of the Program Committee, Prof. János Kollár at  
the email address  <chair en pc18.mathunion.org>. Nominations should be  
received by the PC Chair no later than November 1, 2016.

Call for Suggestions for Applications to the new Icsu Grants Programme

IMU is calling for suggestions for applications to the new   
ICSU Grants Programme. Grants are up to 100,000 € per year for the  
three years 2017-2019. The ICSU  
Grants Programme aims to create new international initiatives  
spearheaded by ICSU Unions, which collaborate with other members of  
the ICSU family, along with other relevant societal actors and  
organisations in order to address issues of science education,  
outreach and public engagement.

  At least two scientific unions must be lead applicants. See the list  
of scientific unions  
<http://www.icsu.org/about-icsu/our-members/?icsudocid=scientific-unions> .  
The Grants Programme will foster these larger initiatives that  
actively involve developing regions, promote the involvement of young  
scientists and women. The aim is also to mobilise a broader community  
of actors through these larger international initiatives.

ICSU encourages the submission of proposals that

1.        actively involve the ICSU Regional Offices,
2.        promote the involvement of young scientists, women  
scientists, and scientists from developing countries, and
3.        forge new partnerships between organisations that do not  
routinely collaborate.

  The ICSU grant can be spent for all necessary costs that are  
attributable to the programme, including (but not limited to):

*        Core research project funding
*        Early career fellowship costs
*        Capacity building activities
*        Travel, accommodation and other expenses directly related to  
meetings with partners and field visits to research sites and  
institutions involved in the programme
*        Meetings, seminars, workshops, conferences
*        Facilitators and skills trainers for working with  
stakeholders, media, and public outreach
*        Communication tools and expertise, dissemination activities  
and publication support
*        Project monitoring and coordination costs
*        Publication and communication support

  A one page letter of intention should be sent by June 15 2016 to  
Christiane Rousseau: rousseac(at)dms.umontreal.ca  

News from ICSU

Important developments are presently taking place at the International  
Council of Science (ICSU). The planet and its human civilization will  
face some of its most significant challenges in the near future:  
global change, increase of the population pushing the planetary  
resources to their limit.

*        Science International: More than ever, it is essential that  
the voice of science be present with the decision makers. Four  
organizations have decided to to present a unified voice of science:  
these are ICSU together the International Social Science Council –  
ISSC <http://www.worldsocialscience.org/> ), the InterAcademy  
Partnership – IAP <http://www.interacademies.net/> , and the The World  
Academy of Sciences – TWAS <http://www.twas.org/> . As a first step  
they have created Science International  
<http://www.icsu.org/science-international/> : Science International  
is a series of regular meetings of top-level representatives of these  
four organizations (ICSU, ISSC, IAP and TWAS), that are designed to  
represent the global scientific community in the international policy  
for science arena. The theme of Science International 2015, which took  
place from 7-9 December 2015 in Pretoria, South Africa, was 'Big  
Data/Open Data'. The 2015 edition of Science International has  
developed an international accord on the values of open data in the  
emerging scientific culture of big data  
<http://www.icsu.org/science-international/accord> . The Accord  
recognizes the need for an international framework of principles on  
“Open Data in a Big Data World” and proposes a comprehensive set of  
principles. The report produced at this meeting was circulated to the  
scientific unions and IMU has endorsed it.
*         Merger: The second step has been taken last month at the  
respective board meetings of ISSC and ICSU: they have unanimously  
agreed to propose to their members to merge to form a single  
international organization for the social and natural sciences. Such a  
merger will bring together the unique membership base of both ISSC and  
ICSU – i.e. national scientific organizations and international  
scientific unions and associations – and create an organization best  
suited to develop a unified vision and drive a holistic approach to  
some of the great contemporary challenges for science. The unions will  
be consulted in the fall on that project of merging.

Más información sobre la lista de distribución Todos