BibTeX
@MISC{Reichelt_ideasfor,
author = {Sebastian Reichelt},
title = {Ideas for a MathWiki Editor},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present some functional and non-functional requirements and wishes for a web-based editor for formalized mathematics, in particular for use in the MathWiki project at RU Nijmegen [13]. We discuss possible implementation alternatives, and argue for a holistic design of the entire wiki with editor features in mind. 1
