The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
We present a novel method for procedurally modeling large complex shapes. Our approach is general-purpose and takes as input any 3D polyhedral model provided by a user. The algori...
We present a simple technique to improve the perception of an object's shape. Bump mapping is well known in the computer graphics community for providing the impression of sm...
This paper explores the visualization of two-dimensional stable and unstable manifolds of the origin (a saddle point) in a four-dimensional Hamiltonian system arising from control...
Very large polygonal models are frequently used in scientific computing, mechanical engineering, or virtual medicine. An effective technique to handle these large models is occlus...