Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface
Open Access
- 23 July 2018
- journal article
- research article
- Published by PeerJ in PeerJ Computer Science
- Vol. 4, e158
- https://doi.org/10.7717/peerj-cs.158
Abstract
Most of today’s scientific research relies on computers and software for processing scientific information. Examples of such computer-aided research are the analysis of experimental data or the simulation of phenomena based on theoretical models. With the rapid increase of computational power, scientific software has integrated more and more complex scientific knowledge in a black-box fashion. As a consequence, its users do not know, and do not even have a chance of finding out, which assumptions and approximations their computations are based on. This black-box nature of scientific software has made the verification of much computer-aided research close to impossible. The present work starts with an analysis of this situation from the point of view of human-computer interaction in scientific research. It identifies the key role of digital scientific notations at the human-computer interface, reviews the most popular ones in use today, and describes a proof-of-concept implementation of Leibniz, a language designed as a verifiable digital scientific notation for models formulated as mathematical equations.Keywords
This publication has 35 references indexed in Scilit:
- Computational science: ...ErrorNature, 2010
- (Position Paper) Applying software engineering methods and tools to CSE research projectsProcedia Computer Science, 2010
- Growth in a Time of DebtAmerican Economic Review, 2010
- Five retracted structure reports: Inverted or incorrect?Protein Science, 2007
- A Scientist's Nightmare: Software Problem Leads to Five RetractionsScience, 2006
- Functional declarative language design and predicate calculusACM Transactions on Programming Languages and Systems, 2005
- Modelica — A unified object-oriented language for system modeling and simulationPublished by Springer Science and Business Media LLC ,1998
- A Second Generation Force Field for the Simulation of Proteins, Nucleic Acids, and Organic MoleculesJournal of the American Chemical Society, 1995
- Literate ProgrammingThe Computer Journal, 1984
- The publication of scientific fortran programsComputer Physics Communications, 1969