*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

Skip to content
# Search Results for: 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

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.
*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

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.
*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

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.

**Author**: C. Lange

**Publisher:** IOS Press

**ISBN:** 1614993459

**Category:** Computers

**Page:** 610

**View:** 1328

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.

**Author**: Schwartz, David

**Publisher:** IGI Global

**ISBN:** 1591405742

**Category:** Education

**Page:** 902

**View:** 8682

"This encyclopedia is a research reference work documenting the past, present, and possible future directions of knowledge management"--Provided by publisher.
*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

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.
*Techniques, Methods, and Applications*

**Author**: Rech, Jörg

**Publisher:** IGI Global

**ISBN:** 1599048787

**Category:** Computers

**Page:** 372

**View:** 3011

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.
*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

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.
*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

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.
*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

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.
*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

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.
*Foreword by Alan Bundy*

**Author**: Michael Kohlhase

**Publisher:** Springer Science & Business Media

**ISBN:** 3540378979

**Category:** Computers

**Page:** 428

**View:** 8984

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.
*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

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.
*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

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.
*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

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.

**Author**: Tim Rowland,Kenneth Ruthven

**Publisher:** Springer Science & Business Media

**ISBN:** 9789048197668

**Category:** Education

**Page:** 304

**View:** 5242

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.
*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

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.

Full PDF Download Free

Privacy Policy

Copyright © 2019 Download PDF Site — Primer WordPress theme by GoDaddy