## 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>