The TiGL Geometry Library and its Current Mathematical Challenges