A method to evaluate the computational complexity of the theorems from functional analysis.
['Vasco Brattka', 'Guido Gherardi']
A method to evaluate the computational complexity of the theorems from functional analysis.