Electronic Notes in Theoretical Computer Science, Volume 93

Volume 93, 2004

• Fairouz Kamareddine:
  Mathematical Knowledge Management Symposium 2003. 1-4
  
• Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo:
  Assertion-level Proof Representation with Under-Specification. 5-23
  
• Bruno Buchberger, Adrian Craciun:
  Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema. 24-59
  
• Paul A. Cairns, Jeremy Gow:
  Using and Parsing the Mizar Language. 60-69
  
• Klaus Grue:
  Logiweb. 70-101
  
• Gueorgui I. Jojgov, Rob Nederpelt, M. Scheffer:
  Faithfully Reflecting the Structure of Informal Mathematical Proofs into Formal Type Theories. 102-117
  
• Gueorgui I. Jojgov, Herman Geuvers:
  A Calculus of Tactics and Its Operational Semantics. 118-137
  
• Fairouz Kamareddine, Manuel Maarek, J. B. Wells:
  MathLang: Experience-driven Development of a New Mathematical Language. 138-160
  
• Mircea Marin, Florina Piroi:
  Deduction and Presentation in rho Log. 161-182
  
• Manolis Mavrikis, Alberto González Palomo:
  Mathematical, Interactive Exercise Generation from Static Documents. 183-201