Text, Speech and Dialogue: 5th International Conference, TSD 2002, Brno, Czech Republic September 9-12, 2002. Proceedings

Theorems And Lemmas In Mathematics

Text, Speech, and Dialogue: 21st International Conference, TSD 2018, Brno, Czech Republic, September 11-14, 2018, Proceedings

Mathematician's Delight

Advanced Functional Programming: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures

The Joy Of X: A Guided Tour of Math, from One to Infinity

Calculus: A Complete Introduction: The Easy Way to Learn Calculus

Games and Learning Alliance: 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5–7, 2016, Proceedings

103 Trigonometry Problems: From the Training of the USA IMO Team

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Basic Math & Pre-Algebra For Dummies: Edition 2

Datatype-Generic Programming: International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

Ramanujan's Lost Notebook: Part I, Part 1

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings

MathsWiz Book 5

Mathematical Software – ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings

Rings and Homology

Notebooks of Srinivasa Ramanujan: Volume II, Volume 2