Sciweavers

Share
2 search results - page 1 / 1
» Browsing Proof Markup Language Provenance: Enhancing the Exp...
Sort
View
IPAW
2010
9 years 11 months ago
Browsing Proof Markup Language Provenance: Enhancing the Experience
Nicholas Del Rio, Paulo Pinheiro da Silva, Hugo Po...
CORR
2010
Springer
196views Education» more  CORR 2010»
10 years 1 months ago
SWiM -- A Semantic Wiki for Mathematical Knowledge Management
Abstract. SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domainspecific structural semantic markup language OM...
Christoph Lange 0002
books