-
1
-
-
34247362281
-
Fdl: A prototype formal digital library
-
Technical Report TR2004-1941, Cornell University
-
S. Allen, M. Bickford, R. Constable, R. Eaton, C. Kreitz, and L. Lorigo. Fdl: A prototype formal digital library. Technical Report TR2004-1941, Cornell University, 2002.
-
(2002)
-
-
Allen, S.1
Bickford, M.2
Constable, R.3
Eaton, R.4
Kreitz, C.5
Lorigo, L.6
-
2
-
-
0037256759
-
Mathematical knowledge management in HELM
-
May
-
A. Asperti, F. Guidi, L. Padovani, C. Sacerdoti Coen, and I. Schena. Mathematical knowledge management in HELM. Annals of Mathematics and Artificial Intelligence, 38(1-3):27-46, May 2003.
-
(2003)
Annals of Mathematics and Artificial Intelligence
, vol.38
, Issue.1-3
, pp. 27-46
-
-
Asperti, A.1
Guidi, F.2
Padovani, L.3
Sacerdoti Coen, C.4
Schena, I.5
-
7
-
-
34247393086
-
-
Dokuwiki. http://www.splitbrain.org/projects/dokuwiki.
-
Dokuwiki
-
-
-
12
-
-
34247366641
-
-
E. E. Kim. Purplewiki. http://purplewiki.blueoxen.net/cgi-bin/wiki.pl.
-
Purplewiki
-
-
Kim, E.E.1
-
13
-
-
84945163508
-
Patterns of sharing customizable software
-
New York, NY, USA, ACM Press
-
W. E. Mackay. Patterns of sharing customizable software. In CSCW'90: Proceedings of the 1990 ACM conference on Computer-supported cooperative work, pages 209-221, New York, NY, USA, 1990. ACM Press.
-
(1990)
CSCW'90: Proceedings of the 1990 ACM conference on Computer-supported cooperative work
, pp. 209-221
-
-
Mackay, W.E.1
-
14
-
-
85041751780
-
User-tailorable systems: Pressing the issues with buttons
-
New York, NY, USA, ACM Press
-
A. MacLean, K. Carter, L. Lövstrand, and T. Moran. User-tailorable systems: pressing the issues with buttons. In CHI'90: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 175-182, New York, NY, USA, 1990. ACM Press.
-
(1990)
CHI'90: Proceedings of the SIGCHI conference on Human factors in computing systems
, pp. 175-182
-
-
MacLean, A.1
Carter, K.2
Lövstrand, L.3
Moran, T.4
-
15
-
-
34247368314
-
-
Mathematical Markup Language (MathML) Version 2.0. W3C Recommendation 21 February 2001, 2003
-
Mathematical Markup Language (MathML) Version 2.0. W3C Recommendation 21 February 2001, http://www.w3.org/TR/MathML2, 2003.
-
-
-
-
16
-
-
34247399367
-
-
Openwiki. http://www.openwiki.com/.
-
Openwiki
-
-
-
19
-
-
33745672083
-
XML-izing Mizar: Making semantic processing and presentation of MML easy
-
A. Asperti et al, editors, Post-Proceedings of the 4th International Conference on Mathematical Knowledge Management, MKM 2005, of, Springer-Verlag
-
J. Urban. XML-izing Mizar: making semantic processing and presentation of MML easy. In A. Asperti et al., editors, Post-Proceedings of the 4th International Conference on Mathematical Knowledge Management, MKM 2005, volume 3863 of LNCS, pages 346-360. Springer-Verlag, 2006.
-
(2006)
LNCS
, vol.3863
, pp. 346-360
-
-
Urban, J.1
-
20
-
-
34247336289
-
-
WikiGnomes. http://en.wikipedia.org/wiki/Wikignomes.
-
WikiGnomes
-
-
-
22
-
-
34247349372
-
-
Wiki RFC interface 2, API version 2
-
Wiki RFC interface 2, API version 2. http://www.jspwiki.org/Wiki.jsp? WikiRPCInterface2.
-
-
-
|