English
Related papers

Related papers: The mathematical research-data repository MathRepo

200 papers

Mathematical reasoning is a fundamental aspect of human intelligence and is applicable in various fields, including science, engineering, finance, and everyday life. The development of artificial intelligence (AI) systems capable of solving…

Artificial Intelligence · Computer Science 2023-06-23 Pan Lu , Liang Qiu , Wenhao Yu , Sean Welleck , Kai-Wei Chang

Access to mathematical knowledge has changed dramatically in recent years, therefore changing mathematical search practices. Our aim with this study is to scrutinize professional mathematicians' search behavior. With this understanding we…

Human-Computer Interaction · Computer Science 2014-05-16 Andrea Kohlhase

Nowadays, scientific databases have become the bread-and-butter of particle physicists. These databases must be maintained and checked repeatedly to insure the accuracy of their content. The COMPETE collaboration aims at motivating data…

Background: Data mining and analyzing of public Git software repositories is a growing research field. The tools used for studies that investigate a single project or a group of projects have been refined, but it is not clear whether the…

Software Engineering · Computer Science 2020-08-18 Adam Tutko , Austin Henley , Audris Mockus

As scientific work becomes more computational and data intensive, research processes and results become more difficult to interpret and reproduce. In this poster, we show how the Jupyter notebook, a tool originally designed as a free…

Digital Libraries · Computer Science 2018-04-17 Bernadette M. Boscoe , Irene V. Pasquetto , Milena S. Golshan , Christine L. Borgman

In a broad sense, artificial intelligence is a service to find a solution to complex intellectual problems. In this sense, the MathPartner service provides artificial intelligence that allows us to formulate questions and receive answers to…

Symbolic Computation · Computer Science 2025-01-10 Gennadi Malaschonok , Alexandr Seliverstov

Currently, there is limited research investigating the phenomenon of research data repositories being shut down, and the impact this has on the long-term availability of data. This paper takes an infrastructure perspective on the…

Digital Libraries · Computer Science 2026-03-26 Dorothea Strecker , Heinz Pampel , Rouven Schabinger , Nina Leonie Weisweiler

We study network response to queries that require computation of remotely located data and seek to characterize the performance limits in terms of maximum sustainable query rate that can be satisfied. The available resources include (i) a…

Networking and Internet Architecture · Computer Science 2016-11-17 Apostolos Destounis , Georgios S. Paschos , Iordanis Koutsopoulos

We present zbMATH Open, the most comprehensive collection of reviews and bibliographic metadata of scholarly literature in mathematics. Besides our website https://zbMATH.org which is openly accessible since the beginning of this year, we…

Mathematical understanding is built in many ways. Among these, illustration has been a companion and tool for research for as long as research has taken place. We use the term illustration to encompass any way one might bring a mathematical…

History and Overview · Mathematics 2023-12-29 Rémi Coulon , Gabriel Dorfsman-Hopkins , Edmund Harriss , Martin Skrodzki , Katherine E. Stange , Glen Whitney

Scholarly usage data provides unique opportunities to address the known shortcomings of citation analysis. However, the collection, processing and analysis of usage data remains an area of active research. This article provides a review of…

Digital Libraries · Computer Science 2015-05-27 Michael J. Kurtz , Johan Bollen

Today's astronomical projects need computational systems capable to store and analyze large amounts of scientific data, to effectively share data with other research Institutes and to easily implement information services to present data…

Astrophysics · Physics 2007-05-23 G. Calderone , L. Nicastro

In this lecture I discuss some aspects of MKM, Mathematical Knowledge Management, with particuar emphasis on information storage and information retrieval.

Information Retrieval · Computer Science 2007-05-23 Michiel Hazewinkel

This paper describes a novel perspective on the foundations of mathematics: how mathematics may be seen to be largely about 'information compression via the matching and unification of patterns' (ICMUP). ICMUP is itself a novel approach to…

Artificial Intelligence · Computer Science 2018-10-10 J Gerard Wolff

In order to introduce an integrated research information system, this will provide scientific institutions with the necessary information on research activities and research results in assured quality. Since data collection, duplication,…

Databases · Computer Science 2019-01-23 Otmane Azeroual , Mohammad Abuosba

Without sufficient information about research data practices occurring in a particular research organisation, there is a risk of mismatching research data service efforts with the needs of its researchers. This study describes how data…

Digital Libraries · Computer Science 2022-05-12 Antti Mikael Rousi

Data mining is the task of discovering interesting, unexpected or valuable structures in large datasets and transforming them into an understandable structure for further use . Different approaches in the domain of data mining have been…

Databases · Computer Science 2020-09-21 Julie Bu Daher , Armelle Brun , Anne Boyer

A common task in scientific computing is the derivation of data. This workflow extracts the most important information from large input data and stores it in smaller derived data objects. The derived data objects can then be used for…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-05-10 Tobias Wegner , Mario Lassnig , Peer Ueberholz , Christian Zeitnitz

Data science is an emerging interdisciplinary field that combines elements of mathematics, statistics, computer science, and knowledge in a particular application domain for the purpose of extracting meaningful information from the…

Other Statistics · Statistics 2015-03-20 Ben Baumer

A cross-disciplinary examination of the user behaviours involved in seeking and evaluating data is surprisingly absent from the research data discussion. This review explores the data retrieval literature to identify commonalities in how…

Digital Libraries · Computer Science 2020-03-13 Kathleen Gregory , Paul Groth , Helena Cousijn , Andrea Scharnhorst , Sally Wyatt