{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:08:21Z","timestamp":1729634901042,"version":"3.28.0"},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/fie.2009.5350478","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T19:43:48Z","timestamp":1260474228000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Students' feedback on teaching mathematics through the calculational method"],"prefix":"10.1109","author":[{"given":"Joao F.","family":"Ferreira","sequence":"first","affiliation":[]},{"given":"Alexandra","family":"Mendes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"Structured Derivations: a Logic Based Approach to Teaching Mathematics","author":"ralph-johan","year":"2008","journal-title":"In FORMED 2008 Formal Methods in Computer Science Education"},{"journal-title":"Program Construction","year":"2003","author":"roland","key":"ref3"},{"key":"ref6","article-title":"Work in Progress: Structure Editing of Handwritten Mathematics","author":"alexandra","year":"2008","journal-title":"Frontiers in Education Annual Conference 2008"},{"key":"ref5","first-page":"383","article-title":"Xeqmat &#x2013; Matem&#x00E1;tica 12&#x00B0;","author":"yolanda","year":"1999","journal-title":"Editorial O Livro"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"691","DOI":"10.2307\/2974638","article-title":"Teaching Math More Effectively, Through Calculational Proofs","volume":"102","author":"david","year":"1995","journal-title":"The American Mathematical Monthly"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0020-0190(94)00212-H","article-title":"Special Issue on the Calculational Method","volume":"53","author":"roland","year":"1995","journal-title":"Information Processing Letters"}],"event":{"name":"2009 39th IEEE Frontiers in Education Conference. Imagining and Engineering Future CSET Education (FIE 2009)","start":{"date-parts":[[2009,10,18]]},"location":"San Antonio, TX","end":{"date-parts":[[2009,10,21]]}},"container-title":["2009 39th IEEE Frontiers in Education Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340191\/5350396\/05350478.pdf?arnumber=5350478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T02:41:28Z","timestamp":1497840088000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5350478\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/fie.2009.5350478","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}