Logiweb - A system for web publication of mathematics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4151 LNCS, Issue , 2006, Pages 343-353

  Grue, Klaus ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC PUBLISHING; ERROR CORRECTION; FORMAL LANGUAGES; FORMAL LOGIC; INTERNET; WEBSITES;

FORMAL REASONING; LOGIWEB PAGE; TYPOGRAPHIC QUALITY; WEB PUBLICATION;

COMPUTER SOFTWARE;

EID: 33750052253     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11832225_34     Document Type: Conference Paper

References (21)

1. Kohlhase, M.: OMDoc: An open markup format for mathematical documents (version 1.1) (2003) http://www.mathweb.org/omdoc/index.html.
2. Miner, R., Schaeffer, J.: A gentle introduction to MathML (2001) http://www.dessci.com/en/support/tutorials/mathml/default.htm.
3. Trybulec, A., Blair, H.: Computer assisted reasoning with MIZAR. In Joshi, A., ed.: Proceedings of the 9th International Joint Conference on Artificial Intelligence, Los Angeles, CA, Morgan Kaufmann (1985) 26-28 http://www.mizar.org/.
4. Muzalewski, M.: An Outline of PC Mizar. Foundation of Logic, Mathematics and Informatics, Mizar User Group, Brussels. (1993)
5. Berline, C., Grue, K.: A k-denotational semantics for Map Theory in ZFC+SI. Theoretical Computer Science 179(1-2) (1997) 137-202
6. Grue, K.: Map theory. Theoretical Computer Science 102(1) (1992) 1-133
7. Skalberg, S.C.: An Interactive Proof System for Map Theory. PhD thesis, University of Copenhagen (2002) http://www.mangust.dk/skalberg/phd/.
8. Vallée, T.: "Map Theory" et Antifondation. Volume 79 of Electronic Notes in Theoretical Computer Science. Elsevier (2003)
9. Constable, R.L., Allen, S., Bromly. H., Cleaveland, W., Cremer, J., Harper, R., Howe, D., Knoblock, T., Mendlr, N., Panangaden, P., Sasaki, J., Smith, S.: Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, Englewood Cliffs, New Jersey (1986)
10. Grue, K.: Mathematics and Computation. 7 edn. Volume 1-3. DIKU, Universitetsparken 1, DK-2100 Copenhagen (2001)
11. Grue, K.: Map theory with classical maps. Technical Report 02/21, DIKU (2002) http://www.diku.dk/publikationer/tekniske.rapporter/2002/.
12. Paulson, L.C.: Introduction to Isabelle. Technical report, University of Cambridge, Computer Laboratory (1998)
13. Paulson, L.C.: The Isabelle reference manual. Technical report, University of Cambridge, Computer Laboratory (1998)
14. Berners-Lee, T., Masinter, L., McCahill, M.: Uniform Resource Locators (URL). RFC 1738, Internet Engineering Task Force (1994) http://rfc.net/rfc1738. html.
15. Dobbertin, H., Bosselaers, A., Preneel, B.: RIPEMD-160: A strengthened version of RIPEMD. In: Fast Software Encryption. (1996) 71-82 http://citeseer.ist.psu.edu/dobbertin96ripemd.html.
16. Grue, K.: Logiweb - a system for web publication of mathematics - appendix. Technical report, Logiweb (2006) http://logiweb.eu:8080/logiweb/ server/relay/64/BokG7o6Za5JH5cFpE6nduncQ-rtRhuYtje_iigBB/2/body/tex/appendix. pdf.
17. Grue, K.: A logiweb base page. Technical report, Logiweb (2006) http://logiweb.eu:8080/logiweb/server/relay/64/BAGTyrgl5Qmkb- DUmGqAWUdaOvx9aHftYSe_iigBB/2/.
18. Grue, K.: The logiweb sequent calculus. Technical report, Logiweb (2006) http://logiweb.eu:8080/logiweb/server/relay/64/BsPa2QtKsY6_LULMdLI-THnDv58AVac- Mbe_iigBB/2/.
19. Mendelson, E.: Introduction to Mathematical Logic. 3. edn. Wadsworth and Brooks (1987)
20. Knuth, D.: The TeXbook. Addison Wesley (1983)
21. Grue, K.: Logiweb. In Kamareddine, F., ed.: Mathematical Knowledge Management Symposium 2003. Volume 93 of Electronic Notes in Theoretical Computer Science., Elsevier (2004) 70-101