diff options
Diffstat (limited to '2020/2020-04-27.md')
| -rw-r--r-- | 2020/2020-04-27.md | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/2020/2020-04-27.md b/2020/2020-04-27.md new file mode 100644 index 0000000..c1481a5 --- /dev/null +++ b/2020/2020-04-27.md @@ -0,0 +1,51 @@ + +## MathML + +Seems like MathML and the ecosystem are actually pretty interesting. "Open +Math" is similar to content MathML (eg, also XML), but designed for +interchange. SBML has a relatively large academic community (looks like many +student projects building simulators or old-style IDEs). + +A version 4 is being standardized: <https://mathml-refresh.github.io/> + +## Wikidata + +What equations/models/formulae are there already in wikidata? + +There is ["defining formula"](https://www.wikidata.org/wiki/Property:P2534), +which is an instance of a "mathematical expression", which enforces +LaTeX-ish parse-ability and rendering with MathML. Currently about 4,500 +instances in wikidata (!). + +Alternatively there is [TeX string](https://www.wikidata.org/wiki/Property:P1993). + +Eg, quadratic equation has LaTeX-y output: <https://www.wikidata.org/wiki/Q15909572> + +Wowa! SPARQL query to describe the components of ideal gas law: +<https://query.wikidata.org/#%23Explain%20identifiers%20in%20ideal%20gas%20law%20%28wd%3AQ11432%29%0ASELECT%20%3Fidentifier%20%3FdescriptionLabel%20WHERE%20%7B%0Awd%3AQ11432%20p%3AP527%20%3Fstatement2.%0A%3Fstatement2%20ps%3AP527%20%3Fdescription.%0A%3Fstatement2%20pq%3AP2534%20%3Fidentifier.%20%0A%20%20SERVICE%20wikibase%3Alabel%20%7B%20bd%3AserviceParam%20wikibase%3Alanguage%20%22en%22.%20%7D%0A%7D> + +## Short Links + +Rust `latex2mathml` crate, for presentation MathML. Has no depdendencies! Good +to read. +<https://github.com/osanshouo/latex2mathml/blob/master/src/lib.rs> + +Rust sbml and mathml parser crates. +<https://crates.io/crates/sbml> + +libroadrunner is a C library for simulating SBML models. It wraps SUNDIALS and +libSBML. There is a python wrapper. +<http://libroadrunner.org/> + +LibSBMLSim seems like a simple SBML model simulator. +<http://fun.bio.keio.ac.jp/software/libsbmlsim/> + +POPCORN is an alternative syntax for Open Math +<http://web.archive.org/web/20150822191347/http://java.symcomp.org/FormalPopcorn.html> + +Biomodels is a database of SBML models. Here is one of influenza epidemic modeling: +<http://www.ebi.ac.uk/biomodels/content/model-of-the-month?year=2020&month=03> + +AsciiMath is a simple infix/C style notation. It can be transformed to MathML by MathJax. +<https://en.wikipedia.org/wiki/AsciiMath> + |