Axiomatic method and category theory A Rodin Springer Science & Business Media, 2013 | 81 | 2013 |
Теория категорий и поиски новых математических оснований физики А Родин Вопросы философии 6, 67-82, 2010 | 30 | 2010 |
How mathematical concepts get their bodies A Rodin, A Rodin Axiomatic Method and Category Theory, 215-234, 2014 | 23 | 2014 |
On the constructive axiomatic method A Rodin Logique et Analyse, 201-231, 2018 | 21 | 2018 |
Identity and categorification A Rodin Philosophia Scientiæ. Travaux d'histoire et de philosophie des sciences, 27-65, 2007 | 21 | 2007 |
Categories without structures A Rodin Philosophia Mathematica 19 (1), 20-46, 2011 | 12 | 2011 |
Events and Intensional Sets A Rodin Logica’2002, Proceedings of the International Symposium, 221-232, 2003 | 12 | 2003 |
Voevodsky's unfinished project: Filling the gap between pure and applied mathematics A Rodin Biosystems 204, 104391, 2021 | 11 | 2021 |
Venus homotopically A Rodin | 11 | 2016 |
Axiomatic Method and Category Theory A Rodin Synthese Library 364, 2012 | 10 | 2012 |
Did Lobachevsky Have A Model Of His" imaginary Geometry"? A Rodin arXiv preprint arXiv:1008.2667, 2010 | 9* | 2010 |
Ecole Normale Supérieure M Radi BP 2400, Marrakech, Morocco, 0 | 7 | |
Elements of categorical logic: Fifty years later V de Paiva, A Rodin Logica Universalis 7, 265-273, 2013 | 6 | 2013 |
Formal proof-verification and mathematical intuition: the case of univalent foundations A Rodin 16th International Congress on Logic, Methodology and Philosophy of Science …, 2019 | 5 | 2019 |
Category theory and new mathematical foundations of physics A Rodin Voprosy Filosofii (Questions of Philosophy) 7, 67-82, 2010 | 5 | 2010 |
Euclid's Mathematics in the Light of Plato's and Aristotle's Philosophy A Rodin Moscow: Nauka, in Russian, 2003 | 5 | 2003 |
Models of HoTT and the Constructive View of Theories A Rodin Reflections on the Foundations of Mathematics: Univalent Foundations, Set …, 2019 | 4 | 2019 |
Atmosphere composition control during long-duration space missions GY Grigoriev, AS Lagutin, SS Nabiev, AA Vasiliev, OI Orlov, ... Acta Astronautica 163, 112-119, 2019 | 4 | 2019 |
Logical and geometrical atomism from leibniz to voevodsky AV Rodin VOPROSY FILOSOFII, 134-142, 2016 | 4 | 2016 |
Constructive identities for physics AV Rodin Aix Marseille University, 2014 | 4 | 2014 |