Information services for mathematical software, models, and research data

Organizers:

Hans-Gert Gräbe, University of Leipzig, Germany
Albert Heinle, University of Waterloo, Canada
Wolfram Sperber, FIZ Karlsruhe, Germany

Overview:

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.

Talks

• Information services for mathematical research data

  Wolfram Sperber (FIZ Karlsruhe, zbMATH, Germany)

  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:

  • Mathematical software is written in a formal language and requires special data formats.
  • Mathematical software is dynamic.
  • Widely accepted standards for the description and content analysis, maintaining and archving of information about mathematical software are missing.
  The talk discusses the spectrum of mathematical research data and a method to build information services for mathematical research data, the so-called publication-based approach. It seems to be that the publication-based approach is an effective means for the development of some information services for mathematical research data, especially directories and search engines. The concept bases on the fact that mathematical software is often accompanied by publications. This can be used to identify references to mathematical research data as well as to gain and evaluate information about mathematical research data via mathematical publications. The possibilities and limits of the publication-based approach are analyzed.

• The swMATH service for mathematical software - state of the art and perspectives

  Hagen Chrapary (FIZ Karlsruhe, zbMATH and ZIB Berlin, Germany)
  Winfried Neun (ZIB Berlin, Germany)

  Abstract: 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 software.
  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.

• The SIGSAM portal - a resource for the CA community

  Ilias Kotsireas (Wilfrid Laurier University, Canada)

• The SymbolicData project - a community driven project for the CA community

  Hans-Gert Gräbe (University of Leipzig, Germany)
  

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

• Benchmarks for and quality evaluation of CAS

  Albert Heinle (University of Waterloo, Canada)
  

• Round table discussion on information infrastructure for the CA community

Go to:
ACA'2016 main page
Conferences on Applications of Computer Algebra main page