%0 Conference Paper %1 conf/mkm/BradfordDS09 %A Bradford, Russell J. %A Davenport, James H. %A Sangwin, Christopher J. %B Calculemus/MKM %D 2009 %E Carette, Jacques %E Dixon, Lucas %E Coen, Claudio Sacerdoti %E Watt, Stephen M. %I Springer %K dblp %P 75-89 %T A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy. %U http://dblp.uni-trier.de/db/conf/mkm/mkm2009.html#BradfordDS09 %V 5625 %@ 978-3-642-02613-3

@inproceedings{conf/mkm/BradfordDS09, added-at = {2019-06-02T00:00:00.000+0200}, author = {Bradford, Russell J. and Davenport, James H. and Sangwin, Christopher J.}, biburl = {https://www.bibsonomy.org/bibtex/21042c60f119d277e3e9c756cac3770bd/dblp}, booktitle = {Calculemus/MKM}, crossref = {conf/mkm/2009}, editor = {Carette, Jacques and Dixon, Lucas and Coen, Claudio Sacerdoti and Watt, Stephen M.}, ee = {https://www.wikidata.org/entity/Q59590608}, interhash = {5fed3d7ae9036ce67c3ab8931d376d30}, intrahash = {1042c60f119d277e3e9c756cac3770bd}, isbn = {978-3-642-02613-3}, keywords = {dblp}, pages = {75-89}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:57:14.000+0200}, title = {A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy.}, url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2009.html#BradfordDS09}, volume = 5625, year = 2009 }