Hans-Gert Gräbe, University of Leipzig, Germany
Albert Heinle, University of Waterloo, Canada
Wolfram Sperber, FIZ Karlsruhe, Germany
Today mathematical knowledge manifests itself in different form. Besides publications, new
forms of mathematical knowledge especially mathematical software, mathematical models, and
mathematical data are becoming more and more important. But the access to these resources and
their re-use is limited. The absence of powerful strategies and information services is one reason.
The session ''Information services for mathematical software, models, and research data'' will
address some problems of information services for these types of mathematical knowledge.
The aim of this session is to present and discuss some relevant problems and developments for the management and the presentation of information about mathematical software, models, and research data
(a) metadata standards for information services, e.g. citation standards
(b) state of the art of portals and repositories
(c) quality control of mathematical software
(d) management of research data in mathematics
(e) content analysis and semantification especially with respect to their relevance for computer algebra.
If you are interested in proposing a talk, please send an abstract to the organizers. Please use this LaTeX template for your abstract and send both the LaTeX source and a compiled PDF version. If you do not work with LaTeX, the submission may be sent in Word format (.doc or .docx file) and later, once accepted, we will try to adapt the proposal to the LaTeX template.
Abstract: Publications are the classical means of mathematical information and communication containing also some classes of mathematical research data, especially models and objects But the advent of the computer has changed the situation. Typically, mathematical software is an own object not contained in publications. But the use of mathematical software becomes more and more important. Information services for mathematical software and other research data are challenging for some reasons:
The swMATH service is an open access portal for mathematical software
and linked objects (benchmarks, data sets, languages, web services).
It provides information on more than 13,000 items in all mathematical
fields and lists nearly 125,000 scientific publications citing the
We compare the swMATH information about Computer Algebra Software (CAS) with similar Web resources in symbolic computation, e.g. Wikipedia, SIGSAM or the German Computer Algebra Special Interest Group. The focus is on automatically generated information from our publication-based approach.
As an example we present a software profile, which provides summarized information based on the Mathematical Subject Classification (MSC) tags of articles in the zbMATH database. An overview of open problems and next steps towards a better embedding of swMATH into scholarly communication will be given. We illustrate our concept with an online demonstration.
In our talk we address relevant questions, observations, and experience of our endeavor to develop and provide technical means to support the emergence of a digital research infrastructure on the intercommunity level. We discuss lessons to be learned from these activities and hurdles and obstructions to generalize intracommunity experience to an intercommunity level within the CA domain. Extended abstract available as PDF (86 KB).
ACA'2016 main page
Conferences on Applications of Computer Algebra main page