Ray tracing (raytracing, ray-tracing or ray casting)

Ray tracing is a technique for generating an image by tracing the path of light through a scene and simulating the effects of its encounters with objects. It is capable of producing a very high degree of visual realism, but at a greater computational cost than other techniques such as rasterization. Ray tracing is often … Read more

Lambda calculus

Lambda calculus is a formal system for function definition, application, and recursion. It is the theoretical basis for functional programming languages such as Scheme, ML, and Haskell. The lambda calculus was invented by Alonzo Church in the 1930s as a way to formalize mathematical reasoning. The lambda calculus has two parts: The first part is … Read more