Math and computers
Mathematics and Computers
Articles on computers for math
An issue of the Bulletin of the American Mathematical Society focuses on the use of computers in math.
- Will machines change mathematics?
- How machines can make mathematics more congressive
- Some thoughts on automation and mathematical research
- Mathematics, word problems, common sense, and artificial intelligence
- Strange new universes: Proof assistants and synthetic foundations
- Mathematical reasoning and the computer
- Automation compels mathematicians to reflect on our values
- Is deep learning a useful tool for the pure mathematician?
- Mathematics and the formal turn
- Proof in the time of machines
- The Four-Color Theorem
- The Four-Color Theorem (update)