Fact-checked by Grok 2 weeks ago

Implicit curve

An implicit curve is a curve in the plane defined by an equation of the form f(x, y) = 0, where f is a function—often a polynomial—such that the set of points (x, y) satisfying the equation traces the curve.^[1] When f is a polynomial, the curve is algebraic, and its degree (the highest total power of the variables in f) determines its order and geometric complexity, with higher degrees allowing for more intricate shapes like loops and cusps.^[2] In algebraic geometry, implicit curves encompass a broad class of objects studied since antiquity, including classical examples such as the cissoid of Diocles, defined by (a - x)y^2 = x^3 (degree three, with an asymptote at x = a), and the semicubic parabola y^2 = k x^3 (also degree three).^[1] Unlike parametric representations, which map a parameter t to coordinates via x = h_1(t), y = h_2(t), implicit forms directly specify relations between coordinates without parameterization, though not all implicit curves admit a rational parametrization.^[2] This representation is particularly powerful for capturing the entire locus of points, including singularities and multiple components, and is foundational in modern algebraic geometry for analyzing intersections and symmetries.^[3] Implicit curves find extensive applications in computer-aided geometric design (CAGD) and computer graphics, where they facilitate exact geometric operations such as offsets, unions, and intersections—tasks that are approximate or complex in parametric forms.^[3] For instance, point membership testing is straightforward by evaluating f(x, y), and conversions between implicit and parametric representations rely on algebraic tools like resultants or Gröbner bases.^[2] In higher dimensions, the concept extends to implicit surfaces defined by f(x, y, z) = 0, enabling modeling of complex 3D objects in fields like solid modeling and visualization.^[3]

Definition and Representation

Implicit Equation

An implicit curve in the plane is defined by an equation of the form F(x, y) = 0, where F: \mathbb{R}^2 \to \mathbb{R} is a smooth function, and the curve consists of all points (x, y) satisfying this equation.^[4] This representation captures the curve as the zero-level set of F, meaning the locus where the function value vanishes.^[5] In general, the equation F(x, y) = 0 can take various forms depending on the choice of F; for algebraic curves, F is often a polynomial. A classic example is the circle of radius r centered at the origin, given by

x^2 + y^2 - r^2 = 0,

which describes all points at a fixed distance r from the origin.^[6] Similarly, an ellipse with semi-major axis a and semi-minor axis b along the coordinate axes is represented by

\left( \frac{x}{a} \right)^2 + \left( \frac{y}{b} \right)^2 - 1 = 0,

illustrating how implicit equations naturally encode conic sections through quadratic polynomials.^[6] The concept of level sets provides a broader context: for a fixed value c, the set \{ (x, y) \mid F(x, y) = c \} forms a curve parallel to the zero-level set in some sense, but the implicit curve specifically traces the boundary where F(x, y) = 0.^[4] Implicit equations originated in the development of algebraic geometry during the 17th century, with foundational contributions from René Descartes and Pierre de Fermat, who used them to study and classify plane curves through coordinate methods.^[7]

Comparison to Parametric and Explicit Forms

Implicit curves, defined by an equation F(x, y) = 0, differ fundamentally from parametric and explicit representations in how they describe geometric loci in the plane. Parametric curves are given by equations x = x(t), y = y(t), where t is a parameter typically varying over a real interval, mapping the parameter space directly to points on the curve.^[8] This form facilitates sequential traversal and evaluation at specific parameter values, which is advantageous for applications requiring ordered point generation, such as path animation or spline interpolation.^[9] In contrast, explicit curves take the form y = f(x), treating the curve as a single-valued function of the independent variable x, which simplifies plotting and analytical integration but restricts representation to graphs without vertical tangents, loops, or multiple y-values for a given x.^[10] Converting between these representations involves algebraic manipulation to align their descriptive frameworks. To obtain an implicit equation from a parametric form, the parameter t must be eliminated, often achieved through resultant computation or Gröbner basis methods, which yield a polynomial equation in x and y of degree matching the parametric polynomials.^[2] For instance, a rational parametric curve of degree n implicitizes to a degree n polynomial, though the process can introduce extraneous factors or computational overhead, as noted in early work on elimination theory for geometric design.^[11] Conversely, transforming an explicit equation y = f(x) to implicit is straightforward by rearrangement, such as f(x) - y = 0, preserving the functional relationship while enabling broader geometric queries.^[12] Parameterizing an implicit curve, however, is more challenging and not always possible without singularities, requiring techniques like line pencils for conics or rational mappings for certain algebraic varieties.^[2] The trade-offs among these forms highlight their complementary roles in mathematical and computational geometry. Implicit representations excel at capturing multi-valued relations and closed curves naturally, such as circles or ellipses, without domain restrictions or parameterization artifacts, making them ideal for intersection testing and constraint satisfaction.^[11] Explicit forms, while intuitive for vertical slices and simple visualization, fail for non-functional curves like the full circle, where y = \pm \sqrt{r^2 - x^2} would require piecewise definitions.^[8] Parametric forms provide flexibility for smooth, continuous traversal and local control, as in Bézier curves for design, but demand explicit parameter management and may miss points during implicitization if not handled projectively.^[9] For example, the unit circle illustrates this: parametrically as x = \cos t, y = \sin t; explicitly limited to semicircles like y = \sqrt{1 - x^2}; and implicitly as x^2 + y^2 = 1, which unifies all points without traversal order.^[9] Overall, implicit forms prioritize holistic definition over sequential access, suiting algebraic analysis, while parametric and explicit variants favor procedural generation at the cost of generality.^[2]

Geometric Properties

Tangent and Normal Vectors

