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.

Mining the Archive of Formal Proofs

Jasmin Christian Blanchette, Maximilian Haslbeck, Daniel Matichuk, Tobias Nipkow. Mining the Archive of Formal Proofs. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge, editors, Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. Volume 9150 of Lecture Notes in Computer Science, pages 3-17, Springer, 2015. [doi]

Authors

Jasmin Christian Blanchette

This author has not been identified. Look up 'Jasmin Christian Blanchette' in Google

Maximilian Haslbeck

This author has not been identified. Look up 'Maximilian Haslbeck' in Google

Daniel Matichuk

This author has not been identified. Look up 'Daniel Matichuk' in Google

Tobias Nipkow

This author has not been identified. Look up 'Tobias Nipkow' in Google
runs on