Mechanized Mathematics

  • Jacques Carette
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6167)


If one were designing an entirely new mathematical assistant, what might it look like? Problems and some favoured solutions are presented.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jacques Carette
    • 1
  1. 1.Department of Computing and SoftwareMcMaster University 

Personalised recommendations