For an implicit curve defined by the equation F(x, y) = 0, the gradient vector \nabla F = \left( \frac{\partial F}{\partial x}, \frac{\partial F}{\partial y} \right) at any point on the curve provides the direction normal to the curve. This follows from the fact that the gradient points in the direction of the greatest rate of change of F, and along the level set F = 0, any displacement tangent to the curve yields zero change in F, making \nabla F perpendicular to such tangent directions.^[13]^[14] The tangent vector can be obtained by rotating the normal vector \nabla F by 90 degrees in the plane, resulting in a direction proportional to \left( -\frac{\partial F}{\partial y}, \frac{\partial F}{\partial x} \right). This rotation ensures orthogonality, as the dot product of the normal and this tangent direction is zero: \nabla F \cdot \left( -\frac{\partial F}{\partial y}, \frac{\partial F}{\partial x} \right) = -\frac{\partial F}{\partial x} \frac{\partial F}{\partial y} + \frac{\partial F}{\partial y} \frac{\partial F}{\partial x} = 0. For practical use, the tangent vector is often normalized to unit length by dividing by its magnitude \sqrt{\left( \frac{\partial F}{\partial y} \right)^2 + \left( \frac{\partial F}{\partial x} \right)^2}, yielding a unit tangent vector.^[15]^[16] At a specific point (x_0, y_0) on the curve where F(x_0, y_0) = 0, the tangent direction is given by the vector proportional to \left( -F_y(x_0, y_0), F_x(x_0, y_0) \right), with F_x = \frac{\partial F}{\partial x} and F_y = \frac{\partial F}{\partial y}. This construction holds provided \nabla F(x_0, y_0) \neq (0, 0), ensuring the curve is smooth at that point.^[15]^[16] A representative example is the unit circle defined by F(x, y) = x^2 + y^2 - 1 = 0. Here, \nabla F = (2x, 2y), serving as the normal vector. The corresponding tangent vector is proportional to (-2y, 2x), which traces the tangential direction around the circle. For instance, at (1, 0), the normal is (2, 0) and the tangent is (0, 2), aligning with the horizontal tangent line.^[13]^[14]

Curvature Formulas

The curvature \kappa of an implicit curve defined by F(x, y) = 0 measures the instantaneous rate of change of the tangent direction along the curve, quantifying its deviation from a straight line. In the context of level set representations, \kappa is given by the absolute value of the divergence of the unit normal vector \mathbf{n} = \nabla F / |\nabla F|, that is, \kappa = |\nabla \cdot \mathbf{n}|.^[17] This expression connects the geometric bending to the divergence operator applied to the normalized gradient field.^[18] The explicit formula for \kappa in terms of the first- and second-order partial derivatives of F is

\kappa = \frac{ | F_y^2 F_{xx} - 2 F_x F_y F_{xy} + F_x^2 F_{yy} | }{ (F_x^2 + F_y^2)^{3/2} },

where F_x = \partial F / \partial x, F_y = \partial F / \partial y, F_{xx} = \partial^2 F / \partial x^2, F_{yy} = \partial^2 F / \partial y^2, and F_{xy} = \partial^2 F / \partial x \partial y.^[19] This formula arises from adapting the parametric Frenet-Serret curvature to the implicit setting via the gradient and Hessian of F.^[18] Geometrically, \kappa indicates the sharpness of bending at a point on the curve: it equals zero for straight lines (no bending) and approaches infinity at singularities where |\nabla F| = 0, marking points of non-differentiability or self-intersections.^[18] Higher values of \kappa correspond to tighter turns, influencing applications like curve evolution and shape analysis.^[19] As a representative example, for a circle given by F(x, y) = x^2 + y^2 - r^2 = 0, the derivatives are F_x = 2x, F_y = 2y, F_{xx} = 2, F_{yy} = 2, and F_{xy} = 0. Substituting these into the formula yields \kappa = 1/r, a constant value consistent with the uniform bending of a circle of radius r.^[18]

Derivation of Slope and Curvature

To derive the slope of an implicit curve defined by F(x, y) = 0, assume y is a differentiable function of x. Differentiating both sides of the equation with respect to x using the chain rule yields

\frac{\partial F}{\partial x} + \frac{\partial F}{\partial y} \frac{dy}{dx} = 0.

Solving for the slope \frac{dy}{dx} gives

\frac{dy}{dx} = -\frac{F_x}{F_y},

provided F_y \neq 0.^[20] Singularities occur when F_y = 0, indicating a vertical tangent if F_x \neq 0. In such cases, the slope is undefined, and alternative approaches like parametric representations or solving for x as a function of y may be used to analyze the tangent.^[20] The curvature \kappa of an implicit curve can be derived from the parametric form. For a curve parametrized by arc length s as (x(s), y(s)) satisfying F(x(s), y(s)) = 0, the parametric curvature formula is

\kappa = \frac{|x' y'' - y' x''|}{(x'^2 + y'^2)^{3/2}},

where primes denote derivatives with respect to s. Since the parametrization is by arc length, x'^2 + y'^2 = 1. The unit tangent vector is perpendicular to the gradient \nabla F = (F_x, F_y), so

x' = \frac{-F_y}{|\nabla F|}, \quad y' = \frac{F_x}{|\nabla F|}.

To find the second derivatives, differentiate F(x(s), y(s)) = 0 with respect to s:

F_x x' + F_y y' = 0.

Differentiating again yields

\frac{d}{ds}(F_x x' + F_y y') = (F_{xx} x' + F_{xy} y') x' + F_x x'' + (F_{yx} x' + F_{yy} y') y' + F_y y'' = 0.

Assuming mixed partials are equal (F_{xy} = F_{yx}), this simplifies to

F_x x'' + F_y y'' = -(F_{xx} x'^2 + 2 F_{xy} x' y' + F_{yy} y'^2).

Substituting the expressions for x' and y' and solving the system with the first derivative equation leads to the numerator x' y'' - y' x'' = \frac{F_x^2 F_{yy} - 2 F_x F_y F_{xy} + F_y^2 F_{xx}}{|\nabla F|^3}. Thus, with the denominator $1^{3/2} = 1,

\kappa = \frac{|F_x^2 F_{yy} - 2 F_x F_y F_{xy} + F_y^2 F_{xx}|}{(F_x^2 + F_y^2)^{3/2}}.

^[18] These formulas emerged in the development of differential geometry during the 18th century, with Leonhard Euler making key contributions to the theory of curves and surface curvature through his investigations into geodesics and surface properties.^[21]

Advantages and Limitations

Key Advantages

Implicit curves, defined by an equation F(x, y) = 0, enable efficient Boolean operations such as union, intersection, and difference through simple algebraic combinations or min/max functions applied to the defining functions. For instance, the union of two curves F_1(x, y) = 0 and F_2(x, y) = 0 can be represented as \min(F_1, F_2) = 0, facilitating constructive solid geometry (CSG) in modeling complex shapes without explicit boundary tracking.^[22]^[23] This approach is particularly advantageous in computer graphics for blending and morphing operations, as it avoids the topological inconsistencies common in parametric representations.^[24] Another significant benefit is the ability to naturally accommodate complex topologies, including self-intersections, loops, and multi-branched structures, by treating the curve as the zero level set of a scalar field. Unlike parametric forms, which struggle with singularities or require multiple segments to handle branches, implicit representations inherently support such features without parameterization artifacts.^[25]^[26] This makes them forgiving for intricate geometries in applications like scientific visualization and engineering design.^[27] Additionally, their compactness—a single equation encapsulating the entire curve—contrasts with piecewise parametric definitions, reducing storage needs and enabling concise descriptions of elaborate shapes.^[28]^[29]

