Some Reflections on a Computer-aided Theory Exploration Study in Category Theory. 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France, 2018. slides, video![Some Reflections on a Computer-aided Theory Exploration Study in Category Theory [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @book{Talk248,
url = {https://www.youtube.com/watch?v=Y6-iVbD7Jq4},
Keywords = {presentation, conference presentations},
OPTAuthor = {Christoph Benzm{\"u}ller},
Publisher = {3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France},
Title = {Some Reflections on a Computer-aided Theory Exploration Study in Category Theory},
Note = {<a href="http://christoph-benzmueller.de/papers/2018-AITP-Talk.pdf">slides</a>,
<a href="https://www.youtube.com/watch?v=Y6-iVbD7Jq4">video</a>},
Year = 2018}
Downloads: 0
{"_id":"q634ke2ZCHGFvj2PZ","bibbaseid":"anonymous-somereflectionsonacomputeraidedtheoryexplorationstudyincategorytheory-2018","bibdata":{"bibtype":"book","type":"book","url":"https://www.youtube.com/watch?v=Y6-iVbD7Jq4","keywords":"presentation, conference presentations","optauthor":"Christoph Benzmüller","publisher":"3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France","title":"Some Reflections on a Computer-aided Theory Exploration Study in Category Theory","note":"<a href=\"http://christoph-benzmueller.de/papers/2018-AITP-Talk.pdf\">slides</a>, <a href=\"https://www.youtube.com/watch?v=Y6-iVbD7Jq4\">video</a>","year":"2018","bibtex":"@book{Talk248,\n\turl = {https://www.youtube.com/watch?v=Y6-iVbD7Jq4},\n\tKeywords = {presentation, conference presentations},\n\tOPTAuthor = {Christoph Benzm{\\\"u}ller},\n\tPublisher = {3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, France},\n\tTitle = {Some Reflections on a Computer-aided Theory Exploration Study in Category Theory},\n Note = {<a href=\"http://christoph-benzmueller.de/papers/2018-AITP-Talk.pdf\">slides</a>,\n\t <a href=\"https://www.youtube.com/watch?v=Y6-iVbD7Jq4\">video</a>},\t\n\tYear = 2018}\n\n","key":"Talk248","id":"Talk248","bibbaseid":"anonymous-somereflectionsonacomputeraidedtheoryexplorationstudyincategorytheory-2018","role":"","urls":{"Paper":"https://www.youtube.com/watch?v=Y6-iVbD7Jq4"},"keyword":["presentation","conference presentations"],"metadata":{"authorlinks":{}}},"bibtype":"book","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/talks.bib","dataSources":["WsTqYPsrMFQRGk3Ku"],"keywords":["presentation","conference presentations"],"search_terms":["reflections","computer","aided","theory","exploration","study","category","theory"],"title":"Some Reflections on a Computer-aided Theory Exploration Study in Category Theory","year":2018}