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] [Google Scholar]
  2. I.M. Vandoulakis, P. Stephaneas, Conceptions of proof in mathematics, Dokazatel’stvo. Trudy moskovskogo seminara po filosofii matematiki (URSS, Moscow, 2014) [Google Scholar]
  3. D. Hilbert, Gesammelte Abhandlungen, Vol. 3 (Springer, Berlin 1935). [Google Scholar]
  4. J.A. Goguen, What is a proof. (2001). Available at URL: (accessed on March, 16, 2013) [Google Scholar]
  5. P. Stefaneas, I. Vandoulakis, Philosophia Scientiæ, 18, 111–125 (2014) [CrossRef] [Google Scholar]
  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) [Google Scholar]
  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) [Google Scholar]
  8. R. Kowalski, S. Marek, New Generation Computing 4, 67–95 (1986) [CrossRef] [Google Scholar]
  9. R. Miller, M. Shanahan, Electronic Transactions on Artificial Intelligence, 3, 77–105 (1999) [Google Scholar]
  10. P. Stefaneas, I. Vandoulakis, Journal of Artificial General Intelligence, 6, 130–149 (2015) [CrossRef] [Google Scholar]
  11. A.N. Kolmogorov, Selected Works of A.N. Kolmogorov. Vol. I: Mathematics and Mechanics (Kluwer, Dordrecht, 1991). [Google Scholar]
  12. 2. I.M. Vandoulakis, P. Stephaneas, Trudy XII Mezhdunarodnykh Kolmogorovskikh Chtenii (Yaroslavl, 2014) [Google Scholar]
  13. J.A. Goguen, Formal Aspects of Computing, 11, 272–301 (1999) [CrossRef] [Google Scholar]
  14. T.W. Gowers, Is massively collaborative mathematics possible? Available at Gowers’ weblog URL: (accessed on April, 13, 2015). [Google Scholar]
  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. [Google Scholar]
  16. M. Nielsen, Reinventing Discovery: The New Era of Networked Science (Princeton University Press, 2011). [Google Scholar]
  17. J. Rehmeyer, Science News. Available at URL:, (accessed on: April 2, 2012). [Google Scholar]
  18. A. Osborn, Applied Imagination: Principles and Procedures of Creative Problem Solving (Charles Scribner’s Sons, New York, 1963). [Google Scholar]
  19. A.R. Dennis, J.S. Valacich, Journal of Applied Psychology, 78, 531–537 (1993) [CrossRef] [Google Scholar]
  20. D.C. Brabham, The International Journal of Research into New Media Technologies, 14, 1, 75–90 (2008) [Google Scholar]
  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) [Google Scholar]
  22. D.R. Hofstadter, Fluid Concepts and Creative Analogies: Computer Models of the Fundamental Mechanisms of Thought (Basic Books, New York 1995) [Google Scholar]
  23. I. Vandoulakis, P. Stefaneas, Gaņita Bhāratī, 35, 1–4, 119–157 (2013) [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.