Primary Disadvantages

One primary disadvantage of implicit curves is the absence of an inherent parameterization, which makes traversing the curve or iterating over points along it significantly more challenging than with parametric forms.^[30] Unlike parametric representations, where points can be generated directly by varying a parameter, implicit equations F(x, y) = 0 require solving for coordinates at each step, often involving numerical root-finding methods that can be inefficient for arc-length computation or uniform sampling.^[31] Another key limitation arises from singularities, where the gradient \nabla F vanishes, typically at self-intersection points or cusps, rendering tangent vectors undefined and complicating geometric analysis.^[32] These singular points disrupt standard differentiation techniques for deriving slopes or normals, as the implicit function theorem fails to guarantee a well-defined local parameterization, leading to potential ambiguities in curve topology.^[33] Boolean operations on polynomial-based implicit curves, such as unions or intersections, cause a rapid increase in the degree of the resulting polynomial, exacerbating numerical instability and computational demands.^[34] For instance, the union of two curves of degrees d and e yields a polynomial of degree d + e, and repeated operations can produce expressions of impractically high degree, hindering exact evaluation and intersection tests. (Gomes et al., 2009) Finally, visualization of implicit curves presents hurdles, as there is no straightforward method to generate points on the curve, necessitating specialized rendering algorithms like ray marching or polygonization that are computationally intensive.^[35] This reliance on indirect techniques often results in challenges for real-time display and interactive manipulation compared to explicit or parametric alternatives.^[34]

Applications

Smooth Approximations of Shapes

Implicit curves provide a powerful means to approximate sharp-edged shapes with smooth transitions by defining boundaries through functions that blend linear or piecewise elements. This approach leverages the flexibility of implicit representations to replace abrupt corners with continuous curvature, often using norm-based formulations or distance blending. Such methods are particularly effective for geometric modeling where exact sharpness is undesirable, allowing controlled rounding via parameters like exponents in p-norms.^[36] A classic example is the superellipse, which generalizes the ellipse to create rounded polygonal approximations. Defined implicitly by the equation \left| \frac{x}{a} \right|^p + \left| \frac{y}{b} \right|^p = 1 for p > 2, it produces shapes that transition from elliptical (at p = 2) to more rectangular forms with softened corners as p increases, effectively smoothing the L_\infty norm ball (a square). This p-norm structure, where the curve is the unit ball in the L_p metric, enables precise control over corner roundness; for instance, p = 4 yields a squircle, balancing sharpness and smoothness in applications like font design and iconography.^[37]^[36] For convex polygons, the implicit form arises from the maximum of linear constraints representing half-plane boundaries: f(x, y) = \max_i (a_i x + b_i y + c_i) = 0, where each term is a signed distance to an edge (normalized appropriately). Sharp corners result from the max operation, but smoothing is achieved by replacing it with a p-norm blend: f(x, y) = \left( \sum_i (a_i x + b_i y + c_i)^p \right)^{1/p} = r, where small p (e.g., p = 1) yields highly rounded transitions approximating a Minkowski sum with a disk, while larger p approaches the original polygon. This technique preserves convexity while introducing tunable smoothness, useful for approximating polyhedral outlines in 2D.^[36] Blending pairs of lines further demonstrates smooth approximations, particularly for rounded joins. For two lines ax + by + c_1 = 0 and ax + by + c_2 = 0 (parallel case), the implicit curve \sqrt{(ax + by + c_1)^2 + (ax + by + c_2)^2} = r (with normalized coefficients) creates a smoothed connection resembling a stadium shape, where r controls the rounding radius. For intersecting lines, distance functions blend similarly, using \min(d_1, d_2) or p-norm variants to offset and round the vertex. Extending this, circles can be approximated from sets of tangent lines via summed or blended distance functions, such as the envelope of parallel offsets. General polyline smoothing applies these blends sequentially along edges, replacing vertices with curved transitions via weighted p-norms on adjacent segment distances.^[36] In modern computer-aided design (CAD), implicit curves facilitate filleting operations to smooth sharp edges on polygonal models. Techniques like constant-radius offsetting combined with p-norm blending or min-based smoothing generate fillets that maintain design intent while ensuring C^1 continuity at junctions. For example, software such as Altair Inspire employs implicit representations to apply variable-radius fillets to 2D profiles, enhancing manufacturability by reducing stress concentrations without altering core geometry.^[38]

Curve Blending Techniques

Curve blending techniques enable the construction of composite implicit curves by combining multiple defining functions, allowing for the creation of smooth transitions between individual components. Basic operations draw from constructive solid geometry adapted to 2D, where the union of two implicit curves defined by F_1(x,y) = 0 and F_2(x,y) = 0 can be achieved using \min(F_1, F_2) = 0, representing the outer envelope, while \max(F_1, F_2) = 0 yields the intersection. These sharp operations produce piecewise boundaries but lack smoothness at junctions, limiting their use in applications requiring continuous tangents.^[39] To address this, smooth blending functions introduce transitional regions with controlled continuity. A common approach for soft unions employs the log-sum-exp formulation, approximating a smooth minimum (assuming F \leq 0 inside):

F(x,y) = -r \cdot \log\left( \exp\left(-\frac{F_1(x,y)}{r}\right) + \exp\left(-\frac{F_2(x,y)}{r}\right) \right) = 0,

where r > 0 is the blend radius parameter that governs the sharpness of the transition—small r yields near-sharp unions, while larger r produces broader, more rounded blends. This function ensures C^1 continuity across the blend region, facilitating differentiable curves suitable for optimization and animation. Similar smooth max operations can be derived for intersections. These methods extend earlier polynomial-based blends but offer exponential decay for better control over distant influences.^[40]^[41]^[42] In practice, blending two circles provides a representative example: consider circles centered at ( -1, 0 ) and ( 1, 0 ) with radius 1, defined by F_1(x,y) = (x+1)^2 + y^2 - 1 and F_2(x,y) = (x-1)^2 + y^2 - 1. Applying the soft union with r = 0.5 merges the overlapping regions into a symmetric, peanut-shaped curve, with the blend radius dictating the waist's narrowness. Adjusting r to 1.0 widens the transition, creating more organic forms. This parametric control allows designers to tune sharpness iteratively without reparameterizing primitives.^[43] These techniques found early prominence in computer-aided design during the 1980s, popularized through metaball models that sum Gaussian functions for implicit blending, enabling organic, deformable shapes in graphics and simulation. Metaballs, introduced by Blinn in 1982 for modeling molecular interactions, laid the foundation by treating blends as thresholded sums, influencing subsequent smooth operators in CAD systems for automotive and aerospace design. Today, they support procedural generation of complex profiles, such as blended fillets in engineering drawings.

