All Questions

In the context of another MO question, the following question arose: Does there exist any software for detecting Brauer–Manin obstructions to the existence of integer solutions to a single polynomial ...