Logiweb

Electronic Notes in Theoretical Computer Science

Volumn 93, Issue , 2004, Pages 70-101

  Grue, Klaus ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

Archival of mathematics; Mathematical knowledge management; Notational freedom; Proof checker; Protocols; Retrieval of mathematics

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL TECHNIQUES; NETWORK PROTOCOLS; TEXTBOOKS;

ARCHIVAL OF MATHEMATICS; MATHEMATICAL KNOWLEDGE MANAGEMENT; NOTATIONAL FREEDOM; PROOF CHECKER; RETRIEVAL OF MATHEMATICS;

WORLD WIDE WEB;

EID: 19044398553     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2003.12.029     Document Type: Conference Paper

References (17)

1. Barendregt H. The Lambda Calculus, Its Syntax and Semantics. Studies in Logic and The Foundation of Mathematics. 103:1984;North-Holland
2. Berline C., Grue K. A κ -denotational semantics for Map Theory in ZFC+SI. Theoretical Computer Science. 179:1997;137-202
3. Church A. The Calculi of Lambda-Conversion. 1941;Princeton University Press
4. Constable R.L., Allen S., Bromly H., Cleaveland W., Cremer J., Harper R., Howe D., Knoblock T., Mendler N., Panangaden P., Sasaki J., Smith S. Implementing Mathematics with the Nuprl Proof Development System. 1986;Prentice-Hall, Englewood Cliffs, New Jersey
5. de Bruijn N.G. A survey of the project AUTOMATH. Seldin J., Hindley J.R. To H.B. Curry: Essays in Combinatory Logic, Lambda Calculus and Formalism. 1980;579-606 Academic Press
6. Dobbertin H., Bosselaers A., Preneel B. RIPEMD-160: A strengthened version of RIPEMD. Fast Software Encryption. 1996;71-82 http://citeseer.nj.nec. com/dobbertin96ripemd.html
7. Grue K. Map theory. Theoretical Computer Science. 102:1992;1-133
8. Grue K. Mathematics and Computation. (lecture notes). 1-3:2001;DIKU. 7. edition http://www.diku.dk/~grue/papers/mac0102/
9. Grue, K., Map theory with classical maps, Technical Report 02/21, DIKU (2002), http://www.diku.dk/publikationer/tekniske.rapporter/2002/
10. Kohlhase M. OMDoc: An open markup format for mathematical documents. (version 1.1) http://www.mathweb.org/omdoc.ps:2003
11. Miner R., Schaeffer J. A gentle introduction to MathML. http://www.dessci.com/en/support/tutorials/mathml/default.htm:2001
12. Muzalewski M. An Outline of PC Mizar. Foundation of Logic, Mathematics and Informatics. 1993;Mizar User Group, Brussels
13. Paulson, L. C., Introduction to isabelle, Technical report, University of Cambridge, Computer Laboratory (1998)
14. Paulson, L. C., The isabelle reference manual, Technical report, University of Cambridge, Computer Laboratory (1998)
15. Skalberg, S. C., "An Interactive Proof System for Map Theory," Ph.D. thesis, University of Copenhagen (2002), http://www.mangust.dk/skalberg/ phd/
16. Trybulec A., Blair H. Computer assisted reasoning with MIZAR. Joshi A. Proceedings of the 9th International Joint Conference on Artificial Intelligence. 1985;26-28 http://www.mizar.org/
17. Vallée T. "Map Theory" et antifondation. Electronic Notes in Theoretical Computer Science. 79:2003;1-258