Comparing mathematical provers. Wiedijk, F. In Asperti, A., Buchberger, B., & Davenport, J., editors, Mathematical Knowledge Management, Proceedings of MKM 2003, pages 188–2002, 2003.
![Comparing mathematical provers [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{freek2003a,
Author = {Freek Wiedijk},
Booktitle = {Mathematical Knowledge Management, Proceedings of MKM 2003},
Date-Added = {2014-11-15 22:58:28 +0000},
Date-Modified = {2014-11-15 23:00:33 +0000},
Editor = {Andrea Asperti and Bruno Buchberger and James Davenport},
Pages = {188--2002},
Title = {Comparing mathematical provers},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/comparison/diffs.pdf},
Year = {2003}}Downloads: 0
{"_id":"8hgsGZ5W4rjiXkcNL","bibbaseid":"wiedijk-comparingmathematicalprovers-2003","author_short":["Wiedijk, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"Mathematical Knowledge Management, Proceedings of MKM 2003","date-added":"2014-11-15 22:58:28 +0000","date-modified":"2014-11-15 23:00:33 +0000","editor":[{"firstnames":["Andrea"],"propositions":[],"lastnames":["Asperti"],"suffixes":[]},{"firstnames":["Bruno"],"propositions":[],"lastnames":["Buchberger"],"suffixes":[]},{"firstnames":["James"],"propositions":[],"lastnames":["Davenport"],"suffixes":[]}],"pages":"188–2002","title":"Comparing mathematical provers","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/comparison/diffs.pdf","year":"2003","bibtex":"@inproceedings{freek2003a,\n\tAuthor = {Freek Wiedijk},\n\tBooktitle = {Mathematical Knowledge Management, Proceedings of MKM 2003},\n\tDate-Added = {2014-11-15 22:58:28 +0000},\n\tDate-Modified = {2014-11-15 23:00:33 +0000},\n\tEditor = {Andrea Asperti and Bruno Buchberger and James Davenport},\n\tPages = {188--2002},\n\tTitle = {Comparing mathematical provers},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/comparison/diffs.pdf},\n\tYear = {2003}}\n\n","author_short":["Wiedijk, F."],"editor_short":["Asperti, A.","Buchberger, B.","Davenport, J."],"key":"freek2003a","id":"freek2003a","bibbaseid":"wiedijk-comparingmathematicalprovers-2003","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/comparison/diffs.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["cx4WvnDhXJhiLqdQo","dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["comparing","mathematical","provers","wiedijk"],"title":"Comparing mathematical provers","year":2003}