A short survey of automated reasoning

John Harrison.

Proceedings of AB 2007, the second international conference on Algebraic Biology, Springer LNCS vol. 4545, pp. x--x, 2007.


This paper surveys the field of automated reasoning, giving some historical background and outlining a few of the main current research themes. We particularly emphasize the points of contact and the contrasts with computer algebra. We finish with a discussion of the main applications so far.

DVI, PostScript or PDF

Bibtex entry:

        author          = "John Harrison",
        title           = "A short survey of automated reasoning",
        editor          = "Hirokazu Anai and Katsuhisa Horimoto and Temur
        booktitle       = "Proceedings of the Second International Conference
                           on Algebraic Biology, AB 2007",
        address         = "Castle of Hagenberg, Austria",
        year            = 2007,
        publisher       = "Springer-Verlag",
        series          = "Lecture Notes in Computer Science",
        volume          = 4545,
        pages           = "334--349"}