Equipotential and Field Lines

Implicit curves are particularly useful for modeling equipotential lines in electrostatic fields generated by point charges, where the electric potential \phi satisfies \phi(x, y) = k_1 \ln r_1 + k_2 \ln r_2, with r_1 = \sqrt{(x - x_1)^2 + (y - y_1)^2} and r_2 = \sqrt{(x - x_2)^2 + (y - y_2)^2}. The equipotential lines are the level sets where \phi = constant, yielding the implicit equation q_1 \ln \sqrt{(x - x_1)^2 + (y - y_1)^2} + q_2 \ln \sqrt{(x - x_2)^2 + (y - y_2)^2} = c.^[44] Electric field lines, representing the direction of force on a test charge, are orthogonal to these equipotential curves because the electric field \mathbf{E} = -\nabla \phi, making the field parallel to the gradient direction, which is normal to the level sets of \phi. This orthogonality follows from the geometric properties of gradients, where the normal vector to an implicit curve f(x, y) = c is \nabla f.^[45] Beyond electrostatics, implicit curves model equipotential lines and orthogonal field lines (or streamlines) in other physical fields, such as potential flow in fluid dynamics, where the velocity potential \phi defines equipotentials and the stream function \psi defines streamlines that intersect at right angles. In geophysics, they describe magnetic equipotential surfaces in regions without currents, with field lines perpendicular to these surfaces for modeling Earth's magnetic anomalies.^[46]^[47]^[48] For two point charges, example plots of equipotential lines show closed curves encircling each charge for high potential values near the charges, transitioning to larger, more elongated shapes encompassing both as the potential decreases. Asymptotically, far from the charges, the curves approximate circles centered at the effective charge location, behaving like a single point charge if charges have the same sign or a dipole if opposite. For opposite charges, bifurcation points occur where equipotential topologies change, such as at the zero-potential line (the perpendicular bisector for equal magnitudes), separating regions of positive and negative potential, with saddle-like behavior influencing field line patterns.

Visualization Techniques

Point Sampling Algorithms

Point sampling algorithms for implicit curves generate discrete sets of points satisfying F(x, y) = 0 within a defined domain, enabling geometric analysis and approximation of the curve's structure. These methods typically begin with an initial guess or seed point and iteratively refine or propagate samples, often leveraging the curve's local geometry such as gradient-derived tangents. Unlike grid-based rasterization, they focus on producing sparse, geometry-aware point sets suitable for further processing like polygonization or visualization. One foundational approach is the marching points method, also known as the predictor-corrector technique, which traces the curve by advancing from a seed point along its tangent direction. Starting at a point (x, y) on the curve, the tangent vector \mathbf{t} (computed from the normalized negative gradient -\nabla F / \|\nabla F\|) and normal vector \mathbf{n} (perpendicular to \mathbf{t}) define the local frame. The next candidate point is predicted by stepping a fixed distance h in the tangent direction, yielding (x + h t_x, y + h t_y), but due to numerical error, this may not lie exactly on the curve. To correct, the method solves for scalars \alpha and \beta in the equation F(x + h (\alpha \mathbf{t} + \beta \mathbf{n}), y + h (\alpha \mathbf{t}_y + \beta \mathbf{n}_y)) = 0, typically using a low-order approximation or iterative solver to ensure the point satisfies the implicit equation while staying close to the tangent path. This process repeats, generating a sequence of points along connected curve branches, with step size h chosen based on desired resolution or local feature scale. The method efficiently captures smooth segments but relies on accurate tangent estimation from the geometric properties of the implicit function.^[50] For isolated root-finding near an initial guess \mathbf{p}_0, the Newton-Raphson method provides a robust iterative solver tailored to the implicit equation. For implicit curves, a common approach is to project onto the curve using Newton-Raphson iteration along the unit normal direction \mathbf{n} = \nabla F / \|\nabla F\|: parameterize as \mathbf{p}(t) = \mathbf{p}_k + t \mathbf{n}, and update t_{k+1} = t_k - F(\mathbf{p}(t_k)) / \frac{\partial F}{\partial n}(\mathbf{p}(t_k)), where \frac{\partial F}{\partial n} = \|\nabla F\|. This ensures convergence to the curve, typically in 1-3 iterations for points close to the level set, assuming non-vanishing gradient. This approach refines points onto the zero-level set by following the steepest descent in the function's gradient direction, making it ideal for correcting predictor steps in marching methods or sampling near known features like intersections. Convergence typically requires few iterations for high accuracy, though it demands differentiable F and may stall near cusps or turning points where the gradient vanishes. To achieve uniform point density despite varying geometry, adaptive sampling incorporates curvature-based control, adjusting the step size inversely proportional to local curvature \kappa = \frac{ | f_{xx} f_y^2 - 2 f_x f_y f_{xy} + f_{yy} f_x^2 | }{ (f_x^2 + f_y^2)^{3/2} } (or approximations thereof).^[18] High-curvature regions, such as bends or inflections, receive denser samples by reducing h (e.g., h \propto 1 / \kappa), preventing undersampling of tight features, while straighter segments use larger steps to avoid clustering. Techniques like subdivision in quadtrees refine sampling only in cells intersecting the curve with high \kappa, balancing computational cost with fidelity; for instance, algorithms halt refinement when \kappa < \tau (a user-defined threshold) or cell size reaches \Delta. This ensures arc-length parameterization approximation, with error bounded by O(h^2 \kappa), and is widely used in polygonal approximations.^[51] Despite their utility, point sampling algorithms for implicit curves have notable limitations. They often require a bounding box to initialize seed points via grid evaluation or interval arithmetic, potentially overlooking fine-scale details outside this domain. Moreover, starting from isolated seeds risks missing disconnected components unless exhaustive search is performed, leading to incomplete sampling of multi-branch curves like lemniscates. These methods also assume a single connected branch per trace, necessitating multiple seeds for topology discovery.

Tracing Methods

