A Aralex Aachen research explorer

September 12, 2005 article Open access

The challenge of computer mathematics

Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences

DOI: 10.1098/rsta.2005.1650 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 55

How to Recognize Artificial Mathematical Intelligence in Theorem Proving
2025 Topoi article Arts and Humanities Cybernetics and Technology in Society Open access

1

citations
Theorem proving in artificial neural networks: new frontiers in mathematical AI
2024 European Journal for Philosophy of Science article Computer Science Artificial Intelligence Applications Open access

18

citations

2 results

References 0