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.

Realms: A Structure for Consolidating Knowledge about Mathematical Theories

Jacques Carette, William M. Farmer, Michael Kohlhase. Realms: A Structure for Consolidating Knowledge about Mathematical Theories. In Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban, editors, Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. Volume 8543 of Lecture Notes in Computer Science, pages 252-266, Springer, 2014. [doi]

Authors

Jacques Carette

This author has not been identified. Look up 'Jacques Carette' in Google

William M. Farmer

This author has not been identified. Look up 'William M. Farmer' in Google

Michael Kohlhase

This author has not been identified. Look up 'Michael Kohlhase' in Google
runs on