Tracing methods for implicit curves involve generating continuous paths along the curve defined by f(x, y) = 0 starting from an initial point, typically using numerical continuation techniques to approximate the trajectory step by step. These methods rely on the curve's local geometry, such as the tangent direction derived from the gradient, where the slope is given by \frac{dy}{dx} = -\frac{\partial f / \partial x}{\partial f / \partial y}.^[52] A common approach is the predictor-corrector method, which advances along the curve by first predicting the next point using an Euler step in the tangent direction and then correcting it to lie exactly on the curve via root-finding. In the prediction phase, from a current point (x_k, y_k) on the curve, the tangent vector is approximated using the normalized gradient \nabla f(x_k, y_k), and a step of size h yields the predicted point (x_{k+1}^p, y_{k+1}^p) = (x_k, y_k) + h \cdot \frac{(-\partial f / \partial y, \partial f / \partial x)}{||\nabla f||}. The corrector phase then solves for the adjustment \delta such that f(x_{k+1}^p + \delta_x, y_{k+1}^p + \delta_y) = 0, often using Newton's method or singular value decomposition to handle the underdetermined system efficiently. This method ensures reliable tracing even near singular points like turning or bifurcation locations.^[52]^[53] For uniform progression along the curve, arc-length parameterization can be approximated by implicitly integrating the arc-length element ds = \sqrt{1 + \left( \frac{dy}{dx} \right)^2} \, dx. This is achieved by solving the system of ordinary differential equations derived from the implicit function: \dot{x} = \frac{\partial f / \partial y}{\sqrt{(\partial f / \partial x)^2 + (\partial f / \partial y)^2}} and \dot{y} = -\frac{\partial f / \partial x}{\sqrt{(\partial f / \partial x)^2 + (\partial f / \partial y)^2}}, where the parameter is arc length s, using numerical integrators like Runge-Kutta to advance points while maintaining ||\dot{\mathbf{r}}|| = 1. This approximation provides evenly spaced samples proportional to curve length, improving accuracy for applications requiring proportional traversal.^[54] Handling branches and junctions during tracing requires detecting points where the curve splits or merges, often by monitoring gradient sign changes or evaluating the function in a local neighborhood. At potential junctions, a search scheme identifies multiple intersection points by checking sign variations of f along perpendicular directions to the tangent, allowing the tracer to branch into separate paths while avoiding loops or missed segments. This ensures complete coverage of connected components without redundant computation.^[55] These tracing methods achieve high efficiency, with an average complexity of O(1) operations per step, typically requiring only 1-2 function evaluations due to the local nature of the continuation scheme. They are particularly valuable in vector graphics for generating smooth outlines of implicit shapes, enabling scalable rendering without pixel dependencies.^[55]

Rasterization Approaches

Rasterization of implicit curves involves converting the continuous level set defined by an implicit function F(x, y) = 0 into a discrete pixel grid for display on raster devices, such as computer screens or printers. This process is essential for visualizing implicit curves in graphics applications, where direct parametric rendering is unavailable. Common approaches leverage grid-based sampling and interpolation to approximate the curve's position and handle subpixel details for quality rendering.^[56] One prominent method is distance field rendering, which computes a signed distance field (SDF) to the implicit curve across the image plane. The SDF stores the shortest distance from each point to the nearest point on the curve, with the sign indicating whether the point is inside (negative) or outside (positive) a region bounded by the curve. To rasterize, pixels are shaded based on thresholding the distance values: for instance, pixels where the absolute distance is below a threshold (e.g., 0.5 pixels) are marked as part of the curve edge, enabling smooth rendering through gradient-based anti-aliasing. This technique approximates distances efficiently using local methods, such as quadratic approximations near the curve, to avoid full global distance computations. Early formulations demonstrated that such approximations yield accurate rasterizations for complex implicit curves with minimal error.^[57]^[56] Another key approach is the marching squares algorithm, a grid-based contouring technique adapted for 2D implicit functions. The image plane is divided into a uniform grid of squares, and the implicit function F is evaluated at the four corners of each cell. Based on the signs of these values relative to the zero level set, the algorithm identifies 16 possible configurations (due to symmetries) and interpolates edge segments across cells where the curve crosses. Linear interpolation along cell edges determines precise intersection points, connecting them to form the rasterized contour. This method excels at capturing topological features of the curve without requiring parametric forms, though it may introduce minor artifacts at saddle points unless refined with higher-order interpolation. The 2D variant draws from foundational isosurface extraction principles established in volumetric rendering.^[58] For real-time performance, GPU acceleration has become integral, particularly through shader-based evaluation of implicit functions. Modern graphics pipelines rasterize implicit curves by rendering a full-screen quad and computing F(x, y) per fragment in pixel shaders, allowing parallel distance or level-set evaluations across thousands of pixels. Techniques like implicitization of parametric curves into F(x, y) = 0 enable efficient GPU rendering of vector art, including Bézier-based implicits, by combining field sampling with hardware-accelerated anti-aliasing. This is widely used in games for dynamic curve effects, where shaders perform on-the-fly rasterization at interactive frame rates.^[59] Rasterization artifacts, such as aliasing from undersampling jagged edges, are commonly addressed through supersampling or subpixel techniques integrated into these methods. In distance field rendering, multi-sample anti-aliasing (MSAA) or analytical subpixel coverage refines edges by averaging distances over pixel samples, reducing moiré patterns. Marching squares benefits from adaptive grid refinement to minimize interpolation errors. In modern applications, these approaches power high-quality font rendering and user interfaces; for example, signed distance fields precomputed for glyph outlines allow scalable, anti-aliased text at arbitrary sizes without bitmap aliasing, as adopted in game engines for crisp vector-like typography.^[60]

Extensions

Implicit Space Curves

Implicit space curves extend the concept of implicit curves from 2D to 3D by defining one-dimensional loci as the common zero sets of two scalar functions in three variables, typically expressed as the system

F(x, y, z) = 0, \quad G(x, y, z) = 0,

