Switch to: Citations

Add references

You must login to add references.
  1. Constructing Local Optima on a Compact Interval.Douglas S. Bridges - 2007 - Archive for Mathematical Logic 46 (2):149-154.
    The existence of either a maximum or a minimum for a uniformly continuous mapping f of a compact interval into ${\mathbb{R}}$ is established constructively under the hypotheses that f′ is sequentially continuous and f has at most one critical point.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Effective Moduli From Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation.Ulrich Kohlenbach - 1993 - Annals of Pure and Applied Logic 64 (1):27-94.
    Kohlenbach, U., Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation, Annals of Pure and Applied Logic 64 27–94.We consider uniqueness theorems in classical analysis having the form u ε U, v1, v2 ε Vu = 0 = G→v 1 = v2), where U, V are complete separable metric spaces, Vu is compact in V and G:U x V → is a constructive function.If is proved by arithmetical means from analytical assumptions x (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations