Collective Discovery Events: Web-Based Mathematical Problem-Solving with Codelets - Computational Creativity Research: Towards Creative Machines - page 381

5. Goguen, J.: Semiotic morphisms, representations, and blending for interface design. In: Pro-
ceedings AMASTWorkshop on Algebraic Methods in Language Processing, Conference Held
in Verona, Italy, 25-27 August 2003, pp. 1-15. AMAST press
6. Goguen, J.A.: What is a proof? Informal Essay. University of California at San Diego. (2014).
from: http://cseweb.ucsd.edu/goguen/papers/proof.html . Accessed 25 Feb 2014
7. Goguen, J., Lin,K., Rosu,G.,Mori,A., Warinschi, B.: An overview of the Tatami project. In: K.
Futatsugi, K., Tamai, T., Nakagawa, A. (eds.) Cafe: An Industrial-Strength Algebraic Formal
Method, pp.61-78. Elsevier (2000)
8. Gowers, T., Nielsen, M.: Massively collaborative mathematics. Nature 461 , 879-881 (2009)
9. Gowers, T.: Tricki now fully live. (2014). http://gowers.wordpress.com/2009/04/16/tricki-
now-fully-live . Accessed 25 Feb 2014
10. Hofstadter, D.R.: Fluid Concepts and Creative Analogies: Computer Models of the Fundamen-
tal Mechanisms of Thought. Basic Books, New York (1995)
11. Lakatos, I.: Proofs and Refutations. Cambridge University Press, Cambridge (1976)
12. Minsky, M.L.: The society of mind. Simon and Schuster, New York (1988)
13. Reinventing discovery. The New Era of Networked Science, Princeton, Princeton University
Press (2011). (e-Book)
14. Osborn, A.: Applied Imagination: Principles and Procedures of Creative Problem Solving, 3rd
edn. Charles Scribner's Sons, New York (1963)
15. Pease, A., and Martin, U., Seventy four minutes of mathematics: An analysis of the third
Mini-Polymath project. In: Proceedings of AISB/IACAP World Congress 2012 - Alan Turing
(2012), Symposium on Mathematical Practice and Cognition II(2-4), July (2012), pp. 19-
29. http://www.mrtc.mdh.se/gdc/work/AISB-IACAP-2012/NaturalComputingProceedings-
2012-06-22.pdf . Accessed 21/07/2014
16. Pólya, G.: How to solve it. Princeton University Press, (1945)
17. Stefaneas, P., and Vandoulakis, I.M.: The web as a tool for proving, metaphilosophy (Special
issue: Philoweb: Toward a Philosophy of the Web: Guest Editors: Harry Halpin and Alexandre
Monnin, vol. 43(4), pp 480-498, july (2012)). Reprinted in the collection: Harry Halpin and
Alexandre Monnin (Eds.) Toward a Philosophy of the Web, pp. 149-167, Wiley-Blackwell
(2014)
18. Stefaneas, P.: and Vandoulakis, I.M.: Proofs as spatio-temporal processes. In: Pierre Edouard
Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister (eds.), Proceedings of
the 14th Congress of Logic, Methodology and Philosophy of Science, Philosophia Scientiae,
vol. 18(3), pp. 111-125 (2014)
19. Tao, T.: Mini-polymath3: Solving a problem from the 2011 International Mathematical
Olympiad. Proposed Jun 9, (2011); launched and solved, Jul 19, (2011). http://terrytao.
wordpress.com/2011/06/09/mini-polymath-3-2011-imo-question/ ; http://terrytao.wordpress.
com/2011/07/19/mini-polymath3-discussion-thread/ ; http://polymathprojects.org/2011/07/
19/minipolymath3-project-2011-imo/ . Accessed 21 Jul 2014
20. Tao, T.: Tricki now live. What's new. (2014). http://terrytao.wordpress.com/2009/04/16/tricki-
now-live . Accessed 25 Feb 2014
21. Vandoulakis, I.M., and Stefaneas, P.: Conceptions of proof inmathematics. In: Bazhanov, V.A.,
Krichevech, A.N., Shaposhnikov, V.A. (eds.) Proof. Proceedings of the Moscow Seminar
on Philosophy of Mathematics, [Dokazatel'stvo. Trudy Moskovskogo seminara po filosofii
matematiki], pp. 254-278. Moscow, URSS (2014)