Abstract: Nonlinear forms such as the cone, sphere, cylinder, and torus present significant problems in representation and verification. In this paper we examine linear and nonlinear forms using a heavily ...