Sphere-packings, lattices, and groups
Sphere-packings, lattices, and groups
The importance of being fuzzy: and other insights from the border between math and computers
The importance of being fuzzy: and other insights from the border between math and computers
Random Fibonacci sequences and the number 1.13198824…
Mathematics of Computation
The Automation of Proof: A Historical and Sociological Exploration
IEEE Annals of the History of Computing
| Hi-index | 0.00 |
Many articles in this Encyclopedia are about the application of mathematics to computer science (and other subjects) through use of a computer. In this article we explore the converse, instances where a computer has been used to discover new mathematical knowledge.