- Record: found
- Abstract: not found
- Book Chapter: not found
Intelligent Computer Mathematics
Large Formal Wikis: Issues and Solutions
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references7
- Record: found
- Abstract: not found
- Book Chapter: not found
XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy
Josef Urban (2006)
- Record: found
- Abstract: not found
- Book Chapter: not found
Proviola: A Tool for Proof Re-animation
Carst Tankink, Herman Geuvers, James McKinna … (2010)
- Record: found
- Abstract: not found
- Book Chapter: not found
Information Retrieval and Rendering with MML Query
Grzegorz Bancerek (2006)