Algebraic method for manipulation of dimensional relationships in geometric models

This publication has 9 references indexed in Scilit:

• PIGMOD: parametric and interactive geometric modeller for mechanical design
  Computer-Aided Design, 1990
• A refutational approach to geometry theorem proving
  Artificial Intelligence, 1988
• Variation of geometries based on a geometric-reasoning method
  Computer-Aided Design, 1988
• Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory
  Published by Springer Nature ,1985
• On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds
  Advances in Applied Mathematics, 1983
• Modification of geometric models through variational geometry
  Computer-Aided Design, 1982
• Using axial dimensions to determine the proportions of line drawings in computer graphics
  Computer-Aided Design, 1981
• The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
  ACM Transactions on Programming Languages and Systems, 1981
• Analysis of dimensions and tolerances in computer-aided mechanical design
  Computer-Aided Design, 1978