Open Access
SHS Web Conf.
Volume 29, 2016
2016 International Conference “Education Environment for the Information Age” (EEIA-2016)
Article Number 01074
Number of page(s) 4
Section Education environment changes under the influence of InfoComm technologies
Published online 03 August 2016
  1. V.A. Bazhanov, Dokazatel’stvo. Trudy moskovskogo seminara po filosofii matematiki (URSS, Moscow, 2014) [In Rus]
  2. I.M. Vandoulakis, P. Stephaneas, Conceptions of proof in mathematics, Dokazatel’stvo. Trudy moskovskogo seminara po filosofii matematiki (URSS, Moscow, 2014)
  3. D. Hilbert, Gesammelte Abhandlungen, Vol. 3 (Springer, Berlin 1935).
  4. J.A. Goguen, What is a proof. (2001). Available at URL: (accessed on March, 16, 2013)
  5. P. Stefaneas, I. Vandoulakis, Philosophia Scientiæ, 18, 111–125 (2014) [CrossRef]
  6. P. Stefaneas, I. Vandoulakis, M. Martínez and H. Foundalis, In: T.R. Besold, M. Schorlemmer, A. Smaill (Eds) Computational Creativity Research: Towards Creative Machines (Atlantis, Springer, 2015)
  7. I. Vandoulakis, P. Stefaneas, Mathematical Style as Expression of the Art of Proving, The 2nd International Conference Science, Technology and Art Relations – STAR (With additional focus on Water, Energy and Space) In memory of Prof. Dror Sadeh, scientist and artist, 19-20 November 2014, Tel Aviv, Israel, (2014), 228–245. Available at URL: (accessed on March, 22, 2015)
  8. R. Kowalski, S. Marek, New Generation Computing 4, 67–95 (1986) [CrossRef]
  9. R. Miller, M. Shanahan, Electronic Transactions on Artificial Intelligence, 3, 77–105 (1999)
  10. P. Stefaneas, I. Vandoulakis, Journal of Artificial General Intelligence, 6, 130–149 (2015) [CrossRef]
  11. A.N. Kolmogorov, Selected Works of A.N. Kolmogorov. Vol. I: Mathematics and Mechanics (Kluwer, Dordrecht, 1991).
  12. 2. I.M. Vandoulakis, P. Stephaneas, Trudy XII Mezhdunarodnykh Kolmogorovskikh Chtenii (Yaroslavl, 2014)
  13. J.A. Goguen, Formal Aspects of Computing, 11, 272–301 (1999) [CrossRef]
  14. T.W. Gowers, Is massively collaborative mathematics possible? Available at Gowers’ weblog URL: (accessed on April, 13, 2015).
  15. P. Stefaneas, I. Vandoulakis, Metaphilosophy. Special Issue: Philoweb: Toward a Philosophy of the Web: Guest Editors: Harry Halpin and Alexandre Monnin. Volume 43, Issue 4, 480–498, July 2012. Available at URL: Reprinted in the collection: Harry Halpin and Alexandre Monnin (Eds) Toward a Philosophy of the Web. Wiley-Blackwell (2014), 149-167.
  16. M. Nielsen, Reinventing Discovery: The New Era of Networked Science (Princeton University Press, 2011).
  17. J. Rehmeyer, Science News. Available at URL:, (accessed on: April 2, 2012).
  18. A. Osborn, Applied Imagination: Principles and Procedures of Creative Problem Solving (Charles Scribner’s Sons, New York, 1963).
  19. A.R. Dennis, J.S. Valacich, Journal of Applied Psychology, 78, 531–537 (1993) [CrossRef]
  20. D.C. Brabham, The International Journal of Research into New Media Technologies, 14, 1, 75–90 (2008) [CrossRef]
  21. P. Stefaneas, I. Vandoulakis, M. Martínez, H. Foundalis, “Web-based Mathematical Problem Solving with Codelets” C3GI at ECAI 2012, Computational Creativity, Concept Invention, and General Intelligence, 27 August 2012, Montpellier, France, (2012)
  22. D.R. Hofstadter, Fluid Concepts and Creative Analogies: Computer Models of the Fundamental Mechanisms of Thought (Basic Books, New York 1995)
  23. I. Vandoulakis, P. Stefaneas, Gaņita Bhāratī, 35, 1–4, 119–157 (2013)