Cooperative repositories for formal proofs - A wiki-based solution

被引：0
|
作者：
Corbineau, Pierre [1 ]
Kaliszyk, Cezary [1 ]
机构：
[1] Radboud Univ Nijmegen, Inst Comp & Informat Sci, Postbus 9010, NL-6500 GL Nijmegen, Netherlands
来源：
TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS | 2007年 / 4573卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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 version of their work. We describe a prototype based on Coq, its web interface as implemented by the second author, and a modified version of the MediaWiki code-base. We discuss open issues such as dependencies and repository consistency. We explain limitations of the current prototype and we give a perspective towards a more robust solution.
引用
收藏
页码：221 / +
页数：2
相关论文
共 50 条
  • [41] A Wiki-Based Group Project in an Inorganic Chemistry Foundation Course
    Kristian, Kathleen E.
    [J]. JOURNAL OF CHEMICAL EDUCATION, 2015, 92 (12) : 2074 - 2079
  • [42] Using Email to Facilitate Wiki-based, Coordinated Collaborative Authoring
    Chi, Changyan
    Zhou, Michelle X.
    Xiao, Wenpeng
    Yang, Min
    Wilcox, Eric
    [J]. 29TH ANNUAL CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, 2011, : 3459 - 3468
  • [43] Wiki-based knowledge sharing in a knowledge-intensive organization
    Wuhan University, Center for Studies of Information Resources, Wuhan
    430072, China
    [J]. IFIP Advances in Information and Communication Technology, 2007, (18-25)
  • [44] Wiki-based Tool for Requirements Engineering according to the ProjectIT Approach
    Ferreira, David de Almeida
    da Silva, Alberto Rodrigues
    [J]. 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009), 2009, : 359 - 364
  • [45] A wiki-based framework for collaborative learning design in teacher education
    Zalavra, Eleni
    Papanikolaou, Kyparisia
    [J]. EDUCATION AND INFORMATION TECHNOLOGIES, 2022, 27 (05) : 6407 - 6435
  • [46] Technoeconomic analysis of biofuels: A wiki-based platform for lignocellulosic biorefineries
    Klein-Marcuschamer, Daniel
    Oleskowicz-Popiel, Piotr
    Simmons, Blake A.
    Blanch, Harvey W.
    [J]. BIOMASS & BIOENERGY, 2010, 34 (12): : 1914 - 1921
  • [47] A Novel Wiki-Based Remote Laboratory Platform for Engineering Education
    Wang, Ning
    Chen, Xuemin
    Lan, Qianlong
    Song, Gangbing
    Parsaei, Hamid R.
    Ho, Siu-Chun
    [J]. IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, 2017, 10 (03): : 331 - 341
  • [48] Wiki-based Digital Libraries Information Services in China and Abroad
    Lu Quan
    Chen Dezhao
    Hu Huili
    [J]. 2010 6TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS NETWORKING AND MOBILE COMPUTING (WICOM), 2010,
  • [49] User Psychological Problems in a Wiki-Based Knowledge Sharing Portal
    Suvinen, H.
    Saariluoma, P.
    [J]. 2008 3RD INTERNATIONAL CONFERENCE ON INTERNET AND WEB APPLICATIONS AND SERVICES (ICIW 2008), 2008, : 552 - 557
  • [50] E-CLOCK: A WIKI-BASED OUTREACH AND RECRUITMENT TOOL
    Morgan, Joseph A.
    Porter, Jay R.
    Twigge, Douglas William
    Block, John
    Byrd, Mickie
    [J]. 2012 ASEE ANNUAL CONFERENCE, 2012,
12345