Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24--26, 2001 (Q2767660)

The articles of this volume will be reviewed individually.NEWLINENEWLINEIndexed articles:NEWLINENEWLINE\textit{Meunier, Ludovic; Salvy, Bruno}, Automatically generated encyclopedia of special functions. (Extended abstract), 5 p. [Zbl 0982.68193]NEWLINENEWLINE\textit{Hardin, T.}, Mathematical knowledge management in Foc, 6 p. [Zbl 0982.68134]NEWLINENEWLINE\textit{Allen, Stuart; Caldwell, James; Constable, Robert}, Logical aspects of digital mathematics libraries. (Extended abstract), 6 p. [Zbl 0996.68184]NEWLINENEWLINE\textit{Benzmüller, Christoph; Meier, Andreas; Sorge, Volker}, Distributed assertion retrieval, 7 p. [Zbl 0996.68510]NEWLINENEWLINE\textit{Kohlhase, Michael}, Formal representation issues in an open mathematical knowledge base. (Extended abstract), 7 p. [Zbl 0982.68132]NEWLINENEWLINE\textit{Albano, G.; Gargiulo, G.; Salerno, S.}, Modelling for understanding of scientific knowledge, 7 p. [Zbl 0996.68709]NEWLINENEWLINE\textit{Schwarzweller, Christoph}, Designing mathematical libraries based on minimal requirements for theorems, 8 p. [Zbl 0982.68130]NEWLINENEWLINE\textit{Davenport, James H.}, Mathematical knowledge representation. (Extended abstract), 8 p. [Zbl 0982.68137]NEWLINENEWLINE\textit{Dewar, Mike; Carlisle, David}, Mathematical software: The next generation?, 8 p. [Zbl 0996.68867]NEWLINENEWLINE\textit{Athale, Manasi; Athale, Rahul}, Exchange of mathematical information on the web: Present and future, 9 p. [Zbl 0982.68131]NEWLINENEWLINE\textit{Fürst, Frédéric; Leclère, Michel; Trichet, Francky}, Contribution of the ontology engineering to mathematical knowledge management, 9 p. [Zbl 0996.68198]NEWLINENEWLINE\textit{Nakagawa, Koji; Buchberger, Bruno}, Two tools for mathematical knowledge management in theorema, 10 p. [Zbl 0986.68536]NEWLINENEWLINE\textit{Stanway, Terry; Fraser, Simon}, From G. H. H. and Littlewood to XML and Maple: Changing needs and expectations in mathematical knowledge management, 10 p. [Zbl 0986.01024]NEWLINENEWLINE\textit{Cairns, Paul; Gow, Jeremy}, On dynamically presenting a topology course, 11 p. [Zbl 0988.68799]NEWLINENEWLINE\textit{Baumgartner, Peter; Blohm, Antje}, Automated deduction techniques for the management of personalized documents. (Extended abstract), 12 p. [Zbl 0982.68116]NEWLINENEWLINE\textit{Grabowski, Adam}, Robbins algebras vs. Boolean algebras, 12 p. [Zbl 0984.06500]NEWLINENEWLINE\textit{Adams, A. A.}, Digital look up tables and real number theorem proving, 13 p. [Zbl 0982.68117]NEWLINENEWLINE\textit{Lozier, Daniel W.}, The NIST digital library of mathematical functions project, 14 p. [Zbl 0982.68169]NEWLINENEWLINE\textit{Buchberger, Bruno}, Mathematical knowledge management using theorema, 17 p. [Zbl 0986.68535]NEWLINENEWLINE\textit{Caprotti, Olga; Geuvers, Herman; Oostdijk, Martijn}, Certified and portable mathematical documents from formal contexts, 18 p. [Zbl 0982.68167]NEWLINENEWLINE\textit{Asperti, Andrea; Padovani, Luca; Sacerdoti Coen, Claudio; Guidi, Ferruccio; Schena, Irene}, Mathematical knowledge management in HELM, 21 p. [Zbl 0982.68135]NEWLINENEWLINE\textit{Michler, Gerhard O.}, How to build a prototype for a distributed digital mathematics archive library, 23 p. [Zbl 0982.68061]NEWLINENEWLINE\textit{Rudnicki, Piotr; Trybulec, Andrzej}, Mathematical knowledge management in MIZAR, 25 p. [Zbl 0982.68136]NEWLINENEWLINE\textit{Naylor, Bill; Watt, Stephen}, Meta stylesheets for the conversion of mathematical documents into multiple forms, 26 p. [Zbl 0982.68168]NEWLINENEWLINE\textit{Farmer, William M.; von Mohrenschildt, Martin}, A formal framework for managing mathematics, 37 p. [Zbl 0982.68114]NEWLINENEWLINE\textit{Sperber, Wolfram; Schwänzl, Roland}, Mathematical knowledge management and Math-Net: semantics, visualization and internationalization of Math-Net, no pag. [Zbl 0986.68534]