Simulation of the focusing DIRC optics with Mathematica | IEEE Conference Publication | IEEE Xplore