External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives

Sylvie Boldo, Catherine Lelay, Guillaume Melquiond. Improving Real Analysis in Coq: A User-Friendly Approach to Integrals and Derivatives. In Chris Hawblitzel, Dale Miller, editors, Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. Volume 7679 of Lecture Notes in Computer Science, pages 289-304, Springer, 2012. [doi]

Authors

Sylvie Boldo

This author has not been identified. Look up 'Sylvie Boldo' in Google

Catherine Lelay

This author has not been identified. Look up 'Catherine Lelay' in Google

Guillaume Melquiond

This author has not been identified. Look up 'Guillaume Melquiond' in Google
runs on