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 条
  • [1] WIKI-BASED COOPERATIVE LEARNING IN CHEMISTRY
    Alexandre, M.
    Arevalo, M. J.
    Fernandez, C.
    Gil, M. V.
    Gomez, V.
    Tirado, M.
    [J]. EDULEARN11: 3RD INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2011, : 3773 - 3779
  • [2] Scalable modelling and recommendation using wiki-based crowdsourced repositories
    Leal, Fatima
    Veloso, Bruno M.
    Malheiro, Benedita
    Gonzalez-Velez, Horacio
    Carlos Burguillo, Juan
    [J]. ELECTRONIC COMMERCE RESEARCH AND APPLICATIONS, 2019, 33
  • [3] A Wiki-Based Solution to Managing Your Institution's Imaging Protocols
    Szczykutowicz, Timothy P.
    Rubert, Nicholas
    Belden, Daryn
    Ciano, Amanda
    Duplissis, Andrew
    Hermanns, Ashley
    Monette, Stephen
    Saldivar, Elliott Janssen
    [J]. JOURNAL OF THE AMERICAN COLLEGE OF RADIOLOGY, 2016, 13 (07) : 822 - 824
  • [4] Quest for Excellence in a Wiki-based World
    Hatcher-Gallop, Rolanda
    Fazal, Zohra
    Oluseyi, Maya
    [J]. 2009 IEEE INTERNATIONAL PROFESSIONAL COMMUNICATION CONFERENCE, 2009, : 351 - 358
  • [5] Semantic Wiki-based Ontology Evolution
    Kasisopha, Natsuda
    Wongthongtham, Pornpit
    [J]. 2009 3RD IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, 2009, : 656 - 658
  • [6] LiverWiki: a wiki-based database for human liver
    Tao Chen
    Mansheng Li
    Qiang He
    Lei Zou
    Youhuan Li
    Cheng Chang
    Dongyan Zhao
    Yunping Zhu
    [J]. BMC Bioinformatics, 18
  • [7] Wiki-Based Enterprise Knowledge Management System
    Mu, Bin
    Ren, Yi Ping
    Sun, Zhiwei
    [J]. 2013 3RD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT), 2013, : 344 - 348
  • [8] Wiki-based stakeholder participation in requirements engineering
    Decker, Bjorn
    Ras, Eric
    Rech, Joerg
    Jaubert, Pascal
    Rieth, Marco
    [J]. IEEE SOFTWARE, 2007, 24 (02) : 28 - +
  • [9] Linking NCBI to Wikipedia: a wiki-based approach
    Page, Roderic D. M.
    [J]. PLOS CURRENTS-TREE OF LIFE, 2011,
  • [10] GREENC: a Wiki-based database of plant lncRNAs
    Paytuvi Gallart, Andreu
    Hermoso Pulido, Antonio
    Martinez de Lagran, Irantzu Anzar
    Sanseverino, Walter
    Aiese Cigliano, Riccardo
    [J]. NUCLEIC ACIDS RESEARCH, 2016, 44 (D1) : D1161 - D1166
12345