CS-214: Software constructionLearn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundam
MATH-328: Algebraic geometry I - CurvesAlgebraic geometry is the common language for many branches of modern research in mathematics. This course gives an introduction to this field by studying algebraic curves and their intersection theor
MATH-326: Rational quadratic formsGiven a quadratic equation, e.g. x^2 + 2*y^2 = 81, how can we decide whether there is a rational solution (x,y)? This basic question is what the theory of Rational Quadratic Forms is all about. The co
