Point-and-Write – Documenting Formal Mathematics by Reference-Reference-Cited by-同舟云学术

Point-and-Write – Documenting Formal Mathematics by Reference

Published:2012 Issue: Volume: Page:169-185
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Tankink Carst,Lange Christoph,Urban Josef

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-31374-5_12

Reference28 articles.

1. Resource Description Framework (RDF): Concepts and abstract syntax. Recommendation, W3C (2004), http://www.w3.org/TR/rdf-concepts

2. RDFa in XHTML: Syntax and processing. Recommendation, W3C (October 2008), http://www.w3.org/TR/rdfa-syntax

3. Asperti, A., Geuvers, H., Loeb, I., Mamane, L.E., Coen, C.S.: An interactive algebra course with formalised proofs and definitions. In: Kohlhase [14], pp. 315–329

4. Lecture Notes in Computer Science,2010

5. Bancerek, G., Kohlhase, M.: Towards a Mizar Mathematical Library in OMDoc format. In: Matuszewski, R., Zalewska, A. (eds.) From Insight to Proof: Festschrift in Honour of Andrzej Trybulec. Studies in Logic, Grammar and Rhetoric, vol. 10(23), pp. 265–275. University of Białystok (2007)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Wikis and Collaborative Systems for Large Formal Mathematics;Semantic Web Collaborative Spaces;2016

2. Proof in Context — Web Editing with Rich, Modeless Contextual Feedback;Electronic Proceedings in Theoretical Computer Science;2013-07-05

3. Formal Mathematics on Display: A Wiki for Flyspeck;Lecture Notes in Computer Science;2013

4. Communicating Formal Proofs: The Case of Flyspeck;Interactive Theorem Proving;2013