![](https://static.wixstatic.com/media/f8b0ec428eee445ba98b2284266b34db.jpg/v1/fill/w_250,h_250,fp_0.50_0.50,q_30,blur_30,enc_auto/f8b0ec428eee445ba98b2284266b34db.webp)
![Artificial Mathematical Intelligence, (standard) Automated Reasoning and Technical Computing](https://static.wixstatic.com/media/f8b0ec428eee445ba98b2284266b34db.jpg/v1/fill/w_430,h_287,fp_0.50_0.50,q_90,enc_auto/f8b0ec428eee445ba98b2284266b34db.webp)
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](https://static.wixstatic.com/media/8ee469_fb1645e499cc4f8b9a17a15da818bdbf~mv2.png/v1/fill/w_430,h_242,fp_0.50_0.50,q_95,enc_auto/8ee469_fb1645e499cc4f8b9a17a15da818bdbf~mv2.webp)
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](https://static.wixstatic.com/media/8ee469_c8193c29c2744257adc354b13fa6e926~mv2.png/v1/fill/w_430,h_242,fp_0.50_0.50,q_95,enc_auto/8ee469_c8193c29c2744257adc354b13fa6e926~mv2.webp)
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...