Constitutes the proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham. This book includes 22 full papers which cover the whole area of mathematical knowledge management in the intersection of mathematics, computer science, library science, and scientific publishing.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers cover mathematical knowledge management. Topics range from foundations and the representational and document-structure aspects of mathematical knowledge, over process questions like authoring, migration, and consistency management by automated theorem proving to applications in e-learning and case studies.

This book constitutes the refereed proceedings of the Second International Conference on Mathematical Knowledge Management, MKM 2003, held in Betinoro, Italy, in February 2003. The 16 revised full papers presented together with an invited paper were carefully reviewed and selected for presentation. Among the topics addressed are digitization, representation, formalization, proof assistants, distributed libraries of mathematics, NAG library, LaTeX, MathML, mathematics markup, theorem description, query languages for mathematical metadata, mathematical information retrieval, XML-based mathematical knowledge processing, semantic Web, mathematical content management, formalized mathematics repositories, theorem proving, and proof theory.

Provides comprehensive, in-depth coverage of all issues related to knowledge management, including conceptual, methodological, technical, and managerial issues. Presents the opportunities, future challenges, and emerging trends related to this subject.

Knowledge Management has evolved into one of the most important streams of management research, affecting organizations of all types at many different levels. The Encyclopedia of Knowledge Management, Second Edition provides a compendium of terms, definitions and explanations of concepts, processes and acronyms addressing the challenges of knowledge management. This two-volume collection covers all aspects of this critical discipline, which range from knowledge identification and representation, to the impact of Knowledge Management Systems on organizational culture, to the significant integration and cost issues being faced by Human Resources, MIS/IT, and production departments.

Mathematics is becoming increasingly collaborative, but software does not sufficiently support that: Social Web applications do not currently make mathematical knowledge accessible to automated agents that have a deeper understanding of mathematical structures. Such agents exist but focus on individual research tasks, such as authoring, publishing, peer-review, or verification, instead of complex collaboration workflows. This work effectively enables their integration by bridging the document-oriented perspective of mathematical authoring and publishing, and the network perspective of threaded discussions and Web information retrieval. This is achieved by giving existing representations of mathematical and relevant related knowledge about applications, projects and people a common Semantic Web foundation. Service integration is addressed from the two perspectives of enriching published documents by embedding assistive services, and translating between different knowledge representations inside knowledge bases. A usability evaluation of a semantic wiki that coherently integrates knowledge production and consumption services points out the remaining challenges in making such heterogeneously integrated environments support realistic workflows. The results of this thesis will soon also enable collaborative acquisition of new mathematical knowledge, as well as the contributions of existing knowledge collections of the Web of Data.

Traditional business practices have been left behind due to the increased use of data analytics and information technology in companies worldwide. This development has led to businesses implementing transformative projects that use these new technologies in their decision-making systems. Altering the entire architecture of a company is a daunting task; however, researchers are finding methods through applied mathematics that can make it easier on companies. Implementing analytical models into current business processes is vital for professionals across the globe. Using Applied Mathematical Models for Business Transformation is an essential reference source that discusses the advancement of decision-making systems in business environments with the use of applied mathematics, algorithms, and information technology. Featuring research on topics such as decision-making systems, critical success factors, and global enterprise architecture, this book is ideally designed for project managers, financial analysts, business strategists, software engineers, technical architects, students, researchers, and educators seeking coverage on the transformation of business practices using applied mathematics and information technology.