The web as a tool for proving P Stefaneas, IM Vandoulakis Philosophical Engineering: Toward a Philosophy of the Web, 149-167, 2013 | 31 | 2013 |
Proofs as spatio-temporal processes P Stefaneas, IM Vandoulakis Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences …, 2014 | 22 | 2014 |
Was Euclid's Approach to Arithmetic Axiomatic? IM Vandoulakis | 14 | 1998 |
On mathematical proving P Stefaneas, IM Vandoulakis Journal of Artificial General Intelligence 6 (1), 130-149, 2015 | 13 | 2015 |
Collective discovery events: Web-based mathematical problem-solving with codelets PS Stefaneas, IM Vandoulakis, M Martinez, H Foundalis Computational Creativity Research: Towards Creative Machines, 371-389, 2015 | 10 | 2015 |
A genetic interpretation of neo-pythagorean arithmetic IM Vandoulakis Oriens-Occidens 7, 2010 | 10 | 2010 |
Proof-events in History of Mathematics IM Vandoulakis, P Stefaneas | 9 | 2013 |
Conceptions of proof in mathematics IM Vandoulakis, P Stefaneas Proceedings of the Moscow Seminar on Philosophy of Mathematics, 2013 | 9 | 2013 |
On the justification of the method of historical interpretation IG Bashmakova, IM Vandoulakis Trends in the Historiography of Science, 249-264, 1994 | 9 | 1994 |
The exoteric square of opposition JY Beziau, I Vandoulakis The Sixth World Congress on the Square of Opposition, 2022 | 7 | 2022 |
Mathematical style as expression of the art of proving I Vandoulakis, P Stefaneas The 2nd International Conference Science, Technology and Art Relations–STAR …, 2014 | 7 | 2014 |
Styles of Greek arithmetic reasoning (Study of the History of Mathematics) IM Vandoulakis 数理解析研究所講究録 1625, 12-22, 2009 | 7 | 2009 |
On the historical transformations of the square of opposition as semiotic object IM Vandoulakis, TY Denisova Logica Universalis 14, 7-26, 2020 | 6 | 2020 |
On AA Markov’s attitude towards Brouwer’s intuitionism IM Vandoulakis Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences …, 2015 | 6 | 2015 |
Plato’s Third Man Paradox: its Logic and History IM Vandoulakis | 6 | 2009 |
On the Role of argumentation in discovery proof-events. C3GI 2017 S Almpani, P Stefaneas, I Vandoulakis 6th International Workshop on Computational Creativity, Concept Invention …, 2017 | 5 | 2017 |
Formalization of mathematical proof practice through an argumentation-based model S Almpani, P Stefaneas, I Vandoulakis Global Philosophy 33 (3), 33, 2023 | 4 | 2023 |
The Square of Opposition: Past, Present, and Future JY Beziau, I Vandoulakis The Exoteric Square of Opposition: The Sixth World Congress on the Square of …, 2022 | 4 | 2022 |
The Exoteric Square of Opposition: The Sixth World Congress on the Square of Opposition JY Beziau, I Vandoulakis Springer Nature, 2022 | 4 | 2022 |
Search for mathematical proof in the Web environment as a process of creative collective discovery IM Vandoulakis SHS Web of Conferences 29, 01074, 2016 | 3 | 2016 |