Clean more like I wanna clill myself
A concise guide for anyone that's met with the terrible fate of having to program in Clean (so mainly for Radboud University students).
Melle P. Starke & Crippling D. Pression
Toric varieties I
The lecture notes are based on Tom Coates' lecture on toric varieties. A few references:
M. Audin, Toric actions on symplectic manifolds
W. Fulton, Toric varieties
Cox-Schenck-Little, Toric varieties
Statistics Formulae (Lind et. al. 2015)
Collection of statistics formulae taken from the perennial text book Lind, Douglas A. et. al. (2015): Statistical Techniques in Business and Economics, 16 ed. (2015).
Wolfgang W. Stoettner
Course notes for MATH 524: Non-linear optimization
Course page: people.math.sc.edu/blanco/ma524.html
University of South Carolina
Francisco Javier Blanco-Silva
HoTT Reading Notes
This is an informal set of comments on the HoTT Book.