Tool support for the Z formal notation
Supports PEDMAS order of computation and Reverse Polish Notation Gener
Symja - Java computer algebra language & symbolic math library
Unicode XML TEI text analysis platform
External plugins for modnlp/teccli
Equation of stock trading simplified to game of moving resizing balls
Bit level lambda continuations and nothing else - Queue automata
Software tool for Research in Computational Population Genetics
A lqfb delegation analyser. A 3d directed weighted multi graph.
Sphere surface layers of visual cortex approach maximum info density