### Top Posts

### Recent comments

### Blogroll

- Astronomy Picture of the Day
- Azimuth
- British Combinatorial Committee
- Comfortably numbered
- Diamond Geezer
- Exploring East London
- From hill to sea
- Gödel's lost letter and P=NP
- Gil Kalai
- Jane's London
- Jon Awbrey
- Kourovka Notebook
- LMS blogs page
- Log24
- London Algebra Colloquium
- London Reconnections
- MathBlogging
- Micromath
- Neill Cameron
- neverendingbooks
- Noncommutative geometry
- numericana hall of fame
- Ratio bound
- Robert A. Wilson's blog
- Since it is not …
- Spitalfields life
- Sylvy's mathsy blog
- SymOmega
- Terry Tao
- The Aperiodical
- The De Morgan Journal
- The ICA
- The London column
- The Lumber Room
- The matroid union
- Theorem of the day
- Tim Gowers
- XKCD

### Find me on the web

### Cameron Counts: RSS feeds

### Meta

# Category Archives: software

## Microsoft buys GitHub?

Some years ago, it was announced that Microsoft had done a deal with Donald Knuth and the American Mathematical Society and had bought the rights to TeX. It was slightly worrying until you noticed that the announcement was dated 1 … Continue reading

## More groups

The title reminds me of the occasion when my academic grandfather lectured to the London Mathematical Society on “Moore graphs”. Unfortunately, someone got it wrong, and his lecture was billed as “More graphs”. But here I really do mean what … Continue reading

## Flagmatic

This post is copied from the Centre for Discrete Mathematics site. We are very happy to announce that Emil Vaughan’s Flagmatic program is available and is supported by the Centre for Discrete Mathematics. The program computes exact values of Turán … Continue reading

Posted in software
Tagged flag algebra calculus, Razborov's method, semidefinite programming, Turan density
Leave a comment