Torrent details for "Kauers M. Towards Mechanized Mathematical Assistants 2007 [andryold1]"    Log in to bookmark

wide
Torrent details
Cover
Download
Torrent rating (0 rated)
Controls:
Category:
Language:
English English
Total Size:
47.24 MB
Info Hash:
4265f97db10e884e1d4d691db7179772432a2e7c
Added By:
Added:  
04-05-2022 14:43
Views:
125
Health:
Seeds:
30
Leechers:
4
Completed:
182
wide




Description
wide
Externally indexed torrent
If you are the original uploader, contact staff to have it moved to your account
Textbook in PDF format

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

  User comments    Sort newest first

No comments have been posted yet.



Post anonymous comment
  • Comments need intelligible text (not only emojis or meaningless drivel).
  • No upload requests, visit the forum or message the uploader for this.
  • Use common sense and try to stay on topic.

  • :) :( :D :P :-) B) 8o :? 8) ;) :-* :-( :| O:-D Party Pirates Yuk Facepalm :-@ :o) Pacman Shit Alien eyes Ass Warn Help Bad Love Joystick Boom Eggplant Floppy TV Ghost Note Msg


    CAPTCHA Image 

    Anonymous comments have a moderation delay and show up after 15 minutes