Sketchpad and graphics
Statement
Interactive graphics; constraint solving. Proved in ZFC.
Source
ACM Turing Award 1988. Interactive graphics; constraint solving. Proved in ZFC.
Domains
computer-science
Interactive graphics; constraint solving. Proved in ZFC.
ACM Turing Award 1988. Interactive graphics; constraint solving. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/sutherland-turing-1988/