Certified Computer Algebra on top of an Interactive Theorem Prover. Kaliszyk, C. & Wiedijk, F. In Kauers, M., Kerber, M., Miner, R., & Windsteiger, W., editors, Towards Mechanized Mathematical Assistants, Calculemus 2007, Hagenberg, volume 4573, of Lecture Notes in Artificial Intelligence, 2007. Springer.
![Certified Computer Algebra on top of an Interactive Theorem Prover [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{freek2007b,
Author = {Cezary Kaliszyk and Freek Wiedijk},
Booktitle = { Towards Mechanized Mathematical Assistants, Calculemus 2007, Hagenberg},
Date-Added = {2014-11-16 22:11:24 +0000},
Date-Modified = {2014-11-16 22:13:37 +0000},
Editor = {M. Kauers and M. Kerber and R. Miner and W. Windsteiger},
Publisher = {Springer},
Series = {Lecture Notes in Artificial Intelligence},
Title = {Certified Computer Algebra on top of an Interactive Theorem Prover},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/holcas.pdf},
Volume = {4573},
Year = {2007}}Downloads: 0
{"_id":"3Xh7RFQXspAaKuTQT","bibbaseid":"kaliszyk-wiedijk-certifiedcomputeralgebraontopofaninteractivetheoremprover-2007","author_short":["Kaliszyk, C.","Wiedijk, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Cezary"],"propositions":[],"lastnames":["Kaliszyk"],"suffixes":[]},{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]}],"booktitle":"Towards Mechanized Mathematical Assistants, Calculemus 2007, Hagenberg","date-added":"2014-11-16 22:11:24 +0000","date-modified":"2014-11-16 22:13:37 +0000","editor":[{"firstnames":["M."],"propositions":[],"lastnames":["Kauers"],"suffixes":[]},{"firstnames":["M."],"propositions":[],"lastnames":["Kerber"],"suffixes":[]},{"firstnames":["R."],"propositions":[],"lastnames":["Miner"],"suffixes":[]},{"firstnames":["W."],"propositions":[],"lastnames":["Windsteiger"],"suffixes":[]}],"publisher":"Springer","series":"Lecture Notes in Artificial Intelligence","title":"Certified Computer Algebra on top of an Interactive Theorem Prover","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/holcas.pdf","volume":"4573","year":"2007","bibtex":"@inproceedings{freek2007b,\n\tAuthor = {Cezary Kaliszyk and Freek Wiedijk},\n\tBooktitle = { Towards Mechanized Mathematical Assistants, Calculemus 2007, Hagenberg},\n\tDate-Added = {2014-11-16 22:11:24 +0000},\n\tDate-Modified = {2014-11-16 22:13:37 +0000},\n\tEditor = {M. Kauers and M. Kerber and R. Miner and W. Windsteiger},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Artificial Intelligence},\n\tTitle = {Certified Computer Algebra on top of an Interactive Theorem Prover},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/holcas.pdf},\n\tVolume = {4573},\n\tYear = {2007}}\n\n","author_short":["Kaliszyk, C.","Wiedijk, F."],"editor_short":["Kauers, M.","Kerber, M.","Miner, R.","Windsteiger, W."],"key":"freek2007b","id":"freek2007b","bibbaseid":"kaliszyk-wiedijk-certifiedcomputeralgebraontopofaninteractivetheoremprover-2007","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/holcas.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["certified","computer","algebra","top","interactive","theorem","prover","kaliszyk","wiedijk"],"title":"Certified Computer Algebra on top of an Interactive Theorem Prover","year":2007}