Mathematica at MIMUW