Very effective Matlab library that implements the fast marching methods for both 2D/3D Cartesian spaces and triangulated surfaces (Meshes). It also implements the Farthest Point Sa...
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...
Abstract. In computer science methods to aid learning are very imporcause abstract models are used frequently. For this conventional teaching methods do not suffice. We have develo...
Beatrix Braune, Stephan Diehl, Andreas Kerren, Rei...
Most recent graphics courses are what we would call topdown courses. Courses that focus on using graphical packages to implement and teach graphics. The course discussed in this p...