|
This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation.
The 10 revised full papers from 23 submissions for Calculemus 2007 and 19 revised full papers, plus abstracts of 2 invited talks, selected from 52 submissions to MKM 2007 were carefully reviewed and selected for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra and theorem proving, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration. Thus facilitating the development of integrated mechanized mathematical assistants.
Recent trends in algebraic development techniques: 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006; revised selected papers Автор: Fiadeiro José Luiz, Schobbens Pierre-Yves Год: 2007 |
Information Security Applications: 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology) Автор: Kim Sehun, Moti Yung, Hyung-Woo Lee Год: 2008 |
Principles of Distributed Systems: 7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers (Lecture Notes in Computer Science) Автор: Marina Papatriantafilou, Philippe Hunel Год: 2004 |
Insect Development: Morphogenesis, Molting and Metamorphosis Автор: Lawrence I. Gilbert Год: 2009 |