{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:30:45Z","timestamp":1742920245720,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540926979"},{"type":"electronic","value":"9783540926986"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92698-6_31","type":"book-chapter","created":{"date-parts":[[2008,12,23]],"date-time":"2008-12-23T01:44:26Z","timestamp":1229996666000},"page":"520-536","source":"Crossref","is-referenced-by-count":1,"title":["Mathematical Mathematical User Interfaces"],"prefix":"10.1007","author":[{"given":"Harold","family":"Thimbleby","sequence":"first","affiliation":[]},{"given":"Will","family":"Thimbleby","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Casio, Casio ClassPad 300 Resource Center (2006), http:\/\/www.classpad.org"},{"key":"31_CR2","doi-asserted-by":"publisher","DOI":"10.1201\/9781420035605","volume-title":"The MAPLE Book","author":"F. Garvan","year":"2001","unstructured":"Garvan, F.: The MAPLE Book. CRC Press, Boca Raton (2001)"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Goldin, D.Q., Keil, D.: Persistent Turing Machines as a Model of Interactive Computation. Foundations of Information and Knowledge Systems, 116\u2013135 (2000)","DOI":"10.1007\/3-540-46564-2_8"},{"issue":"3","key":"31_CR4","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/301153.301168","volume":"6","author":"D.A. Norman","year":"1999","unstructured":"Norman, D.A.: Affordances, Conventions and Design. Interactions\u00a06(3), 38\u201343 (1999)","journal-title":"Interactions"},{"key":"31_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-540-27818-4_22","volume-title":"Mathematical Knowledge Management","author":"L. Padovani","year":"2004","unstructured":"Padovani, L., Solmi, R.: An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol.\u00a03119, pp. 302\u2013316. Springer, Heidelberg (2004)"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Petkow\u0161ek, M., Wilf, H.S., Zeilberger, D.: A = B. A K Peters (1996)","DOI":"10.1201\/9781439864500"},{"key":"31_CR7","volume-title":"Word and Object","author":"W.V.O. Quine","year":"1960","unstructured":"Quine, W.V.O.: Word and Object. MIT Press, Cambridge (1960)"},{"issue":"4","key":"31_CR8","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/S0020-7373(86)80070-0","volume":"25","author":"C. Runciman","year":"1986","unstructured":"Runciman, C., Thimbleby, H.: Equal opportunity interactive systems. Int. J. Man-Mach. Stud.\u00a025(4), 439\u2013451 (1986)","journal-title":"Int. J. Man-Mach. Stud."},{"key":"31_CR9","volume-title":"Principles of Programming Languages","author":"R.D. Tennent","year":"1981","unstructured":"Tennent, R.D.: Principles of Programming Languages. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Th\u00e9ry, L., Bertot, Y., Kahn, G.: Real Theorem Provers Deserve Real User-Interfaces. In: Proc. Fifth ACM Symposium on Software Development Environments, pp. 120\u2013129 (1992)","DOI":"10.1145\/142868.143760"},{"key":"31_CR11","unstructured":"Thimbleby, H.: What You See is What You Have Got\u2014A User-Engineering Principle for Manipulative Display? First German ACM Conference on Software Ergonomics. In: Proc. ACM German Chapter, vol.\u00a014, pp. 70\u201384 (1983)"},{"key":"31_CR12","volume-title":"User Interface Design","author":"H. Thimbleby","year":"1990","unstructured":"Thimbleby, H.: User Interface Design. Addison-Wesley, Reading (1990)"},{"issue":"6","key":"31_CR13","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1093\/comjnl\/38.6.418","volume":"38","author":"H. Thimbleby","year":"1996","unstructured":"Thimbleby, H.: A New Calculator and Why it is Necessary. Computer Journal\u00a038(6), 418\u2013433 (1996)","journal-title":"Computer Journal"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Thimbleby, W.: A Novel Pen-based Calculator and Its Evaluation. In: Proc. ACM NordiCHI 2004, pp. 445\u2013448 (2004)","DOI":"10.1145\/1028014.1028091"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Thimbleby, W., Thimbleby, H.: A Novel Gesture-Based Calculator and Its Design Principles. In: Proc. BCS HCI Conference, vol. 2, pp. 27\u201332 (2005)","DOI":"10.1145\/1028014.1028091"},{"key":"31_CR16","unstructured":"Thimbleby, W., Thimbleby, H.: TruCalc (2006), http:\/\/www.cs.swan.ac.uk\/calculators http:\/\/www.cs.swan.ac.uk\/calculators"},{"key":"31_CR17","doi-asserted-by":"crossref","unstructured":"Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. In: Proc. London Mathematical Society, Series 2, 42, 230\u2013265 (1936\/7) (corrected Series 2, 43, 544\u2013546 (1937))","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"31_CR18","unstructured":"Wolfram, S.: The Mathematica Book, 4th edn., Cambridge (1999)"},{"key":"31_CR19","unstructured":"xThink, xThink Calculator (2006), http:\/\/www.xThink.com\/Calculator.html http:\/\/www.xThink.com\/Calculator.html"}],"container-title":["Lecture Notes in Computer Science","Engineering Interactive Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92698-6_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,23]],"date-time":"2023-05-23T04:11:35Z","timestamp":1684815095000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92698-6_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540926979","9783540926986"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92698-6_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}