Mechanizing Mathematical Reasoning: Essays in Honor of Jörg ...
Dieter Hutter
Charming Proofs: A Journey Into Elegant Mathematics
Claudi Alsina & Roger B. Nelsen
Collective Dynamics of Nonlinear and Disordered Systems
Günter Radons & Wolfram Just & Peter Häussler
Drop 2 Chord Voicings for Jazz and Modern Guitar
Joseph Alexander
MyILP Handbook
Terry Patten & Ken Wilber & Adam Leonard & Marco Morelli
Adam Smith
James R. Otteson