Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16--18, 2003. Proceedings (Q1396946)

The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 0978.00042). Indexed articles: \textit{Adams, Andrew A.}, Digitisation, representation, and formalisation, 1-16 [Zbl 1022.68609] \textit{Davenport, James H.}, MKM from book to computer: A case study, 17-29 [Zbl 1022.68118] \textit{Sacerdoti Coen, Claudio}, From proof-assistants to distributed libraries of mathematics: Tips and pitfalls, 30-44 [Zbl 1022.68614] \textit{Borwein, Jonathan; Stanway, Terry}, Managing digital mathematical discourse, 45-55 [Zbl 1022.68611] \textit{Carlisle, David; Dewar, Mike}, NAG library documentation, 56-65 [Zbl 1022.68613] \textit{Padovani, Luca}, On the roles of LATEX and MathML in encoding and processing mathematical expressions, 66-79 [Zbl 1022.68620] \textit{Goguadze, Georgi; Melis, Erica; Ullrich, Carsten; Cairns, Paul}, Problems and solutions for markup for mathematical examples and exercises, 80-92 [Zbl 1022.68615] \textit{Baba, Yusuke; Suzuki, Masakazu}, An annotated corpus and a grammar model of theorem description, 93-104 [Zbl 1022.68117] \textit{Guidi, Ferruccio; Schena, Irene}, A query language for a metadata framework about mathematical resources, 105-118 [Zbl 1022.68616] \textit{Bancerek, Grzegorz; Rudnicki, Piotr}, Information retrieval in MML, 119-132 [Zbl 1022.68610] \textit{Heumesser, Bernd D.; Seipel, Dietmar A.; Güntzer, Ulrich}, An expert system for the flexible processing of XML-based mathematical knowledge in a PROLOG-environment, 133-146 [Zbl 1022.68617] \textit{Kohlhase, Michael; Anghelache, Romeo}, Towards collaborative content management and version control for structured mathematical knowledge, 147-161 [Zbl 1022.68618] \textit{Rudnicki, Piotr; Trybulec, Andrzej}, On the integrity of a repository of formalized mathematics, 162-174 [Zbl 1022.68621] \textit{Cairns, Paul; Gow, Jeremy}, A theoretical analysis of hierarchical proofs, 175-187 [Zbl 1022.68612] \textit{Wiedijk, Freek}, Comparing mathematical provers, 188-202 [Zbl 1022.68623] \textit{Urban, Josef}, Translating Mizar for first order theorem provers, 203-215 [Zbl 1022.68622] \textit{Marchiori, Massimo}, The mathematical semantic web, 216-223 [Zbl 1022.68619]