Using Formal Reference to Enhance Authority and Integrity in Online Mathematical Texts
暂无分享,去创建一个
[1] Yves Bertot,et al. User Guide to the CTCOQ Proof Environment , 1997 .
[2] Volker Sorge,et al. Ω-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning , 2001 .
[3] Lawrence S. Kroll. Mathematica--A System for Doing Mathematics by Computer. , 1989 .
[4] Christine Paulin-Mohring,et al. The coq proof assistant reference manual , 2000 .
[5] Michael Kohlhase,et al. OMDOC: Towards an Internet Standard for the Administration, Distribution, and Teaching of Mathematical Knowledge , 2000, AISC.
[6] Mark Bickford,et al. FDL: A Prototype Formal Digital Library , 2004 .
[7] John Harrison,et al. HOL Light: A Tutorial Introduction , 1996, FMCAD.
[8] F. Attneave. How do you know , 1974 .
[9] Robert L. Constable,et al. Enabling Large Scale Coherency Among Mathematical Texts , 2006 .
[10] Stuart Frazier Allen. Abstract identifiers, intertextual reference and a computational basis for recordkeeping , 2004, First Monday.
[11] A. J. Bernheim Brush,et al. Assessing differential usage of usenet social accounting meta-data , 2005, CHI.
[12] Xin Yu,et al. MetaPRL - A Modular Logical Environment , 2003, TPHOLs.
[13] Natarajan Shankar,et al. PVS: A Prototype Verification System , 1992, CADE.
[14] Hugo Herbelin,et al. The Coq proof assistant : reference manual, version 6.1 , 1997 .
[15] Michael Kohlhase. OMDoc: an infrastructure for OpenMath content dictionary information , 2000, SIGS.
[16] J. Strother Moore,et al. An Industrial Strength Theorem Prover for a Logic Based on Common Lisp , 1997, IEEE Trans. Software Eng..
[17] Piotr Rudnicki,et al. An Overview of the MIZAR Project , 1992 .
[18] Volker Sorge,et al. ΩMEGA : Towards a mathematical assistant , 1997 .
[19] Keith O. Geddes,et al. Algorithms for computer algebra , 1992 .
[20] Volker Sorge,et al. Omega: Towards a Mathematical Assistant , 1997, CADE.