Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19--21, 2004. Proceedings. (Q704809)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1015.00029). Indexed articles: \textit{Adams, Andrew A.; Davenport, James H.}, Copyright issues for MKM, 1-16 [Zbl 1108.68581] \textit{Asperti, Andrea; Selmi, Matteo}, Efficient retrieval of mathematical statements, 17-31 [Zbl 1108.68582] \textit{Avron, Arnon}, Formalizing set theory as it is actually used, 32-43 [Zbl 1109.03056] \textit{Bancerek, Grzegorz; Urban, Josef}, Integrated semantic browsing of the Mizar mathematical library for authoring Mizar articles, 44-57 [Zbl 1108.68583] \textit{Cairns, Paul}, Informalising formal mathematics: Searching the Mizar library with latent semantics, 58-72 [Zbl 1108.68584] \textit{Caprotti, Olga; Dewar, Mike; Turi, Daniele}, Mathematical service matching using description logic and OWL, 73-87 [Zbl 1108.68585] \textit{Cruz-Filipe, Luís; Geuvers, Herman; Wiedijk, Freek}, C-CoRN, the constructive Coq repository at Nijmegen, 88-103 [Zbl 1108.68586] \textit{Draheim, Dirk; Neun, Winfried; Suliman, Dima}, Classifying differential equations on the web, 104-115 [Zbl 1108.68588] \textit{Grabowski, Adam; Moschner, Markus}, Managing heterogeneous theories within a mathematical knowledge repository, 116-129 [Zbl 1108.68589] \textit{Grabowski, Adam; Schwarzweller, Christoph}, Rough concept analysis -- theory development in the Mizar system, 130-144 [Zbl 1108.68590] \textit{Jojgov, Gueorgui; Nederpelt, Rob}, A path to faithful formalizations of mathematics, 145-159 [Zbl 1108.68591] \textit{Kamareddine, Fairouz; Maarek, Manuel; Wells, J. B.}, Flexible encoding of mathematics on the computer, 160-174 [Zbl 1108.68592] \textit{Kohlhase, Andrea; Kohlhase, Michael}, CPoint: Dissolving the author's dilemma, 175-189 [Zbl 1108.68593] \textit{Kulpa, Zenon}, On diagrammatic representation of mathematical knowledge, 190-204 [Zbl 1108.68594] \textit{Kutsia, Temur; Buchberger, Bruno}, Predicate logic with sequence variables and sequence function symbols, 205-219 [Zbl 1109.68111] \textit{Lorigo, Lori; Kleinberg, Jon; Eaton, Richard; Constable, Robert}, A graph-based approach towards discerning inherent structures in a digital library of formal mathematics, 220-235 [Zbl 1108.68595] \textit{Lyaletski, Alexander; Paskevich, Andrey; Verchinine, Konstantin}, Theorem proving and proof verification in the system SAD, 236-250 [Zbl 1108.68573] \textit{Melis, Erica; Meier, Andreas; Pollet, Martin}, Adaptive access to a proof planner, 251-264 [Zbl 1108.97300] \textit{Mora, Miguel A.; Moriyón, Roberto; Saiz, Francisco}, Modeling interactivity for mathematics learning by demonstration, 265-275 [Zbl 1108.97301] \textit{Nakagawa, Koji; Nomura, Akihiro; Suzuki, Masakazu}, Extraction of logical structure from articles in mathematics, 276-289 [Zbl 1108.68597] \textit{Naumowicz, Adam; Byliński, Czesław}, Improving Mizar texts with properties and requirements, 290-301 [Zbl 1108.68598] \textit{Padovani, Luca; Solmi, Riccardo}, An investigation on the dynamics of direct-manipulation editors for mathematics, 302-316 [Zbl 1108.68599] \textit{Pollet, Martin; Sorge, Volker; Kerber, Manfred}, Intuitive and formal representations: The case of matrices, 317-331 [Zbl 1108.68600] \textit{Sacerdoti Coen, Claudio}, Mathematical libraries as proof assistant environments, 332-346 [Zbl 1108.68601] \textit{Sacerdoti Coen, Claudio; Zacchiroli, Stefano}, Efficient ambiguous parsing of mathematical formulae, 347-362 [Zbl 1108.68602] \textit{Smirnova, Elena S.; So, Clare M.; Watt, Stephen M.}, An architecture for distributed mathematical web services, 363-377 [Zbl 1108.68603] \textit{Strotmann, Andreas}, The categorial type of OpenMath objects, 378-392 [Zbl 1108.68604]