Andrea Kohlhase, Michael Kohlhase. Compensating the Computational Bias of Spreadsheets with MKM Techniques. In Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt, editors, Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Volume 5625 of Lecture Notes in Computer Science, pages 357-372, Springer, 2009. [doi]
@inproceedings{KohlhaseK09a-0,
title = {Compensating the Computational Bias of Spreadsheets with MKM Techniques},
author = {Andrea Kohlhase and Michael Kohlhase},
year = {2009},
doi = {10.1007/978-3-642-02614-0_29},
url = {http://dx.doi.org/10.1007/978-3-642-02614-0_29},
researchr = {https://researchr.org/publication/KohlhaseK09a-0},
cites = {0},
citedby = {0},
pages = {357-372},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings},
editor = {Jacques Carette and Lucas Dixon and Claudio Sacerdoti Coen and Stephen M. Watt},
volume = {5625},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02613-3},
}