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

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.)