HoTT

HoTT

by uf-ias-2012.wikispaces.com

Book profile Book website [Added to 0 shelves]
math homotopy type theory hott
Mathematics for Computer Science

Mathematics for Computer Science

by F Thomson Leighton, Albert R Meyer, Eric Lehman

Book profile Book website [Added to 53 shelves]
algorithms math
The World of Mathematics

The World of Mathematics

by Philipp Legner, mathigon.org

Book profile Book website [Added to 30 shelves]
math
Graph Theory with Applications

Graph Theory with Applications

by J.A. Bondy, U.S.R. Murty

Book profile Book website [Added to 57 shelves]
math graph theory
Combinatorial Algorithms

Combinatorial Algorithms

by Herbert S. Wilf, Albert Nijenhuis

Book profile Book website [Added to 39 shelves]
algorithms math
Street-Fighting Mathematics

Street-Fighting Mathematics

by Sanjoy Mahajan

Book profile Book website [Added to 103 shelves]
math