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

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

Page last updated 20 June 2016

Imprint