"Leibniz is an attempt to define a digital scientific notation, i.e. a formal language for writing down scientific models in terms of equations and algorithms. Such models can be published, cited, and discussed, in addition to being manipulated by software.
Although Leibniz can express algorithms, it is not a programming language. It is more similar to a specification language in that it allows to express what some program is supposed to compute."
https://github.com/khinsen/leibniz
Scientific notations for the digital era - http://sjscience.org/article?id=527
https://www.guaana.com/projects/scientific-notations-for-the-digital-era
Verifiable research - https://thewinnower.com/papers/4770-verifiable-research-the-missing-link-between-replicability-and-reproducibility
https://zenodo.org/
http://nanopub.org/wordpress/
No comments:
Post a Comment