Geometric constraint solving in ℜ2 and ℜ3
        
        
            
            
            
            
            
            
            Christoph M Hoffmann
            
            
            
             
            
            
            
            and 
            
            
            
            
            
            Pamela J Vermeer
            
            
            
            
        
        
        
            Computing in Euclidean geometry - 1995
            
        
        
        
            Computing in Euclidean geometry - 1995
        
        
        Hoffmann, Christoph M., and Pamela J. Vermeer. “Geometric Constraint Solving in ℜ2 and ℜ3.” Computing in Euclidean Geometry, World Scientific, 1995, pp. 266–98, https://doi.org/10.1142/9789812831699_0008.
        @incollection{hoffmann1995geometricconstraint,
  title = {Geometric constraint solving in ℜ2 and ℜ3},
  author = {Hoffmann, Christoph M and Vermeer, Pamela J},
  booktitle = {Computing in Euclidean geometry},
  pages = {266--298},
  year = {1995},
  publisher = {World Scientific},
  doi = {10.1142/9789812831699_0008},
  pdf = {Hoffmann-Computing_in_Euclidean_Geometry-1995-Geometric_Constraint_Solving_in_R2_and_R3.pdf}
}