User:Cwitty
|
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