User:Cwitty

From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by imported>Cwitty at 22:07, 9 August 2005. The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

I'm a programmer, with strong interests in programming language design, mathematics, theorem proving, and 3D graphics.

Notes to myself: at some point I should write or edit articles on polyhedral symmetries, template metaprogramming, cylindrical algebraic decomposition, quantifier elimination, resultant (c.f. discriminant), authors Ardagh and Caudwell (but not before I remember their first names!), MITSFS, Sharon Shinn, Samaria (fictional world), OpenGL shading language (reference vertex and pixel shaders), JHDL, R. Austin Freeman and Dr. Thorndyke, Joseph C. Lincoln, Book of Counted Sorrows (summarize the extreme weirdness of the introduction)