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.

Type Classes and Filters for Mathematical Analysis in Isabelle/HOL

Johannes Hölzl, Fabian Immler, Brian Huffman. Type Classes and Filters for Mathematical Analysis in Isabelle/HOL. In Sandrine Blazy, Christine Paulin-Mohring, David Pichardie, editors, Interactive Theorem Proving - 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings. Volume 7998 of Lecture Notes in Computer Science, pages 279-294, Springer, 2013. [doi]

Authors

Johannes Hölzl

This author has not been identified. Look up 'Johannes Hölzl' in Google

Fabian Immler

This author has not been identified. Look up 'Fabian Immler' in Google

Brian Huffman

This author has not been identified. Look up 'Brian Huffman' in Google
runs on