A correct rule-based geometric constraint solver

Sketchpad

Ivan E. Sutherland · 1963 · 1.8K citations

Computing, Computer Science, Drawing +8

Greobner Bases : an algorithmic method in polynomial ideal theory

Bruno Buchberger · Medical Entomology and Zoology · 1985 · 1.1K citations

Natural Sciences, Computer Science, Mathematics +11

On graphs and rigidity of plane skeletal structures

G. Laman · Journal of Engineering Mathematics · 1970 · 1.1K citations

Natural Sciences, Computer Science, Mathematics +11

Prolog programming for artificial intelligence

Computer-Aided Design · 1986 · 1.1K citations

Computing, Computer Science, Artificial Intelligence +8

The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory

Alan Borning · ACM Transactions on Programming Languages and Systems · 1981 · 623 citations · Full text

Computing, Computer Science, Knowledge Representation +9