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: 503

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: 1617

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

Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
Author: Andrea Asperti,Grzegorz Bancerek
Publisher: Springer Science & Business Media
ISBN: 9783540230298
Category: Computers
Page: 392
View: 5994

Continue Reading →

This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004. The 27 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are mathematics retrieval, formalizing mathematics, formal mathematics, digital mathematical libraries, semantic Web, knowledge repositories, mathematical knowledge representation, theorem proving systems, OWL, proof verification, formal representation, mathematical formulae processing, and the OpenMath project.

Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration


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

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: 8682

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: 9417

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: 3011

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.

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: 2516

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

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: 2879

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: 8850

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.

Intelligent Computer Mathematics

10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Author: Herman Geuvers,Matthew England,Osman Hasan,Florian Rabe,Olaf Teschke
Publisher: Springer
ISBN: 3319620754
Category: Computers
Page: 375
View: 2699

Continue Reading →

This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing mathematical knowledge, in informal, semi-formal, and formal settings. An additional track Systems and Projects contains descriptions of systems and relevant projects, both of which are key to a research topic where theory and practice interact on explicitly represented knowledge.

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: 8984

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.

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: 4208

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.

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: 4572

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: 5421

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: 5242

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.

Intelligent Computer Mathematics

9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Author: Michael Kohlhase,Moa Johansson,Bruce Miller,Leonardo de Moura,Frank Tompa
Publisher: Springer
ISBN: 3319425471
Category: Computers
Page: 163
View: 5284

Continue Reading →

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.