A systematic framework for solving geometric constraints analytically
        
        
            
            
            
            
            
            
            Cassiano Durand
            
            
            
             
            
            
            
            and 
            
            
            
            
            
            Christoph M Hoffmann
            
            
            
            
        
        
        
            Journal of Symbolic Computation - 2000
            
        
        
        
            Journal of Symbolic Computation - 2000
        
        
        Durand, Cassiano, and Christoph M. Hoffmann. “A Systematic Framework for Solving Geometric Constraints Analytically.” Journal of Symbolic Computation, vol. 30, no. 5, 2000, pp. 493–519, https://doi.org/10.1006/jsco.2000.0392.
        @article{durand2000systematic,
  title = {A systematic framework for solving geometric constraints analytically},
  author = {Durand, Cassiano and Hoffmann, Christoph M},
  journal = {Journal of Symbolic Computation},
  volume = {30},
  number = {5},
  pages = {493--519},
  year = {2000},
  publisher = {Elsevier},
  doi = {10.1006/jsco.2000.0392},
  pdf = {Durand-Journal_of_Symbolic_Computation-2000-A_Systematic_Framework_for_Solving_Geometric_Constraints_Analytically.pdf}
}