Skip to content

Wiki Authoring and Semantics of Mathematical Document Structure.

Hiraku Kuroda, Takao Namiki

VenueBITP
Year2011
ProceedingsMathWikis@ITP

Browse the full ITP paper archive.