where F and G are smooth or algebraic functions representing the intersection of two implicit surfaces.^[61] This representation captures curves that may not lie in a plane, such as skew lines or more complex algebraic varieties, and is particularly useful for their compactness in describing non-planar geometries without explicit parametrization.^[62] While a single equation F(x, y, z) = 0 defines a surface (codimension 1), the pair ensures codimension 2, isolating the curve, though singularities can arise where the gradients \nabla F and \nabla G are linearly dependent.^[63] Key properties of implicit space curves include their tangent vectors, which are determined by the direction perpendicular to both defining surfaces. At a regular point on the curve, the tangent vector \mathbf{T} is parallel to the cross product \nabla F \times \nabla G, providing a unique direction up to scaling, assuming the gradients are linearly independent.^[64] This contrasts with a single implicit equation, where \nabla F only yields a normal to the surface, leaving the tangent plane underdetermined without additional constraints like a second equation or parametrization.^[61] Algebraic implicit space curves, often derived via elimination theory, exhibit degrees determined by the product of the degrees of the defining surfaces; for instance, the intersection of two quadrics yields a degree-4 curve.^[65] Representative examples include the twisted cubic, a rational algebraic space curve of degree 3 defined in projective space \mathbb{P}^3 by the three quadric equations x z - y^2 = 0, x w - y z = 0, y w - z^2 = 0, where [x : y : z : w] are homogeneous coordinates, serving as a fundamental model in algebraic geometry for studying birational maps and singularities.^[66] Helices, typically parametrized, can be approximated implicitly as intersections of a cylinder x^2 + y^2 - a^2 = 0 and a helical surface, such as a ruled surface or polynomial approximation, though exact algebraic representations require higher-degree approximations due to their transcendental nature.^[67] More generally, algebraic space curves arise from resultants in implicitization: for a parametric curve \mathbf{r}(t) = (p(t), q(t), r(t)), the implicit equations are obtained as the resultant of the system \{x - p(t), y - q(t), z - r(t)\} with respect to t, yielding the eliminant ideal that defines the curve.^[63] Visualization of implicit space curves presents challenges, as rendering requires isolating the 1D intersection within 3D space, often involving numerical root-finding or subdivision methods to trace segments without missing branches or handling singularities.^[68] Techniques like marching along predicted tangents or stochastic sampling can approximate the curve but demand careful control for completeness, especially for high-degree algebraics.^[69] In applications such as robotics, implicit space curves define collision-free paths as intersections of level sets from potential fields, enabling gradient-based navigation for manipulators or mobile agents in constrained environments.^[70] This formulation supports real-time planning by avoiding explicit parametrization, though it requires solving the underdetermined system with auxiliary constraints for trajectory generation.^[71]

Implicit Surfaces in 3D

Implicit surfaces extend the concept of implicit curves to three dimensions, defining a surface as the set of points (x, y, z) in \mathbb{R}^3 where a scalar-valued function F: \mathbb{R}^3 \to \mathbb{R} equals zero, i.e., F(x, y, z) = 0. This representation allows for the description of complex, smooth shapes without explicit parameterization, where the sign of F typically indicates regions inside (F < 0) or outside (F > 0) the surface. A classic example is the sphere, given by x^2 + y^2 + z^2 - r^2 = 0, which defines all points at distance r from the origin.^[72] These surfaces connect to implicit curves through intersections: an implicit curve in 3D space arises as the intersection of two implicit surfaces defined by f(\mathbf{r}) = 0 and g(\mathbf{r}) = 0, where \mathbf{r} = (x, y, z). The normal vector at any point on the surface is provided by the gradient \nabla F, which is perpendicular to the tangent plane and facilitates computations like shading and intersection tests. Implicit surfaces are also foundational to level set methods, representing evolving interfaces as the zero level set of a function.^[73]^[72] Key algorithms for processing implicit surfaces include the marching cubes method for generating polygonal meshes and ray marching for rendering. Marching cubes, introduced in 1987, divides space into cubes and approximates the surface by triangulating intersections within each cube based on the sign of F at vertices, enabling high-resolution extraction from volumetric data. Ray marching, particularly sphere tracing, advances rays through space by stepping distances bounded by the implicit function, ensuring efficient intersection detection for non-algebraic surfaces. These techniques originated from 1980s research on implicit modeling, building on 2D curve methods to handle volumetric representations.^[74] In applications, implicit surfaces support volume modeling in computer-generated imagery (CGI), such as metaballs for creating organic, deformable shapes like electron clouds or fluid simulations, as pioneered by Blinn in 1982. In medical imaging, they facilitate isosurface extraction from CT or MRI scans, allowing visualization of anatomical structures through algorithms like marching cubes applied to scalar volume data.^[74]

References

