# Flagmatic

Our main tool is Flagmatic’, an implementation of Razborov’s semi-definite method, which we are making publicly available. In a bid to make the power of Razborov’s method more widely accessible, we have tried to make Flagmatic as user-friendly as possible, hoping to remove thereby the major hurdle that needs to be cleared before using the semi-definite method. Finally, we spend some time reflecting on the limitations of our approach, and in particular on which problems we may be unable to solve. Our discussion of the complexity barrier’ for the semi-definite method may be of general interest

## Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

## References in zbMATH (referenced in 3 articles )

Showing results 1 to 3 of 3.
Sorted by year (citations)