Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化 Promoted by Amazon
Noncommutative algebraic geometry and representations of quantized algebras Promoted by Amazon