FLAP · 2017 · 22 citations · 52 references
ComputingComputer ScienceMathematicsAlgorithmsApplied MathematicsTheory Of ComputationDeductive VerificationNonlinear ProgrammingProof ComplexityProof TheoryTheorem ProvingNonlinear AnalysisProof CompressionProof Error AnalysisProof GenerationProof MiningProof SearchProof Term Extraction
52
Iterative Algorithms for Nonlinear Operators
Hong‐Kun Xu · Journal of the London Mathematical Society · 2002 · 1.7K citations
Fixed points of nonexpanding maps
Benjamin Halpern · Bulletin of the American Mathematical Society · 1967 · 1.1K citations · Full text