Mathematical reasoning and the computer
From MaRDI portal
Publication:6536119
DOI10.1090/bull/1833zbMath1540.68208MaRDI QIDQ6536119
Publication date: 3 April 2024
Published in: Bulletin of the American Mathematical Society. New Series (Search for Journal in Brave)
Artificial neural networks and deep learning (68T07) General topics in artificial intelligence (68T01) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication: Mathematical reasoning and the computer
