Mathematical Knowledge Management

Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
Author: Andrea Asperti,Bruno Buchberger,International Conference on Mathematical Knowledge Management 2003 be,INTERNATIONAL CONFERENCE ON MATHEMATICAL KNOWLEDGE
Publisher: Springer Science & Business Media
ISBN: 9783540005681
Category: Computers
Page: 223
View: 1742

Continue Reading →

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.

Mathematical Knowledge Management

5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings
Author: Jonathan M. Borwein
Publisher: Springer Science & Business Media
ISBN: 3540371044
Category: Computers
Page: 294
View: 3169

Continue Reading →

This book constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, held in Wokingham, UK in August 2006 as official satellite event of the International Congress of Mathematicians, ICM 2006. The 22 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers in this volume cover the whole area of mathematical knowledge management in the intersection of mathematics, computer science, library science, and scientific publishing. The papers are organized in topical sections on proof representations, proof processing, knowledge extraction, knowledge representation, as well as systems and tools.

Mathematical Knowledge Management

4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Author: Michael Kohlhase
Publisher: Springer
ISBN: 3540314318
Category: Computers
Page: 408
View: 8271

Continue Reading →

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.

Mathematical Knowledge Management

Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
Author: Andrea Asperti,Bruno Buchberger,International Conference on Mathematical Knowledge Management 2003 be,INTERNATIONAL CONFERENCE ON MATHEMATICAL KNOWLEDGE
Publisher: Springer Science & Business Media
ISBN: 9783540005681
Category: Computers
Page: 223
View: 6257

Continue Reading →

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.

Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration


Author: C. Lange
Publisher: IOS Press
ISBN: 1614993459
Category: Computers
Page: 610
View: 7559

Continue Reading →

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.

Encyclopedia of Knowledge Management


Author: Schwartz, David
Publisher: IGI Global
ISBN: 1591405742
Category: Education
Page: 902
View: 9835

Continue Reading →

"This encyclopedia is a research reference work documenting the past, present, and possible future directions of knowledge management"--Provided by publisher.

Intelligent Computer Mathematics

16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
Author: Jacques Carette,Lucas Dixon,Claudio Sacerdoti Coen,Stephen Watt
Publisher: Springer Science & Business Media
ISBN: 3642026141
Category: Computers
Page: 493
View: 8720

Continue Reading →

As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among them. The Conferences on Intelligent Computer Mathematics (cicm 2009) is a c- lection of co-located meetings, allowing researchers and practitioners active in these related areas to share recent results and identify the next challenges. The speci?c areas of the cicm conferences and workshops are described below, but the unifying theme is the computerized handling of mathematical knowledge. The successful formalization of much of mathematics, as well as a better - derstanding of its internal structure, makes mathematical knowledge in many waysmore tractable than generalknowledge,as traditionally treatedin arti?cial intelligence. Similarly, we can also expect the problem of e?ectively using ma- ematical knowledge in automated ways to be much more tractable. This is the goal of the work in the cicm conferences and workshops. In the long view, so- ing the problems addressed by cicm is an important milestone in formulating the next generation of mathematical software.

Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications

Techniques, Methods, and Applications
Author: Rech, Jörg
Publisher: IGI Global
ISBN: 1599048787
Category: Computers
Page: 372
View: 4260

Continue Reading →

Today's work is characterized by a high degree of innovation and thus demands a thorough overview of relevant knowledge in the world and in organizations. Semantic Work Environments support the work of the user by collecting knowledge about needs and providing processed and improved knowledge to be integrated into work. Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications describes an overview of the emerging field of Semantic Work Environments by combining various research studies and underlining the similarities between different processes, issues and approaches in order to provide the reader with techniques, methods, and applications of the study.

Intelligent Computer Mathematics

9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings
Author: Serge Autexier,John Campbell,Julio Rubio,Volker Sorge,Masakazu Suzuki,Freek Wiedijk
Publisher: Springer Science & Business Media
ISBN: 3540851097
Category: Computers
Page: 600
View: 7782

Continue Reading →

This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.

Electronic Information and Communication in Mathematics

ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002, Revised Papers
Author: Fengshan Bai
Publisher: Springer Science & Business Media
ISBN: 9783540406891
Category: Computers
Page: 188
View: 4112

Continue Reading →

This book constitutes the thoroughly refereed post-proceedings of the ICM 2002 International Satellite Conference on Electronic Information and Communication in Mathematics, held in Beijing, China, in August 2002. The 18 revised and reviewed papers assess the state of the art of the production and dissemination of electronic information in mathematics. Among the topics addressed are models and standards for information and metainformation representation; data search, discovery, retrieval, and analysis; access to distributed and heterogeneous digital collections; intelligent user interfaces to digital libraries; information agents, and cooperative work on mathematical data; digital collection generation; business models; and data security and protection.

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

