Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface

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, scien...

Full description

Bibliographic Details
Main Author: Konrad Hinsen
Format: Article
Language:English
Published: PeerJ Inc. 2018-07-01
Series:PeerJ Computer Science
Subjects:
Online Access:https://peerj.com/articles/cs-158.pdf