Senior Thesis: Ray Tracing
For my thesis in computer science, I researched ray tracing, its mathematical underpinnings and modern usage. I also implemented a ray tracer in C++ that supports…
Ambient lighting, diffuse and specular reflection

Transmission through clear surfaces

Numerous shapes including 3D quadrics

Complex scenes

You can find the full text of my thesis here. You can also check out the code from my thesis on my github.
darknet
coq tactics