Foreword by Alan Bundy
Author: Michael Kohlhase
Publisher: Springer Science & Business Media
ISBN: 3540378979
Category: Computers
Page: 428
View: 6857

Continue Reading →

Computers arechanging the way wethink. Of course,nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I’m not referring to that. I mean that people have begun to think about what they do in compu- tional terms and to exploit the power of computers to do things that would previously have been unimaginable. This observation is especially true of mathematicians. Arithmetic c- putation is one of the roots of mathematics. Since Euclid’s algorithm for ?nding greatest common divisors, many seminal mathematical contributions have consisted of new procedures. But powerful computer graphics have now enabled mathematicians to envisage the behaviour of these procedures and, thereby, gain new insights, make new conjectures and explore new avenues of research. Think of the explosive interest in fractals, for instance. This has been driven primarily by our new-found ability rapidly to visualise fractal shapes, such as the Mandelbrot set. Taking advantage of these new oppor- nities has required the learning of new skills, such as using computer algebra and graphics packages.

Artificial Intelligence and Symbolic Computation

12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
Author: Gonzalo A. Aranda-Corral,Jacques Calmet,Francisco J. Martín-Mateos
Publisher: Springer
ISBN: 3319137700
Category: Computers
Page: 206
View: 3365

Continue Reading →

This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. The papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing.

Artificial Intelligence and Symbolic Computation

8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Author: Jaques Calmet
Publisher: Springer Science & Business Media
ISBN: 3540397280
Category: Computers
Page: 268
View: 4019

Continue Reading →

This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions. Based on heuristics and mathematical algorithmics, artificial intelligence and symbolic computation are two views and approaches for automating (mathematical) problem solving. The papers address all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia. The papers are organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management.

Mathematical Knowledge in Teaching


Author: Tim Rowland,Kenneth Ruthven
Publisher: Springer Science & Business Media
ISBN: 9789048197668
Category: Education
Page: 304
View: 1050

Continue Reading →

The quality of primary and secondary school mathematics teaching is generally agreed to depend crucially on the subject-related knowledge of the teacher. However, there is increasing recognition that effective teaching calls for distinctive forms of subject-related knowledge and thinking. Thus, established ways of conceptualizing, developing and assessing mathematical knowledge for teaching may be less than adequate. These are important issues for policy and practice because of longstanding difficulties in recruiting teachers who are confident and conventionally well-qualified in mathematics, and because of rising concern that teaching of the subject has not adapted sufficiently. The issues to be examined in Mathematical Knowledge in Teaching are of considerable significance in addressing global aspirations to raise standards of teaching and learning in mathematics by developing more effective approaches to characterizing, assessing and developing mathematical knowledge for teaching.

Towards Mechanized Mathematical Assistants

14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings
Author: Manuel Kauers,Manfred Kerber,Robert Miner,Wolfgang Windsteiger
Publisher: Springer Science & Business Media
ISBN: 3540730834
Category: Computers
Page: 406
View: 2649

Continue Reading →

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathematical Knowledge Management, an emerging interdisciplinary ?eld of research in the intersection of mathematics, computer science, library s- ence, and scienti?c publishing. Both conferences aimed to provide mechanized mathematical assistants. Although the two conferences have separate communities and separate foci, there is a signi?cant overlap in the interests in building mechanized mathem- ical assistants. For this reason it was decided to collocate the two events in 2007 for the ?rst time, at RISC in Hagenberg, Austria. The number and quality of the submissions show that this was a good decision. While the proceedings are shared, the submission process was separate. The responsibility for acc- tance/rejection rests completely with the two separate Program Committees. By this collocation we made a contribution against the fragmentation of communities which work on di?erent aspects of di?erent independent branches, traditional branches (e.g., computer algebra and theorem proving), as well as newly emerging ones (on user interfaces, knowledge management, theory exp- ration, etc.). This will also facilitate the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, c- puter scientists, and engineers in their every-day business.

Intelligent Computer Mathematics

International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Author: Manfred Kerber,Jacques Carette,Cezary Kaliszyk,Florian Rabe,Volker Sorge
Publisher: Springer
ISBN: 331920615X
Category: Computers
Page: 359
View: 5203

Continue Reading →

This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.

People-Focused Knowledge Management


Author: Karl Wiig
Publisher: Routledge
ISBN: 1136374272
Category: Business & Economics
Page: 392
View: 2337

Continue Reading →

The business environment has changed. Sharper competition requires organizations to exhibit greater effectiveness in their operations and services and faster creation of new products and services—all hallmarks of the knowledge economy. Up until now, most of the knowledge management literature has focused on technology, systems, or culture. This book moves to the next stage, to focus on the people—the knowledge workers themselves. Noted expert Karl Wiig synthesizes recent research findings in cognitive science and related fields to describe how people actually work. He focuses on how people learn, remember, make decisions, solve problems and act—in general, how knowledge relates to work behavior. By understanding how people work, managers can improve effectiveness to gain competitive advantage.