Top Posts
Recent comments
- Peter Cameron on The electron is round
- Jony Hudson on The electron is round
- Peter Cameron on Araucaria
- Peter Cameron on Algebra in Novi Sad
- Igor Dolinka on Algebra in Novi Sad
Blogroll
- Annoying precision
- Astronomy Picture of the Day
- Azimuth
- Bad science
- Bob Walters
- DC's Improbable Science
- Diamond Geezer
- Equatorial mathematics
- Gödel's lost letter and P=NP
- Gil Kalai
- Haris Aziz
- Intersections
- Jane's London
- Jon Awbrey
- LMS blogs page
- Log24
- London Daily Photo
- London Reconnections
- Machines like us
- Marie Cameron's blog
- MathBlogging
- Micromath
- Neill Cameron
- neverendingbooks
- Noncommutative geometry
- Paul Goldberg
- Pete Ashton
- Sheila's blog
- Since it is not …
- Stubborn mule
- SymOmega
- Terry Tao
- The De Morgan Journal
- The London column
- The Lumber Room
- Theorem of the day
- Tim Gowers
- XKCD
Cameron Counts: RSS feeds
Meta
Tag Archives: computer checking
Finite simple groups
The blog Gödel’s Last Letter and P=NP is always worth reading. The two bloggers, RJ Lipton and KW Regan, are computer scientists, but they have interesting things to say about developments in mathematics, and other areas too. For example, last year they … Continue reading
Posted in exposition
Tagged CFSG, computer checking, finite simple groups, KW Regan, new simple group, RJ Lipton
2 Comments
