PUBLICATIONS
Book Chapters
-
Public Transport Passenger's Density Estimation Tool for Supporting Policy Responses for Covid-19. Joint work with Nilton A. Henao-Calle, Mateo Arroyave-Quintero and Semaria Ruiz- Alvarez. In Decisions Sciences for Covid-19. In International Series in Operations Research & Management Science. Springer, (2022). https://link.springer.com/chapter/10.1007/978-3-030-87019-5_16
-
A Hybrid Therapeutic Framework based on Chat bots and Classic Psychotherapy for Mental Issues raised by the Extended Pandemic originated by COVID-19. Joint work with Estefanía Hernandez-Carvajal. In Studies in Systems, Decisions and Control: Special Version: Artificial Intelligence for COVID-19. Springer, (2021). https://rd.springer.com/chapter/10.1007/978-3-030-69744-0_27
-
Some Pragmatic Prevention's Guidelines regarding SARS-CoV-2 and COVID-19 in Latin America inspired by Mixed Machine Learning Techniques and Artificial Mathematical Intelligence. Case Study: Colombia. Joint work with Yoe Herrera, Alex Ardila-Garcia and Johanna Ortega. In Technological and Industrial Applications Associated with Intelligent Logistics. In Lecture Notes in Intelligent Transportation and Logistics series. Springer. (2021). Arxiv Preprint: https://arxiv.org/pdf/2105.12213.pdf Official Version: https://rd.springer.com/chapter/10.1007/978-3-030-68655-0_26
-
Semantic and Morpho-syntactic Prevention Guidelines for COVID-19 based on Cognitively Inspired Artificial Intelligence and Data Mining. Joint work with Yoe Herrera, Alex Ardila- Garcia and Johanna Ortega. In Studies in Systems, Decisions and Control: Special Version: Artificial Intelligence for COVID-19. Springer, (2021). https://rd.springer.com/chapter/10.1007/978-3-030-69744-0_28
-
On the Anti-pragmatism of Pure Mathematics at the beginning of the 21st Century in the light of Mathematical Artificial Intelligence (translation, original chapter in Spanish) In A. F. Suarez & Cesar A. Guerra, Ed. Mathesis y Logoi: Contribuciones a la filosofía de la lógica y la filosofía de las matemáticas. Editorial Bonaventuriana, (2022). https://www.libreriadelau.com/bw-mathesis-y-logoi-contribuciones-a-la-filosofia-de-la-logica- y-la-filosofia-de-la-matematica-editorial-bonaventuriano-matematica/p
-
General Introduction to the Artificial Mathematical Intelligence Program. In Artificial Mathematical Intelligence: Philosophical, Metamathematical, Physical and Cognitive Foun- dations. Danny A. J. Gomez-Ramirez. Springer International Publishing, Cham (2020). https://link.springer.com/chapter/10.1007/978-3-030-50273-7_1
-
Some Basic Technical (Meta)Mathematical Considerations for Cognitive Metamathematics. In Artificial Math-ematical Intelligence: Philosophical, Metamathematical, Physical and Cognitive Foundations. Danny A. J. Gomez-Ramirez. Springer International Publishing, Cham (2020). https://link.springer.com/chapter/10.1007/978-3-030-50273-7_2
-
General Considerations for the New Cognitive Foundations' Program. In Artificial Math- ematical Intelligence: Philosophical, Metamathematical, Physical and Cognitive Foundations. Danny A. J. Gomez-Ramirez. Springer International Publishing, Cham (2020). https://link.springer.com/chapter/10.1007/978-3-030-50273-7_3
-
Towards the (Cognitive) Reality of Mathematics and the Mathematics of (Cognitive) Reality. In Artificial Mathematical Intelligence: Philosophical, Metamathematical, Physical and Cognitive Foundations. Danny A. J. Gomez-Ramirez. Springer International Publishing, Cham (2020). https://link.springer.com/chapter/10.1007/978-3-030-50273-7_4
-
The Physical Numbers. In Artificial Mathematical Intelligence: Philosophical, Metamathe- matical, Physical and Cognitive Foundations. Danny A. J. Gomez-Ramirez. Springer International Publishing, Cham (2020).https://link.springer.com/chapter/10.1007/978-3-030-50273-7_5
-
Dathematics: A Meta-Isomorphic Version of "Standard" Mathematics based of Proper Classes. In Artificial Mathematical Intelligence: Philosophical, Metamathematical, Physical and Cognitive Foundations. Danny A. J. Gomez-Ramirez. Springer International Publishing, Cham (2020). https://link.springer.com/chapter/10.1007/978-3-030-50273-7_6 Preprint of an initial version: https://arxiv.org/pdf/1804.02439.pdf
-
Conceptual Blending in Mathematical Creation/Invention. In Artificial Mathematical Intelligence: Philosophical, Metamathematical, Physical and Cognitive Foundations. Danny A. J. Gomez-Ramirez. Springer International Publishing, Cham (2020). https://link.springer.com/chapter/10.1007/978-3-030-50273-7_7
-
Formal Analogical Reasoning in Concrete Mathematical Research. In Artificial Mathematical Intelligence: Philosophical, Metamathematical, Physical and Cognitive Foundations. Danny A. J. Gomez-Ramirez. Springer International Publishing, Cham (2020). https://link.springer.com/chapter/10.1007/978-3-030-50273-7_8
-
Conceptual Substratum. In Artificial Mathematical Intelligence: Philosophical, Metamathematical, Physical and Cognitive Foundations. Danny A. J. Gomez-Ramirez. Springer International Publishing, Cham (2020).https://link.springer.com/chapter/10.1007/978-3-030-50273-7_9
-
(Initial) Global Taxonomy of the most Fundamental Cognitive (Metamathematical) Mechanisms used in Mathematical Creation/Invention. In Artificial Mathematical Intelligence: Philosophical, Metamathematical, Physical and Cognitive Foundations. Danny A. J. Gomez- Ramirez. Springer International Publishing, Cham (2020). https://link.springer.com/chapter/10.1007/978-3-030-50273-7_10
-
Meta-Modeling of Classic and Modern Mathematical Proofs and Concepts. In Artificial Mathematical Intelligence: Philosophical, Metamathematical, Physical and Cognitive Foundations. Danny A. J. Gomez-Ramirez. Springer International Publishing, Cham (2020). https://link.springer.com/chapter/10.1007/978-3-030-50273-7_11
-
The most Outstanding Challenges towards Global AMI and its Plausible Extensions. In Artificial Mathematical Intelligence: Philosophical, Metamathematical, Physical and Cognitive Foundations. Danny A. J. Gomez-Ramirez. Springer International Publishing, Cham (2020). https://link.springer.com/chapter/10.1007/978-3-030-50273-7_12
-
A Multidisciplinary Approach towards the Formalization of the Local Ontological-Natural Substratum of Mathematical Structures (translation, original chapter in Spanish). Together with J. P. Cardona-Buitrago. In A. F. Suarez, Ed. Logos y Filosofía: Temas y Debates Contemporaneos. In Series Señales, Editorial Bonaventuriana, (2020). http://www.editorialbonaventuriana.usb.edu.co/index.php/libros/inv/item/12-filosofia/532- logos-y-filosofia
-
Formal Conceptual Blending in the (Co-)Invention of Pure Mathematics. Joint paper with Alan Smaill. In Confalonieri R., Pease A., Schorlemmer M. eds. Concept Invention: Foundations, Implementations. In Series: Social Aspects and Applications. In Cognitive Technologies. Springer (2018). https://rd.springer.com/book/10.1007%2F978-3-319-65602-1
-
Conceptual Blending in DOL, Evaluating Consistency, Conflict Resolution. Joint work with Michael Codescu, Fabian Neubaus, Till Mossakowski and Oliver Kutz. In Confalonieri R., Pease A., Schorlemmer M. eds. Concept Invention: Foundations, Implementations, Social Aspects and Applications. In Series: Cognitive Technologies. Springer (2018). https://rd.springer.com/book/10.1007%2F978-3-319-65602-1
-
Towards a Computational Framework for Function-Driven Concept Invention. Joint with Nico Potyka, D. and Kai-Uwe. Kühnberger. In Lecture Notes in Artificial Intelligence 9782, Steunebrink et al. (Eds.). Springer, Cham (2016).
Articles in specialized Journals:
-
On the Infinitely Generated Locus of Frobenius Algebras of Rings of Prime Characteristic. Joint work with Alberto F. Boix and Santiago Zarzuela. Acta Mathematica Vietnamica. (2023), to appear. Arxiv Preprint: https://arxiv.org/pdf/2203.08511.pdf
-
Robust Control Approach for a Decision-Making System of a Shared EVs Aggregator. Joint work with Semaria Ruiz and Manuel Ospina-Alarcón. International Journal of Renewable Energy Research (2023), to appear.
-
Optimal Management Strategy for a shared EVs Aggregator participating in Electricity and Frequency Regulation Reserve Markets. Joint work with Semaria Ruíz-Álvarez. Technology and Economics of Smart Grids and Sustainable Energies 7, 29 (2022). https://link.springer.com/article/10.1007/s40866-022-00153-y
-
On the Topological Structure of the (Non-)Finitely-Generated Locus of Frobenius Algebras emerging from Stanley-Reisner Rings. Joint work with Edisson Gallego, Juan P. Hernandez and Sergio Molina, (2022). DOI: 10.1080/00927872.2022. https://www.tandfonline.com/doi/full/10.1080/00927872.2022.2099885 Arxiv Preprint:https://arxiv.org/pdf/2105.04782.pdf
-
Conceptual Computation as a Paradigm-Shifting Technique in (Theoretical) Physics and (Computational) Mathematics. Together with Yoe A. Herrera. Journal of Physics: Conference Series, Vol. 1672, 012015, (2020).https://iopscience.iop.org/article/10.1088/1742-6596/1672/1/012015/pdf
-
On the Elementary Preservation of the Noetherian Condition and its Potential Applications on Computational Physics. Together with Edisson Gallego and Juan D. Vélez, Journal of Physics: Conference Series. Vol. 1645, 012005, (2020).Online Version: https://iopscience.iop.org/article/10.1088/1742-6596/1645/1/012005/pdf
-
Towards a Homological Generalization of the Direct Summand Theorem, together with Juan D. Vélez. Open Mathematics, 18, 1352-1364 (2020). Preprint at Arxiv.org https://arxiv.org/pdf/1707.09936.pdf
-
Artificially Hydrogen Molecule in vertically stacked Ga1-xAlxAs Nanoscale Rings: Structural and External Probes Effects in their Quantum Levels. Joint work with J. D. Castrillón, J. L. Palacio, I. E. Rivera, Y. A. Suaza, M. R. Fulla and J. H. Marín. Physica E: Low-Dimensional Systems and Nanostructures, 117, 113765 (2020). https://www.sciencedirect.com/science/article/abs/pii/S1386947719311798
-
Category-based Co-Generation of Basic Results and Concepts in Algebra and Number Theory: Containment-Division and Goldbach Rings. Joint work with Marlon Fulla, Ismael Rivera, Juan D. Vélez and Edisson Gallego, JP Journal of Algebra, Number Theory and Applications Vol 40(5) pp. 887-901 (2018). http://www.pphmj.com/abstract/12149.htm
-
A General Version of the Nullstellensatz for Arbitrary Fields. Joint work with Juan D. Vélez and Edisson Gallego, Open Mathematics 17, 556-558 (2018). Arxiv preprint https://arxiv.org/pdf/1708.04463.pdf
-
On Positive-Characteristic Semi-parametric Local Uniform Reductions of Varieties over Finitely Generated $Q$-algebras. Joint work with Edisson Gallego and Juan D. Vélez, Results in Mathematics, Vol. 72(1), Pages 937-945, (2017). https://link.springer.com/content/pdf/10.1007%2Fs00025-017-0691-7.pdf
-
Theory Blending: Extended Algorithmic Aspects and Examples. Joint work with M. Martinez, A. M. H. Abdel-Fattah, U. Krumnack, A. Smaill, T. Besold, A. Pease, M. Guhe and K.-U. Kühnberger. Annals of Mathematics and Artificial Intelligence, Vol. 80(1), pages 65-89, (2016). http://link.springer.com/article/10.1007/s10472-016-9505-y
-
Normality and Related Properties of Forcing Algebras. Joint paper with Holger Brenner, Communications in Algebra Vol. 44 (11) pp. 4769-4793, (2016). http://www.tandfonline.com/eprint/jp4prBdiQykbGbhrc4FE/full Arxiv version: https://arxiv.org/pdf/1707.08605.pdf
-
The Direct Summand Conjecture for some bi-generated extensions and a non-standard Version of Koh's Conjecture. Joint work with E. Gallego and J. D. Vélez, Beiträge in Algebra und Geometrie, (Communications in Algebra and Geometry), (2016).http://link.springer.com/article/10.1007/s13366-015-0277-z Arxiv version: https://arxiv.org/pdf/1708.03393.pdf
-
On the connectedness of the Spectrum of Forcing Algebras. Joint work with Holger Brenner, Revista Colombiana de Matemáticas, Vol 48-1, Pag. 1-19, (2014). http://www.scielo.org.co/pdf/rcm/v48n1/v48n1a01.pdf
Books and Monographs
-
Artificial Math-ematical Intelligence: Philosophical, Metamathematical, Physical and Cognitive Foundations. Danny A. J. Gomez-Ramirez. Springer International Publishing, Cham (2020). https://link.springer.com/book/10.1007/978-3-030-50273-7
-
Tractatus de Philosophia Pragmatica Universalis (Edition in Tribus Linguis) (2023), to appear, edition in 3 languages.
-
Quantum Mechanics, Quantum Computing and Heat Computing: An Introduction. Joint with Juan D. Vélez and Juan P. Hernandez. Initial Preprint. https://802fb1a8-d018-4726-8637-dbe483046deb.filesusr.com/ugd/8ee469_c8eb1fc54f0c4cd4820d212334c33671.pdf
-
Homological Conjectures, Closure Operations, Forcing Algebras and Vector Bundles, PhD Thesis, National University of Colombia, 2023. https://802fb1a8-d018-4726-8637-dbe483046deb.filesusr.com/ugd/8ee469_5815c11af3e743afabd8b9923835623e.pdf
-
Tenth’s Hilbert Problem and some related Questions (in Spanish), Master Thesis, National University of Colombia, 2007. https://802fb1a8-d018-4726-8637-dbe483046deb.filesusr.com/ugd/8ee469_32f95ebbfc094067af897df4686a6c32.pdf
-
The Prime Number Theorem and Some Equivalences (in Spanish), Diploma Thesis, National University of Colombia, 2004. https://802fb1a8-d018-4726-8637-dbe483046deb.filesusr.com/ugd/8ee469_30d6800503894a8ea17da079283080de.pdf
Conference Proceedings
-
Conceptual Blending as a meta-generator of mathematical concepts: Prime Ideals and Dedekind Domains as a Blend. In T. Besold, K.-U. Kuehnberger, M. Schorlemmer and Alan Smaill (eds.), Kuehnberger K.-U., Koenig P. and Walter, S. (Ed. of the series). Proceedings of the workshop on Computational Creativity, Concept Invention, and General Intelligence 2015, C3GI. Cognitive Science Institute. Publications of the Institute for Cognitive Sciences, University of Osnabrück, Osnabrück, (2015). https://docs.wixstatic.com/ugd/8ee469_c6687d2c9e814a57b443ef6609f5b97b.pdf
-
The Role of Blending in mathematical invention. Joint paper with F. Bou, M. Schorlemmer, J. Corneli, E. Maclein, A. Smaill and A. Pease. In Proceedings of the Sixth International Conference on Computational Creativity (ICCC). S. Colton et. al., ed. Publisher: Brigham Young University, Provo, Utah. Pages 55-62. (2015). http://computationalcreativity.net/iccc2015/proceedings/3_2Bou.pdf
Research Notes and Formal Abstracts
(with new proofs and construction of classic results)
-
An Explicit Set of Isolated Points in R with Uncountable Closure, Mathematization: Teaching University, Regional School of Mathematics, Vol. XV, No 2, December (2007), Notas 145-147. http://www.redalyc.org/articulo.oa?id=46815211
-
A more direct Proof of Gerschgorin's Theorem, Mathemáticas: Enseñanza Universitaria, Regional School of Mathematics, Vol. XIV, No 2, December (2006), Notes 119-122. http://revistaerm.univalle.edu.co/VolXIV2/autor7.pdf
-
Dathematics: A Meta-Isomorphic Version of Classic Mathematics based on Proper Classes. Technical Abstract from the Logic Kolloquium 2017, Stockholm, Sweden. The Bulletin of Symbolic Logic 24 (2), 211-277 (2018).
Preprints and/or Articles
(in process of peer review)
-
Generalizing and Formalizing Musical Interval from Arbitrary Sizes over the Types Diminished, Minor, Perfect, Major and Augmented (2023). Projected for Patent and Software Registration.
-
Towards an Experimental Science of Natural Consciousness from the First-Third-Person Perspective (2023). DOI: 10.13140/RG.2.2.23392.87048
-
Towards A Universal, Multidimensional, Practical And Hybrid Grounding Theory Of Causation For The (Meta)Physical Realm (2023). DOI: 10.13140/RG.2.2.20116.07045
-
A Holistic Test for (Artificial) General Intelligence. Joint with Judith Kieninger (2023). DOI: 10.13140/RG.2.2.28504.67842
-
The Physical Numbers: A New Foundational Logic-Numerical Structure For Mathematics And Physics (2023). DOI: 10.13140/RG.2.2.17599.48805
-
(General) Conceptual Substratum as A New Foundational Metamathematical Cognitive Mechanism In Artificial Mathematical Intelligence (2023). DOI: 10.13140/RG.2.2.18857.77922/1
-
Book: Quantum Mechanics, Quantum Computing and Heat Computing: An Introduction. Joint with Juan D. Vélez and Juan P. Hernandez. Initial Preprint. https://802fb1a8-d018-4726-8637-dbe483046deb.filesusr.com/ugd/8ee469_c8eb1fc54f0c4cd4820d212334c33671.pdf
-
Towards a General Many-sorted Formal Framework for Describing Certain kinds of Legal Statues with a Potential Computational Realization, together with Egil Nordqvist, (under review) (2021). Arxiv Preprint: https://arxiv.org/ftp/arxiv/papers/2105/2105.14212.pdf
-
Impact of STEM Group Activities on Mathematical Representations in University Students. Joint work with Dane Alexander, Sonia Moreno and Johny Alvarez. (2023). Submitted.
-
A New Multiple Intelligence Test for Artificial General Intelligence. Joint work with Judith Kieninger, Stephan Schneider and Nico Potyka (2020). Online Preprint: https://docs.wixstatic.com/ugd/8ee469_6259e1620d6e499dae4372879ce1899d.pdf
-
Artificial Co-creative Generation of the Notion of Topological Group through Categorical Conceptual Blending. Joint work with Yoe Herrera-Jaramillo and Florian Geismann, (2019). Online Preprint: https://docs.wixstatic.com/ugd/8ee469_9af2732902744556abf2b0e61e563e5e.pdf
-
Functional Conceptual Substratum as a New Cognitive Mechanism for Mathematical Creation, Together with Stefan Hetzl (2017). Initial preprint at Arxiv https://arxiv.org/pdf/1710.04022.pdf
-
Towards an Experimental Science of Natural Consciousness, together with Renato Garita and Franzisca Becker (2017). Online Preprint https://docs.wixstatic.com/ugd/8ee469_a2b6fca8a0094fb3957a374d74e0ecce.pdf
-
Containment-Division Rings and New Characterizations of Dedekind Domains, together with Edisson Gallego and Juan D. Velez (2017). Preprint at Arxiv: https://arxiv.org/pdf/1708.00532.pdf
Specialized Technical Reports
(in Research Projects with the European Union)
-
Documentation of Examples (of Conceptual Blending) for Working Domains, COINVENT (Concept Invention Theory) EU Research Consortium Horizon 2020. https://www.coinvent.uni-osnabrueck.de/fileadmin/publications/D1.2.pdf
-
Mathematical Blends in the Heterogeneous KR&R Framework, COINVENT (Concept Invention Theory) EU Research Consortium Horizon 2020. https://www.coinvent.uni-osnabrueck.de/fileadmin/publications/COINVENT_D6.2.pdf
Technical posters at scientific events:
-
Optical response of a donor in a Ga1-xAlxAs nanodisk, together with J. L. Palacio, E. Giraldo, G. L. Miranda, I. Rivera and M. Fulla. XXVIII Colombian Physics Congress 'Physics embedded in the Periodic Table'. September 9-12, 2019, Pereira, Colombia.
-
Towards a coherent ethical foundation for the multidisciplinary program: Artificial Mathematical Intelligence, together with M. Fulla, I. Rivera and J. L. Palacio. 3th Curriculum Workshop of the (European) Human Brain Project, Graz, Austria. September 26-27, 2019.
-
Electro-optical properties of an ionized complex confined in a Ga1-xAlxAs nanocone, together with J. L. Palacio, E. Giraldo, G. L. Miranda, I. Rivera and M. Fulla. XXVIII Colombian Physics Congress 'Physics embedded in the Periodic Table'. September 9-12, 2019, Pereira, Colombia.
-
Electro-Optical Properties of an Artificial Molecule Confined in Self-Assembled Ga_{1- x}Al_xAs Nanocone. Joint work with Juan L. Palacio, Eugenio Giraldo, Guillermo L. Miranda, Jairo H. Marín, Ismael E. Rivera and Marlon R. Fulla. At the 5th International Conference on the Physics of Optical Materials and Artifacts (ICOM), Igalo (Montenegro) August 2018.
-
Blending in mathematical invention. Joint with F. Bou, M. Schorlemmer, J. Corneli, E. Maclein. A. Smaill and A. Pease. COINVENT, Seventh Framework Programm, 2015. Exhibited at the event "Show, Tell, Imagine: A day to explore computational creativity together". PROSECCO CONTACT FORUM. The Octagon, Queen Mary, University of London. April 9, 2015.
Other contributions:
-
Substantial content contributions in the following entries of the free encyclopedia Wikipedia: "Dedekind Domains" and "Isolated Points".
Examples of Conceptual Computation
in the Language CASl