blob: c1481a523aec12dad3537274133e4abf5ec05dfc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
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>
|
