The Walkthru Project (UNC) Geometric Modeling Software- AIZU
http://www.uni-math.gwdg.de/kriete/IQN/summary.html