Statistical Simplification
Lawrence Leemis, a statistician at Williams and Mary, recently published a wonderful interactive visualization on the reduction relationships of statistical distributions. (found via John Cook’s...
View ArticleIntroducing LogPy
LogPy is a library for logic and relational programming in Python. This post contains some introductory examples.Informative ExamplesLogPy enables the expression of relations and the search for values...
View ArticleLogPy - Facts and Relations
In my last post I introduced LogPy, a library for logic and relational programming in Python. In this post I show how LogPy can be used as a quick and dirty in-memory database.DataAs an example we’ll...
View ArticleCommutative Unification
LogPy now supports commutative and associative pattern matching on expression trees. This is a standard requirement for computer algebra systems like SymPy but not a traditional feature of logic...
View ArticleAssuming assumptions
SymPy has two assumptions systems called (unimaginatively) “old assumptions” and “new assumptions.” They differ in how they manage mathematical attributes.Old AssumptionsIn old assumptions attributes...
View ArticleMaximum a Posteriori Estimation
Disclaimer: I know relatively little about this application. Corrections welcome.In this post we see how SymPy can simplify common numeric calculations, particularly in Bayesian inference...
View ArticleSymPy and Theano -- Code Generation
No one is good at everything, that’s why we have society.No project is good at everything, that’s why we have interfaces.This is the first of three posts that join SymPy, a library for symbolic...
View ArticleSymPy and Theano -- Scalar Simplification
IntroductionThis post uses some LaTeX. You may want to read it on the original site.In my last post I showed how SymPy can benefit from Theano. In particular Theano provided a mature platform for code...
View ArticleSymPy and Theano -- Matrix Expressions
IntroductionThis post uses some LaTeX. You may want to read it on the original site.This is the last of a three part series connecting SymPy and Theano to transform mathematical expressions into...
View ArticleUsing SymPy within Theano
Several months ago I published a sequence of blogposts about using SymPy and Theano together to generate efficient mathematical codes. Main points from the posts were as followsCode Generation: We...
View Article