Geometric modeling is the branch of computer graphics concerned with the mathematical representation of shape for use in computer-based design, analysis, and visualization. Its central task is to answer a deceptively simple question: how can a shape be described precisely enough that a computer can store it, manipulate it, and render it, while remaining faithful to the object it represents? The stakes are high because the representation is not merely a picture; it is the underlying data structure from which engineering analysis, manufacturing instructions, and visual simulations are derived. A small error in the model can propagate into a physically impossible part or a visually unacceptable artifact.
The field is defined by a tension between two goals that are often in conflict. On one hand, a model must be faithful: it must capture the intended shape with sufficient accuracy, whether that shape is a machined metal bracket or a character in an animated film. On the other hand, a model must be usable: it must support the operations that designers and engineers need, such as modifying a feature, computing a volume, or detecting intersections between parts. The history of the field is largely the history of different representational schemes, each of which strikes a different balance between these demands.
At its heart, geometric modeling confronts a fundamental mismatch. The physical world is continuous, but computers are finite. A curve, a surface, or a solid volume contains infinitely many points, yet a computer can store only a finite amount of data. Every representational scheme is therefore a strategy for compressing an infinite set of points into a finite description that can be expanded back into a shape on demand.
The earliest and most intuitive approach is the polygonal mesh. A surface is approximated by a collection of flat polygons, usually triangles, that meet at shared edges and vertices. This is the representation used by almost all real-time graphics, from video games to CAD viewports, because it is simple, flexible, and directly supported by graphics hardware. However, a mesh is an approximation. A curved surface represented by flat facets is visibly faceted unless the polygons are extremely small, and refining a mesh to reduce faceting increases storage and computation costs. Moreover, meshes describe only the boundary of an object, not its interior, which limits their use for engineering analysis that requires volumetric properties.
The limitations of meshes motivated the development of parametric curves and surfaces, which represent shape as a function of one or two parameters. A parametric curve is a mapping from a one-dimensional parameter interval to points in space; a parametric surface is a mapping from a two-dimensional parameter domain. The most influential family of parametric representations is the Bézier curve and its generalization, the B-spline and NURBS (Non-Uniform Rational B-Spline) surface. These representations define a curve or surface as a weighted combination of control points, where the weights are polynomial basis functions. The designer manipulates the control points rather than the surface points themselves, which provides an intuitive and powerful way to shape complex forms.
Parametric surfaces solved the faceting problem: a NURBS surface is mathematically smooth, and its curvature can be computed exactly. This made them the standard for the automotive, aerospace, and industrial design industries, where smooth, class-A surfaces are a requirement. However, parametric representations have their own limitations. A single NURBS surface is inherently rectangular in its parameter domain, so representing a complex shape such as a car body or a human head requires stitching together many surface patches. Ensuring that these patches meet smoothly along their shared boundaries is a difficult and error-prone task. Furthermore, parametric surfaces describe the boundary of an object but do not, by themselves, define which side of the surface is the interior.
The recognition that a surface representation is insufficient for engineering led to the emergence of solid modeling in the 1970s and 1980s. The central question of solid modeling is not merely "what is the shape of the boundary?" but "what points are inside the object?" This distinction matters for operations such as computing mass properties, detecting interference between parts, and generating tool paths for machining. A surface model can look correct but be ambiguous about its interior, which is unacceptable for manufacturing.
Two major approaches to solid modeling emerged, and their rivalry structured the field for decades. The first is constructive solid geometry (CSG), which represents a solid as a boolean combination of primitive solids such as blocks, cylinders, spheres, and cones. The designer builds a part by adding and subtracting primitives, much like a sculptor working with a set of basic blocks. CSG is elegant and unambiguous: the interior of a CSG object is defined by the boolean operations, and the representation is always valid because it is built from valid primitives. However, CSG has a serious practical weakness. The boundary of a CSG object—the actual surfaces that would be machined or rendered—is not stored explicitly. It must be computed by evaluating the boolean operations, which is a nontrivial geometric computation. Moreover, CSG is poorly suited to free-form shapes, since a sculpted surface cannot easily be expressed as a combination of simple primitives.
The rival approach is boundary representation, usually called B-rep. In a B-rep, a solid is represented by its boundary, but the boundary is organized into a topological structure that records how faces, edges, and vertices connect to one another. This topological information is what distinguishes a B-rep from a mere surface model: it encodes the adjacency relationships that determine which faces bound the solid and how they meet. The B-rep approach was pioneered in the 1970s by Ian Braid and his colleagues at the University of Cambridge, who developed the BUILD system, and it was later commercialized in systems such as Parasolid and ACIS. B-reps can represent free-form surfaces by using NURBS patches as the faces, and they support the local modifications that designers need, such as moving a hole or extending a face. The price is complexity: maintaining the consistency of the topological structure through arbitrary editing operations is difficult, and a B-rep can become invalid if the topology and geometry fall out of sync.
The CSG-versus-B-rep debate was not resolved by one side defeating the other. Instead, modern CAD systems use both, in a hybrid arrangement. The user interacts with a CSG-like feature tree—a history of operations such as extrude, cut, and fillet—while the system maintains a B-rep as the current state of the part. The feature tree provides an intuitive editing model, and the B-rep provides the explicit boundary needed for rendering and analysis. This hybrid is so universal that it is now simply what "CAD" means in practice, but it is worth remembering that it emerged from a genuine conceptual conflict about what a solid model fundamentally is.
While the engineering world was consolidating around NURBS and B-reps, a different tradition was developing in computer animation and digital content creation. Animators needed to model organic shapes—characters, creatures, terrain—that are difficult to create with the control-point discipline of NURBS. The solution that emerged in the late 1970s and matured in the 1990s is the subdivision surface.
A subdivision surface begins with a coarse polygonal mesh, called the control cage, and repeatedly refines it by inserting new vertices and repositioning existing ones according to a fixed set of rules. Each refinement step produces a finer mesh that converges, in the limit, to a smooth surface. The animator works with the coarse cage, which is easy to manipulate, while the smooth limit surface is what gets rendered. Subdivision surfaces have a crucial advantage over NURBS for organic modeling: they can represent surfaces of arbitrary topological type without the need to stitch together patches. A character's head, with its ears, nose, and eye sockets, is a single subdivision surface, not a patchwork.
The most influential subdivision scheme is the Catmull-Clark algorithm, named after Edwin Catmull and Jim Clark, which generalizes bicubic B-splines to meshes of arbitrary topology. Its rival, the Loop scheme, works on triangular meshes. Subdivision surfaces are now the standard representation in animation and visual effects, and they have also found their way into engineering for conceptual design, where their ability to handle arbitrary topology is an advantage. However, they have not displaced NURBS in manufacturing-oriented CAD, because the limit surface of a subdivision scheme is not a NURBS surface and cannot be exactly represented in the NURBS-based exchange formats that machine tools expect. The two representations coexist, each serving the needs of its domain.
A third major family of representations describes shape not as a boundary or a parametric mapping but as the set of points where a mathematical function takes a particular value. An implicit surface is defined by an equation of the form f(x, y, z) = 0, where the surface is the set of points where the function equals zero, and the interior is the set where the function is negative (or positive, depending on convention). The most familiar example is the sphere, defined by x² + y² + z² − r² = 0.
Implicit surfaces have a remarkable property: they make boolean operations trivial. The union of two implicit surfaces is simply the minimum of their functions, the intersection is the maximum, and the difference is a combination of the two. This makes them attractive for modeling objects that are naturally defined by combining volumetric fields, such as blends between shapes or organic forms that grow and merge. The blobby model, introduced by Jim Blinn in 1982, used implicit surfaces to represent molecules as overlapping spheres that blend smoothly, and the technique was later generalized to metaballs for special effects.
The more general form of this approach is volumetric modeling, in which the shape is represented by a scalar field sampled on a regular grid of voxels (volume elements). Each voxel stores a value indicating whether it is inside, outside, or on the boundary of the object. Volumetric representations are robust and simple: boolean operations are performed voxel by voxel, and the representation can never become topologically invalid. They are widely used in medical imaging, where CT and MRI scans produce volumetric data directly, and in 3D printing, where a voxel representation can be converted directly to a machine instruction. The cost is resolution: a voxel grid uses memory proportional to the cube of its resolution, so representing fine detail requires enormous storage. Adaptive schemes, such as octrees, which subdivide the grid only where detail is needed, mitigate this problem but add complexity.
The relationship between implicit and parametric representations is one of complementarity. Parametric surfaces are excellent for precise, editable, smooth shapes; implicit surfaces are excellent for boolean operations, blends, and shapes that emerge from physical fields. A recurring theme in the field is the attempt to combine the two, for example by converting a parametric surface into an implicit form for a boolean operation and then converting the result back. These conversions are mathematically nontrivial and are an active area of research.
The contemporary field of geometric modeling is shaped by several converging trends. The first is the rise of digital geometry processing, which treats a mesh not as a rendering primitive but as a mathematical object in its own right. Researchers in this area study how to smooth, denoise, remesh, parameterize, and deform meshes while preserving their geometric and topological properties. This work has made meshes far more capable than the naive faceted surfaces of early graphics, and it has blurred the boundary between the "approximate" mesh and the "exact" parametric surface.
The second trend is the increasing importance of acquired geometry. Laser scanners, structured-light sensors, and photogrammetry produce dense point clouds—unordered sets of points sampled from a physical object's surface. The problem of converting a point cloud into a usable model, a process called surface reconstruction, is now a central topic. Reconstruction must contend with noise, missing data, and irregular sampling, and it often produces a mesh rather than a parametric surface, because the acquired shape is arbitrary and does not conform to the rectangular parameter domain of a NURBS patch.
The third trend is the emergence of neural representations, in which a shape is encoded by a neural network that maps coordinates to occupancy or signed distance values. A neural signed distance field (often abbreviated as a neural SDF) stores the shape implicitly in the weights of the network, and it can represent complex geometry with a memory footprint that is independent of the shape's resolution. These representations have become prominent in machine learning for 3D, where they serve as a bridge between images and geometry, but they are also being explored as a practical modeling representation. Their limitations are significant: they are difficult to edit, they do not provide the exactness that engineering requires, and they are not yet integrated into the CAD pipeline. Whether they will become a mainstream modeling representation or remain a tool for specific applications is an open question.
The field today is therefore not a single unified discipline but a landscape of coexisting representations, each with its own strengths and weaknesses. The engineer designing a turbine blade works in a hybrid CSG/B-rep system with NURBS surfaces. The animator modeling a dragon works with subdivision surfaces. The medical researcher visualizing a scanned organ works with volumetric data. The robotics engineer planning a grasp might work with a neural field. The enduring questions that unite these practitioners are the same ones that motivated the field's founders: how to represent shape faithfully, how to edit it efficiently, and how to ensure that the representation supports the operations that matter for the application at hand. The answers have changed, and will continue to change, but the questions remain the field's defining core.