@book(Brodie-2010, author = "K.~Brodie and K.~Coetzee", year = "2010", title = "Teaching mathematical reasoning in secondary school classrooms", publisher = "Springer Verlag", doi = "10.1007/978-0-387-09742-8", ) @inproceedings(Caprotti06webalt!deliver, author = "O.~Caprotti", year = "2006", title = "WebALT! Deliver Mathematics Everywhere", booktitle = "Proceedings of SITE 2006", ) @inproceedings(Caprotti_multilingualdelivery, author = "O.~Caprotti and M.~Sepp\"al\"a", year = "2006", title = "Multilingual Delivery of Online Tests in Mathematics", booktitle = "Proceedings of Online Educa Berlin 2006", ) @article(Cooper-Harries-2005, author = "Barry Cooper and Tony Harries", year = "2005", title = "Making sense of realistic word problems: portraying working class `failure' on a division with remainder problem", journal = "International Journal of Research \& Method in Education", volume = "28", number = "2", pages = "147--169", doi = "10.1080/01406720500256228", ) @misc(Mathbar, author = "T.~Hallgren and J.~Saludes", year = "2010", title = "Math bar online", url = "http://www.grammaticalframework.org/demos/minibar/mathbar.html", ) @article(Hand-2011, author = "V.~Hand", year = "2012", title = "Book Review: Adding depth to portraits of mathematical inquiry Karin Brodie (2010) Teaching mathematical reasoning in secondary school classrooms", journal = "Educational Studies in Mathematics", volume = "79", pages = "149--155", ) @book(Kosan-2007, author = "T.~Kosan", year = "2007", title = "\textsc {Sage}{} for Newbies", publisher = "Sagemath.org", url = "http://sage.math.washington.edu/home/tkosan/newbies\_book/", ) @misc(OpenMath, author = "P.~Libbrecht", year = "2010", title = "OpenMath", url = "http://www.openmath.org/", ) @misc(GF, author = "A.~Ranta", year = "2010", title = "Grammatical Framework", url = "http://www.grammaticalframework.org/", ) @book(Ranta11, author = "A.~Ranta", year = "2011", title = "Grammatical Framework: Programming with Multilingual Grammars", publisher = "CSLI Publications, Stanford", ) @article(Selter-2000, author = "Ch. Selter", year = "2000", title = "Book Review: Verschaffel, L., Greer, B., and de Corte, E., Making Sense of Word Problems", journal = "Educational Studies in Mathematics", volume = "42", pages = "211--213", ) @book(SageTutorial-2011, author = "\textsc {Sage}{} developing team", year = "2011", title = "\textsc {Sage}{} {Tutorial, release 4.7.2}", publisher = "Sagemath.org", url = "http://www.sagemath.org/pdf/", ) @misc(SSSAPI, author = "\textsc {Sage}{} developing team", year = "Consulted Jan 15, 2012", title = "Simple Sage Server API", url = "http://www.sagemath.org/doc/reference/sagenb/simple/twist.html", ) @book(Verschaffel-Greer-DeCorte-2000, author = "L.~Verschaffel and B.~Greer and E.~De Corte", year = "2000", title = "Making sense of word problems", publisher = "Taylor \& Francis", doi = "10.1023/A:1004190927303", ) @book(Wayne-2001, author = "D.~Wayne", year = "2001", title = "How to solve word problems in mathematics", publisher = "McGraw-Hill", ) @misc(wordnet, author = "WordNet", year = "last access Jan 10th, 2012", title = "A lexical database for English", url = "http://wordnet.princeton.edu/", ) @inproceedings(E-LearningMathematics, author = "S.~Xamb\'o and H.~Bass and G.~Bolanos and R.~Seiler and M.~Sepp\"al\"a", year = "2006", title = "E-Learning Mathematics", booktitle = "Proceedings of the ICM-2006 (Volume III)", publisher = "European Mathematical Society", pages = "1743--1768", ) @inproceedings(AutonomousLearners, author = "S.~Xamb\'o and O.~Caprotti and M.~Sepp\"al\"a", year = "2008", title = "Toward autonomous learners of mathematics", editor = "E.~M.~Rocha J.~M.~Borwein and J.~F. Rodrigues", booktitle = "Communicating Mathematics in the Age of Digital Libraries", publisher = "A. K. Peters", pages = "239--252", )