|
|
libcats.org
Mathematical Knowledge Management, 2 conf., MKM 2003Andrea Asperti, Bruno Buchberger, James Harold DavenportThis 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.
Скачать книгу бесплатно (pdf, 2.02 Mb)
Читать «Mathematical Knowledge Management, 2 conf., MKM 2003» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Заметки на полях переводов ПетраркиАвтор: Бердников АлексейКатегория: Публицистика
Размер книги: 30 Kb
Multi-Agent-Based Simulation 3 conf., MABS 2003Автор: David Hales, Автор: Bruce Edmonds, Автор: Emma Norling, Автор: Juliette RouchierКатегория: CsLn_
Размер книги: 3.93 Mb
Beginning PHP5, Apache, and MySQL Web Development (Programmer to Programmer)Автор: Elizabeth Naramore, Автор: Jason Gerner, Автор: Yann Le Scouarnec, Автор: Jeremy Stolz, Автор: Michael K. Glass
Размер книги: 13.70 Mb
The Complete Idiot's Guide to Golden RetrieversАвтор: Margaret H. BonhamКатегория: Математика, Прикладная математика
Размер книги: 4.38 Mb
Those Who Fight Monsters - Tales of Occult DetectivesАвтор: Gustainis JustinКатегория: fiction
Размер книги: 210 Kb
|
|
|