Mechanized Mathematics

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

Abstract

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