[1]
8.1 Algebraic Curves - The Geometry Center
Curves that can be given in implicit form as f(x,y)=0, where f is a polynomial, are called algebraic. The degree of f is called the degree or order of the curve ...
[2]
[PDF] Conversion Methods between Parametric and Implicit Curves and ...
Oct 17, 1990 · An implicit curve is defined by a single equation f(?,Y) = 0 and an implicit surface is defined by a single equation f(x.y,z) = 0. Thus. the ...
[3]
[PDF] Implicit Curves and Surfaces in CAGD - Purdue Computer Science
The study of implicit algebraic curves and surfaces naturally draws on alge- braic geometry, a subdiscipline of mathematics that provides some foundational.
[4]
[PDF] Implicit Functions, Curves and Surfaces
Examples are. • Implicit representation of functions. An equation of type F(x, y) = c might determine a function f(x) such that F(x, f(x)) = 0 but not allow ...
[5]
[PDF] Inverse and Implicit functions - CMU Math
Let f : R2 → R be differentiable, and consider the implicitly defined curve. Γ = {(x, y) ∈ R2 | f(x, y) = c}. (Note this is some level set of f.) Pick (a, b) ∈ ...
[6]
Vector-Valued Functions and Space Curves - Math LibreTexts
Jun 14, 2019 · The ellipse: $\frac{x^2}{16} + \frac{y^2}{9} = 1$; The circle: $x^2 + y^2 = 4$; The hyperbola: \(\frac{x^2}{25} - \ ...
[7]
Taming the unknown. A history of algebra from antiquity to the early ...
Mar 23, 2015 · geometry more than geometry could help algebra, and the result was La Géométrie of Descartes (1637), the ancestor of today's algebraic geometry.<|separator|>
[8]
[PDF] Parametric Curves - Washington
Mathematical curve representation. ◇ Explicit y=f(x). • what if the curve isn't a function? ◇ Implicit f(x,y) = 0. • hard to work with. ◇ Parametric (f(u),g(u)).
[9]
[PDF] Parametric Curves & Surfaces - cs.Princeton
In contrast, an implicit representation is: x2 + y2 = r2. Page 2. 2. Parametric polynomial curves. • A parametric polynomial curve is described: • Advantages of ...Missing: comparison | Show results with:comparison
[10]
[PDF] A Curve Tutorial for Introductory Computer Graphics
Oct 7, 2003 · Different representations of curves have advantages and disadvantages. For example, parametric curves are much easier to draw because we can ...Missing: comparison | Show results with:comparison
[11]
(PDF) Implicit representation of parametric curves and surfaces
Aug 5, 2025 · This paper provides solutions to two problems which are fundamental to com- puter-aided geometric design: the implicitization and inversion of parametric poly- ...
[12]
[PDF] Chapter 13 Curves and Surfaces
It is not as general and widely used as the parametric and implicit forms, because the explicit form is only useful for graph surfaces, which are surfaces that ...
[13]
[PDF] Gradient: proof that it is perpendicular to level curves and surfaces
By this we mean it is perpendicular to the tangent to any curve that lies on the surface and goes through P .
[14]
[PDF] Gradient
Gradients are orthogonal to level curves and level surfaces. rule, Vf(r(t)) is perpendicular to the tangent vector r′(t).
[15]
[PDF] CSC418 Computer Graphics
Review Implicit Curve Representation ... Normal is gradient(f). direction of max. change. Given a tangent or normal vector in 2D how do we compute the other?
[16]
[PDF] Lecture 8 - Math 2321 (Multivariable Calculus)
The value of Dvf is zero if and only if v is orthogonal to the gradient Vf . ... tangent plane, so we can take it as the plane's normal vector. Recall that ...
[17]
[PDF] 5.7 Level Sets and the Fast Marching Method
At time t = 0, the curve is the level set where d(x, y) = 0. At later times ... κ = div n becomes κ = div(gradφ) = Laplacian of φ. (4). But here is an ...
[18]
[PDF] Curvature formulas for implicit curves and surfaces
Jul 21, 2005 · Curvature formulas for implicit curves and surfaces are derived from the classical curvature formulas in Differ- ential Geometry for parametric ...
[19]
https://doi.org/10.1016/j.cagd.2005.06.005
[20]
Calculus I - Implicit Differentiation - Pauls Online Math Notes
Nov 16, 2022 · In implicit differentiation this means that every time we are differentiating a term with y y in it the inside function is the y y and we will ...
[21]
Leonhard Euler (1707 - 1783) - Biography - University of St Andrews
Euler made substantial contributions to differential geometry, investigating the theory of surfaces and curvature of surfaces. Many unpublished results by ...
[22]
[PDF] Implicit Surfaces & Solid Representations - cs.Princeton
(3) Efficient boolean operations (CSG). How would you implement: Union ... • Advantages: Easy to test if point is on surface. Easy to compute ...
[23]
[PDF] Reliable Implicit Surface Polygonization using Visibility Mapping
As compared to other surface representations, implicits offer many advantages in terms of performing geometric operations like Boolean operations, blending, ...
[24]
[PDF] Implicit Surfaces - Stony Brook Computer Science
Boolean Operations. CSE528 Lectures. A. B. A-B A∪B A⋂B. Page 53. ST•NY BR••K ... – Advantages. – Disadvantages. • Curves, surfaces, solids in higher ...
[25]
[PDF] Representation and Rendering of Implicit Surfaces - CGL @ ETHZ
They provide intuitive handling of complex topology. The signed distance field is a special form of implicit surface definition which provides increased ac-.
[26]
[PDF] Parametric curve with an implicit domain
Jun 26, 2014 · ... curves or surfaces with complex topology. Due to the geometric and ... curve, which combines the advantages of parametric and implicit ...
[27]
What Are the Advantages of Implicit Modeling?
Robust—The entire geometry is a single isosurface, extracted from the underlying field of the geometry. · Forgiving of complex topology · Complete spatial control ...
[28]
Shape-Aware Matching of Implicit Surfaces Based on Thin Shell ...
Jun 26, 2017 · ... rotational invariance, while solely involving the deformation and the Jacobian of the deformation. The model is formulated in terms of ...
[29]
[PDF] Techniques for Stochastic Implicit Surface Modelling and Rendering
Implicit surfaces are a powerful shape primitive for computer graphics. ... terparts, also benefit from the compact representation of a surface by a small set of ...<|control11|><|separator|>
[30]
Compact Representation - an overview | ScienceDirect Topics
As with parametric forms, implicit surfaces provide a compact representation for potentially complex surfaces. They also offer a number of advantages ...Missing: curves | Show results with:curves
[31]
[PDF] Curve and surface fitting by implicit polynomials - IC/UFF
May 17, 2017 · In fact, the advantage of having a compact representation of the object is lost when these degrees are utilized (see the Table 1). 4.2.2 ...
[32]
https://docs.lib.purdue.edu/cgi/viewcontent.cgi?article=1660&context=cstech
[33]
[PDF] Curve Representations - Tecgraf/PUC-Rio
Nevertheless, implicit representations also have their drawbacks. Given an explicit representation y = f(x), we can easily find lots of points on the curve. (x, ...
[34]
[PDF] Applying Algebraic Geometry to Surface Intersection Evaluation
If the gradients vanish or are linearly dependent, then the curve has a singularity at p and this approach cannot be used without considerable enhancements. 2.1 ...
[35]
[PDF] Interactive Visualization of Implicit Surfaces with Singularities
Singularities are given by points where the gradient Fx vanishes. To compute such a point with Newton's method, starting out from the particle position pi ...
[36]
[PDF] Implicit Surfaces for Geometric Modeling and Computer Graphics
In this course we will survey implicit surfaces, discuss their usefulness, describe their advantages and disadvantages relative to other modeling techniques ...
[37]
[PDF] Curvature Dependent Polygonization of Implicit Surfaces
However the major drawback of implicit surfaces is that they are usually harder to display compared to other representations since all advanced graphic hardware ...<|control11|><|separator|>
[38]
Implicit Curves and Surfaces: Mathematics, Data Structures and ...
In stockThis book presents the mathematics, computational methods and data structures, as well as the algorithms needed to render implicit curves and surfaces.
[39]
Superellipse -- from Wolfram MathWorld
A superellipse is a curve with Cartesian equation |x/a|^r+|y/b|^r=1, (1) first discussed in 1818 by Lamé. A superellipse may be described parametrically by ...Missing: implicit norm
[40]
Fillet Implicit Geometry
Round edges of implicit bodies to create fillets with a constant or variable radius. Fillets can be separately applied to convex and concave edges.
[41]
The displacement method for implicit blending surfaces in solid ...
To date, methods that blend solids, that is, B-rep or CSG models, with implicit functions require successive composition of the blending functions to handle ...
[42]
Synchronized Tracing of Primitive-based Implicit Volumes
Nov 13, 2024 · We build base aggregates as the union (a,g), smooth union (b,h) – of boxes (up) and intersected spheres (down). We generate more complex objects ...Missing: curve | Show results with:curve
[43]
A gradient-based implicit blend | ACM Transactions on Graphics
Apr 30, 2013 · The blending set operations are defined using R-functions and displacement functions with the localized area of influence. The ...
[44]
Implicit curve and surface design using smooth unit step functions
A geometric shape can be represented either parametrically or implicitly. Both have their advantages and disadvantages. However, in the area of computer aided ...
[45]
19.4 Equipotential Lines - College Physics 2e | OpenStax
Jul 13, 2022 · This is true since the potential for a point charge is given by V = kQ / r V = kQ / r and, thus, has the same value at any point that is a given ...<|control11|><|separator|>
[46]
Potential Flow Theory – Introduction to Aerospace Flight Vehicles
Streamlines and equipotential lines represent a vortex flow, in this case, with a clockwise direction and, therefore, a negative strength. To derive the stream ...
[47]
[PDF] Potential Flow Theory - MIT
Therefore we see that streamlines are horizontal straight lines for all values of y (tangent everywhere to the velocity!) and that equipotential lines are ...Missing: implicit | Show results with:implicit
[48]
[PDF] POTENTIAL THEORY IN GRAVITY AND MAGNETIC APPLICATIONS
equipotential surfaces surrounding the earth are smooth but irregular. An equipotential surface of particular interest is the geoid, the equipoten- tial ...
[49]
5.8.2.3 Marching methods - MIT
Marching methods involve generation of sequences of points of an intersection curve branch by stepping from a given point on the required curve in a direction ...
[50]
Robust adaptive polygonal approximation of implicit curves
We present an algorithm for computing a robust adaptive polygonal approximation of an implicit curve in the plane. The approximation is adapted to the ...
[51]
https://www.sciencedirect.com/science/article/abs/pii/S0097849302001735
[52]
On Tracing an Implicitly Defined Curve by Quasi-Newton Steps and ...
Robust continuation methods for tracing solution curves of parameterized systems ... An efficient predictor-corrector method for solving nonlinear equations.
[53]
5.8.1.2 Tracing method - MIT
For example, $ \xi$ can be chosen to provide arc length parametrization using the first fundamental form (3.13) of the surface as a normalization condition ...
[54]
https://web.mit.edu/hyperbook/Patrikalakis-Maekawa-Cho/node102.html
[55]
Distance approximations for rasterizing implicit curves
In this article we present new algorithms for rasterizing implicit curves, ie, curves represented as level sets of functions of two variables.
[56]
[PDF] Distance Approximations for Rasterizing Implicit Curves
to an implicit curve. The approximate distance of order k involves all ... length normal vector to Z(f) at pO, and let Pt = p<)+ tw, for t G R. Then.
[57]
[PDF] Marching Squares - UNM CS
Displaying Implicit Functions. • Consider the implicit function g(x,y)=0. • Given an x, we cannot in general find a corresponding y. • Given an x and a y, we ...
[58]
Chapter 25. Rendering Vector Art on the GPU - NVIDIA Developer
The main ingredient of our algorithm is the notion of implicitization: the transformation from a parametric [x(t) y(t)] to implicit f (x, y) = 0 plane curve. We ...
[59]
[PDF] Improved Alpha-Tested Magnification for Vector Textures and ...
A simple and efficient method is presented which allows improved rendering of glyphs composed of curved and linear elements. A distance field is generated ...
[60]
1.1.2 Space curves - MIT
(1.7). The implicit representation for a space curve can be expressed as an intersection curve between two implicit surfaces. $\displaystyle f(x,y,z)=0 ...
[61]
[PDF] 12 Approximate Implicitization of Space Curves and of Surfaces of ...
For space curves, which are described as the intersection of two implicitly defined surfaces, we show how to generate an approximately orthogonalized implicit ...<|control11|><|separator|>
[62]
[PDF] Approximate Implicitization of Space Curves - HAL
May 24, 2013 · Abstract. The process of implicitization generates an implicit representation of a curve or surface from a given parametric one.
[63]
[PDF] Approximate Implicitization of Space Curves and of Surfaces of ...
An implicit representation of a space curve is given by the intersection of two implicitly defined surfaces. A surface of revolution is created by rotating 2D ...
[64]
[PDF] Geometric Modeling and Visualization Lecture 3 Algebraic Curves ...
Algebraic Space curves. An algebraic space curve can be implicitly defined as the intersection of two surfaces given in implicit form: f1. (x,y,z) = 0 f2. (x,y ...
[65]
[PDF] The many lives of the twisted cubic - Mathematics & Computer Science
Feb 10, 2018 · This way of determining implicit equations of the curve will reappear in an important role later. On the basis of this description of Menaechmus ...
[66]
The algorithm is applied to the implicit representation of a helix with...
The algorithm is applied to the implicit representation of a helix with varying diameter and curvature of the centerline. From left to right the time steps ...
[67]
Visualizing Planar and Space Implicit Real Algebraic Curves with ...
Apr 28, 2020 · This paper presents a new method for visualizing implicit real algebraic curves inside a bounding box in the 2-D or 3-D ambient space based ...
[68]
Stochastic visualization of intersection curves of implicit surfaces
... Boolean operations, shape blending, and morphing. But the most important advantage of implicit surfaces, aside from the utilitarian considerations, is its ...
[69]
(PDF) Robot navigation using implicit curves - ResearchGate
Aug 7, 2025 · In this paper, it is proposed a methodology for robot navigation in tasks where the robot path can be specified by the intersection of level ...
[70]
Vector Field-based Guidance in Space Based on Implicitization of ...
The study focuses on converting the path given as a parametric function of a three-dimensional space curve into an implicit form. The paper explores how to ...
[71]
[PDF] Implicit and Parametric Surfaces
An implicit representation takes the form F(x) = 0 (for example x2 + y2 + z2 − r2 = 0), where x is a point on the surface implicitly described by the ...
[72]
5.8.3 Implicit algebraic/implicit algebraic surface intersection (Case F8)
The key idea is that in tracing the intersection curve of two implicit surfaces, we are only required to calculate the implicit function values and the ...
[73]
Marching cubes: A high resolution 3D surface construction algorithm
We present a new algorithm, called marching cubes, that creates triangle models of constant density surfaces from 3D medical data.