id author title date pages extension mime words sentences flesch summary cache txt work_ipnice3j5bdd5pqvvm65vhivse Konrad Hinsen Verifiability in computer-aided research: the role of digital scientific notations at the human-computer interface 2018 .pdf text/html 582 110 57 [PDF] Digital Scientific Notations as a Human-Computer Interface in Computer-Aided Research | Semantic Scholar Corpus ID: 47234108Digital Scientific Notations as a Human-Computer Interface in Computer-Aided Research title={Digital Scientific Notations as a Human-Computer Interface in Computer-Aided Research}, Figures and Topics from this paper Computer Simulations and Computational Models in Science User interfaces for computational science: A domain specific language for OOMMF embedded in Python Computational science: shifting the focus from tools to models. View 1 excerpt, references background View 1 excerpt, references background View 1 excerpt, references background View 1 excerpt, references background View 1 excerpt, references background View 1 excerpt, references background View 1 excerpt, references background Semantic Scholar is a free, AI-powered research tool for scientific literature, based at the Allen Institute for AI. By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License ./cache/work_ipnice3j5bdd5pqvvm65vhivse.pdf ./txt/work_ipnice3j5bdd5pqvvm65vhivse.txt