{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:23:59Z","timestamp":1725798239489},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441985"},{"type":"electronic","value":"9783662441992"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44199-2_1","type":"book-chapter","created":{"date-parts":[[2014,7,31]],"date-time":"2014-07-31T18:17:11Z","timestamp":1406830631000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Experimental Computation and Visual Theorems"],"prefix":"10.1007","author":[{"given":"Jonathan M.","family":"Borwein","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"1_CR1","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1007\/s10898-012-9958-4","volume":"57","author":"F. Aragon","year":"2013","unstructured":"Aragon, F., Borwein, J.M.: Global convergence of a non-convex Douglas-Rachford iteration. J. Global Optim.\u00a057(3), 753\u2013769 (2013)","journal-title":"J. Global Optim."},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/s00283-012-9340-x","volume":"35","author":"F. Aragon","year":"2013","unstructured":"Aragon, F., Bailey, D.H., Borwein, J.M., Borwein, P.B.: Walking on real numbers. Mathematical Intelligencer\u00a035(1), 42\u201360 (2013)","journal-title":"Mathematical Intelligencer"},{"key":"1_CR3","unstructured":"Aragon, F., Borwein, J.M., Tam, M.: Douglas-Rachford feasibility methods for matrix completion problems. ANZIAM Journal (accepted March 2014)"},{"issue":"10","key":"1_CR4","first-page":"1410","volume":"58","author":"D.H. Bailey","year":"2011","unstructured":"Bailey, D.H., Borwein, J.M.: Exploratory Experimentation and Computation. Notices of the AMS\u00a058(10), 1410\u20131419 (2011)","journal-title":"Notices of the AMS"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Borwein, J., Devlin, K.: The Computer as Crucible: an Introduction to Experimental Mathematics. AK Peters (2008)","DOI":"10.1201\/b10684"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.tcs.2012.10.025","volume":"479","author":"J.M. Borwein","year":"2013","unstructured":"Borwein, J.M., Straub, A.: Mahler measures, short walks and logsine integrals. Theoretical Computer Science\u00a0479(1), 4\u201321 (2013)","journal-title":"Theoretical Computer Science"},{"key":"1_CR7","unstructured":"Borwein, J.M., Skerritt, M., Maitland, C.: Computation of a lower bound to Giuga\u2019s primality conjecture. Integers\u00a013 (2013), Online September 2013 at #A67, \n                    \n                      http:\/\/www.westga.edu\/~integers\/cgi-bin\/get.cgi"},{"issue":"5","key":"1_CR8","doi-asserted-by":"publisher","first-page":"961","DOI":"10.4153\/CJM-2011-079-2","volume":"64","author":"J.M. Borwein","year":"2012","unstructured":"Borwein, J.M., Straub, A., Wan, J., Zudilin, W. (with an Appendix by Don Zagier): Densities of short uniform random walks. Can. J. Math.\u00a064(5), 961\u2013990 (2012)","journal-title":"Can. J. Math."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Bornemann, F., Laurie, D., Wagon, S., Waldvogel, J.: The SIAM 100-Digit Challenge: A Study In High-accuracy Numerical Computing. SIAM, Philadelphia (2004)","DOI":"10.1137\/1.9780898717969"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Hanna, G., de Villiers, M. (eds.) ICMI, Proof and Proving in Mathematics Education, The 19th ICMI Study. New ICMI Study Series, vol.\u00a015. Springer (2012)","DOI":"10.1007\/978-94-007-2129-6"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44199-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T09:16:51Z","timestamp":1558948611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44199-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441985","9783662441992"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44199-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}