The Weihrauch lattice has been used as a computability theoretic framework to analyze the uniform computational
content of mathematical problems from many different areas of mathematics, and it can also be seen as a uniform variant
of reverse mathematics (a recent survey on Weihrauch complexity can be found in [1]}).
The notion of a mathematical problem has a very general definition in this approach.
