  There are thirteen types of singular points for irreducible real quarticcurves and seventeen types of singular points for reducible real quarticcurves. This classification is originally due to D.A. Gudkov. There are ninetypes of singular points for irreducible complex quartic curves and ten typesof singular points for reducible complex quartic curves. We derive the completeclassification with proof by using the computer algebra system Maple. Weclarify that the classification is based on computing just enough of thePuiseux expansion to separate the branches. Thus, the proof consists of asequence of large symbolic computations that can be done nicely using Maple.
We derive the complete classification with proof by using the computer algebra system Maple. We clarify that the classification is based on computing just enough of the Puiseux expansion to separate the branches. Thus, the proof consists of a sequence of large symbolic computations that can be done nicely using Maple.