Smooth algebraic curve (source code)

= Smooth algebraic curve

A smooth algebraic curve is a one-dimensional <algebraic variety> whose <local ring> at every point is regular.

This is the nonsingular subclass of <algebraic curves>.