MKM
2007
Springer
14 years 1 months ago
2007
Springer
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
TABLETOP
2008
IEEE
14 years 1 months ago
2008
IEEE
The WeSpace is a long-term project dedicated to the creation of environments supporting walkup and share collaboration among small groups. The focus of our system design has been ...