Annotated Bibliography of Related Work

REFACTOR: in progress

An attempt to make a list of important publications related to the field of user interfaces for theorem provers: mainly those with connections to Proof General. Not necessarily complete or unbiased.

  • From Notation to Semantics: There and Back Again
    by Luca Padovani, Stefano Zacchiroli
    the Proceedings of the 5th International Conference on Mathematical Knowledge Management (MKM'06), Wokingham, UK, August 2006

  • Real Theorem Provers Deserve Real User-Interfaces
    by Laurent Théry, Yves Bertot, and Gilles Kahn
    The Fifth ACM Symposium on Software Development Environments (SDE5), Washington D. C., December 1992. Also appears as Inria Research Report no. 1684, May 1992.

  • Proof by Pointing
    by Yves Bertot, Gilles Kahn, and Laurent Théry
    Symposium on Theoretical Aspects Computer Software (STACS), Sendai (Japan), LNCS 789, April 1994. Also appears as Cambridge University Research Report, December 1993.

This topic: PG > AnnotatedBibliography
Topic revision: r2 - 11 Sep 2006 - 09:09:22 - HuaYang
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies