Skip to main content
SpringerLink
Log in

A natural language explanation for formal proofs

  • Selected papers
  • Conference paper
  • First Online:
Logical Aspects of Computational Linguistics (LACL 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1328))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. D. Chester, The translation of Formal Proofs into English, Artificial Intelligence 7 (1976), 261–278, 1976.

    Article  MATH  MathSciNet  Google Scholar 

  2. C. Cornes, J. Courant, J-C. Filliâtre, E. Gimenez, G. Huet, P. Manoury, C. Muñoz, C. Murthy, C. Parent, C. Paulin-Mohring, A. SaÏbi, B. Werner, The Coq Proof Assistant Reference Manual, INRIA.

    Google Scholar 

  3. Y. Coscoy, G. Kahn, L. Théry, Extracting Text from Proofs, in Typed Lambda Calculus and Applications, volume 902 of Lecture Notes in Computer Science. Springer-Verlag.

    Google Scholar 

  4. X. Huang, Human Oriented Proof Presentation: A Reconstructive Approach, SEKI Report SR-SR-94-07, UNIVERSITäT DES SAARLANDES,.

    Google Scholar 

  5. K. Prazmowski, P.Rudnicki Mizar-MSE Primer Warsaw University, University of Alberta.

    Google Scholar 

  6. A. Ranta, Type Theory and the Informal Language of Mathematics, in Proceedings of the 1993 Types Worshop, Nijmegen, LNCS 806, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INRIA-Sophia-Antipolis, Bulgaria

    Yann Coscoy

Authors
  1. Yann Coscoy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Christian Retoré

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Coscoy, Y. (1997). A natural language explanation for formal proofs. In: Retoré, C. (eds) Logical Aspects of Computational Linguistics. LACL 1996. Lecture Notes in Computer Science, vol 1328. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0052156

Download citation

  • DOI: https://doi.org/10.1007/BFb0052156

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63700-4

  • Online ISBN: 978-3-540-69631-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation