All posts about #CAS



Harmonic number and Zeta functions explained in Julia (part 1)

This is part 1 of a series explaining what is Harmonic number and it's connection with Zeta functions. The post …




Two 3-d cyclic integrals by Mathematica

This post is converted to Markdown from this Mathematica notebook thanks to the M2MD package by Kuba Podkalicki.


I came …




Long runs in coin tosses




The Nested Radical Constant

My colleagues at Uppsala University regularly give some puzzles to everyone. We got the following one for this week. I …




The joy of experimental mathematics

I came across an interesting identity on math.stackexchange.com.




An example of proving summation identities with computer

I am trying to learn how to use computers to prove identities like this one




The moment of truncated random variables

Given a random variable \(Y\), sometimes we want to compute the expectation of \(Y[Y\le a]\), where \([P]=1 …




The Convexity Property Related to Beta Densities -- In sage

This is a continuation of my previous post on beta distribution.

My colleague Tilo wants me to use Sagemath instead …




Another version of Chernoff's bound and a Mathematica package for it

Chernoff's bound is a group of quite well-known concentration-inequalities. I though I know it but last week my collage Gabriel …




The Convexity Property Related to Beta Densities

Density function of Beta[3,7]

(This is a question asked by Tilo Wiklund recently on our group meeting.)