English
Related papers

Related papers: Interaction entre math\'ematique et informatique L…

200 papers

In this note, I develop my personal view on the scope and relevance of symbolic computation in software science. For this, I discuss the interaction and differences between symbolic computation, software science, automatic programming,…

Symbolic Computation · Computer Science 2021-09-08 Bruno Buchberger

While the open-source software development model has led to successful large-scale collaborations in building software systems, data science projects are frequently developed by individuals or small teams. We describe challenges to scaling…

Machine Learning · Computer Science 2021-10-26 Micah J. Smith , Jürgen Cito , Kelvin Lu , Kalyan Veeramachaneni

Open source software (OSS) has been playing a fundamental role in not only information technology but also our social lives. Attracted by various advantages of OSS, increasing commercial companies take extensive participation in open source…

Software Engineering · Computer Science 2024-05-28 Xuetao Li , Yuxia Zhang , Cailean Osborne , Minghui Zhou , Zhi Jin , Hui Liu

Open source software is free software that provides user freedom to use, replicate, modify, and distribute for any purpose. The quality of well-known open source software is very high and they are used by big companies such as IBM, Google…

Other Computer Science · Computer Science 2012-07-19 Mohammad Nabil Almunawar

Most if not all of today's revolutionary technologies have a common foundation, namely the intelligent use of information. It is clear that computers play a central role: but the contribution of mathematics, though less visible, is no less…

General Mathematics · Mathematics 2021-04-02 Christopher Thron , Monira Taj Elsir Hamid Ali

End users positive response is essential for the success of any software. This is true for both commercial and Open Source Software (OSS). OSS is popular not only because of its availability, which is usually free but due to the user…

Software Engineering · Computer Science 2020-05-21 Arif Razza , Luiz Fernando Capretz , Shuib Basri

In this paper, the term formula code refers to fragments of source code that implement a mathematical formula. We present empirical studies that analyze the diversity and frequency of formula code in open-source-software projects. In an…

Software Engineering · Computer Science 2020-11-30 Oliver Moseler , Felix Lemmer , Sebastian Baltes , Stephan Diehl

Since its existence, the computer tool has often supported mathematicians, whether it is to implement an approximation method (numerical calculation of a root, of an integral, ...) or to simulate a phenomenon (geometric in nature,…

Computers and Society · Computer Science 2023-08-29 Karim Zayana , Régis Queruel , Pierre Michalak

The article deals with the problem of intellectual development of students in learning of physics by means of computer simulation. The main objectives of teaching computer simulation in learning of physics is the general outlook…

Physics Education · Physics 2018-12-04 Yu. V. Yechkalo

Open Source Software (OSS) projects offer valuable opportunities to train the next generation of software engineers while benefiting projects and society as a whole. While research has extensively explored student participation in OSS and…

Software Engineering · Computer Science 2025-04-25 Italo Santos , Katia Romero Felizardo , Bianca Trinkereinch , Daniel M. German , Igor Steinmacher , Marco A. Gerosa

In this article, the notion of a mathematical model in science is attempted to be enlightened from several points of view. In particular, it is shown that mathematical models are introduced differently and used differently in different…

History and Overview · Mathematics 2022-05-25 Inge S. Helland

Open source software is a rapidly evolving center for distributed work, and understanding the characteristics of this work across its different contexts is vital for informing policy, economics, and the design of enabling software. The…

Software Engineering · Computer Science 2025-04-24 Wenyi Lu , Enock Kasaadah , S M Rakib Ul Karim , Matt Germonprez , Sean Goggins

Symbolic calculators like Mathematica are becoming more commonplace among upper level physics students. The presence of such a powerful calculator can couple strongly to the type of mathematical reasoning students employ. It does not merely…

Physics Education · Physics 2009-11-13 Thomas J. Bing , Edward F. Redish

Free and open source software is widely used in the creation of software systems, whereas many organisations choose to provide their systems as open source. Open source software carries licenses that determine the conditions under which the…

Software Engineering · Computer Science 2021-10-04 Maria Papoutsoglou , Georgia M. Kapitsaki , Daniel German , Lefteris Angelis

The idea of using unfolding as a way of computing a program semantics has been applied successfully to logic programs and has shown itself a powerful tool that provides concrete, implementable results, as its outcome is actually source…

Programming Languages · Computer Science 2017-08-29 José María Rey-Poza , Julio Mariño-Carballo

Open Science aims to foster openness and collaboration in research, leading to more significant scientific and social impact. However, practicing Open Science comes with several challenges and is currently not properly rewarded. In this…

Software Engineering · Computer Science 2024-05-21 Edson OliveiraJr , Fernanda Madeiral , Alcemir Rodrigues Santos , Christina von Flach , Sergio Soares

Formal mathematics is mathematics done within the framework of a formal logic. It offers major benefits to mathematicians as well as to computing professionals, engineers, and scientists who use mathematics in their work. The standard…

Logic · Mathematics 2026-03-24 William M. Farmer

Symbolic mathematical computing systems have served as a canary in the coal mine of software systems for more than sixty years. They have introduced or have been early adopters of programming language ideas such ideas as dynamic memory…

Symbolic Computation · Computer Science 2024-06-14 Arthur C. Norman , Stephen M. Watt

Recent years have seen a sharp increase in the use of open source projects by common novice users; Open Source Software (OSS) is thus no longer a reserved arena for software developers and computer gurus. Although user-centered designs are…

Human-Computer Interaction · Computer Science 2015-12-01 Arif Raza , Luiz Fernando Capretz , Faheem Ahmed

Software engineering and information systems practices seek ultimately to create the flawless product. One of the tools used to improve the quality of software development is the use of metrics. In this paper, metrics retrieved from open…

Software Engineering · Computer Science 2015-11-11 Mamdouh Alenezi , Ibrahim Abunadi