3D computer graphics
Statement
Z-buffer; subdivision surfaces; Pixar. Proved in ZFC.
Source
ACM Turing Award 2019. Z-buffer; subdivision surfaces; Pixar. Proved in ZFC.
Domains
computer-science
Z-buffer; subdivision surfaces; Pixar. Proved in ZFC.
ACM Turing Award 2019. Z-buffer; subdivision surfaces; Pixar. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/catmull-turing-2019/