Symbolic constraints in constructive geometric constraint solving
        
        
            
            
            
            
            
            
            Christoph M Hoffmann
            
            
            
             
            
            
            
            and 
            
            
            
            
            
            Robert Joan-Arinyo
            
            
            
            
        
        
        
            Journal of Symbolic Computation - 1997
            
        
        
        
            Journal of Symbolic Computation - 1997
        
        
        Hoffmann, Christoph M., and Robert Joan-Arinyo. “Symbolic Constraints in Constructive Geometric Constraint Solving.” Journal of Symbolic Computation, vol. 23, no. 2-3, 1997, pp. 287–99, https://doi.org/10.1006/jsco.1996.0089.
        @article{hoffmann1997symbolic,
  title = {Symbolic constraints in constructive geometric constraint solving},
  author = {Hoffmann, Christoph M and Joan-Arinyo, Robert},
  journal = {Journal of Symbolic Computation},
  volume = {23},
  number = {2-3},
  pages = {287--299},
  year = {1997},
  publisher = {Elsevier},
  doi = {10.1006/jsco.1996.0089},
  pdf = {Hoffmann-Journal_of_Symbolic_Computation-1997-Symoblic_Constraints_in_Constructive_geo_constraint_Solving.pdf}
}