Artificial Mathematical Intelligence, (standard) Automated Reasoning and Technical Computing
At its very beginning, the research field of automated reasoning (or, sometimes called computational logic) has as part of its central...
New Cognitive Foundations for Mathematics
The New Cognitive Foundations for Mathematics is an interdisciplinary program for finding more cognitively-inspired and...
An Initial Taxonomy of the Fundamental Cognitive Mechanisms used in Mathematical Creation/Invention
We describe an explicit initial list of the most fundamental cognitive mechanism used by our minds when we are doing formal research in...