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
- 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
- Fairouz Kamareddine, Manuel Maarek, J. B. Wells: MathLang: Experience-driven Development of a New Mathematical Language. 138-160
- Manolis Mavrikis, Alberto González Palomo: Mathematical, Interactive Exercise Generation from Static Documents. 183-201
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team